default
plain-language theorem explainer
The baseline vNext feature flag configuration enables the certificate bundle by default and leaves optional paths disabled. Modules throughout the monolith cite this definition to establish standard behavior before project overrides. The definition is a direct record instantiation using the structure's built-in defaults.
Claim. The default flag configuration enables the v2 certificate bundle while disabling the macrocore ISA, the phi-IR codec, and the consent gate.
background
The Flags structure defines vNext feature flags that are default-safe, with certificates enabled by default and behavior changes off. Its fields include enableV2Certs for the v2 certificate bundle report emission, enableMacrocore for the Macrocore ISA and macro-expansion path, enablePhiIR for the phi-IR codec and neutral window packer, and enableConsentGate for the ConsentDerivative static gate. This module sets the local theoretical setting for safe defaults in the recognition science configuration layer. Upstream results include default block offsets from the PeriodicTable and configuration structures from Gravity.ILG and Modal.Possibility.
proof idea
The definition is a one-line wrapper that instantiates the Flags structure with its default field values.
why it matters
This default anchors the configuration used by twenty downstream results, including the phi cubed in theta band theorem in Applied.PhotobiomodulationDevice and the EmpiricalAnchors in Constants.ExternalAnchors. It fills the role of providing the standard safe configuration in the vNext feature flags system, ensuring consistent behavior across the framework unless overridden.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.