Independent Scaling Fiber Replicates the Canonical Marked Wall Data
Question
Entry 375 tested the generic four-stratum reduction engine only at . Freeze the harder claim
The expected values are taken without modification from the source-derived one-wall and two-wall certificates, both of which predate the generic engine.
Frozen path and calculation
Use
The marked walls are retained in their source form
At 80 exact points over the prime , reduce the three marked masters against the same four exact-denominator strata and project to
Bounded rational reconstruction uses all samples. The largest selected numerator and denominator degrees remain 14 and 16. One global sign is fixed only by the predeclared source normalization .
Exact replication
For the first wall, the source-normal algebraic tail is
and the exchanged wall gives
Both marked quotient residues vanish. For the two-wall master,
while the source-normal first grade is
Every value agrees with the frozen certificates.
Verdict
The tested claim is falsified:
Together with Entry 375, this removes the simplest one-fiber interpolation failure. It is evidence for a common marked relative coefficient geometry, not a universal identity in .
Classification and boundary
| Datum | Classification |
|---|---|
| two marked-wall divisors | existing Cut/energy carrier |
| seven fixed coordinates | relative coefficient data |
| five unfixed coordinates | exact-lift gauge |
| residual denominator | none |
| new carrier datum | none found |
The next falsifier is the radial pullback of this seven-coordinate projection. It must include the already frozen rank-nine Rees weights and the marked shear. A pole away from the strict transforms of the energy, soft, conductor, or Cut divisors would be new support; it must not be removed by fitting a new frame.
Evidence
research/benincasa/marici-gm/src/bin/marked_wall_second_fiber.rs;research/benincasa/marked-wall-second-fiber-certificate.json;research/benincasa/one-wall-total-energy-extension.json;research/benincasa/two-wall-second-rees-extension.json;- Entries 374 and 375.