deadbyte-mcp 0.14.0 → 0.15.1

package/test/full-max-catalog-r45.test.mjs

@@ -0,0 +1,91 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { createHash } from 'node:crypto';
+import { access, mkdir, readFile, writeFile } from 'node:fs/promises';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { Client } from '@modelcontextprotocol/client';
+import { StdioClientTransport, getDefaultEnvironment } from '@modelcontextprotocol/client/stdio';
+import { createR34Fixture } from './helpers/autonomous-r34-fixture.mjs';
+
+const here=path.dirname(fileURLToPath(import.meta.url));
+const repoRoot=path.resolve(here,'..');
+const serverPath=path.join(repoRoot,'src','mcp-server.mjs');
+const desktopPolicyPath=path.join(repoRoot,'controller','deadbyte-desktop-policy.json');
+const sha=bytes=>createHash('sha256').update(bytes).digest('hex');
+const absent=async p=>{try{await access(p);return false;}catch(e){if(e?.code==='ENOENT')return true;throw e;}};
+
+test('R45 real max-runtime full stdio catalog is exactly 82 with skill and four Desktop primitives while authority remains disarmed',async()=>{
+  const f=await createR34Fixture({authority:'disarmed'});
+  const processPolicyPath=path.join(f.root,'process-policy.json');
+  const processGrant=path.join(f.root,'process-grant.json');
+  const processState=path.join(f.root,'process-state');
+  const hostPolicyPath=path.join(f.root,'host-policy.json');
+  const hostArm=path.join(f.root,'host-arm.json');
+  const nodeSha=sha(await readFile(process.execPath));
+  await mkdir(processState,{recursive:true});
+  await writeFile(processPolicyPath,JSON.stringify({
+    schema:'deadbyte.process-policy.v1',enabled:true,grant_file:processGrant,state_dir:processState,
+    native_host:{path:process.execPath,sha256:nodeSha},
+    roots:{core:{path:f.project,deny_paths:[]}},
+    profiles:{node:{executable:process.execPath,executable_sha256:nodeSha,root_ids:['core'],
+      prefix_args:[],transport:'pipe',max_args:8,max_arg_bytes:1024,max_sessions:2,
+      max_input_bytes:65536,max_retained_output_bytes:262144,env_allow:['PATH','TEMP','TMP'],
+      input_actions:{ping:'PING\r\n'}}}
+  },null,2));
+  await writeFile(hostPolicyPath,JSON.stringify({
+    schema:'deadbyte.host-policy.v1',enabled:true,arm_file:hostArm,max_read_bytes:262144,max_write_bytes:1048576,
+    roots:{core:{path:f.project,read:true,write:true,exec:true}},
+    commands:{node_script:{kind:'script',executable:process.execPath,executable_sha256:nodeSha,
+      root_ids:['core'],prefix_args:[],extensions:['.mjs'],timeout_ms:5000,max_output_bytes:65536}}
+  },null,2));
+
+  const desktopRaw=JSON.parse(await readFile(desktopPolicyPath,'utf8'));
+  const desktopGrant=desktopRaw.grant_file;
+  const codingLease=f.codingPolicy.lease_file;
+  const autonomousLease=f.policy.lease_file;
+  for(const q of [processGrant,hostArm,desktopGrant,codingLease,autonomousLease]) assert.equal(await absent(q),true,'authority unexpectedly armed before start: '+q);
+
+  const client=new Client({name:'deadbyte-r45-full-catalog',version:'0.15.1'},{versionNegotiation:{mode:{pin:'2026-07-28'}}});
+  const env={
+    ...getDefaultEnvironment(),
+    DEADBYTE_CAPABILITY_PROFILE:'full',
+    DEADBYTE_AUDIT_RUNTIME:'0',
+    DEADBYTE_STATE_ROOT:path.join(f.root,'state'),
+    DEADBYTE_WORKSPACE_ROOT:f.root,
+    DEADBYTE_SIGNING_KEY:f.keys.privateKeyPath,
+    DEADBYTE_VERIFY_KEY:f.keys.publicKeyPath,
+    DEADBYTE_PRIVILEGED_POLICY:hostPolicyPath,
+    DEADBYTE_MACHINE_RUNTIME:'1',
+    DEADBYTE_AGENT_RUNTIME:'1',
+    DEADBYTE_PROCESS_RUNTIME:'1',
+    DEADBYTE_PROCESS_POLICY:processPolicyPath,
+    DEADBYTE_CODING_RUNTIME:'1',
+    DEADBYTE_CODING_POLICY:path.join(f.root,'coding-policy.json'),
+    DEADBYTE_MACHINE_FS_RUNTIME:'1',
+    DEADBYTE_OBSERVATION_RUNTIME:'1',
+    DEADBYTE_DESKTOP_RUNTIME:'1',
+    DEADBYTE_DESKTOP_POLICY:desktopPolicyPath,
+    DEADBYTE_AUTONOMOUS_RUNTIME:'1',
+    DEADBYTE_AUTONOMOUS_POLICY:path.join(f.root,'autonomous-policy.json'),
+    DEADBYTE_AUTONOMOUS_SUPERVISOR_MODE:'external'
+  };
+  const transport=new StdioClientTransport({command:process.execPath,args:[serverPath],cwd:repoRoot,env,stderr:'pipe'});
+  try{
+    await client.connect(transport);
+    const listed=await client.listTools();
+    const names=listed.tools.map(t=>t.name).sort();
+    const {R45_EXPECTED_TOOLS}=await import('../src/remote-mcp-r45-parity-client.mjs');
+    assert.equal(names.length,82,'expected exact full R45 catalog 82, got '+names.length+': '+names.join(','));
+    assert.deepEqual(names,R45_EXPECTED_TOOLS);
+    for(const name of ['machine_hardware_query','desktop_status','desktop_observe','desktop_target','desktop_action',
+      'host_file_read','host_file_write','host_exec','skill_catalog']) assert.ok(names.includes(name),'missing '+name);
+    for(const tool of listed.tools) assert.equal(tool.outputSchema?.additionalProperties,false,'non-strict output '+tool.name);
+    const catalog_sha256=sha(Buffer.from(JSON.stringify(names),'utf8'));
+    console.log(JSON.stringify({tool_count:names.length,catalog_sha256,desktop_tools:4,skill:true,authority:'DISARMED'}));
+  } finally {
+    await client.close().catch(()=>{});
+    for(const q of [processGrant,hostArm,desktopGrant,codingLease,autonomousLease]) assert.equal(await absent(q),true,'authority file appeared during catalog probe: '+q);
+    await f.cleanup();
+  }
+});

