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
| check_id,"check_group","assertion","actual","expected","status","failure_effect","evidence_path"
| N036VAL-001,"INPUT","universe rows","100","100","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_company_universe_authority_20260726.csv"
| N036VAL-002,"INPUT","unique company_market_id","100","100","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_company_universe_authority_20260726.csv"
| N036VAL-003,"INPUT","unique symbol","100","100","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_company_universe_authority_20260726.csv"
| N036VAL-004,"INPUT","mapping status mismatch","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_company_universe_authority_20260726.csv"
| N036VAL-005,"INPUT","formal pool effect mismatch","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_company_universe_authority_20260726.csv"
| N036VAL-006,"SCHEMA","authority rows","11","11","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_source_schema_authority_20260726.csv"
| N036VAL-007,"SCHEMA","unique required columns","11","11","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_source_schema_authority_20260726.csv"
| N036VAL-008,"SCHEMA","live verification required","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_source_schema_authority_20260726.csv"
| N036VAL-009,"CONTRACT","contract rows","30","30","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_execution_contract_20260726.csv"
| N036VAL-010,"CONTRACT","unique contract id","30","30","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_execution_contract_20260726.csv"
| N036VAL-011,"CONTRACT","import NONE","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_execution_contract_20260726.csv"
| N036VAL-012,"CONTRACT","source-only no-write scope","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/next_robot_036_market_database_execution_contract_20260726.csv"
| N036VAL-013,"ARTIFACT","execution exact-set rows","14","14","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_20260726.csv"
| N036VAL-014,"ARTIFACT","unique execution paths","14","14","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_20260726.csv"
| N036VAL-015,"ARTIFACT","generation order","1|2|3|4|5|6|7|8|9|10|11|12|13|14","1|2|3|4|5|6|7|8|9|10|11|12|13|14","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_execution_artifact_set_20260726.csv"
| N036VAL-016,"SQL","exact SQL files","3","3","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_schema_query_20260726.sql;ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_snapshot_query_20260726.sql;ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_summary_query_20260726.sql"
| N036VAL-017,"SQL","read-only prefixes","3","3","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_schema_query_20260726.sql;ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_snapshot_query_20260726.sql;ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_summary_query_20260726.sql"
| N036VAL-018,"SQL","forbidden keyword matches","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_schema_query_20260726.sql;ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_snapshot_query_20260726.sql;ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_summary_query_20260726.sql"
| N036VAL-019,"SQL","raw fixed window","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_snapshot_query_20260726.sql"
| N036VAL-020,"SQL","summary criteria","1","1","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_summary_query_20260726.sql"
| N036VAL-021,"MANIFEST","history prefix rows","613","613","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036VAL-022,"MANIFEST","history prefix bytes","206314","206314","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036VAL-023,"MANIFEST","history prefix sha256","a0a0aa1ed1cbddd64080ec8782cbd468dd337f630aa042e51f1406ca009cbc97","a0a0aa1ed1cbddd64080ec8782cbd468dd337f630aa042e51f1406ca009cbc97","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/artifact_manifest.csv"
| N036VAL-024,"ENV","HTTP health dry-run","HTTP_502_BAD_GATEWAY","LIVE_EXECUTION_RECHECK_REQUIRED","INFO","NO_DESIGN_FAILURE","E:/mb-ms-doc/data/HTTP与MySQL使用说明.md"
| N036VAL-025,"ENV","secure credential present","NO","REQUIRED_ONLY_AT_RELEASED_EXECUTION","INFO","HELD_AT_EXECUTION_IF_ABSENT","KLINE_SOURCE_MYSQL_PASSWORD"
| N036VAL-026,"ENV","mysql client present","NO","REQUIRED_ONLY_AT_RELEASED_EXECUTION","INFO","HELD_AT_EXECUTION_IF_ABSENT","documented client locator"
| N036VAL-027,"PROTECTED","formal evidence map modified","0","0","PASS","FAIL","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/evidence/case_evidence_map.csv"
| N036VAL-028,"RELEASE","execution release","NOT_ALLOWED_PENDING_INDEPENDENT_DESIGN_REVIEW","NOT_ALLOWED_PENDING_INDEPENDENT_DESIGN_REVIEW","PASS","FAIL","ana-doc/机器人案例/案例分析设计.md"
| N036VAL-029,"VALIDATION","self final identity","","SELF_REFERENCE_EXCLUDED","INFO","EXTERNAL_FINAL_CHECK","ana-data/cases/机器人案例/ANA-ROBOT-INDUSTRY-001/manifest/next_robot_036_market_database_design_validation_20260726.csv"
|
|
