KB-3DCD

FIX7 Exact Fourteen Bypass Vectors

2 min read Revision 1
QT001FIX7no-bypass14-vectors

Exact 14 Bypass Vectors

Exact ACTIVE set, each exactly one fresh blocked=true fact; missing/extra/NULL/stale/unknown/false blocks. BV01 Directus control DML: ACL no DML + denied attempt. BV02 Directus DDL/owner: no schema CREATE/ALTER/ownership. BV03 PUBLIC/runtime writer EXECUTE: proc ACL exact + gateway closure. BV04 fake/self/free-text signoff: session_user + principal/human/evidence/separation. BV05 fake capability: controlled verifier + typed exact measurements, no verdict column. BV06 mutable denominator: sealed owner-only Q_CRITICAL_3 manifest. BV07 missing gate/result: expected-minus-actual nonempty. BV08 extra fake gate/result: actual-minus-expected nonempty. BV09 NULL gate: typed check + NULL-strict formula. BV10 stale analyzer: source/analyzer/epoch current <=24h immediate drift invalidate. BV11 stale epoch/hash: writer shared lock+reread; activation exclusive; evidence binding. BV12 manual SQL outside Level-B: immutable packet evidence mandatory, no alternate executor. BV13 unknown dependency/dynamic SQL: exact manifest, unknown fail, sealed target OID/template/callsite runtime check. BV14 stale/expired/same-human approval: exact classes <=24h current bindings unique human/slot.

Each binds vector ID, adapter source/signature, rule, proof set, freshness, negative evidence, epoch into BYPASS hash; extension/removal Q_CRITICAL_3; both-EXCEPT and empty never succeeds.

Back to Knowledge Hub knowledge/dev/reports/architecture/codex-fix7-spec-artifact-publish-finalization-2026-06-07/05-fourteen-bypass-vectors.md