@jeger-ai/opengantry 3.3.0 → 3.5.0

package/dist/cli/lib/contract/propose-gate.d.ts

@@ -0,0 +1,21 @@
+import type { SkillEntry } from "../types.js";
+export interface ProposedGate {
+    command: string;
+    successSubstring: string | null;
+}
+/**
+ * Prefer a skill allowlist entry whose text names a proposed TMVC root segment (e.g. `test:billing`),
+ * else the first allowlisted command. `package.json` script names are a secondary signal when no
+ * allowlist exists. Falls back to `echo OK` so interrogation can raise `missing_test_criteria`.
+ */
+export declare function proposeGate(input: {
+    root: string;
+    skill: SkillEntry | undefined;
+    proposedRoots: readonly string[];
+    explicitCommand?: string;
+    explicitSuccess?: string;
+}): {
+    gate: ProposedGate;
+    rationale: string;
+};
+//# sourceMappingURL=propose-gate.d.ts.map

package/dist/cli/lib/contract/propose-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose-gate.d.ts","sourceRoot":"","sources":["../../../../src/cli/lib/contract/propose-gate.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAsBD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,UAAU,GAAG,SAAS,CAAC;IAC9B,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,GAAG;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CA8B5C"}

package/dist/cli/lib/contract/propose-gate.js

@@ -0,0 +1,57 @@
+import fs from "node:fs";
+import path from "node:path";
+function packageScripts(root) {
+    const abs = path.join(root, "package.json");
+    if (!fs.existsSync(abs))
+        return [];
+    try {
+        const scripts = JSON.parse(fs.readFileSync(abs, "utf8")).scripts;
+        return scripts ? Object.keys(scripts).sort() : [];
+    }
+    catch {
+        return [];
+    }
+}
+function rootSegmentHits(command, roots) {
+    let hits = 0;
+    for (const root of roots) {
+        const seg = root.replace(/\/$/, "").split("/").filter(Boolean).pop();
+        if (seg && command.includes(seg))
+            hits += 1;
+    }
+    return hits;
+}
+/**
+ * Prefer a skill allowlist entry whose text names a proposed TMVC root segment (e.g. `test:billing`),
+ * else the first allowlisted command. `package.json` script names are a secondary signal when no
+ * allowlist exists. Falls back to `echo OK` so interrogation can raise `missing_test_criteria`.
+ */
+export function proposeGate(input) {
+    if (input.explicitCommand?.trim()) {
+        const command = input.explicitCommand.trim();
+        return {
+            gate: {
+                command,
+                successSubstring: input.explicitSuccess !== undefined ? input.explicitSuccess.trim() || null : null,
+            },
+            rationale: `gate_command from --gate-command: ${command}`,
+        };
+    }
+    const allow = input.skill?.gate_commands ?? [];
+    if (allow.length > 0) {
+        const ranked = [...allow].sort((a, b) => rootSegmentHits(b, input.proposedRoots) - rootSegmentHits(a, input.proposedRoots) || a.localeCompare(b));
+        const command = ranked[0];
+        return { gate: { command, successSubstring: null }, rationale: `gate_command from skill allowlist: ${command}` };
+    }
+    const scripts = packageScripts(input.root);
+    const scriptHit = scripts.find((s) => rootSegmentHits(`npm run ${s}`, input.proposedRoots) > 0);
+    if (scriptHit) {
+        const command = `npm run ${scriptHit}`;
+        return { gate: { command, successSubstring: null }, rationale: `gate_command from package.json script matching a TMVC segment: ${command}` };
+    }
+    return {
+        gate: { command: "echo OK", successSubstring: "OK" },
+        rationale: "gate_command fallback echo OK (no skill allowlist; interrogation may raise missing_test_criteria)",
+    };
+}
+//# sourceMappingURL=propose-gate.js.map

package/dist/cli/lib/contract/propose-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose-gate.js","sourceRoot":"","sources":["../../../../src/cli/lib/contract/propose-gate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAQ7B,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IAC5C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,CAAC;QACH,MAAM,OAAO,GAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAA0C,CAAC,OAAO,CAAC;QAC3G,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,OAAe,EAAE,KAAwB;IAChE,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC;QACrE,IAAI,GAAG,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,KAM3B;IACC,IAAI,KAAK,CAAC,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;QAC7C,OAAO;YACL,IAAI,EAAE;gBACJ,OAAO;gBACP,gBAAgB,EAAE,KAAK,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI;aACpG;YACD,SAAS,EAAE,qCAAqC,OAAO,EAAE;SAC1D,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,aAAa,IAAI,EAAE,CAAC;IAC/C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,KAAK,CAAC,aAAa,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAClJ,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,sCAAsC,OAAO,EAAE,EAAE,CAAC;IACnH,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;IAChG,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,OAAO,GAAG,WAAW,SAAS,EAAE,CAAC;QACvC,OAAO,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,kEAAkE,OAAO,EAAE,EAAE,CAAC;IAC/I,CAAC;IAED,OAAO;QACL,IAAI,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE;QACpD,SAAS,EAAE,mGAAmG;KAC/G,CAAC;AACJ,CAAC"}

