deadbyte-mcp 0.8.10 → 0.10.0

package/scripts/release-parity.mjs

@@ -1,21 +1,28 @@
 import { createHash } from 'node:crypto';
-import { mkdir, readFile, writeFile } from 'node:fs/promises';
+import { mkdir, readFile, realpath, writeFile } from 'node:fs/promises';
+import { loadPowerShellDataFile } from '../src/runtime-update.mjs';
 import os from 'node:os';
 import path from 'node:path';
 import { spawn } from 'node:child_process';
 import { fileURLToPath } from 'node:url';
+import { probeR36FullSurface } from '../src/r36-full-surface-probe.mjs';
+import { runR36CompactParity } from '../src/remote-mcp-r36-parity-client.mjs';
+import { probeR36CompactDisarmed } from '../src/r36-compact-disarmed-probe.mjs';
 
-const here = path.dirname(fileURLToPath(import.meta.url));
-const root = path.resolve(here, '..');
-const stateRoot = path.resolve(process.env.DEADBYTE_STATE_ROOT || path.join(os.homedir(), '.deadbyte-mcp'));
-const deferred = path.join(root, 'scripts', 'deferred-slot-operation.mjs');
-const ps = 'C:\\Windows\\System32\\WindowsPowerShell\\v1.0\\powershell.exe';
-const launcher = path.join(stateRoot, 'bin', 'DEADBYTE-MCP.ps1');
-const sleep = ms => new Promise(resolve => setTimeout(resolve, ms));
-const sha256 = bytes => createHash('sha256').update(bytes).digest('hex');
+const here=path.dirname(fileURLToPath(import.meta.url));
+const root=path.resolve(here,'..');
+const stateRoot=path.resolve(process.env.DEADBYTE_STATE_ROOT||path.join(os.homedir(),'.deadbyte-mcp'));
+const deferred=path.join(root,'scripts','deferred-slot-operation.mjs');
+const ps='C:\\Windows\\System32\\WindowsPowerShell\\v1.0\\powershell.exe';
+const launcher=path.join(stateRoot,'bin','DEADBYTE-MCP.ps1');
+const sleep=ms=>new Promise(resolve=>setTimeout(resolve,ms));
+const sha256=bytes=>createHash('sha256').update(bytes).digest('hex');
 
