# UD presentation claim and source reconciliation v0.2

14 October 2026 UTC. Development / presentation amendment; no scientific registry promotion. Physical promotion 0.

All 448 current ledger rows have a source-row copy, reuse disposition, historical comparison, explicit textual references and amendment links. The 235-row v0.39 ledger and later v0.65 original are preserved separately. This is a source/status audit, not a reproof of all rows. Textual citations are not asserted to be causal proof dependencies: the complete proof DAG remains OPEN_GATED.

{
  "edition": "0.2",
  "date": "2026-10-14",
  "rows_reviewed": 448,
  "historical_rows": 235,
  "new_rows": 213,
  "unchanged_rows": 229,
  "changed_rows": 6,
  "amendments": 10,
  "rows_with_amendments": 91,
  "explicit_reference_occurrences": 32,
  "all_rows_have_source_and_reuse_limit": true,
  "proof_dependency_DAG": "OPEN_GATED",
  "full_reproof": "NOT_PERFORMED",
  "physical_promotion": 0
}

## Versioned dispositions

### ARA01 — Retired universal scalar action

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.

Scope: No retraction of a proved formula conditional on a supplied scalar; unqualified mainline/physical reuse is held.

Sources: L65, E07, PIV, E11; G05, G06, O09 and Q139; Paper IV §9; clock theorem §§2–9

### ARA02 — Receipt index needs idle-response correction

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.

Scope: Retains conditional index identities and POC-1 as a candidate. Does not turn synthetic counterexamples into a held-out endpoint score.

Sources: E04, PI, L65; Polarity audit §§2–5; Paper I §7.4

### ARA03 — Signed flux remains a separate diagnostic

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.

Scope: Does not invalidate support continuity. A stricter diagnostic domain needs an explicit new contract.

Sources: E04, PI; Polarity audit §4; Paper I §§5, 7

### ARA04 — Sidecar distribution and custody

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.

Scope: Sent does not mean acknowledged or executed. Frozen primary scorer and verdict cannot be repaired by the sidecar.

Sources: R35, E04, L65; Sidecar recovery v0.1 evidence inventory and reopening procedure

### ARA05 — Native inputs and event timing remain open

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.

Scope: Formal source-completion countermodels test logical entailment. They do not establish physically attainable competing histories.

Sources: E01, E02, E03, E05, E06, PI; Native projection theorem; packet action audit; source recovery; Paper I §7.4

### ARA06 — Signature and refinement carrier separation

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.

Scope: 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.

Sources: R29, R30, R33, R34, G14, E09, E10, A06; Lorentzian gate §§2–5; native refinement §3; interface gate §2; governance §7

### ARA07 — Receipt memory timing and physical resource scale

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.

Scope: Retains fixed-age calculations with their original schedule. No entropy/horizon normalization is backsolved from Newton G.

Sources: R36, R40, PIV, E11; Entropy session summary; receipt gap frontier clock and non-identifiability; Paper IV §9

### ARA08 — Historical Gap 2 sign and parameter audit

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.

Scope: 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.

Sources: A14, A06, L65; Gap2_FINAL_STATUS.md §6, equations A.6 and A.19; historical fits

### ARA09 — Replay counts and review types

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.

Scope: Execution counts do not measure independent experiments. No CRL or physical promotion is made by this atlas.

Sources: E08, GPAR, GREV, E06, A21, G14; Edge replay-count erratum; recorded replication receipts; CRL safeguards

### ARA10 — Atlas, coefficient and feasibility namespaces

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.

Scope: An ID collision is repaired, not a scientific equivalence or change to a source coefficient.

Sources: L65, PI, PII, PIII, PIV; Atlas claims.json versus coefficient row namespace; ledger O33

## Source destubbing

65 formerly empty presentation entries now have substantive reading views or a substantive source-blocked audit note. Exact-name searches in the available portal/repository found only placeholder copies of the original equation files. Related current papers and source audits were recovered and linked. Historical original derivations and simulation code were not recovered and are not fabricated. The new 55-member source-view archive preserves the original ZIP internally.

The missing Gap2_FINAL_Finite_Genesis.png remains not read or used. Raw internal/patent notebooks are not republished. No archive script is executed merely by ingestion.