package/dist/cli/lib/contract/propose-imports.d.ts

@@ -0,0 +1,26 @@
+import type { OrgPolicyBundle } from "../policy/policy-types.js";
+export interface WorkspacePackage {
+    name: string;
+    dir: string;
+}
+/** Workspace packages from root `package.json` `workspaces` (no npm expand). */
+export declare function listWorkspacePackages(root: string): WorkspacePackage[];
+export interface ProposeImportsInput {
+    root: string;
+    proposedRoots: readonly string[];
+    forbiddenZones: readonly string[];
+    policy: OrgPolicyBundle | null;
+}
+export interface ProposeImportsResult {
+    allowed_imports: string[];
+    banned_imports: string[];
+    extraForbidden: string[];
+    rationale: string[];
+}
+/**
+ * Allowed = bare specifiers already imported under proposed roots. Banned = policy ∪ arch
+ * substring rules ∪ specifiers seen only in forbidden zones. Workspace packages named by a
+ * banned specifier have their directory appended so relative traversal cannot substitute.
+ */
+export declare function proposeImports(input: ProposeImportsInput): ProposeImportsResult;
+//# sourceMappingURL=propose-imports.d.ts.map

package/dist/cli/lib/contract/propose-imports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose-imports.d.ts","sourceRoot":"","sources":["../../../../src/cli/lib/contract/propose-imports.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAEjE,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb;AAuBD,gFAAgF;AAChF,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAsBtE;AAoCD,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC;CAChC;AAED,MAAM,WAAW,oBAAoB;IACnC,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,GAAG,oBAAoB,CA0B/E"}

package/dist/cli/lib/contract/propose-imports.js

@@ -0,0 +1,128 @@
+import fs from "node:fs";
+import path from "node:path";
+import { importMatchesBan } from "../ast-discovery.js";
+import { layerForFile, loadTargetArchitecture } from "../arch/cage/target-architecture.js";
+import { extractImportSites } from "../import-scanner.js";
+import { isBuiltinSpecifier } from "./resolve-specifier.js";
+import { listSourcesUnderRoots } from "./contract-scan.js";
+import { normalizeRepoRelativePath } from "../tmvc-path.js";
+function tryLoadArch(root) {
+    try {
+        return loadTargetArchitecture(root);
+    }
+    catch {
+        return null;
+    }
+}
+function expandWorkspaceGlob(root, glob) {
+    const trimmed = glob.replace(/\/\*$/, "").replace(/\/\*\*$/, "");
+    const abs = path.join(root, trimmed);
+    if (!fs.existsSync(abs) || !fs.statSync(abs).isDirectory())
+        return [];
+    const out = [];
+    for (const ent of fs.readdirSync(abs, { withFileTypes: true })) {
+        if (!ent.isDirectory())
+            continue;
+        const pkgJson = path.join(abs, ent.name, "package.json");
+        if (fs.existsSync(pkgJson))
+            out.push(path.posix.join(normalizeRepoRelativePath(trimmed), ent.name));
+    }
+    return out;
+}
+/** Workspace packages from root `package.json` `workspaces` (no npm expand). */
+export function listWorkspacePackages(root) {
+    const abs = path.join(root, "package.json");
+    if (!fs.existsSync(abs))
+        return [];
+    let parsed;
+    try {
+        parsed = JSON.parse(fs.readFileSync(abs, "utf8"));
+    }
+    catch {
+        return [];
+    }
+    const globs = Array.isArray(parsed.workspaces) ? parsed.workspaces : (parsed.workspaces?.packages ?? []);
+    const out = [];
+    for (const glob of globs) {
+        for (const dir of expandWorkspaceGlob(root, glob)) {
+            try {
+                const name = JSON.parse(fs.readFileSync(path.join(root, dir, "package.json"), "utf8")).name;
+                if (name)
+                    out.push({ name, dir: `${dir.replace(/\/$/, "")}/` });
+            }
+            catch {
+                /* skip malformed workspace package */
+            }
+        }
+    }
+    return out.sort((a, b) => a.name.localeCompare(b.name));
+}
+function collectBareSpecs(root, files) {
+    const specs = new Set();
+    for (const file of files) {
+        const abs = path.join(root, file);
+        if (!fs.existsSync(abs))
+            continue;
+        for (const site of extractImportSites(fs.readFileSync(abs, "utf8"))) {
+            if (!site.spec || site.spec.startsWith(".") || site.spec.startsWith("/") || isBuiltinSpecifier(site.spec))
+                continue;
+            specs.add(site.spec);
+        }
+    }
+    return [...specs].sort();
+}
+function bareSpecifiersUnder(root, roots) {
+    return collectBareSpecs(root, listSourcesUnderRoots(root, roots));
+}
+function specifiersInForbidden(root, forbidden) {
+    return collectBareSpecs(root, listSourcesUnderRoots(root, forbidden));
+}
+function archBannedForRoots(root, proposedRoots) {
+    const spec = tryLoadArch(root);
+    if (!spec)
+        return [];
+    const layers = new Set();
+    for (const r of proposedRoots)
+        layers.add(layerForFile(spec, r.endsWith("/") ? `${r}index.ts` : `${r}/index.ts`));
+    const out = new Set();
+    for (const rule of spec.rules) {
+        if (!rule.forbid_specifier_substring)
+            continue;
+        if (layers.has(rule.from_layer) || rule.from_layer === "*")
+            out.add(rule.forbid_specifier_substring);
+    }
+    return [...out].sort();
+}
+/**
+ * Allowed = bare specifiers already imported under proposed roots. Banned = policy ∪ arch
+ * substring rules ∪ specifiers seen only in forbidden zones. Workspace packages named by a
+ * banned specifier have their directory appended so relative traversal cannot substitute.
+ */
+export function proposeImports(input) {
+    const rationale = [];
+    const allowed = bareSpecifiersUnder(input.root, input.proposedRoots);
+    if (allowed.length > 0)
+        rationale.push(`allowed_imports from imports under ${input.proposedRoots.join(", ")}`);
+    const policyBanned = (input.policy?.banned_imports ?? []).map((b) => b.specifier.trim()).filter(Boolean);
+    const archBanned = archBannedForRoots(input.root, input.proposedRoots);
+    const forbiddenOnly = specifiersInForbidden(input.root, input.forbiddenZones).filter((s) => !allowed.some((a) => importMatchesBan(s, a) || importMatchesBan(a, s)));
+    const banned = [...new Set([...policyBanned, ...archBanned, ...forbiddenOnly])].sort();
+    if (policyBanned.length > 0)
+        rationale.push(`banned_imports from org policy: ${policyBanned.join(", ")}`);
+    if (archBanned.length > 0)
+        rationale.push(`banned_imports from TARGET_ARCHITECTURE: ${archBanned.join(", ")}`);
+    if (forbiddenOnly.length > 0)
+        rationale.push(`banned_imports observed only in forbidden zones: ${forbiddenOnly.join(", ")}`);
+    const extraForbidden = [];
+    for (const pkg of listWorkspacePackages(input.root)) {
+        if (!banned.some((b) => importMatchesBan(pkg.name, b) || importMatchesBan(b, pkg.name)))
+            continue;
+        extraForbidden.push(pkg.dir);
+    }
+    extraForbidden.sort();
+    if (extraForbidden.length > 0) {
+        rationale.push(`forbidden_zones += workspace packages of banned specifiers: ${extraForbidden.join(", ")}`);
+    }
+    return { allowed_imports: allowed, banned_imports: banned, extraForbidden, rationale };
+}
+//# sourceMappingURL=propose-imports.js.map

