By: ValentinHirschi <valentin.hirschi@gmail.com>
Install original-domain vacuum artifacts in the existing reducer Add exact whole-domain source replay and shared source ownership for the SpIRed producer. Canonical K6 installs 623 generated rules as 5,639 cells with 38 finite terminals and 26 proved-zero sectors; durable encoding remains explicitly gated. Extend the opt-in native fraction-free materializer to constant-rational polynomial inputs without local CAS or reconstruction. Preserve the sparse default and record the unresolved hard-PM expression swell. Validation: all-target checking, 269 focused tests, full K6 in-memory installation/application, 39 release regression processes, independent implementation and closure audits, and bounded native/Rust profiling observations.