fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 34577–34584

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 14:36:52 UTC · snapshot created 2026-10-03 14:38:14 UTC · last check 2026-10-03 15:35:10 UTC

A.19.CHR:4.3.2 - Guards and gate separation
  • Guard decision tristate: mechanism‑level guards return GuardDecision := {pass | degrade | abstain}.
  • Unknown never coerces to pass: unknown/insufficient evidence MUST map to degrade or abstain, not to pass.
  • Gate decision separation: mechanisms and suite objects MUST NOT publish GateDecision nor DecisionLog. block is gate‑only (OperationalGate(profile)).
  • Guard lexeme reservations: USM.CompareGuard / USM.LaunchGuard are gate‑level pins; mechanism predicates use suffixes …Admissibility / …Eligibility.