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.