Rheon

Strict qualification-route successor

The frozen research and native checkpoints contain real trajectories with correct refinement behavior. Independent review found that their qualification readers also accepted malformed substitutes. This additive successor preserves every old packet, failed oracle and original numerical/physical/Lean limitation. It repairs the claim-verification route, not the simulation equations.

The research reader now requires the declared .1 endpoint and distinct ordered .05,.025,.0125,.00625,.003125 schedule, 2/4/8/16/32 actual steps, complete physical fields, unclamped actual clock/version and the same exact real endpoint in every case. It regenerates both DOP853 references from the declared initial field, canonical settings and common endpoint, and checks the supplied reference fields. It independently recomputes final velocity/geometry, lumped errors, reference separation and velocity/geometry ratios from the related replays. Original physical work/GCL/momentum and convergence bands remain unchanged. Report comparison uses a separate floating representation allowance, never an expanded physical acceptance tolerance. Every returned convergence quantity is computed, not copied from the claimed summary.

The native reader requires actual accepted mass, raw PS positions, topology, physical pressure and coefficient fields on every row. Missing mass cannot turn these checks off. It requires the actual owner ID/version, canonical distinct case schedule, monotone per-case version and actual clock, and obtains reference and host endpoints only through the repaired full research reader. The new additive native export example obtains ID/version and its step version directly from state.stamp; the frozen loop-counter export remains preserved. Numerical fields must match the old real native capture exactly after removing the newly added stamp field. Simulation Rust and existing tests/examples/Cargo stay unchanged.

Actual frozen-oracle reproductions are retained: ten cells in five duplicate coarse cases with duration999, empty references and fabricated error/ratio claims; 124 native cells with publication geometry/mass/topology/physical pressure omitted. Focused regressions and full normal/optimized strict replays reject those gaps while accepting the real stored trajectory corpus and a fresh actual-state export. No fresh rollback, continuum or governing-equation claim is inferred from these reader checks. The governing-equation/pressure-interpretation audit remains a separate source/evidence lane; no new material variable is introduced here.

← Coherent carrier and represented-liquid transport publicationCPU scheduling contracts and the Pantograph comparison →