Cai
2026-08-29 e8f8034be44f16234bfb55ab072ee86e3c9bebdc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
"contract_id","scope","field_or_gate","required_value_or_rule","failure_state"
"P0GCV-CON-001","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","SOURCE_AUDIT_ENTRY","exact append-stable PASS execution audit entry","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-002","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","UNIVERSE","7 conceptual gaps and 10 source occurrences","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-003","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","ACCEPTED_REGISTER","6 accepted references; CAND-005 excluded","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-004","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","MAP_READ_ONLY","formal evidence map remains exact 46 rows with EMAP-046","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-005","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","OUTCOME_ENUM","PARTIAL_SCOPE_SUPPORTED_GAP_REMAINS_OPEN|NO_ACCEPTED_REFERENCE_GAP_REMAINS_OPEN","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-006","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","GAP_STATE","OPEN_RETAINED_GAP 7/7","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-007","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","CLAIM_CEILING","PENDING_VERIFICATION_MAX_NO_UPGRADE 7/7","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-008","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","POOL_EFFECT","NO_AUTOMATIC_FORMAL_POOL_CHANGE","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-009","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","EVIDENCE_EFFECT","NO_UPGRADE","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-010","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","BUSINESS_OUTPUT","NONE","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-011","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","DECISION_DERIVATION","all fields equal frozen criteria plus accepted counts","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-012","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","OCCURRENCE_DERIVATION","10/10 exact object bridge to gap decision","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-013","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","NEXT_EVIDENCE","7/7 exact missing-scope plan; future network requires separate release","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-014","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","CAND005","excluded from accepted register and closure basis","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-015","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","EXECUTION_SET","22 unique ordered artifacts","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-016","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","BASELINE_FIRST","order17 is first generated artifact","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-017","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","VALIDATION_LAST","order22 is final generated artifact","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-018","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","MANIFEST","data-only append with seven fields and exact filesystem-ms mtime","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-019","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","MANIFEST_HISTORY","legacy header anomaly only as separately enumerated authority","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-020","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","TRANSACTION","generation+manifest candidate/write+postwrite one workflow","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-021","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","ROLLBACK","manifest before bytes+mtime restored and generated outputs absent","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-022","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","FAULT_TESTS","6 production workflow faults safe-state verified","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-023","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","PROTECTED","protected49 exact identities","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-024","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","NETWORK","FROZEN_LOCAL_INPUTS_ONLY_NO_NETWORK","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-025","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","RELEASE","exact PASS/literal/batch/run/scope markers","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-026","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","REVIEW_STATE","PENDING independent execution/output review","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-027","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","NO_CLOSURE","this run may not emit CLOSED or VERIFIED_STRONG_FACT","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-028","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","SERIALIZATION","CSV UTF8 no BOM LF all fields quoted; request UTF8 no BOM LF","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-029","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","PK","all output primary keys unique","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"
"P0GCV-CON-030","P0_GAP_CLOSURE_SUFFICIENCY_VERIFICATION","ANTI_JOIN","gap/occurrence/criteria/output bidirectional differences zero","FAIL_CLOSED_OR_ROLLBACK_INCOMPLETE_HELD"