flags
plain-language theorem explainer
The VM.State module defines a private constant flags as the global default from Config.Flags. Downstream definitions such as enableV2Certs and report generators cite it to read vNext toggles without importing Config directly. The definition is a direct one-line assignment to Config.default.
Claim. The VM state module supplies a private constant $flags : Flags$ equal to the global default flags structure, where $Flags$ is the record containing boolean toggles with $enableV2Certs$ defaulting to true.
background
The Flags structure records vNext feature toggles that are default-safe, with certificates enabled by default and behavior changes disabled. Its default instance is the empty record that inherits all field defaults. The VM.State module imports Config.Flags together with LNAL registers and the core VM to provide a local mirror of these settings for state management.
proof idea
One-line definition that directly assigns Config.default.
why it matters
This definition supplies the flag values read by enableV2Certs in the same module and by units_kgate_report_json in URCAdapters.LNALReports. It supports modular certificate emission inside the VM layer without altering the underlying Recognition Science forcing chain or phi-ladder mass formulas.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.