@sun-asterisk/sungen 3.3.0-alpha.1 → 3.3.0-alpha.10

package/dist/cli/project-sungen-invocation.js

@@ -0,0 +1,95 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sungenInvocation = sungenInvocation;
+exports.withProjectInvocation = withProjectInvocation;
+exports.withProjectInvocationInText = withProjectInvocationInText;
+exports.updateChannelFlag = updateChannelFlag;
+exports.updateCommand = updateCommand;
+/**
+ * How a hint names sungen inside a project (#939, items 1–2).
+ *
+ * A project that installs its own sungen (`npm i -D @sun-asterisk/sungen`) runs it with `npx sungen`;
+ * a bare `sungen` is whatever global install the machine has — in the field test an older 3.2.24-beta
+ * beside the project's 3.3.0-alpha. And `sungen update` without a flag switches to the stable
+ * channel, so on an alpha or beta install the update hint must keep the channel it runs on.
+ *
+ *   sungenInvocation(root)          'npx sungen' when <root>/node_modules/@sun-asterisk/sungen exists, else 'sungen'
+ *   withProjectInvocation(cmd, root) a canonical `sungen …` command as this project runs it
+ *   withProjectInvocationInText(text, root)
+ *                                   every `sungen …` command inside printed text (a refusal, a hint, a
+ *                                   step's reason) as this project runs it (#963); prose mentions stay
+ *   updateCommand(root, version?)   `<invocation> update` plus `--alpha` / `--beta` (`--tag <id>` for another prerelease)
+ *
+ * Only the project root itself is looked at — where `npm i` puts a QA project's install — so a
+ * monorepo checkout above a fixture does not turn its hints into `npx`.
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const package_info_1 = require("../exporters/package-info");
+function sungenInvocation(projectRoot) {
+    return fs.existsSync(path.join(projectRoot, 'node_modules', '@sun-asterisk', 'sungen', 'package.json')) ? 'npx sungen' : 'sungen';
+}
+/** `sungen audit --screen x` → `npx sungen audit --screen x` in a project with its own install; anything else unchanged. */
+function withProjectInvocation(command, projectRoot) {
+    const inv = sungenInvocation(projectRoot);
+    return inv !== 'sungen' && /^sungen\b/.test(command) ? `${inv}${command.slice('sungen'.length)}` : command;
+}
+/**
+ * A `sungen` that starts a command inside text: at the start of a line (after indentation), after a
+ * backtick or `(`, after ": ", "run " or "then " — and followed by a subcommand or an option. A prose
+ * mention ("written by sungen 3.3.0", "an older sungen", "sungen: …") is none of these.
+ */
+const COMMAND_IN_TEXT = /(^[ \t]*|[`(]|:[ \t]+|\b(?:[Rr]un|then)[ \t]+)sungen(?= [a-z-])/gm;
+/**
+ * Printed text (a refusal, a hint, a step's reason) with every `sungen …` command in it as this project
+ * runs sungen (#963): the human-only commands a QA copies from a refusal must run the project's own
+ * install, not an older global one. Text for machines (`--json`) stays canonical; this is for the screen.
+ */
+function withProjectInvocationInText(text, projectRoot) {
+    const inv = sungenInvocation(projectRoot);
+    return inv === 'sungen' ? text : text.replace(COMMAND_IN_TEXT, (_m, before) => `${before}${inv}`);
+}
+/** The `sungen update` flag that keeps the channel of `version` (its prerelease id); '' for stable. */
+function updateChannelFlag(version = (0, package_info_1.getPackageVersion)()) {
+    const id = version.match(/^\d+\.\d+\.\d+-([0-9A-Za-z-]+)/)?.[1];
+    if (!id)
+        return '';
+    return id === 'alpha' || id === 'beta' ? ` --${id}` : ` --tag ${id}`;
+}
+function updateCommand(projectRoot, version = (0, package_info_1.getPackageVersion)()) {
+    return `${sungenInvocation(projectRoot)} update${updateChannelFlag(version)}`;
+}
+//# sourceMappingURL=project-sungen-invocation.js.map

package/dist/cli/project-sungen-invocation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-sungen-invocation.js","sourceRoot":"","sources":["../../src/cli/project-sungen-invocation.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsBA,4CAEC;AAGD,sDAGC;AAcD,kEAGC;AAGD,8CAIC;AAED,sCAEC;AA1DD;;;;;;;;;;;;;;;;;GAiBG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,4DAA8D;AAE9D,SAAgB,gBAAgB,CAAC,WAAmB;IAClD,OAAO,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,eAAe,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;AACpI,CAAC;AAED,4HAA4H;AAC5H,SAAgB,qBAAqB,CAAC,OAAe,EAAE,WAAmB;IACxE,MAAM,GAAG,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC1C,OAAO,GAAG,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AAC7G,CAAC;AAED;;;;GAIG;AACH,MAAM,eAAe,GAAG,mEAAmE,CAAC;AAE5F;;;;GAIG;AACH,SAAgB,2BAA2B,CAAC,IAAY,EAAE,WAAmB;IAC3E,MAAM,GAAG,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC1C,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,MAAc,EAAE,EAAE,CAAC,GAAG,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC;AAC5G,CAAC;AAED,uGAAuG;AACvG,SAAgB,iBAAiB,CAAC,UAAkB,IAAA,gCAAiB,GAAE;IACrE,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,gCAAgC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IACnB,OAAO,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;AACvE,CAAC;AAED,SAAgB,aAAa,CAAC,WAAmB,EAAE,UAAkB,IAAA,gCAAiB,GAAE;IACtF,OAAO,GAAG,gBAAgB,CAAC,WAAW,CAAC,UAAU,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;AAChF,CAAC"}

package/dist/cli/run-command-hints.d.ts

@@ -0,0 +1,9 @@
+export type RunUnitKind = 'screen' | 'flow' | 'api';
+export declare function generatedSubdir(kind: RunUnitKind, unit: string): string;
+/** `[SUNGEN_ENV=<env> ]PLAYWRIGHT_JSON_OUTPUT_NAME=<genRel>/<feature>-test-result.json npx playwright test <genRel>/<feature>.spec.ts` */
+export declare function plainRunCommand(genRel: string, featureBaseName: string, env?: string): string;
+/** The free run: `npx playwright test -c <playwright.free.config.*>` when the project has one, else what that config holds. */
+export declare function freeRunCommand(cwd: string): string;
+/** The free run left its JSON results or a sungen run record in `test-results-free/`. */
+export declare function freeRunHasResults(cwd: string): boolean;
+//# sourceMappingURL=run-command-hints.d.ts.map

package/dist/cli/run-command-hints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-command-hints.d.ts","sourceRoot":"","sources":["../../src/cli/run-command-hints.ts"],"names":[],"mappings":"AAiBA,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC;AAEpD,wBAAgB,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvE;AAED,0IAA0I;AAC1I,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAE7F;AAID,+HAA+H;AAC/H,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAMlD;AAED,yFAAyF;AACzF,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAMtD"}

package/dist/cli/run-command-hints.js

@@ -0,0 +1,84 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.generatedSubdir = generatedSubdir;
+exports.plainRunCommand = plainRunCommand;
+exports.freeRunCommand = freeRunCommand;
+exports.freeRunHasResults = freeRunHasResults;
+/**
+ * The run commands sungen suggests, each writing its results where the reader that asks for them
+ * looks (#964). A hint whose results nobody reads leaves a passing run invisible: the plain
+ * `npx playwright test` wrote `test-result.json` at the project root, which `sungen next` never reads.
+ *
+ *   generatedSubdir(kind, unit)      `specs/generated/<unit>` · `…/flows/<flow>` · `…/api/<area>` — where
+ *                                    `generate` writes a unit's specs and `next` / `delivery` read its results
+ *   plainRunCommand(genRel, feature) one compiled feature's spec with the JSON reporter pointed at
+ *                                    `<genRel>/<feature>-test-result.json` (graph/unit-artifact-probes RESULT_FILE)
+ *   freeRunCommand(cwd)              hand-written @free / impl:code tests: the project's free-test config, which
+ *                                    writes into its own outputDir `test-results-free/` (#941)
+ *   freeRunHasResults(cwd)           that run left its results (or a sungen run record) there
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const trace_run_record_1 = require("../contract/trace/trace-run-record");
+function generatedSubdir(kind, unit) {
+    return path.posix.join('specs', 'generated', ...(kind === 'flow' ? ['flows'] : kind === 'api' ? ['api'] : []), unit);
+}
+/** `[SUNGEN_ENV=<env> ]PLAYWRIGHT_JSON_OUTPUT_NAME=<genRel>/<feature>-test-result.json npx playwright test <genRel>/<feature>.spec.ts` */
+function plainRunCommand(genRel, featureBaseName, env) {
+    return `${env ? `SUNGEN_ENV=${env} ` : ''}PLAYWRIGHT_JSON_OUTPUT_NAME=${genRel}/${featureBaseName}-test-result.json npx playwright test ${genRel}/${featureBaseName}.spec.ts`;
+}
+const FREE_CONFIG = /^playwright\.free\.config\.(?:ts|mts|cts|js|mjs|cjs)$/;
+/** The free run: `npx playwright test -c <playwright.free.config.*>` when the project has one, else what that config holds. */
+function freeRunCommand(cwd) {
+    let config;
+    try {
+        config = fs.readdirSync(cwd).find((f) => FREE_CONFIG.test(f));
+    }
+    catch { /* no project dir: the generic form */ }
+    return config
+        ? `npx playwright test -c ${config}`
+        : `run the hand-written tests with the project's free-test config (outputDir '${trace_run_record_1.FREE_RUN_DIR}', trace: 'on', the sungen run-record reporter — "Free tests" in the sungen docs)`;
+}
+/** The free run left its JSON results or a sungen run record in `test-results-free/`. */
+function freeRunHasResults(cwd) {
+    try {
+        return fs.readdirSync(path.join(cwd, trace_run_record_1.FREE_RUN_DIR)).some((f) => f === 'results.json' || /^sungen-run-record.*\.json$/.test(f));
+    }
+    catch {
+        return false; // never run
+    }
+}
+//# sourceMappingURL=run-command-hints.js.map

package/dist/cli/run-command-hints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-command-hints.js","sourceRoot":"","sources":["../../src/cli/run-command-hints.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmBA,0CAEC;AAGD,0CAEC;AAKD,wCAMC;AAGD,8CAMC;AA9CD;;;;;;;;;;;;GAYG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,yEAAkE;AAIlE,SAAgB,eAAe,CAAC,IAAiB,EAAE,IAAY;IAC7D,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;AACvH,CAAC;AAED,0IAA0I;AAC1I,SAAgB,eAAe,CAAC,MAAc,EAAE,eAAuB,EAAE,GAAY;IACnF,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,+BAA+B,MAAM,IAAI,eAAe,yCAAyC,MAAM,IAAI,eAAe,UAAU,CAAC;AAChL,CAAC;AAED,MAAM,WAAW,GAAG,uDAAuD,CAAC;AAE5E,+HAA+H;AAC/H,SAAgB,cAAc,CAAC,GAAW;IACxC,IAAI,MAA0B,CAAC;IAC/B,IAAI,CAAC;QAAC,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC,CAAC,sCAAsC,CAAC,CAAC;IACvH,OAAO,MAAM;QACX,CAAC,CAAC,0BAA0B,MAAM,EAAE;QACpC,CAAC,CAAC,8EAA8E,+BAAY,mFAAmF,CAAC;AACpL,CAAC;AAED,yFAAyF;AACzF,SAAgB,iBAAiB,CAAC,GAAW;IAC3C,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,+BAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,cAAc,IAAI,6BAA6B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACjI,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAG,YAAY;IAC9B,CAAC;AACH,CAAC"}

package/dist/cli/waiting-for-you-block.d.ts

@@ -0,0 +1,18 @@
+/**
+ * The "Waiting for you" block (#954) — every pending human-only action of a unit, as ready-to-copy
+ * commands with the reason under each. One renderer for the three places that show it: `sungen next`
+ * (text) and the Stop / SessionStart hook context. Commands — and those inside a reason (#963) — as the
+ * project runs sungen (`npx sungen` with a local install, #939); `--json` keeps `command` canonical in
+ * `humanActions` and adds `rendered`. An instruction (a commit through review, a `git checkout --`) is
+ * marked `✎ … (by hand, not a command)`, never shown as one to copy.
+ */
+import type { HumanAction } from '../graph/human-action';
+export declare const WAITING_FOR_YOU_HEAD = "\u23F3 Waiting for you \u2014 a human runs these in their own terminal (in Claude Code: ! <command>); an agent never runs them:";
+/**
+ * The block's lines (indented two spaces), or none when nothing waits for a human and nothing holds the
+ * rest. `heldBy`: the title of the blocking step that cut the frontier — the block is not exhaustive then,
+ * and says what holds the rest, with that step's command (`heldByCommand`) when given (#966). A held
+ * block with no item of its own still says so, rather than vanishing (a QA read "nothing is waiting").
+ */
+export declare function waitingForYouLines(actions: readonly HumanAction[] | undefined, projectRoot: string, heldBy?: string, heldByCommand?: string): string[];
+//# sourceMappingURL=waiting-for-you-block.d.ts.map

package/dist/cli/waiting-for-you-block.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"waiting-for-you-block.d.ts","sourceRoot":"","sources":["../../src/cli/waiting-for-you-block.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAGzD,eAAO,MAAM,oBAAoB,oIAA0H,CAAC;AAE5J;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,GAAG,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAOtJ"}

package/dist/cli/waiting-for-you-block.js

@@ -0,0 +1,22 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.WAITING_FOR_YOU_HEAD = void 0;
+exports.waitingForYouLines = waitingForYouLines;
+const project_sungen_invocation_1 = require("./project-sungen-invocation");
+exports.WAITING_FOR_YOU_HEAD = '⏳ Waiting for you — a human runs these in their own terminal (in Claude Code: ! <command>); an agent never runs them:';
+/**
+ * The block's lines (indented two spaces), or none when nothing waits for a human and nothing holds the
+ * rest. `heldBy`: the title of the blocking step that cut the frontier — the block is not exhaustive then,
+ * and says what holds the rest, with that step's command (`heldByCommand`) when given (#966). A held
+ * block with no item of its own still says so, rather than vanishing (a QA read "nothing is waiting").
+ */
+function waitingForYouLines(actions, projectRoot, heldBy, heldByCommand) {
+    const holds = heldBy ? `"${heldBy}" clears${heldByCommand ? ` (the step above: ${(0, project_sungen_invocation_1.withProjectInvocationInText)(heldByCommand, projectRoot)})` : ''}` : '';
+    if (!actions?.length)
+        return heldBy ? [`  ⏳ Waiting for you: nothing yet — more appear once ${holds}.`] : [];
+    return [`  ${exports.WAITING_FOR_YOU_HEAD}`, ...actions.flatMap((a) => [
+            a.instruction ? `     ✎ ${a.command}   (by hand, not a command)` : `     ${(0, project_sungen_invocation_1.withProjectInvocation)(a.command, projectRoot)}`,
+            `       ${(0, project_sungen_invocation_1.withProjectInvocationInText)(a.reason, projectRoot)}`,
+        ]), ...(heldBy ? [`     More appear once ${holds}.`] : [])];
+}
+//# sourceMappingURL=waiting-for-you-block.js.map

package/dist/cli/waiting-for-you-block.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"waiting-for-you-block.js","sourceRoot":"","sources":["../../src/cli/waiting-for-you-block.ts"],"names":[],"mappings":";;;AAmBA,gDAOC;AAjBD,2EAAiG;AAEpF,QAAA,oBAAoB,GAAG,uHAAuH,CAAC;AAE5J;;;;;GAKG;AACH,SAAgB,kBAAkB,CAAC,OAA2C,EAAE,WAAmB,EAAE,MAAe,EAAE,aAAsB;IAC1I,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,WAAW,aAAa,CAAC,CAAC,CAAC,qBAAqB,IAAA,uDAA2B,EAAC,aAAa,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxJ,IAAI,CAAC,OAAO,EAAE,MAAM;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,uDAAuD,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7G,OAAO,CAAC,KAAK,4BAAoB,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAC7D,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,OAAO,6BAA6B,CAAC,CAAC,CAAC,QAAQ,IAAA,iDAAqB,EAAC,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE;YAC1H,UAAU,IAAA,uDAA2B,EAAC,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE;SAC/D,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,yBAAyB,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC"}

