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
32
33
34
35
| "validation_id","check_group","check_name","expected","actual","status","evidence_ref"
| "COVDESVAL-001","IDENTITY","scheme_marker_unique","1","1","PASS","机器人研报解析方案.md#16"
| "COVDESVAL-002","IDENTITY","design_marker_unique","1","1","PASS","案例分析设计.md#DESIGN-ANA-ROBOT-COVERAGE-FIRST-CHAIN-COMPANY-001"
| "COVDESVAL-003","IDENTITY","run_marker_unique","1","1","PASS","案例执行日志.md#RUN-ANA-ROBOT-COVERAGE-FIRST-DESIGN-001"
| "COVDESVAL-004","IDENTITY","next_action_row_unique","1","1","PASS","next_action_list.csv#NEXT-ROBOT-038"
| "COVDESVAL-005","AUTHORITY","design_authority_rows","14","14","PASS","coverage_first_design_authority_20260729.csv"
| "COVDESVAL-006","AUTHORITY","append_stable_authority_rows","6","6","PASS","COVDESAUTH-001..006"
| "COVDESVAL-007","UNIVERSE","company_rows","307","307","PASS","robot_company_master.csv"
| "COVDESVAL-008","UNIVERSE","company_unique_ids","307","307","PASS","robot_company_master.csv#company_id"
| "COVDESVAL-009","UNIVERSE","source_only_candidate_rows","117","117","PASS","robot_company_master.csv#candidate_status"
| "COVDESVAL-010","UNIVERSE","existing_formal_company_rows","16","16","PASS","robot_company_master.csv#formal_output_status"
| "COVDESVAL-011","UNIVERSE","reviewed_company_classification_rows","190","190","PASS","next_robot_034_company_universe_classification_repair002_20260726.csv"
| "COVDESVAL-012","UNIVERSE","reviewed_plus_source_only","307","307","PASS","190+117"
| "COVDESVAL-013","UNIVERSE","topic_rows","24","24","PASS","robot_subindustry_master.csv"
| "COVDESVAL-014","UNIVERSE","topic_unique_ids","24","24","PASS","robot_subindustry_master.csv#topic_id"
| "COVDESVAL-015","UNIVERSE","formal_topic_pairs","7","7","PASS","robot_subindustry_master.csv#project_output_status"
| "COVDESVAL-016","UNIVERSE","missing_formal_topic_pairs","17","17","PASS","robot_subindustry_master.csv#project_output_status"
| "COVDESVAL-017","BOUNDARY","stage1_only_requested","STRUCTURED_ONLY","STRUCTURED_ONLY","PASS","DESIGN section III"
| "COVDESVAL-018","BOUNDARY","stage2_execution_release","NOT_ALLOWED","NOT_ALLOWED","PASS","DESIGN section V"
| "COVDESVAL-019","BOUNDARY","stage3_execution_release","NOT_ALLOWED","NOT_ALLOWED","PASS","DESIGN section V"
| "COVDESVAL-020","BOUNDARY","external_input_policy","FROZEN_LOCAL_INPUTS_ONLY","FROZEN_LOCAL_INPUTS_ONLY","PASS","DESIGN section VI"
| "COVDESVAL-021","BOUNDARY","darkline_required","false","false","PASS","DESIGN section VI"
| "COVDESVAL-022","BOUNDARY","database_write","0","0","PASS","DESIGN section VI"
| "COVDESVAL-023","BOUNDARY","formal_pool_effect","NO_AUTOMATIC_FORMAL_POOL_CHANGE","NO_AUTOMATIC_FORMAL_POOL_CHANGE","PASS","DESIGN section VII"
| "COVDESVAL-024","CONTRACT","stage1_csv_schema_count","8","8","PASS","DESIGN section VII"
| "COVDESVAL-025","CONTRACT","stage1_exact_artifact_paths","9","9","PASS","DESIGN section VIII"
| "COVDESVAL-026","CONTRACT","stage1_generation_order","1..9","1..9","PASS","DESIGN section VIII"
| "COVDESVAL-027","PACKAGE","design_exact_artifact_paths","4","4","PASS","coverage_first_design_artifact_set_20260729.csv"
| "COVDESVAL-028","PACKAGE","design_exact_artifact_paths_unique","4","4","PASS","coverage_first_design_artifact_set_20260729.csv#artifact_path"
| "COVDESVAL-029","MANIFEST","manifest_history_prefix_rows","806","806","PASS","artifact_manifest.csv"
| "COVDESVAL-030","MANIFEST","manifest_history_prefix_sha256","e04a4c4001aa9586882d2fa70c8b080a5548f569df367664563d06c5caf0c53e","e04a4c4001aa9586882d2fa70c8b080a5548f569df367664563d06c5caf0c53e","PASS","artifact_manifest.csv"
| "COVDESVAL-031","MANIFEST","reserved_stage1_run_rows_before_release","0","0","PASS","artifact_manifest.csv#RUN-ANA-ROBOT-COVERAGE-FIRST-STRUCTURED-001"
| "COVDESVAL-032","MANIFEST","design_run_rows_before_append","0","0","PASS","artifact_manifest.csv#RUN-ANA-ROBOT-COVERAGE-FIRST-DESIGN-001"
| "COVDESVAL-033","REVIEW","analyst_self_review","forbidden","forbidden","PASS","role boundary"
| "COVDESVAL-034","SELF_REFERENCE","validation_final_identity","SELF_REFERENCE_EXCLUDED","SELF_REFERENCE_EXCLUDED","INFO","final identity computed externally after freeze"
|
|