package/test/hardware-observation-r45.test.mjs

@@ -0,0 +1,44 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { mkdtemp, mkdir, writeFile } from 'node:fs/promises';
+import os from 'node:os';
+import path from 'node:path';
+import { generateTrustKeypair } from '../src/trust.mjs';
+import { loadCodingPolicy } from '../src/coding-plane.mjs';
+import { createObservationRuntime, verifyObservationReceiptFile } from '../src/observation-runtime.mjs';
+
+async function fixture(){
+  const root=await mkdtemp(path.join(os.tmpdir(),'deadbyte-hardware-query-r45-'));
+  const project=path.join(root,'project');await mkdir(project);
+  const policyPath=path.join(root,'coding-policy.json');
+  await writeFile(policyPath,JSON.stringify({schema:'deadbyte.coding-policy.v1',enabled:true,
+    lease_file:path.join(root,'coding-grant.json'),evidence_dir:path.join(root,'evidence'),
+    roots:{project:{path:project,read:true,write:false,exec:false,deny_paths:[]}},commands:{},
+    max_read_bytes:65536,max_write_bytes:65536}));
+  const policy=await loadCodingPolicy(policyPath);
+  const keys=await generateTrustKeypair({privateKeyPath:path.join(root,'private.pem'),publicKeyPath:path.join(root,'public.pem')});
+  const calls=[];
+  const hardwareSnapshotProvider=async query=>{calls.push(query);return {schema:'deadbyte.hardware-query.v1',query,
+    data:query==='cpu'?{brand:'TEST CPU',logical_processors:16}:{fixture:true}};};
+  const runtime=createObservationRuntime({policy,signingKeyPath:keys.privateKeyPath,verifyKeyPath:keys.publicKeyPath,
+    stateRoot:root,processSnapshotProvider:async()=>[],systemSnapshotProvider:async()=>({hostname:'x',platform:'win32',architecture:'x64',
+      uptime_seconds:1,total_memory_bytes:1,free_memory_bytes:1,cpu_count:1,load_average:[0,0,0]}),
+    ownedRuntimePidProvider:async()=>new Set(),hardwareSnapshotProvider});
+  return {root,policy,keys,runtime,calls};
+}
+
+test('R45 hardware query is typed read-only observation with signed evidence and no host authority',async()=>{
+  const f=await fixture();
+  const out=await f.runtime.hardwareQuery({query:'cpu'});
+  assert.equal(out.query,'cpu');assert.equal(out.data.brand,'TEST CPU');assert.deepEqual(f.calls,['cpu']);
+  assert.match(out.request_sha256,/^[0-9a-f]{64}$/);assert.match(out.result_head_sha256,/^[0-9a-f]{64}$/);
+  assert.match(out.receipt_id,/^[0-9a-f]{24}$/);assert.match(out.receipt_sha256,/^[0-9a-f]{64}$/);
+  const verified=await verifyObservationReceiptFile({policy:f.policy,verifyKeyPath:f.keys.publicKeyPath,receiptId:out.receipt_id});
+  assert.equal(verified.ok,true);assert.equal(verified.signature_valid,true);assert.equal(verified.kind,'machine_hardware_query');
+});
+
+test('R45 hardware query rejects untyped arbitrary query names before provider dispatch',async()=>{
+  const f=await fixture();
+  await assert.rejects(()=>f.runtime.hardwareQuery({query:'run_powershell'}),/hardware query/i);
+  assert.deepEqual(f.calls,[]);
+});

package/test/host-inline-r45.test.mjs

