import fs from 'node:fs';
import path from 'node:path';
import crypto from 'node:crypto';
import {spawnSync} from 'node:child_process';
const read=p=>JSON.parse(fs.readFileSync(p,'utf8').replace(/^\uFEFF/,''));
const hash=p=>crypto.createHash('sha256').update(fs.readFileSync(p)).digest('hex');
const state=read('C:/laragon/data/sgf-tempo/run/modular-regression-current.json');
if(state.port!==55439||!/^[a-f0-9]{12}$/.test(state.id))throw Error('Wrong QA host');
const attrs=t=>Object.fromEntries([...t.matchAll(/(\w+)="([^"]*)"/g)].map(m=>[m[1],m[2]]));
function junit(name,selected=null){
 const file=path.join(state.root,name),xml=fs.readFileSync(file,'utf8'),suite=attrs(xml.match(/<testsuite\b[^>]*>/)[0]);
 const cases=[...xml.matchAll(/<testcase\b[^>]*\/>|<testcase\b[^>]*>[\s\S]*?<\/testcase>/g)].map(m=>({...attrs(m[0].match(/^<testcase\b[^>]*>/)[0]),xml:m[0]})).filter(c=>!selected||selected.includes(c.name));
 if(!cases.length||(selected&&cases.length!==selected.length)||cases.some(c=>/<(failure|error|skipped)\b/.test(c.xml)))throw Error('Selected case not passed');
 if(!selected&&(Number(suite.errors)!==0||Number(suite.failures)!==0))throw Error('Run not fully passed');
 return {file:name,sha256:hash(file),tests:cases.length,assertions:cases.reduce((n,c)=>n+Number(c.assertions),0),cases:cases.map(c=>c.name),selected_cases_only:!!selected,parent_run_errors:Number(suite.errors),parent_run_failures:Number(suite.failures)};
}
const tests={affected_existing:junit('workshop-stock-1793633268880.xml',['test_individual_impact_independence_exact_issue_and_replay','test_client_unverified_fraction_and_unknown_delivery_do_not_debit','test_stale_book_mapping_permission_scope_and_failure_recovery','test_corrected_source_requires_review_and_never_consumes_the_same_origin_twice','test_other_company_cannot_read_or_confirm_origin_and_changed_command_is_refused','test_concurrent_confirmation_has_one_claim_and_movement']),
 delivery:junit('workshop-stock-1793633372636.xml'),additional_integrity_and_isolation:junit('workshop-stock-1793633481884.xml')};
const previousPath='docs/proofs/workshop-stock-20261102.json',previous=read(previousPath);
const artifact='../compras/packages/inventory-issue/releases/0.1.0';
if(hash(artifact+'/manifest.json')!==previous.package.manifest_sha256)throw Error('Shared writer changed');
for(const [file,sha] of Object.entries(previous.package.files))if(hash(artifact+'/'+file)!==sha||hash('packages/inventory-issue/'+file)!==sha)throw Error('Writer no longer matches valid native proofs');
for(const file of ['../compras/app/Services/StockIssueMovement.php','../compras/app/Services/StockWorkflow.php'])if(hash(file)!==previous.source_sha256[file])throw Error('Native host changed since native proof');
const old=read('docs/proofs/module-association-http-lock-summary-20261102.json');for(const p of [old.proof,...old.previous_proofs])if(hash(p.path)!==p.sha256)throw Error('Previous association evidence changed');
const post=spawnSync('C:/laragon/tools/sgf-tempo/php-8.4.27/php.exe',['scripts/workshop-stock-state.php'],{encoding:'utf8',windowsHide:true});if(post.status!==0)throw Error('QA rights/source postcheck failed');
const uiPath='docs/proofs/workshop-delivery-ui-20261102.json';
const source=['app/Modules/Workshop/WorkshopStock.php','app/Modules/Workshop/Http/WorkshopStockController.php','resources/js/WorkshopStockWorkspace.jsx','routes/web.php','tests/Feature/WorkshopStockTest.php','tests/Support/workshop-stock-worker.php'];
const report={date:'2026-11-02',increment:'WORKSHOP-DELIVERY-LINK-SIM-v1',status:'implemented_and_proved_synthetically',tests,totals:{tests:Object.values(tests).reduce((n,t)=>n+t.tests,0),assertions:Object.values(tests).reduce((n,t)=>n+t.assertions,0)},
 selection_note:'Six affected existing cases passed in a run containing three new fixture-bootstrap errors; those errored cases are excluded. The five delivery cases then passed after bootstrap correction and stricter integrity checks; two additional integrity/isolation cases passed separately. Valid native proofs reused without rerunning unchanged native code.',
 scenarios_asserted:{initial_milli:'10000',already_issued_milli:'2000',before_link_milli:'8000',after_link_milli:'8000',new_physical_movements:0,total_physical_movements:2,total_operations:1,claims:1,original_movement_unchanged:true,same_book_stock_read:true,preparer_cannot_confirm:true,replay_same_movement:true,competing_proposal_refused:true,quantity_mismatch_refused:true,stale_book_refused:true,eligibility_revocation_refused:true,permission_revocation_refused:true,missing_operation_hash_refused:true,reversal_book_refused:true,other_company_prepare_and_confirm_refused:true,other_company_list_empty:true,failure_rollback_and_retry_without_duplicate:true,fully_depleted_book_can_link_without_debit:true},
 concurrency_asserted:{processes:2,company_row_lock_observed:true,first_backend_identified_by_pg_blocking_pids:true,after_release:'200/replay/same movement',claims:1,physical_milli:'8000'},
 source_sha256:Object.fromEntries(source.map(p=>[p,hash(p)])),qa_postcheck:JSON.parse(post.stdout),
 static_ui:{path:uiPath,sha256:hash(uiPath),...read(uiPath)},build:{passed:true,node:'24.22.1',vite:'8.3.5',manifest_sha256:hash('public/build/manifest.json')},
 reused_proofs:{workshop_stock:{path:previousPath,sha256:hash(previousPath)},shared_writer_manifest_sha256:previous.package.manifest_sha256,native_issue_tests:previous.tests.native_issues,native_lot_tests:previous.tests.native_lots},
 preservation:{new_synthetic_fixtures_only:true,regression_not_reset:true,temporary_rights_restored:true,six_protected_records_untouched:true,blocked_cache_untouched:true,demos_untouched:true,prior_association_proofs_unchanged:true,real_data_or_rights_changed:false,purchasing_activation:false,publication:false,checkpoint:false},
 limits:['Only explicit QA movement-to-order eligibility; no automatic or historical adoption.','Only full equal quantities, simple unreversed common-writer issues, no lots/reservations/spare parts.','Partial allocations, returns, compensation and amendment of confirmed links not implemented.','Operational configuration/installation and one installed procurement-to-consumption scenario remain pending.','No new write-load/deployment capacity proof, no browser interaction or visual review.'],visual_review_pending:true,deployment_capacity_validated:false};
fs.writeFileSync('docs/proofs/workshop-delivery-link-20261102.json',JSON.stringify(report,null,2)+'\n');
console.log(JSON.stringify({totals:report.totals,qa_postcheck:report.qa_postcheck,physical_before:'8000',physical_after:'8000',new_movements:0},null,2));