# 490d C319 — Independent two-year choice sensitivity

24 September 2026. Step 6 of the ten-step authorization C314–C323.

**The two17K transports do not force the paired two-year selection.** With all source contexts held fixed, define `S=p−460+a`, `R=f−460+b`, with a,b independently0 or2. The cumulative annual choice is a; the regular Gear-coordinate choice is b. q and n are unchanged.

| a /b | Left/right short spans | S→R | q→n | Joint source rows | All-K rows |
|---|---|---:|---:|---:|---:|
|0 /0|1060 /1060|8993|8993|5|0|
|0 /2|1060 /1058|8995|8993|3|0|
|2 /0|1058 /1060|8991|8993|3|0|
|2 /2|1058 /1058|8993|8993|3|3|

The exact formulas are short spans1060−a and1060−b, with cross-width matrix[[8993+b−a,10053−a],[7933+b,8993]]. Thus two17K paths require a=b, allowing both00 and22. Requiring the all-K subdivision selects22 within this fixed four-choice domain.

All20 annual and40 same-phase configurations are enumerated. Fourteen annual and28 phase configurations are source-admitted; eight annual cases have two17K paths, and three have the all-K form. The00 choice is source-valid across all five rows. In the mixed choices one side can fail its endpoint domain independently; the22 upper failures remain.

The result is a sensitivity test, not a randomization or a probability estimate. Conditional uniqueness under the all-K requirement is not a source rule selecting that requirement or the matching annual/Gear choices. It does show exactly which extra choices convert a source-valid1060 rectangle to the1058 rectangle. The three all-K rows here are the i3…5 subset; C287's separately admitted i2 row has not disappeared.

## Verification and limits

121 main assertions and 15 frozen-input/predecessor checks passed. A second main replay produced byte-identical DATA and RESULTS. Separate review scope and agreement are recorded in the evidence. All frozen originals and standing controls remain unchanged. These are verification counts, not independent-witness counts.

No statistical claim or prescribed selection rule. Distinct choices and source states remain labelled; conditionalallKuniqueness does not canonize them.

Mirror/529 remains the focus: K=529, E=25/23, P=70/69. Global paired Mirror January AD1; local junction x=1 January AD2; no civil year zero. Regular Gears remain Noah/Shem/Flood only. SP minus-one companion is local to SP Noah/Shem. No cumulative/upstream Gear, new endpoint or phase, fitted anchor, global axis, z-law, canonical or graph edit. Capture now; canonize later. Source state, event identity, generated coordinate and phase ancestry remain distinct. Exact arithmetic and source membership do not establish intention or independent historical witnesses.

## Decision after this result

**C320, proposed and unexecuted:** Close the finite coverage boundary: census all eight retained LXX_OFF Shem/Flood annual pairs against the existing regular Noah/Flood contexts under the same17K transport. Explicitly locate the omittedSPG1 companion and any LXX aliases, without new endpoints or variants.

The five-case test cannot represent the whole admitted rectangle family. Completing this small held-domain census will explain which source rows are excluded by the earlier reversed500 requirement and prevent a subset count being mistaken for the fullC287 domain.