package/dist/contract/accept-opaque-steps.d.ts

@@ -0,0 +1,3 @@
+import type { ApproveInput, ApproveResult } from './approve-contract';
+export declare function acceptOpaqueSteps(i: ApproveInput): Promise<ApproveResult>;
+//# sourceMappingURL=accept-opaque-steps.d.ts.map

package/dist/contract/accept-opaque-steps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"accept-opaque-steps.d.ts","sourceRoot":"","sources":["../../src/contract/accept-opaque-steps.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAwDtE,wBAAsB,iBAAiB,CAAC,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CA8B/E"}

package/dist/contract/accept-opaque-steps.js

@@ -0,0 +1,114 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.acceptOpaqueSteps = acceptOpaqueSteps;
+/**
+ * `sungen contract approve --screen <u> --scenario <id> --accept-opaque` — a QA accepts the reviewed
+ * opaque steps of ONE approved free / impl:code scenario (#923). An opaque step (a check on a JS value,
+ * an API request, an evaluate) is never compared by code, so without this an approved test that has one
+ * stays in review for good: re-approving changes nothing and contract.opaque-step allows no override.
+ * In order, like `approve` (approve-contract.ts), so a human never confirms something then refused:
+ *
+ *   1. the scenario must be approved AS IT READS NOW — its lock entry human-approved, intact, at the
+ *      current hash, and vouched for by its decision — else: approve it first
+ *   2. its verdict is rebuilt (buildContractVerdict, as `contract check`): the opaque steps must be the
+ *      ONLY thing holding it; anything else (changed, unproven, inconclusive, a `low` identity…) refuses
+ *      with its own fix. Every opaque step already accepted → nothing to accept, no prompt
+ *   3. each opaque step is shown verbatim with its file:line; on a TTY the human types the scenario id
+ *      and a one-time code — without one: refused with the exact command (an agent never runs this)
+ *   4. everything is read AGAIN: if the trace, the feature or the lock moved meanwhile → refused
+ *   5. a contract-approval decision records the scenario at its hash WITH the accepted steps (step + sha)
+ *      and the lock entry points at it (record-contract-approval.ts)
+ *
+ * The acceptance is bound to each step's sha (opaqueStepSha): a change to an accepted step, or a new
+ * approval of the scenario, brings it back to review.
+ *
+ * Trust boundary: the TTY confirmation guards this command, not the files. A lock entry AND a matching
+ * decision forged together and committed through review are trusted like any approval — git review
+ * is that boundary, here as for `approve`.
+ */
+const decision_source_1 = require("../decisions/decision-source");
+const human_confirmation_1 = require("../decisions/human-confirmation");
+const build_contract_verdict_1 = require("./build-contract-verdict");
+const classify_trace_conformance_1 = require("./classify-trace-conformance");
+const contract_hash_1 = require("./contract-hash");
+const contract_schema_1 = require("./contract-schema");
+const contract_units_1 = require("./contract-units");
+const contracts_lock_file_1 = require("./contracts-lock-file");
+const normalize_feature_steps_1 = require("./normalize-feature-steps");
+const record_contract_approval_1 = require("./record-contract-approval");
+const verify_approval_decisions_1 = require("./verify-approval-decisions");
+/** Accepting reads the traces with `contract check`'s generous deadline, never the guard's ~3 s. */
+const ACCEPT_TRACE_BUDGET_MS = 120000;
+/** Findings that never hold a scenario back may stand beside the opaque steps. */
+const HARMLESS = new Set(['strengthened', 'nondeterministic']);
+const isLow = (detail) => detail.startsWith(classify_trace_conformance_1.LOW_IDENTITY_FINDING);
+function plan(i, id) {
+    const unit = (0, contract_units_1.resolveContractUnit)(i.projectRoot, i.unit);
+    const lock = (0, contracts_lock_file_1.readLockFile)((0, contracts_lock_file_1.lockPathFor)(unit.dir));
+    const matches = (0, normalize_feature_steps_1.loadContractScenarios)(unit.dir, unit.name).filter((s) => s.id === id);
+    if (!matches.length)
+        throw new Error(`--scenario ${id} names no scenario of ${i.unit}`);
+    if (matches.length > 1)
+        throw new Error(`Refused: scenario id ${id} is used by ${matches.length} scenarios — an acceptance must name exactly one. Give each its own ID.`);
+    const sc = matches[0];
+    if (sc.implementation === 'compiled')
+        throw new Error(`Refused: ${id} is compiled — only a free / impl:code test has trace steps to accept.`);
+    const entry = lock?.scenarios[id];
+    if (!lock || !(0, contract_schema_1.isHumanApproved)(entry) || lock.tampered.includes(id) || entry.hash !== sc.hash) {
+        throw new Error(`Refused: ${id} is not approved as it reads now — approve it first (\`sungen contract approve --screen ${i.unit} --scenario ${id}\`), re-run it with a trace, then accept its opaque steps.`);
+    }
+    // The entry an acceptance re-points must be QA's own: its decision (on disk) vouches for it as it is.
+    const [unvouched] = (0, verify_approval_decisions_1.unverifiedApprovals)(i.projectRoot, unit.dir, { schema: lock.schema, scenarios: { [id]: entry } }, new Set(), { root: i.projectRoot, timeoutMs: 0, blobs: null });
+    if (unvouched)
+        throw new Error(`Refused: the lock entry of ${id} is not vouched for by its decision (${unvouched.detail}) — restore the lock from git, or approve the scenario again.`);
+    const v = (0, build_contract_verdict_1.buildContractVerdict)(i.projectRoot, unit, { traceBudgetMs: ACCEPT_TRACE_BUDGET_MS });
+    const bad = v.uncommitted.find((u) => u.id === id && (u.change === 'tampered' || u.change === 'unverified'));
+    if (bad)
+        throw new Error(`Refused: the lock entry of ${id} is ${bad.change} (${bad.detail}) — restore it from git before accepting anything.`);
+    const r = v.scenarios.find((s) => s.id === id);
+    const blocking = (r?.findings ?? []).filter((f) => !HARMLESS.has(f.class) && !(f.class === 'opaque' && !isLow(f.detail)));
+    if (blocking.length) {
+        const fix = blocking.some((f) => isLow(f.detail))
+            ? `run \`sungen contract check --screen ${i.unit} --trace\` (a real browser resolves the identity) first`
+            : `settle that first — \`sungen contract check --screen ${i.unit}\` names the fix`;
+        throw new Error(`Refused: accepting clears only opaque steps, and ${id} is also held by: ${blocking.map((f) => `${f.class}${f.step ? ` (step ${f.step})` : ''} — ${f.detail}`).join('; ')}. ${fix[0].toUpperCase()}${fix.slice(1)}.`);
+    }
+    const opaque = r?.trace?.opaque ?? [];
+    if (!opaque.length)
+        throw new Error(`Refused: the trace of ${id} has no opaque step — nothing to accept (${r?.class ?? 'not judged'}).`);
+    return { unitDir: unit.dir, unit: unit.name, scenario: sc, lock, decisionId: entry.decisionId, opaque, fingerprint: (0, contract_hash_1.canonicalJson)({ lock, hash: sc.hash, opaque }) };
+}
+const describe = (o) => `${o.accepted ? '=' : '◐'} step ${o.step}  opaque ${o.kind === 'assert' ? 'check' : 'step'} "${o.verbatim}"${o.where ? ` at ${o.where}` : ''}`
+    + `${o.replaces ? ` — replaces approved ${o.replaces}` : ''}${o.accepted ? '  (accepted before)' : ''}`;
+async function acceptOpaqueSteps(i) {
+    const id = i.scenario;
+    if (!id)
+        throw new Error('--accept-opaque needs --scenario <id>: an acceptance names the one scenario whose opaque steps QA reviewed');
+    const before = plan(i, id);
+    const lockPath = (0, contracts_lock_file_1.lockPathFor)(before.unitDir);
+    if (before.opaque.every((o) => o.accepted))
+        return { status: 'nothing-to-accept', lockPath, approved: [], removed: [] };
+    const pending = before.opaque.filter((o) => !o.accepted);
+    await (0, human_confirmation_1.requireTypedConfirmation)({
+        what: `accept ${pending.length} reviewed opaque step(s) of ${id} (${i.unit}) — steps sungen cannot compare, so they are never checked by code`,
+        phrase: id,
+        command: (0, human_confirmation_1.formatCommand)(['sungen', 'contract', 'approve', '--screen', i.unit, '--scenario', id, '--accept-opaque', ...(i.reason ? ['--reason', i.reason] : [])]),
+        summary: [
+            ...before.opaque.map(describe),
+            `bound to each step as it reads now: a change to it, or a new approval of ${id}, brings it back to review`,
+            `${id} stays approved at hash ${before.scenario.hash}; its lock entry moves from decision ${before.decisionId} to the new one`,
+            `recorded by: ${(0, decision_source_1.gitUserName)(i.projectRoot)}`,
+        ],
+        io: i.io,
+    });
+    const after = plan(i, id);
+    if (after.fingerprint !== before.fingerprint) {
+        throw new Error('Refused: the trace, the feature or the lock changed while you were confirming — nothing was written. Run the command again and review the new summary.');
+    }
+    const { decisionId } = (0, record_contract_approval_1.recordOpaqueAcceptance)({
+        projectRoot: i.projectRoot, unitDir: after.unitDir, unit: after.unit, scenario: after.scenario, reason: i.reason, lock: after.lock,
+        accepted: after.opaque.map((o) => ({ step: o.step, sha: o.sha })),
+    });
+    return { status: 'accepted', lockPath, decisionId, approved: [id], removed: [], accepted: after.opaque };
+}
+//# sourceMappingURL=accept-opaque-steps.js.map

