YOUR_SYSTEM_NAME DETERMINISTIC-CONSTRAINT-BUILD

PROOF_BACKED_ARTIFACT

STATIC_DECLARATION_ONLY NO_FAKE_RUNTIME_STATE Agent1 Agent2 Agent3 FakeTelemetry UndefinedState Running Idle Zombie Deadlock NAND(a,a) NAND(NAND(a,b), NAND(a,b)) NAND(NAND(NOT(a),NOT(a)), NAND(b,b)) active(a) => trusted(a) entropy(a) <= 0.20 trusted(sender) ]]> DefineConstraints ValidateAgainstSpec GenerateProofArtifact Phase(n+1) requires Complete(Phase n)