agentic-workflow-manager 9.8.0 → 9.9.0

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

@@ -0,0 +1,112 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MAX_IDENTIFIER = exports.MAX_MAPPINGS = exports.MAX_POLICY_BYTES = void 0;
+exports.canonicalUtcTimestamp = canonicalUtcTimestamp;
+exports.validatePolicyContent = validatePolicyContent;
+exports.validateApprovedPolicy = validateApprovedPolicy;
+exports.assertDigest = assertDigest;
+const providers_1 = require("../../providers");
+exports.MAX_POLICY_BYTES = 256 * 1024;
+exports.MAX_MAPPINGS = 64;
+exports.MAX_IDENTIFIER = 128;
+const SHA256 = /^[0-9a-f]{64}$/;
+const RUNTIME_KIND = /^[a-z0-9][a-z0-9_-]{0,127}$/;
+const CONTROL = /[\u0000-\u001f\u007f-\u009f]/;
+const CANONICAL_UTC_TIMESTAMP = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{3}Z$/;
+const profiles = ['mechanical', 'integration', 'judgment'];
+function record(value, label) {
+    if (typeof value !== 'object' || value === null || Array.isArray(value))
+        throw new Error(`${label} must be an object`);
+    return value;
+}
+function exact(object, keys, label) {
+    const actual = Object.keys(object);
+    if (actual.length !== keys.length || actual.some(key => !keys.includes(key)))
+        throw new Error(`${label} has unknown or missing fields`);
+}
+function text(value, label, pattern) {
+    if (typeof value !== 'string' || value.length === 0 || value.length > exports.MAX_IDENTIFIER || CONTROL.test(value) || (pattern && !pattern.test(value)))
+        throw new Error(`${label} is invalid`);
+    return value;
+}
+function canonicalUtcTimestamp(value, label) {
+    if (typeof value !== 'string' || !CANONICAL_UTC_TIMESTAMP.test(value))
+        throw new Error(`${label} must be a canonical UTC ISO-8601 timestamp`);
+    const parsed = new Date(value);
+    if (!Number.isFinite(parsed.getTime()) || parsed.toISOString() !== value)
+        throw new Error(`${label} must be a canonical UTC ISO-8601 timestamp`);
+    return value;
+}
+function bool(value, label) { if (typeof value !== 'boolean')
+    throw new Error(`${label} must be boolean`); return value; }
+function agent(value) { if (typeof value !== 'string' || !providers_1.AGENT_TARGETS.includes(value))
+    throw new Error('mapping target is invalid'); return value; }
+function selection(value, label) {
+    const item = record(value, label);
+    exact(item, ['selector', 'effort'], label);
+    const selector = record(item.selector, `${label}.selector`);
+    exact(selector, ['kind', 'id'], `${label}.selector`);
+    if (selector.kind !== 'model' && selector.kind !== 'tier')
+        throw new Error(`${label}.selector.kind is invalid`);
+    const effort = record(item.effort, `${label}.effort`);
+    if (effort.kind === 'explicit') {
+        exact(effort, ['kind', 'value'], `${label}.effort`);
+        return { selector: { kind: selector.kind, id: text(selector.id, `${label}.selector.id`) }, effort: { kind: 'explicit', value: text(effort.value, `${label}.effort.value`) } };
+    }
+    if (effort.kind === 'runtime-default') {
+        exact(effort, ['kind'], `${label}.effort`);
+        return { selector: { kind: selector.kind, id: text(selector.id, `${label}.selector.id`) }, effort: { kind: 'runtime-default' } };
+    }
+    throw new Error(`${label}.effort.kind is invalid`);
+}
+function mapping(value) {
+    const item = record(value, 'mapping');
+    exact(item, ['target', 'runtimeKind', 'profiles', 'fullCapability', 'degradation'], 'mapping');
+    const rawProfiles = record(item.profiles, 'mapping.profiles');
+    exact(rawProfiles, profiles, 'mapping.profiles');
+    const degradation = record(item.degradation, 'mapping.degradation');
+    exact(degradation, ['allowMissingModelOverride', 'allowMissingEffortOverride', 'allowMissingObservedIdentity'], 'mapping.degradation');
+    return { target: agent(item.target), runtimeKind: text(item.runtimeKind, 'mapping.runtimeKind', RUNTIME_KIND), profiles: {
+            mechanical: selection(rawProfiles.mechanical, 'mapping.profiles.mechanical'), integration: selection(rawProfiles.integration, 'mapping.profiles.integration'), judgment: selection(rawProfiles.judgment, 'mapping.profiles.judgment'),
+        }, fullCapability: selection(item.fullCapability, 'mapping.fullCapability'), degradation: {
+            allowMissingModelOverride: bool(degradation.allowMissingModelOverride, 'mapping.degradation.allowMissingModelOverride'), allowMissingEffortOverride: bool(degradation.allowMissingEffortOverride, 'mapping.degradation.allowMissingEffortOverride'), allowMissingObservedIdentity: bool(degradation.allowMissingObservedIdentity, 'mapping.degradation.allowMissingObservedIdentity'),
+        } };
+}
+function validatePolicyContent(value) {
+    const item = record(value, 'policy content');
+    exact(item, ['schema', 'mappings', 'implementationBudget'], 'policy content');
+    if (item.schema !== 'model-policy/v1')
+        throw new Error('policy schema is invalid');
+    if (!Array.isArray(item.mappings) || item.mappings.length > exports.MAX_MAPPINGS)
+        throw new Error('policy mappings are invalid');
+    const mappings = item.mappings.map(mapping);
+    const unique = new Set();
+    for (const row of mappings) {
+        const key = `${row.target}\0${row.runtimeKind}`;
+        if (unique.has(key))
+            throw new Error('duplicate policy target/runtime mapping');
+        unique.add(key);
+    }
+    const budget = record(item.implementationBudget, 'implementationBudget');
+    exact(budget, ['maxAttempts', 'escalation', 'judgmentEfforts'], 'implementationBudget');
+    if (budget.maxAttempts !== 3 || !Array.isArray(budget.escalation) || budget.escalation.length !== 3 || budget.escalation.join(',') !== 'mechanical,integration,judgment' || !Array.isArray(budget.judgmentEfforts) || budget.judgmentEfforts.join(',') !== 'medium,high')
+        throw new Error('implementation budget is invalid');
+    return { schema: 'model-policy/v1', mappings, implementationBudget: { maxAttempts: 3, escalation: ['mechanical', 'integration', 'judgment'], judgmentEfforts: ['medium', 'high'] } };
+}
+function validateApprovedPolicy(value) {
+    const item = record(value, 'approved policy');
+    exact(item, ['schema', 'content', 'contentDigest', 'approval', 'lineage'], 'approved policy');
+    if (item.schema !== 'approved-model-policy/v1')
+        throw new Error('approved policy schema is invalid');
+    const approval = record(item.approval, 'approval');
+    exact(approval, ['approvedAt', 'approvalId'], 'approval');
+    const lineage = record(item.lineage, 'lineage');
+    exact(lineage, ['previousDigest'], 'lineage');
+    const contentDigest = text(item.contentDigest, 'contentDigest', SHA256);
+    if (typeof approval.approvalId !== 'string' || approval.approvalId.length === 0 || approval.approvalId.length > exports.MAX_IDENTIFIER || CONTROL.test(approval.approvalId) || (lineage.previousDigest !== null && (typeof lineage.previousDigest !== 'string' || !SHA256.test(lineage.previousDigest))))
+        throw new Error('approved policy metadata is invalid');
+    const approvedAt = canonicalUtcTimestamp(approval.approvedAt, 'approval.approvedAt');
+    return { schema: 'approved-model-policy/v1', content: validatePolicyContent(item.content), contentDigest, approval: { approvedAt, approvalId: approval.approvalId }, lineage: { previousDigest: lineage.previousDigest } };
+}
+function assertDigest(value, label) { if (typeof value !== 'string' || !SHA256.test(value))
+    throw new Error(`${label} must be a 64-character lowercase SHA-256 digest`); }

