agentic-workflow-manager 9.9.0 → 9.10.0

package/dist/src/commands/model-policy/index.js

@@ -6,6 +6,7 @@ const providers_1 = require("../../providers");
 const store_1 = require("../../core/model-policy/store");
 const validate_1 = require("../../core/model-policy/validate");
 const capabilities_1 = require("../../core/model-policy/capabilities");
+const digest_1 = require("../../core/model-policy/digest");
 const roles = ['implementer', 'specification-reviewer', 'code-quality-reviewer', 'final-reviewer', 'architecture', 'track-a-qa', 'track-b-qa', 'controller', 'documentation', 'retro', 'finishing'];
 const implementerProfiles = ['mechanical', 'integration', 'judgment'];
 const contract = { schema: 'routing-protocol/v1', supportedPlanSchemas: ['compact-slices/v1', 'compact-slices/v2'], roles, implementerProfiles, limits: { maxFileBytes: validate_1.MAX_POLICY_BYTES, maxMappings: validate_1.MAX_MAPPINGS, maxIdentifierChars: 128, maxDiagnostics: 20, maxDiagnosticChars: 4096 } };
@@ -20,9 +21,21 @@ function registerModelPolicyCommand(program, deps = {}) {
     const read = deps.readEffectivePolicy ?? store_1.readEffectivePolicy;
     const approveReceipt = deps.approveCapabilities ?? capabilities_1.approveCapabilities;
     const readReceipt = deps.readCapabilities ?? capabilities_1.readCapabilities;
+    const digest = deps.candidateDigest ?? digest_1.candidateDigest;
     const command = program.command('model-policy').description('inspect and explicitly approve portable routing policy');
     command.command('contract').option('--cwd <path>').option('--json').action((options) => { if (options.cwd !== undefined)
         text(options.cwd, '--cwd'); output({ ...contract, protocolDigest }, options.json === true); });
+    // Approval demands --expected-digest so that it stays an explicit operator
+    // act. Without a way to observe the digest first, that safeguard blocked the
+    // legitimate path instead of gating it, and the only way through was to
+    // reimplement canonicalisation outside the CLI — the second parser the
+    // admission contract forbids. This discloses the digest and approves nothing.
+    command.command('digest').description('compute the canonical digest of a candidate policy or capability receipt without approving it').requiredOption('--file <path>').option('--cwd <path>').option('--json').action((options) => {
+        text(options.file, '--file');
+        if (options.cwd !== undefined)
+            text(options.cwd, '--cwd');
+        output(digest({ file: options.file, cwd: options.cwd ?? process.cwd() }), options.json === true);
+    });
     command.command('approve').requiredOption('--file <path>').requiredOption('--scope <scope>').requiredOption('--expected-digest <sha>').option('--replace-digest <sha>').option('--cwd <path>').option('--json').action((options) => {
         text(options.file, '--file');
         text(options.scope, '--scope');
@@ -37,7 +50,15 @@ function registerModelPolicyCommand(program, deps = {}) {
         const policy = approve({ file: options.file, scope: options.scope, cwd: options.cwd ?? process.cwd(), expectedDigest: options.expectedDigest, replaceDigest: options.replaceDigest });
         output({ state: 'approved', policy }, options.json === true);
     });
-    command.command('capabilities approve').requiredOption('--file <path>').requiredOption('--expected-digest <sha>').option('--replace-digest <sha>').option('--cwd <path>').option('--json').action((options) => {
+    // `command('capabilities approve')` registered ONE command named
+    // `capabilities` with a required positional `<approve>`, so Commander called
+    // the action as (positional, options, command) and the handler's first
+    // parameter — read as `options` — was the string 'approve'. Every invocation
+    // therefore died on `--file requires a non-empty value`, and the path could
+    // never approve anything. A real subcommand group keeps the invocation
+    // spelling identical and gives the action the options object it expects.
+    const capabilities = command.command('capabilities').description('inspect and explicitly approve runtime capability attestations');
+    capabilities.command('approve').requiredOption('--file <path>').requiredOption('--expected-digest <sha>').option('--replace-digest <sha>').option('--cwd <path>').option('--json').action((options) => {
         text(options.file, '--file');
         text(options.expectedDigest, '--expected-digest');
         if (options.replaceDigest !== undefined)

package/dist/src/core/model-policy/digest.js

@@ -0,0 +1,35 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.candidateDigest = candidateDigest;
+const path_1 = __importDefault(require("path"));
+const json_1 = require("../plan/json");
+const capabilities_1 = require("./capabilities");
+const canonical_1 = require("./canonical");
+const store_1 = require("./store");
+const validate_1 = require("./validate");
+const CONTROL = /[\u0000-\u001f\u007f-\u009f]/;
+function assertPath(value, label) {
+    if (typeof value !== 'string' || value.length === 0 || value.length > 4096 || CONTROL.test(value))
+        throw new Error(`${label} must be a bounded path without control characters`);
+}
+function candidateDigest(input) {
+    if (!input || typeof input !== 'object')
+        throw new Error('digest input is required');
+    assertPath(input.file, 'file');
+    assertPath(input.cwd, 'cwd');
+    const raw = (0, store_1.readBoundedCandidate)(path_1.default.resolve(path_1.default.resolve(input.cwd), input.file));
+    if (raw === null)
+        throw new Error('digest candidate is absent');
+    const parsed = (0, json_1.parseJsonNoDuplicate)(raw);
+    if (!parsed || typeof parsed !== 'object' || Array.isArray(parsed))
+        throw new Error('digest candidate must be a JSON object');
+    const schema = parsed.schema;
+    if (schema === 'model-policy/v1')
+        return { schema, digest: (0, canonical_1.canonicalPolicyDigest)((0, validate_1.validatePolicyContent)(parsed)) };
+    if (schema === 'routing-capabilities/v1')
+        return { schema, digest: (0, capabilities_1.capabilityReceiptDigest)((0, capabilities_1.validateCapabilityReceipt)(parsed)) };
+    throw new Error('digest candidate must declare schema model-policy/v1 or routing-capabilities/v1');
+}

package/dist/src/core/model-policy/resolve.js

@@ -79,33 +79,72 @@ function resolveSelection(input) {
     let selection = wanted;
     const unavailableEvidence = [];
     let outcome = 'native';
-    const canDegrade = (capability, allowed, code) => {
-        const state = capabilities.capabilities[capability];
+    // Surrendering the model means the runtime picks, so the only safe landing
+    // place is the attested runtime default, and it must be the approved full
+    // capability. Surrendering the EFFORT is a narrower loss and is handled
+    // separately below: collapsing to fullCapability there would throw away a
+    // model override the runtime demonstrably honours.
+    const degradeModel = () => {
+        const state = capabilities.capabilities.modelOverride;
         if (state === 'supported')
             return undefined;
         if (state === 'unverified')
-            return blocked(code, `${capability} is unverified.`);
-        if (!allowed || !capabilities.runtimeDefaultSelection || !equal(capabilities.runtimeDefaultSelection, mapping.fullCapability))
-            return blocked(code, `${capability} is unavailable and no matching approved full default is attested.`);
+            return blocked('ROUTING_MODEL_OVERRIDE_UNAVAILABLE', 'modelOverride is unverified.');
+        if (!mapping.degradation.allowMissingModelOverride || !capabilities.runtimeDefaultSelection || !equal(capabilities.runtimeDefaultSelection, mapping.fullCapability))
+            return blocked('ROUTING_MODEL_OVERRIDE_UNAVAILABLE', 'modelOverride is unavailable and no matching approved full default is attested.');
         selection = mapping.fullCapability;
         outcome = 'degraded';
-        unavailableEvidence.push(capability);
+        unavailableEvidence.push('modelOverride');
         return undefined;
     };
-    const model = canDegrade('modelOverride', mapping.degradation.allowMissingModelOverride, 'ROUTING_MODEL_OVERRIDE_UNAVAILABLE');
+    // Degrading effort surrenders the effort component ONLY, keeping the routed
+    // model. On a runtime where the model can be overridden but reasoning effort
+    // cannot — effort belongs to the agent definition, not the invocation — the
+    // alternative was to route every profile to the full-capability model, so a
+    // mechanical slice would quietly run the judgment model while the diagnostic
+    // spoke only of effort. That is the silent defaulting the consumer reference
+    // forbids. The model at runtime-default effort must itself be attested.
+    const degradeEffort = () => {
+        const state = capabilities.capabilities.effortOverride;
+        if (state === 'supported')
+            return undefined;
+        if (state === 'unverified')
+            return blocked('ROUTING_EFFORT_OVERRIDE_UNAVAILABLE', 'effortOverride is unverified.');
+        if (!mapping.degradation.allowMissingEffortOverride)
+            return blocked('ROUTING_EFFORT_OVERRIDE_UNAVAILABLE', 'effortOverride is unavailable and the mapping does not allow degrading it.');
+        const degraded = { selector: selection.selector, effort: { kind: 'runtime-default' } };
+        if (!capabilities.runtimeDefaultSelection || !capabilities.availableSelections.some(candidate => equal(candidate, degraded)))
+            return blocked('ROUTING_EFFORT_OVERRIDE_UNAVAILABLE', 'effortOverride is unavailable and the routed model at runtime-default effort is not attested.');
+        selection = degraded;
+        outcome = 'degraded';
+        unavailableEvidence.push('effortOverride');
+        return undefined;
+    };
+    const model = degradeModel();
     if (model)
         return model;
-    if (!capabilities.availableSelections.some(candidate => equal(candidate, selection)))
-        return blocked('ROUTING_SELECTION_UNAVAILABLE', 'Approved selection is not currently available; no substitute is allowed.');
-    if (selection.effort.kind === 'runtime-default') {
-        if (!capabilities.runtimeDefaultSelection || !equal(capabilities.runtimeDefaultSelection, selection))
-            return blocked('ROUTING_SELECTION_UNAVAILABLE', 'Runtime-default selection is not explicitly attested.');
-    }
-    else {
-        const effort = canDegrade('effortOverride', mapping.degradation.allowMissingEffortOverride, 'ROUTING_EFFORT_OVERRIDE_UNAVAILABLE');
+    if (selection.effort.kind === 'explicit') {
+        const effort = degradeEffort();
         if (effort)
             return effort;
     }
+    // availableSelections is the receipt's attestation of what can actually be
+    // chosen, so it is checked on the FINAL selection, after any degradation
+    // rewrote it. Checking it first forced a runtime that cannot honour explicit
+    // effort to attest selections it could never run, purely to reach the
+    // degradation that would then discard them — the honest receipt was the one
+    // that failed.
+    if (!capabilities.availableSelections.some(candidate => equal(candidate, selection)))
+        return blocked('ROUTING_SELECTION_UNAVAILABLE', 'Approved selection is not currently available; no substitute is allowed.');
+    // A runtime-default effort is only meaningful if the receipt declares what the
+    // runtime default is. It need NOT equal this selection: requiring that made
+    // every per-profile selection unreachable on a runtime whose default model
+    // differs, even with modelOverride attested supported and the selection
+    // itself attested available. Attesting `haiku at runtime-default effort` is
+    // precisely the statement that the model may be overridden while effort is
+    // left alone.
+    if (selection.effort.kind === 'runtime-default' && !capabilities.runtimeDefaultSelection)
+        return blocked('ROUTING_SELECTION_UNAVAILABLE', 'Runtime-default selection is not explicitly attested.');
     if (capabilities.capabilities.observedModelEvidence !== 'supported') {
         if (!mapping.degradation.allowMissingObservedIdentity)
             return blocked('ROUTING_OBSERVED_IDENTITY_UNAVAILABLE', 'Observed model identity is required and unavailable.');

package/dist/src/core/model-policy/store.js

@@ -3,6 +3,7 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.readBoundedCandidate = readBoundedCandidate;
 exports.readEffectivePolicy = readEffectivePolicy;
 exports.approvePolicyWithBoundary = approvePolicyWithBoundary;
 exports.approvePolicy = approvePolicy;
@@ -45,7 +46,13 @@ catch (error) {
     if (error.code !== 'ENOENT')
         throw error;
 } }
-function readBounded(file) {
+/**
+ * Bounded, symlink-refusing, identity-fenced read of a candidate or stored file.
+ * Exported so the read-only digest path observes a file under exactly the same
+ * constraints the approval path does, rather than growing a second reader that
+ * could drift from it.
+ */
+function readBoundedCandidate(file) {
     assertSafeParents(file);
     let inspected;
     try {
@@ -106,7 +113,7 @@ function readEffectivePolicy(cwd) {
     assertPath(cwd, 'cwd');
     const project = (0, paths_1.projectPolicyPath)(cwd);
     try {
-        const raw = readBounded(project);
+        const raw = readBoundedCandidate(project);
         if (raw !== null)
             return { state: 'approved', provenance: 'project', policy: parseApproved(raw) };
     }
@@ -115,7 +122,7 @@ function readEffectivePolicy(cwd) {
     }
     const user = (0, paths_1.userPolicyPath)();
     try {
-        const raw = readBounded(user);
+        const raw = readBoundedCandidate(user);
         if (raw === null)
             return { state: 'absent' };
         return { state: 'approved', provenance: 'user', policy: parseApproved(raw) };
@@ -134,7 +141,7 @@ function approvePolicyWithBoundary(input, boundary) {
     if (input.replaceDigest !== undefined)
         (0, validate_1.assertDigest)(input.replaceDigest, 'replaceDigest');
     const cwd = path_1.default.resolve(input.cwd);
-    const candidateRaw = readBounded(path_1.default.resolve(cwd, input.file));
+    const candidateRaw = readBoundedCandidate(path_1.default.resolve(cwd, input.file));
     if (candidateRaw === null)
         throw new Error('policy candidate is absent');
     const content = (0, validate_1.validatePolicyContent)((0, json_1.parseJsonNoDuplicate)(candidateRaw));
@@ -147,7 +154,7 @@ function approvePolicyWithBoundary(input, boundary) {
     assertRegularOrAbsent(target);
     const unlock = lock(target);
     try {
-        const existingRaw = readBounded(target);
+        const existingRaw = readBoundedCandidate(target);
         const existing = existingRaw === null ? null : parseApproved(existingRaw);
         if (existing === null && input.replaceDigest !== undefined)
             throw new Error('replacement requires an existing predecessor');

package/dist/tests/commands/model-policy/index.test.js

@@ -47,11 +47,71 @@ describe('model-policy command', () => {
         expect(JSON.parse(String(out.mock.calls[0][0]))).toMatchObject({ policy: { state: 'absent' }, capability: { state: 'stale' } });
         expect(process.exitCode).toBe(2);
     });
+    it('discloses the canonical digest through a read-only subcommand', async () => {
+        const candidateDigest = jest.fn(() => ({ schema: 'model-policy/v1', digest: 'b'.repeat(64) }));
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, model_policy_1.registerModelPolicyCommand)(program, { candidateDigest });
+        await program.parseAsync(['node', 'awm', 'model-policy', 'digest', '--file', 'policy.json', '--cwd', 'fixture-root', '--json']);
+        expect(candidateDigest).toHaveBeenCalledWith({ file: 'policy.json', cwd: 'fixture-root' });
+        expect(JSON.parse(String(out.mock.calls[0][0]))).toEqual({ schema: 'model-policy/v1', digest: 'b'.repeat(64) });
+    });
+    it('takes no approval arguments on digest, so it cannot approve by accident', async () => {
+        const candidateDigest = jest.fn(() => ({ schema: 'model-policy/v1', digest: 'b'.repeat(64) }));
+        const approvePolicy = jest.fn();
+        const approveCapabilities = jest.fn();
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, model_policy_1.registerModelPolicyCommand)(program, { candidateDigest, approvePolicy: approvePolicy, approveCapabilities: approveCapabilities });
+        await expect(program.parseAsync(['node', 'awm', 'model-policy', 'digest', '--file', 'policy.json', '--expected-digest', 'a'.repeat(64)])).rejects.toThrow();
+        expect(approvePolicy).not.toHaveBeenCalled();
+        expect(approveCapabilities).not.toHaveBeenCalled();
+    });
+    it('rejects a missing or malformed --file on digest instead of digesting the flag', async () => {
+        const candidateDigest = jest.fn(() => ({ schema: 'model-policy/v1', digest: 'b'.repeat(64) }));
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, model_policy_1.registerModelPolicyCommand)(program, { candidateDigest });
+        await expect(program.parseAsync(['node', 'awm', 'model-policy', 'digest'])).rejects.toThrow();
+        await expect(program.parseAsync(['node', 'awm', 'model-policy', 'digest', '--file', '--cwd'])).rejects.toThrow(/requires a non-empty value/);
+        expect(candidateDigest).not.toHaveBeenCalled();
+    });
+    // This positive case is what the negative guard below could never establish.
+    // While `capabilities approve` was registered as one command with a
+    // positional `<approve>`, Commander handed the action (positional, options),
+    // so `--file` read as undefined and EVERY invocation — well-formed ones
+    // included — died on 'requires a non-empty value'. A suite that only
+    // asserted that rejection was green against a command that could not
+    // approve at all.
+    it('reaches the capability approval with parsed options, not a positional', async () => {
+        const approveCapabilities = jest.fn(() => ({ schema: 'routing-capabilities/v1' }));
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, model_policy_1.registerModelPolicyCommand)(program, { approveCapabilities: approveCapabilities });
+        await program.parseAsync(['node', 'awm', 'model-policy', 'capabilities', 'approve', '--file', 'receipt.json', '--expected-digest', 'a'.repeat(64), '--cwd', 'fixture-root', '--json']);
+        expect(approveCapabilities).toHaveBeenCalledWith({ file: 'receipt.json', cwd: 'fixture-root', expectedDigest: 'a'.repeat(64), replaceDigest: undefined });
+        expect(JSON.parse(String(out.mock.calls[0][0]))).toMatchObject({ state: 'approved' });
+    });
+    it('rejects an unknown capabilities subcommand instead of treating it as an approval', async () => {
+        const approveCapabilities = jest.fn();
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, model_policy_1.registerModelPolicyCommand)(program, { approveCapabilities: approveCapabilities });
+        await expect(program.parseAsync(['node', 'awm', 'model-policy', 'capabilities', 'revoke', '--file', 'receipt.json', '--expected-digest', 'a'.repeat(64)])).rejects.toThrow();
+        expect(approveCapabilities).not.toHaveBeenCalled();
+    });
     it('rejects an empty replacement digest for capability approval at the command boundary', async () => {
+        const approveCapabilities = jest.fn();
         const program = new commander_1.Command();
         program.exitOverride();
         program.configureOutput({ writeErr: () => undefined });
-        (0, model_policy_1.registerModelPolicyCommand)(program, { approveCapabilities: jest.fn() });
+        (0, model_policy_1.registerModelPolicyCommand)(program, { approveCapabilities: approveCapabilities });
         await expect(program.parseAsync(['node', 'awm', 'model-policy', 'capabilities', 'approve', '--file', 'receipt.json', '--expected-digest', 'a'.repeat(64), '--replace-digest', ''])).rejects.toThrow(/requires a non-empty value/);
+        expect(approveCapabilities).not.toHaveBeenCalled();
     });
 });

package/dist/tests/core/model-policy/digest.test.js

@@ -0,0 +1,117 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+const fs_1 = __importDefault(require("fs"));
+const os_1 = __importDefault(require("os"));
+const path_1 = __importDefault(require("path"));
+const digest_1 = require("../../../src/core/model-policy/digest");
+const store_1 = require("../../../src/core/model-policy/store");
+const capabilities_1 = require("../../../src/core/model-policy/capabilities");
+const canonical_1 = require("../../../src/core/model-policy/canonical");
+const capabilities_2 = require("../../../src/core/model-policy/capabilities");
+const sha = 'a'.repeat(64);
+const policy = () => ({ schema: 'model-policy/v1', mappings: [{ target: 'codex', runtimeKind: 'native', profiles: {
+                mechanical: { selector: { kind: 'model', id: 'gpt-5.6-luna' }, effort: { kind: 'explicit', value: 'medium' } },
+                integration: { selector: { kind: 'model', id: 'gpt-5.6-terra' }, effort: { kind: 'explicit', value: 'medium' } },
+                judgment: { selector: { kind: 'model', id: 'gpt-5.6-sol' }, effort: { kind: 'explicit', value: 'medium' } },
+            }, fullCapability: { selector: { kind: 'model', id: 'gpt-5.6-sol' }, effort: { kind: 'explicit', value: 'high' } }, degradation: { allowMissingModelOverride: false, allowMissingEffortOverride: false, allowMissingObservedIdentity: false } }], implementationBudget: { maxAttempts: 3, escalation: ['mechanical', 'integration', 'judgment'], judgmentEfforts: ['medium', 'high'] } });
+const receipt = () => ({
+    schema: 'routing-capabilities/v1',
+    runtime: { target: 'codex', kind: 'native', version: '1.0.0', accountScopeDigest: sha },
+    recordedAt: '2026-09-17T00:00:00.000Z', expiresAt: '2026-09-18T00:00:00.000Z',
+    capabilities: { artifactDelivery: 'unverified', interactiveExecution: 'supported', unattendedController: 'supported', nativeSubagents: 'unverified', modelOverride: 'supported', effortOverride: 'supported', observedModelEvidence: 'supported', durableResume: 'unverified' },
+    availableSelections: [{ selector: { kind: 'model', id: 'full' }, effort: { kind: 'explicit', value: 'high' } }],
+    runtimeDefaultSelection: { selector: { kind: 'model', id: 'full' }, effort: { kind: 'explicit', value: 'high' } },
+    evidence: ['interactiveExecution', 'unattendedController', 'modelOverride', 'effortOverride', 'observedModelEvidence'].map(capability => ({ capability, kind: 'native-control', receiptDigest: sha })),
+    approval: { approvalId: 'approval-1', snapshotDigest: sha },
+});
+describe('candidateDigest', () => {
+    let cwd;
+    const home = process.env.HOME;
+    const awmHome = process.env.AWM_HOME;
+    beforeEach(() => { cwd = fs_1.default.mkdtempSync(path_1.default.join(fs_1.default.realpathSync(os_1.default.tmpdir()), 'awm-digest-')); process.env.HOME = cwd; process.env.AWM_HOME = path_1.default.join(cwd, '.awm'); });
+    afterEach(() => { fs_1.default.rmSync(cwd, { recursive: true, force: true }); if (home === undefined)
+        delete process.env.HOME;
+    else
+        process.env.HOME = home; if (awmHome === undefined)
+        delete process.env.AWM_HOME;
+    else
+        process.env.AWM_HOME = awmHome; });
+    const write = (name, value) => { const file = path_1.default.join(cwd, name); fs_1.default.writeFileSync(file, `${JSON.stringify(value, null, 2)}\n`); return name; };
+    it('emits the digest the policy approval path will demand, not a second opinion', () => {
+        const file = write('policy.json', policy());
+        expect((0, digest_1.candidateDigest)({ file, cwd })).toEqual({ schema: 'model-policy/v1', digest: (0, canonical_1.canonicalPolicyDigest)(policy()) });
+    });
+    it('emits the digest the capability approval path will demand', () => {
+        const file = write('receipt.json', receipt());
+        expect((0, digest_1.candidateDigest)({ file, cwd })).toEqual({ schema: 'routing-capabilities/v1', digest: (0, capabilities_2.capabilityReceiptDigest)(receipt()) });
+    });
+    it('is insensitive to key order and whitespace, because the digest is over the canonical form', () => {
+        const content = policy();
+        const reordered = { implementationBudget: content.implementationBudget, mappings: content.mappings, schema: content.schema };
+        fs_1.default.writeFileSync(path_1.default.join(cwd, 'a.json'), JSON.stringify(content));
+        fs_1.default.writeFileSync(path_1.default.join(cwd, 'b.json'), JSON.stringify(reordered, null, 4));
+        expect((0, digest_1.candidateDigest)({ file: 'a.json', cwd }).digest).toBe((0, digest_1.candidateDigest)({ file: 'b.json', cwd }).digest);
+    });
+    it('refuses a document whose declared schema it does not own, instead of guessing', () => {
+        const file = write('other.json', { schema: 'approved-model-policy/v1' });
+        expect(() => (0, digest_1.candidateDigest)({ file, cwd })).toThrow(/schema model-policy\/v1 or routing-capabilities\/v1/);
+    });
+    it('refuses an invalid document rather than emitting a digest approval would reject', () => {
+        const broken = policy();
+        delete broken.implementationBudget;
+        const file = write('broken.json', broken);
+        expect(() => (0, digest_1.candidateDigest)({ file, cwd })).toThrow();
+    });
+    it('reports an absent candidate loudly', () => {
+        expect(() => (0, digest_1.candidateDigest)({ file: 'missing.json', cwd })).toThrow(/absent/);
+    });
+    it('refuses a symlinked candidate, matching the approval path', () => {
+        write('policy.json', policy());
+        fs_1.default.symlinkSync(path_1.default.join(cwd, 'policy.json'), path_1.default.join(cwd, 'link.json'));
+        expect(() => (0, digest_1.candidateDigest)({ file: 'link.json', cwd })).toThrow(/unsafe/);
+    });
+    it('rejects malformed input instead of returning undefined', () => {
+        expect(() => (0, digest_1.candidateDigest)(undefined)).toThrow(/digest input is required/);
+        expect(() => (0, digest_1.candidateDigest)({ file: '', cwd })).toThrow(/bounded path/);
+        expect(() => (0, digest_1.candidateDigest)({ file: 'policy.json', cwd: '' })).toThrow(/bounded path/);
+        fs_1.default.writeFileSync(path_1.default.join(cwd, 'array.json'), '[]');
+        expect(() => (0, digest_1.candidateDigest)({ file: 'array.json', cwd })).toThrow(/must be a JSON object/);
+    });
+    // The point of the command: the digest it discloses is the one approval
+    // demands. A digest that merely looked plausible would be worthless, so the
+    // proof is that approval ACCEPTS it, not that two functions agree.
+    it('produces a digest that the policy approval path accepts end to end', () => {
+        const file = write('policy.json', policy());
+        const observed = [];
+        const boundary = {
+            withProjectLease: (_root, operation) => operation(),
+            readRegularFile: (target) => { const entry = { bytes: fs_1.default.readFileSync(target), identity: Object.freeze({}) }; observed.push(entry); return entry; },
+            writeProjectTransaction: (root, destination, content) => { const target = path_1.default.join(root, destination); fs_1.default.mkdirSync(path_1.default.dirname(target), { recursive: true }); fs_1.default.writeFileSync(target, content); },
+        };
+        const approved = (0, store_1.approvePolicyWithBoundary)({ file, scope: 'project', cwd, expectedDigest: (0, digest_1.candidateDigest)({ file, cwd }).digest }, boundary);
+        expect(approved.contentDigest).toBe((0, digest_1.candidateDigest)({ file, cwd }).digest);
+        expect(JSON.parse(fs_1.default.readFileSync(path_1.default.join(cwd, '.awm', 'model-policy.json'), 'utf8')).contentDigest).toBe(approved.contentDigest);
+    });
+    it('produces a digest that the capability approval path accepts end to end', () => {
+        const value = receipt();
+        const file = write('receipt.json', value);
+        const approved = (0, capabilities_1.approveCapabilities)({ file, cwd, expectedDigest: (0, digest_1.candidateDigest)({ file, cwd }).digest, now: new Date('2026-09-17T12:00:00.000Z') });
+        expect(approved).toEqual(value);
+    });
+    // Falsifiability: the same approval must REJECT any digest but the disclosed
+    // one, or the assertion above would pass against a command that emitted noise.
+    it('is the only digest approval accepts', () => {
+        const value = receipt();
+        const file = write('receipt.json', value);
+        expect(() => (0, capabilities_1.approveCapabilities)({ file, cwd, expectedDigest: 'f'.repeat(64), now: new Date('2026-09-17T12:00:00.000Z') })).toThrow(/does not match expectedDigest/);
+    });
+    it('writes nothing: digesting is not approving', () => {
+        const file = write('policy.json', policy());
+        (0, digest_1.candidateDigest)({ file, cwd });
+        expect(fs_1.default.existsSync(path_1.default.join(cwd, '.awm'))).toBe(false);
+        expect(fs_1.default.readdirSync(cwd).sort()).toEqual(['policy.json']);
+    });
+});

package/dist/tests/core/model-policy/resolve.test.js

@@ -98,6 +98,80 @@ describe('resolveSelection', () => {
         value.capabilities.capabilities.effortOverride = 'unsupported';
         expect((0, resolve_2.resolveV1Dispatch)({ ...value, plan: verifiedV1Plan, optInV1: true })).toMatchObject({ state: 'resolved', outcome: 'native', selection: runtimeDefaultSelection('full') });
     });
+    // Regression for the collapse that made routed model and surrendered effort
+    // indistinguishable: degrading effort used to rewrite the selection to
+    // fullCapability, so a mechanical slice silently ran the judgment model while
+    // the only evidence emitted named effortOverride.
+    it('keeps the routed per-profile model when effort override degrades', () => {
+        const value = input();
+        value.policy.content.mappings[0].degradation.allowMissingEffortOverride = true;
+        value.capabilities.capabilities.effortOverride = 'unsupported';
+        value.capabilities.runtimeDefaultSelection = runtimeDefaultSelection('full');
+        value.capabilities.availableSelections = [...value.capabilities.availableSelections, runtimeDefaultSelection('mechanical'), runtimeDefaultSelection('integration'), runtimeDefaultSelection('full')];
+        expect((0, resolve_1.resolveSelection)({ ...value, requestedProfile: 'mechanical' })).toMatchObject({ state: 'resolved', outcome: 'degraded', selection: runtimeDefaultSelection('mechanical'), effectiveProfile: 'mechanical', unavailableEvidence: ['effortOverride'] });
+        expect((0, resolve_1.resolveSelection)({ ...value, requestedProfile: 'integration' })).toMatchObject({ state: 'resolved', outcome: 'degraded', selection: runtimeDefaultSelection('integration'), effectiveProfile: 'integration', unavailableEvidence: ['effortOverride'] });
+    });
+    // An honest receipt for a runtime with no effort control attests ONLY
+    // runtime-default selections — it cannot claim `mechanical at low effort` is
+    // selectable. Checking availability before degradation rejected exactly that
+    // receipt, so the contract only worked for a receipt that overclaimed.
+    it('degrades effort against a receipt that attests only runtime-default selections', () => {
+        const value = input();
+        value.policy.content.mappings[0].degradation.allowMissingEffortOverride = true;
+        value.capabilities.capabilities.effortOverride = 'unsupported';
+        value.capabilities.availableSelections = [runtimeDefaultSelection('mechanical'), runtimeDefaultSelection('integration'), runtimeDefaultSelection('judgment'), runtimeDefaultSelection('full')];
+        value.capabilities.runtimeDefaultSelection = runtimeDefaultSelection('full');
+        expect((0, resolve_1.resolveSelection)({ ...value, requestedProfile: 'mechanical' })).toMatchObject({ state: 'resolved', outcome: 'degraded', selection: runtimeDefaultSelection('mechanical'), unavailableEvidence: ['effortOverride'] });
+    });
+    // The runtime default is one selection; a per-profile selection at
+    // runtime-default effort is a different one. Requiring them equal made every
+    // profile but the default model unroutable, with modelOverride attested
+    // supported and the selection itself attested available.
+    it('routes a per-profile runtime-default selection whose model differs from the runtime default', () => {
+        const value = input();
+        value.policy.content.mappings[0].profiles.mechanical = runtimeDefaultSelection('mechanical');
+        value.capabilities.availableSelections = [runtimeDefaultSelection('mechanical'), runtimeDefaultSelection('full')];
+        value.capabilities.runtimeDefaultSelection = runtimeDefaultSelection('full');
+        expect((0, resolve_1.resolveSelection)({ ...value, requestedProfile: 'mechanical' })).toMatchObject({ state: 'resolved', outcome: 'native', selection: runtimeDefaultSelection('mechanical'), effectiveProfile: 'mechanical' });
+    });
+    it('still blocks a runtime-default selection the receipt does not attest at all', () => {
+        const value = input();
+        value.policy.content.mappings[0].profiles.mechanical = runtimeDefaultSelection('mechanical');
+        value.capabilities.availableSelections = [runtimeDefaultSelection('full')];
+        value.capabilities.runtimeDefaultSelection = runtimeDefaultSelection('full');
+        expect((0, resolve_1.resolveSelection)({ ...value, requestedProfile: 'mechanical' })).toMatchObject({ state: 'blocked', diagnostics: [{ code: 'ROUTING_SELECTION_UNAVAILABLE' }] });
+    });
+    it('still blocks a runtime-default selection when the receipt declares no runtime default', () => {
+        const value = input();
+        value.policy.content.mappings[0].profiles.mechanical = runtimeDefaultSelection('mechanical');
+        value.capabilities.availableSelections = [runtimeDefaultSelection('mechanical')];
+        delete value.capabilities.runtimeDefaultSelection;
+        expect((0, resolve_1.resolveSelection)({ ...value, requestedProfile: 'mechanical' })).toMatchObject({ state: 'blocked', diagnostics: [{ code: 'ROUTING_SELECTION_UNAVAILABLE' }] });
+    });
+    it('blocks effort degradation when the routed model at runtime-default effort is not attested', () => {
+        const value = input();
+        value.policy.content.mappings[0].degradation.allowMissingEffortOverride = true;
+        value.capabilities.capabilities.effortOverride = 'unsupported';
+        value.capabilities.runtimeDefaultSelection = runtimeDefaultSelection('full');
+        value.capabilities.availableSelections = [...value.capabilities.availableSelections, runtimeDefaultSelection('full')];
+        expect((0, resolve_1.resolveSelection)({ ...value, requestedProfile: 'mechanical' })).toMatchObject({ state: 'blocked', diagnostics: [{ code: 'ROUTING_EFFORT_OVERRIDE_UNAVAILABLE' }] });
+    });
+    it('keeps effort strict when the mapping does not allow degrading it', () => {
+        const value = input();
+        value.capabilities.capabilities.effortOverride = 'unsupported';
+        value.capabilities.runtimeDefaultSelection = runtimeDefaultSelection('full');
+        value.capabilities.availableSelections = [...value.capabilities.availableSelections, runtimeDefaultSelection('mechanical'), runtimeDefaultSelection('full')];
+        expect(value.policy.content.mappings[0].degradation.allowMissingEffortOverride).toBe(false);
+        expect((0, resolve_1.resolveSelection)({ ...value, requestedProfile: 'mechanical' })).toMatchObject({ state: 'blocked', diagnostics: [{ code: 'ROUTING_EFFORT_OVERRIDE_UNAVAILABLE' }] });
+    });
+    it('never degrades effort on an unverified capability, only on an attested unsupported one', () => {
+        const value = input();
+        value.policy.content.mappings[0].degradation.allowMissingEffortOverride = true;
+        value.capabilities.capabilities.effortOverride = 'unverified';
+        value.capabilities.runtimeDefaultSelection = runtimeDefaultSelection('full');
+        value.capabilities.availableSelections = [...value.capabilities.availableSelections, runtimeDefaultSelection('mechanical'), runtimeDefaultSelection('full')];
+        expect((0, resolve_1.resolveSelection)({ ...value, requestedProfile: 'mechanical' })).toMatchObject({ state: 'blocked', diagnostics: [{ code: 'ROUTING_EFFORT_OVERRIDE_UNAVAILABLE', message: expect.stringMatching(/unverified/) }] });
+    });
     it('does not require effort override after model fallback selects an attested runtime-default full selection', () => {
         const value = input();
         value.policy.content.mappings[0].fullCapability = runtimeDefaultSelection('full');

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "agentic-workflow-manager",
-  "version": "9.9.0",
+  "version": "9.10.0",
   "main": "dist/src/index.js",
   "bin": {
     "awm": "./dist/src/index.js"