Nima amplitudes
This is a dated programme snapshot through 2026-09-18, not a current repository-wide completion certificate. It separates source-backed written results, exact finite regression checks, and numerical asymptotic diagnostics. Arbitrary-multiplicity statements require the cited programme's general arguments; finite examples alone do not prove them. The amplitude programme does not certify the separate carrier-to-particle or Gram-to-physics hypotheses.
For the newer relational construction and physical-selection frontier, use the current results and exclusions and verification boundaries.
Results reported at the cutoff
ABHY and biadjoint
Arbitrary-multiplicity planar support, projectivity, factorization, and associahedron canonical-form pullback are recorded with exact finite regression evidence.
Momentum-twistor NMHV
Arbitrary- boundary counts, spurious-facet cancellation, physical-pole survival, covariance, cyclicity, reflection, and oriented-boundary dependence are proved in the programme record.
One-loop MHV
The sourced Kermit representation has exact count and covariance checks, spurious-pole cancellation, physical-pole survival, cyclicity, and reflection. No integrated or regulated amplitude is claimed.
NNMHV · Partial
The all- nested generalized- source formula and fourteen individual invariant classes are constructor-covered. The normalized component has an exact triangular support theorem with surviving histories.
Frontier at the cutoff
Implement all source boundary replacements, then prove cyclicity and the complete physical/spurious pole census for a full NNMHV component. History-poset zeta/Möbius calculus is executable, but numerical finite-section convergence fits are not promoted to asymptotic theorems.
Claim boundary: exact symbolic identities and source-derived arbitrary- proofs; bounded exact finite computations; floating asymptotic fits and toy models remain diagnostic only.