Connected reset suffix to carry 22
The exact bit-18 reset certificate can skip the preceding dependency and propagate through bits 19–21 to produce the true carry-22 mask on the same survivor population.
Diagnostic work, exact algebra and local capabilities are not treated as end-to-end mining advantage.
What was tested?
The exact bit-18 reset certificate can skip the preceding dependency and propagate through bits 19–21 to produce the true carry-22 mask on the same survivor population.
Why the test is meaningful
A hard reset severs dependence on the earlier carry, but later bits can immediately regenerate complexity. The scientifically relevant test must therefore consume the certificate in the connected suffix rather than multiply independent reset and survivor frequencies.
c19 = reset value at bit 18c_{i+1}=G_i ∨ (P_i∧c_i), i=19,20,21test population = actual connected reset survivors, not an independent product modelHow it was tested
Feed the V28 reset/value into exact T1/T2 masks for bits 19–21, compute carry 22 for each lane and compare with direct arithmetic. Stratify only after preserving the connected record identity; repeat on 300 fresh records.
What happened
All connected carry-22 masks were exact with zero semantic errors. None was constant after conditioning: the original cohort produced 71 unique masks and the fresh cohort 64, with mean nonlinear-monomial counts of 2.167 and 2.153. Only three outer stages were evaluated while 19 earlier stages were bypassed in this representation.
Exactness and statistical controls
Direct mask equality supplied the exactness gate. Original and fresh cohorts agreed that constant carry-22 fraction was zero. Stage counts describe this representation only and were not promoted to runtime advantage.
What the result means
The reset certificate connects correctly, but complexity regenerates before carry 22. This is a valuable negative boundary: the local reset does not remain a constant signal through the suffix.
Limitations
- Unique-mask counts depend on the observed connected cohort.
- Bypassed representation stages are not equivalent to saved native gates or joules.
- No carry-22 constant selector emerged.
Evidence trail
Preserve record identity from V28, initialize c19 with the certified reset value, ripple exactly through bits 19–21 and compare each 16-lane carry-22 mask with the direct oracle.
Canonical variants
SUBENGINE-V29ASUBENGINE-V29BSUBENGINE-V29CSource: internally audited canonical reports. Local filesystem structure, private headers and operational identifiers are excluded from publication.