harness-everything 0.13.0 → 0.15.0

package/.claude-plugin/marketplace.json

@@ -10,7 +10,7 @@
       "name": "harness-everything",
       "source": "./",
       "description": "Harness OS: an orchestrated agent operating system — tier routing, circuit breaker guardrails, verification gates, WAL session memory, and self-evolving workspace rules.",
-      "version": "0.13.0",
+      "version": "0.15.0",
       "author": {
         "name": "Miya Daniel"
       },

package/.claude-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "harness-everything",
   "description": "Harness OS: an orchestrated agent operating system — tier routing, circuit breaker guardrails, verification gates, WAL session memory, and self-evolving workspace rules.",
-  "version": "0.13.0",
+  "version": "0.15.0",
   "author": {
     "name": "Miya Daniel"
   },

package/CHANGELOG.md

@@ -2,6 +2,39 @@
 
 All notable changes to this project are documented in this file.
 
+## [0.15.0](https://github.com/dyphn1/Harness-everything/compare/v0.14.0...v0.15.0) (2026-09-20)
+
+### Features
+
+* **contract:** add freshness provenance helpers ([865fc0b](https://github.com/dyphn1/Harness-everything/commit/865fc0bdb111feff865c3a85767fc587aecbd11a))
+* **contract:** emit requirement-scoped repair guidance ([cbd33ce](https://github.com/dyphn1/Harness-everything/commit/cbd33ce18fb8575671056bd4b2701bd0138baa96))
+* **contract:** reject stale completion reports ([79ea49e](https://github.com/dyphn1/Harness-everything/commit/79ea49e40f110fe062ac714519597e8a23a6ab5b))
+* **contract:** sync freshness audit runtime ([c5d0381](https://github.com/dyphn1/Harness-everything/commit/c5d038163b7ff2dc14e11bd4733e140e85e39f55))
+
+### Bug Fixes
+
+* **contract:** harden freshness evidence boundaries ([33ebbda](https://github.com/dyphn1/Harness-everything/commit/33ebbdafb2b63c4ece86ee81c14c4fcc6d33907f))
+* **contract:** launch npm probes cross-platform ([9ca5315](https://github.com/dyphn1/Harness-everything/commit/9ca5315cb30e8f03b08fb1f8789a141ea1179af4))
+* **contract:** launch npm probes cross-platform ([2cad76e](https://github.com/dyphn1/Harness-everything/commit/2cad76e217af136d934946f05c740d816e051acd))
+* **contract:** require complete freshness provenance ([5b6d717](https://github.com/dyphn1/Harness-everything/commit/5b6d717487fce37dcd1d1e8cbe8b037597035103))
+* **contract:** require complete freshness provenance ([d94e256](https://github.com/dyphn1/Harness-everything/commit/d94e2562c54d615d223a8572fd4d468e017a5807))
+
+## [0.14.0](https://github.com/dyphn1/Harness-everything/compare/v0.13.0...v0.14.0) (2026-09-20)
+
+### Features
+
+* **contract:** add node npm probe adapter ([02f4044](https://github.com/dyphn1/Harness-everything/commit/02f4044c82a6cb082d4b8e4fe810071afe064c21))
+* **contract:** add packaged node probe adapter ([de72904](https://github.com/dyphn1/Harness-everything/commit/de7290434346cdc358ea119845c72ddca3ea0090))
+* **contract:** package node probe adapter runtime ([783dc8f](https://github.com/dyphn1/Harness-everything/commit/783dc8f891a3244461f3dfe154542bad15125f15))
+
+### Bug Fixes
+
+* **contract:** close linked-workspace isolation gap ([574ea2f](https://github.com/dyphn1/Harness-everything/commit/574ea2f299ae02aa93785cca7aa5b4a829e9f961))
+* **contract:** launch npm probes cross-platform ([b39b2c0](https://github.com/dyphn1/Harness-everything/commit/b39b2c09a223c64d3665d383852a6313fff888fc))
+* **contract:** launch npm probes cross-platform ([723bae1](https://github.com/dyphn1/Harness-everything/commit/723bae19ac4a05bfefe44ad0d61bd5dfb8b0ba50))
+* **contract:** reject symlink probe escapes ([bf577a5](https://github.com/dyphn1/Harness-everything/commit/bf577a5b58dec2a4779709402146073f0fd0ce29))
+* **contract:** reject symlink probe escapes ([5e3c569](https://github.com/dyphn1/Harness-everything/commit/5e3c569b1b7b883490e40fd66a64385f2d24d717))
+
 ## [0.13.0](https://github.com/dyphn1/Harness-everything/compare/v0.12.3...v0.13.0) (2026-09-19)
 
 ### Features

package/ci/contract-integrity.test.js

@@ -265,5 +265,159 @@ for (const relative of [
     'Phase 2 OpenAI package mirror matches canonical: ' + relative);
 }
 
-console.log(`\n${failed === 0 ? 'PASS' : 'FAIL'}: #84 contract integrity phase 1-2 (${failed} failure${failed === 1 ? '' : 's'})`);
+// Phase 4: reports carry actionable requirement-scoped repair guidance and
+// content fingerprints so stale completion evidence cannot be reused.
+check(driftReport.repairGuidance.some(item =>
+  item.requirementId === 'REQ-001' && item.code === 'update-living-spec' &&
+  item.sourceRef === 'docs/specs/api.md#REQ-001'),
+  'stale-spec drift emits requirement-scoped living-spec repair guidance');
+check(paddedReport.repairGuidance.some(item =>
+  item.requirementId === 'REQ-001' && item.code === 'strengthen-weak-oracle' && item.priority === 'BLOCKER'),
+  'surviving required probe emits BLOCKER weak-oracle guidance');
+check(/Repair Guidance/.test(markdown(driftReport)) && /REQ-001/.test(markdown(driftReport)),
+  'Markdown keeps repair guidance concise and tied to requirement identity');
+
+const freshRoot = fs.mkdtempSync(path.join(os.tmpdir(), 'harness-contract-freshness-'));
+try {
+  const workspace = path.join(freshRoot, 'workspace');
+  fs.mkdirSync(workspace, { recursive: true });
+  for (const artifact of baseline.artifacts) {
+    const file = path.join(workspace, artifact.path);
+    fs.mkdirSync(path.dirname(file), { recursive: true });
+    fs.writeFileSync(file, artifact.id + ': fixture content\n', 'utf8');
+  }
+  const tracePath = path.join(freshRoot, 'trace.json');
+  const tddPath = path.join(freshRoot, 'tdd.json');
+  const reportPath = path.join(freshRoot, 'report.json');
+  fs.writeFileSync(tracePath, JSON.stringify(baseline), 'utf8');
+  fs.writeFileSync(tddPath, JSON.stringify(baselineTdd), 'utf8');
+
+  const unboundReportPath = path.join(freshRoot, 'report-unbound.json');
+  const unboundAudit = spawnSync(process.execPath, [
+    path.join(ROOT, 'contract-integrity/scripts/audit.js'),
+    tracePath,
+    '--tdd-evidence', tddPath,
+    '--output', unboundReportPath,
+  ], { encoding: 'utf8' });
+  check(unboundAudit.status === 0, 'strict audit may emit a PASS report without workspace binding for immediate inspection');
+  const emptyWorkspace = path.join(freshRoot, 'empty-workspace');
+  fs.mkdirSync(emptyWorkspace, { recursive: true });
+  const unboundFreshness = spawnSync(process.execPath, [
+    path.join(ROOT, 'contract-integrity/scripts/audit.js'),
+    tracePath,
+    '--tdd-evidence', tddPath,
+    '--workspace', emptyWorkspace,
+    '--verify-fresh', unboundReportPath,
+  ], { encoding: 'utf8' });
+  check(unboundFreshness.status === 1 &&
+    /report-workspace-unbound/.test(unboundFreshness.stderr) &&
+    /artifact-fingerprint-missing:/.test(unboundFreshness.stderr),
+    'report created without workspace fingerprints cannot later authorize freshness against a supplied workspace');
+
+  const audit = spawnSync(process.execPath, [
+    path.join(ROOT, 'contract-integrity/scripts/audit.js'),
+    tracePath,
+    '--tdd-evidence', tddPath,
+    '--workspace', workspace,
+    '--output', reportPath,
+  ], { encoding: 'utf8' });
+  check(audit.status === 0, 'strict audit with existing workspace artifacts produces fresh PASS report', audit.stderr);
+  const freshReport = JSON.parse(fs.readFileSync(reportPath, 'utf8'));
+  check(freshReport.provenance?.inputs?.trace?.sha256 &&
+    freshReport.provenance?.inputs?.tddEvidence?.sha256 &&
+    freshReport.provenance?.artifacts?.length === baseline.artifacts.length &&
+    freshReport.provenance.artifacts.every(item => item.sha256 && item.missing === false),
+    'report provenance records trace/TDD hashes plus current artifact hashes');
+
+  const verifyFresh = () => spawnSync(process.execPath, [
+    path.join(ROOT, 'contract-integrity/scripts/audit.js'),
+    tracePath,
+    '--tdd-evidence', tddPath,
+    '--workspace', workspace,
+    '--verify-fresh', reportPath,
+  ], { encoding: 'utf8' });
+
+  const current = verifyFresh();
+  check(current.status === 0 && /Freshness: PASS/.test(current.stdout),
+    'unchanged PASS report can authorize completion');
+
+  const failingTracePath = path.join(freshRoot, 'trace-failing.json');
+  const failingReportPath = path.join(freshRoot, 'report-failing.json');
+  const failingTrace = clone(baseline);
+  failingTrace.probes[0].status = 'SURVIVED';
+  failingTrace.probes[0].failureClass = 'none';
+  fs.writeFileSync(failingTracePath, JSON.stringify(failingTrace), 'utf8');
+  const failingAudit = spawnSync(process.execPath, [
+    path.join(ROOT, 'contract-integrity/scripts/audit.js'),
+    failingTracePath,
+    '--tdd-evidence', tddPath,
+    '--workspace', workspace,
+    '--output', failingReportPath,
+  ], { encoding: 'utf8' });
+  check(failingAudit.status === 1, 'surviving required probe produces a reusable FAIL report fixture');
+  const forgedReport = JSON.parse(fs.readFileSync(failingReportPath, 'utf8'));
+  forgedReport.result = 'PASS';
+  forgedReport.completionGate = 'PASS';
+  fs.writeFileSync(failingReportPath, JSON.stringify(forgedReport), 'utf8');
+  const forgedFreshness = spawnSync(process.execPath, [
+    path.join(ROOT, 'contract-integrity/scripts/audit.js'),
+    failingTracePath,
+    '--tdd-evidence', tddPath,
+    '--workspace', workspace,
+    '--verify-fresh', failingReportPath,
+  ], { encoding: 'utf8' });
+  check(forgedFreshness.status === 1 && /current-audit-not-pass/.test(forgedFreshness.stderr),
+    'freshness verification re-derives the current gate instead of trusting forged PASS fields');
+
+  const linkedWorkspace = path.join(freshRoot, 'linked-workspace');
+  fs.mkdirSync(linkedWorkspace, { recursive: true });
+  for (const artifact of baseline.artifacts.filter(item => item.id !== 'IMPL-001')) {
+    const file = path.join(linkedWorkspace, artifact.path);
+    fs.mkdirSync(path.dirname(file), { recursive: true });
+    fs.writeFileSync(file, artifact.id + ': fixture content\n', 'utf8');
+  }
+  const outsideImpl = path.join(freshRoot, 'outside-implementation');
+  fs.mkdirSync(outsideImpl, { recursive: true });
+  fs.writeFileSync(path.join(outsideImpl, 'api.js'), 'IMPL-001: fixture content\n', 'utf8');
+  fs.symlinkSync(outsideImpl, path.join(linkedWorkspace, 'src'),
+    process.platform === 'win32' ? 'junction' : 'dir');
+  const linkedAudit = spawnSync(process.execPath, [
+    path.join(ROOT, 'contract-integrity/scripts/audit.js'),
+    tracePath,
+    '--tdd-evidence', tddPath,
+    '--workspace', linkedWorkspace,
+  ], { encoding: 'utf8' });
+  check(linkedAudit.status === 2 && /linked-path: IMPL-001/.test(linkedAudit.stderr),
+    'workspace-aware audit rejects artifact paths that resolve through a symlink or junction');
+
+  const testArtifact = path.join(workspace, 'tests/api.test.js');
+  fs.appendFileSync(testArtifact, 'changed after audit\n', 'utf8');
+  const staleTestReport = verifyFresh();
+  check(staleTestReport.status === 1 &&
+    /artifact-changed-since-audit:TEST-001/.test(staleTestReport.stderr),
+    'test artifact change invalidates previously passing report');
+  fs.writeFileSync(testArtifact, 'TEST-001: fixture content\n', 'utf8');
+
+  fs.writeFileSync(tddPath, JSON.stringify({ ...baselineTdd, changedAfterAudit: true }), 'utf8');
+  const staleEvidence = verifyFresh();
+  check(staleEvidence.status === 1 &&
+    /tdd-evidence-changed-since-audit/.test(staleEvidence.stderr),
+    '#58 evidence change invalidates previously passing report');
+
+  fs.writeFileSync(tddPath, JSON.stringify(baselineTdd), 'utf8');
+  fs.rmSync(path.join(workspace, 'src/api.js'));
+  const missingArtifactAudit = spawnSync(process.execPath, [
+    path.join(ROOT, 'contract-integrity/scripts/audit.js'),
+    tracePath,
+    '--tdd-evidence', tddPath,
+    '--workspace', workspace,
+  ], { encoding: 'utf8' });
+  check(missingArtifactAudit.status === 2 &&
+    /provenance artifact missing from workspace: IMPL-001/.test(missingArtifactAudit.stderr),
+    'strict workspace-aware audit fails closed when traced implementation evidence is missing');
+} finally {
+  fs.rmSync(freshRoot, { recursive: true, force: true });
+}
+
+console.log(`\n${failed === 0 ? 'PASS' : 'FAIL'}: #84 contract integrity phase 1-4 mechanism (${failed} failure${failed === 1 ? '' : 's'})`);
 process.exit(failed === 0 ? 0 : 1);

package/ci/mechanism-2ak-contract-probe-adapter.test.js

@@ -0,0 +1,207 @@
+#!/usr/bin/env node
+'use strict';
+
+const assert = require('assert');
+const fs = require('fs');
+const os = require('os');
+const path = require('path');
+const { spawnSync } = require('child_process');
+
+const ROOT = path.resolve(__dirname, '..');
+const FIXTURE = path.join(ROOT, 'contract-integrity', 'fixtures', 'node-probe-project');
+const ADAPTER = path.join(ROOT, 'contract-integrity', 'scripts', 'node-probe-adapter.js');
+const { applyProbe, executePlan, validatePlan } = require(ADAPTER);
+const { evaluateTrace } = require(path.join(ROOT, 'contract-integrity', 'scripts', 'audit.js'));
+
+let failed = 0;
+function check(condition, message, detail = '') {
+  if (condition) console.log('  PASS ' + message);
+  else {
+    console.error('  FAIL ' + message + (detail ? ' — ' + detail : ''));
+    failed++;
+  }
+}
+function clone(value) {
+  return JSON.parse(JSON.stringify(value));
+}
+function json(file) {
+  return JSON.parse(fs.readFileSync(file, 'utf8'));
+}
+function digest(file) {
+  return require('crypto').createHash('sha256').update(fs.readFileSync(file)).digest('hex');
+}
+
+console.log('=== Contract Integrity Phase 3 Node Probe Adapter (#84) ===');
+
+const plan = json(path.join(FIXTURE, 'probe-plan.json'));
+check(validatePlan(plan).length === 0, 'declared node-npm-v1 probe plan validates');
+
+const beforeSource = digest(path.join(FIXTURE, 'src', 'limit.js'));
+const beforeTest = digest(path.join(FIXTURE, 'test', 'contract.test.js'));
+const protectedReport = executePlan(FIXTURE, plan);
+check(protectedReport.result === 'PROTECTED', 'green baseline plus both explicit probes produces PROTECTED evidence');
+check(protectedReport.probes.length === 2 && protectedReport.probes.every(probe =>
+  probe.status === 'KILLED' && probe.failureClass === 'contract' && probe.workspaceIsolation === 'isolated'),
+  'env and exact-replace probes are killed only by expected contract failures');
+check(digest(path.join(FIXTURE, 'src', 'limit.js')) === beforeSource &&
+  digest(path.join(FIXTURE, 'test', 'contract.test.js')) === beforeTest,
+  'adapter never mutates the source workspace');
+check(!JSON.stringify(protectedReport).includes('out-of-range input must be rejected'),
+  'probe report retains output hashes/evidence refs instead of project test output');
+
+const trace = json(path.join(ROOT, 'contract-integrity', 'fixtures', 'consistent-trace.json'));
+trace.probes = protectedReport.probes.filter(probe => probe.probeId === 'PROBE-001').map(probe => ({
+  probeId: probe.probeId,
+  requirementId: probe.requirementId,
+  status: probe.status,
+  sourceSection: probe.sourceSection,
+  evidenceRef: probe.evidenceRef,
+  workspaceIsolation: probe.workspaceIsolation,
+  failureClass: probe.failureClass,
+}));
+const tdd = json(path.join(ROOT, 'tdd', 'fixtures', 'pass-evidence.json'));
+tdd.requirements[0].source.path = 'docs/specs/api.md';
+tdd.requirements[0].source.section = 'REQ-001';
+const integrated = evaluateTrace(trace, { tddEvidence: tdd });
+check(integrated.result === 'PASS' && integrated.scores.protectionScore === 100,
+  'derived adapter evidence feeds the existing #84/#58 strict integrity gate');
+
+const survivingPlan = clone(plan);
+survivingPlan.probes = [clone(plan.probes[0])];
+survivingPlan.probes[0].env.HARNESS_CONTRACT_PROBE = 'noop';
+const surviving = executePlan(FIXTURE, survivingPlan);
+check(surviving.result === 'SURVIVED' && surviving.probes[0].status === 'SURVIVED',
+  'green test run under a required probe is explicitly SURVIVED, never PASS');
+const weakTrace = clone(trace);
+weakTrace.probes[0] = {
+  probeId: surviving.probes[0].probeId,
+  requirementId: surviving.probes[0].requirementId,
+  status: surviving.probes[0].status,
+  sourceSection: surviving.probes[0].sourceSection,
+  evidenceRef: surviving.probes[0].evidenceRef,
+  workspaceIsolation: surviving.probes[0].workspaceIsolation,
+  failureClass: surviving.probes[0].failureClass,
+};
+const weakAudit = evaluateTrace(weakTrace, { tddEvidence: tdd });
+check(weakAudit.result === 'FAIL' && weakAudit.scores.completenessScore === 100 &&
+  weakAudit.scores.protectionScore === 0,
+  'green but weak suite cannot compensate 100 completeness with a surviving contract probe');
+
+const unrelatedPlan = clone(plan);
+unrelatedPlan.probes = [clone(plan.probes[0])];
+unrelatedPlan.probes[0].expectedFailureContains = 'THIS-MARKER-DOES-NOT-EXIST';
+const unrelated = executePlan(FIXTURE, unrelatedPlan);
+check(unrelated.probes[0].status === 'INVALID' && unrelated.probes[0].failureClass === 'unknown',
+  'unrelated failing test output is INVALID and cannot be credited as a kill');
+
+const ambiguousReplace = clone(plan);
+ambiguousReplace.probes = [clone(plan.probes[1])];
+ambiguousReplace.probes[0].find = 'return';
+const ambiguous = executePlan(FIXTURE, ambiguousReplace);
+check(ambiguous.probes[0].status === 'NOT_EVALUATED' &&
+  /exactly once/.test(ambiguous.probes[0].adapterReason),
+  'ambiguous exact-replace fallback fails closed without mutating source');
+
+const temp = fs.mkdtempSync(path.join(os.tmpdir(), 'harness-contract-adapter-test-'));
+try {
+  const symlinkWorkspace = path.join(temp, 'symlink-workspace');
+  fs.mkdirSync(symlinkWorkspace, { recursive: true });
+  const outsideDir = path.join(temp, 'outside-dir');
+  fs.mkdirSync(outsideDir, { recursive: true });
+  const outsideTarget = path.join(outsideDir, 'outside.txt');
+  fs.writeFileSync(outsideTarget, 'SAFE', 'utf8');
+  fs.symlinkSync(outsideDir, path.join(symlinkWorkspace, 'linked-dir'),
+    process.platform === 'win32' ? 'junction' : 'dir');
+  let symlinkRejected = false;
+  try {
+    applyProbe(symlinkWorkspace, {
+      strategy: 'replace',
+      target: path.join('linked-dir', 'outside.txt'),
+      find: 'SAFE',
+      replace: 'MUTATED',
+    });
+  } catch (error) {
+    symlinkRejected = /symbolic link|reparse-point|outside isolated workspace/.test(String(error.message || error));
+  }
+  check(symlinkRejected && fs.readFileSync(outsideTarget, 'utf8') === 'SAFE',
+    'replace probe rejects symlink/junction escape without mutating outside the isolated workspace');
+
+  const linkedProject = path.join(temp, 'linked-project');
+  fs.mkdirSync(linkedProject, { recursive: true });
+  fs.writeFileSync(path.join(linkedProject, 'package.json'), JSON.stringify({
+    name: 'linked-project',
+    scripts: { contract: 'node test.js' },
+  }), 'utf8');
+  fs.writeFileSync(path.join(linkedProject, 'test.js'), [
+    "const fs = require('fs');",
+    "const path = require('path');",
+    "fs.writeFileSync(path.join(__dirname, 'linked-dir', 'outside.txt'), 'MUTATED', 'utf8');",
+  ].join('\n'), 'utf8');
+  fs.symlinkSync(outsideDir, path.join(linkedProject, 'linked-dir'),
+    process.platform === 'win32' ? 'junction' : 'dir');
+  const linkedPlan = {
+    schemaVersion: '1.0.0',
+    adapter: 'node-npm-v1',
+    script: 'contract',
+    probes: [{
+      probeId: 'PROBE-LINK',
+      requirementId: 'REQ-LINK',
+      sourceSection: 'Linked workspace',
+      strategy: 'env',
+      expectedFailureContains: 'unused',
+      env: { HARNESS_CONTRACT_PROBE: 'link' },
+    }],
+  };
+  const linkedReport = executePlan(linkedProject, linkedPlan);
+  check(linkedReport.result === 'NOT_EVALUATED' &&
+    linkedReport.baseline.workspaceIsolation === 'not-isolated' &&
+    linkedReport.probes.every(probe => probe.workspaceIsolation === 'not-isolated') &&
+    fs.readFileSync(outsideTarget, 'utf8') === 'SAFE',
+    'workspace copy rejects source symlinks/junctions before project code can mutate an outside target');
+
+  const dependent = path.join(temp, 'dependent');
+  fs.cpSync(FIXTURE, dependent, { recursive: true });
+  const pkg = json(path.join(dependent, 'package.json'));
+  pkg.dependencies = { leftpad: '1.0.0' };
+  fs.writeFileSync(path.join(dependent, 'package.json'), JSON.stringify(pkg, null, 2), 'utf8');
+  const dependencyReport = executePlan(dependent, plan);
+  check(dependencyReport.result === 'NOT_EVALUATED' &&
+    dependencyReport.discovery.reason === 'external-dependencies-not-supported-v1',
+    'v1 adapter refuses to infer/install external dependencies');
+
+  const broken = path.join(temp, 'broken');
+  fs.cpSync(FIXTURE, broken, { recursive: true });
+  fs.appendFileSync(path.join(broken, 'test', 'contract.test.js'), "\nthrow new Error('baseline fixture failure');\n", 'utf8');
+  const baselineFailure = executePlan(broken, plan);
+  check(baselineFailure.result === 'NOT_EVALUATED' &&
+    baselineFailure.baseline.status === 'FAIL' &&
+    baselineFailure.probes.every(probe => probe.status === 'NOT_EVALUATED'),
+    'non-green baseline blocks all protection claims');
+} finally {
+  fs.rmSync(temp, { recursive: true, force: true });
+}
+
+const invalidPlan = clone(plan);
+invalidPlan.probes[0].target = '../escape.js';
+invalidPlan.probes[0].strategy = 'replace';
+invalidPlan.probes[0].find = 'x';
+invalidPlan.probes[0].replace = 'y';
+delete invalidPlan.probes[0].env;
+check(validatePlan(invalidPlan).some(error => /repo-relative/.test(error)),
+  'probe plan rejects replace targets that escape the isolated workspace');
+
+const protectedCli = spawnSync(process.execPath, [
+  ADAPTER, '--workspace', FIXTURE, '--plan', path.join(FIXTURE, 'probe-plan.json'),
+], { encoding: 'utf8' });
+check(protectedCli.status === 0 && /"result": "PROTECTED"/.test(protectedCli.stdout),
+  'CLI returns exit 0 only for fully killed declared probes', protectedCli.stderr);
+
+const docs = fs.readFileSync(path.join(ROOT, 'contract-integrity', 'ADAPTERS.md'), 'utf8');
+check(/does \*\*not\*\* claim generic mutation-testing support/.test(docs) &&
+  /zero external npm dependencies/.test(docs) &&
+  /Not yet supported/.test(docs),
+  'adapter documentation states exact supported scope and explicit non-support');
+
+console.log('\n' + (failed === 0 ? 'PASS' : 'FAIL') +
+  ': #84 contract protection node adapter (' + failed + ' failure' + (failed === 1 ? '' : 's') + ')');
+process.exit(failed === 0 ? 0 : 1);

package/ci/openai-plugin-package.test.js

@@ -120,6 +120,16 @@ assert.doesNotMatch(packagedAuditSource, /\.\.\/\.\.\/tdd\/scripts\/quality-gate
 const packagedAudit = require(packagedContractAudit);
 assert.strictEqual(typeof packagedAudit.runCli, 'function', 'packaged contract audit runtime must load and export runCli');
 
+const packagedProbeAdapter = path.join(PLUGIN, 'contract-integrity', 'scripts', 'node-probe-adapter.js');
+const packagedAdapterDocs = path.join(PLUGIN, 'contract-integrity', 'ADAPTERS.md');
+assert.ok(fs.existsSync(packagedProbeAdapter) && fs.existsSync(packagedAdapterDocs),
+  'OpenAI package must include shared contract-probe adapter runtime and support boundary docs');
+const packagedAdapter = require(packagedProbeAdapter);
+assert.strictEqual(packagedAdapter.ADAPTER, 'node-npm-v1',
+  'packaged contract-probe adapter must load without becoming a routed skill');
+assert.match(fs.readFileSync(packagedAdapterDocs, 'utf8'), /does \*\*not\*\* claim generic mutation-testing support/,
+  'packaged adapter docs must preserve the narrow support boundary');
+
 const verificationContractWrapper = path.join(PLUGIN, 'skills', 'verification-loop', 'scripts', 'contract-integrity-audit.js');
 assert.ok(fs.existsSync(verificationContractWrapper), 'verification-loop must package its contract audit wrapper');
 const verificationWrapper = require(verificationContractWrapper);

package/contract-integrity/ADAPTERS.md

@@ -0,0 +1,37 @@
+# Contract Protection Adapters
+
+This directory does **not** claim generic mutation-testing support.
+
+## Supported in Phase 3
+
+### `node-npm-v1`
+
+Supported project shape:
+
+- Node.js project with a `package.json`;
+- one explicitly selected npm script used as the contract-test command;
+- **zero external npm dependencies** for this first adapter revision;
+- probes are predeclared in a local JSON plan and tied to stable `REQ-*` IDs and authoritative source sections;
+- every baseline and probe run executes in a fresh temporary copy; the source workspace is never mutated.
+
+Source workspaces containing symbolic-link or junction entries are rejected before project code runs. The v1 adapter does not claim isolation when a copied path could retain an external filesystem target.
+
+Supported probe strategies:
+
+1. **`env`** — explicit project-owned fault injection via environment variables.
+2. **`replace`** — exact one-occurrence text replacement in the isolated copy only. This is the fallback when the project has no built-in fault-injection seam.
+
+A probe is `KILLED` only when the selected npm script fails **and** its output contains the predeclared requirement-specific observable marker. A green run is `SURVIVED`. Timeout/spawn failures, baseline failures, unsafe/ambiguous replacement, missing dependencies, or unrelated failures are `NOT_EVALUATED` / `INVALID`; none of those earn protection credit.
+
+The adapter does not install dependencies, access the network, infer mutation locations, rewrite source documents, or commit generated probes.
+
+## Not yet supported
+
+- arbitrary Jest/Vitest/Mocha/Pytest/Go/Rust/.NET adapter discovery;
+- projects that require dependency installation inside the isolated copy;
+- automatic source-derived mutation synthesis;
+- compiler-failure-as-kill;
+- flaky-test attribution;
+- dirty-worktree mutation or in-place production changes.
+
+Those remain future adapters/slices. Phase 3 intentionally proves one narrow real runner plus an explicit isolated fault-injection fallback.

package/contract-integrity/fixtures/node-probe-project/package.json

@@ -0,0 +1,8 @@
+{
+  "name": "contract-probe-fixture",
+  "private": true,
+  "version": "1.0.0",
+  "scripts": {
+    "test:contract": "node --test test/contract.test.js"
+  }
+}

package/contract-integrity/fixtures/node-probe-project/probe-plan.json

@@ -0,0 +1,27 @@
+{
+  "schemaVersion": "1.0.0",
+  "adapter": "node-npm-v1",
+  "script": "test:contract",
+  "probes": [
+    {
+      "probeId": "PROBE-001",
+      "requirementId": "REQ-001",
+      "sourceSection": "docs/specs/api.md#REQ-001",
+      "strategy": "env",
+      "env": {
+        "HARNESS_CONTRACT_PROBE": "accept-invalid"
+      },
+      "expectedFailureContains": "[REQ-001]"
+    },
+    {
+      "probeId": "PROBE-REPLACE",
+      "requirementId": "REQ-001",
+      "sourceSection": "docs/specs/api.md#REQ-001",
+      "strategy": "replace",
+      "target": "src/limit.js",
+      "find": "return Number.isInteger(value) && value >= 1 && value <= 10;",
+      "replace": "return true;",
+      "expectedFailureContains": "[REQ-001]"
+    }
+  ]
+}

package/contract-integrity/fixtures/node-probe-project/src/limit.js

@@ -0,0 +1,8 @@
+'use strict';
+
+function acceptsLimit(value) {
+  if (process.env.HARNESS_CONTRACT_PROBE === 'accept-invalid') return true;
+  return Number.isInteger(value) && value >= 1 && value <= 10;
+}
+
+module.exports = { acceptsLimit };

package/contract-integrity/fixtures/node-probe-project/test/contract.test.js

@@ -0,0 +1,14 @@
+'use strict';
+
+const test = require('node:test');
+const assert = require('node:assert/strict');
+const { acceptsLimit } = require('../src/limit');
+
+test('[REQ-001] accepts supported boundary', () => {
+  assert.equal(acceptsLimit(1), true);
+  assert.equal(acceptsLimit(10), true);
+});
+
+test('[REQ-001] rejects out-of-range input', () => {
+  assert.equal(acceptsLimit(0), false, '[REQ-001] out-of-range input must be rejected');
+});