[enpasos]

A single prerequisite verification recompiles several historical/current canonical frames. Each compilation previously rediscovered and reparsed the same applicability mappings, provenance and active Memory evidence. This change captures those ambient inputs once per verified context while freshly compiling every graph frame and retaining every ordered reduction/reinheritance check.

The snapshot binds exact file bytes, directory membership and missing optional inputs. Changed/new/deleted inputs, expired/forged handles, or changed loaded proof/auditor/compiler code fail before a comparison capability is returned. No proof result, graph result or parent-history pass is cached; the multi-context regression ladder remains mandatory. The five new counterexamples run first in the existing Curriculum CI test:transitive-minimality command.

Local validation passed: five snapshot regressions, ten source/applicability regressions, twelve actual CLI cases, the existing exhaustive graph/origin counterexamples, and ordinary eslint. Three complete outputs across all 21 catalogs / 6,524 goals match exactly, including evidence and findings; the normalized serialization also matches the archived Main report. A local measurement was 11.55 s for independent compilation, 12.00 s for initial snapshot loading, and 8.55 s for fresh compilation reusing inputs. This is one bounded measurement, not a whole-CI speedup claim.

Astra reviewed the exact implementation and generated-child fixture correction. The actual current V7 semantic-kind bridge passed in 254.86 seconds on this head: its complete declared 21-catalog context verified 881 affected sources and emitted all 766 Physics goal bindings, with all bound inputs unchanged. This is one successful real verification context, not the full repeated historical regression ladder. Full proof-regression and fresh remote CI acceptance remain pending. Canonical content, proof grammar, milestone floors and standard G17 scope are unchanged. This independent Main-based performance delivery is compatible with the separate optional assessment-basis work in #114.