package/dist/src/core/plan/identity.js

@@ -12,6 +12,8 @@ exports.MAX_PLAN_SNAPSHOT_BYTES = 1024 * 1024;
 exports.EXECUTION_IDENTITY_SCHEMA = 'awm-plan-execution/v1';
 const START = '<!-- AWM:COMPACT-SLICES:START v1 -->';
 const END = '<!-- AWM:COMPACT-SLICES:END v1 -->';
+const START_V2 = '<!-- AWM:COMPACT-SLICES:START v2 -->';
+const END_V2 = '<!-- AWM:COMPACT-SLICES:END v2 -->';
 /** Only lifecycle syntax actually emitted by the skills is non-executable.
  * Unknown metadata, prose, inline comments and code remain identity-bearing. */
 function lifecycleMarker(line) {
@@ -53,11 +55,11 @@ function executionPlanDigest(text) {
         }
         if (fence)
             return { line };
-        if (line === START) {
+        if (line === START || line === START_V2) {
             manifest = true;
             return { line };
         }
-        if (line === END) {
+        if (line === END || line === END_V2) {
             manifest = false;
             return { line };
         }

package/dist/src/core/plan/validate.js

@@ -14,6 +14,8 @@ const json_1 = require("./json");
 const identity_1 = require("./identity");
 const START = '<!-- AWM:COMPACT-SLICES:START v1 -->';
 const END = '<!-- AWM:COMPACT-SLICES:END v1 -->';
+const START_V2 = '<!-- AWM:COMPACT-SLICES:START v2 -->';
+const END_V2 = '<!-- AWM:COMPACT-SLICES:END v2 -->';
 const MAX_PLAN = 1024 * 1024;
 const MAX_MANIFEST = 256 * 1024;
 const MAX_SOURCE = 1024 * 1024;
@@ -356,22 +358,18 @@ function validatePlan(planPath, cwd, snapshot) {
     }
     const starts = count(text, START);
     const ends = count(text, END);
-    const signaled = starts > 0 || ends > 0 || compactSchemaSignal(text);
+    const signaled = starts > 0 || ends > 0 || count(text, START_V2) > 0 || count(text, END_V2) > 0 || compactSchemaSignal(text);
     if (!signaled)
         return markerlessSchemaClassification(text) ?? { state: 'migration-required', reason: 'unmarked-plan' };
-    if (starts === 0 && ends === 0)
+    const start = text.includes(START_V2) ? START_V2 : START;
+    const end = start === START_V2 ? END_V2 : END;
+    const startsForSchema = count(text, start);
+    const endsForSchema = count(text, end);
+    if (starts === 0 && ends === 0 && startsForSchema === 0 && endsForSchema === 0)
         return markerlessSchemaClassification(text) ?? diagnostic('PLAN_MARKERS', 'compact markers must occur once in order');
-    if (starts !== 1 || ends !== 1 || text.indexOf(START) > text.indexOf(END)) {
-        const partial = starts === 1 ? text.slice(text.indexOf(START) + START.length, ends ? text.indexOf(END) : undefined).trim() : '';
-        try {
-            const candidate = (0, json_1.parseJsonNoDuplicate)(partial);
-            if (object(candidate) && typeof candidate.schema === 'string' && Buffer.byteLength(candidate.schema, 'utf8') <= MAX_STRING && candidate.schema.startsWith('compact-slices/') && candidate.schema !== 'compact-slices/v1')
-                return unsupported(candidate.schema);
-        }
-        catch { /* invalid below */ }
+    if (startsForSchema !== 1 || endsForSchema !== 1 || text.indexOf(start) > text.indexOf(end) || (start === START && (count(text, START_V2) !== 0 || count(text, END_V2) !== 0)) || (start === START_V2 && (starts !== 0 || ends !== 0)))
         return diagnostic('PLAN_MARKERS', 'compact markers must occur once in order');
-    }
-    const body = text.slice(text.indexOf(START) + START.length, text.indexOf(END));
+    const body = text.slice(text.indexOf(start) + start.length, text.indexOf(end));
     if (Buffer.byteLength(body, 'utf8') > MAX_MANIFEST)
         return diagnostic('PLAN_LIMIT', 'manifest exceeds maximum size');
     let raw;
@@ -385,7 +383,7 @@ function validatePlan(planPath, cwd, snapshot) {
         return diagnostic('PLAN_SHAPE', 'manifest must be an object');
     if (typeof raw.schema === 'string' && Buffer.byteLength(raw.schema, 'utf8') > MAX_STRING)
         return diagnostic('PLAN_LIMIT', 'schema exceeds maximum string size');
-    if (typeof raw.schema === 'string' && raw.schema.startsWith('compact-slices/') && raw.schema !== 'compact-slices/v1')
+    if (typeof raw.schema === 'string' && raw.schema.startsWith('compact-slices/') && raw.schema !== 'compact-slices/v1' && !(raw.schema === 'compact-slices/v2' && start === START_V2))
         return unsupported(raw.schema);
     if (!exact(raw, ['schema', 'planId', 'requirements', 'sources', 'commands', 'slices', 'closureCommands']))
         return diagnostic(Object.keys(raw).some((key) => !['schema', 'planId', 'requirements', 'sources', 'commands', 'slices', 'closureCommands'].includes(key)) ? 'PLAN_UNKNOWN_FIELD' : 'PLAN_MISSING_FIELD', 'manifest fields must exactly match the contract');
@@ -395,7 +393,7 @@ function validatePlan(planPath, cwd, snapshot) {
         return diagnostic('PLAN_LIMIT', 'manifest exceeds collection limits');
     if (typeof raw.planId === 'string' && Buffer.byteLength(raw.planId, 'utf8') > MAX_STRING)
         return diagnostic('PLAN_LIMIT', 'plan id exceeds maximum string size');
-    if (raw.schema !== 'compact-slices/v1' || typeof raw.planId !== 'string' || !PLAN_ID.test(raw.planId) || !allStrings(raw.requirements) || new Set(raw.requirements).size !== raw.requirements.length)
+    if ((raw.schema !== 'compact-slices/v1' && raw.schema !== 'compact-slices/v2') || (raw.schema === 'compact-slices/v1' && start !== START) || (raw.schema === 'compact-slices/v2' && start !== START_V2) || typeof raw.planId !== 'string' || !PLAN_ID.test(raw.planId) || !allStrings(raw.requirements) || new Set(raw.requirements).size !== raw.requirements.length)
         return diagnostic('PLAN_SHAPE', 'manifest scalar fields are invalid');
     if (raw.requirements.some((id) => !validRequirementId(id)) || !allStrings(raw.closureCommands) || new Set(raw.closureCommands).size !== raw.closureCommands.length)
         return diagnostic('PLAN_SHAPE', 'manifest arrays or identifiers are invalid');
@@ -438,8 +436,9 @@ function validatePlan(planPath, cwd, snapshot) {
     }
     const sliceIds = new Set();
     const owners = new Map();
+    const sliceFields = ['id', 'title', 'requirements', 'dependsOn', 'sectionAnchor', 'sources', 'redCommands', 'greenCommands', 'reviewEvidence', 'risk', 'fallback'];
     for (const slice of raw.slices) {
-        if (!exact(slice, ['id', 'title', 'requirements', 'dependsOn', 'sectionAnchor', 'sources', 'redCommands', 'greenCommands', 'reviewEvidence', 'risk', 'fallback']) || !validId(slice.id) || sliceIds.has(slice.id) || typeof slice.title !== 'string' || slice.title.length === 0 || Buffer.byteLength(slice.title, 'utf8') > MAX_STRING || !allStrings(slice.requirements) || slice.requirements.length === 0 || slice.requirements.some((id) => !validRequirementId(id) || !raw.requirements.includes(id)) || !allStrings(slice.dependsOn) || typeof slice.sectionAnchor !== 'string' || slice.sectionAnchor.length === 0 || Buffer.byteLength(slice.sectionAnchor, 'utf8') > MAX_STRING || !uniqueRefs(slice.sources, sourceIds) || !uniqueRefs(slice.redCommands, commandIds) || slice.redCommands.length === 0 || !uniqueRefs(slice.greenCommands, commandIds) || slice.greenCommands.length === 0 || !allStrings(slice.fallback) || slice.fallback.length === 0 || slice.fallback.some((item) => item.trim().length === 0) || slice.risk !== 'bounded' && slice.risk !== 'full-context')
+        if (!exact(slice, raw.schema === 'compact-slices/v2' ? [...sliceFields, 'implementerProfile'] : sliceFields) || (raw.schema === 'compact-slices/v2' && !['mechanical', 'integration', 'judgment'].includes(slice.implementerProfile)) || !validId(slice.id) || sliceIds.has(slice.id) || typeof slice.title !== 'string' || slice.title.length === 0 || Buffer.byteLength(slice.title, 'utf8') > MAX_STRING || !allStrings(slice.requirements) || slice.requirements.length === 0 || slice.requirements.some((id) => !validRequirementId(id) || !raw.requirements.includes(id)) || !allStrings(slice.dependsOn) || typeof slice.sectionAnchor !== 'string' || slice.sectionAnchor.length === 0 || Buffer.byteLength(slice.sectionAnchor, 'utf8') > MAX_STRING || !uniqueRefs(slice.sources, sourceIds) || !uniqueRefs(slice.redCommands, commandIds) || slice.redCommands.length === 0 || !uniqueRefs(slice.greenCommands, commandIds) || slice.greenCommands.length === 0 || !allStrings(slice.fallback) || slice.fallback.length === 0 || slice.fallback.some((item) => item.trim().length === 0) || slice.risk !== 'bounded' && slice.risk !== 'full-context')
             return diagnostic('PLAN_SLICE_SHAPE', 'slice fields are invalid');
         sliceIds.add(slice.id);
         if (!Array.isArray(slice.reviewEvidence) || slice.reviewEvidence.length !== 2 || new Set(slice.reviewEvidence).size !== 2 || !slice.reviewEvidence.includes('specification') || !slice.reviewEvidence.includes('code-quality'))
@@ -485,7 +484,7 @@ function validatePlan(planPath, cwd, snapshot) {
     if (markdown)
         return markdown;
     const report = {
-        state: 'valid', schema: 'compact-slices/v1',
+        state: 'valid', schema: raw.schema,
         planDigest: crypto_1.default.createHash('sha256').update(text, 'utf8').digest('hex'),
         executionDigest: (0, identity_1.executionPlanDigest)(text),
         manifest: raw, executionMode: executionModeFromValidatedText(text),

package/dist/src/index.js

@@ -46,6 +46,7 @@ const track_1 = require("./commands/track");
 const evidence_1 = require("./commands/evidence");
 const process_1 = require("./commands/process");
 const context_1 = require("./commands/context");
+const model_policy_1 = require("./commands/model-policy");
 const add_1 = require("./commands/add");
 const sync_1 = require("./commands/sync");
 const update_1 = require("./commands/update");
@@ -54,6 +55,7 @@ const update_check_1 = require("./core/update-check");
 const cli_version_1 = require("./core/cli-version");
 exports.program = new commander_1.Command();
 exports.program.name('awm').description('Agentic Workflow Manager').version((0, cli_version_1.cliVersion)());
+(0, model_policy_1.registerModelPolicyCommand)(exports.program);
 exports.program.hook('postAction', (_command, actionCommand) => {
     if (actionCommand.name() === 'preflight')
         return;

package/dist/tests/commands/job/gate-reconcile.test.js

@@ -55,6 +55,22 @@ function passingState() {
     return s;
 }
 describe('gate', () => {
+    test('un verdict routed exige intento observado, identidad y fingerprint coincidentes', () => {
+        const s = passingState();
+        s.verdicts[0] = { ...s.verdicts[0], routingAttemptId: 'route-1' };
+        let gate = (0, gate_1.computeGate)(s, false, fpCurrent);
+        expect(gate.reasons.some((reason) => reason.category === 'routing-evidence')).toBe(true);
+        s.routingAttempts = [{
+                schema: 'routing-attempt/v1', id: 'route-1', obligationId: 'o-spec', lineageId: 'lineage-1', attempt: 1,
+                envelope: { schema: 'routing-envelope/v1', runtime: { target: 'codex', kind: 'native', version: '1', accountScopeDigest: '0'.repeat(64) }, role: 'specification-reviewer', requestedProfile: 'full', effectiveProfile: 'full', resolved: { selector: { kind: 'model', id: 'm' }, effort: { kind: 'explicit', value: 'high' } }, outcome: 'native', unavailableEvidence: [], policyDigest: 'a'.repeat(64), capabilityDigest: 'b'.repeat(64), planDigest: 'c'.repeat(64), executionDigest: 'd'.repeat(64) },
+                envelopeDigest: 'a'.repeat(64), fingerprint: 'fp', state: 'active', nativeAgentId: 'native-1', observed: { selector: { kind: 'model', id: 'm' }, effort: { kind: 'explicit', value: 'high' } },
+            }];
+        s.planBinding = { path: 'plan.md', digest: 'c'.repeat(64), executionDigest: 'd'.repeat(64), executionIdentitySchema: 'awm-plan-execution/v1', schema: 'compact-slices/v2', executionMode: 'desatendido', boundAt: 'now' };
+        expect((0, gate_1.computeGate)(s, false, fpCurrent).pass).toBe(true);
+        s.routingAttempts[0].fingerprint = 'different';
+        gate = (0, gate_1.computeGate)(s, false, fpCurrent);
+        expect(gate.reasons.some((reason) => reason.category === 'routing-evidence')).toBe(true);
+    });
     test('el estado de referencia pasa; la corrupcion bloquea (R3.2)', () => {
         expect((0, gate_1.computeGate)(passingState(), false, fpCurrent).pass).toBe(true);
         const g = (0, gate_1.computeGate)(null, true, fpCurrent);

package/dist/tests/commands/job/gate.test.js

@@ -0,0 +1,9 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const gate_1 = require("../../../src/commands/job/gate");
+const types_1 = require("../../../src/core/journal/types");
+test('routed evidence cannot certify against a legacy journal without its attempt', () => {
+    const state = (0, types_1.emptyState)('main');
+    state.verdicts.push({ id: 'v1', obligationId: 'o1', result: 'pass', detail: '', receivedAt: 'now', fingerprint: 'fp', argv: [], paths: [], cwd: '.', routingAttemptId: 'missing' });
+    expect((0, gate_1.computeGate)(state, false, () => 'fp').reasons).toContainEqual(expect.objectContaining({ category: 'routing-evidence' }));
+});

package/dist/tests/commands/job/routing-report-cli.test.js

@@ -0,0 +1,46 @@
+"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 child_process_1 = require("child_process");
+const commander_1 = require("commander");
+const job_1 = require("../../../src/commands/job");
+const store_1 = require("../../../src/core/journal/store");
+const journal_1 = require("../../../src/core/model-policy/journal");
+const envelope = { schema: 'routing-envelope/v1', runtime: { target: 'codex', kind: 'native', version: '1', accountScopeDigest: '0'.repeat(64) }, role: 'implementer', sliceId: 'S1', requestedProfile: 'mechanical', effectiveProfile: 'mechanical', resolved: { selector: { kind: 'model', id: 'model-private' }, effort: { kind: 'explicit', value: 'medium' } }, outcome: 'native', unavailableEvidence: [], policyDigest: 'a'.repeat(64), capabilityDigest: 'b'.repeat(64), planDigest: 'c'.repeat(64), executionDigest: 'd'.repeat(64) };
+function gitInit(repo) {
+    (0, child_process_1.execFileSync)('git', ['-c', 'user.email=t@t.t', '-c', 'user.name=t', 'init', '-q', '-b', 'main'], { cwd: repo });
+    fs_1.default.writeFileSync(path_1.default.join(repo, 'fixture'), 'x');
+    (0, child_process_1.execFileSync)('git', ['add', '.'], { cwd: repo });
+    (0, child_process_1.execFileSync)('git', ['-c', 'user.email=t@t.t', '-c', 'user.name=t', 'commit', '-qm', 'fixture'], { cwd: repo });
+}
+test('`job routing-report --json` emits only aggregate routing evidence', async () => {
+    const repo = fs_1.default.mkdtempSync(path_1.default.join(os_1.default.tmpdir(), 'awm-routing-report-'));
+    try {
+        gitInit(repo);
+        (0, store_1.initJournal)(repo, 'main');
+        const state = (0, store_1.readJournal)(repo, 'main').state;
+        const reserved = (0, journal_1.reserveRoutingAttempt)(state, { obligationId: 'obligation', lineageId: 'lineage', envelope, fingerprint: 'e'.repeat(64) }, '2026-09-17T00:00:00.000Z');
+        (0, store_1.writeJournal)(repo, 'main', (0, journal_1.observeRoutingAttempt)(reserved.state, { attemptId: reserved.attemptId, nativeAgentId: 'native-private' }, '2026-09-17T00:01:00.000Z'));
+        const program = new commander_1.Command();
+        program.exitOverride();
+        (0, job_1.registerJobCommand)(program);
+        const out = jest.spyOn(process.stdout, 'write').mockImplementation(() => true);
+        const cwd = jest.spyOn(process, 'cwd').mockReturnValue(repo);
+        await program.parseAsync(['node', 'awm', 'job', 'routing-report', '--json']);
+        const rendered = String(out.mock.calls[0][0]);
+        const report = JSON.parse(rendered);
+        expect(report).toMatchObject({ schema: 'routing-report/v1', attempts: 1, plannedByRole: { implementer: 1 }, actualByRole: { implementer: 1 }, byState: { active: 1 } });
+        expect(rendered).not.toContain('native-private');
+        expect(rendered).not.toContain('model-private');
+        cwd.mockRestore();
+        out.mockRestore();
+    }
+    finally {
+        fs_1.default.rmSync(repo, { recursive: true, force: true });
+    }
+});

package/dist/tests/commands/job/routing.test.js

@@ -0,0 +1,11 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const types_1 = require("../../../src/core/journal/types");
+const journal_1 = require("../../../src/core/model-policy/journal");
+const envelope = { schema: 'routing-envelope/v1', runtime: { target: 'codex', kind: 'native', version: '1', accountScopeDigest: '0'.repeat(64) }, role: 'implementer', sliceId: 'S1', requestedProfile: 'mechanical', effectiveProfile: 'mechanical', resolved: { selector: { kind: 'model', id: 'm' }, effort: { kind: 'explicit', value: 'medium' } }, outcome: 'native', unavailableEvidence: [], policyDigest: 'a'.repeat(64), capabilityDigest: 'b'.repeat(64), planDigest: 'c'.repeat(64), executionDigest: 'd'.repeat(64) };
+test('routing report remains read-only across an observed attempt', () => {
+    const reserved = (0, journal_1.reserveRoutingAttempt)((0, types_1.emptyState)('main'), { obligationId: 'o1', lineageId: 'l1', envelope, fingerprint: 'e'.repeat(64) }, '2026-09-17T00:00:00.000Z');
+    const observed = (0, journal_1.observeRoutingAttempt)(reserved.state, { attemptId: reserved.attemptId, nativeAgentId: 'native-id' }, '2026-09-17T00:01:00.000Z');
+    expect((0, journal_1.routingReport)(observed)).toMatchObject({ attempts: 1, byState: { active: 1 } });
+    expect(observed.routingAttempts[0].nativeAgentId).toBe('native-id');
+});

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

@@ -0,0 +1,57 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const commander_1 = require("commander");
+const model_policy_1 = require("../../../src/commands/model-policy");
+const out = jest.spyOn(process.stdout, 'write').mockImplementation(() => true);
+describe('model-policy command', () => {
+    beforeEach(() => { jest.clearAllMocks(); process.exitCode = undefined; });
+    afterAll(() => out.mockRestore());
+    it('emits a read-only protocol contract as JSON', async () => {
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, model_policy_1.registerModelPolicyCommand)(program);
+        await program.parseAsync(['node', 'awm', 'model-policy', 'contract', '--json']);
+        expect(JSON.parse(String(out.mock.calls[0][0]))).toMatchObject({
+            schema: 'routing-protocol/v1',
+            supportedPlanSchemas: ['compact-slices/v1', 'compact-slices/v2'],
+            implementerProfiles: ['mechanical', 'integration', 'judgment'],
+            limits: { maxFileBytes: 262144 },
+        });
+    });
+    it('rejects missing values instead of silently accepting an incomplete approval', async () => {
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, model_policy_1.registerModelPolicyCommand)(program);
+        await expect(program.parseAsync(['node', 'awm', 'model-policy', 'approve', '--file', '--scope', 'user', '--expected-digest', 'a'.repeat(64)])).rejects.toThrow();
+    });
+    it('accepts and validates --cwd on contract, and resolves status through it', async () => {
+        const readEffectivePolicy = jest.fn(() => ({ state: 'absent' }));
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, model_policy_1.registerModelPolicyCommand)(program, { readEffectivePolicy });
+        await program.parseAsync(['node', 'awm', 'model-policy', 'contract', '--cwd', 'fixture-root', '--json']);
+        await program.parseAsync(['node', 'awm', 'model-policy', 'status', '--provider', 'codex', '--runtime-kind', 'native', '--runtime-version', '1.0.0', '--account-scope-digest', 'a'.repeat(64), '--cwd', 'fixture-root', '--json']);
+        expect(readEffectivePolicy).toHaveBeenCalledWith('fixture-root');
+        await expect(program.parseAsync(['node', 'awm', 'model-policy', 'contract', '--cwd', '--json'])).rejects.toThrow();
+    });
+    it('reports receipt provenance in status and rejects stale receipt state', async () => {
+        const readCapabilities = jest.fn(() => ({ state: 'stale', reason: 'expired' }));
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, model_policy_1.registerModelPolicyCommand)(program, { readEffectivePolicy: () => ({ state: 'absent' }), readCapabilities });
+        await program.parseAsync(['node', 'awm', 'model-policy', 'status', '--provider', 'codex', '--runtime-kind', 'native', '--runtime-version', '1.0.0', '--account-scope-digest', 'a'.repeat(64), '--json']);
+        expect(JSON.parse(String(out.mock.calls[0][0]))).toMatchObject({ policy: { state: 'absent' }, capability: { state: 'stale' } });
+        expect(process.exitCode).toBe(2);
+    });
+    it('rejects an empty replacement digest for capability approval at the command boundary', async () => {
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, model_policy_1.registerModelPolicyCommand)(program, { approveCapabilities: jest.fn() });
+        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/);
+    });
+});

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

@@ -48,6 +48,18 @@ describe('plan validate Commander wiring', () => {
         stdoutWrite.mockRestore();
         process.exitCode = previousExitCode;
     });
+    it('returns v1 not-required before reading personal policy or capability state', async () => {
+        const policy = jest.fn();
+        const capabilities = jest.fn();
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, plan_1.registerPlanCommand)(program, { validatePlanFile: () => valid, readEffectivePolicy: policy, readCapabilities: capabilities });
+        await program.parseAsync(['node', 'awm', 'plan', 'resolve', 'plans/r4.md', '--provider', 'codex', '--runtime-kind', 'native', '--runtime-version', '1.0.0', '--account-scope-digest', 'a'.repeat(64), '--role', 'controller', '--json']);
+        expect(JSON.parse(String(stdoutWrite.mock.calls[0][0]))).toEqual({ state: 'not-required', reason: 'v1-without-opt-in' });
+        expect(policy).not.toHaveBeenCalled();
+        expect(capabilities).not.toHaveBeenCalled();
+    });
     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');
@@ -192,6 +204,46 @@ describe('plan validate Commander wiring', () => {
     });
 });
 describe('plan admit Commander wiring', () => {
+    it('does not read v2 routing facts after currentness blocks', async () => {
+        const policy = jest.fn();
+        const capabilities = jest.fn();
+        const output = jest.spyOn(process.stdout, 'write').mockImplementation(() => true);
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, plan_1.registerPlanCommand)(program, { validatePlanFile: () => ({ ...valid, schema: 'compact-slices/v2', manifest: { ...valid.manifest, schema: 'compact-slices/v2', slices: valid.manifest.slices.map(slice => ({ ...slice, implementerProfile: 'mechanical' })) } }), readPreferences: () => ({ defaultAgent: 'codex', enabledAgents: ['codex'], installMethod: 'symlink', defaultScope: 'local' }), readEffectivePolicy: policy, readCapabilities: capabilities, listRegistries: () => [], checkCurrentness: async () => ({ checkedAt: 'x', compatibility: { status: 'not-checked' }, components: [{ component: 'cli', installed: '1', latest: '2', channel: 'stable', source: 'x', checkedAt: 'x', status: 'stale', detail: 'x', remedy: 'x' }] }) });
+        try {
+            await program.parseAsync(['node', 'awm', 'plan', 'admit', 'plan.md', '--provider', 'codex', '--cwd', repositoryRoot, '--require-current', '--runtime-kind', 'native', '--runtime-version', '1.0.0', '--account-scope-digest', 'a'.repeat(64), '--json']);
+            expect(policy).not.toHaveBeenCalled();
+            expect(capabilities).not.toHaveBeenCalled();
+        }
+        finally {
+            output.mockRestore();
+            process.exitCode = undefined;
+        }
+    });
+    it.each([
+        ['invalid plan', invalid, 'codex', ['codex']],
+        ['invalid provider', valid, 'not-a-provider', ['codex']],
+        ['disabled provider', valid, 'codex', ['cursor']],
+    ])('does not read routing facts for %s even with complete runtime flags', async (_name, report, provider, enabledAgents) => {
+        const policy = jest.fn();
+        const capabilities = jest.fn();
+        const output = jest.spyOn(process.stdout, 'write').mockImplementation(() => true);
+        const program = new commander_1.Command();
+        program.exitOverride();
+        program.configureOutput({ writeErr: () => undefined });
+        (0, plan_1.registerPlanCommand)(program, { validatePlanFile: () => report, readPreferences: () => ({ defaultAgent: 'codex', enabledAgents: [...enabledAgents], installMethod: 'symlink', defaultScope: 'local' }), readEffectivePolicy: policy, readCapabilities: capabilities });
+        try {
+            await program.parseAsync(['node', 'awm', 'plan', 'admit', 'plan.md', '--provider', provider, '--cwd', repositoryRoot, '--runtime-kind', 'native', '--runtime-version', '1.0.0', '--account-scope-digest', 'a'.repeat(64), '--json']);
+            expect(policy).not.toHaveBeenCalled();
+            expect(capabilities).not.toHaveBeenCalled();
+        }
+        finally {
+            output.mockRestore();
+            process.exitCode = undefined;
+        }
+    });
     it('derives desatendido from the canonical plan header and requires a journal without a flag', async () => {
         const root = fs_1.default.mkdtempSync(path_1.default.join(os_1.default.tmpdir(), 'awm-admit-header-'));
         const output = jest.spyOn(process.stdout, 'write').mockImplementation(() => true);

package/dist/tests/commands/watch/apply.test.js

@@ -194,6 +194,18 @@ describe('aplicacion transaccional de requests', () => {
         expect(Object.values(s.appliedRequests).some((a) => a.outcome === 'rejected-stale-generation')).toBe(true);
         expect(s.controllerHeartbeatAt).toBeUndefined();
     });
+    test('routing reserve/observe es supervisado, idempotente y una generacion vieja no muta intentos', () => {
+        const envelope = { schema: 'routing-envelope/v1', runtime: { target: 'codex', kind: 'native', version: '1', accountScopeDigest: '0'.repeat(64) }, role: 'implementer', sliceId: 'S1', requestedProfile: 'mechanical', effectiveProfile: 'mechanical', resolved: { selector: { kind: 'model', id: 'm' }, effort: { kind: 'explicit', value: 'medium' } }, outcome: 'native', unavailableEvidence: [], policyDigest: 'a'.repeat(64), capabilityDigest: 'b'.repeat(64), planDigest: 'c'.repeat(64), executionDigest: 'd'.repeat(64) };
+        (0, requests_1.emitRequest)(repo, 'rama', { kind: 'routing-reserve', generationToken: 'g1', idempotencyKey: 'routing-1', payload: { obligationId: 'o1', lineageId: 'l1', envelope, fingerprint: 'e'.repeat(64) } });
+        (0, apply_1.consumePendingRequests)(repo, 'rama', 'g1');
+        const attempt = (0, store_1.readJournal)(repo, 'rama').state.routingAttempts[0];
+        (0, requests_1.emitRequest)(repo, 'rama', { kind: 'routing-observe', generationToken: 'g1', idempotencyKey: 'routing-2', payload: { attemptId: attempt.id, nativeAgentId: 'native-1' } });
+        (0, apply_1.consumePendingRequests)(repo, 'rama', 'g1');
+        expect((0, store_1.readJournal)(repo, 'rama').state.routingAttempts[0]).toMatchObject({ state: 'active', nativeAgentId: 'native-1' });
+        (0, requests_1.emitRequest)(repo, 'rama', { kind: 'routing-reserve', generationToken: 'old', idempotencyKey: 'routing-old', payload: { obligationId: 'o1', lineageId: 'l2', envelope, fingerprint: 'f'.repeat(64) } });
+        expect((0, apply_1.consumePendingRequests)(repo, 'rama', 'g1').rejectedStale).toBe(1);
+        expect((0, store_1.readJournal)(repo, 'rama').state.routingAttempts).toHaveLength(1);
+    });
     test('request corrupta se aparta VISIBLE como .corrupt, jamas se descarta (R1.6)', () => {
         fs_1.default.writeFileSync(path_1.default.join((0, paths_1.requestsDir)(repo, 'rama'), 'req-roto.json'), '{no-json');
         const out = (0, apply_1.consumePendingRequests)(repo, 'rama', 'g1');

package/dist/tests/core/admission/index.test.js

@@ -11,6 +11,54 @@ const valid = {
     },
 };
 describe('admitPlan', () => {
+    const sha = 'a'.repeat(64);
+    const routing = () => ({
+        now: new Date('2026-09-17T12:00:00.000Z'),
+        runtime: { target: 'codex', kind: 'native', version: '1.0.0', accountScopeDigest: sha },
+        policy: { schema: 'approved-model-policy/v1', content: { schema: 'model-policy/v1', mappings: [{ target: 'codex', runtimeKind: 'native', profiles: { mechanical: { selector: { kind: 'model', id: 'm' }, effort: { kind: 'explicit', value: 'low' } }, integration: { selector: { kind: 'model', id: 'i' }, effort: { kind: 'explicit', value: 'medium' } }, judgment: { selector: { kind: 'model', id: 'j' }, effort: { kind: 'explicit', value: 'medium' } } }, fullCapability: { selector: { kind: 'model', id: 'f' }, effort: { kind: 'explicit', value: 'high' } }, degradation: { allowMissingModelOverride: false, allowMissingEffortOverride: false, allowMissingObservedIdentity: false } }], implementationBudget: { maxAttempts: 3, escalation: ['mechanical', 'integration', 'judgment'], judgmentEfforts: ['medium', 'high'] } }, contentDigest: sha, approval: { approvedAt: '2026-09-17T00:00:00.000Z', approvalId: 'approval' }, lineage: { previousDigest: null } },
+        capabilities: { 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: ['m', 'i', 'j', 'f'].map((id, n) => ({ selector: { kind: 'model', id }, effort: { kind: 'explicit', value: n === 0 ? 'low' : n === 3 ? 'high' : 'medium' } })), evidence: ['interactiveExecution', 'unattendedController', 'modelOverride', 'effortOverride', 'observedModelEvidence'].map(capability => ({ capability: capability, kind: 'native-control', receiptDigest: sha })), approval: { approvalId: 'approval', snapshotDigest: sha } },
+    });
+    const v2 = (profile = 'mechanical') => ({ ...valid, schema: 'compact-slices/v2', manifest: { ...valid.manifest, schema: 'compact-slices/v2', slices: valid.manifest.slices.map(slice => ({ ...slice, implementerProfile: profile })) } });
+    it('blocks v2 routing only after existing sensors pass when routing facts are absent', async () => {
+        const report = await (0, admission_1.admitPlan)({ plan: v2(), provider: 'codex', cwd: process.cwd(), enabledAgents: ['codex'], verifySensors: true, sensors: { overall: 'pass', sensors: [] } });
+        expect(report).toMatchObject({ state: 'blocked', sensors: 'pass' });
+        expect(report.diagnostics[0].code).toBe('ADMISSION_ROUTING_FACTS_REQUIRED');
+    });
+    it.each([
+        ['journal', { provider: 'codex', executionMode: 'desatendido' }],
+        ['provider capability', { provider: 'cursor', executionMode: 'interactivo' }],
+    ])('does not invoke deferred v2 routing facts when %s gate blocks', async (_name, fields) => {
+        const reader = jest.fn(() => { throw new Error('routing reader must not run'); });
+        const report = await (0, admission_1.admitPlan)({ plan: v2(), cwd: process.cwd(), enabledAgents: [fields.provider], routingReader: reader, ...fields });
+        expect(report.state).toBe('blocked');
+        expect(reader).not.toHaveBeenCalled();
+    });
+    it.each(['fail', 'not_certified'])('does not invoke deferred v2 routing facts when sensors are %s', async (overall) => {
+        const reader = jest.fn(() => { throw new Error('routing reader must not run'); });
+        const report = await (0, admission_1.admitPlan)({ plan: v2(), provider: 'codex', cwd: process.cwd(), enabledAgents: ['codex'], verifySensors: true, sensors: { overall, sensors: [] }, routingReader: reader });
+        expect(report).toMatchObject({ state: 'blocked', sensors: overall === 'not_certified' ? 'not-certified' : 'fail' });
+        expect(reader).not.toHaveBeenCalled();
+    });
+    it('does not invoke deferred v2 routing facts when compatibility blocks', async () => {
+        const reader = jest.fn(() => { throw new Error('routing reader must not run'); });
+        const currentness = { checkedAt: 'x', compatibility: { status: 'not-checked' }, components: [{ component: 'cli', installed: '1', latest: '1', channel: 'stable', source: 'x', checkedAt: 'x', status: 'current', detail: 'x', remedy: 'none' }] };
+        const report = await (0, admission_1.admitPlan)({ plan: v2(), provider: 'codex', cwd: process.cwd(), enabledAgents: ['codex'], requireCurrent: true, provenance: 'proven', currentness, compatibilityDiagnostics: [{ code: 'COMPAT', message: 'blocked' }], routingReader: reader });
+        expect(report).toMatchObject({ state: 'blocked', diagnostics: [expect.objectContaining({ code: 'COMPAT' })] });
+        expect(reader).not.toHaveBeenCalled();
+    });
+    it.each(['mechanical', 'integration', 'judgment'])('admits v2 %s with policy and capability evidence and an honest unknown forecast', async (profile) => {
+        const report = await (0, admission_1.admitPlan)({ plan: v2(profile), provider: 'codex', cwd: process.cwd(), enabledAgents: ['codex'], routing: routing() });
+        expect(report).toMatchObject({ state: 'admitted', routingForecast: { implementerProfiles: { [profile]: 1 }, trackB: { state: 'unavailable', lowerBound: 1 }, controller: { state: 'unavailable', lowerBound: 0 } } });
+    });
+    it('blocks a valid cross-provider policy and receipt instead of admitting codex under another runtime target', async () => {
+        const evidence = routing();
+        const foreign = structuredClone(evidence);
+        foreign.runtime.target = 'cursor';
+        foreign.policy.content.mappings[0].target = 'cursor';
+        foreign.capabilities.runtime.target = 'cursor';
+        const report = await (0, admission_1.admitPlan)({ plan: v2(), provider: 'codex', cwd: process.cwd(), enabledAgents: ['codex'], routing: foreign });
+        expect(report).toMatchObject({ state: 'blocked', provider: 'codex', diagnostics: [expect.objectContaining({ code: 'ADMISSION_ROUTING_PROVIDER_MISMATCH' })] });
+    });
     it('rejects a forecast whose total or role topology does not match its slices', () => {
         const forecast = { kind: 'topology', slices: 2, roles: { implementer: 2, 'specification-reviewer': 2, 'code-quality-reviewer': 2, 'final-reviewer': 1, 'track-a-qa': 1, 'track-b-qa': 1, documentation: 1, retro: 1, finishing: 1 }, total: 99 };
         expect(() => (0, admission_1.sanitizeAdmissionReport)({ state: 'admitted', planState: 'valid', journal: 'not-required', currentness: 'not-checked', sensors: 'not-required', diagnostics: [], forecast })).toThrow(/invalid report/);
@@ -18,6 +66,11 @@ describe('admitPlan', () => {
         forecast.roles.implementer = 1;
         expect(() => (0, admission_1.sanitizeAdmissionReport)({ state: 'admitted', planState: 'valid', journal: 'not-required', currentness: 'not-checked', sensors: 'not-required', diagnostics: [], forecast })).toThrow(/invalid report/);
     });
+    it('rejects forged routing forecast role keys and profile totals at the public sanitizer', () => {
+        const base = { kind: 'routing-v1', slices: 1, implementerProfiles: { mechanical: 1, integration: 0, judgment: 0 }, roles: { 'specification-reviewer': 1, 'code-quality-reviewer': 1, 'final-reviewer': 1, 'track-a-qa': 1, documentation: 1, retro: 1, finishing: 1 }, trackB: { state: 'unavailable', lowerBound: 1 }, controller: { state: 'unavailable', lowerBound: 0 } };
+        expect(() => (0, admission_1.sanitizeAdmissionReport)({ state: 'admitted', planState: 'valid', journal: 'not-required', currentness: 'not-checked', sensors: 'not-required', diagnostics: [], routingForecast: { ...base, roles: { ...base.roles, architecture: 1 } } })).toThrow(/invalid report/);
+        expect(() => (0, admission_1.sanitizeAdmissionReport)({ state: 'admitted', planState: 'valid', journal: 'not-required', currentness: 'not-checked', sensors: 'not-required', diagnostics: [], routingForecast: { ...base, implementerProfiles: { ...base.implementerProfiles, mechanical: 0 } } })).toThrow(/invalid report/);
+    });
     it('preserves the distinct unsupported plan state and bounded validator diagnostic', async () => {
         const report = await (0, admission_1.admitPlan)({ plan: { state: 'unsupported', schema: 'compact-slices/v9', diagnostics: [{ code: 'PLAN_UNSUPPORTED_SCHEMA', message: `future\u001b${'x'.repeat(5000)}` }] }, provider: 'codex', cwd: process.cwd() });
         expect(report).toMatchObject({ state: 'blocked', planState: 'unsupported', currentness: 'not-checked', sensors: 'not-required' });