IndisputableMonolith.Config.Flags

   1import Mathlib
   2
   3namespace IndisputableMonolith
   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
  25