package/dist/cli/lib/contract/propose-imports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose-imports.js","sourceRoot":"","sources":["../../../../src/cli/lib/contract/propose-imports.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,sBAAsB,EAA+B,MAAM,qCAAqC,CAAC;AACxH,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAQ5D,SAAS,WAAW,CAAC,IAAY;IAC/B,IAAI,CAAC;QACH,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,IAAY;IACrD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACjE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE;QAAE,OAAO,EAAE,CAAC;IACtE,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC/D,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE;YAAE,SAAS;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACzD,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACtG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IAC5C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,MAA2D,CAAC;IAChE,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAkB,CAAC;IACrE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IACzG,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC;gBACH,MAAM,IAAI,GAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAuB,CAAC,IAAI,CAAC;gBACnH,IAAI,IAAI;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;YAClE,CAAC;YAAC,MAAM,CAAC;gBACP,sCAAsC;YACxC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAwB;IAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAClC,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;YACpE,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACpH,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,KAAwB;IACjE,OAAO,gBAAgB,CAAC,IAAI,EAAE,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY,EAAE,SAA4B;IACvE,OAAO,gBAAgB,CAAC,IAAI,EAAE,qBAAqB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,aAAgC;IACxE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,aAAa;QAAE,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IAClH,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,0BAA0B;YAAE,SAAS;QAC/C,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,GAAG;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAgBD;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAA0B;IACvD,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IACrE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,sCAAsC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE/G,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACzG,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IACvE,MAAM,aAAa,GAAG,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC,MAAM,CAClF,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAC9E,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,mCAAmC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1G,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,4CAA4C,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/G,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,oDAAoD,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE7H,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QAClG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IACD,cAAc,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,SAAS,CAAC,IAAI,CAAC,+DAA+D,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7G,CAAC;IAED,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;AACzF,CAAC"}

package/dist/cli/lib/contract/propose.d.ts

