deadbyte-mcp 0.13.0 → 0.15.0

package/test/coding-runtime.test.mjs

@@ -5,7 +5,7 @@ import { mkdtemp, mkdir, readFile, rm, writeFile } from 'node:fs/promises';
 import os from 'node:os';
 import path from 'node:path';
 import { generateTrustKeypair } from '../src/trust.mjs';
-import { createCodingRuntime, loadCodingPolicy } from '../src/coding-plane.mjs';
+import { assertCodingArmed, createCodingRuntime, loadCodingPolicy, recheckCodingAuthority } from '../src/coding-plane.mjs';
 import { createCodingTaskRuntime } from '../src/coding-task-runtime.mjs';
 
 function sha256Bytes(bytes) { return createHash('sha256').update(bytes).digest('hex'); }
@@ -78,6 +78,41 @@ test('coding plane rejects mutation when lease is absent or precondition is stal
     await assert.rejects(() => f.runtime.fileWrite({ rootId: 'project', relativePath: 'x.txt', content: 'x', expectedSha256: 'absent' }), /coding plane is disarmed/);
   } finally { await rm(f.root, { recursive: true, force: true }); }
 });
+
+test('coding authority recheck rejects lease generation or expiry drift before commit', async () => {
+  const f = await fixture();
+  try {
+    const initial = await assertCodingArmed(f.policy, 'project');
+    const lease = JSON.parse(await readFile(f.policy.lease_file, 'utf8'));
+    await writeFile(f.policy.lease_file, JSON.stringify({ ...lease, instance_nonce: 'b'.repeat(64) }));
+    await assert.rejects(() => recheckCodingAuthority(f.policy, initial, 'project'), /coding authority changed during operation/);
+    await writeFile(f.policy.lease_file, JSON.stringify({
+      ...lease,
+      expires_at_utc: new Date(Date.parse(lease.expires_at_utc) + 60000).toISOString()
+    }));
+    await assert.rejects(() => recheckCodingAuthority(f.policy, initial, 'project'), /coding authority changed during operation/);
+  } finally { await rm(f.root, { recursive: true, force: true }); }
+});
+test('coding execution deadline bounds runtime without changing the signed request identity', async () => {
+  const f = await fixture();
+  try {
+    const script = path.join(f.project, 'deadline.mjs');
+    await writeFile(script, "await new Promise(resolve => setTimeout(resolve, 10000));\n");
+    const scriptHash = await sha256File(script);
+    const args = { rootId:'project', commandId:'node_script', scriptPath:'deadline.mjs', scriptSha256:scriptHash,
+      timeoutMs:20000, executionDeadlineUtc:new Date(Date.now()+3000).toISOString() };
+    const expectedRequest = f.runtime.requestSha('coding_command_run', {
+      root_id:'project', command_id:'node_script', script_path:'deadline.mjs', script_sha256:scriptHash,
+      args:[], cwd:'.', timeout_ms:20000
+    });
+    const result = await f.runtime.commandRun(args);
+    assert.equal(result.status, 'observed_failure');
+    assert.equal(result.timed_out, true);
+    assert.ok(result.timeout_ms >= 500 && result.timeout_ms <= 3000);
+    assert.equal(result.request_sha256, expectedRequest);
+  } finally { await rm(f.root, { recursive:true, force:true }); }
+});
+
 test('coding command and benchmark produce signed observations', async () => {
   const f = await fixture();
   try {

package/test/compact-catalog-r36.test.mjs

@@ -10,7 +10,7 @@ const repoRoot=path.resolve(here,'..');
 const serverPath=path.join(repoRoot,'src','mcp-server.mjs');
 const gatewayNames=['capability_manifest','coding_inspect','desktop_control','machine_fs','machine_observe','process_session'];
 
-test('R36 real compact stdio catalog stays <=42 and exposes all gateways',async()=>{
+test('R44 real compact stdio catalog stays <=43 and exposes all gateways plus skill_catalog',async()=>{
   const client=new Client({name:'deadbyte-r36-compact-test',version:'0.10.0-dev'},{versionNegotiation:{mode:{pin:'2026-07-28'}}});
   const env={
     ...getDefaultEnvironment(),
@@ -24,8 +24,8 @@ test('R36 real compact stdio catalog stays <=42 and exposes all gateways',async(
     await client.connect(transport);
     const listed=await client.listTools();
     const names=listed.tools.map(tool=>tool.name).sort();
-    assert.ok(names.length<=42,`compact tool count ${names.length} exceeds 42`);
-    for(const name of gatewayNames) assert.ok(names.includes(name),`missing ${name}`);
+    assert.ok(names.length<=43,`compact tool count ${names.length} exceeds 43`);
+    for(const name of [...gatewayNames,'skill_catalog']) assert.ok(names.includes(name),`missing ${name}`);
     for(const legacy of ['workspace_open','file_read','proof_execute','contained_transform']) assert.equal(names.includes(legacy),false,`legacy full-only tool leaked: ${legacy}`);
     const manifest=await client.callTool({name:'capability_manifest',arguments:{}});
     assert.equal(manifest.isError,false);

package/test/compact-max-catalog-r40.test.mjs

@@ -10,7 +10,9 @@ 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 parent=JSON.parse(await readFile(path.join(repoRoot,'R44-PARENT.json'),'utf8'));
+const parentRoot=parent.parent_release_root;
+const serverPath=path.join(parentRoot,'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;}};
@@ -70,7 +72,7 @@ test('R40 real max-runtime compact stdio catalog is exactly 42 while all authori
     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'});
+  const transport=new StdioClientTransport({command:process.execPath,args:[serverPath],cwd:parentRoot,env,stderr:'pipe'});
   try{
     await client.connect(transport);
     const listed=await client.listTools();

package/test/compact-max-catalog-r44.test.mjs

@@ -0,0 +1,97 @@
+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('R44 real max-runtime compact stdio catalog is exactly 43 with verified skill_catalog while all 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-r40-max-catalog',version:'0.12.0'},{versionNegotiation:{mode:{pin:'2026-07-28'}}});
+  const env={
+    ...getDefaultEnvironment(),
+    DEADBYTE_CAPABILITY_PROFILE:'compact',
+    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:'0',
+    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();
+    assert.equal(names.length,43,'expected exact compact max catalog 43, got '+names.length+': '+names.join(','));
+    for(const name of ['capability_manifest','desktop_control','coding_inspect','machine_fs','machine_observe','process_session',
+      'host_file_read','host_file_write','host_exec','skill_catalog']) assert.ok(names.includes(name),'missing '+name);
+    const manifest=await client.callTool({name:'capability_manifest',arguments:{}});
+    assert.equal(manifest.isError,false);
+    const m=manifest.structuredContent.result;
+    assert.equal(m.schema,'deadbyte.capability-manifest.v2');
+    assert.equal(m.profile,'compact');
+    assert.equal(m.tool_count,43);
+    assert.deepEqual(m.tool_catalog,names);
+    assert.match(m.catalog_sha256,/^[0-9a-f]{64}$/);
+    const skill=m.capabilities.find(item=>item.id==='skill.catalog');
+    assert.ok(skill);assert.equal(skill.authority,'none');assert.equal(skill.mutating,false);
+    console.log(JSON.stringify({tool_count:m.tool_count,catalog_sha256:m.catalog_sha256,ledger_sha256:m.ledger_sha256,desktop:true,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/core.test.mjs

@@ -105,7 +105,7 @@ test('proof execution creates deterministic output and signed verifiable receipt
   assert.equal(result.receipt.request.schema, 'deadbyte.request.v1');
   assert.match(result.receipt.request.nonce, /^[0-9a-f]{64}$/);
   assert.match(result.receipt.request.sha256, /^[0-9a-f]{64}$/);
-  assert.equal(result.receipt.runtime.package_version, '0.13.0');
+  assert.equal(result.receipt.runtime.package_version, '0.15.0');
   assert.match(result.receipt.runtime.mcp_ingress_adapter, /^(?:none|tunnel-stdio-probe-compat-v1)$/);
   assert.match(result.receipt.runtime.mcp_ingress_adapter_sha256, /^[0-9a-f]{64}$/);
   assert.match(result.receipt.runtime.mcp_ingress_mode_source_sha256, /^[0-9a-f]{64}$/);

package/test/durable-job-r44.test.mjs

@@ -0,0 +1,75 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { mkdtemp, rm, writeFile } from 'node:fs/promises';
+import os from 'node:os';
+import path from 'node:path';
+import { createDurableJobSupervisorR44 } from '../src/durable-job-r44.mjs';
+
+class FakeProvider{
+  constructor({external=true}={}){this.external=external;this.handles=new Map();this.starts=0;}
+  descriptor(){return {kind:this.external?'external-supervisor':'controller-local',instance_id:'sup-1'};}
+  async start(spec){
+    const handle={handle_id:`h-${++this.starts}`,pid:1000+this.starts,creation_id:`c-${this.starts}`,profile_id:spec.profile_id};
+    const running={...handle,state:'running'};this.handles.set(handle.handle_id,running);return {...running};
+  }
+  async reattach(handle){
+    const current=this.handles.get(handle.handle_id);return current?{...current}:null;
+  }
+  async status(handle){return this.handles.get(handle.handle_id)??null;}
+  async terminate(handle){const current=this.handles.get(handle.handle_id);if(current){current.state='terminated';return {...current};}return null;}
+}
+
+test('R44 controller/session jobs never masquerade as persistent after owner restart',async()=>{
+  const root=await mkdtemp(path.join(os.tmpdir(),'deadbyte-r44-job-'));const provider=new FakeProvider();
+  try{
+    const one=await createDurableJobSupervisorR44({stateDir:root,provider,ownerInstanceId:'owner-1'});
+    const c=await one.start({lifetime:'controller',profileId:'build',rootId:'core',cwd:'.',args:[]});
+    const s=await one.start({lifetime:'session',profileId:'test',rootId:'core',cwd:'.',args:[]});
+    assert.equal(c.state,'running');assert.equal(s.state,'running');
+    const two=await createDurableJobSupervisorR44({stateDir:root,provider,ownerInstanceId:'owner-2'});
+    assert.equal((await two.status({jobId:c.job_id})).state,'interrupted');
+    assert.equal((await two.status({jobId:s.job_id})).state,'interrupted');
+  }finally{await rm(root,{recursive:true,force:true});}
+});
+
+test('R44 persistent job reattaches only through external supervisor with exact process identity',async()=>{
+  const root=await mkdtemp(path.join(os.tmpdir(),'deadbyte-r44-job-persist-'));const provider=new FakeProvider();
+  try{
+    const one=await createDurableJobSupervisorR44({stateDir:root,provider,ownerInstanceId:'owner-1'});
+    const job=await one.start({lifetime:'persistent',profileId:'watch',rootId:'core',cwd:'.',args:[]});
+    const two=await createDurableJobSupervisorR44({stateDir:root,provider,ownerInstanceId:'owner-2'});
+    const recovered=await two.status({jobId:job.job_id});
+    assert.equal(recovered.state,'running');assert.equal(recovered.recovered,true);
+    assert.equal(recovered.pid,job.pid);assert.equal(recovered.creation_id,job.creation_id);
+
+    const live=provider.handles.get(job.handle_id);live.creation_id='spoofed';
+    const three=await createDurableJobSupervisorR44({stateDir:root,provider,ownerInstanceId:'owner-3'});
+    assert.equal((await three.status({jobId:job.job_id})).state,'orphaned');
+  }finally{await rm(root,{recursive:true,force:true});}
+});
+
+test('R44 persistent lifetime rejects controller-local provider and state corruption',async()=>{
+  const root=await mkdtemp(path.join(os.tmpdir(),'deadbyte-r44-job-local-'));
+  try{
+    const local=await createDurableJobSupervisorR44({stateDir:root,provider:new FakeProvider({external:false}),ownerInstanceId:'owner'});
+    await assert.rejects(local.start({lifetime:'persistent',profileId:'x',rootId:'core',cwd:'.',args:[]}),/external supervisor/);
+  }finally{await rm(root,{recursive:true,force:true});}
+
+  const corrupt=await mkdtemp(path.join(os.tmpdir(),'deadbyte-r44-job-corrupt-'));
+  try{
+    await writeFile(path.join(corrupt,'jobs.json'),'{"schema":','utf8');
+    await assert.rejects(createDurableJobSupervisorR44({stateDir:corrupt,provider:new FakeProvider(),ownerInstanceId:'owner'}),/state JSON invalid/);
+  }finally{await rm(corrupt,{recursive:true,force:true});}
+});
+
+test('R44 terminate binds exact supervisor handle and becomes durable terminal state',async()=>{
+  const root=await mkdtemp(path.join(os.tmpdir(),'deadbyte-r44-job-term-'));const provider=new FakeProvider();
+  try{
+    const sup=await createDurableJobSupervisorR44({stateDir:root,provider,ownerInstanceId:'owner'});
+    const job=await sup.start({lifetime:'persistent',profileId:'watch',rootId:'core',cwd:'.',args:[]});
+    const ended=await sup.terminate({jobId:job.job_id});
+    assert.equal(ended.state,'terminated');
+    const restarted=await createDurableJobSupervisorR44({stateDir:root,provider,ownerInstanceId:'owner-2'});
+    assert.equal((await restarted.status({jobId:job.job_id})).state,'terminated');
+  }finally{await rm(root,{recursive:true,force:true});}
+});

package/test/evidence-publisher-r42.test.mjs

@@ -0,0 +1,53 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { mkdtemp, readFile, rm } from 'node:fs/promises';
+import os from 'node:os';
+import path from 'node:path';
+import {
+  publishEvidenceAtomic, createExecutionReceipt, createVerificationResult
+} from '../src/evidence-publisher-r42.mjs';
+
+const H=value=>String(value).repeat(64).slice(0,64);
+
+test('R42 evidence publication is atomic, no-clobber and idempotent for identical bytes',async()=>{
+  const root=await mkdtemp(path.join(os.tmpdir(),'deadbyte-r42-evidence-'));
+  try{
+    const one=await publishEvidenceAtomic({root,kind:'eval',evidenceId:'case-1',payload:{status:'passed',score:1}});
+    assert.equal(one.status,'created');
+    const two=await publishEvidenceAtomic({root,kind:'eval',evidenceId:'case-1',payload:{status:'passed',score:1}});
+    assert.equal(two.status,'existing');
+    assert.equal(two.evidence_sha256,one.evidence_sha256);
+    const bytes=await readFile(one.path);
+    assert.equal(H('0')===one.evidence_sha256,false);
+    assert.match(bytes.toString('utf8'),/"payload_sha256":"[0-9a-f]{64}"/);
+  }finally{await rm(root,{recursive:true,force:true});}
+});
+
+test('R42 conflicting concurrent evidence identity fails closed without overwrite',async()=>{
+  const root=await mkdtemp(path.join(os.tmpdir(),'deadbyte-r42-evidence-race-'));
+  try{
+    const settled=await Promise.allSettled([
+      publishEvidenceAtomic({root,kind:'closure',evidenceId:'release-final',payload:{candidate:'a'}}),
+      publishEvidenceAtomic({root,kind:'closure',evidenceId:'release-final',payload:{candidate:'b'}})
+    ]);
+    assert.equal(settled.filter(item=>item.status==='fulfilled').length,1);
+    assert.equal(settled.filter(item=>item.status==='rejected').length,1);
+    assert.match(String(settled.find(item=>item.status==='rejected').reason),/EVIDENCE_ID_CONFLICT/);
+    const winner=settled.find(item=>item.status==='fulfilled').value;
+    const parsed=JSON.parse(await readFile(winner.path,'utf8'));
+    assert.ok(['a','b'].includes(parsed.payload.candidate));
+  }finally{await rm(root,{recursive:true,force:true});}
+});
+
+test('R42 execution receipt and outcome verification are distinct typed artifacts',()=>{
+  const receipt=createExecutionReceipt({execution_id:'exec-1',subject_sha256:H('1'),request_sha256:H('2'),
+    observed_exit_code:0,started_at_utc:'2026-09-20T01:00:00.000Z',completed_at_utc:'2026-09-20T01:00:01.000Z'});
+  assert.equal(receipt.schema,'deadbyte.execution-receipt.v1');
+  assert.equal(Object.hasOwn(receipt,'outcome_passed'),false);
+  const verified=createVerificationResult({verification_id:'verify-1',subject_sha256:H('1'),
+    execution_receipt_sha256:receipt.receipt_sha256,outcome_passed:true,oracle:'runtime_behavior',evidence_refs:[H('3')]});
+  assert.equal(verified.schema,'deadbyte.verification-result.v1');
+  assert.equal(verified.outcome_passed,true);
+  assert.throws(()=>createExecutionReceipt({execution_id:'exec-2',subject_sha256:H('1'),request_sha256:H('2'),
+    observed_exit_code:0,started_at_utc:'2026-09-20T01:00:00.000Z',completed_at_utc:'2026-09-20T01:00:01.000Z',outcome_passed:true}),/unknown field/i);
+});

package/test/external-job-provider-r44.test.mjs

@@ -0,0 +1,46 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { createHash } from 'node:crypto';
+import { mkdir, mkdtemp, rm, writeFile, readFile } from 'node:fs/promises';
+import os from 'node:os';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { createDurableJobSupervisorR44 } from '../src/durable-job-r44.mjs';
+import { createExternalJobProviderR44 } from '../src/external-job-provider-r44.mjs';
+
+const sha=b=>createHash('sha256').update(b).digest('hex');
+const here=path.dirname(fileURLToPath(import.meta.url));
+const repoRoot=path.resolve(here,'..');
+const workerPath=path.join(repoRoot,'src','job-supervisor-host-r44.mjs');
+
+test('R44 real external supervisor preserves persistent job identity across controller recreation',async()=>{
+  const root=await mkdtemp(path.join(os.tmpdir(),'deadbyte-r44-real-supervisor-'));
+  const supervisorState=path.join(root,'host'),jobsState=path.join(root,'jobs'),project=path.join(root,'project');
+  await mkdir(project,{recursive:true});
+  const script=path.join(project,'hold.mjs');
+  await writeFile(script,`process.stdout.write('READY\\n');setInterval(()=>{},1000);\n`,'utf8');
+  const nodeSha=sha(await readFile(process.execPath)), workerSha=sha(await readFile(workerPath));
+  const config={stateDir:supervisorState,nodeExecutable:process.execPath,nodeExecutableSha256:nodeSha,
+    workerPath,workerSha256:workerSha,roots:{core:project},profiles:{
+      hold:{executable:process.execPath,executable_sha256:nodeSha,root_ids:['core'],prefix_args:[script],max_args:4,max_arg_bytes:1024}
+    }};
+  let providerA=null,providerB=null;
+  try{
+    providerA=await createExternalJobProviderR44(config);
+    const one=await createDurableJobSupervisorR44({stateDir:jobsState,provider:providerA,ownerInstanceId:'controller-a'});
+    const started=await one.start({lifetime:'persistent',profileId:'hold',rootId:'core',cwd:'.',args:[]});
+    assert.equal(started.state,'running');assert.ok(started.pid>0);assert.match(started.creation_id,/^[0-9a-f]{64}$/);
+
+    providerB=await createExternalJobProviderR44(config);
+    assert.equal(providerB.descriptor().instance_id,providerA.descriptor().instance_id,'must reconnect same external supervisor');
+    const two=await createDurableJobSupervisorR44({stateDir:jobsState,provider:providerB,ownerInstanceId:'controller-b'});
+    const recovered=await two.status({jobId:started.job_id});
+    assert.equal(recovered.state,'running');assert.equal(recovered.recovered,true);
+    assert.equal(recovered.handle_id,started.handle_id);assert.equal(recovered.pid,started.pid);assert.equal(recovered.creation_id,started.creation_id);
+    const ended=await two.terminate({jobId:started.job_id});assert.equal(ended.state,'terminated');
+  }finally{
+    if(providerB)await providerB.shutdown().catch(()=>{});
+    else if(providerA)await providerA.shutdown().catch(()=>{});
+    await rm(root,{recursive:true,force:true});
+  }
+});

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

@@ -10,8 +10,10 @@ 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 parent=JSON.parse(await readFile(path.join(repoRoot,'R44-PARENT.json'),'utf8'));
+const parentRoot=parent.parent_release_root;
+const serverPath=path.join(parentRoot,'src','mcp-server.mjs');
+const desktopPolicyPath=path.join(parentRoot,'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;}};
 
@@ -70,7 +72,7 @@ test('R40 real max-runtime full stdio catalog is exactly 80 with four Desktop pr
     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'});
+  const transport=new StdioClientTransport({command:process.execPath,args:[serverPath],cwd:parentRoot,env,stderr:'pipe'});
   try{
     await client.connect(transport);
     const listed=await client.listTools();

package/test/full-max-catalog-r44.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('R44 real max-runtime full stdio catalog is exactly 81 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-r44-full-catalog',version:'0.15.0'},{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 {R44_EXPECTED_TOOLS}=await import('../src/remote-mcp-r44-parity-client.mjs');
+    assert.equal(names.length,81,'expected exact full R44 catalog 81, got '+names.length+': '+names.join(','));
+    assert.deepEqual(names,R44_EXPECTED_TOOLS);
+    for(const name of ['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/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/human-clarification-r42.test.mjs

@@ -0,0 +1,53 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { createR34Fixture, planCreateDecision, sendPlannerDecision } from './helpers/autonomous-r34-fixture.mjs';
+
+async function startPlannedGoal(f) {
+  const goal=await f.runtime.submit({submissionId:'r42-clarify',rootId:'project',title:'Clarification',
+    goal:'Choose the correct bounded implementation.',acceptance:'Use the operator choice.',maxIterations:8});
+  let result=await f.runtime.run({goalId:goal.goal_id,maxCycles:2});
+  result=await sendPlannerDecision(f.runtime,goal.goal_id,result,planCreateDecision(),{maxCycles:2});
+  return {goal,result};
+}
+
+test('R42 planner can request typed human clarification and resume with signed answer context',async()=>{
+  const f=await createR34Fixture();
+  try {
+    const {goal,result:first}=await startPlannedGoal(f);
+    const clarify={schema:'deadbyte.autonomous-decision.v2',kind:'clarify',
+      question:'Which compatibility target should be authoritative?',
+      choices:['Preserve R41 behavior','Adopt R42 behavior']};
+    const paused=await sendPlannerDecision(f.runtime,goal.goal_id,first,clarify,{maxCycles:2});
+    assert.equal(paused.status,'paused');
+    assert.equal(paused.reason,'human_input_required');
+    assert.deepEqual(paused.loop.clarification,{question:clarify.question,choices:clarify.choices});
+    const subject=paused.loop.approval_subject.approval_subject_sha256;
+    await assert.rejects(f.runtime.approve({goalId:goal.goal_id,decision:'approve',answer:'Preserve R41 behavior',
+      approvalSubjectSha256:'f'.repeat(64)}),/approval subject mismatch/i);
+    await assert.rejects(f.runtime.approve({goalId:goal.goal_id,decision:'approve',approvalSubjectSha256:subject}),/answer.*required/i);
+    const approved=await f.runtime.approve({goalId:goal.goal_id,decision:'approve',answer:'Preserve R41 behavior',
+      approvalSubjectSha256:subject});
+    assert.equal(approved.status,'approved');
+    const next=await f.runtime.run({goalId:goal.goal_id,maxCycles:2});
+    assert.equal(next.status,'input_required');
+    assert.match(next.planner_request.prompt,/Preserve R41 behavior/);
+    const events=await f.runtime.events({goalId:goal.goal_id,fromSeq:1,limit:200});
+    const provided=events.events.find(event=>event.type==='human_input_provided');
+    assert.equal(provided.payload.answer,'Preserve R41 behavior');
+    assert.match(provided.payload.answer_sha256,/^[0-9a-f]{64}$/);
+    const approval=events.events.find(event=>event.type==='approval_granted');
+    assert.equal(approval.payload.approval_subject_sha256,subject);
+    assert.equal(approval.payload.scope,'human_clarification');
+  } finally { await f.cleanup(); }
+});
+
+test('R42 clarification contract rejects injected fields and oversized choices',async()=>{
+  const f=await createR34Fixture();
+  try {
+    const {goal,result:first}=await startPlannedGoal(f);
+    const injected={schema:'deadbyte.autonomous-decision.v2',kind:'clarify',question:'Choose?',choices:[],command:'cmd.exe'};
+    const repaired=await sendPlannerDecision(f.runtime,goal.goal_id,first,injected,{maxCycles:2});
+    assert.equal(repaired.status,'input_required');
+    assert.match(repaired.planner_request.prompt,/PREVIOUS_RESPONSE_REJECTED/);
+  } finally { await f.cleanup(); }
+});

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/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() {
@@ -47,7 +47,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);