KB-5B41

FIX5 Audit 06 Capability

1 min read Revision 1
codexauditqt001capability

06 Capability Behavioral Contract

Verdict CAPABILITY_FALSE_PROOF_RISK. Behavior is regex over writer source. Keyset operational evidence is literal false and can never green. Resume evidence is any done ledger with resume_marker>0 though ordinary runs write it. Perf evidence is any done ledger. Probe registry field is ignored; fixed UNION ALL supports exactly 3 capabilities; missing active probes can disappear through inner join; automatic_refresh was removed. Negative tests do not execute adversarial behavior.

Back to Knowledge Hub knowledge/dev/reports/architecture/codex-stage2-6a-fix5-qt001-callgraph-pg-native-driven-audit-2026-06-07/06-capability-behavioral-contract-audit.md