pith. machine review for the scientific record. sign in
module module moderate

IndisputableMonolith.Config.Flags

show as:
view Lean formalization →

Config.Flags supplies vNext feature flags with default-safe settings for the Recognition Science monolith. Certificates remain enabled while behavior changes stay disabled. The module is imported by VM.State to parameterize optional behaviors without touching core derivations. As a definition module it contains no theorems or proofs.

claimThe module defines a feature-flag structure $Flags$ whose default instance has certificates enabled and behavior modifications disabled.

background

This module belongs to the configuration layer of IndisputableMonolith and is imported by VM.State. It introduces safe defaults for optional vNext features so that core Recognition Science objects remain unchanged. The setting is the monolith's virtual-machine state where certificates control verification paths and behavior changes control extensions.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module feeds IndisputableMonolith.VM.State, supplying the configuration object that keeps vNext features default-safe. It ensures certificates stay on and changes stay off, preserving consistency with the forcing chain and recognition composition law.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

declarations in this module (2)