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
36
37
38
39
40
41
42
43
44
| import fs from 'node:fs';
| import path from 'node:path';
| import crypto from 'node:crypto';
| import {spawnSync} from 'node:child_process';
| import {pathToFileURL} from 'node:url';
| import * as runtime from './detail_strengthening_p0_candidate_semantic_verification_runtime_repair002_20260730.mjs';
| import {parseAuthorityCsv,serializeCsv,serializeManifestDataRows,validateAppendStableManifest} from './artifact_manifest_append_stable_parser_repair001_20260730.mjs';
|
| const {ROOT,CASE_ID,BASE,AUDIT_REPORT,MANIFEST,ANOMALY_AUTHORITY,ORIGINAL_TRIAGE_RUN,DESIGN_ID,DESIGN_RUN,DESIGN_BATCH,EXEC_RUN,EXEC_BATCH,SOURCE_AUDIT,RELEASE_AUDIT,SCRIPT,FORMAL_ENTRY_AUTHORITY,SOURCE_ENTRY_AUTHORITY,CRITERIA,DECISION_AUTHORITY,CONTRACT,SCHEMA,EXEC_SET,PROTECTED_INVENTORY}=runtime;
| const BUILDER='dev/ana-dev/detail_strengthening_p0_candidate_semantic_verification_design_repair002_20260730.mjs';
| const FORMAL_DESIGN='ana-doc/机器人案例/案例分析设计.md';
| const FAILED_DESIGN_RUN='RUN-ANA-ROBOT-DETAIL-STRENGTHENING-P0-CANDIDATE-SEMANTIC-VERIFICATION-DESIGN-001';
| const R1_DESIGN_RUN='RUN-ANA-ROBOT-DETAIL-STRENGTHENING-P0-CANDIDATE-SEMANTIC-VERIFICATION-DESIGN-REPAIR-001';
| const NEG_RESULTS=`${BASE}/evidence/detail_strengthening_p0_candidate_semantic_verification_negative_results_repair002_20260730.csv`;
| const DESIGN_BASELINE=`${BASE}/evidence/detail_strengthening_p0_candidate_semantic_verification_design_baseline_repair002_20260730.csv`;
| const DESIGN_REQUEST=`${BASE}/manifest/review_request_detail_strengthening_p0_candidate_semantic_verification_design_repair002_20260730.md`;
| const DESIGN_SET=`${BASE}/manifest/detail_strengthening_p0_candidate_semantic_verification_design_artifact_set_repair002_20260730.csv`;
| const DESIGN_VALIDATION=`${BASE}/manifest/detail_strengthening_p0_candidate_semantic_verification_design_validation_repair002_20260730.csv`;
| const MANIFEST_PREFIX={bytes:622425,sha256:'c6df87fe1aa6c05e1faaf4f88c82c44bdd28ce0d8b9abeab4fb427ed1d2f762f'};
| const SOURCE_AUDIT_IDENTITY={lines:46,bytes:7446,sha256:'a414326bc1829b717a4108b8c5968a9342c6063dab74a496bf5083a58c100cb6'};
| const DESIGN_PATHS=[SCRIPT,BUILDER,FORMAL_ENTRY_AUTHORITY,SOURCE_ENTRY_AUTHORITY,CONTRACT,SCHEMA,EXEC_SET,NEG_RESULTS,DESIGN_BASELINE,DESIGN_REQUEST,DESIGN_SET,DESIGN_VALIDATION];
| const NEG_COLUMNS=['test_id','mutation_applied','oracle','expected','expected_code','actual','actual_codes','result'];
| const DESIGN_SET_COLUMNS=['artifact_id','batch_id','run_id','generation_order','artifact_path','artifact_role','identity_policy'];
| const abs=value=>path.join(ROOT,...value.split('/'));
| const hash=value=>crypto.createHash('sha256').update(value).digest('hex');
| const normalize=value=>value.toString('utf8').replace(/^\uFEFF/,'').replace(/\r\n/g,'\n').replace(/\r/g,'\n');
| const lineCount=value=>{const text=normalize(value);return text.split('\n').length-(text.endsWith('\n')?1:0);};
| const readCsv=file=>{const parsed=parseAuthorityCsv(normalize(fs.readFileSync(abs(file))));if(parsed.errors.length)throw new Error(`CSV:${file}:${parsed.errors.join('|')}`);return parsed;};
| const identity=file=>{const buffer=fs.readFileSync(abs(file)),stat=fs.statSync(abs(file));return{rows:file.endsWith('.csv')?readCsv(file).rows.length:lineCount(buffer),bytes:buffer.length,sha256:hash(buffer),mtime:new Date(Math.trunc(stat.mtimeMs)).toISOString(),mtimeMs:Math.trunc(stat.mtimeMs)};};
| const write=(file,text)=>{fs.mkdirSync(path.dirname(abs(file)),{recursive:true});fs.writeFileSync(abs(file),text,'utf8');};
| function manifestState(options={}){return validateAppendStableManifest(fs.readFileSync(abs(MANIFEST)),{anomalyRows:readCsv(ANOMALY_AUTHORITY).rows,frozenPrefix:MANIFEST_PREFIX,originalRunId:ORIGINAL_TRIAGE_RUN,originalRunExpectedRows:11,...options});}
| function formalEntryRow(){const all=normalize(fs.readFileSync(abs(FORMAL_DESIGN))).split('\n'),start=all.findIndex(line=>line.startsWith('## ')&&line.includes(DESIGN_ID));if(start<0)throw new Error('FORMAL_REPAIR002_ENTRY_MISSING');let end=all.length;for(let i=start+1;i<all.length;i++)if(all[i].startsWith('## ')){end=i;break;}while(end>start&&all[end-1]==='')end--;const buffer=Buffer.from(`${all.slice(start,end).join('\n')}\n`);return{entry_id:'P0SEMR2-FORMAL-DESIGN-001',design_id:DESIGN_ID,artifact_path:FORMAL_DESIGN,start_line:String(start+1),end_line:String(end),lines:String(end-start),bytes:String(buffer.length),sha256:hash(buffer),normalization:'UTF8_NO_BOM_LF_JOIN_LINES_WITH_TERMINAL_LF_V1',required_markers:'SOURCE_AUDIT_LITERALS|append-stable normalized prefix|FAIL|18|NO_UPGRADE'};}
| function sourceEntryRow(){const entry=runtime.auditEntry(SOURCE_AUDIT);if(!entry)throw new Error('SOURCE_AUDIT_MISSING');const reportLines=normalize(fs.readFileSync(abs(AUDIT_REPORT))).split('\n'),prefix=Buffer.from(`${reportLines.slice(0,entry.end).join('\n')}\n`);return{authority_id:'P0SEMR2-SOURCE-AUDIT-001',audit_id:SOURCE_AUDIT,artifact_path:AUDIT_REPORT,start_line:String(entry.start),end_line:String(entry.end),normalized_lines:String(entry.lines),normalized_bytes:String(entry.bytes),normalized_sha256:entry.sha256,normalization:'UTF8_NO_BOM_LF_JOIN_LINES_WITH_TERMINAL_LF_V1',normalized_prefix_bytes:String(prefix.length),normalized_prefix_sha256:hash(prefix),required_pass_literal:'PASS_P0_PRIMARY_SOURCE_DISCOVERY_EXECUTION_AND_OUTPUT_QUALITY_WITH_RETAINED_OPEN_GAPS',required_allowed_literal:'P0_primary_source_candidate_semantic_verification_detailed_design_preparation=ALLOWED'};}
| function protectedRows(){const rows=readCsv(PROTECTED_INVENTORY).rows;if(rows.length!==49)throw new Error(`PROTECTED_COUNT:${rows.length}`);return rows.map(row=>({path:row.artifact_path,...identity(row.artifact_path)}));}
| function priorDesignRows(){return manifestState().logicalRows.filter(row=>[FAILED_DESIGN_RUN,R1_DESIGN_RUN].includes(row.run_id));}
| function baselineRows(){const source=runtime.auditEntry(SOURCE_AUDIT),manifest=fs.readFileSync(abs(MANIFEST)),prior=priorDesignRows(),formal=formalEntryRow();if(!source)throw new Error('SOURCE_AUDIT_MISSING');if(prior.length!==23)throw new Error(`PRIOR_DESIGN_ROWS:${prior.length}`);const rows=[{baseline_id:'P0SEMR2-DESIGN-BASE-001',identity_type:'SOURCE_EXECUTION_AUDIT_ENTRY',artifact_path:`${AUDIT_REPORT}#L${source.start}-L${source.end}`,rows:String(source.lines),bytes:String(source.bytes),sha256:source.sha256,mtime:'INFO_APPENDABLE_SHARED_FILE',required_state:'EXACT_SOURCE_ENTRY_AUTHORITY'},{baseline_id:'P0SEMR2-DESIGN-BASE-002',identity_type:'RAW_MANIFEST_PREFIX_AFTER_R1_FAIL',artifact_path:MANIFEST,rows:String(manifestState().logicalDataRows),bytes:String(manifest.length),sha256:hash(manifest),mtime:new Date(Math.trunc(fs.statSync(abs(MANIFEST)).mtimeMs)).toISOString(),required_state:'APPEND_ONLY_13_PLUS_10_HISTORY_PRESERVED'},{baseline_id:'P0SEMR2-DESIGN-BASE-003',identity_type:'FORMAL_REPAIR002_DESIGN_ENTRY',artifact_path:`${formal.artifact_path}#L${formal.start_line}-L${formal.end_line}`,rows:formal.lines,bytes:formal.bytes,sha256:formal.sha256,mtime:'INFO_APPENDABLE_SHARED_FILE',required_state:'EXACT_REPAIR002_SCOPE'}];for(const row of prior){const id=identity(row.artifact_path);rows.push({baseline_id:`P0SEMR2-DESIGN-BASE-${String(rows.length+1).padStart(3,'0')}`,identity_type:'PRIOR_DESIGN_ARTIFACT_HISTORY',artifact_path:row.artifact_path,rows:String(id.rows),bytes:String(id.bytes),sha256:id.sha256,mtime:id.mtime,required_state:'IMMUTABLE_PRIOR_DESIGN_HISTORY'});}for(const item of protectedRows())rows.push({baseline_id:`P0SEMR2-DESIGN-BASE-${String(rows.length+1).padStart(3,'0')}`,identity_type:'PROTECTED_OUTPUT_CURRENT_IDENTITY',artifact_path:item.path,rows:String(item.rows),bytes:String(item.bytes),sha256:item.sha256,mtime:item.mtime,required_state:'NO_MUTATION'});return rows;}
| function designSetRows(){const roles=['RUNTIME_REPAIR002','DESIGN_BUILDER_REPAIR002','FORMAL_REPAIR002_ENTRY_AUTHORITY','SOURCE_AUDIT_ENTRY_AUTHORITY','RUNTIME_CONTRACT_REPAIR002','OUTPUT_SCHEMA_REPAIR002','EXECUTION_EXACT_SET_REPAIR002','NEGATIVE_RESULTS_REPAIR002','DESIGN_BASELINE_REPAIR002','DESIGN_REVIEW_REQUEST_REPAIR002','DESIGN_EXACT_SET_REPAIR002','VALIDATION_LAST'];return DESIGN_PATHS.map((artifactPath,index)=>({artifact_id:`P0SEMR2-DESIGN-SET-${String(index+1).padStart(3,'0')}`,batch_id:DESIGN_BATCH,run_id:DESIGN_RUN,generation_order:String(index+1),artifact_path:artifactPath,artifact_role:roles[index],identity_policy:'EXACT_SHA256_BYTES_FILESYSTEM_MTIME_MS'}));}
| function requestText(){return`# P0 一手来源候选语义资格审定详细设计 REPAIR-002 聚焦复审请求\n\ncase_id=${CASE_ID}\naction_id=NEXT-ROBOT-041-DESIGN-REPAIR-002\ndesign_id=${DESIGN_ID}\npredecessor_audit=AUDIT-ANA-ROBOT-DETAIL-STRENGTHENING-P0-CANDIDATE-SEMANTIC-VERIFICATION-DESIGN-REPAIR001-REREVIEW-001=FAIL\nrequested_release_audit=${RELEASE_AUDIT}\nrequested_batch=${EXEC_BATCH}\nrequested_run=${EXEC_RUN}\n\n本修复只关闭 BLOCK-041-DESIGN-SOURCE-AUDIT-LITERAL-FAIL-CLOSED-001：新增精确 source-entry/prefix authority，完整行唯一值和矛盾检测，并把它纳入同一 prewrite/baseline/postwrite oracle。初版13行与R1 10行、criteria7、decision14、protected49 均不改写。\n\n如聚焦复审通过，请精确登记：\nresult=PASS\nexecution_release=EXPLICITLY_RELEASED\nreleased_batch_id=${EXEC_BATCH}\nreleased_run_id=${EXEC_RUN}\nnetwork_scope=FROZEN_LOCAL_INPUTS_ONLY_NO_NETWORK\ncandidate_outcome_ceiling=QUALIFICATION_ONLY_NO_EVIDENCE_ACCEPTANCE\n\n修复版为 exact18、baseline-first、validation-last、失败全回滚；不联网、不关闭 gap、不改业务输出或证据强度。审计 PASS 前 execution outputs=0、execution manifest rows=0。\n`;}
| function validationRows(){const source=runtime.auditEntry(SOURCE_AUDIT),negative=runtime.negativeRows(),preview=spawnSync(process.execPath,[abs(SCRIPT),'--preview'],{cwd:ROOT,encoding:'utf8'}),runtimeCheck=spawnSync(process.execPath,['--check',abs(SCRIPT)],{cwd:ROOT}),builderCheck=spawnSync(process.execPath,['--check',abs(BUILDER)],{cwd:ROOT}),checks=[['SOURCE_AUDIT',`${SOURCE_AUDIT_IDENTITY.lines}/${SOURCE_AUDIT_IDENTITY.bytes}/${SOURCE_AUDIT_IDENTITY.sha256}`,source?`${source.lines}/${source.bytes}/${source.sha256}`:'MISSING'],['PRIOR_DESIGN_HISTORY','23',String(priorDesignRows().length)],['SOURCE_ENTRY_AUTHORITY','1',String(readCsv(SOURCE_ENTRY_AUTHORITY).rows.length)],['SOURCE_AUTHORITY_ERRORS','0',String(runtime.sourceAuthorityErrors().length)],['SOURCE_PACKAGE_ERRORS','0',String(runtime.sourcePackageLifecycleErrors().length)],['FORMAL_REPAIR002_ENTRY','1','1'],['CRITERIA_REUSED','7',String(readCsv(CRITERIA).rows.length)],['DECISIONS_REUSED','14',String(readCsv(DECISION_AUTHORITY).rows.length)],['CONTRACTS','26',String(readCsv(CONTRACT).rows.length)],['SCHEMAS','9',String(readCsv(SCHEMA).rows.length)],['EXEC_SET','18',String(readCsv(EXEC_SET).rows.length)],['NEGATIVE_TESTS',String(negative.length),String(negative.filter(row=>row.result==='PASS').length)],['RUNTIME_NODE','0',String(runtimeCheck.status??1)],['BUILDER_NODE','0',String(builderCheck.status??1)],['PREVIEW','0',String(preview.status??1)],['PROTECTED','49',String(protectedRows().length)],['MANIFEST_PREFIX',MANIFEST_PREFIX.sha256,hash(fs.readFileSync(abs(MANIFEST)).subarray(0,MANIFEST_PREFIX.bytes))],['EXECUTION_FILES','0',String(runtime.GENERATED.filter(file=>fs.existsSync(abs(file))).length)],['EXECUTION_MANIFEST_ROWS','0',String(manifestState().logicalRows.filter(row=>row.run_id===EXEC_RUN).length)],['BOUNDARY','NO_UPGRADE','NO_UPGRADE']];const rows=checks.map((item,index)=>({check_id:`P0SEMR2-DESIGN-VAL-${String(index+1).padStart(3,'0')}`,check_description:item[0],expected:item[1],actual:item[2],status:item[1]===item[2]?'PASS':'FAIL',evidence:'REPAIR002_SOURCE_ENTRY_FAIL_CLOSED_ORACLE'}));rows.push({check_id:'P0SEMR2-DESIGN-VAL-021',check_description:'SELF_REFERENCE_EXCLUDED',expected:'SELF_REFERENCE_EXCLUDED',actual:'SELF_REFERENCE_EXCLUDED',status:'INFO',evidence:'validation and manifest identities postchecked'});return rows;}
| function manifestRowsForDesign(){return DESIGN_PATHS.map(file=>{const id=identity(file);return{case_id:CASE_ID,run_id:DESIGN_RUN,batch_id:DESIGN_BATCH,artifact_path:file,sha256:id.sha256,bytes:String(id.bytes),mtime:id.mtime};});}
| function build(){const manifest=fs.readFileSync(abs(MANIFEST));if(manifest.length!==MANIFEST_PREFIX.bytes||hash(manifest)!==MANIFEST_PREFIX.sha256)throw new Error('MANIFEST_PREFIX_DRIFT');if(DESIGN_PATHS.slice(2).some(file=>fs.existsSync(abs(file))))throw new Error('REPAIR002_TARGET_EXISTS');if(runtime.GENERATED.some(file=>fs.existsSync(abs(file))))throw new Error('EXECUTION_TARGET_EXISTS');write(FORMAL_ENTRY_AUTHORITY,serializeCsv([formalEntryRow()],runtime.FORMAL_ENTRY_COLUMNS));write(SOURCE_ENTRY_AUTHORITY,serializeCsv([sourceEntryRow()],runtime.SOURCE_ENTRY_COLUMNS));write(CONTRACT,serializeCsv(runtime.contractRows(),runtime.CONTRACT_COLUMNS));write(SCHEMA,serializeCsv(runtime.schemaRows(),runtime.SCHEMA_COLUMNS));write(EXEC_SET,serializeCsv(runtime.executionSetRows(),runtime.EXEC_SET_COLUMNS));write(NEG_RESULTS,serializeCsv(runtime.negativeRows(),NEG_COLUMNS));write(DESIGN_BASELINE,serializeCsv(baselineRows(),runtime.BASELINE_COLUMNS));write(DESIGN_REQUEST,requestText());write(DESIGN_SET,serializeCsv(designSetRows(),DESIGN_SET_COLUMNS));const validation=validationRows();write(DESIGN_VALIDATION,serializeCsv(validation,runtime.VALIDATION_COLUMNS));if(validation.some(row=>row.status==='FAIL'))throw new Error(`VALIDATION_FAIL:${validation.filter(row=>row.status==='FAIL').map(row=>row.check_description).join('|')}`);const before=fs.readFileSync(abs(MANIFEST)),rows=manifestRowsForDesign(),candidate=Buffer.concat([before,Buffer.from(serializeManifestDataRows(rows),'utf8')]),state=validateAppendStableManifest(candidate,{anomalyRows:readCsv(ANOMALY_AUTHORITY).rows,frozenPrefix:MANIFEST_PREFIX,originalRunId:ORIGINAL_TRIAGE_RUN,originalRunExpectedRows:11,expectedRunRows:rows,expectedRunId:DESIGN_RUN,expectedPhysicalDelta:12});if(state.errors.length)throw new Error(`MANIFEST_CANDIDATE:${state.errors.join('|')}`);fs.writeFileSync(abs(MANIFEST),candidate);const errors=validate();if(errors.length)throw new Error(`POSTWRITE:${errors.join('|')}`);return{status:'DESIGN_REPAIR002_BUILT_PENDING_INDEPENDENT_REREVIEW',prior_history_rows:23,repair_artifacts:12,negative_tests:runtime.negativeRows().length,execution_outputs:0};}
| function validate(){const errors=[...runtime.designInputErrors({requireRelease:false,expectNoExecution:true})],negative=readCsv(NEG_RESULTS),baseline=readCsv(DESIGN_BASELINE),designSet=readCsv(DESIGN_SET),validation=readCsv(DESIGN_VALIDATION);if(negative.rows.length!==runtime.negativeRows().length||negative.rows.some(row=>row.result!=='PASS'))errors.push('NEGATIVE_RESULTS');if(baseline.rows.length!==75)errors.push(`DESIGN_BASELINE_COUNT:${baseline.rows.length}:75`);if(designSet.rows.length!==12)errors.push(`DESIGN_SET_COUNT:${designSet.rows.length}`);if(validation.rows.length!==21||validation.rows.some(row=>row.status==='FAIL'))errors.push('DESIGN_VALIDATION');if(priorDesignRows().length!==23)errors.push('PRIOR_HISTORY');const expected=manifestRowsForDesign(),state=manifestState({expectedRunRows:expected,expectedRunId:DESIGN_RUN,expectedPhysicalDelta:12,filesystemIdentity:{runIds:[DESIGN_RUN],get:file=>fs.existsSync(abs(file))?identity(file):null}});errors.push(...state.errors.map(code=>`MANIFEST:${code}`));return[...new Set(errors)];}
|
| if(process.argv[1]&&import.meta.url===pathToFileURL(process.argv[1]).href){const mode=process.argv[2]??'--validate-design';if(mode==='--build-design')console.log(JSON.stringify(build(),null,2));else if(mode==='--validate-design'){const errors=validate();console.log(JSON.stringify({status:errors.length?'FAIL':'PASS_CANDIDATE_SEMANTIC_VERIFICATION_DESIGN_REPAIR002',errors},null,2));if(errors.length)process.exitCode=1;}else if(mode==='--self-test'){const rows=runtime.negativeRows();console.log(JSON.stringify({status:rows.every(row=>row.result==='PASS')?'SELF_TEST_PASS':'FAIL',tests:rows.length},null,2));if(rows.some(row=>row.result!=='PASS'))process.exitCode=1;}else if(mode==='--validate-package-manifest'){const errors=manifestState().errors;console.log(JSON.stringify({status:errors.length?'FAIL':'PASS_APPEND_STABLE_MANIFEST',errors},null,2));if(errors.length)process.exitCode=1;}else throw new Error(`UNKNOWN_MODE:${mode}`);}
|
|
