agentic-workflow-manager 9.10.0 → 9.10.2

package/dist/src/commands/plan/index.js

@@ -183,10 +183,39 @@ function registerPlanCommand(program, deps = { validatePlanFile: validate_1.vali
         if (!roles.includes(options.role))
             throw new Error('--role is invalid');
         const runtime = (0, capabilities_1.validateRuntimeKey)({ target: options.provider, kind: options.runtimeKind, version: options.runtimeVersion, accountScopeDigest: options.accountScopeDigest });
-        const result = report.schema === 'compact-slices/v1' && !options.optInV1 ? (0, resolve_1.resolveDispatch)({ plan: report, role: options.role, policy: undefined, capabilities: undefined, runtime, now: new Date(), optInV1: false }) : (() => { const policy = (deps.readEffectivePolicy ?? store_2.readEffectivePolicy)(cwd); const capabilities = (deps.readCapabilities ?? capabilities_1.readCapabilities)(runtime, new Date()); if (!options.lineage)
-            return (0, resolve_1.resolveDispatch)({ plan: report, role: options.role, sliceId: options.slice, policy: policy.state === 'approved' ? policy.policy : undefined, capabilities: capabilities.state === 'current' ? capabilities.receipt : undefined, runtime, now: new Date(), optInV1: options.optInV1 === true }); const state = journalObservation(cwd).journalState; const lineage = state.implementationLineages.find(candidate => candidate.id === options.lineage); const next = (0, journal_1.resolveLineageEscalation)(state, options.lineage, lineage.initialProfile); const resolved = (0, resolve_1.resolveSelection)({ role: 'implementer', requestedProfile: next.profile, policy: policy.state === 'approved' ? policy.policy : undefined, capabilities: capabilities.state === 'current' ? capabilities.receipt : undefined, runtime, now: new Date() }); if (resolved.state === 'blocked')
-            return resolved; const highRequiresFull = next.effort !== 'high' || (policy.state === 'approved' && (() => { const full = policy.policy.content.mappings.find(row => row.target === runtime.target && row.runtimeKind === runtime.kind)?.fullCapability; return full?.selector.kind === resolved.selection.selector.kind && full.selector.id === resolved.selection.selector.id && full.effort.kind === 'explicit' && full.effort.value === 'high'; })()); if (resolved.selection.effort.kind !== 'explicit' || resolved.selection.effort.value !== next.effort || !highRequiresFull)
-            return { state: 'blocked', diagnostics: [{ code: 'ROUTING_ESCALATION_EFFORT_UNAVAILABLE', message: 'The approved selected effort does not match the next lineage escalation.' }] }; return { ...resolved, envelope: { schema: 'routing-envelope/v1', runtime, role: 'implementer', planDigest: report.planDigest, executionDigest: report.executionDigest, sliceId: lineage.sliceId, requestedProfile: lineage.initialProfile, effectiveProfile: next.profile, resolved: resolved.selection, policyDigest: resolved.policyDigest, capabilityDigest: resolved.capabilityDigest, outcome: resolved.outcome, unavailableEvidence: resolved.unavailableEvidence }, custodyHandoff: { kind: 'routing-reserve', obligationId: lineage.obligationId, lineageId: lineage.id } }; })();
+        const result = report.schema === 'compact-slices/v1' && !options.optInV1 ? (0, resolve_1.resolveDispatch)({ plan: report, role: options.role, policy: undefined, capabilities: undefined, runtime, now: new Date(), optInV1: false }) : (() => {
+            const policy = (deps.readEffectivePolicy ?? store_2.readEffectivePolicy)(cwd);
+            const capabilities = (deps.readCapabilities ?? capabilities_1.readCapabilities)(runtime, new Date());
+            if (!options.lineage) {
+                const first = (0, resolve_1.resolveDispatch)({ plan: report, role: options.role, sliceId: options.slice, policy: policy.state === 'approved' ? policy.policy : undefined, capabilities: capabilities.state === 'current' ? capabilities.receipt : undefined, runtime, now: new Date(), optInV1: options.optInV1 === true });
+                // The consumer forwards THIS envelope to `job routing-reserve`, which
+                // is what creates the lineage the --lineage escalation path below
+                // then reads. Emitting it only there made the first attempt of any
+                // lineage unreservable: envelope <= lineage <= reserve <= envelope.
+                // Every field comes from values already in hand, so the CLI stays the
+                // sole author and the consumer never assembles a protocol document.
+                // No custodyHandoff here on purpose: the obligation and lineage ids
+                // are the caller's to choose on a first attempt, and inventing them
+                // would put identity the CLI cannot know into custody.
+                if (first.state !== 'resolved' || report.schema !== 'compact-slices/v2' || report.executionDigest === undefined)
+                    return first;
+                const slice = report.manifest.slices.find((candidate) => candidate.id === options.slice);
+                const requestedProfile = options.role === 'implementer' ? slice?.implementerProfile : 'full';
+                if (requestedProfile === undefined)
+                    return first;
+                return { ...first, envelope: { schema: 'routing-envelope/v1', runtime, role: options.role, planDigest: report.planDigest, executionDigest: report.executionDigest, ...(options.slice === undefined ? {} : { sliceId: options.slice }), requestedProfile, effectiveProfile: first.effectiveProfile, resolved: first.selection, policyDigest: first.policyDigest, capabilityDigest: first.capabilityDigest, outcome: first.outcome, unavailableEvidence: first.unavailableEvidence } };
+            }
+            const state = journalObservation(cwd).journalState;
+            const lineage = state.implementationLineages.find(candidate => candidate.id === options.lineage);
+            const next = (0, journal_1.resolveLineageEscalation)(state, options.lineage, lineage.initialProfile);
+            const resolved = (0, resolve_1.resolveSelection)({ role: 'implementer', requestedProfile: next.profile, policy: policy.state === 'approved' ? policy.policy : undefined, capabilities: capabilities.state === 'current' ? capabilities.receipt : undefined, runtime, now: new Date() });
+            if (resolved.state === 'blocked')
+                return resolved;
+            const highRequiresFull = next.effort !== 'high' || (policy.state === 'approved' && (() => { const full = policy.policy.content.mappings.find(row => row.target === runtime.target && row.runtimeKind === runtime.kind)?.fullCapability; return full?.selector.kind === resolved.selection.selector.kind && full.selector.id === resolved.selection.selector.id && full.effort.kind === 'explicit' && full.effort.value === 'high'; })());
+            if (resolved.selection.effort.kind !== 'explicit' || resolved.selection.effort.value !== next.effort || !highRequiresFull)
+                return { state: 'blocked', diagnostics: [{ code: 'ROUTING_ESCALATION_EFFORT_UNAVAILABLE', message: 'The approved selected effort does not match the next lineage escalation.' }] };
+            return { ...resolved, envelope: { schema: 'routing-envelope/v1', runtime, role: 'implementer', planDigest: report.planDigest, executionDigest: report.executionDigest, sliceId: lineage.sliceId, requestedProfile: lineage.initialProfile, effectiveProfile: next.profile, resolved: resolved.selection, policyDigest: resolved.policyDigest, capabilityDigest: resolved.capabilityDigest, outcome: resolved.outcome, unavailableEvidence: resolved.unavailableEvidence }, custodyHandoff: { kind: 'routing-reserve', obligationId: lineage.obligationId, lineageId: lineage.id } };
+        })();
         process.stdout.write(options.json ? `${JSON.stringify(result)}\n` : `Plan routing: ${result.state}\n`);
         if (result.state === 'blocked')
             process.exitCode = 2;

package/dist/src/commands/watch/supervisor.js

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.Supervisor = exports.DEFAULT_SUPERVISOR_CONFIG = void 0;
+exports.Supervisor = exports.MAX_SENSOR_DEFERRALS = exports.DEFAULT_SUPERVISOR_CONFIG = void 0;
 exports.runSupervisorLoop = runSupervisorLoop;
 const store_1 = require("../../core/journal/store");
 const fingerprint_1 = require("../../core/journal/fingerprint");
@@ -120,6 +120,15 @@ exports.DEFAULT_SUPERVISOR_CONFIG = {
     jobStallObservationMs: 5 * 60000, // R3.5 default: mismo orden de magnitud que heartbeatTimeoutMs, concern independiente
     maxParallelTracks: 1, // overridden en tiempo de ejecución con loadDefaultParallelism() (watch/index.ts)
 };
+// 'frozen' (R5.2/R6.3, Task 10): SOLO puede ocurrir en el journal de un
+// TRACK individual (nunca en el del plan) — el track terminó, con las 6
+// observaciones demostrables (cero jobs vivos, gate local verde, worktree
+// limpio, generación propia terminada con identidad confirmada), de
+// atender un `track-freeze-request` pedido por el supervisor del plan.
+/** How many consecutive ticks an inconclusive sensor verdict may defer dispatch
+ *  before the supervisor says so out loud. Small: the deferral covers a verdict
+ *  still settling, not one that never will. */
+exports.MAX_SENSOR_DEFERRALS = 3;
 const LIVE = ['received', 'spawn-intent', 'claimed', 'running', 'cancel-requested'];
 function recoveryWhitelistBlocker(state) {
     if (state.cycle.status === 'BLOCKED')
@@ -149,6 +158,10 @@ class Supervisor {
     dispatchAdmission;
     backoff = new generations_1.Backoff();
     relaunchNotBefore = 0;
+    /** Consecutive ticks deferred on an inconclusive sensor verdict. Bounded:
+     *  the deferral exists for a verdict that is still settling, and a verdict
+     *  that never settles must become visible rather than loop forever. */
+    sensorDeferrals = 0;
     lastActivity = null;
     lastGenerationToken = null;
     trackRuntime;
@@ -226,12 +239,36 @@ class Supervisor {
                 // the already-started controller is still settling. It never
                 // authorizes dispatch; retry the read-only admission next tick
                 // instead of permanently custodying a healthy cycle.
+                //
+                // Bounded, because the verdict is not always transient: a
+                // registry whose sensors are all disabled reports
+                // `not-certified` forever. Unbounded, this returned before
+                // `consumePendingRequests` below, so the supervisor ticked
+                // indefinitely applying nothing and writing nothing — no event,
+                // no state change, no exit. Refusing to progress is correct
+                // here; refusing invisibly is not. Consuming requests cannot be
+                // hoisted above this gate to compensate: applying a job-request
+                // creates a Job that runnerTick can start, which is the dispatch
+                // this admission exists to authorize.
                 if (admission.planState === 'valid' && admission.currentness === 'current'
-                    && admission.sensors === 'not-certified' && admission.journal === 'not-required')
-                    return 'continue';
+                    && admission.sensors === 'not-certified' && admission.journal === 'not-required') {
+                    this.sensorDeferrals += 1;
+                    if (this.sensorDeferrals <= exports.MAX_SENSOR_DEFERRALS)
+                        return 'continue';
+                    // The reason must not carry the running counter. enterCustody is
+                    // idempotent on (status, reason), so a message that changes every
+                    // tick defeats that guard and rewrites the journal plus appends a
+                    // custody-blocked event every tickMs, without bound. Naming the
+                    // bound instead of the count keeps the reason stable, so custody
+                    // is entered once and stays entered.
+                    (0, generations_1.enterCustody)(this.repoRoot, this.branch, `veredicto de sensores no concluyente tras ${exports.MAX_SENSOR_DEFERRALS} ticks: ${admission.diagnostics.map(diagnostic => `${diagnostic.code}: ${diagnostic.message}`).join('; ')}`);
+                    return 'custody';
+                }
                 (0, generations_1.enterCustody)(this.repoRoot, this.branch, `admisión compacta desatendida bloqueada antes de dispatch: ${admission.diagnostics.map(diagnostic => `${diagnostic.code}: ${diagnostic.message}`).join('; ')}`);
                 return 'custody';
             }
+            // The verdict settled, which is exactly what the deferral waited for.
+            this.sensorDeferrals = 0;
         }
         let recoveryResumeAction;
         // Schema-2 custody is reconciled before any controller launch.  This is

package/dist/tests/commands/plan/index.test.js

@@ -13,12 +13,20 @@ const plan_1 = require("../../../src/commands/plan");
 const init_1 = require("../../../src/commands/watch/init");
 const providers_1 = require("../../../src/providers");
 const registry_1 = require("../../../src/core/renderers/registry");
+const canonical_1 = require("../../../src/core/model-policy/canonical");
+const capabilities_1 = require("../../../src/core/model-policy/capabilities");
+const journal_1 = require("../../../src/core/model-policy/journal");
+const types_1 = require("../../../src/core/journal/types");
 const stdoutWrite = jest.spyOn(process.stdout, 'write').mockImplementation(() => true);
 const repositoryRoot = path_1.default.resolve(__dirname, '../../../..');
 const approved = (0, validate_1.validatePlanFile)('docs/plans/2026-09-14-compact-only-bootstrap-plan.md', repositoryRoot);
 if (approved.state !== 'valid')
     throw new Error(`tracked bootstrap plan must validate before command tests: ${approved.state}`);
 const valid = approved;
+const approvedV2 = (0, validate_1.validatePlanFile)('valid.md', path_1.default.join(__dirname, '../../core/plan/fixtures/compact-slices-v2'));
+if (approvedV2.state !== 'valid')
+    throw new Error(`v2 fixture must validate before command tests: ${approvedV2.state}`);
+const v2Valid = approvedV2;
 const invalid = {
     state: 'invalid', diagnostics: [{ code: 'PLAN_MARKERS', message: 'compact markers must occur once in order' }],
 };
@@ -60,6 +68,56 @@ describe('plan validate Commander wiring', () => {
         expect(policy).not.toHaveBeenCalled();
         expect(capabilities).not.toHaveBeenCalled();
     });
+    // The consumer reference says: call `plan resolve` for the exact role and
+    // local slice, then send ITS frozen envelope to `job routing-reserve`. The
+    // envelope was only ever built on the --lineage branch, which resolves the
+    // lineage out of journal state — and lineages are created by
+    // reserveRoutingAttempt, i.e. by routing-reserve itself. envelope <= lineage
+    // <= reserve <= envelope, so the first attempt of any lineage could never be
+    // reserved. This test goes from resolve output to a reserved attempt with no
+    // hand-built envelope literal, which is the only shape that can catch it:
+    // tests/commands/job/routing.test.ts passes a literal and so starts one step
+    // past the gap.
+    it('emits a reservable envelope on a first v2 attempt, closing the resolve to reserve path', async () => {
+        // A genuinely validated report: the resolver rejects any object that did
+        // not come out of validatePlanFile, so a spread-and-relabel fixture
+        // cannot reach this path at all.
+        const sliceId = 'S1';
+        const sel = { selector: { kind: 'model', id: 'gpt-5.6-luna' }, effort: { kind: 'explicit', value: 'medium' } };
+        const full = { selector: { kind: 'model', id: 'gpt-5.6-sol' }, effort: { kind: 'explicit', value: 'high' } };
+        const sha = 'a'.repeat(64);
+        const content = { schema: 'model-policy/v1', mappings: [{ target: 'codex', runtimeKind: 'native', profiles: { mechanical: sel, integration: sel, judgment: sel }, fullCapability: full, degradation: { allowMissingModelOverride: false, allowMissingEffortOverride: false, allowMissingObservedIdentity: false } }], implementationBudget: { maxAttempts: 3, escalation: ['mechanical', 'integration', 'judgment'], judgmentEfforts: ['medium', 'high'] } };
+        const readEffectivePolicy = () => ({ state: 'approved', provenance: 'user', policy: { schema: 'approved-model-policy/v1', content, contentDigest: (0, canonical_1.canonicalPolicyDigest)(content), approval: { approvedAt: '2026-09-19T00:00:00.000Z', approvalId: 'a1' }, lineage: { previousDigest: null } } });
+        const receipt = {
+            schema: 'routing-capabilities/v1',
+            runtime: { target: 'codex', kind: 'native', version: '1.0.0', accountScopeDigest: sha },
+            recordedAt: new Date(Date.now() - 60_000).toISOString(), expiresAt: new Date(Date.now() + 6 * 3600_000).toISOString(),
+            capabilities: { artifactDelivery: 'supported', interactiveExecution: 'supported', unattendedController: 'supported', nativeSubagents: 'supported', modelOverride: 'supported', effortOverride: 'supported', observedModelEvidence: 'supported', durableResume: 'unverified' },
+            availableSelections: [sel, full], runtimeDefaultSelection: full,
+            evidence: ['modelOverride', 'effortOverride', 'observedModelEvidence', 'nativeSubagents', 'artifactDelivery', 'interactiveExecution', 'unattendedController'].map(capability => ({ capability, kind: 'native-control', receiptDigest: 'b'.repeat(64) })),
+            approval: { approvalId: 'r1', snapshotDigest: 'c'.repeat(64) },
+        };
+        const readCapabilities = () => ({ state: 'current', receipt, digest: (0, capabilities_1.capabilityReceiptDigest)(receipt) });
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, plan_1.registerPlanCommand)(program, { validatePlanFile: () => v2Valid, readEffectivePolicy: readEffectivePolicy, readCapabilities: readCapabilities });
+        await program.parseAsync(['node', 'awm', 'plan', 'resolve', 'plans/r4.md', '--provider', 'codex', '--runtime-kind', 'native', '--runtime-version', '1.0.0', '--account-scope-digest', sha, '--role', 'implementer', '--slice', sliceId, '--cwd', repositoryRoot, '--json']);
+        const emitted = JSON.parse(String(stdoutWrite.mock.calls[stdoutWrite.mock.calls.length - 1][0]));
+        expect(emitted.state).toBe('resolved');
+        expect(emitted.envelope).toBeDefined();
+        // The CLI must be the sole author: the envelope has to satisfy the same
+        // predicate routing-reserve applies, with nothing filled in by the caller.
+        expect((0, types_1.isRoutingEnvelope)(emitted.envelope)).toBe(true);
+        expect(emitted.envelope).toMatchObject({ schema: 'routing-envelope/v1', role: 'implementer', sliceId, requestedProfile: 'mechanical', effectiveProfile: 'mechanical', resolved: sel });
+        expect(emitted.envelope.planDigest).toBe(v2Valid.planDigest);
+        expect(emitted.envelope.executionDigest).toBe(v2Valid.executionDigest);
+        // The point of the whole thing: that envelope reserves a first attempt,
+        // which is what creates the lineage the escalation path later needs.
+        const reserved = (0, journal_1.reserveRoutingAttempt)((0, types_1.emptyState)('main'), { obligationId: 'o1', lineageId: 'l1', envelope: emitted.envelope, fingerprint: 'e'.repeat(64) }, '2026-09-19T00:00:00.000Z');
+        expect(reserved.attemptId).toEqual(expect.any(String));
+        expect(reserved.state.implementationLineages).toEqual([expect.objectContaining({ id: 'l1', sliceId, initialProfile: 'mechanical' })]);
+    });
     it('emits deterministic human output for a valid compact plan', async () => {
         await commandFor(valid).parseAsync(['node', 'awm', 'plan', 'validate', 'plans/r4.md']);
         expect(String(stdoutWrite.mock.calls[0][0])).toBe('Plan validation: valid "plans/r4.md" (compact-slices/v1; 1 slices; 5 requirements; complete ownership)\n');

package/dist/tests/commands/watch/supervisor-loop.test.js

@@ -390,6 +390,59 @@ describe('supervisor loop', () => {
         await expect(new supervisor_1.Supervisor(repo, 'main', cfg, spy, undefined, admitted).tick()).rejects.toThrow(/rama|branch/i);
         expect(calls).toBe(0);
     });
+    // The sensor deferral at the top of tick() covers a first inconclusive read
+    // while a controller settles, and returns 'continue' so a transient does not
+    // custody a healthy cycle. It returns BEFORE consumePendingRequests, and
+    // `sensors: 'not-certified'` is not always transient: it is the steady state
+    // of any registry whose sensors are all disabled, which the baseline registry
+    // documents about itself. Unbounded, the supervisor ticked forever applying
+    // nothing and writing nothing — no event, no state change, no exit. Observed
+    // against published 9.10.0: a routing-reserve and an unrelated
+    // controller-heartbeat both sat unconsumed for ~36 ticks with appliedRequests
+    // empty and the cycle still IN_PROGRESS.
+    test('an inconclusive sensor verdict defers dispatch a bounded number of ticks, then says so', async () => {
+        const repo = setupRepo();
+        initUnattendedFixture(repo);
+        (0, generations_1.beginGeneration)(repo, 'main');
+        const token = (0, generations_1.activeGeneration)((0, store_1.readJournal)(repo, 'main').state).token;
+        (0, request_1.requestJob)(repo, 'main', token, ['node', '-e', 'process.exit(0)'], [], '.');
+        // Exactly what `awm plan admit --require-current --verify-sensors` returns
+        // for that registry: valid plan, current contracts, sensors not certified.
+        // Every field matches the deferral condition.
+        const notCertified = async () => ({
+            state: 'blocked', planState: 'valid', executionMode: 'desatendido',
+            journal: 'not-required', currentness: 'current', sensors: 'not-certified',
+            diagnostics: [{ code: 'ADMISSION_SENSORS_BLOCKED', message: 'sensors not certified' }],
+        });
+        let spawned = 0;
+        const sup = new supervisor_1.Supervisor(repo, 'main', supervisor_1.DEFAULT_SUPERVISOR_CONFIG, () => { spawned += 1; }, undefined, notCertified);
+        for (let i = 0; i < supervisor_1.MAX_SENSOR_DEFERRALS; i += 1) {
+            expect(await sup.tick()).toBe('continue');
+            expect((0, store_1.readJournal)(repo, 'main').state.cycle.status).toBe('IN_PROGRESS');
+        }
+        // The verdict never settled, so the supervisor must stop pretending it might.
+        expect(await sup.tick()).toBe('custody');
+        const state = (0, store_1.readJournal)(repo, 'main').state;
+        expect(state.cycle.status).toBe('BLOCKED');
+        expect(state.cycle.blockedReason).toMatch(/sensor/i);
+        // Entered once, not once per tick. enterCustody is idempotent on
+        // (status, reason), so the reason must not carry the running counter —
+        // otherwise every tick rewrites the journal and appends another
+        // custody-blocked event, unbounded. Observed against published 9.10.1
+        // before this was fixed: "tras 16 ticks", "tras 17 ticks", "tras 18
+        // ticks", one every 5s.
+        const eventsFile = path_1.default.join(repo, '.awm', 'journal', 'main', 'events.jsonl');
+        const custodyEvents = () => fs_1.default.readFileSync(eventsFile, 'utf8').split('\n').filter(line => line.includes('custody-blocked')).length;
+        const afterFirst = custodyEvents();
+        expect(afterFirst).toBe(1);
+        const revisionAfterFirst = state.revision;
+        for (let i = 0; i < 3; i += 1)
+            expect(await sup.tick()).toBe('custody');
+        expect(custodyEvents()).toBe(afterFirst);
+        expect((0, store_1.readJournal)(repo, 'main').state.revision).toBe(revisionAfterFirst);
+        // Deferring dispatch was right throughout, and stays right.
+        expect(spawned).toBe(0);
+    });
     test('una admisión compacta bloqueada no lanza controlador ni wrappers', async () => {
         initUnattendedFixture(repo);
         const state = (0, store_1.readJournal)(repo, 'main').state;

package/package.json

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