deadbyte-mcp 0.12.0 → 0.14.0

package/test/task-contract-r42.test.mjs

@@ -0,0 +1,41 @@
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import { createR34Fixture } from './helpers/autonomous-r34-fixture.mjs';
+
+const contract={
+  schema:'deadbyte.task-contract.v1',
+  scope:['src/autonomous-*','test/*r42*'],
+  non_goals:['No generic shell','No implicit grant renewal'],
+  constraints:['Preserve R41 compatibility','Use exact preconditions'],
+  evidence_requirements:['Focused tests pass','Signed journal verifies'],
+  risk_level:'high',
+  clarification_policy:'ask_when_blocked',
+  project_default:'lightweight',
+  explicit_override:'structured'
+};
+
+test('R42 task contract is identity-bound and visible to every planner round',async()=>{
+  const f=await createR34Fixture();
+  try {
+    const goal=await f.runtime.submit({submissionId:'r42-task-contract',rootId:'project',title:'Contract',
+      goal:'Implement bounded behavior.',acceptance:'All required evidence passes.',taskContract:contract,maxIterations:8});
+    const status=await f.runtime.status({goalId:goal.goal_id});
+    assert.equal(status.state,'pending');
+    const run=await f.runtime.run({goalId:goal.goal_id,maxCycles:1});
+    assert.equal(run.status,'input_required');
+    assert.match(run.planner_request.prompt,/deadbyte\.task-contract\.v1/);
+    assert.match(run.planner_request.prompt,/No generic shell/);
+    assert.match(run.planner_request.prompt,/Signed journal verifies/);
+    assert.match(run.planner_request.prompt,/"effective_rigor":"agentic"/);
+  } finally { await f.cleanup(); }
+});
+
+test('R42 task contract rejects authority widening fields and invalid risk',async()=>{
+  const f=await createR34Fixture();
+  try {
+    await assert.rejects(f.runtime.submit({submissionId:'r42-task-injected',rootId:'project',title:'Contract',
+      goal:'Reject injection.',acceptance:'Fail closed.',taskContract:{...contract,shell:'cmd.exe'}}),/unknown field|task contract/i);
+    await assert.rejects(f.runtime.submit({submissionId:'r42-task-risk',rootId:'project',title:'Contract',
+      goal:'Reject risk.',acceptance:'Fail closed.',taskContract:{...contract,risk_level:'unbounded'}}),/risk_level/i);
+  } finally { await f.cleanup(); }
+});