deadbyte-mcp 0.15.1 → 0.15.3

package/src/stdio-console-guard.mjs

@@ -0,0 +1,24 @@
+import { format } from 'node:util';
+
+export function installStdioConsoleGuard({ stderr = process.stderr } = {}) {
+  if (!stderr || typeof stderr.write !== 'function') throw new Error('stdio console guard requires writable stderr');
+  const original = {
+    log: console.log,
+    info: console.info,
+    debug: console.debug
+  };
+  const write = (level, args) => {
+    const text = format(...args);
+    stderr.write(`DEADBYTE MCP ${level.toUpperCase()} ${text}${text.endsWith('\n') ? '' : '\n'}`);
+  };
+  console.log = (...args) => write('log', args);
+  console.info = (...args) => write('info', args);
+  console.debug = (...args) => write('debug', args);
+  return Object.freeze({
+    restore() {
+      console.log = original.log;
+      console.info = original.info;
+      console.debug = original.debug;
+    }
+  });
+}

package/src/version.mjs

@@ -1,4 +1,4 @@
-export const DEADBYTE_VERSION = '0.15.1';
+export const DEADBYTE_VERSION = '0.15.2';
 export const MCP_PROTOCOL_VERSION = '2026-07-28';
 export const RECEIPT_SCHEMA_V1 = 'deadbyte.receipt.v1';
 export const RECEIPT_SCHEMA_V2 = 'deadbyte.receipt.v2';

package/src/workload-substrate.mjs

@@ -0,0 +1,87 @@
+const HEX64=/^[0-9a-f]{64}$/;
+
+function boundedInt(value,name,min,max){
+  if(!Number.isInteger(value)||value<min||value>max) throw new Error(`${name} must be in [${min}, ${max}]`);
+}
+
+export function createSequenceStream({streamId,generation=1,maxItems=10000,maxBytes=8*1024*1024}={}){
+  if(typeof streamId!=='string'||streamId.length<1) throw new Error('streamId required');
+  boundedInt(generation,'generation',1,Number.MAX_SAFE_INTEGER);
+  boundedInt(maxItems,'maxItems',1,1_000_000);
+  boundedInt(maxBytes,'maxBytes',1,1024*1024*1024);
+  const items=[];
+  let nextSeq=1;
+  let retainedBytes=0;
+  let logicalBytes=0;
+  let droppedItems=0;
+  let droppedBytes=0;
+  let status='open';
+
+  const sizeOf=(value,explicitBytes=null)=>{
+    if(Number.isInteger(explicitBytes)&&explicitBytes>=0) return explicitBytes;
+    return Buffer.byteLength(JSON.stringify(value),'utf8');
+  };
+  const coverage=()=>({
+    logical_first_seq:1,
+    logical_last_seq:nextSeq-1,
+    retained_first_seq:items[0]?.seq??nextSeq,
+    retained_last_seq:items.at(-1)?.seq??0,
+    complete:droppedItems===0,
+    truncated:droppedItems>0,
+    missing_ranges:droppedItems>0?[{from:1,to:items[0]?.seq-1??0}]:[],
+    logical_item_count:(nextSeq-1),
+    retained_item_count:items.length,
+    logical_bytes:logicalBytes,
+    retained_bytes:retainedBytes,
+    dropped_items:droppedItems,
+    dropped_bytes:droppedBytes,
+    status
+  });
+
+  function append(value,{producer='default',channel=null,sizeBytes=null}={}){
+    if(status!=='open') throw new Error('stream is not open');
+    const item={seq:nextSeq++,producer,channel,value,_sizeBytes:Number.isInteger(sizeBytes)&&sizeBytes>=0 ? sizeBytes : null};
+    const bytes=item._sizeBytes ?? sizeOf(item);
+    item._sizeBytes=bytes;
+    items.push(item); retainedBytes+=bytes; logicalBytes+=bytes;
+    while(items.length>maxItems||retainedBytes>maxBytes){
+      const evicted=items.shift();
+      const evictedBytes=evicted._sizeBytes ?? sizeOf(evicted);
+      retainedBytes-=evictedBytes;
+      droppedItems+=1; droppedBytes+=evictedBytes;
+    }
+    return item;
+  }
+  function read(fromSeq=1,limit=100){
+    boundedInt(fromSeq,'fromSeq',1,Number.MAX_SAFE_INTEGER);
+    boundedInt(limit,'limit',1,10000);
+    const c=coverage();
+    if(fromSeq<c.retained_first_seq) return {items:[],coverage:c,missing:true,from_seq:fromSeq};
+    const out=items.filter(item=>item.seq>=fromSeq).slice(0,limit);
+    return {items:out,coverage:c,missing:false,from_seq:fromSeq,next_seq:out.length?out.at(-1).seq+1:fromSeq};
+  }
+  function snapshot(){return Object.freeze({stream_id:streamId,generation,next_seq:nextSeq,logical_bytes:logicalBytes,retained_first_seq:coverage().retained_first_seq,retained_last_seq:coverage().retained_last_seq,status});}
+  function delta(previous){
+    if(!previous||previous.stream_id!==streamId||previous.generation!==generation) throw new Error('stream snapshot identity mismatch');
+    const from=previous.next_seq;
+    return read(from,10000);
+  }
+  function close(){status='closed';}
+  return Object.freeze({streamId,generation,append,read,snapshot,delta,coverage,close});
+}
+
+export function createJournalStream({streamId,generation=1,events=[],maxItems=10000,maxBytes=8*1024*1024,producer='journal',channel='event'}={}){
+  const stream=createSequenceStream({streamId,generation,maxItems,maxBytes});
+  for(const event of events){
+    const value=event?.payload && typeof event.payload==='object'
+      ? { seq:event.seq, type:event.type, payload:event.payload, event_sha256:event.event_sha256 }
+      : event;
+    stream.append(value,{producer,channel,sizeBytes:Buffer.byteLength(JSON.stringify(value),'utf8')});
+  }
+  return stream;
+}
+
+export function assertSequenceStreamSnapshot(value){
+  if(!value||typeof value!=='object'||typeof value.stream_id!=='string'||!Number.isInteger(value.next_seq)) throw new Error('invalid stream snapshot');
+  return value;
+}