@@ -0,0 +1,25 @@
+import type { MissionContract } from "./contract-types.js";
+import { type ProposedGate } from "./propose-gate.js";
+import type { Manifest } from "../types.js";
+import type { OrgPolicyBundle as PolicyBundle } from "../policy/policy-types.js";
+export interface ProposeContractInput {
+    root: string;
+    manifest: Manifest;
+    intent: string;
+    skillKey: string;
+    paths?: string[];
+    policy?: PolicyBundle | null;
+    gateCommand?: string;
+    gateSuccessSubstring?: string;
+}
+export interface ProposeContractResult {
+    contract: MissionContract;
+    gate: ProposedGate;
+    rationale: string[];
+}
+/**
+ * Deterministic contract proposal (ADR-0030: no LLM). Same inputs always yield the same
+ * normalized contract, gate, and sorted rationale.
+ */
+export declare function proposeContract(input: ProposeContractInput): ProposeContractResult;
+//# sourceMappingURL=propose.d.ts.map

package/dist/cli/lib/contract/propose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.d.ts","sourceRoot":"","sources":["../../../../src/cli/lib/contract/propose.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAE3D,OAAO,EAAe,KAAK,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAGnE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAE,eAAe,IAAI,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGjF,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,MAAM,CAAC,EAAE,YAAY,GAAG,IAAI,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,oBAAoB,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,eAAe,CAAC;IAC1B,IAAI,EAAE,YAAY,CAAC;IACnB,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAsCD;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,oBAAoB,GAAG,qBAAqB,CAmClF"}

package/dist/cli/lib/contract/propose.js

@@ -0,0 +1,79 @@
+import { loadPolicyBundleQuiet } from "./effective-scope.js";
+import { normalizeContract, normalizeContractPath } from "./contract-hash.js";
+import { existingHintedPaths } from "./intent-path-tokens.js";
+import { proposeGate } from "./propose-gate.js";
+import { proposeImports } from "./propose-imports.js";
+import { isPathUnderRoot } from "../tmvc-path.js";
+import { resolveManifestSkillKey } from "../skill-key.js";
+function proposeTmvcRoots(input, skillRoots) {
+    const narrowed = existingHintedPaths(input.root, input.intent, input.paths, skillRoots);
+    if (narrowed.length > 0) {
+        return {
+            roots: narrowed,
+            rationale: `tmvc_roots from intent/--path that exist on disk (intersect skill roots): ${narrowed.join(", ")}`,
+        };
+    }
+    if (skillRoots.length > 0) {
+        return { roots: [...skillRoots].sort(), rationale: `tmvc_roots fallback to skill roots: ${skillRoots.join(", ")}` };
+    }
+    return { roots: [], rationale: "tmvc_roots empty (substrate skill; Planner must declare roots)" };
+}
+function proposeForbidden(skillForbidden, policy, manifest, proposedRoots) {
+    const rationale = [];
+    const policyAdd = (policy?.manifest_constraints?.forbidden_zones_add ?? []).map(normalizeContractPath);
+    const tier3 = [];
+    for (const [prefix, tier] of Object.entries(manifest.path_risks)) {
+        if (tier !== "Tier-3")
+            continue;
+        const norm = normalizeContractPath(prefix);
+        const covered = proposedRoots.some((r) => isPathUnderRoot(norm, r) || isPathUnderRoot(r, norm));
+        if (!covered)
+            tier3.push(norm);
+    }
+    const zones = [...new Set([...skillForbidden, ...policyAdd, ...tier3])].sort();
+    if (skillForbidden.length > 0)
+        rationale.push(`forbidden_zones from skill: ${skillForbidden.join(", ")}`);
+    if (policyAdd.length > 0)
+        rationale.push(`forbidden_zones from policy: ${policyAdd.join(", ")}`);
+    if (tier3.length > 0)
+        rationale.push(`forbidden_zones from Tier-3 path_risks outside proposed roots: ${tier3.join(", ")}`);
+    return { zones, rationale };
+}
+/**
+ * Deterministic contract proposal (ADR-0030: no LLM). Same inputs always yield the same
+ * normalized contract, gate, and sorted rationale.
+ */
+export function proposeContract(input) {
+    const skillKey = resolveManifestSkillKey(input.manifest, input.skillKey);
+    const skill = input.manifest.skills[skillKey];
+    const skillRoots = (skill?.tmvc_roots ?? []).map(normalizeContractPath);
+    const skillForbidden = (skill?.forbidden_zones ?? []).map(normalizeContractPath);
+    const policy = input.policy !== undefined ? input.policy : loadPolicyBundleQuiet(input.root);
+    const tmvc = proposeTmvcRoots(input, skillRoots);
+    const forbidden = proposeForbidden(skillForbidden, policy, input.manifest, tmvc.roots);
+    const imports = proposeImports({
+        root: input.root,
+        proposedRoots: tmvc.roots,
+        forbiddenZones: forbidden.zones,
+        policy,
+    });
+    const gate = proposeGate({
+        root: input.root,
+        skill,
+        proposedRoots: tmvc.roots,
+        explicitCommand: input.gateCommand,
+        explicitSuccess: input.gateSuccessSubstring,
+    });
+    const contract = normalizeContract({
+        ...(tmvc.roots.length > 0 ? { tmvc_roots: tmvc.roots } : {}),
+        forbidden_zones: [...forbidden.zones, ...imports.extraForbidden],
+        allowed_imports: imports.allowed_imports,
+        banned_imports: imports.banned_imports,
+    });
+    return {
+        contract,
+        gate: gate.gate,
+        rationale: [tmvc.rationale, ...forbidden.rationale, ...imports.rationale, gate.rationale],
+    };
+}
+//# sourceMappingURL=propose.js.map

