1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
| "check_id","check_description","expected","actual","status","evidence"
| "DSG-VAL-001","CORE_ERRORS","0","0","PASS","fail-closed design oracle"
| "DSG-VAL-002","SOURCE_AUTHORITY_ROWS","6","6","PASS","fail-closed design oracle"
| "DSG-VAL-003","ITEM_AUTHORITY_ROWS","2964","2964","PASS","fail-closed design oracle"
| "DSG-VAL-004","SOURCE_DISTRIBUTION","2549|69|291|5|5|45","2549|69|291|5|5|45","PASS","fail-closed design oracle"
| "DSG-VAL-005","ITEM_PK_UNIQUE","2964","2964","PASS","fail-closed design oracle"
| "DSG-VAL-006","P0_ITEMS","10","10","PASS","fail-closed design oracle"
| "DSG-VAL-007","EXECUTION_EXACT_SET_ROWS","10","10","PASS","fail-closed design oracle"
| "DSG-VAL-008","PROPOSED_EXECUTION_OUTPUTS","0","0","PASS","fail-closed design oracle"
| "DSG-VAL-009","PROPOSED_EXECUTION_MANIFEST_ROWS","0","0","PASS","fail-closed design oracle"
| "DSG-VAL-010","MUTATION_SELF_TESTS","8","8","PASS","self-test 8/8"
| "DSG-VAL-011","MANIFEST_PREFIX_ROWS","1573","1573","PASS","fail-closed design oracle"
| "DSG-VAL-012","FORMAL_POOL_EFFECT","NO_AUTOMATIC_FORMAL_POOL_CHANGE","NO_AUTOMATIC_FORMAL_POOL_CHANGE","PASS","fail-closed design oracle"
| "DSG-VAL-013","EVIDENCE_STRENGTH_EFFECT","NO_UPGRADE","NO_UPGRADE","PASS","fail-closed design oracle"
| "DSG-VAL-014","EXECUTION_RELEASE","NOT_ALLOWED","NOT_ALLOWED","PASS","fail-closed design oracle"
| "DSG-VAL-015","SELF_REFERENCE_EXCLUDED","SELF_REFERENCE_EXCLUDED","SELF_REFERENCE_EXCLUDED","INFO","validation and manifest final identities checked externally after freeze"
|
|
