# Expanded parity admission contract v0.1

CANDIDATE, frozen prospectively; constructor development only. Physical promotion **0**. No registry entry or historical-score revision.

## Frozen contract

CONTRACT.json SHA-256: `860713fe9386d5d08559d79565be0013edc424685dfdb715b9ff7e25d883cdfe`. Its source pins bind the recovered selector, Darboux map, printed CSV, both historical runners (source only), theorem, typed repair and the fresh exact selector reconstruction from PR206. All old bytes are retained. The manifest binds this validator and its public self-tests. Any later protocol or code change requires a new version/capture and explicit supersession record.

The source is the unit-metric 30-dimensional ascending oriented boundary-Delta4 carrier. Independently rebuild A and the rank6 lower-response P from incidence via the pinned fresh reconstruction. The lower-response choice remains a supplied convention. Candidate matrices cannot supply A or P. Source hashes are checked before reconstruction. No historical runner is executed.

## Admission and types

V and E have dimension6; H is selected inside the 30-dimensional carrier. W:E→H, T:H→E, Ic:V→E, Theta:H→H (zero extended on the complement), and F=W Ic. All finite matrix shapes are checked before multiplication. R=diag(I3,-I3), J0=[[0,-I3],[I3,0]].

Required numerical gates include WᵀW=I, P W=W, A W=√5 W J0, Wᵀ A W/√5=J0, T=Wᵀ, Theta=W R Wᵀ, Ic=diag(cI3,c⁻¹I3), T Theta=R T, R Ic=Ic R, Theta F=F R, and the full **T Theta W Ic=Ic R**. Theta²=P is checked on the ambient space; it is not compared to I30. Event anti-symplecticity and copy-swap sign are explicit internal algebraic checks. The omitted-W expression fails dimensions (6×30)(30×30)(6×6).

The executable numeric lane requires finite real c with **0.001≤c≤1000**, and excludes bool. Positivity is a theorem eligibility condition; the extra bounds are declared numerical protocol restrictions, not theory constants. Positive c outside this lane is INELIGIBLE for this version rather than a theorem counterexample. Zero, negatives and NaN/infinity are rejected before reciprocation.

This version admits selected orthonormal Darboux frames satisfying the specified generator convention; it does not demand entrywise equality to one canonical frame. Theta is conditional on the admitted frame. No unique physical parity follows from frame admission.

## Numeric rule and classifications

All residuals use the **induced infinity norm: maximum absolute row sum**, not maximum absolute entry. For each equality L=R, require norm(L−R)≤1e−10+1e−12 max(norm(L),norm(R)). The fixed constants are protocol controls. Inputs and computed sides must be finite. A true source hash check and exact rational/surd selector reconstruction precede the numerical gates; they do not make floating W residuals exact.

Successful candidate verdict: **NUMERICAL_SOURCE_ADMITTED** only. Malformed, nonfinite, out-of-lane or source-mismatched input is ineligible; valid-shaped failed residuals are rejected. The CLI catches invalid input and never emits EXACT_PASS. Use `python3 <capture>/validate_candidate.py candidate.json` from any working directory in this checkout; it verifies pinned repository paths. The candidate JSON has exactly W,T,Theta,Ic,c and no caller-supplied source matrices.

## Constructor validation and limits

Run `python3 <capture>/self_test.py`. VALIDATION.json records a positive source-derived numerical fixture, source-hash mismatch, coordinate carrier outside selected sector, commuting nonreciprocal Ic, zero/negative/nonfinite/bool/out-of-domain c, shape mismatch, matrix NaN and tampered Theta. The row-sum fixture distinguishes the frozen norm from the historical maximum-entry norm. Public fixtures are development tests, **not** blinded observations or independent review. They neither invalidate old scored cases nor certify every candidate or every printed radical expression.

The historical C/D runners and PASS receipts remain frozen under their original contracts. This contract is a new prospective lane. No fresh blind cohort has been generated, committed or scored. No non-constructor review is supplied by these tests. Governance proposal sections1–6 do not become enacted through this archive merge. The finite source construction does not close autonomous source selection, event-state identity, SA023, physical time/parity, complement parity, independent replication, missing original attribution or broader issue126 coverage.

## Next handoff

A non-constructor should challenge the source convention, frame policy, numeric domain and tolerance before a new blind-cohort commitment. Record reviewer identity, conflicts, attacks, findings and disposition against this exact contract/code hash; amendments require v0.2. Prepare blinded cases only after that review gate and a separately frozen campaign protocol. Repository CI and archive merging are custody checks, not that review.

Gap2_FINAL_Finite_Genesis.png remains unavailable and unused.