package/dist/cli/lib/contract/propose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.js","sourceRoot":"","sources":["../../../../src/cli/lib/contract/propose.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAE9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAqB,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAGlD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAmB1D,SAAS,gBAAgB,CAAC,KAA2B,EAAE,UAA6B;IAClF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACxF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,KAAK,EAAE,QAAQ;YACf,SAAS,EAAE,6EAA6E,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAC9G,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,uCAAuC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IACtH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,gEAAgE,EAAE,CAAC;AACpG,CAAC;AAED,SAAS,gBAAgB,CACvB,cAAiC,EACjC,MAA2B,EAC3B,QAAkB,EAClB,aAAgC;IAEhC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,oBAAoB,EAAE,mBAAmB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACvG,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjE,IAAI,IAAI,KAAK,QAAQ;YAAE,SAAS;QAChC,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAChG,IAAI,CAAC,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,cAAc,EAAE,GAAG,SAAS,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/E,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,+BAA+B,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1G,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,gCAAgC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,kEAAkE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3H,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAA2B;IACzD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACxE,MAAM,cAAc,GAAG,CAAC,KAAK,EAAE,eAAe,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;IACjF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAE7F,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,gBAAgB,CAAC,cAAc,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,cAAc,CAAC;QAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,aAAa,EAAE,IAAI,CAAC,KAAK;QACzB,cAAc,EAAE,SAAS,CAAC,KAAK;QAC/B,MAAM;KACP,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,WAAW,CAAC;QACvB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK;QACL,aAAa,EAAE,IAAI,CAAC,KAAK;QACzB,eAAe,EAAE,KAAK,CAAC,WAAW;QAClC,eAAe,EAAE,KAAK,CAAC,oBAAoB;KAC5C,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,iBAAiB,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,eAAe,EAAE,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC;QAChE,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,cAAc,EAAE,OAAO,CAAC,cAAc;KACvC,CAAC,CAAC;IAEH,OAAO;QACL,QAAQ;QACR,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,SAAS,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC;KAC1F,CAAC;AACJ,CAAC"}

package/dist/cli/lib/contract/resolve-specifier.d.ts

@@ -0,0 +1,34 @@
+export type SpecifierClass = {
+    kind: "builtin";
+    specifier: string;
+} | {
+    kind: "bare";
+    specifier: string;
+    packageName: string;
+} | {
+    kind: "relative";
+    specifier: string;
+    resolvedRepoRel: string;
+} | {
+    kind: "alias";
+    specifier: string;
+    resolvedRepoRel: string;
+};
+export interface TsconfigPaths {
+    /** Repo-relative directory that `paths` targets resolve against. */
+    baseDirRel: string;
+    /** Alias pattern → target patterns (tsconfig `compilerOptions.paths`). */
+    paths: Record<string, string[]>;
+}
+export declare function isBuiltinSpecifier(spec: string): boolean;
+/** `@scope/name/sub` → `@scope/name`; `name/sub` → `name`. */
+export declare function bareSpecifierPackage(spec: string): string;
+/** Read `compilerOptions.paths` from `<repo>/tsconfig.json` (no `extends` chasing). Null when absent. */
+export declare function loadTsconfigPaths(repoRoot: string, tsconfigRel?: string): TsconfigPaths | null;
+/**
+ * Classify a module specifier for contract checks. Relative and alias specifiers resolve to a
+ * repo-relative path (extension left as written; directory prefix checks do not need it). Alias
+ * specifiers that match no tsconfig path are treated as bare packages.
+ */
+export declare function classifySpecifier(spec: string, importerRepoRel: string, tsconfigPaths: TsconfigPaths | null): SpecifierClass;
+//# sourceMappingURL=resolve-specifier.d.ts.map

package/dist/cli/lib/contract/resolve-specifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-specifier.d.ts","sourceRoot":"","sources":["../../../../src/cli/lib/contract/resolve-specifier.ts"],"names":[],"mappings":"AAKA,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GAChE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,CAAC;AAElE,MAAM,WAAW,aAAa;IAC5B,oEAAoE;IACpE,UAAU,EAAE,MAAM,CAAC;IACnB,0EAA0E;IAC1E,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACjC;AAID,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAIxD;AAED,8DAA8D;AAC9D,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAIzD;AAQD,yGAAyG;AACzG,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,SAAkB,GAAG,aAAa,GAAG,IAAI,CAevG;AA6BD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,eAAe,EAAE,MAAM,EACvB,aAAa,EAAE,aAAa,GAAG,IAAI,GAClC,cAAc,CAahB"}

