`Flags`

definition

show as: view math explainer →

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

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Config.Flags on GitHub at line 7.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

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.