1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
| "check_id","check_description","expected","actual","status","evidence"
| "P0DISCR2-EXEC-VAL-001","RUNTIME_ERRORS","0","0","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-002","TARGETS","10","10","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-003","GAPS","7","7","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-004","QUERIES","14","14","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-005","RAW_QUERY_COVERAGE","14","14","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-006","SUPPLEMENT_BIJECTION","14","14","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-007","PROVENANCE_BIJECTION","14","14","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-008","DISPOSITIONS","10","10","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-009","SUMMARY","7","7","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-010","APPLICATION","10","10","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-011","OPEN_GAP","OPEN_RETAINED_GAP","OPEN_RETAINED_GAP","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-012","CLAIM_CEILING","PENDING_VERIFICATION_MAX_NO_UPGRADE","PENDING_VERIFICATION_MAX_NO_UPGRADE","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-013","POOL","NO_AUTOMATIC_FORMAL_POOL_CHANGE","NO_AUTOMATIC_FORMAL_POOL_CHANGE","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-014","EVIDENCE","NO_UPGRADE","NO_UPGRADE","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-015","OUTPUT_MUTATION","NO","NO","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-016","EXACT_SET","21","21","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-017","METHOD","CODEX_WEB_SEARCH_QUERY_AND_OPEN","CODEX_WEB_SEARCH_QUERY_AND_OPEN","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-018","NETWORK_BOUNDARY","PUBLIC_WEB_READ_ONLY","PUBLIC_WEB_READ_ONLY","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-019","REVIEW_STATE","PENDING_INDEPENDENT_EXECUTION_AND_OUTPUT_QUALITY_REVIEW","PENDING_INDEPENDENT_EXECUTION_AND_OUTPUT_QUALITY_REVIEW","PASS","REPAIR002_SHARED_RUNTIME_ORACLE"
| "P0DISCR2-EXEC-VAL-020","SELF_REFERENCE_EXCLUDED","SELF_REFERENCE_EXCLUDED","SELF_REFERENCE_EXCLUDED","INFO","validation and manifest identities postchecked"
|
|