@@ -0,0 +1,67 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { createHash, randomBytes } from 'node:crypto';
+import { mkdtemp, mkdir, readFile, readdir, rm, writeFile } from 'node:fs/promises';
+import os from 'node:os';
+import path from 'node:path';
+import {
+  HOST_GRANT_SCHEMA, HOST_POLICY_SCHEMA_V2, hostExecInline, hostExecNative, loadHostPolicy
+} from '../src/host-plane.mjs';
+
+const sha=bytes=>createHash('sha256').update(bytes).digest('hex');
+
+async function fixture(){
+  const dir=await mkdtemp(path.join(os.tmpdir(),'deadbyte-host-inline-r45-'));
+  const root=path.join(dir,'root');await mkdir(root);
+  const arm=path.join(dir,'arm.json'), policyPath=path.join(dir,'policy.json');
+  const exeSha=sha(await readFile(process.execPath));
+  const raw={
+    schema:HOST_POLICY_SCHEMA_V2,enabled:true,arm_file:arm,
+    roots:{core:{path:root,read:true,write:true,exec:true}},
+    commands:{
+      node_inline:{kind:'inline',executable:process.execPath,executable_sha256:exeSha,root_ids:['core'],
+        prefix_args:['-e'],timeout_ms:5000,max_output_bytes:65536,max_command_chars:32768}
+    },
+    native_exec:{enabled:true,root_ids:['core'],timeout_ms:5000,max_output_bytes:65536,max_args:64,max_arg_chars:8192},
+    max_read_bytes:262144,max_write_bytes:1048576
+  };
+  await writeFile(policyPath,JSON.stringify(raw,null,2));
+  const policy=await loadHostPolicy(policyPath);
+  await writeFile(arm,JSON.stringify({schema:HOST_GRANT_SCHEMA,policy_sha256:policy.policy_sha256,
+    instance_nonce:randomBytes(32).toString('hex'),armed_at_utc:new Date().toISOString()},null,2));
+  return {dir,root,arm,policy,exeSha};
+}
+
+test('R45 host inline executes in argv memory with zero staging artifact and hashes command/output',async t=>{
+  const f=await fixture();t.after(()=>rm(f.dir,{recursive:true,force:true}));
+  const before=(await readdir(f.root)).sort();
+  const command='process.stdout.write("INLINE_OK")';
+  const out=await hostExecInline(f.policy,{commandId:'node_inline',rootId:'core',command,cwd:'.',timeoutMs:2000});
+  const after=(await readdir(f.root)).sort();
+  assert.deepEqual(after,before,'inline execution must not stage a script file');
+  assert.equal(out.exit_code,0);assert.equal(out.stdout,'INLINE_OK');assert.equal(out.stderr,'');
+  assert.equal(out.command_sha256,sha(Buffer.from(command,'utf8')));
+  assert.equal(out.stdout_sha256,sha(Buffer.from('INLINE_OK','utf8')));
+  assert.equal(out.stderr_sha256,sha(Buffer.alloc(0)));
+  assert.match(out.argv_sha256,/^[0-9a-f]{64}$/);assert.equal(out.executable_sha256,f.exeSha);
+});
+
+test('R45 native argv execution accepts arbitrary absolute hash-pinned executable only while Host is armed',async t=>{
+  const f=await fixture();t.after(()=>rm(f.dir,{recursive:true,force:true}));
+  const before=(await readdir(f.root)).sort();
+  const out=await hostExecNative(f.policy,{rootId:'core',executable:process.execPath,executableSha256:f.exeSha,
+    args:['-e','process.stdout.write("NATIVE_OK")'],cwd:'.',timeoutMs:2000});
+  assert.equal(out.exit_code,0);assert.equal(out.stdout,'NATIVE_OK');
+  assert.deepEqual((await readdir(f.root)).sort(),before,'native argv execution must not create staging files');
+  await assert.rejects(()=>hostExecNative(f.policy,{rootId:'core',executable:process.execPath,executableSha256:'f'.repeat(64),
+    args:['--version'],cwd:'.'}),/executable hash mismatch/i);
+});
+
+test('R45 inline execution observes authority revocation during a live child and fails closed',async t=>{
+  const f=await fixture();t.after(()=>rm(f.dir,{recursive:true,force:true}));
+  const running=hostExecInline(f.policy,{commandId:'node_inline',rootId:'core',
+    command:'setTimeout(()=>process.stdout.write("SHOULD_NOT_COMPLETE"),1500)',cwd:'.',timeoutMs:4000,authorityPollMs:50});
+  await new Promise(r=>setTimeout(r,150));
+  await rm(f.arm,{force:true});
+  await assert.rejects(()=>running,/host authority changed during operation/i);
+});

package/test/host-plane.test.mjs

@@ -11,7 +11,8 @@ import {
   hostExec,
   hostFileRead,
   hostFileWrite,
-  loadHostPolicy
+  loadHostPolicy,
+  recheckHostAuthority
 } from '../src/host-plane.mjs';
 
 const sha = bytes => createHash('sha256').update(bytes).digest('hex');
@@ -66,6 +67,19 @@ test('privileged host plane requires a live policy-bound arm lease', async () =>
   await assert.rejects(() => assertHostArmed(expired.policy), /arm expired/);
 });
 