package/test/cli-entrypoint.test.mjs

@@ -21,7 +21,7 @@ test('npx CLI reports the canonical package version through --version, -v and ve
   for(const arg of ['--version','-v','version']){
     const result=spawnSync(process.execPath,[cliPath,arg],{cwd:root,encoding:'utf8',windowsHide:true});
     assert.equal(result.status,0,result.stderr);
-    assert.equal(result.stdout.trim(),'0.15.1');
+    assert.equal(result.stdout.trim(),'0.15.2');
   }
 });
 
@@ -50,6 +50,6 @@ test('npx CLI exposes local supervisor lifecycle without any supervisor arm comm
 
 test('README makes npx the primary operator UX',async()=>{
   const readme=await readFile(path.join(root,'README.txt'),'utf8');
-  assert.match(readme,/npx -y deadbyte-mcp@0\.15\.1 remote/);
-  assert.match(readme,/npx -y deadbyte-mcp@0\.15\.1 audit verify/);
+  assert.match(readme,/npx -y deadbyte-mcp@0\.15\.2 remote/);
+  assert.match(readme,/npx -y deadbyte-mcp@0\.15\.2 audit verify/);
 });

package/test/coding-runtime.test.mjs

@@ -147,6 +147,18 @@ test('durable coding task chains edit command benchmark and verifies task receip
     const run = await f.tasks.run({ taskId: submitted.task_id, maxSteps: 8 });
     assert.equal(run.status, 'completed');
     assert.equal(run.state, 'succeeded');
+    const status = await f.tasks.status({ taskId: submitted.task_id });
+    assert.equal(status.stream_id, submitted.task_id);
+    assert.equal(status.stream_generation, 1);
+    assert.equal(status.stream_next_seq, 10);
+    assert.equal(status.stream_coverage.logical_item_count, 9);
+    assert.equal(status.stream_coverage.retained_item_count, 9);
+    assert.equal(status.stream_coverage.truncated, false);
+    const page = await f.tasks.events({ taskId: submitted.task_id, fromSeq: 4, limit: 3 });
+    assert.equal(page.stream_id, submitted.task_id);
+    assert.equal(page.events.length, 3);
+    assert.equal(page.events[0].seq, 4);
+    assert.equal(page.events[2].seq, 6);
     const verified = await f.tasks.verify({ taskId: submitted.task_id });
     assert.equal(verified.ok, true);
     assert.equal(verified.action_receipts_verified, 3);

package/test/coding-search-r36.test.mjs

@@ -38,6 +38,13 @@ test('R36 regex search returns multiple matches per file with deterministic sign
     assert.match(first.query_sha256,/^[0-9a-f]{64}$/);
     assert.match(first.snapshot_sha256,/^[0-9a-f]{64}$/);
     assert.match(first.page_sha256,/^[0-9a-f]{64}$/);
+    assert.equal(first.stream_id,first.query_sha256);
+    assert.equal(first.stream_generation,1);
+    assert.equal(first.stream_next_seq,6);
+    assert.equal(first.stream_coverage.logical_item_count,5);
+    assert.equal(first.stream_coverage.retained_item_count,5);
+    assert.equal(first.stream_coverage.complete,true);
+    assert.equal(first.stream_coverage.truncated,false);
     assert.ok(first.next_cursor);
     const second=await f.search({rootId:'core',path:'.',target:'content',mode:'regex',pattern:'foo\\d',caseSensitive:false,pageSize:2,maxResults:20,cursor:first.next_cursor});
     assert.equal(second.matches.length,2);

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

@@ -24,6 +24,8 @@ test('R36 compact gateway schemas reject generic arbitrary dispatch',()=>{
   assert.equal(codingInspectInputSchema.safeParse({op:'call',tool_name:'host_exec',args:{}}).success,false);
   assert.equal(machineFsGatewayInputSchema.safeParse({op:'exec',command:'whoami'}).success,false);
   assert.equal(processSessionGatewayInputSchema.safeParse({op:'stdin',session_id:'0'.repeat(64),input:'raw'}).success,false);
+  assert.equal(processSessionGatewayInputSchema.safeParse({op:'write',session_id:'0'.repeat(64),input:'raw',append_newline:true}).success,true);
+  assert.equal(processSessionGatewayInputSchema.safeParse({op:'write',session_id:'0'.repeat(64),input:'raw',pid:1234}).success,false);
   assert.equal(machineObserveInputSchema.safeParse({op:'revoke',reason:'no'}).success,false);
   assert.equal(desktopControlInputSchema.safeParse({op:'call',tool_name:'host_exec'}).success,false);
 });
@@ -36,6 +38,7 @@ test('R36 compact schemas preserve representative preconditions',()=>{
     op:'move',root_id:'core',source_path:'a.txt',destination_path:'b.txt'
   }).success,false);
   assert.equal(processSessionGatewayInputSchema.safeParse({op:'action',session_id:'b'.repeat(64),action_id:'ping'}).success,true);
+  assert.equal(processSessionGatewayInputSchema.safeParse({op:'read',session_id:'b'.repeat(64),offset:-4096,max_bytes:4096,wait_ms:5000,wait_for:'READY>'}).success,true);
 });
 
 test('R40 registers exactly six compact gateway names including desktop_control',()=>{
@@ -116,3 +119,28 @@ test('R40 desktop_control is stable when runtime is absent and routes typed read
   assert.equal(unavailable.isError,true);
   assert.equal(unavailable.structuredContent.status,'unavailable');
 });
+
+
+test('R46 compact process_session routes guarded write and wait/tail read without adding a tool name',async()=>{
+  const calls=[];
+  const processRuntime={
+    write:async args=>{calls.push(['write',args]);return {logical_bytes:4,logical_sha256:'d'.repeat(64),append_newline:true,session:{session_id:'a'.repeat(64)}};},
+    read:async args=>{calls.push(['read',args]);return {session_id:'a'.repeat(64),offset:0,next_offset:0,earliest_offset:0,stream_head:0,stream_sha256:'b'.repeat(64),truncated:false,wait_satisfied:true,data_base64:'',state:'running',exit_code:null};}
+  };
+  const server=fakeServer();
+  registerCompactGatewayTools(server,{
+    profile:'compact',ledger:{schema:'deadbyte.capability-ledger.v1',entries:[],ledger_sha256:'0'.repeat(64)},
+    codingRuntime:null,semanticRuntime:null,machineFsRuntime:null,processRuntime,observationRuntime:null,machineRuntime:null,desktopRuntime:null,
+    catalogProvider:()=>[...server.tools.keys()]
+  });
+  const tool=server.tools.get('process_session');
+  const wrote=await tool.handler({op:'write',session_id:'a'.repeat(64),input:'x=1',append_newline:true});
+  assert.equal(wrote.isError,false);
+  const read=await tool.handler({op:'read',session_id:'a'.repeat(64),offset:-1024,max_bytes:4096,wait_ms:250,wait_for:'done'});
+  assert.equal(read.isError,false);
+  assert.deepEqual(calls,[
+    ['write',{sessionId:'a'.repeat(64),input:'x=1',appendNewline:true}],
+    ['read',{sessionId:'a'.repeat(64),offset:-1024,maxBytes:4096,waitMs:250,waitFor:'done'}]
+  ]);
+  assert.equal(server.tools.size,6);
+});

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.15.1');
+  assert.equal(result.receipt.runtime.package_version, '0.15.2');
   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/full-max-catalog-r46.test.mjs

@@ -0,0 +1,92 @@
+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('R46 real max-runtime full stdio catalog is exactly 83 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-r46-full-catalog',version:'0.15.2'},{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');
+    const R46_EXPECTED_TOOLS=[...R45_EXPECTED_TOOLS,'process_session_cancel','process_session_write'].sort();
+    assert.equal(names.length,84,'expected exact full R46 catalog 84, got '+names.length+': '+names.join(','));
+    assert.deepEqual(names,R46_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/helpers/autonomous-r34-fixture.mjs

@@ -75,8 +75,17 @@ export async function createR34Fixture({authority='armed',withFailingProfile=fal
   const nativeDiffRuntime = nativeDiffRuntimeFactory ? nativeDiffRuntimeFactory(baseNativeDiffRuntime) : baseNativeDiffRuntime;
   const createRuntime = ({codingRuntimeOverride=codingRuntime,nativeDiffRuntimeOverride=nativeDiffRuntime,desktopMemoryProviderOverride=desktopMemoryProvider,memoryProviderOverride=memoryProvider,desktopRuntimeOverride=desktopRuntime}={}) => createAutonomousRuntime({policy,codingRuntime:codingRuntimeOverride,nativeDiffRuntime:nativeDiffRuntimeOverride,machineFsRuntime,
     desktopRuntime:desktopRuntimeOverride,desktopMemoryProvider:desktopMemoryProviderOverride,memoryProvider:memoryProviderOverride,signingKeyPath:keys.privateKeyPath,verifyKeyPath:keys.publicKeyPath});
+  const rawRuntime=createRuntime();
+  const runtime={...rawRuntime,events:async ({goalId,fromSeq=1,limit=100})=>{
+    const page=await rawRuntime.events({goalId,fromSeq,limit});
+    const eventsDir=path.join(policy.evidence_dir,'goals',goalId,'events');
+    const names=(await (await import('node:fs/promises')).readdir(eventsDir)).filter(name=>/^[0-9]{6}\.json$/.test(name)).sort();
+    const raw=[];
+    for(const name of names.slice(fromSeq-1,fromSeq-1+limit)) raw.push(JSON.parse(await readFile(path.join(eventsDir,name),'utf8')));
+    return {...page,events:raw};
+  }};
   return {
-    root,project,target,keys,codingPolicy,policy,baseCodingRuntime,codingRuntime,machineFsRuntime,nativeDiffRuntime,createRuntime,runtime:createRuntime(),
+    root,project,target,keys,codingPolicy,policy,baseCodingRuntime,codingRuntime,machineFsRuntime,nativeDiffRuntime,createRuntime,runtime,
     initial_sha256:sha(await readFile(target)),arm,disarm,
     cleanup:()=>rm(root,{recursive:true,force:true})
   };

package/test/machine-fs-mcp-tools.test.mjs

@@ -11,7 +11,7 @@ function runtime() {
   return {
     stat: async () => ({ status:'ok', root_id:'core', path:'a.txt', kind:'file', bytes:1, mtime_utc:new Date(0).toISOString(), sha256:hex('a'), identity_sha256:hex('b') }),
     list: async () => ({ status:'ok', root_id:'core', path:'.', entries:[], next_cursor:null }),
-    read: async () => ({ status:'ok', root_id:'core', path:'a.txt', offset:0, next_offset:1, file_size:1, eof:true, data_base64:'YQ==', data_sha256:hex('a'), file_sha256:hex('a') }),
+    read: async () => ({ status:'ok', root_id:'core', path:'a.txt', offset:0, next_offset:1, file_size:1, eof:true, data_base64:'YQ==', data_sha256:hex('a'), file_sha256:hex('a'), timeout_ms:30000 }),
     write: async () => ({ status:'committed', root_id:'core', path:'a.txt', previous_sha256:null, sha256:hex('a'), bytes:1, created:true, receipt_id:'a'.repeat(24), receipt_sha256:hex('b'), request_sha256:hex('c') }),
     editExact: async () => ({ status:'committed', root_id:'core', path:'a.txt', previous_sha256:hex('a'), sha256:hex('b'), bytes:1, replacements:1, receipt_id:'a'.repeat(24), receipt_sha256:hex('b'), request_sha256:hex('c') }),
     mkdir: async () => ({ status:'committed', root_id:'core', path:'d', identity_sha256:hex('a'), receipt_id:'a'.repeat(24), receipt_sha256:hex('b'), request_sha256:hex('c') }),
@@ -35,6 +35,9 @@ test('R31 registers exactly eight bounded machine filesystem tools', () => {
 test('R31 machine filesystem schemas expose root-relative IDs/preconditions only', () => {
   const server = new FakeServer();
   registerMachineFsTools(server, { runtime: runtime() });
+  const read = server.tools.get('machine_fs_read').spec.inputSchema;
+  assert.equal(read.safeParse({ root_id:'core', path:'a.txt', offset:0, max_bytes:65536, hash_file:false, timeout_ms:30000 }).success, true);
+  assert.equal(read.safeParse({ root_id:'core', path:'a.txt', timeout_ms:99 }).success, false);
   const write = server.tools.get('machine_fs_write').spec.inputSchema;
   const move = server.tools.get('machine_fs_move').spec.inputSchema;
   const del = server.tools.get('machine_fs_delete').spec.inputSchema;

package/test/machine-fs-runtime.test.mjs

@@ -10,7 +10,7 @@ import { createMachineFsRuntime, verifyMachineFsReceiptFile } from '../src/machi
 
 const sha = bytes => createHash('sha256').update(bytes).digest('hex');
 
-async function fixture() {
+async function fixture({ readWorkerPath = undefined } = {}) {
   const root = await mkdtemp(path.join(os.tmpdir(), 'deadbyte-machine-fs-'));
   const project = path.join(root, 'project');
   await mkdir(project);
@@ -30,7 +30,7 @@ async function fixture() {
     privateKeyPath: path.join(root, 'private.pem'), publicKeyPath: path.join(root, 'public.pem')
   });
   const runtime = createMachineFsRuntime({
-    policy, signingKeyPath: keys.privateKeyPath, verifyKeyPath: keys.publicKeyPath
+    policy, signingKeyPath: keys.privateKeyPath, verifyKeyPath: keys.publicKeyPath, readWorkerPath
   });
   return { root, project, policy, keys, runtime };
 }
@@ -52,6 +52,7 @@ test('R31 machine fs supports exact mkdir/write/stat/list/range-read/edit/move/d
   const read = await f.runtime.read({ rootId: 'project', relativePath: 'dir/a.txt', offset: 6, maxBytes: 4 });
   assert.equal(Buffer.from(read.data_base64, 'base64').toString('utf8'), 'beta');
   assert.equal(read.next_offset, 10);
+  assert.equal(read.timeout_ms, 30000);
   const edited = await f.runtime.editExact({
     rootId: 'project', relativePath: 'dir/a.txt', expectedSha256: written.sha256,
     oldString: 'beta', newString: 'BETA', expectedReplacements: 1
@@ -103,3 +104,18 @@ test('R31 machine fs fails closed on traversal, denied paths and stale source id
   assert.equal(verified.signature_valid, true);
   assert.equal(verified.operation, 'machine_fs_mkdir');
 });
+
+
+test('R46 machine fs read timeout kills a hung read worker instead of abandoning live I/O', async () => {
+  const root = await mkdtemp(path.join(os.tmpdir(), 'deadbyte-machine-fs-hang-worker-'));
+  const worker = path.join(root, 'hang-worker.mjs');
+  await writeFile(worker, "setInterval(()=>{},1000);\n");
+  const f = await fixture({ readWorkerPath: worker });
+  await writeFile(path.join(f.project, 'hang.txt'), 'never read');
+  const started = Date.now();
+  await assert.rejects(
+    () => f.runtime.read({ rootId:'project', relativePath:'hang.txt', offset:0, maxBytes:16, timeoutMs:100 }),
+    /timed out after 100ms/
+  );
+  assert.ok(Date.now() - started < 3000, 'hung worker was not terminated promptly');
+});

package/test/observation-runtime.test.mjs

@@ -7,7 +7,7 @@ import { generateTrustKeypair } from '../src/trust.mjs';
 import { loadCodingPolicy } from '../src/coding-plane.mjs';
 import { createObservationRuntime, verifyObservationReceiptFile } from '../src/observation-runtime.mjs';
 
-async function fixture() {
+async function fixture(runtimeOptions={}) {
   const root = await mkdtemp(path.join(os.tmpdir(), 'deadbyte-observation-'));
   const project = path.join(root, 'project');
   await mkdir(project); await mkdir(path.join(project, 'blocked'));
@@ -36,7 +36,8 @@ async function fixture() {
   const runtime = createObservationRuntime({
     policy, signingKeyPath:keys.privateKeyPath, verifyKeyPath:keys.publicKeyPath,
     processRuntime, stateRoot:root, processSnapshotProvider, systemSnapshotProvider,
-    ownedRuntimePidProvider: async () => new Set([111])
+    ownedRuntimePidProvider: async () => new Set([111]),
+    ...runtimeOptions
   });
   return { root, project, policy, keys, runtime, getProcessCalls:() => processCalls };
 }
@@ -121,3 +122,29 @@ test('R32 system observation is timestamped and signed without mutation authorit
   assert.equal(verified.ok,true);
   assert.equal(verified.result_head_sha256,status.result_head_sha256);
 });
+
+
+test('R46 observation search sessions expire after bounded terminal TTL and free capacity', async () => {
+  let now=1000;
+  const f=await fixture({searchSessionTtlMs:50,maxSearchSessions:1,clockMs:()=>now});
+  await writeFile(path.join(f.project,'ttl.txt'),'needle\n');
+  const first=await f.runtime.searchStart({rootId:'project',relativePath:'.',pattern:'needle',maxResults:10,maxFiles:10,maxBytes:65536});
+  const done=await waitTerminal(f.runtime,first.search_id);
+  assert.equal(done.state,'completed');
+  now+=60;
+  await assert.rejects(f.runtime.searchStatus({searchId:first.search_id}),/unknown or expired search/);
+  const second=await f.runtime.searchStart({rootId:'project',relativePath:'.',pattern:'needle',maxResults:10,maxFiles:10,maxBytes:65536});
+  assert.match(second.search_id,/^[0-9a-f]{64}$/);
+});
+
+test('R46 observation search hard cap fails closed while all retained sessions are active', async () => {
+  const f=await fixture({searchSessionTtlMs:5000,maxSearchSessions:2});
+  await writeFile(path.join(f.project,'cap.txt'),'needle\n');
+  const a=await f.runtime.searchStart({rootId:'project',relativePath:'.',pattern:'needle'});
+  const b=await f.runtime.searchStart({rootId:'project',relativePath:'.',pattern:'needle'});
+  assert.match(a.search_id,/^[0-9a-f]{64}$/);
+  assert.match(b.search_id,/^[0-9a-f]{64}$/);
+  await assert.rejects(f.runtime.searchStart({rootId:'project',relativePath:'.',pattern:'needle'}),/session limit reached/);
+  await waitTerminal(f.runtime,a.search_id).catch(()=>{});
+  await waitTerminal(f.runtime,b.search_id).catch(()=>{});
+});

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

@@ -1,4 +1,4 @@
-import test from 'node:test';
+import test from 'node:test';
 import assert from 'node:assert/strict';
 import { registerProcessTools } from '../src/process-mcp-tools.mjs';
 
@@ -12,7 +12,10 @@ function session(state = 'running') {
   return {
     session_id: hex('a'), profile_id: 'hold', root_id: 'core', cwd: '.', child_pid: 1234,
     creation_filetime: '133700000000000000', state, exit_code: state === 'running' ? null : 0,
-    earliest_offset: 0, stream_head: 4, stream_sha256: hex('b'), journal_head_sha256: hex('c')
+    earliest_offset: 0, stream_head: 4, stream_sha256: hex('b'),
+    stream_id: hex('f'), stream_generation: 1, stream_next_seq: 2,
+    stream_coverage: { logical_first_seq: 1, logical_last_seq: 1, retained_first_seq: 1, retained_last_seq: 1, complete: true, truncated: false, missing_ranges: [], logical_item_count: 1, retained_item_count: 1, logical_bytes: 4, retained_bytes: 4, dropped_items: 0, dropped_bytes: 0, status: 'open' },
+    termination: null, deadline: null, journal_head_sha256: hex('c')
   };
 }
 
@@ -20,18 +23,19 @@ function runtime() {
   return {
     start: async () => session(), read: async () => ({
       session_id: hex('a'), offset: 0, next_offset: 4, earliest_offset: 0, stream_head: 4,
-      stream_sha256: hex('b'), truncated: false, data_base64: 'VEVTVA==', state: 'running', exit_code: null
+      stream_sha256: hex('b'), truncated: false, wait_satisfied: true, data_base64: 'VEVTVA==', state: 'running', exit_code: null
     }),
     status: async () => session(), list: async () => ({ sessions: [session()] }),
+    write: async ({ input, appendNewline }) => ({ logical_bytes: Buffer.byteLength(input + (appendNewline ? '\r\n' : '')), logical_sha256: hex('e'), append_newline: appendNewline, session: session() }),
     action: async ({ actionId }) => ({ action_id: actionId, logical_bytes: 4, logical_sha256: hex('d'), session: session() }),
     terminate: async () => session('terminated')
   };
 }
-test('R32 registers exactly six bounded process supervision tools', () => {
+test('R46 registers exactly seven bounded process supervision tools', () => {
   const server = new FakeServer();
   registerProcessTools(server, { runtime: runtime() });
   assert.deepEqual([...server.tools.keys()].sort(), [
-    'process_session_action','process_session_list','process_session_read','process_session_start','process_session_status','process_session_terminate'
+    'process_session_action','process_session_cancel','process_session_list','process_session_read','process_session_start','process_session_status','process_session_terminate','process_session_write'
   ]);
   for (const [name, tool] of server.tools) {
     assert.ok(tool.spec.inputSchema, `${name} input schema missing`);
@@ -41,7 +45,7 @@ test('R32 registers exactly six bounded process supervision tools', () => {
   }
 });
 
-test('R32 process tool inputs expose IDs and bounds but no executable or raw input field', () => {
+test('R46 process tool inputs expose guarded raw input only through process_session_write', () => {
   const server = new FakeServer();
   registerProcessTools(server, { runtime: runtime() });
   const start = server.tools.get('process_session_start').spec.inputSchema;
@@ -52,6 +56,10 @@ test('R32 process tool inputs expose IDs and bounds but no executable or raw inp
   assert.equal(start.safeParse({ profile_id: 'hold', root_id: 'core', input: 'whoami' }).success, false);
   assert.equal(terminate.safeParse({ session_id: hex('a') }).success, true);
   assert.equal(terminate.safeParse({ pid: 1234 }).success, false);
+  const write = server.tools.get('process_session_write').spec.inputSchema;
+  assert.equal(write.safeParse({ session_id: hex('a'), input: 'Write-Output 42', append_newline: true }).success, true);
+  assert.equal(write.safeParse({ session_id: hex('a'), input: '' }).success, false);
+  assert.equal(write.safeParse({ session_id: hex('a'), input: 'x', pid: 1234 }).success, false);
   assert.equal(action.safeParse({ session_id: hex('a'), action_id: 'ping' }).success, true);
   for (const forbidden of ['input','command','executable','environment','pid']) {
     assert.equal(action.safeParse({ session_id: hex('a'), action_id: 'ping', [forbidden]: 'forbidden' }).success, false);
@@ -69,3 +77,16 @@ test('R32 process action handler returns only strict logical identity and update
   assert.equal(result.structuredContent.session.state, 'running');
   assert.equal(tool.spec.outputSchema.safeParse({ ...result.structuredContent, raw_input: 'forbidden' }).success, false);
 });
+
+
+test('R46 process write handler returns only input identity and session state', async () => {
+  const server = new FakeServer();
+  registerProcessTools(server, { runtime: runtime() });
+  const tool = server.tools.get('process_session_write');
+  const result = await tool.handler({ session_id: hex('a'), input: 'Write-Output 42', append_newline: true });
+  assert.equal(result.isError, false);
+  assert.deepEqual(Object.keys(result.structuredContent).sort(), ['append_newline','logical_bytes','logical_sha256','session','status']);
+  assert.equal(result.structuredContent.append_newline, true);
+  assert.equal(result.structuredContent.session.state, 'running');
+  assert.equal(tool.spec.outputSchema.safeParse({ ...result.structuredContent, raw_input: 'forbidden' }).success, false);
+});