All 448 coefficient rows are linked to their original statement, historical comparison and current reuse scope. This is a presentation reconciliation, not a fresh proof or physical promotion.
The current ledger retires a universal kappa_loop scalar. Conditional scalar-family algebra survives only on its declared domain. A native action form or numerical internal ratio does not fix a dimensional physical action, clock or gravity scale.
No retraction of a proved formula conditional on a supplied scalar; unqualified mainline/physical reuse is held.
Exact source location: G05, G06, O09 and Q139; Paper IV §9; clock theorem §§2–9
L65 ↗E07 ↗PIV ↗E11 ↗On the admitted pair-response domain, mu_Theta = ind F_omega + |h^-| - |h^+| with h=q-omega, after frame alignment. The index alone is full polarity only if the idle term vanishes. Binding POC-1 saturation fixes the response address; a nontrivial competing burden optimizer is then not a simultaneous final selector.
Retains conditional index identities and POC-1 as a candidate. Does not turn synthetic counterexamples into a held-out endpoint score.
Exact source location: Polarity audit §§2–5; Paper I §7.4
E04 ↗PI ↗L65 ↗The fixed-K witness has unchanged obligation/index polarity zero but integrated edge-support change 3/8 and one-pair change 1/8. A universal equality between signed support polarity and the integer obligation index fails under those premises.
Does not invalidate support continuity. A stricter diagnostic domain needs an explicit new contract.
Exact source location: Polarity audit §4; Paper I §§5, 7
E04 ↗PI ↗O45 is a historical pre-distribution status. O47/O49 and the later audit record sent-message distribution evidence; activation, scorer-byte custody and eligible target-hidden native endpoints remain unestablished in the inspected record. SOURCE_INCOMPLETE_NO_SCORE governs scoring.
Sent does not mean acknowledged or executed. Frozen primary scorer and verdict cannot be repaired by the sidecar.
Exact source location: Sidecar recovery v0.1 evidence inventory and reopening procedure
R35 ↗E04 ↗L65 ↗Current fixed-complex support flow, conditional gates, residual receipts, action and Metropolis acceptance do not supply a normalized packet proposal, native flip/admission law, feedback/renewal, or calibrated physical clock. On filled K4, Q_h=exp(arctan(h) A) is exact, but h and the switch predicate are additional choices.
Formal source-completion countermodels test logical entailment. They do not establish physically attainable competing histories.
Exact source location: Native projection theorem; packet action audit; source recovery; Paper I §7.4
E01 ↗E02 ↗E03 ↗E05 ↗E06 ↗PI ↗A positive real coframe form E delta E^T is positive semidefinite and cannot yield Lorentzian inertia on the same carrier. Fixed K does not select spatial refinement. The strict contract of native contraction, unit singleton readout and unweighted-generator intertwining fails on K4 to sd K4 because 7>3.
An indefinite internal form, finite event mediator and physical spacetime metric are distinct. Q107 lists counts through degree 3; a full filled 4-simplex also has one 4-cell.
Exact source location: Lorentzian gate §§2–5; native refinement §3; interface gate §2; governance §7
R29 ↗R30 ↗R33 ↗R34 ↗G14 ↗E09 ↗E10 ↗A06 ↗The decomposed write has 34 slots. A 44-slot total deadline leaves 10 storage rounds; 32 post-write rounds require 66 total slots. Gibbs flag probabilities and normalized accuracy do not identify joules, physical area or a fully renewed controller/bath cycle.
Retains fixed-age calculations with their original schedule. No entropy/horizon normalization is backsolved from Newton G.
Exact source location: Entropy session summary; receipt gap frontier clock and non-identifiability; Paper IV §9
R36 ↗R40 ↗PIV ↗E11 ↗For n_s<1, 0<rho<1 and contraction 0<r<1, the displayed -(n_s-1)|ln rho|/ln(1/r) is positive. It cannot equal the reported negative running under those assumptions. Its dependence on n_s also inherits the unresolved n_CMB unless a separate source or conditional measured-pivot forecast is declared.
A new presentation audit, not a silent correction of the original formula. Recover the scale convention and original derivation/code before selecting a repaired sign or claiming a parameter-free prediction.
Exact source location: Gap2_FINAL_STATUS.md §6, equations A.6 and A.19; historical fits
A14 ↗A06 ↗L65 ↗The edge-receipt count 1551 denotes selected manually counted check groups, not all assertions; the later AST instrumentation reports 1837 evaluated assertions. Gemini replication and separate AI scope audits remain explicitly distinguished from human review and measurement.
Execution counts do not measure independent experiments. No CRL or physical promotion is made by this atlas.
Exact source location: Edge replay-count erratum; recorded replication receipts; CRL safeguards
E08 ↗GPAR ↗GREV ↗E06 ↗A21 ↗G14 ↗The initial atlas reused C01–C07 as presentation IDs, while the coefficient ledger already uses those IDs for different objects. Atlas IDs are now ATLAS01–ATLAS07. O33 refers to lab feasibility criteria F01–F12, not the coefficient frame-family rows. Reference names are kept typed by context.
An ID collision is repaired, not a scientific equivalence or change to a source coefficient.
Exact source location: Atlas claims.json versus coefficient row namespace; ledger O33
L65 ↗PI ↗PII ↗PIII ↗PIV ↗