Compact one-dimensional inverse fiber
Holding a next-round state fixed except for next-a defines a compact one-dimensional predecessor fiber with invariant support, affine d/h laws and exact forward restart.
Diagnostic work, exact algebra and local capabilities are not treated as end-to-end mining advantage.
What was tested?
Holding a next-round state fixed except for next-a defines a compact one-dimensional predecessor fiber with invariant support, affine d/h laws and exact forward restart.
Why the test is meaningful
V54 proves pointwise inversion. V55 varies one next-state coordinate and studies the resulting family. The round shift fixes most predecessor coordinates; modular conservation laws constrain d and h so the fiber can be represented without listing unrelated states.
fiber={R_t^{-1}(S' with variable a')}d(a')=e'−(a'−T2) (mod 2³²)support of variation={d,h}; conserved modular sum remains invariantHow it was tested
Construct generic and target-anchored fibers, verify support, affine d/h laws, sum invariants and forward restart, then repeat on independent datasets balanced across target actions.
What happened
Both replicates had zero support, d-law, h-law, sum-invariant, restart, anchored word5, B64, action and safety errors. Generic tests covered 10,000 fibers per replicate; anchored tests covered 15,000 balanced records, with variable support exactly at coordinates (3,7).
Exactness and statistical controls
The compact representation was checked by expanding fiber points and forwarding them through the round. Generic and anchored tests separate algebraic validity from target-specific behavior.
What the result means
V55 validates a compact inverse family rather than only isolated inverse points. Its scope is one-dimensional and does not represent the complete target-compatible state set, so no mining shortcut is claimed.
Limitations
- Only next-a varies.
- A full inverse target set may have much higher dimension and complexity.
- Enumeration or exploitation cost was not benchmarked.
Evidence trail
Generate the variable-a′ fiber, check support coordinates and affine laws, verify the invariant and forward restart, and repeat across generic and balanced anchored cohorts.
Canonical variants
SUBENGINE-V55ASUBENGINE-V55BSUBENGINE-V55CSource: internally audited canonical reports. Local filesystem structure, private headers and operational identifiers are excluded from publication.