Skip to content

Explanation

These pages describe why the harness is built the way it is. For command and configuration details, see Reference.

Page What it covers
Measurement and Maturity Deterministic versus stochastic campaigns, lower-bound reporting, and what a record can claim.
What the Harness Cannot Prove The reasoned ceiling of the instrument.
Design Notes Where the specification was open, and where reality contradicted it.
Agent Triage How the FP/TP triage agent proposes verdicts, and how fp_agent_verify, fp_agent_pr, and fp_agent_alert keep an untrusted agent from becoming a write path.