package/dist/contract/accept-opaque-steps.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"accept-opaque-steps.js","sourceRoot":"","sources":["../../src/contract/accept-opaque-steps.ts"],"names":[],"mappings":";;AAmFA,8CA8BC;AAjHD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,kEAA2D;AAC3D,wEAA0F;AAE1F,qEAAgE;AAChE,6EAAoE;AACpE,mDAAgD;AAChD,uDAAkF;AAClF,qDAAuD;AACvD,+DAA4E;AAC5E,uEAAkE;AAClE,yEAAoE;AACpE,2EAAkE;AAElE,oGAAoG;AACpG,MAAM,sBAAsB,GAAG,MAAO,CAAC;AACvC,kFAAkF;AAClF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC,CAAC;AAI/D,MAAM,KAAK,GAAG,CAAC,MAAc,EAAW,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,iDAAoB,CAAC,CAAC;AAEnF,SAAS,IAAI,CAAC,CAAe,EAAE,EAAU;IACvC,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,IAAA,kCAAY,EAAC,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,IAAA,+CAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACtF,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,cAAc,EAAE,yBAAyB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACxF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,EAAE,eAAe,OAAO,CAAC,MAAM,yEAAyE,CAAC,CAAC;IAC1K,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,EAAE,CAAC,cAAc,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,wEAAwE,CAAC,CAAC;IAC9I,MAAM,KAAK,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;IAClC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAA,iCAAe,EAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;QAC7F,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,2FAA2F,CAAC,CAAC,IAAI,eAAe,EAAE,4DAA4D,CAAC,CAAC;IAChN,CAAC;IACD,sGAAsG;IACtG,MAAM,CAAC,SAAS,CAAC,GAAG,IAAA,+CAAmB,EAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACrL,IAAI,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,EAAE,wCAAwC,SAAS,CAAC,MAAM,+DAA+D,CAAC,CAAC;IAExL,MAAM,CAAC,GAAG,IAAA,6CAAoB,EAAC,CAAC,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,aAAa,EAAE,sBAAsB,EAAE,CAAC,CAAC;IAC/F,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC;IAC7G,IAAI,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,EAAE,OAAO,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,oDAAoD,CAAC,CAAC;IAC/I,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1H,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC/C,CAAC,CAAC,wCAAwC,CAAC,CAAC,IAAI,yDAAyD;YACzG,CAAC,CAAC,wDAAwD,CAAC,CAAC,IAAI,kBAAkB,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,oDAAoD,EAAE,qBAAqB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACxO,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,EAAE,4CAA4C,CAAC,EAAE,KAAK,IAAI,YAAY,IAAI,CAAC,CAAC;IACzI,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,IAAA,6BAAa,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AACvK,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAa,EAAU,EAAE,CACzC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;MAC5I,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAEnG,KAAK,UAAU,iBAAiB,CAAC,CAAe;IACrD,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,4GAA4G,CAAC,CAAC;IACvI,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,IAAA,iCAAW,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAExH,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,IAAA,6CAAwB,EAAC;QAC7B,IAAI,EAAE,UAAU,OAAO,CAAC,MAAM,+BAA+B,EAAE,KAAK,CAAC,CAAC,IAAI,oEAAoE;QAC9I,MAAM,EAAE,EAAE;QACV,OAAO,EAAE,IAAA,kCAAa,EAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/J,OAAO,EAAE;YACP,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC9B,4EAA4E,EAAE,4BAA4B;YAC1G,GAAG,EAAE,2BAA2B,MAAM,CAAC,QAAQ,CAAC,IAAI,wCAAwC,MAAM,CAAC,UAAU,iBAAiB;YAC9H,gBAAgB,IAAA,6BAAW,EAAC,CAAC,CAAC,WAAW,CAAC,EAAE;SAC7C;QACD,EAAE,EAAE,CAAC,CAAC,EAAE;KACT,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1B,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,wJAAwJ,CAAC,CAAC;IAC5K,CAAC;IACD,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,iDAAsB,EAAC;QAC5C,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI;QAClI,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;KAClE,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AAC3G,CAAC"}

