`Flags`

definition

show as: view math explainer →

module: IndisputableMonolith.Config.Flags
domain: Config
line: 7 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Config.Flags on GitHub at line 7.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

used by

formal source

   4namespace Config
   5
   6/-- vNext feature flags (default-safe). Certificates on by default; behavior changes off. -/
   7structure Flags where
   8  /-- Enable v2 certificate bundle (report emission). -/
   9  enableV2Certs    : Bool := true
  10  /-- Enable Macrocore ISA and macro-expansion path. -/
  11  enableMacrocore  : Bool := false
  12  /-- Enable φ‑IR codec and neutral window packer. -/
  13  enablePhiIR      : Bool := false
  14  /-- Enable ConsentDerivative static gate. -/
  15  enableConsentGate : Bool := false
  16  /-- Enable J‑greedy scheduler (optional). -/
  17  enableJScheduler : Bool := false
  18deriving Repr, DecidableEq
  19
  20/-- Global default flags. Projects may override via their own module. -/
  21def default : Flags := {}
  22
  23end Config
  24end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.