package/dist/cli/lib/contract/resolve-specifier.js

@@ -0,0 +1,93 @@
+import fs from "node:fs";
+import { builtinModules } from "node:module";
+import path from "node:path";
+import { normalizeRepoRelativePath } from "../tmvc-path.js";
+const BUILTINS = new Set(builtinModules);
+export function isBuiltinSpecifier(spec) {
+    if (spec.startsWith("node:"))
+        return true;
+    const base = spec.split("/")[0] ?? spec;
+    return BUILTINS.has(base);
+}
+/** `@scope/name/sub` → `@scope/name`; `name/sub` → `name`. */
+export function bareSpecifierPackage(spec) {
+    const parts = spec.split("/");
+    if (spec.startsWith("@") && parts.length >= 2)
+        return `${parts[0]}/${parts[1]}`;
+    return parts[0] ?? spec;
+}
+function stripJsonComments(raw) {
+    const noBlock = raw.replace(/\/\*[\s\S]*?\*\//g, "");
+    const noLine = noBlock.replace(/(^|[^:"'\\])\/\/[^\n]*/g, "$1");
+    return noLine.replace(/,(\s*[}\]])/g, "$1");
+}
+/** Read `compilerOptions.paths` from `<repo>/tsconfig.json` (no `extends` chasing). Null when absent. */
+export function loadTsconfigPaths(repoRoot, tsconfigRel = "tsconfig.json") {
+    const abs = path.join(repoRoot, tsconfigRel);
+    if (!fs.existsSync(abs))
+        return null;
+    let parsed;
+    try {
+        parsed = JSON.parse(stripJsonComments(fs.readFileSync(abs, "utf8")));
+    }
+    catch {
+        return null;
+    }
+    const paths = parsed.compilerOptions?.paths;
+    if (!paths || Object.keys(paths).length === 0)
+        return null;
+    const tsconfigDir = path.posix.dirname(normalizeRepoRelativePath(tsconfigRel));
+    const baseUrl = parsed.compilerOptions?.baseUrl ?? ".";
+    const baseDirRel = normalizeRepoRelativePath(path.posix.normalize(path.posix.join(tsconfigDir === "." ? "" : tsconfigDir, baseUrl)));
+    return { baseDirRel: baseDirRel === "." ? "" : baseDirRel, paths };
+}
+function matchAliasPattern(spec, pattern) {
+    const star = pattern.indexOf("*");
+    if (star === -1)
+        return spec === pattern ? "" : null;
+    const prefix = pattern.slice(0, star);
+    const suffix = pattern.slice(star + 1);
+    if (!spec.startsWith(prefix) || !spec.endsWith(suffix) || spec.length < prefix.length + suffix.length)
+        return null;
+    return spec.slice(prefix.length, spec.length - suffix.length);
+}
+function resolveAlias(spec, ts) {
+    for (const [pattern, targets] of Object.entries(ts.paths)) {
+        const wildcard = matchAliasPattern(spec, pattern);
+        if (wildcard === null)
+            continue;
+        const target = targets[0];
+        if (!target)
+            continue;
+        const substituted = target.replace("*", wildcard);
+        const joined = path.posix.join(ts.baseDirRel, substituted);
+        return normalizeRepoRelativePath(path.posix.normalize(joined));
+    }
+    return null;
+}
+function resolveRelative(importerRepoRel, spec) {
+    const dir = path.posix.dirname(normalizeRepoRelativePath(importerRepoRel));
+    return normalizeRepoRelativePath(path.posix.normalize(path.posix.join(dir, spec)));
+}
+/**
+ * Classify a module specifier for contract checks. Relative and alias specifiers resolve to a
+ * repo-relative path (extension left as written; directory prefix checks do not need it). Alias
+ * specifiers that match no tsconfig path are treated as bare packages.
+ */
+export function classifySpecifier(spec, importerRepoRel, tsconfigPaths) {
+    if (spec.startsWith(".")) {
+        return { kind: "relative", specifier: spec, resolvedRepoRel: resolveRelative(importerRepoRel, spec) };
+    }
+    if (spec.startsWith("/")) {
+        return { kind: "relative", specifier: spec, resolvedRepoRel: normalizeRepoRelativePath(spec.slice(1)) };
+    }
+    if (isBuiltinSpecifier(spec))
+        return { kind: "builtin", specifier: spec };
+    if (tsconfigPaths) {
+        const resolved = resolveAlias(spec, tsconfigPaths);
+        if (resolved !== null)
+            return { kind: "alias", specifier: spec, resolvedRepoRel: resolved };
+    }
+    return { kind: "bare", specifier: spec, packageName: bareSpecifierPackage(spec) };
+}
+//# sourceMappingURL=resolve-specifier.js.map

package/dist/cli/lib/contract/resolve-specifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-specifier.js","sourceRoot":"","sources":["../../../../src/cli/lib/contract/resolve-specifier.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAe5D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;AAEzC,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IACxC,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAChF,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC1B,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW;IACpC,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,yBAAyB,EAAE,IAAI,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;AAC9C,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,WAAW,GAAG,eAAe;IAC/E,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC7C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,MAAoF,CAAC;IACzF,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAkB,CAAC;IACxF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC;IAC5C,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,yBAAyB,CAAC,WAAW,CAAC,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,EAAE,OAAO,IAAI,GAAG,CAAC;IACvD,MAAM,UAAU,GAAG,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACrI,OAAO,EAAE,UAAU,EAAE,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC;AACrE,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,OAAe;IACtD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACrD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACnH,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,EAAiB;IACnD,KAAK,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,QAAQ,KAAK,IAAI;YAAE,SAAS;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAC3D,OAAO,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,eAAuB,EAAE,IAAY;IAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,yBAAyB,CAAC,eAAe,CAAC,CAAC,CAAC;IAC3E,OAAO,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAY,EACZ,eAAuB,EACvB,aAAmC;IAEnC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,eAAe,CAAC,eAAe,EAAE,IAAI,CAAC,EAAE,CAAC;IACxG,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1G,CAAC;IACD,IAAI,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC1E,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACnD,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;IAC9F,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;AACpF,CAAC"}

package/dist/cli/lib/draft-token.d.ts

@@ -1,4 +1,4 @@
-import { type GateAdapterId } from "./types.js";
+import { type GateAdapterId, type MissionContract } from "./types.js";
 export declare const DRAFT_TOKEN_TTL_SECONDS_DEFAULT = 600;
 export declare const DRAFT_TOKEN_TTL_SECONDS_MIN = 120;
 export declare const DRAFT_TOKEN_TTL_SECONDS_MAX = 1800;
@@ -6,7 +6,7 @@ export declare const DRAFT_TOKEN_KEY_REL = ".gitagent/foreman/DRAFT_TOKEN.key";
 export declare const DRAFT_TOKEN_REPLAY_REL = ".gitagent/history/.draft-token-replay.json";
 import type { InterrogationRow } from "./interrogate/findings.js";
 export interface DraftLegislationPayload {
-    v: 2;
+    v: 2 | 3;
     draft_id: string;
     iat: number;
     exp: number;
@@ -21,6 +21,9 @@ export interface DraftLegislationPayload {
     interrogation: InterrogationRow[];
     interrogation_sha256: string;
     declared_paths: string[];
+    /** v3: Planner-sealed cage. */
+    contract?: MissionContract;
+    contract_sha256?: string;
 }
 export type DraftTokenErrorCode = "TOKEN_MALFORMED" | "TOKEN_SIGNATURE_INVALID" | "TOKEN_EXPIRED" | "TOKEN_REPO_MISMATCH" | "TOKEN_REPLAYED" | "TOKEN_KEY_MISSING";
 export declare class DraftTokenError extends Error {

package/dist/cli/lib/draft-token.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"draft-token.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/draft-token.ts"],"names":[],"mappings":"AAOA,OAAO,EAAyC,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AAEvF,eAAO,MAAM,+BAA+B,MAAM,CAAC;AACnD,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAC/C,eAAO,MAAM,2BAA2B,OAAO,CAAC;AAChD,eAAO,MAAM,mBAAmB,sCAAsC,CAAC;AACvE,eAAO,MAAM,sBAAsB,+CAA+C,CAAC;AAEnF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAElE,MAAM,WAAW,uBAAuB;IACtC,CAAC,EAAE,CAAC,CAAC;IACL,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;IACZ,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,kDAAkD;IAClD,YAAY,CAAC,EAAE,aAAa,CAAC;IAC7B,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,MAAM,mBAAmB,GAC3B,iBAAiB,GACjB,yBAAyB,GACzB,eAAe,GACf,qBAAqB,GACrB,gBAAgB,GAChB,mBAAmB,CAAC;AAExB,qBAAa,eAAgB,SAAQ,KAAK;IACxC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;gBAEhB,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,UAAO;CAKzE;AASD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAO3D;AAoDD,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,IAAI,CAAC,uBAAuB,EAAE,GAAG,GAAG,UAAU,GAAG,KAAK,GAAG,KAAK,GAAG,kBAAkB,CAAC,GAAG;IAC5F,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GACA;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,uBAAuB,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAoC/E;AA+BD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,uBAAuB,CAkE3H"}
+{"version":3,"file":"draft-token.d.ts","sourceRoot":"","sources":["../../../src/cli/lib/draft-token.ts"],"names":[],"mappings":"AAOA,OAAO,EAAyC,KAAK,aAAa,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAG7G,eAAO,MAAM,+BAA+B,MAAM,CAAC;AACnD,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAC/C,eAAO,MAAM,2BAA2B,OAAO,CAAC;AAChD,eAAO,MAAM,mBAAmB,sCAAsC,CAAC;AACvE,eAAO,MAAM,sBAAsB,+CAA+C,CAAC;AAEnF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAElE,MAAM,WAAW,uBAAuB;IACtC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACT,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;IACZ,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,kDAAkD;IAClD,YAAY,CAAC,EAAE,aAAa,CAAC;IAC7B,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,+BAA+B;IAC/B,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,mBAAmB,GAC3B,iBAAiB,GACjB,yBAAyB,GACzB,eAAe,GACf,qBAAqB,GACrB,gBAAgB,GAChB,mBAAmB,CAAC;AAExB,qBAAa,eAAgB,SAAQ,KAAK;IACxC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;gBAEhB,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,UAAO;CAKzE;AASD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAO3D;AAoDD,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,IAAI,CAAC,uBAAuB,EAAE,GAAG,GAAG,UAAU,GAAG,KAAK,GAAG,KAAK,GAAG,kBAAkB,CAAC,GAAG;IAC5F,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GACA;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,uBAAuB,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAyC/E;AAwCD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,uBAAuB,CAkE3H"}

package/dist/cli/lib/draft-token.js

@@ -6,6 +6,7 @@ import { CLI_NAME } from "./constants.js";
 import { canonicalJson } from "./canonical-json.js";
 import { gitRun } from "./git.js";
 import { DEFAULT_GATE_ADAPTER, isGateAdapterId } from "./types.js";
+import { contractSha256, normalizeContract } from "./contract/contract-hash.js";
 export const DRAFT_TOKEN_TTL_SECONDS_DEFAULT = 600;
 export const DRAFT_TOKEN_TTL_SECONDS_MIN = 120;
 export const DRAFT_TOKEN_TTL_SECONDS_MAX = 1800;
@@ -86,8 +87,9 @@ export function createDraftToken(root, input) {
     const ttlRaw = input.ttlSeconds ?? DRAFT_TOKEN_TTL_SECONDS_DEFAULT;
     const ttl = Math.min(DRAFT_TOKEN_TTL_SECONDS_MAX, Math.max(DRAFT_TOKEN_TTL_SECONDS_MIN, ttlRaw));
     const now = Math.floor(Date.now() / 1000);
+    const contract = input.contract ? normalizeContract(input.contract) : undefined;
     const payload = {
-        v: 2,
+        v: 3,
         draft_id: crypto.randomUUID(),
         iat: now,
         exp: now + ttl,
@@ -106,6 +108,10 @@ export function createDraftToken(root, input) {
     if (input.gate_adapter !== undefined && input.gate_adapter !== DEFAULT_GATE_ADAPTER) {
         payload.gate_adapter = input.gate_adapter;
     }
+    if (contract) {
+        payload.contract = contract;
+        payload.contract_sha256 = contractSha256(contract);
+    }
     const key = ensureDraftTokenKey(root);
     const encoded = base64UrlEncode(Buffer.from(canonicalJson(payload), "utf8"));
     const signature = signPayload(payload, key);
@@ -129,6 +135,15 @@ function assertDraftPayloadShape(payload) {
     if (payload.gate_adapter !== undefined && !isGateAdapterId(payload.gate_adapter)) {
         throw new DraftTokenError("TOKEN_MALFORMED", `${CLI_NAME} draft token gate_adapter must be generic|eslint|tsc`, false);
     }
+    if (payload.v === 2 && (payload.contract !== undefined || payload.contract_sha256 !== undefined)) {
+        throw new DraftTokenError("TOKEN_MALFORMED", `${CLI_NAME} draft token v2 cannot carry a contract (require v3)`, false);
+    }
+    if (payload.v === 3 && payload.contract) {
+        const expected = contractSha256(normalizeContract(payload.contract));
+        if (payload.contract_sha256 !== expected) {
+            throw new DraftTokenError("TOKEN_MALFORMED", `${CLI_NAME} draft token contract_sha256 does not match contract`, false);
+        }
+    }
 }
 export function verifyDraftToken(root, draftToken, options) {
     const parts = draftToken.trim().split(".");
@@ -149,8 +164,8 @@ export function verifyDraftToken(root, draftToken, options) {
     catch {
         throw new DraftTokenError("TOKEN_MALFORMED", `${CLI_NAME} draft token payload JSON invalid`, true);
     }
-    if (payload.v !== 2) {
-        throw new DraftTokenError("TOKEN_MALFORMED", `${CLI_NAME} draft token version unsupported (require v2)`, false);
+    if (payload.v !== 2 && payload.v !== 3) {
+        throw new DraftTokenError("TOKEN_MALFORMED", `${CLI_NAME} draft token version unsupported (require v2 or v3)`, false);
     }
     assertDraftPayloadShape(payload);
     const keyPath = draftTokenKeyPath(root);