package/dist/contract/approve-contract.d.ts

@@ -11,21 +11,28 @@
  *   5. read everything AGAIN: if the feature or the lock moved while the human was reading, what
  *      they confirmed is not what would be written — refuse (L5)
  *   6. record the decision and the lock (record-contract-approval.ts)
+ *
+ * `--accept-opaque` (with `--scenario`) is the other human act of this command: accepting the reviewed
+ * opaque trace steps of one approved free / impl:code scenario — accept-opaque-steps.ts (#923).
  */
 import { ConfirmationIO } from '../decisions/human-confirmation';
+import { OpaqueStep } from './contract-schema';
 export interface ApproveInput {
     projectRoot: string;
     unit: string;
     scenario?: string;
     reason?: string;
     io: ConfirmationIO;
+    acceptOpaque?: boolean;
 }
 export interface ApproveResult {
-    status: 'approved' | 'nothing-to-approve';
+    status: 'approved' | 'nothing-to-approve' | 'accepted' | 'nothing-to-accept';
     lockPath: string;
     decisionId?: string;
     approved: string[];
     removed: string[];
+    /** `--accept-opaque`: the scenario's opaque steps, all accepted by the new decision. */
+    accepted?: OpaqueStep[];
 }
 export declare function approveContract(i: ApproveInput): Promise<ApproveResult>;
 //# sourceMappingURL=approve-contract.d.ts.map

package/dist/contract/approve-contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"approve-contract.d.ts","sourceRoot":"","sources":["../../src/contract/approve-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,cAAc,EAA2C,MAAM,iCAAiC,CAAC;AAW1G,MAAM,WAAW,YAAY;IAAG,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,cAAc,CAAA;CAAE;AAC3H,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,UAAU,GAAG,oBAAoB,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AA+BD,wBAAsB,eAAe,CAAC,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CA8B7E"}
+{"version":3,"file":"approve-contract.d.ts","sourceRoot":"","sources":["../../src/contract/approve-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,cAAc,EAA2C,MAAM,iCAAiC,CAAC;AAK1G,OAAO,EAAqC,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAOlF,MAAM,WAAW,YAAY;IAAG,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,cAAc,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE;AACnJ,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,UAAU,GAAG,oBAAoB,GAAG,UAAU,GAAG,mBAAmB,CAAC;IAC7E,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,wFAAwF;IACxF,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;CACzB;AA+BD,wBAAsB,eAAe,CAAC,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CA+B7E"}

package/dist/contract/approve-contract.js

@@ -14,11 +14,15 @@ exports.approveContract = approveContract;
  *   5. read everything AGAIN: if the feature or the lock moved while the human was reading, what
  *      they confirmed is not what would be written — refuse (L5)
  *   6. record the decision and the lock (record-contract-approval.ts)
+ *
+ * `--accept-opaque` (with `--scenario`) is the other human act of this command: accepting the reviewed
+ * opaque trace steps of one approved free / impl:code scenario — accept-opaque-steps.ts (#923).
  */
 const human_confirmation_1 = require("../decisions/human-confirmation");
 const decision_source_1 = require("../decisions/decision-source");
 const classify_contract_change_1 = require("./classify-contract-change");
 const contract_hash_1 = require("./contract-hash");
+const accept_opaque_steps_1 = require("./accept-opaque-steps");
 const contract_schema_1 = require("./contract-schema");
 const contract_units_1 = require("./contract-units");
 const contracts_lock_file_1 = require("./contracts-lock-file");
@@ -54,6 +58,8 @@ function describe(sc, lock) {
     return `~ ${sc.id}  ${r.class}${r.findings.length ? ` — ${r.findings.map((f) => f.detail).join('; ')}` : ''}`;
 }
 async function approveContract(i) {
+    if (i.acceptOpaque)
+        return (0, accept_opaque_steps_1.acceptOpaqueSteps)(i);
     const before = plan(i);
     const { approve, removed } = before.write;
     const lockPath = (0, contracts_lock_file_1.lockPathFor)(before.write.unitDir);

package/dist/contract/approve-contract.js.map

@@ -1 +1 @@
-{"version":3,"file":"approve-contract.js","sourceRoot":"","sources":["../../src/contract/approve-contract.ts"],"names":[],"mappings":";;AA+DA,0CA8BC;AA7FD;;;;;;;;;;;;;GAaG;AACH,wEAA0G;AAC1G,kEAA2D;AAC3D,yEAA8D;AAC9D,mDAAgD;AAChD,uDAAsE;AACtE,qDAAuD;AACvD,+DAA4E;AAC5E,+DAAyD;AACzD,uEAAwF;AACxF,yEAAyG;AAazG,SAAS,IAAI,CAAC,CAAe;IAC3B,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,IAAA,kCAAY,EAAC,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,IAAA,+CAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC,QAAQ,yBAAyB,CAAC,CAAC,IAAI,cAAc,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC;IACzH,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;IACzE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9G,IAAI,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,eAAe,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,MAAM,wEAAwE,CAAC,CAAC;IACvL,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,0GAA0G,CAAC,CAAC;IACxN,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iCAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClJ,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtH,MAAM,KAAK,GAAkB,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1I,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAA,6BAAa,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AACrH,CAAC;AAED,SAAS,QAAQ,CAAC,EAAoB,EAAE,IAAqB;IAC3D,MAAM,KAAK,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC,IAAA,iCAAe,EAAC,KAAK,CAAC,IAAI,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,KAAK,CAAC,MAAM,WAAW,EAAE,CAAC,cAAc,GAAG,CAAC;IACzI,MAAM,CAAC,GAAG,IAAA,2CAAgB,EAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAChH,CAAC;AAEM,KAAK,UAAU,eAAe,CAAC,CAAe;IACnD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAA,iCAAW,EAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACrH,IAAA,+CAAoB,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAEnC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,IAAA,6CAAwB,EAAC;QAC7B,IAAI,EAAE,gCAAgC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,eAAe,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG;QACpI,MAAM,EAAE,CAAC,CAAC,IAAI;QACd,OAAO,EAAE,IAAA,kCAAa,EAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7K,OAAO,EAAE;YACP,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC/C,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,qEAAqE,CAAC;YACpG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,wFAAwF,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9H,gBAAgB,IAAA,6BAAW,EAAC,CAAC,CAAC,WAAW,CAAC,EAAE;SAC7C;QACD,EAAE,EAAE,CAAC,CAAC,EAAE;KACT,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,6IAA6I,CAAC,CAAC;IACjK,CAAC;IACD,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,iDAAsB,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3D,2FAA2F;IAC3F,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,IAAA,8CAAoB,EAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,IAAA,sCAAgB,EAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC9G,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;AACnG,CAAC"}
+{"version":3,"file":"approve-contract.js","sourceRoot":"","sources":["../../src/contract/approve-contract.ts"],"names":[],"mappings":";;AAqEA,0CA+BC;AApGD;;;;;;;;;;;;;;;;GAgBG;AACH,wEAA0G;AAC1G,kEAA2D;AAC3D,yEAA8D;AAC9D,mDAAgD;AAChD,+DAA0D;AAC1D,uDAAkF;AAClF,qDAAuD;AACvD,+DAA4E;AAC5E,+DAAyD;AACzD,uEAAwF;AACxF,yEAAyG;AAezG,SAAS,IAAI,CAAC,CAAe;IAC3B,MAAM,IAAI,GAAG,IAAA,oCAAmB,EAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,IAAA,kCAAY,EAAC,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,IAAA,+CAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,CAAC,QAAQ,yBAAyB,CAAC,CAAC,IAAI,cAAc,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC;IACzH,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;IACzE,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9G,IAAI,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,eAAe,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,MAAM,wEAAwE,CAAC,CAAC;IACvL,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,0GAA0G,CAAC,CAAC;IACxN,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iCAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClJ,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtH,MAAM,KAAK,GAAkB,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1I,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAA,6BAAa,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AACrH,CAAC;AAED,SAAS,QAAQ,CAAC,EAAoB,EAAE,IAAqB;IAC3D,MAAM,KAAK,GAAG,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC,IAAA,iCAAe,EAAC,KAAK,CAAC,IAAI,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,KAAK,CAAC,MAAM,WAAW,EAAE,CAAC,cAAc,GAAG,CAAC;IACzI,MAAM,CAAC,GAAG,IAAA,2CAAgB,EAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC7C,OAAO,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAChH,CAAC;AAEM,KAAK,UAAU,eAAe,CAAC,CAAe;IACnD,IAAI,CAAC,CAAC,YAAY;QAAE,OAAO,IAAA,uCAAiB,EAAC,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAA,iCAAW,EAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACrH,IAAA,+CAAoB,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAEnC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,IAAA,6CAAwB,EAAC;QAC7B,IAAI,EAAE,gCAAgC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM,eAAe,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG;QACpI,MAAM,EAAE,CAAC,CAAC,IAAI;QACd,OAAO,EAAE,IAAA,kCAAa,EAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7K,OAAO,EAAE;YACP,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC/C,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,qEAAqE,CAAC;YACpG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,wFAAwF,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9H,gBAAgB,IAAA,6BAAW,EAAC,CAAC,CAAC,WAAW,CAAC,EAAE;SAC7C;QACD,EAAE,EAAE,CAAC,CAAC,EAAE;KACT,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,6IAA6I,CAAC,CAAC;IACjK,CAAC;IACD,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,iDAAsB,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3D,2FAA2F;IAC3F,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,IAAA,8CAAoB,EAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,IAAA,sCAAgB,EAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IAC9G,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;AACnG,CAAC"}

package/dist/contract/build-contract-verdict.js

@@ -46,7 +46,7 @@ exports.buildContractVerdict = buildContractVerdict;
  *           (added · changed · removed vs HEAD, tampered, unverified), or an APPROVED free /
  *           impl:code scenario with no admissible trace (unproven, also past the deadline) exit 2
  *   review  any hash-changed (changed, not weaker — QA re-approves), opaque (a check no code
- *           can compare, or a target identity that is only `low`), or inconclusive (an
+ *           can compare and QA has not accepted, or a target identity that is only `low`), or inconclusive (an
  *           approved free scenario's final attempt did not pass); blocks delivery         exit 0
  *   pass    only match / strengthened / proposed / nondeterministic                       exit 0
  *
@@ -78,7 +78,7 @@ function withTrace(results, outcomes) {
         if (!o)
             return r;
         const cls = (0, classify_contract_change_1.severityOf)(o.class) > (0, classify_contract_change_1.severityOf)(r.class) ? o.class : r.class;
-        return { ...r, class: cls, findings: [...r.findings, ...o.findings], trace: { hashes: o.hashes, runs: o.runs } };
+        return { ...r, class: cls, findings: [...r.findings, ...o.findings], trace: { hashes: o.hashes, runs: o.runs, ...(o.opaque.length ? { opaque: o.opaque } : {}) } };
     });
 }
 function buildContractVerdict(projectRoot, unit, opts = {}) {

package/dist/contract/build-contract-verdict.js.map

@@ -1 +1 @@
-{"version":3,"file":"build-contract-verdict.js","sourceRoot":"","sources":["../../src/contract/build-contract-verdict.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsEA,oDAqCC;AA3GD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,mDAA2D;AAC3D,iDAAqH;AACrH,uDAAiE;AACjE,yEAAwE;AACxE,uEAAoE;AAEpE,qEAAwD;AACxD,+DAAmE;AACnE,yDAA2E;AAC3E,uEAAwF;AACxF,2EAAkE;AAElE,mEAAwD;AAA/C,sHAAA,YAAY,OAAA;AAwBrB,sGAAsG;AACtG,SAAS,SAAS,CAAC,OAAyB,EAAE,QAAmC;IAC/E,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjB,MAAM,GAAG,GAAG,IAAA,qCAAU,EAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAA,qCAAU,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1E,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;IACnH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,oBAAoB,CAAC,WAAmB,EAAE,IAAkB,EAAE,OAAuB,EAAE;IACrG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAA,2BAAY,EAAC,WAAW,EAAE,IAAI,CAAC,YAAY,IAAI,iCAAkB,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,IAAA,8CAAoB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAA,+CAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAA,6BAAc,EAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,KAAK,IAAI,QAAQ,KAAK,IAAI;QAAE,MAAM,IAAI,kCAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,MAAM,IAAI,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,mCAAa,EAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAA,qCAAY,EAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,IAAA,iDAAuB,EAAC,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IACrH,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAA,sCAAmB,EAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9E,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YACtB,CAAC,CAAC,eAAe,IAAI,CAAC,KAAK,iEAAiE;YAC5F,CAAC,CAAC,+FAA+F,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,WAAW,GAAuB,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC,CAAC;IAC7J,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,GAAG,IAAA,+CAAmB,EAAC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAEnH,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,8BAAY,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACtF,MAAM,OAAO,GAAiB,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gCAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IACnH,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3F,MAAM,UAAU,GAAG,IAAA,yBAAS,EAAC,IAAA,6BAAa,EAAC;QACzC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,yBAAS,EAAC,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,yBAAS,EAAC,QAAQ,CAAC;QACpD,IAAI,EAAE,IAAI,CAAC,MAAM;QACjB,WAAW;QACX,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;KAC5D,CAAC,CAAC,CAAC;IACJ,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AACrI,CAAC"}
+{"version":3,"file":"build-contract-verdict.js","sourceRoot":"","sources":["../../src/contract/build-contract-verdict.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsEA,oDAqCC;AA3GD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,mDAA2D;AAC3D,iDAAqH;AACrH,uDAAiE;AACjE,yEAAwE;AACxE,uEAAoE;AAEpE,qEAAwD;AACxD,+DAAmE;AACnE,yDAA2E;AAC3E,uEAAwF;AACxF,2EAAkE;AAElE,mEAAwD;AAA/C,sHAAA,YAAY,OAAA;AAwBrB,sGAAsG;AACtG,SAAS,SAAS,CAAC,OAAyB,EAAE,QAAmC;IAC/E,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjB,MAAM,GAAG,GAAG,IAAA,qCAAU,EAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAA,qCAAU,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1E,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;IACrK,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,oBAAoB,CAAC,WAAmB,EAAE,IAAkB,EAAE,OAAuB,EAAE;IACrG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAA,2BAAY,EAAC,WAAW,EAAE,IAAI,CAAC,YAAY,IAAI,iCAAkB,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,IAAA,8CAAoB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAA,+CAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAA,6BAAc,EAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,KAAK,IAAI,QAAQ,KAAK,IAAI;QAAE,MAAM,IAAI,kCAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,MAAM,IAAI,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,mCAAa,EAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAA,qCAAY,EAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,IAAA,iDAAuB,EAAC,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;IACrH,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAA,sCAAmB,EAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9E,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YACtB,CAAC,CAAC,eAAe,IAAI,CAAC,KAAK,iEAAiE;YAC5F,CAAC,CAAC,+FAA+F,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,WAAW,GAAuB,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,yDAAyD,EAAE,CAAC,CAAC;IAC7J,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,GAAG,IAAA,+CAAmB,EAAC,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAEnH,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,8BAAY,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACtF,MAAM,OAAO,GAAiB,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gCAAc,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IACnH,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3F,MAAM,UAAU,GAAG,IAAA,yBAAS,EAAC,IAAA,6BAAa,EAAC;QACzC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,yBAAS,EAAC,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,yBAAS,EAAC,QAAQ,CAAC;QACpD,IAAI,EAAE,IAAI,CAAC,MAAM;QACjB,WAAW;QACX,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;KAC5D,CAAC,CAAC,CAAC;IACJ,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AACrI,CAAC"}

package/dist/contract/build-trace-conformance.d.ts

@@ -7,8 +7,12 @@ export interface UnitTraceConformance {
     inputs: unknown;
 }
 export declare const MOBILE_NOT_SUPPORTED = "trace conformance is web-only: free / impl:code scenarios of a mobile project are not supported yet (not judged)";
-/** The guard path's deadline for the trace part of one unit's verdict (override: SUNGEN_TRACE_VERDICT_BUDGET_MS). */
+/** The Claude Code guard's deadline for the trace part of one unit's verdict (its hook has ~5 s in all). */
+export declare const GUARD_TRACE_BUDGET_MS = 3000;
+/** The default deadline (`next`, the guard) — override: SUNGEN_TRACE_VERDICT_BUDGET_MS. */
 export declare function defaultTraceBudgetMs(env?: Record<string, string | undefined>): number;
+/** Inside the guard path the override may only SHORTEN the deadline (#926): the hook cannot wait longer. */
+export declare const guardTraceBudgetMs: (env?: Record<string, string | undefined>) => number;
 export declare function traceConformanceForUnit(projectRoot: string, unit: {
     name: string;
     dir: string;

package/dist/contract/build-trace-conformance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"build-trace-conformance.d.ts","sourceRoot":"","sources":["../../src/contract/build-trace-conformance.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAgC,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAA8B,MAAM,mBAAmB,CAAC;AAO/F,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAM7D,MAAM,WAAW,oBAAoB;IAAG,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE;AAMlH,eAAO,MAAM,oBAAoB,qHAAqH,CAAC;AACvJ,qHAAqH;AACrH,wBAAgB,oBAAoB,CAAC,GAAG,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAe,GAAG,MAAM,CAGlG;AAED,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,YAAY,GAAG,IAAI,EAChH,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAC/D,oBAAoB,CAkDtB"}
+{"version":3,"file":"build-trace-conformance.d.ts","sourceRoot":"","sources":["../../src/contract/build-trace-conformance.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAgC,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAA8B,MAAM,mBAAmB,CAAC;AAM/F,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAM7D,MAAM,WAAW,oBAAoB;IAAG,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE;AAKlH,eAAO,MAAM,oBAAoB,qHAAqH,CAAC;AACvJ,4GAA4G;AAC5G,eAAO,MAAM,qBAAqB,OAAQ,CAAC;AAC3C,2FAA2F;AAC3F,wBAAgB,oBAAoB,CAAC,GAAG,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAe,GAAG,MAAM,CAGlG;AACD,4GAA4G;AAC5G,eAAO,MAAM,kBAAkB,GAAI,MAAK,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAe,KAAG,MAC/B,CAAC;AAE7D,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,EAAE,IAAI,EAAE,YAAY,GAAG,IAAI,EAChH,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAC/D,oBAAoB,CAiDtB"}