-function assert(condition, message) { if (!condition) throw new Error(message); }
-function parseFrozenManifest(text) {
+export const R35_PREDECESSOR_RELEASE_ID='v0.9.0-b95e1ec1d9a7e26a';
+export const R35_PREDECESSOR_MANIFEST='b95e1ec1d9a7e26a96ef492306c1be4df18c883ff03ab3b6015f677d7429ec8d';
+
+function assert(condition,message){if(!condition) throw new Error(message);}
+function parseFrozenManifest(text){
   const entries=[];const seen=new Set();
   for(const [index,line] of text.split(/\r?\n/).entries()){
     if(!line) continue;
@@ -27,164 +34,167 @@ function parseFrozenManifest(text) {
   }
   return entries;
 }
-export async function restoreFrozenStage({developmentRoot,releaseRoot,expectedManifestSha256}) {
+// Restore the mutable development stage from the immutable active release after live parity work may drift it.
+export async function restoreFrozenStage({developmentRoot,releaseRoot,expectedManifestSha256}){
   const dev=path.resolve(developmentRoot);const release=path.resolve(releaseRoot);
   const manifestBytes=await readFile(path.join(release,'MANIFEST.SHA256'));
   const manifestSha256=sha256(manifestBytes);
   assert(manifestSha256===expectedManifestSha256,`immutable release manifest drift: ${manifestSha256}`);
   const entries=parseFrozenManifest(manifestBytes.toString('utf8'));
   for(const entry of entries){
-    const source=path.join(release,...entry.path.split('/'));
-    const bytes=await readFile(source);
+    const source=path.join(release,...entry.path.split('/'));const bytes=await readFile(source);
     assert(sha256(bytes)===entry.sha256,`immutable release file drift: ${entry.path}`);
-    const destination=path.join(dev,...entry.path.split('/'));
-    await mkdir(path.dirname(destination),{recursive:true});
-    await writeFile(destination,bytes);
-    assert(sha256(await readFile(destination))===entry.sha256,`development restore verification failed: ${entry.path}`);
+    const destination=path.join(dev,...entry.path.split('/'));await mkdir(path.dirname(destination),{recursive:true});
+    await writeFile(destination,bytes);assert(sha256(await readFile(destination))===entry.sha256,`development restore verification failed: ${entry.path}`);
   }
   await writeFile(path.join(dev,'MANIFEST.SHA256'),manifestBytes);
   assert(sha256(await readFile(path.join(dev,'MANIFEST.SHA256')))===expectedManifestSha256,'development manifest restore verification failed');
   return {status:'restored',file_count:entries.length,manifest_sha256:manifestSha256};
 }
-function parseJsonOutput(text, label) {
-  const trimmed = String(text).trim();
-  const starts = [...trimmed.matchAll(/\{/g)].map(match => match.index);
-  for (const start of starts) {
-    try { return JSON.parse(trimmed.slice(start)); } catch {}
-  }
+function parseJsonOutput(text,label){
+  const trimmed=String(text).trim();const starts=[...trimmed.matchAll(/\{/g)].map(match=>match.index);
+  for(const start of starts){try{return JSON.parse(trimmed.slice(start));}catch{}}
   throw new Error(`${label} did not emit JSON`);
-}function run(command, args, { timeoutMs = 900000, env = process.env } = {}) {
-  return new Promise((resolve, reject) => {
-    const child = spawn(command, args, { cwd:root, shell:false, windowsHide:true, env, stdio:['ignore','pipe','pipe'] });
-    const out = [], err = [];
-    const timer = setTimeout(() => { child.kill(); reject(new Error(`command timeout: ${path.basename(command)}`)); }, timeoutMs);
-    child.stdout.on('data', chunk => out.push(Buffer.from(chunk)));
-    child.stderr.on('data', chunk => err.push(Buffer.from(chunk)));
-    child.on('error', error => { clearTimeout(timer); reject(error); });
-    child.on('exit', code => {
-      clearTimeout(timer);
-      const stdout = Buffer.concat(out).toString('utf8');
-      const stderr = Buffer.concat(err).toString('utf8');
-      if (code !== 0) reject(new Error(`command failed exit=${code}: ${stderr || stdout}`));
-      else resolve({ stdout, stderr, exitCode:code });
+}
+function run(command,args,{timeoutMs=900000,env=process.env,cwd=root}={}){
+  return new Promise((resolve,reject)=>{
+    const child=spawn(command,args,{cwd,shell:false,windowsHide:true,env,stdio:['ignore','pipe','pipe']});
+    const out=[],err=[];const timer=setTimeout(()=>{child.kill();reject(new Error(`command timeout: ${path.basename(command)}`));},timeoutMs);
+    child.stdout.on('data',chunk=>out.push(Buffer.from(chunk)));child.stderr.on('data',chunk=>err.push(Buffer.from(chunk)));
+    child.on('error',error=>{clearTimeout(timer);reject(error);});child.on('exit',code=>{
+      clearTimeout(timer);const stdout=Buffer.concat(out).toString('utf8');const stderr=Buffer.concat(err).toString('utf8');
+      if(code!==0) reject(new Error(`command failed exit=${code}: ${stderr||stdout}`));else resolve({stdout,stderr,exitCode:code});
     });
   });
 }
-async function publicUrl() {
-  const text = (await readFile(path.join(stateRoot, 'bridge', 'mcp-url.txt'), 'utf8')).trim();
-  const url = new URL(text);
-  if (url.protocol !== 'https:') throw new Error('public MCP URL must be HTTPS');
-  return text;
+async function publicUrl(){
+  const value=(await readFile(path.join(stateRoot,'bridge','mcp-url.txt'),'utf8')).trim();const url=new URL(value);
+  if(url.protocol!=='https:') throw new Error('public MCP URL must be HTTPS');return value;
 }
-async function disarmAll() {
-  for (const command of ['disarmautonomous','disarmcoding','disarmprocess','disarmhost']) {
-    await run(ps, ['-NoLogo','-NoProfile','-ExecutionPolicy','Bypass','-File',launcher,command], { timeoutMs:60000 });
-  }
-}async function waitDeferred(statePath, timeoutMs = 180000) {
-  const deadline = Date.now() + timeoutMs;
-  while (Date.now() < deadline) {
-    const state = JSON.parse(await readFile(statePath, 'utf8'));
-    if (state.state === 'completed') return state;
-    if (state.state === 'failed') throw new Error(`deferred ${state.mode} failed: ${state.error}`);
-    await sleep(500);
+async function pointer(){return JSON.parse(await readFile(path.join(stateRoot,'active-release.json'),'utf8'));}
+async function disarmAll(){
+  for(const command of ['disarmautonomous','disarmcoding','disarmprocess','disarmhost']){
+    await run(ps,['-NoLogo','-NoProfile','-ExecutionPolicy','Bypass','-File',launcher,command],{timeoutMs:60000});
   }
+}
+async function waitDeferred(statePath,timeoutMs=180000){
+  const deadline=Date.now()+timeoutMs;
+  while(Date.now()<deadline){const state=JSON.parse(await readFile(statePath,'utf8'));if(state.state==='completed') return state;if(state.state==='failed') throw new Error(`deferred ${state.mode} failed: ${state.error}`);await sleep(500);}
   throw new Error(`deferred operation timeout: ${statePath}`);
 }
-async function scheduleDeferred(mode, value) {
-  const scheduled = parseJsonOutput((await run(process.execPath, [deferred, mode, value], { timeoutMs:30000 })).stdout, `deferred ${mode}`);
-  assert(scheduled.status === 'scheduled', `deferred ${mode} was not scheduled`);
-  assert(scheduled.execution_provider === 'deadbyte_mcp' && scheduled.rdc_operation_count === 0, 'deferred operation provider mismatch');
-  return { scheduled, completed:await waitDeferred(scheduled.state_path) };
+async function scheduleDeferred(mode,value,{bridgeRoot=null,bridgeScriptSha256=null}={}){
+  if((bridgeRoot===null)!==(bridgeScriptSha256===null)) throw new Error('deferred bridge override requires exact root + SHA pair');
+  const args=[deferred,mode,value];
+  if(bridgeRoot!==null) args.push('--bridge-root',bridgeRoot,'--bridge-script-sha256',bridgeScriptSha256);
+  const scheduled=parseJsonOutput((await run(process.execPath,args,{timeoutMs:30000})).stdout,`deferred ${mode}`);
+  assert(scheduled.status==='scheduled',`deferred ${mode} was not scheduled`);
+  assert(scheduled.execution_provider==='deadbyte_mcp'&&scheduled.rdc_operation_count===0,'deferred operation provider mismatch');
+  return {scheduled,completed:await waitDeferred(scheduled.state_path)};
 }
-async function publicDisarmed(url) {
-  const script = path.join(root, 'src', 'remote-mcp-r24-disarmed-smoke-client.mjs');
-  const result = parseJsonOutput((await run(process.execPath, [script, url], { timeoutMs:90000 })).stdout, 'public disarmed gate');
-  assert(result.status === 'passed' && result.tool_count === 68, 'public disarmed gate failed exact catalog');
-  assert(result.coding_armed === false && result.autonomous_armed === false, 'public authority remained armed');
+async function publicR35Disarmed(url){
+  const script=path.join(root,'src','remote-mcp-r24-disarmed-smoke-client.mjs');
+  const result=parseJsonOutput((await run(process.execPath,[script,url],{timeoutMs:90000})).stdout,'R35 predecessor disarmed gate');
+  assert(result.status==='passed'&&result.tool_count===73,'R35 predecessor public catalog mismatch');
+  assert(result.coding_armed===false&&result.autonomous_armed===false,'R35 predecessor authority remained armed');
   return result;
-}export function validateParityEvidence(value) {
-  assert(value?.schema === 'deadbyte.r33-parity.v1', 'parity schema mismatch');
-  assert(value.status === 'passed', 'parity status is not passed');
-  assert(value.rdc_operation_count === 0 && value.execution_provider === 'deadbyte_mcp', 'parity used non-DEADBYTE execution');
-  assert(value.public_full?.status === 'passed' && value.public_full?.tools?.length === 68, 'public full gate missing exact 68');
-  assert(value.machine_control?.status === 'passed' && value.machine_control?.tool_count === 68, 'machine control parity missing');
-  assert(value.autonomous?.status === 'passed' && value.autonomous?.tool_count === 68, 'autonomous parity missing');
-  assert(value.rollback?.state === 'completed' && value.restore?.state === 'completed', 'rollback/restore not completed');
-  assert(value.predecessor_disarmed?.tool_count === 68 && value.successor_disarmed?.tool_count === 68, 'disarmed public gate missing');
-  for (const key of ['tree_read','precondition_mutation','search','owned_process','observation','coding_loop','autonomy','interrupted_recovery','evidence_verification']) {
-    assert(value.requirements?.[key] === true, `parity requirement not proven: ${key}`);
-  }
+}
+async function mutableCore(pointerValue){
+  const policy=JSON.parse(await readFile(path.join(pointerValue.generation_root,'coding-policy.json'),'utf8'));
+  const raw=policy?.roots?.core?.path??policy?.roots?.core?.real_path;
+  assert(typeof raw==='string'&&raw,'R36 generation missing coding core root');
+  const core=path.resolve(raw);const release=path.resolve(pointerValue.release_root);
+  assert(core.toLowerCase()!==release.toLowerCase(),'R36 coding core must not point at immutable active release slot');
+  return core;
+}
+
+export function validateParityEvidence(value){
+  assert(value?.schema==='deadbyte.r36-parity.v1','R36 parity schema mismatch');
+  assert(value.status==='passed','R36 parity status is not passed');
+  assert(value.rdc_operation_count===0&&value.execution_provider==='deadbyte_mcp','R36 parity used non-DEADBYTE execution');
+  assert(value.candidate?.version==='0.10.0'&&/^[0-9a-f]{64}$/.test(value.candidate?.manifest_sha256??''),'R36 candidate identity missing');
+  assert(value.local_full?.status==='passed'&&value.local_full?.tool_count===76&&value.local_full?.strict_output_schemas===true,'R36 local full 76-tool proof missing');
+  assert(value.public_compact?.status==='passed'&&value.public_compact?.tool_count<=42&&value.public_compact?.capability_closure===true&&value.public_compact?.gateway_count===5,'R36 public compact closure missing');
+  assert(value.autonomous?.status==='passed'&&value.autonomous?.signed_release_verified===true,'R36 autonomous live proof missing');
+  assert(value.before_rollback_disarmed?.status==='passed'&&value.before_rollback_disarmed?.capability_closure===true&&value.before_rollback_disarmed?.coding_armed===false&&value.before_rollback_disarmed?.autonomous_armed===false,'R36 pre-rollback disarm proof missing');
+  assert(value.rollback?.state==='completed'&&value.restore?.state==='completed','R36 rollback/restore not completed');
+  assert(value.stage_restore?.status==='restored'&&value.stage_restore?.manifest_sha256===value.candidate.manifest_sha256,'R36 stage restore proof missing');
+  assert(value.predecessor?.release_id===R35_PREDECESSOR_RELEASE_ID&&value.predecessor?.manifest_sha256===R35_PREDECESSOR_MANIFEST&&value.predecessor?.version==='0.9.0','R35 exact predecessor identity mismatch');
+  assert(value.predecessor_disarmed?.status==='passed'&&value.predecessor_disarmed?.tool_count===73,'R35 predecessor public proof missing');
+  assert(value.successor?.version==='0.10.0'&&value.successor?.manifest_sha256===value.candidate.manifest_sha256,'R36 exact successor restore identity mismatch');
+  assert(value.successor_disarmed?.status==='passed'&&value.successor_disarmed?.capability_closure===true&&value.successor_disarmed?.coding_armed===false&&value.successor_disarmed?.autonomous_armed===false,'R36 successor disarmed proof missing');
+  assert(value.immutable_slot?.protected===true&&value.immutable_slot?.development_root!==value.immutable_slot?.release_root,'R36 immutable-slot separation missing');
+  for(const key of ['tree_read','precondition_mutation','search','owned_process','observation','coding_loop','autonomy','interrupted_recovery','evidence_verification','compact_closure','full_surface']) assert(value.requirements?.[key]===true,`R36 parity requirement not proven: ${key}`);
   return true;
 }
 
-export async function runReleaseParity(activationReceiptPath) {
-  const pointer = JSON.parse(await readFile(path.join(stateRoot, 'active-release.json'), 'utf8'));
-  const candidateManifest = sha256(await readFile(path.join(root, 'MANIFEST.SHA256')));
-  assert(pointer.manifest_sha256 === candidateManifest, 'active release is not the canonical candidate');
-  const url = await publicUrl();
-  const publicFullScript = path.join(root, 'src', 'remote-mcp-smoke-client.mjs');
-  const machineScript = path.join(root, 'src', 'remote-mcp-r33-parity-client.mjs');
-  const autonomousScript = path.join(root, 'src', 'remote-mcp-autonomous-smoke-client.mjs');  let publicFull,machineControl,autonomous,publicGatesPassed=false;
-  try {
-    publicFull = parseJsonOutput((await run(process.execPath, [publicFullScript, url, 'full'], { timeoutMs:180000 })).stdout, 'public full gate');
-    machineControl = parseJsonOutput((await run(process.execPath, [machineScript, url], { timeoutMs:600000 })).stdout, 'R33 machine parity');
-    autonomous = parseJsonOutput((await run(process.execPath, [autonomousScript, url], { timeoutMs:900000 })).stdout, 'R33 autonomous parity');
-    assert(publicFull.status === 'passed' && publicFull.tools?.length === 68, 'public full gate did not expose exact 68');
-    assert(machineControl.status === 'passed' && machineControl.tool_count === 68, 'machine-control parity failed');
-    assert(autonomous.status === 'passed' && autonomous.tool_count === 68, 'autonomous parity failed');
-    publicGatesPassed=true;
-  } finally {
-    let restoreError=null;
-    try {
-      await restoreFrozenStage({developmentRoot:root,releaseRoot:pointer.release_root,expectedManifestSha256:candidateManifest});
-    } catch(error) { restoreError=error; }
-    if(!publicGatesPassed||restoreError) await disarmAll().catch(()=>{});
-    if(restoreError) throw restoreError;
-  }
+export async function runReleaseParity(activationReceiptPath){
+  const active=await pointer();const candidateManifest=sha256(await readFile(path.join(root,'MANIFEST.SHA256')));
+  assert(active.version==='0.10.0','R36 parity requires active 0.10.0 candidate');
+  assert(active.manifest_sha256===candidateManifest,'active release is not canonical R36 candidate');
+  const activeConfig=await loadPowerShellDataFile(active.config_path);
+  const successorBridgeRootRaw=activeConfig?.Bridge?.WorkingDirectory;
+  const successorBridgeConfiguredSha=activeConfig?.Bridge?.ScriptSha256;
+  assert(typeof successorBridgeRootRaw==='string'&&path.isAbsolute(successorBridgeRootRaw),'R36 active bridge root missing');
+  assert(typeof successorBridgeConfiguredSha==='string'&&/^[0-9a-f]{64}$/.test(successorBridgeConfiguredSha),'R36 active bridge SHA missing');
+  const successorBridgeRoot=await realpath(path.resolve(successorBridgeRootRaw));
+  const successorBridgeActualSha=sha256(await readFile(path.join(successorBridgeRoot,'src','bridge.mjs')));
+  assert(successorBridgeActualSha===successorBridgeConfiguredSha,'R36 active bridge bytes do not match generation pin');
+  const successorBridge={root:successorBridgeRoot,sha256:successorBridgeActualSha};
+  const developmentRoot=await mutableCore(active);
+  const localFull=await probeR36FullSurface({packageRoot:active.release_root,generationRoot:active.generation_root,stateRoot});
+  const url=await publicUrl();
+  let publicCompact,autonomous;
+  try{
+    publicCompact=await runR36CompactParity(url);
+    autonomous=parseJsonOutput((await run(process.execPath,[path.join(root,'src','remote-mcp-autonomous-smoke-client.mjs'),url],{timeoutMs:900000})).stdout,'R36 autonomous compact parity');
+    assert(autonomous.status==='passed'&&autonomous.signed_release_verified===true,'R36 autonomous compact parity failed');
+  }catch(error){await disarmAll().catch(()=>{});throw error;}
 
   await disarmAll();
-  const beforeRollback = await publicDisarmed(url);
-  const rollbackPair = await scheduleDeferred('rollback', path.resolve(activationReceiptPath));
-  const predecessorDisarmed = await publicDisarmed(url);
-  const restorePair = await scheduleDeferred('activate', candidateManifest);
-  const successorDisarmed = await publicDisarmed(url);
-  const finalPointer = JSON.parse(await readFile(path.join(stateRoot, 'active-release.json'), 'utf8'));
-  assert(finalPointer.manifest_sha256 === candidateManifest, 'restore did not return canonical candidate');
+  const beforeRollback=await probeR36CompactDisarmed(url);
+  const rollbackPair=await scheduleDeferred('rollback',path.resolve(activationReceiptPath));
+  const predecessor=await pointer();
+  assert(predecessor.release_id===R35_PREDECESSOR_RELEASE_ID&&predecessor.manifest_sha256===R35_PREDECESSOR_MANIFEST&&predecessor.version==='0.9.0','rollback did not reach exact sealed R35 predecessor');
+  const predecessorDisarmed=await publicR35Disarmed(url);
+  const stageRestore=await restoreFrozenStage({developmentRoot,releaseRoot:active.release_root,expectedManifestSha256:candidateManifest});
+  const restorePair=await scheduleDeferred('activate',candidateManifest,{bridgeRoot:successorBridge.root,bridgeScriptSha256:successorBridge.sha256});
+  const successor=await pointer();
+  assert(successor.version==='0.10.0'&&successor.manifest_sha256===candidateManifest,'restore did not return exact R36 candidate');
+  const successorDisarmed=await probeR36CompactDisarmed(url);
+  await disarmAll();
 
-  const evidence = {
-    schema:'deadbyte.r33-parity.v1', status:'passed', completed_at_utc:new Date().toISOString(),
-    release_id:finalPointer.release_id, manifest_sha256:candidateManifest,
-    execution_provider:'deadbyte_mcp', rdc_operation_count:0,
-    public_full:publicFull, machine_control:machineControl, autonomous,
-    before_rollback_disarmed:beforeRollback,
-    rollback:{...rollbackPair.completed, scheduled_operation_id:rollbackPair.scheduled.operation_id},
-    predecessor_disarmed:predecessorDisarmed,
-    restore:{...restorePair.completed, scheduled_operation_id:restorePair.scheduled.operation_id},
-    successor_disarmed:successorDisarmed,    requirements:{
-      tree_read:machineControl.bounded_read_verified === true && machineControl.tree_entries >= 0,
-      precondition_mutation:machineControl.stale_precondition_denied === true && machineControl.machine_fs_receipts_verified >= 3,
-      search:machineControl.search_result_count >= 1,
-      owned_process:typeof machineControl.process_session_id === 'string' && machineControl.process_output_bytes > 0,
-      observation:machineControl.observation_receipts_verified >= 3,
-      coding_loop:machineControl.coding_receipts_verified === 2,
-      autonomy:autonomous.signed_release_verified === true && autonomous.observed_failure_before_replan === true,
-      interrupted_recovery:rollbackPair.completed.state === 'completed' && restorePair.completed.state === 'completed',
-      evidence_verification:machineControl.machine_fs_receipts_verified >= 3 && autonomous.signed_release_verified === true
+  const evidence={
+    schema:'deadbyte.r36-parity.v1',status:'passed',completed_at_utc:new Date().toISOString(),execution_provider:'deadbyte_mcp',rdc_operation_count:0,
+    candidate:{release_id:active.release_id,version:active.version,manifest_sha256:candidateManifest},
+    immutable_slot:{protected:true,release_root:path.resolve(active.release_root),development_root:developmentRoot},
+    local_full:localFull,public_compact:publicCompact,autonomous,before_rollback_disarmed:beforeRollback,
+    rollback:{...rollbackPair.completed,scheduled_operation_id:rollbackPair.scheduled.operation_id},
+    predecessor:{release_id:predecessor.release_id,version:predecessor.version,manifest_sha256:predecessor.manifest_sha256},predecessor_disarmed:predecessorDisarmed,
+    stage_restore:stageRestore,
+    restore:{...restorePair.completed,scheduled_operation_id:restorePair.scheduled.operation_id},
+    successor:{release_id:successor.release_id,version:successor.version,manifest_sha256:successor.manifest_sha256},successor_disarmed:successorDisarmed,
+    requirements:{
+      tree_read:publicCompact.tree_entries>=0&&publicCompact.coding_stat_verified===true,
+      precondition_mutation:publicCompact.machine_fs_receipts_verified>=3,
+      search:publicCompact.coding_search_result_count>=1&&publicCompact.observation_search_result_count>=1,
+      owned_process:typeof publicCompact.process_session_id==='string'&&publicCompact.process_output_bytes>0,
+      observation:publicCompact.observation_receipts_verified>=2,
+      coding_loop:publicCompact.coding_receipts_verified===2,
+      autonomy:autonomous.signed_release_verified===true&&autonomous.observed_failure_before_replan===true,
+      interrupted_recovery:rollbackPair.completed.state==='completed'&&restorePair.completed.state==='completed',
+      evidence_verification:publicCompact.machine_fs_receipts_verified>=3&&autonomous.signed_release_verified===true,
+      compact_closure:publicCompact.capability_closure===true&&successorDisarmed.capability_closure===true,
+      full_surface:localFull.tool_count===76&&localFull.strict_output_schemas===true
     }
   };
   validateParityEvidence(evidence);
-  const evidenceDir = path.join(stateRoot, 'evidence', 'release');
-  await mkdir(evidenceDir, { recursive:true });
-  const evidencePath = path.join(evidenceDir, `r33-parity-${candidateManifest.slice(0,16)}.json`);
-  const bytes = Buffer.from(`${JSON.stringify(evidence, null, 2)}\n`, 'utf8');
-  await writeFile(evidencePath, bytes);
-  return { evidence, evidence_path:evidencePath, evidence_sha256:sha256(bytes) };
+  const evidenceDir=path.join(stateRoot,'evidence','release');await mkdir(evidenceDir,{recursive:true});
+  const evidencePath=path.join(evidenceDir,`r36-parity-${candidateManifest.slice(0,16)}.json`);
+  const bytes=Buffer.from(`${JSON.stringify(evidence,null,2)}\n`,'utf8');await writeFile(evidencePath,bytes);
+  return {evidence,evidence_path:evidencePath,evidence_sha256:sha256(bytes)};
 }
 
-if (process.argv[1] && path.resolve(process.argv[1]) === fileURLToPath(import.meta.url)) {
-  const receipt = process.argv[2];
-  if (!receipt) throw new Error('usage: node scripts/release-parity.mjs <activation-receipt.json>');
-  runReleaseParity(receipt)
-    .then(result => console.log(JSON.stringify({ status:'passed', ...result }, null, 2)))
-    .catch(error => { console.error(error instanceof Error ? error.stack : String(error)); process.exitCode = 1; });
-}
+if(process.argv[1]&&path.resolve(process.argv[1])===fileURLToPath(import.meta.url)){
+  const receipt=process.argv[2];if(!receipt) throw new Error('usage: node scripts/release-parity.mjs <activation-receipt.json>');
+  runReleaseParity(receipt).then(result=>console.log(JSON.stringify({status:'passed',...result},null,2))).catch(error=>{console.error(error instanceof Error?error.stack:String(error));process.exitCode=1;});
+}

package/scripts/semantic-preflight.ps1

@@ -0,0 +1,73 @@
+param(
+  [Parameter(Mandatory=$true)][string]$ConfigPath,
+  [Parameter(Mandatory=$true)][ValidatePattern('^[0-9a-fA-F]{64}$')][string]$ConfigSha256,
+  [string[]]$RequiredIds=@('pyright','rust-analyzer','clangd'),
+  [string]$OutputPath=''
+)
+$ErrorActionPreference='Stop'
+function Hash-Lower([string]$Path){
+  if(-not (Test-Path -LiteralPath $Path -PathType Leaf)){ throw "missing file: $Path" }
+  return (Get-FileHash -LiteralPath $Path -Algorithm SHA256).Hash.ToLowerInvariant()
+}
+$configFull=[IO.Path]::GetFullPath($ConfigPath)
+$expected=$ConfigSha256.ToLowerInvariant()
+$observed=Hash-Lower $configFull
+if($observed -ne $expected){ throw "semantic config SHA-256 mismatch: expected $expected found $observed" }
+$config=Get-Content -LiteralPath $configFull -Raw -Encoding UTF8 | ConvertFrom-Json
+if([string]$config.schema -ne 'deadbyte.semantic-lsp-config.v1'){ throw 'semantic config schema mismatch' }
+$servers=@($config.servers)
+$seen=@{}
+$records=@()
+foreach($server in $servers){
+  $id=[string]$server.id
+  if([string]::IsNullOrWhiteSpace($id)){ throw 'semantic server id missing' }
+  if($seen.ContainsKey($id)){ throw "duplicate semantic server id: $id" }
+  $seen[$id]=$true
+  $exe=[string]$server.executable_path
+  $exeExpected=([string]$server.executable_sha256).ToLowerInvariant()
+  if($exeExpected -notmatch '^[0-9a-f]{64}$'){ throw "semantic executable SHA invalid for $id" }
+  $exeObserved=Hash-Lower $exe
+  if($exeObserved -ne $exeExpected){ throw "semantic executable SHA-256 mismatch for ${id}: expected $exeExpected found $exeObserved" }
+  $deps=@()
+  foreach($dep in @($server.dependencies)){
+    $depPath=[string]$dep.path
+    $depExpected=([string]$dep.expected_sha256).ToLowerInvariant()
+    if($depExpected -notmatch '^[0-9a-f]{64}$'){ throw "semantic dependency SHA invalid for $id" }
+    $depObserved=Hash-Lower $depPath
+    if($depObserved -ne $depExpected){ throw "semantic dependency SHA-256 mismatch for ${id}: expected $depExpected found $depObserved" }
+    $deps += [ordered]@{path=$depPath;sha256=$depObserved}
+  }
+  $settle=0
+  if($null -ne $server.startup_settle_ms){ $settle=[int]$server.startup_settle_ms }
+  $records += [ordered]@{
+    id=$id
+    language_id=[string]$server.language_id
+    required=[bool]$server.required
+    executable_path=$exe
+    executable_sha256=$exeObserved
+    dependencies=$deps
+    startup_settle_ms=$settle
+    status='pinned'
+  }
+}
+foreach($required in $RequiredIds){
+  if(-not $seen.ContainsKey($required)){ throw "missing required semantic server: $required" }
+}
+$payload=[ordered]@{
+  schema='deadbyte.r35-semantic-preflight.v1'
+  status='passed'
+  config_path=$configFull
+  config_sha256=$observed
+  builtin=@([ordered]@{id='typescript';language_id='typescript';status='builtin';required=$true})
+  required_ids=@('typescript') + @($RequiredIds)
+  servers=$records
+}
+$json=$payload | ConvertTo-Json -Depth 12
+if($OutputPath){
+  $out=[IO.Path]::GetFullPath($OutputPath)
+  $dir=Split-Path -Parent $out
+  if($dir -and -not(Test-Path -LiteralPath $dir)){ New-Item -ItemType Directory -Force -Path $dir | Out-Null }
+  [IO.File]::WriteAllText($out,$json,[Text.UTF8Encoding]::new($false))
+}
+Write-Output $json
+Write-Host ("R35_SEMANTIC_PREFLIGHT_PASS config={0} required={1}" -f $observed,(@('typescript')+@($RequiredIds) -join ','))

package/scripts/tool-surface-snapshot.mjs

@@ -0,0 +1,73 @@
+import { readFile, writeFile } from 'node:fs/promises';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { Client, StreamableHTTPClientTransport } from '@modelcontextprotocol/client';
+import { StdioClientTransport, getDefaultEnvironment } from '@modelcontextprotocol/client/stdio';
+import { snapshotToolsListResult } from '../src/tool-surface-ledger.mjs';
+
+function parseArgs(argv){
+  const out={input:'',endpointFile:'',output:''};
+  for(let i=0;i<argv.length;i+=1){
+    const arg=argv[i];
+    if(arg==='--input') out.input=argv[++i]??'';
+    else if(arg==='--endpoint-file') out.endpointFile=argv[++i]??'';
+    else if(arg==='--output') out.output=argv[++i]??'';
+    else throw new Error(`unknown argument: ${arg}`);
+  }
+  if(Boolean(out.input)===Boolean(out.endpointFile)) throw new Error('use exactly one of --input or --endpoint-file');
+  if(!out.input&&!out.endpointFile) throw new Error('missing snapshot source');
+  return out;
+}
+
+async function listFromEndpointFile(endpointFile){
+  const endpointText=(await readFile(path.resolve(endpointFile),'utf8')).trim();
+  const endpoint=new URL(endpointText);
+  if(endpoint.protocol!=='https:') throw new Error('tool surface endpoint must use HTTPS');
+  const client=new Client({name:'deadbyte-r35-tool-surface',version:'0.9.0'},{versionNegotiation:{mode:{pin:'2026-07-28'}}});
+  const transport=new StreamableHTTPClientTransport(endpoint);
+  try{
+    await client.connect(transport);
+    return await client.listTools();
+  } finally {
+    await client.close().catch(()=>{});
+  }
+}
+
+export async function snapshotStdioServer({command,args=[],cwd=process.cwd(),env={}}){
+  if(typeof command!=='string'||command.length<1) throw new Error('stdio snapshot command required');
+  if(!Array.isArray(args)||args.some(arg=>typeof arg!=='string')) throw new Error('stdio snapshot args must be strings');
+  const client=new Client({name:'deadbyte-r35-tool-surface-stdio',version:'0.9.0'},{versionNegotiation:{mode:{pin:'2026-07-28'}}});
+  const transport=new StdioClientTransport({
+    command,
+    args,
+    cwd,
+    env:{...getDefaultEnvironment(),...env},
+    stderr:'pipe'
+  });
+  try{
+    await client.connect(transport);
+    return snapshotToolsListResult(await client.listTools());
+  } finally {
+    await client.close().catch(()=>{});
+  }
+}
+
+export async function snapshotSource({input='',endpointFile=''}){
+  const listed=input
+    ? JSON.parse(await readFile(path.resolve(input),'utf8'))
+    : await listFromEndpointFile(endpointFile);
+  return snapshotToolsListResult(listed);
+}
+
+export async function main(argv=process.argv.slice(2)){
+  const args=parseArgs(argv);
+  const snapshot=await snapshotSource(args);
+  const text=`${JSON.stringify(snapshot,null,2)}\n`;
+  if(args.output) await writeFile(path.resolve(args.output),text,{encoding:'utf8',flag:'w'});
+  else process.stdout.write(text);
+  return snapshot;
+}
+
+if(process.argv[1]&&path.resolve(process.argv[1])===fileURLToPath(import.meta.url)){
+  main().catch(error=>{console.error(error instanceof Error?error.stack:String(error));process.exitCode=1;});
+}

package/scripts/windows-gate-evidence.mjs

@@ -7,7 +7,7 @@ import { fileURLToPath } from 'node:url';
 const here=path.dirname(fileURLToPath(import.meta.url));
 const root=path.resolve(here,'..');
 const sha256=bytes=>createHash('sha256').update(bytes).digest('hex');
-const marker='DEADBYTE V0.8.10 / R33 WINDOWS BATCH GATE: PASS';
+const marker='DEADBYTE V0.10.0 / R36 WINDOWS BATCH GATE: PASS';
 function insist(ok,message){if(!ok) throw new Error(message);}
 
 export async function writeWindowsGateEvidence({
@@ -19,17 +19,17 @@ export async function writeWindowsGateEvidence({
   const manifestBytes=await readFile(path.join(candidate,'MANIFEST.SHA256'));
   const manifestSha256=sha256(manifestBytes);
   const pkg=JSON.parse(await readFile(path.join(candidate,'package.json'),'utf8'));
-  insist(pkg.version==='0.8.10',`Windows gate evidence requires V0.8.10, found ${pkg.version}`);
+  insist(pkg.version==='0.10.0',`Windows gate evidence requires V0.10.0, found ${pkg.version}`);
   const completed=clock();
   insist(completed instanceof Date&&!Number.isNaN(completed.getTime()),'Windows gate evidence clock invalid');
   const evidence={
-    schema:'deadbyte.r33-windows-gate.v1',status:'passed',exit_code:0,version:'0.8.10',
+    schema:'deadbyte.r36-windows-gate.v1',status:'passed',exit_code:0,version:'0.10.0',
     marker,completed_at_utc:completed.toISOString(),manifest_sha256:manifestSha256
   };
   const bytes=Buffer.from(`${JSON.stringify(evidence,null,2)}\n`,'utf8');
   const dir=path.join(path.resolve(stateRoot),'evidence','release');
   await mkdir(dir,{recursive:true});
-  const file=path.join(dir,`r33-windows-gate-${manifestSha256.slice(0,16)}.json`);
+  const file=path.join(dir,`r36-windows-gate-${manifestSha256.slice(0,16)}.json`);
   try{
     const handle=await open(file,'wx',0o600);
     try{await handle.writeFile(bytes);await handle.sync();}finally{await handle.close();}
@@ -39,7 +39,7 @@ export async function writeWindowsGateEvidence({
     const existingBytes=await readFile(file);
     const existing=JSON.parse(existingBytes.toString('utf8'));
     insist(existing.schema===evidence.schema&&existing.status==='passed'&&existing.exit_code===0,'existing Windows gate evidence invalid');
-    insist(existing.version==='0.8.10'&&existing.marker===marker&&existing.manifest_sha256===manifestSha256,'existing Windows gate evidence binding mismatch');
+    insist(existing.version==='0.10.0'&&existing.marker===marker&&existing.manifest_sha256===manifestSha256,'existing Windows gate evidence binding mismatch');
     return {status:'existing',path:file,sha256:sha256(existingBytes),manifest_sha256:manifestSha256};
   }
 }

package/src/audit-verify.mjs

@@ -43,6 +43,8 @@ export async function verifyAuditChain({stateRoot,verifyKeyPath,requireComplete=
 
     let seq=0,head=ZERO,previousCheckpoint=ZERO,requestCount=0,resultCount=0,checkpointCount=0;
     const open=new Map();
+    const usage=new Map();
+    const usageFor=tool=>{ if(!usage.has(tool)) usage.set(tool,{tool,requests:0,results:0,errors:0}); return usage.get(tool); };
     for(let pos=0;pos<segmentIndexes.length;pos++){
       const index=segmentIndexes[pos],fileName=segmentName(index),file=path.join(auditDir,fileName),bytes=await readFile(file),rows=parseSegment(bytes,fileName);
       const firstSeq=seq+1,firstPrev=head;
@@ -59,11 +61,12 @@ export async function verifyAuditChain({stateRoot,verifyKeyPath,requireComplete=
         if(event.event_type==='tool.request'){
           if(open.has(event.request_id)) throw new Error(`audit duplicate request id at seq ${event.seq}`);
           if(event.args===undefined) throw new Error(`audit request args missing at seq ${event.seq}`);
-          open.set(event.request_id,{tool:event.tool,seq:event.seq,segment:index});requestCount++;
+          open.set(event.request_id,{tool:event.tool,seq:event.seq,segment:index});requestCount++;usageFor(event.tool).requests++;
         }else if(event.event_type==='tool.result'){
           const pending=open.get(event.request_id);if(!pending) throw new Error(`audit orphan result at seq ${event.seq}`);
           if(pending.tool!==event.tool) throw new Error(`audit result tool mismatch at seq ${event.seq}`);
           requireObject(event.outcome,`audit outcome at seq ${event.seq}`);
+          const stats=usageFor(event.tool);stats.results++;if(event.outcome.is_error===true)stats.errors++;
           open.delete(event.request_id);resultCount++;
         }else throw new Error(`audit event type invalid at seq ${event.seq}`);
         seq=event.seq;head=event.event_sha256;
@@ -88,6 +91,7 @@ export async function verifyAuditChain({stateRoot,verifyKeyPath,requireComplete=
       }
     }
     if(requireComplete&&open.size>0) throw new Error(`audit has ${open.size} request(s) without result`);
-    return {ok:true,event_count:seq,request_count:requestCount,result_count:resultCount,open_request_count:open.size,segment_count:segmentIndexes.length,checkpoint_count:checkpointCount,last_seq:seq,head_sha256:head,last_checkpoint_sha256:previousCheckpoint,key_id:key.keyId,complete:open.size===0};
+    const toolUsage=[...usage.values()].sort((a,b)=>a.tool.localeCompare(b.tool,'en'));
+    return {ok:true,event_count:seq,request_count:requestCount,result_count:resultCount,open_request_count:open.size,segment_count:segmentIndexes.length,checkpoint_count:checkpointCount,last_seq:seq,head_sha256:head,last_checkpoint_sha256:previousCheckpoint,key_id:key.keyId,complete:open.size===0,tool_usage:toolUsage};
   }catch(error){return {ok:false,reason:String(error?.message||error)};}
 }