KB-5931

FIX7 Capability Measurement Verifier Spec

1 min read Revision 1
QT001FIX7capabilityverifier

FIX7 Capability Measurement Verifier Spec

Exact required capabilities: KEYSET_PAGINATION_REAL freshness 7d, CRASH_SAFE_RESUME_REAL 7d, REPRESENTATIVE_PERFORMANCE_REAL 24h, workload QT001_REPRESENTATIVE_1M_V1 (1,000,000 deterministic rows, 100,000 collision candidates). Controlled VERIFIER runs record normalized typed measurements/artifacts; lifecycle cannot assert PASS. Keyset requires >=3 monotonic pages/exact set/no duplicates/missing/OFFSET. Resume requires injected termination after >=2 checkpoints/new session/exact resumed set. Performance requires exact workload, <=600000ms, <=1073741824 bytes, zero timeout/deadlock/error. Fake verified/function-exists/free-text/stale/missing evidence fails.

Back to Knowledge Hub knowledge/dev/reports/architecture/codex-fix7-implementation-spec-completion-2026-06-07/05-capability-measurement-verifier-spec.md