+test('host authority recheck rejects arm generation or expiry drift before side effects', async () => {
+  const f = await fixture();
+  const initial = await assertHostArmed(f.policy);
+  const arm = JSON.parse(await readFile(f.arm, 'utf8'));
+  await writeFile(f.arm, JSON.stringify({ ...arm, instance_nonce: 'b'.repeat(64) }));
+  await assert.rejects(() => recheckHostAuthority(f.policy, initial), /host authority changed during operation/);
+  await writeFile(f.arm, JSON.stringify({
+    ...arm,
+    expires_at_utc: new Date(Date.parse(arm.expires_at_utc) + 60000).toISOString()
+  }));
+  await assert.rejects(() => recheckHostAuthority(f.policy, initial), /host authority changed during operation/);
+});
+
 test('host_file_write is root-scoped hash-precondition and host_file_read returns a verified digest', async () => {
   const f = await fixture();
   const first = await hostFileWrite(f.policy, {

package/test/machine-mcp-integration.test.mjs

@@ -51,6 +51,7 @@ async function fixture() {
     env: {
       ...getDefaultEnvironment(), DEADBYTE_STATE_ROOT: root, DEADBYTE_MACHINE_RUNTIME: '1',
       DEADBYTE_SIGNING_KEY: keys.privateKeyPath, DEADBYTE_VERIFY_KEY: keys.publicKeyPath,
+      DEADBYTE_PRIVILEGED_POLICY: '',
       DEADBYTE_AGENT_RUNTIME: '0', DEADBYTE_CODING_RUNTIME: '0', DEADBYTE_AUTONOMOUS_RUNTIME: '0'
     }, stderr: 'pipe'
   });

package/test/native-diff.test.mjs

@@ -79,6 +79,34 @@ test('native diff rolls back earlier operations when a later operation fails', a
   } finally { await rm(f.root,{recursive:true,force:true}); }
 });
 
+test('native diff revocation between operations rolls back to preimage without autonomous rollback authority', async () => {
+  const f = await fixture();
+  try {
+    let writes = 0;
+    const revokingCoding = Object.freeze({
+      ...f.codingRuntime,
+      fileWrite: async args => {
+        const result = await f.codingRuntime.fileWrite(args);
+        writes += 1;
+        if (writes === 1) {
+          const lease = JSON.parse(await readFile(f.policy.lease_file, 'utf8'));
+          await writeFile(f.policy.lease_file, JSON.stringify({ ...lease, instance_nonce:'e'.repeat(64) }));
+        }
+        return result;
+      }
+    });
+    const runtime = createNativeDiffRuntime({ policy:f.policy, codingRuntime:revokingCoding,
+      signingKeyPath:f.keys.privateKeyPath, verifyKeyPath:f.keys.publicKeyPath });
+    const preview = await runtime.preview({ rootId:'project', title:'revoke mid transaction', operations:[
+      { kind:'write', path:'first.txt', expected_sha256:'absent', encoding:'utf8', content:'first\n' },
+      { kind:'write', path:'second.txt', expected_sha256:'absent', encoding:'utf8', content:'second\n' }
+    ] });
+    await assert.rejects(runtime.apply({ diffId:preview.diff_id }), /rolled back.*autonomous authority changed/i);
+    assert.equal(await exists(path.join(f.project,'first.txt')), false);
+    assert.equal(await exists(path.join(f.project,'second.txt')), false);
+  } finally { await rm(f.root,{recursive:true,force:true}); }
+});
+
 test('autonomous application scope isolates repeated identical native diffs across goals', async () => {
   const f = await fixture();
   try {

package/test/observation-mcp-tools.test.mjs

@@ -15,14 +15,15 @@ function runtime(){
     searchStatus:async()=>({status:'ok',search_id:hex('a'),state:'completed',result_count:0,files_scanned:0,bytes_scanned:0,truncated:false,request_sha256:hex('b'),result_head_sha256:hex('c'),receipt_id:receipt,receipt_sha256:hex('d'),error:null}),
     searchCancel:async()=>({status:'ok',search_id:hex('a'),state:'cancelled',cancel_requested:true}),
     processList:async()=>({status:'ok',snapshot_id:hex('e'),observed_at_utc:new Date(0).toISOString(),processes:[],next_cursor:null,request_sha256:hex('b'),result_head_sha256:hex('c'),receipt_id:receipt,receipt_sha256:hex('d')}),
-    systemStatus:async()=>({status:'ok',observed_at_utc:new Date(0).toISOString(),hostname:'x',platform:'win32',architecture:'x64',uptime_seconds:1,total_memory_bytes:2,free_memory_bytes:1,cpu_count:1,load_average:[0,0,0],request_sha256:hex('b'),result_head_sha256:hex('c'),receipt_id:receipt,receipt_sha256:hex('d')})
+    systemStatus:async()=>({status:'ok',observed_at_utc:new Date(0).toISOString(),hostname:'x',platform:'win32',architecture:'x64',uptime_seconds:1,total_memory_bytes:2,free_memory_bytes:1,cpu_count:1,load_average:[0,0,0],request_sha256:hex('b'),result_head_sha256:hex('c'),receipt_id:receipt,receipt_sha256:hex('d')}),
+    hardwareQuery:async({query})=>({status:'ok',query,observed_at_utc:new Date(0).toISOString(),observer_sha256:hex('e'),data:{vendor:'x'},request_sha256:hex('b'),result_head_sha256:hex('c'),receipt_id:receipt,receipt_sha256:hex('d')})
   };
 }
 
-test('R32 registers exactly six bounded observation tools',()=>{
+test('R45 registers exactly seven bounded observation tools including typed native hardware',()=>{
   const server=new FakeServer(); registerObservationTools(server,{runtime:runtime()});
   assert.deepEqual([...server.tools.keys()].sort(),[
-    'machine_process_list','machine_search_cancel','machine_search_page','machine_search_start','machine_search_status','machine_system_status'
+    'machine_hardware_query','machine_process_list','machine_search_cancel','machine_search_page','machine_search_start','machine_search_status','machine_system_status'
   ]);
   for(const [name,tool] of server.tools){ assert.ok(tool.spec.inputSchema,`${name} input`); assert.ok(tool.spec.outputSchema,`${name} output`); }
 });

package/test/output-schema.test.mjs

@@ -19,7 +19,7 @@ const EXPECTED_TOOLS = [
   'agent_task_run', 'agent_task_status', 'agent_task_submit',
   'agent_task_verify', 'contained_transform', 'evidence_verify',
   'file_read',
-  'proof_execute', 'workspace_open'
+  'proof_execute', 'skill_catalog', 'workspace_open'
 ];
 
 async function fixture() {
@@ -40,6 +40,7 @@ async function fixture() {
       DEADBYTE_WORKSPACE_ROOT: workspaceRoot,
       DEADBYTE_SIGNING_KEY: keys.privateKeyPath,
       DEADBYTE_VERIFY_KEY: keys.publicKeyPath,
+      DEADBYTE_PRIVILEGED_POLICY: '',
       DEADBYTE_AGENT_RUNTIME: '1'
     },
     stderr: 'pipe'
@@ -47,7 +48,7 @@ async function fixture() {
   return { trust, client, transport };
 }
 
-test('R27 hermetic base-plus-agent catalog advertises 12 strict output schemas', async () => {
+test('R44 hermetic base-plus-agent catalog advertises 13 strict output schemas', async () => {
   const f = await fixture();
   try {
     await f.client.connect(f.transport);

package/test/package-boundary.test.mjs

@@ -39,6 +39,6 @@ test('R28 package boundary contains only immutable workspace seed files', () =>
 
 test('publish boundary excludes live state, private keys, grants and non-example controller secrets',()=>{
   const files=packFiles();
-  const forbidden=files.filter(rel=>/(^|\/)(active-release\.json|runtime\/|audit\/|evidence\/)|\.pem$|(^|\/)deadbyte-controller\.config\.psd1$|(^|\/)deadbyte-host-policy\.json$|(^|\/)[^/]*(?:grant|arm)\.json$/i.test(rel));
+  const forbidden=files.filter(rel=>rel.startsWith('tmp/')||rel.startsWith('.deadbyte-machine-fs-recovery/')||/(^|\/)(active-release\.json|runtime\/|audit\/|evidence\/)|\.pem$|(^|\/)deadbyte-controller\.config\.psd1$|(^|\/)deadbyte-host-policy\.json$|(^|\/)[^/]*(?:grant|arm)\.json$/i.test(rel));
   assert.deepEqual(forbidden,[]);
 });

package/test/process-policy.test.mjs

@@ -9,7 +9,8 @@ import {
   PROCESS_POLICY_SCHEMA,
   assertProcessArmed,
   loadProcessPolicy,
-  processSessionStatus
+  processSessionStatus,
+  recheckProcessAuthority
 } from '../src/process-policy.mjs';
 
 const sha = bytes => createHash('sha256').update(bytes).digest('hex');
@@ -69,6 +70,26 @@ test('process policy loads pinned native host, profile and root while grant is a
   await assert.rejects(() => assertProcessArmed(policy, 'other', 'core'), /profile 'other' is not included/);
 });
 
+test('process authority recheck rejects grant generation or scope drift before side effects', async () => {
+  const f = await fixture();
+  const policy = await loadProcessPolicy(f.policyPath);
+  const grant = {
+    schema: PROCESS_GRANT_SCHEMA,
+    policy_sha256: policy.policy_sha256,
+    instance_nonce: 'a'.repeat(64),
+    profile_ids: ['node'],
+    root_ids: ['core'],
+    granted_at_utc: '2026-09-14T00:00:00Z'
+  };
+  await writeFile(f.grantFile, JSON.stringify(grant));
+  const initial = await assertProcessArmed(policy, 'node', 'core');
+  await writeFile(f.grantFile, JSON.stringify({ ...grant, instance_nonce: 'b'.repeat(64) }));
+  await assert.rejects(() => recheckProcessAuthority(policy, initial, 'node', 'core'), /process authority changed during operation/);
+  await writeFile(f.grantFile, JSON.stringify({ ...grant, profile_ids: ['node', 'node'] }));
+  const deduped = await recheckProcessAuthority(policy, initial, 'node', 'core');
+  assert.equal(deduped.instance_nonce, initial.instance_nonce);
+});
+
 test('process grant with wrong policy digest is disarmed', async () => {
   const f = await fixture();
   const policy = await loadProcessPolicy(f.policyPath);

package/test/production-docs.test.mjs

@@ -9,9 +9,9 @@ const readme=()=>readFile(path.join(root,'README.txt'),'utf8');
 
 test('production README documents one-command stdio configs for major MCP clients',async()=>{
   const text=await readme();
-  assert.match(text,/npx -y deadbyte-mcp@0\.11\.3 mcp/);
+  assert.match(text,/npx -y deadbyte-mcp@0\.15\.1 mcp/);
   assert.match(text,/CLAUDE DESKTOP/);
-  assert.match(text,/"mcpServers"[\s\S]*?"command"\s*:\s*"npx"[\s\S]*?"-y"[\s\S]*?"deadbyte-mcp@0\.11\.3"[\s\S]*?"mcp"/);
+  assert.match(text,/"mcpServers"[\s\S]*?"command"\s*:\s*"npx"[\s\S]*?"-y"[\s\S]*?"deadbyte-mcp@0\.15\.1"[\s\S]*?"mcp"/);
   assert.match(text,/CURSOR/);
   assert.match(text,/\.cursor\/mcp\.json/);
   assert.match(text,/VS CODE/);
@@ -20,7 +20,7 @@ test('production README documents one-command stdio configs for major MCP client
   assert.match(text,/CODEX/);
   assert.match(text,/\[mcp_servers\.deadbyte\]/);
   assert.match(text,/command\s*=\s*"npx"/);
-  assert.match(text,/args\s*=\s*\["-y",\s*"deadbyte-mcp@0\.11\.3",\s*"mcp"\]/);
+  assert.match(text,/args\s*=\s*\["-y",\s*"deadbyte-mcp@0\.15\.1",\s*"mcp"\]/);
 });
 
 test('production README records tracer bullet, semantic scope, remote UX, safety and document extension',async()=>{

package/test/prompts-resources.test.mjs

@@ -30,7 +30,7 @@ test('MCP exposes compact workflow prompts and source-of-truth context resources
     const surfaceState=JSON.parse(surfaceText);
     assert.equal(surfaceState.schema,'deadbyte.surface-profile.v1');
     assert.equal(surfaceState.profile,'full');
-    assert.equal(surfaceState.compact_tool_limit,42);
+    assert.equal(surfaceState.compact_tool_limit,43);
     const context=await client.readResource({uri:'deadbyte://context'});
     const contextText=context.contents.map(c=>'text' in c?c.text:'').join('\n');
     assert.match(contextText,/Machine truth/i); assert.match(contextText,/Authority plane/i); assert.match(contextText,/Loop Supervisor/i);

package/test/r33-closeout-regression.test.mjs

@@ -86,40 +86,24 @@ test('audit restart reconciles an orphan request with an explicit interrupted re
   }finally{await rm(stateRoot,{recursive:true,force:true});}
 });
 
-test('Windows current R42 gate emits manifest-bound model-eval evidence outside the candidate tree', async()=>{
-  const stateRoot=await temp('deadbyte-r42-windows-evidence-');
-  try{
-    const gate=await readFile(path.join(root,'scripts','gate-windows-r42.ps1'),'utf8');
-    assert.match(gate,/windows-gate-evidence-r42\.mjs/,'gate-windows-r42.ps1 must invoke the evidence writer');
-    assert.match(gate,/r42-model-backed-eval/,'R42 gate must require model-backed eval before evidence writer');
-
-    const suite=JSON.parse(await readFile(path.join(root,'harness','r42-agent-evals.json'),'utf8'));
-    const manifestSha=sha256(await readFile(path.join(root,'MANIFEST.SHA256')));
-    const { runAgentEvalSuiteR42 }=await import('../src/agent-eval-runner-r42.mjs');
-    const { writeWindowsGateEvidence }=await import('../scripts/windows-gate-evidence-r42.mjs');
-    const evaluation=await runAgentEvalSuiteR42({
-      suite,subjectManifestSha256:manifestSha,
-      evidenceRoot:path.join(stateRoot,'evidence','release','r42-agent-evals'),
-      clock:()=>new Date('2026-09-20T02:00:00.000Z'),
-      requestModel:async call=>call.role==='generator'
-        ?{backend:'fixture',model:'fixture',response_id:`g-${call.case_id}`,raw_text:JSON.stringify({artifact:{plan:['inspect','verify','fail_closed']}})}
-        :{backend:'fixture',model:'fixture',response_id:`j-${call.case_id}`,raw_text:JSON.stringify({
-          schema:'deadbyte.agent-eval-judge-result.v1',verdict:'pass',advisory:true,findings:[],evidence_refs:['1'.repeat(64)]
-        })}
-    });
-    assert.equal(evaluation.payload.status,'passed');
-
-    const summary=await writeWindowsGateEvidence({candidateRoot:root,stateRoot,clock:()=>new Date('2026-09-20T02:01:00.000Z')});
-    assert.equal(summary.status,'written');
-    const evidence=JSON.parse(await readFile(summary.path,'utf8'));
-    assert.equal(evidence.schema,'deadbyte.r42-windows-gate.v1');
-    assert.equal(evidence.status,'passed');
-    assert.equal(evidence.exit_code,0);
-    assert.equal(evidence.version,'0.14.0');
-    assert.equal(evidence.manifest_sha256,manifestSha);
-    assert.equal(evidence.marker,'DEADBYTE V0.14.0 / R42 WINDOWS BATCH GATE: PASS');
-    assert.equal(evidence.model_eval.evidence_sha256,evaluation.publication.evidence_sha256);
-    assert.equal(evidence.model_eval.case_count,suite.cases.length);
-    assert.ok(summary.path.startsWith(path.join(stateRoot,'evidence','release')));
-  }finally{await rm(stateRoot,{recursive:true,force:true});}
+test('Windows current R45 gate binds exact sealed R44 parent and machine-freedom evidence contract', async()=>{
+  const gate=await readFile(path.join(root,'scripts','gate-windows-r45.ps1'),'utf8');
+  const evidenceSource=await readFile(path.join(root,'scripts','windows-gate-evidence-r45.mjs'),'utf8');
+  const parent=JSON.parse(await readFile(path.join(root,'R45-PARENT.json'),'utf8'));
+  assert.match(gate,/windows-gate-evidence-r45\.mjs/);
+  assert.match(gate,/r45-parent-verify/);
+  assert.match(gate,/host-policy-refresh/);
+  assert.match(gate,/hardware-build/);
+  assert.match(gate,/doctor/);
+  assert.match(evidenceSource,/deadbyte\.r45-windows-gate\.v1/);
+  assert.match(evidenceSource,/version:'0\.15\.1'/);
+  assert.match(evidenceSource,/DEADBYTE V0\.15\.1 \/ R45 MACHINE FREEDOM WINDOWS BATCH GATE: PASS/);
+  for(const key of ['host_inline_native','native_hardware_observation','doctor_release_truth']) assert.match(evidenceSource,new RegExp(key+':true'));
+  assert.equal(parent.parent_release_id,'v0.15.0-c15fa41719be61b3');
+  assert.equal(parent.parent_manifest_sha256,'c15fa41719be61b3186e49b2367a5f4c057365cfb465102dbefb7d7355f45483');
+  assert.equal(parent.parent_generation_manifest_sha256,'6d7429c050b7fe893492e102f00282019116e0c9e54e4f25a5791defa1661d30');
+  assert.equal(parent.parent_final_closure_sha256,'533b7e0ff9ded04086dd90ed34e3b87bc427acc3c55c25bb9f4ec66cb448e667');
+  const historical=await readFile(path.join(root,'scripts','windows-gate-evidence-r44.mjs'),'utf8');
+  assert.match(historical,/version:'0\.15\.0'/);
+  assert.match(historical,/deadbyte\.r44-windows-gate\.v1/);
 });

package/test/r33-finalization.test.mjs

@@ -19,9 +19,9 @@ test('R34 public parity catalog is exact, unique, and includes production coding
 
 test('release parity and final verifier are package entry points', async () => {
   const pkg = JSON.parse(await text('package.json'));
-  assert.equal(pkg.scripts['release:parity'], 'node scripts/release-parity-r42.mjs');
-  assert.equal(pkg.scripts['release:final:write'], 'node scripts/final-closure-r42.mjs');
-  assert.equal(pkg.scripts['release:final:verify'], 'node scripts/final-closure-verify-r42.mjs');
+  assert.equal(pkg.scripts['release:parity'], 'node scripts/release-parity-r45.mjs');
+  assert.equal(pkg.scripts['release:final:write'], 'node scripts/final-closure-r45.mjs');
+  assert.equal(pkg.scripts['release:final:verify'], 'node scripts/final-closure-verify-r45.mjs');
   assert.equal(typeof validateParityEvidence, 'function');
   assert.equal(typeof verifyFinalClosureObject, 'function');
 });
@@ -45,11 +45,11 @@ test('final closure verifier canonicalizes traversal order before exact-tree com
   assert.match(verifier, /const expected=\[\.\.\.entries\.keys\(\)\]\.sort\(\(a,b\)=>a\.localeCompare\(b,'en'\)\);/);
 });
 
-test('R36 autonomous live gate binds the compact gateway contract instead of the historical 73-tool public catalog', async () => {
+test('R44 autonomous live gate binds the current compact gateway contract instead of the historical 73-tool public catalog', async () => {
   const autonomous = await text('src/remote-mcp-autonomous-smoke-client.mjs');
-  assert.match(autonomous, /R36_COMPACT_GATEWAYS/);
-  assert.match(autonomous, /R36_COMPACT_TOOL_LIMIT/);
-  assert.match(autonomous, /names\.length > R36_COMPACT_TOOL_LIMIT/);
+  assert.match(autonomous, /R44_COMPACT_GATEWAYS/);
+  assert.match(autonomous, /R44_COMPACT_TOOL_LIMIT/);
+  assert.match(autonomous, /names\.length > R44_COMPACT_TOOL_LIMIT/);
   for (const name of ['autonomous_goal_submit','autonomous_goal_run','autonomous_goal_verify','autonomous_release_gate','native_diff_apply','native_diff_verify']) {
     assert.match(autonomous,new RegExp(name));
   }

package/test/r43-finalization.test.mjs

@@ -0,0 +1,31 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { readFile } from 'node:fs/promises';
+import { validateParityEvidence,R43_PREDECESSOR_RELEASE_ID,R43_PREDECESSOR_MANIFEST } from '../scripts/release-parity-r43.mjs';
+import { verifyFinalClosureObject } from '../scripts/final-closure-verify-r43.mjs';
+
+const root=new URL('../',import.meta.url);const text=rel=>readFile(new URL(rel,root),'utf8');
+function parity(){const manifest='a'.repeat(64);return {schema:'deadbyte.r43-parity.v1',status:'passed',execution_provider:'deadbyte_mcp',rdc_operation_count:0,
+  candidate:{release_id:`v0.14.1-${manifest.slice(0,16)}`,version:'0.14.1',manifest_sha256:manifest},
+  immutable_slot:{protected:true,release_root:'C:/immutable/r43',development_root:'D:/Projects/deadbyte-mcp/development/deadbyte-mcp-r42-agentic-dev'},
+  local_full:{status:'passed',tool_count:80,strict_output_schemas:true},
+  public_compact:{status:'passed',tool_count:42,capability_closure:true,gateway_count:6,desktop_armed:false,desktop_observation_receipt_verified:true,desktop_grounding_receipt_verified:true},
+  autonomous:{status:'passed',signed_release_verified:true},desktop_guarded:{status:'passed',native_injected:true,replay_performed:false,predispatch_retry_count:0,observation_receipts_verified:1,action_receipts_verified:3},
+  deterministic_memory:{status:'passed',goal_count:1,snapshot_count:1,index_count:1},
+  before_rollback_disarmed:{status:'passed',capability_closure:true,coding_armed:false,autonomous_armed:false,desktop_armed:false},rollback:{state:'completed'},restore:{state:'completed'},stage_restore:{status:'restored',manifest_sha256:manifest},
+  predecessor:{release_id:R43_PREDECESSOR_RELEASE_ID,version:'0.14.0',manifest_sha256:R43_PREDECESSOR_MANIFEST},predecessor_disarmed:{status:'passed',tool_count:42,capability_closure:true},
+  successor:{release_id:`v0.14.1-${manifest.slice(0,16)}`,version:'0.14.1',manifest_sha256:manifest},successor_disarmed:{status:'passed',capability_closure:true,coding_armed:false,autonomous_armed:false,desktop_armed:false},
+  requirements:Object.fromEntries(['tree_read','precondition_mutation','search','owned_process','observation','coding_loop','autonomy','interrupted_recovery','evidence_verification','compact_closure','full_surface','desktop_readonly','desktop_guarded_input','deterministic_memory'].map(key=>[key,true]))};}
+
+test('R43 parity requires exact R42 predecessor and immutable R43 slot',()=>{const value=parity();assert.equal(validateParityEvidence(value),true);
+  assert.throws(()=>validateParityEvidence({...value,predecessor:{...value.predecessor,manifest_sha256:'b'.repeat(64)}}),/predecessor/i);
+  assert.throws(()=>validateParityEvidence({...value,immutable_slot:{...value.immutable_slot,development_root:value.immutable_slot.release_root}}),/immutable-slot/i);});
+
+test('R43 release machinery binds 0.14.1 exact R42 predecessor and no fresh model credential dependency',async()=>{const [gate,deferred,paritySource,writer,verifier,evidence,suite,finalizer]=await Promise.all([
+  text('scripts/gate-windows-r43.ps1'),text('scripts/deferred-slot-operation-r43.mjs'),text('scripts/release-parity-r43.mjs'),text('scripts/final-closure-r43.mjs'),text('scripts/final-closure-verify-r43.mjs'),text('scripts/windows-gate-evidence-r43.mjs'),text('scripts/release-parity-tests-r43.ps1'),text('scripts/finalize-r43.mjs')]);
+  assert.equal(R43_PREDECESSOR_RELEASE_ID,'v0.14.0-08cd8f3b98c90e0e');assert.equal(R43_PREDECESSOR_MANIFEST,'08cd8f3b98c90e0e250cf506ff396515065ff5457909f850b75b0b6e8ecc2dd1');
+  assert.match(gate,/r43-parent-verify/);assert.doesNotMatch(gate,/model-backed-eval|OPENAI_API_KEY/);assert.match(gate,/full-regression/);assert.match(gate,/r43:full:test/);assert.match(gate,/DEADBYTE V0\.14\.1 \/ R43 AUTHORITY HARDENING WINDOWS BATCH GATE: PASS/);
+  assert.match(deferred,/--expected-version','0\.14\.1'/);assert.match(paritySource,/deadbyte\.r43-parity\.v1/);assert.doesNotMatch(paritySource,/verifyR42ModelEval|model_eval/);
+  for(const source of [writer,verifier]){assert.match(source,/DEADBYTE-R43-FINAL-CLOSURE-V1/);assert.match(source,/deadbyte\.r43-final-closure\.v1/);assert.match(source,/R43 AUTHORITY HARDENING PATCH/);assert.doesNotMatch(source,/model_eval/);}
+  assert.equal(typeof verifyFinalClosureObject,'function');assert.match(evidence,/deadbyte\.r43-windows-gate\.v1/);assert.match(evidence,/parent_activation_receipt_sha256/);assert.match(suite,/autonomous-loop\.test\.mjs/);assert.match(suite,/runtime-self-update\.test\.mjs/);assert.match(suite,/r43-finalizer\.test\.mjs/);assert.match(finalizer,/--restore-standing-grants/);assert.match(finalizer,/final_authority\?\.process_armed===true/);assert.match(finalizer,/requires Process standing grant/);assert.match(finalizer,/runReleaseParity/);assert.match(finalizer,/writeFinalClosure/);assert.match(finalizer,/verifyFinalClosureObject/);assert.match(finalizer,/--rollback-receipt/);assert.match(finalizer,/parity_scratch/);
+});

package/test/r43-finalizer.test.mjs

@@ -0,0 +1,34 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { validateFinalizerAuthorityStatus, validateWindowsGateEvidence } from '../scripts/finalize-r43.mjs';
+
+const manifest='a'.repeat(64);
+const parent={parent_release_id:'v0.14.0-08cd8f3b98c90e0e',
+  parent_manifest_sha256:'08cd8f3b98c90e0e250cf506ff396515065ff5457909f850b75b0b6e8ecc2dd1',
+  parent_generation_manifest_sha256:'df8ca9894a3e2ca9a9f145cfa3e4e23fd71f42c1988266a1591fc16261ab18a5'};
+const valid=()=>({schema:'deadbyte.r43-windows-gate.v1',status:'passed',exit_code:0,version:'0.14.1',
+  marker:'DEADBYTE V0.14.1 / R43 AUTHORITY HARDENING WINDOWS BATCH GATE: PASS',manifest_sha256:manifest,
+  parent:{release_id:parent.parent_release_id,manifest_sha256:parent.parent_manifest_sha256,
+    generation_manifest_sha256:parent.parent_generation_manifest_sha256,
+    activation_receipt_sha256:'074140ad8b94501e0a095a7fa132dc5d6e2c57102c9eeaaa2ac9e4ea93b9b187'},
+  hardening:{authority_toctou:true,absolute_execution_deadline:true,pre_spawn_authority_recheck:true,
+    full_regression_required:true,model_path_changed:false}});
+
+test('R43 detached finalizer requires explicit Process+Coding+Autonomous grants and keeps Desktop+Host disarmed',()=>{
+  assert.equal(validateFinalizerAuthorityStatus({
+    process_armed:true,coding_armed:true,autonomous_armed:true,desktop_armed:false,host_armed:false
+  }),true);
+  assert.throws(()=>validateFinalizerAuthorityStatus({
+    process_armed:false,coding_armed:true,autonomous_armed:true,desktop_armed:false,host_armed:false
+  }),/Process standing grant/);
+  assert.throws(()=>validateFinalizerAuthorityStatus({
+    process_armed:true,coding_armed:true,autonomous_armed:true,desktop_armed:false,host_armed:true
+  }),/Host DISARMED/);
+});
+
+test('R43 detached finalizer accepts only exact parent-bound hardening gate evidence',()=>{
+  assert.equal(validateWindowsGateEvidence(valid(),manifest,parent),true);
+  assert.throws(()=>validateWindowsGateEvidence({...valid(),manifest_sha256:'b'.repeat(64)},manifest,parent),/candidate mismatch/);
+  assert.throws(()=>validateWindowsGateEvidence({...valid(),hardening:{...valid().hardening,authority_toctou:false}},manifest,parent),/hardening contract/);
+  assert.throws(()=>validateWindowsGateEvidence({...valid(),parent:{...valid().parent,release_id:'v0.14.0-bad'}},manifest,parent),/parent mismatch/);
+});

package/test/r43-parent.test.mjs

@@ -0,0 +1,29 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { readFile } from 'node:fs/promises';
+import { verifyR43Parent } from '../scripts/verify-r43-parent.mjs';
+
+const root=new URL('../',import.meta.url);
+
+test('R43 parent contract binds exact immutable R42 release and signed activation evidence', async()=>{
+  const record=JSON.parse(await readFile(new URL('../R43-PARENT.json',import.meta.url),'utf8'));
+  assert.equal(record.schema,'deadbyte.r43-parent.v1');
+  assert.equal(record.parent_release_id,'v0.14.0-08cd8f3b98c90e0e');
+  assert.equal(record.parent_version,'0.14.0');
+  assert.equal(record.parent_manifest_sha256,'08cd8f3b98c90e0e250cf506ff396515065ff5457909f850b75b0b6e8ecc2dd1');
+  assert.equal(record.parent_generation_manifest_sha256,'df8ca9894a3e2ca9a9f145cfa3e4e23fd71f42c1988266a1591fc16261ab18a5');
+  assert.equal(record.parent_manifest_file_count,1820);
+  assert.equal(record.parent_generation_file_count,7);
+  assert.equal(record.parent_final_closure_present,false);
+  const verified=await verifyR43Parent(new URL('../R43-PARENT.json',import.meta.url));
+  assert.equal(verified.status,'passed');
+  assert.equal(verified.release_files,1820);
+  assert.equal(verified.generation_files,7);
+  assert.equal(verified.parent_activation_receipt_sha256,'074140ad8b94501e0a095a7fa132dc5d6e2c57102c9eeaaa2ac9e4ea93b9b187');
+});
+
+test('R43 parent record explicitly refuses to invent missing R42 final closure evidence', async()=>{
+  const record=JSON.parse(await readFile(new URL('../R43-PARENT.json',import.meta.url),'utf8'));
+  assert.equal(record.parent_final_closure_present,false);
+  assert.equal(Object.prototype.hasOwnProperty.call(record,'parent_final_closure_path'),false);
+});