@sun-asterisk/sungen 3.2.34 → 3.3.0-alpha.2

package/dist/contract/normalize-feature-steps.d.ts

@@ -0,0 +1,7 @@
+import type { ContractScenario } from './contract-schema';
+export declare function scenariosOfFeatureFile(file: string): ContractScenario[];
+/** Every contract scenario of a unit, in `featureFilesFor` order. Missing feature files contribute nothing. */
+export declare function loadContractScenarios(unitDir: string, unit: string): ContractScenario[];
+/** Feature files that make up a unit's contract input (for the inputs hash). */
+export declare const contractFeatureFiles: (unitDir: string, unit: string) => string[];
+//# sourceMappingURL=normalize-feature-steps.d.ts.map

package/dist/contract/normalize-feature-steps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-feature-steps.d.ts","sourceRoot":"","sources":["../../src/contract/normalize-feature-steps.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,gBAAgB,EAAgC,MAAM,mBAAmB,CAAC;AAsCxF,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAyBvE;AAED,+GAA+G;AAC/G,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAEvF;AAED,gFAAgF;AAChF,eAAO,MAAM,oBAAoB,GAAI,SAAS,MAAM,EAAE,MAAM,MAAM,KAAG,MAAM,EACiB,CAAC"}

package/dist/contract/normalize-feature-steps.js

@@ -0,0 +1,127 @@
+"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.contractFeatureFiles = void 0;
+exports.scenariosOfFeatureFile = scenariosOfFeatureFile;
+exports.loadContractScenarios = loadContractScenarios;
+/**
+ * A unit's `.feature` files → its contract scenarios (DOS-14.1, 14.2), through the existing
+ * GherkinParser — no second parser.
+ *
+ *   which scenarios  every automated one: not `@manual` (scenario or feature), not `@deferred:flow`,
+ *                    not a `@steps:` block or a `@beforeAll/@afterEach/@afterAll` hook
+ *   steps            Background + the `@extend:` base's Given/When (the compiler's own rule) + its own
+ *   id               the title's leading ID (`VP-LOGIN-001`), as the harness reads it; a title with no
+ *                    ID is locked by its name, so renaming it reads as removing it
+ *   implementation   `@free` → free, `@impl:code` → impl:code, otherwise compiled — scenario or feature tag
+ *   hash             contractHash(implementation, steps); the scenario name is not in it
+ *
+ * A file that does not parse throws: an unreadable contract is never an empty one.
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const gherkin_parser_1 = require("../generators/gherkin-parser");
+const parse_1 = require("../harness/parse");
+const unit_paths_1 = require("../harness/unit-paths");
+const contract_hash_1 = require("./contract-hash");
+const normalize_contract_step_1 = require("./normalize-contract-step");
+const EXCLUDED = (tags) => tags.some((t) => /^@manual\b/i.test(t) || /^@deferred:flow$/i.test(t));
+function implementationOf(tags) {
+    if (tags.some((t) => /^@free$/i.test(t)))
+        return 'free';
+    if (tags.some((t) => /^@impl:code$/i.test(t)))
+        return 'impl:code';
+    return 'compiled';
+}
+function idOf(name) {
+    const lead = name.match(/^\s*([A-Za-z][A-Za-z0-9.-]*)/)?.[1];
+    return lead && (0, parse_1.isIdLike)(lead) ? { id: lead.toUpperCase(), hasId: true } : { id: name.replace(/\s+/g, ' ').trim(), hasId: false };
+}
+/** Only Given→When of an `@extend` base: its Then (and the And/But after it) stay with the base. */
+const extendPart = (steps) => steps.filter((_, i) => (0, normalize_contract_step_1.bucketsOf)(steps)[i] !== 'then');
+const normalizeBlock = (steps) => {
+    const buckets = (0, normalize_contract_step_1.bucketsOf)(steps);
+    return steps.map((s, i) => (0, normalize_contract_step_1.normalizeContractStep)(s, buckets[i]));
+};
+/** 1-based line of each step, searched in order from line index `from` — for messages only (0 = not found). */
+function stepLines(lines, from, steps) {
+    let at = Math.max(from, 0);
+    return steps.map((s) => {
+        const i = lines.findIndex((l, n) => n >= at && l.trim().endsWith(s.text.trim()));
+        if (i >= 0)
+            at = i + 1;
+        return i + 1;
+    });
+}
+const HEADER = /^\s*(?:Scenario|Scenario Outline|Scenario Template|Example):/;
+const OUTLINE = /^\s*Scenario (?:Outline|Template):/;
+const headerLine = (lines, name) => lines.findIndex((l) => HEADER.test(l) && l.includes(name.trim()));
+function scenariosOfFeatureFile(file) {
+    const feature = new gherkin_parser_1.GherkinParser().parseFeatureFile(file);
+    const lines = fs.readFileSync(file, 'utf8').split(/\r?\n/);
+    const base = new Map();
+    for (const sc of feature.scenarios)
+        if (sc.stepsName)
+            base.set(sc.stepsName, sc);
+    const background = feature.background?.steps ?? [];
+    const out = [];
+    for (const sc of feature.scenarios) {
+        const tags = [...(feature.tags ?? []), ...(sc.tags ?? [])];
+        if (sc.stepsName || sc.hookType || EXCLUDED(tags))
+            continue;
+        const baseScenario = sc.extendsName ? base.get(sc.extendsName) : undefined;
+        const extended = extendPart(baseScenario?.steps ?? []);
+        const steps = [...normalizeBlock(background), ...normalizeBlock(extended), ...normalizeBlock(sc.steps)];
+        const implementation = implementationOf(tags);
+        const { id, hasId } = idOf(sc.name);
+        const header = headerLine(lines, sc.name);
+        const sourceLines = [
+            ...stepLines(lines, 0, background),
+            ...stepLines(lines, baseScenario ? headerLine(lines, baseScenario.name) : 0, extended),
+            ...stepLines(lines, header, sc.steps),
+        ];
+        const outline = header >= 0 && OUTLINE.test(lines[header]);
+        out.push({ id, implementation, steps, hash: (0, contract_hash_1.contractHash)(implementation, steps), source: { file, name: sc.name, hasId, lines: sourceLines, outline } });
+    }
+    return out;
+}
+/** Every contract scenario of a unit, in `featureFilesFor` order. Missing feature files contribute nothing. */
+function loadContractScenarios(unitDir, unit) {
+    return (0, unit_paths_1.featureFilesFor)(unitDir, unit).filter((f) => fs.existsSync(f)).flatMap(scenariosOfFeatureFile);
+}
+/** Feature files that make up a unit's contract input (for the inputs hash). */
+const contractFeatureFiles = (unitDir, unit) => (0, unit_paths_1.featureFilesFor)(unitDir, unit).filter((f) => fs.existsSync(f)).map((f) => path.resolve(f));
+exports.contractFeatureFiles = contractFeatureFiles;
+//# sourceMappingURL=normalize-feature-steps.js.map

package/dist/contract/normalize-feature-steps.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-feature-steps.js","sourceRoot":"","sources":["../../src/contract/normalize-feature-steps.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0DA,wDAyBC;AAGD,sDAEC;AAxFD;;;;;;;;;;;;;GAaG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,iEAAyF;AACzF,4CAA4C;AAC5C,sDAAwD;AACxD,mDAA+C;AAE/C,uEAA6E;AAE7E,MAAM,QAAQ,GAAG,CAAC,IAAc,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAErH,SAAS,gBAAgB,CAAC,IAAc;IACtC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACxD,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,WAAW,CAAC;IAClE,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,IAAI,CAAC,IAAY;IACxB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,IAAI,IAAI,IAAA,gBAAQ,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACnI,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,GAAG,CAAC,KAAmB,EAAgB,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAA,mCAAS,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;AAEjH,MAAM,cAAc,GAAG,CAAC,KAAmB,EAAkB,EAAE;IAC7D,MAAM,OAAO,GAAG,IAAA,mCAAS,EAAC,KAAK,CAAC,CAAC;IACjC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAA,+CAAqB,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC,CAAC;AAEF,+GAA+G;AAC/G,SAAS,SAAS,CAAC,KAAe,EAAE,IAAY,EAAE,KAAmB;IACnE,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACjF,IAAI,CAAC,IAAI,CAAC;YAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,OAAO,CAAC,GAAG,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,MAAM,GAAG,8DAA8D,CAAC;AAC9E,MAAM,OAAO,GAAG,oCAAoC,CAAC;AACrD,MAAM,UAAU,GAAG,CAAC,KAAe,EAAE,IAAY,EAAU,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAEhI,SAAgB,sBAAsB,CAAC,IAAY;IACjD,MAAM,OAAO,GAAG,IAAI,8BAAa,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,SAAS;QAAE,IAAI,EAAE,CAAC,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IACjF,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC;IACnD,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3D,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5D,MAAM,YAAY,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,MAAM,QAAQ,GAAG,UAAU,CAAC,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,EAAE,GAAG,cAAc,CAAC,QAAQ,CAAC,EAAE,GAAG,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QACxG,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,WAAW,GAAG;YAClB,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,UAAU,CAAC;YAClC,GAAG,SAAS,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;YACtF,GAAG,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC;SACtC,CAAC;QACF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAE,IAAA,4BAAY,EAAC,cAAc,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAC1J,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+GAA+G;AAC/G,SAAgB,qBAAqB,CAAC,OAAe,EAAE,IAAY;IACjE,OAAO,IAAA,4BAAe,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;AACxG,CAAC;AAED,gFAAgF;AACzE,MAAM,oBAAoB,GAAG,CAAC,OAAe,EAAE,IAAY,EAAY,EAAE,CAC9E,IAAA,4BAAe,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AADhF,QAAA,oBAAoB,wBAC4D"}

package/dist/contract/oracle-strength.d.ts

@@ -0,0 +1,12 @@
+import type { ContractStep } from './contract-schema';
+export { assertShapeOf, matcherStrength } from './assertion-matcher-vocabulary';
+export type { AssertShape } from './assertion-matcher-vocabulary';
+/** Does a passing `now` check prove the `was` check (both positive)? */
+export declare function impliesMatcher(now: string | undefined, was: string | undefined): boolean;
+export type AssertComparison = {
+    class: 'strengthened' | 'review' | 'oracle-weakened';
+    detail: string;
+};
+/** Two assertions on the same target that are NOT identical. */
+export declare function compareAsserts(locked: ContractStep, current: ContractStep): AssertComparison;
+//# sourceMappingURL=oracle-strength.d.ts.map

package/dist/contract/oracle-strength.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"oracle-strength.d.ts","sourceRoot":"","sources":["../../src/contract/oracle-strength.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAGtD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAChF,YAAY,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAIlE,wEAAwE;AACxE,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAMxF;AAoBD,MAAM,MAAM,gBAAgB,GAAG;IAAE,KAAK,EAAE,cAAc,GAAG,QAAQ,GAAG,iBAAiB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAIxG,gEAAgE;AAChE,wBAAgB,cAAc,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,YAAY,GAAG,gBAAgB,CAsB5F"}

package/dist/contract/oracle-strength.js

@@ -0,0 +1,88 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.matcherStrength = exports.assertShapeOf = void 0;
+exports.impliesMatcher = impliesMatcher;
+exports.compareAsserts = compareAsserts;
+/**
+ * How a changed assertion compares to the approved one on the same target (DOS-14.4).
+ *
+ * Every rule is written for POSITIVE checks, from the approved check A to the new check B:
+ *   weakened      expected value dropped · a data-table row removed or a cell changed · a shorter
+ *                 literal under `contains` · a lower rung on the ladder (conservative)
+ *   strengthened  B implies A, with the same expected value, on the same element (IMPLICATION, never
+ *                 rung): equals ⇒ contains · all:X ⇒ X · url ⇒ url-contains · title ⇒ title-contains
+ *   review        anything else — it blocks delivery until QA re-approves it
+ * Nothing implies `visible`: a text or count check passes on a hidden element, and a state (enabled,
+ * checked, empty, focused, selected, loading, sorted…) says nothing about visibility either.
+ *
+ * Under a NEGATION the direction reverses — `not P` proves `not Q` exactly when Q ⇒ P — so the same
+ * rules run with A and B swapped: `does not see [Toast]` → `does not see [Toast] with text {{x}}` is
+ * a weakening (a visible toast with other text now passes). A negation added or removed is a flip.
+ */
+const contract_hash_1 = require("./contract-hash");
+const assertion_matcher_vocabulary_1 = require("./assertion-matcher-vocabulary");
+var assertion_matcher_vocabulary_2 = require("./assertion-matcher-vocabulary");
+Object.defineProperty(exports, "assertShapeOf", { enumerable: true, get: function () { return assertion_matcher_vocabulary_2.assertShapeOf; } });
+Object.defineProperty(exports, "matcherStrength", { enumerable: true, get: function () { return assertion_matcher_vocabulary_2.matcherStrength; } });
+const IMPLIES = { equals: ['contains'], url: ['url-contains'], title: ['title-contains'] };
+/** Does a passing `now` check prove the `was` check (both positive)? */
+function impliesMatcher(now, was) {
+    if (!now || !was || now === was)
+        return false;
+    if (was.startsWith('all:') && !now.startsWith('all:'))
+        return false;
+    const n = now.replace(/^all:/, '');
+    const w = was.replace(/^all:/, '');
+    return n === w || (IMPLIES[n] ?? []).includes(w);
+}
+const CONNECTORS = new Set(['with', 'has', 'have', 'contains', 'contain', 'includes', 'include', 'is', 'matches', 'in', 'to', 'and']);
+const elementType = (verb) => {
+    const m = verb.match(/\[\] ([\w-]+)/);
+    return m && !CONNECTORS.has(m[1]) ? m[1] : '';
+};
+const isLiteral = (v) => v !== undefined && !/\{\{|<[^>]+>/.test(v);
+const baseOf = (m) => (m ?? '').replace(/^all:/, '');
+const rowsOf = (t) => (t ?? []).map((r) => JSON.stringify(r));
+const TEXT = new Set(['equals', 'contains']);
+/** x ⇒ y for two positive LITERAL text checks (equals / contains); null when they are not both that. */
+function literalImplies(x, y) {
+    const bx = baseOf(x.matcher);
+    const by = baseOf(y.matcher);
+    if (!isLiteral(x.expected) || !isLiteral(y.expected) || !TEXT.has(bx) || !TEXT.has(by))
+        return null;
+    return by === 'equals' ? bx === 'equals' && x.expected === y.expected : x.expected.includes(y.expected);
+}
+const show = (s) => `${s.negated ? 'not ' : ''}${s.matcher ?? '?'}${s.expected !== undefined ? ` "${s.expected}"` : ''}`;
+/** Two assertions on the same target that are NOT identical. */
+function compareAsserts(locked, current) {
+    const change = `${show(locked)} → ${show(current)}`;
+    const weak = (why) => ({ class: 'oracle-weakened', detail: `${why}: ${change}` });
+    const review = (why) => ({ class: 'review', detail: `${why}: ${change}` });
+    if (!!locked.negated !== !!current.negated)
+        return weak('negation flipped');
+    const neg = locked.negated === true;
+    const [a, b] = neg ? [current, locked] : [locked, current];
+    const sa = (0, assertion_matcher_vocabulary_1.matcherStrength)(a.matcher);
+    const sb = (0, assertion_matcher_vocabulary_1.matcherStrength)(b.matcher);
+    if (sa === null || sb === null)
+        return review(`the ladder cannot judge "${locked.verb}" → "${current.verb}"`);
+    if (a.expected !== undefined && b.expected === undefined)
+        return weak(neg ? 'a value was added to a negated check' : 'expected value dropped');
+    if (a.table) {
+        const kept = new Set(rowsOf(b.table));
+        const lost = rowsOf(a.table).filter((r) => !kept.has(r)).length;
+        if (lost)
+            return weak(`${lost} data-table row(s) ${neg ? 'added to a negated check' : 'removed or changed'}`);
+    }
+    if (literalImplies(a, b) === true && literalImplies(b, a) === false)
+        return weak(neg ? 'a longer literal under a negated check' : 'a shorter literal under contains');
+    if (sb < sa)
+        return weak('weaker check');
+    if (a.expected !== undefined && b.expected !== a.expected)
+        return review('expected value changed');
+    const sameElement = (0, contract_hash_1.sameJson)(a.target, b.target) && elementType(a.verb) === elementType(b.verb) && rowsOf(a.table).length === rowsOf(b.table).length;
+    if (sameElement && impliesMatcher(b.matcher, a.matcher))
+        return { class: 'strengthened', detail: `stronger check: ${change}` };
+    return review('changed, and the new check does not prove the approved one');
+}
+//# sourceMappingURL=oracle-strength.js.map

package/dist/contract/oracle-strength.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"oracle-strength.js","sourceRoot":"","sources":["../../src/contract/oracle-strength.ts"],"names":[],"mappings":";;;AA0BA,wCAMC;AAyBD,wCAsBC;AA/ED;;;;;;;;;;;;;;;GAeG;AACH,mDAA2C;AAE3C,iFAAiE;AAEjE,+EAAgF;AAAvE,6HAAA,aAAa,OAAA;AAAE,+HAAA,eAAe,OAAA;AAGvC,MAAM,OAAO,GAAsC,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC;AAE9H,wEAAwE;AACxE,SAAgB,cAAc,CAAC,GAAuB,EAAE,GAAuB;IAC7E,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACpE,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACnC,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACnC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACtI,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE;IAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IACtC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC,CAAC;AACF,MAAM,SAAS,GAAG,CAAC,CAAqB,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACrG,MAAM,MAAM,GAAG,CAAC,CAAqB,EAAU,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACjF,MAAM,MAAM,GAAG,CAAC,CAAyB,EAAY,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAChG,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAE7C,wGAAwG;AACxG,SAAS,cAAc,CAAC,CAAe,EAAE,CAAe;IACtD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC7B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACpG,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AAC1G,CAAC;AAID,MAAM,IAAI,GAAG,CAAC,CAAe,EAAU,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,IAAI,GAAG,GAAG,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAE/I,gEAAgE;AAChE,SAAgB,cAAc,CAAC,MAAoB,EAAE,OAAqB;IACxE,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,CAAC,GAAW,EAAoB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,GAAG,GAAG,KAAK,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5G,MAAM,MAAM,GAAG,CAAC,GAAW,EAAoB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,GAAG,KAAK,MAAM,EAAE,EAAE,CAAC,CAAC;IACrG,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC;IACpC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,EAAE,GAAG,IAAA,8CAAe,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,IAAA,8CAAe,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC,4BAA4B,MAAM,CAAC,IAAI,QAAQ,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;IAC9G,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;IAC/I,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAChE,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC,GAAG,IAAI,sBAAsB,GAAG,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,oBAAoB,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC;IACtK,IAAI,EAAE,GAAG,EAAE;QAAE,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC;IACzC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC,wBAAwB,CAAC,CAAC;IACnG,MAAM,WAAW,GAAG,IAAA,wBAAQ,EAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;IACrJ,IAAI,WAAW,IAAI,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,mBAAmB,MAAM,EAAE,EAAE,CAAC;IAC/H,OAAO,MAAM,CAAC,4DAA4D,CAAC,CAAC;AAC9E,CAAC"}

package/dist/contract/project-contract-blockers.d.ts

@@ -0,0 +1,10 @@
+import { ContractUnit, VerdictValue } from './build-contract-verdict';
+export interface ContractBlocker {
+    unit: string;
+    verdict: Exclude<VerdictValue, 'pass'>;
+    headline: string;
+}
+export declare function contractBlockers(projectRoot: string, units: ContractUnit[], opts?: {
+    gitTimeoutMs?: number;
+}): ContractBlocker[];
+//# sourceMappingURL=project-contract-blockers.d.ts.map

package/dist/contract/project-contract-blockers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-contract-blockers.d.ts","sourceRoot":"","sources":["../../src/contract/project-contract-blockers.ts"],"names":[],"mappings":"AAWA,OAAO,EAAwB,YAAY,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAK5F,MAAM,WAAW,eAAe;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AAE3G,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,IAAI,GAAE;IAAE,YAAY,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,eAAe,EAAE,CAiBpI"}

package/dist/contract/project-contract-blockers.js

@@ -0,0 +1,73 @@
+"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.contractBlockers = contractBlockers;
+/**
+ * Which units' contracts hold a delivery back — for the Claude Code guard (OES-12.3, DOS-14.4).
+ *
+ * HEAD is read once (one `git ls-tree`, bounded by the caller's timeout). A unit with no lock in the
+ * working tree AND none in HEAD has no contract to break and is skipped without parsing anything.
+ * Every other unit gets its verdict rebuilt by buildContractVerdict — the same function `contract
+ * check` runs — and anything but `pass` blocks. A lock deleted from the working tree still counts
+ * while HEAD holds it. If git FAILS in a checkout that has .git while a delivered unit has a lock,
+ * this throws (GitUnavailableError): the guard asks rather than calling an unverifiable lock clean.
+ */
+const fs = __importStar(require("fs"));
+const build_contract_verdict_1 = require("./build-contract-verdict");
+const contract_git_1 = require("./contract-git");
+const contract_schema_1 = require("./contract-schema");
+const contracts_lock_file_1 = require("./contracts-lock-file");
+function contractBlockers(projectRoot, units, opts = {}) {
+    const unique = [...new Map(units.map((u) => [u.dir, u])).values()];
+    const snap = (0, contract_git_1.headSnapshot)(projectRoot, opts.gitTimeoutMs ?? contract_git_1.CLI_GIT_TIMEOUT_MS);
+    const hasWorkingLock = (u) => fs.existsSync((0, contracts_lock_file_1.lockPathFor)(u.dir));
+    if (snap.error && unique.some(hasWorkingLock))
+        throw new contract_git_1.GitUnavailableError(snap.error);
+    const out = [];
+    for (const unit of unique) {
+        if (!hasWorkingLock(unit) && !snap.blobs?.has((0, contract_git_1.posixRel)(projectRoot, (0, contracts_lock_file_1.lockPathFor)(unit.dir))))
+            continue;
+        const v = (0, build_contract_verdict_1.buildContractVerdict)(projectRoot, unit, { snapshot: snap });
+        if (v.verdict === 'pass')
+            continue;
+        const worst = v.scenarios.find((s) => contract_schema_1.HARD_CLASSES.has(s.class)) ?? v.scenarios.find((s) => s.class === 'hash-changed');
+        const headline = worst
+            ? `${worst.id} ${worst.class}${worst.findings[0] ? ` (${worst.findings[0].detail})` : ''}`
+            : `${v.uncommitted.length} lock entr${v.uncommitted.length === 1 ? 'y is' : 'ies are'} not what QA approved and committed (${v.uncommitted[0]?.id} ${v.uncommitted[0]?.change})`;
+        out.push({ unit: unit.name, verdict: v.verdict, headline });
+    }
+    return out;
+}
+//# sourceMappingURL=project-contract-blockers.js.map

package/dist/contract/project-contract-blockers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-contract-blockers.js","sourceRoot":"","sources":["../../src/contract/project-contract-blockers.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkBA,4CAiBC;AAnCD;;;;;;;;;GASG;AACH,uCAAyB;AACzB,qEAA4F;AAC5F,iDAAiG;AACjG,uDAAiD;AACjD,+DAAoD;AAIpD,SAAgB,gBAAgB,CAAC,WAAmB,EAAE,KAAqB,EAAE,OAAkC,EAAE;IAC/G,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,IAAA,2BAAY,EAAC,WAAW,EAAE,IAAI,CAAC,YAAY,IAAI,iCAAkB,CAAC,CAAC;IAChF,MAAM,cAAc,GAAG,CAAC,CAAe,EAAW,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAA,iCAAW,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvF,IAAI,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;QAAE,MAAM,IAAI,kCAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzF,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,IAAA,uBAAQ,EAAC,WAAW,EAAE,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QACtG,MAAM,CAAC,GAAG,IAAA,6CAAoB,EAAC,WAAW,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACtE,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM;YAAE,SAAS;QACnC,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,8BAAY,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,cAAc,CAAC,CAAC;QACxH,MAAM,QAAQ,GAAG,KAAK;YACpB,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1F,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,aAAa,CAAC,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,wCAAwC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC;QACnL,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/contract/record-contract-approval.d.ts

@@ -0,0 +1,21 @@
+import { ContractLock, ContractScenario } from './contract-schema';
+export interface ApprovalWrite {
+    projectRoot: string;
+    unitDir: string;
+    unit: string;
+    approve: ContractScenario[];
+    removed: string[];
+    reason?: string;
+    lock: ContractLock | null;
+}
+export declare const DEFAULT_APPROVAL_REASON = "QA reviewed the normalized Gherkin contract";
+/** The decision scope of a unit directory (`screens/login`, `api/flows/pay`…). */
+export declare function scopeOfUnitDir(projectRoot: string, unitDir: string): string;
+export declare function nextLock(w: ApprovalWrite, decisionId: string, approvedAt: string): ContractLock;
+/** Throws LockSecretError when the lock this approval would write carries a sensitive value. */
+export declare function checkApprovalSecrets(w: ApprovalWrite): void;
+export declare function recordContractApproval(w: ApprovalWrite): {
+    decisionId: string;
+    lock: ContractLock;
+};
+//# sourceMappingURL=record-contract-approval.d.ts.map

package/dist/contract/record-contract-approval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-contract-approval.d.ts","sourceRoot":"","sources":["../../src/contract/record-contract-approval.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAe,MAAM,mBAAmB,CAAC;AAIhF,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,YAAY,GAAG,IAAI,CAAC;CAC3B;AAED,eAAO,MAAM,uBAAuB,gDAAgD,CAAC;AAErF,kFAAkF;AAClF,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAI3E;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,YAAY,CAK/F;AAED,gGAAgG;AAChG,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,aAAa,GAAG,IAAI,CAE3D;AAED,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,aAAa,GAAG;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,YAAY,CAAA;CAAE,CAiBnG"}

package/dist/contract/record-contract-approval.js

@@ -0,0 +1,98 @@
+"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.DEFAULT_APPROVAL_REASON = void 0;
+exports.scopeOfUnitDir = scopeOfUnitDir;
+exports.nextLock = nextLock;
+exports.checkApprovalSecrets = checkApprovalSecrets;
+exports.recordContractApproval = recordContractApproval;
+/**
+ * What an approval writes, once a human has confirmed it (DOS-14.3, DOS-14.4, takumi T5):
+ *
+ *   1. the secret guard over the exact lock text — a hit writes nothing at all
+ *   2. a `contract-approval` decision listing every approved scenario id + hash (and the removals)
+ *   3. the lock: each approved entry `humanApproved: true`, `decisionId` = that decision, and
+ *      `approvedAt` = its `valid_from` — the pair `contract check` cross-checks (M1)
+ *
+ * The decision goes first: a crash between the two leaves a record without a lock entry, never an
+ * entry pointing at nothing. Only `sungen contract approve` calls this after its TTY confirmation;
+ * the confirmation itself lives there (approve-contract.ts).
+ */
+const path = __importStar(require("path"));
+const append_decision_1 = require("../decisions/append-decision");
+const decision_file_1 = require("../decisions/decision-file");
+const decision_source_1 = require("../decisions/decision-source");
+const contract_schema_1 = require("./contract-schema");
+const contracts_lock_file_1 = require("./contracts-lock-file");
+const lock_secret_guard_1 = require("./lock-secret-guard");
+exports.DEFAULT_APPROVAL_REASON = 'QA reviewed the normalized Gherkin contract';
+/** The decision scope of a unit directory (`screens/login`, `api/flows/pay`…). */
+function scopeOfUnitDir(projectRoot, unitDir) {
+    const scope = path.relative(path.join(projectRoot, 'qa'), unitDir).split(path.sep).join('/');
+    if (!(0, decision_file_1.isValidScope)(scope))
+        throw new Error(`${unitDir} is not a unit directory under qa/ (screens|flows|api/<unit>, api/flows/<flow>)`);
+    return scope;
+}
+function nextLock(w, decisionId, approvedAt) {
+    const scenarios = { ...(w.lock?.scenarios ?? {}) };
+    for (const id of w.removed)
+        delete scenarios[id];
+    for (const sc of w.approve)
+        scenarios[sc.id] = (0, contracts_lock_file_1.lockEntryFor)(sc, decisionId, approvedAt);
+    return { schema: contract_schema_1.LOCK_SCHEMA, scenarios };
+}
+/** Throws LockSecretError when the lock this approval would write carries a sensitive value. */
+function checkApprovalSecrets(w) {
+    (0, lock_secret_guard_1.assertNoLockSecrets)(w.approve, (0, contracts_lock_file_1.serializeLock)(nextLock(w, 'D-0000000000000000', new Date().toISOString())));
+}
+function recordContractApproval(w) {
+    const scope = scopeOfUnitDir(w.projectRoot, w.unitDir);
+    checkApprovalSecrets(w);
+    const payload = {
+        unit: w.unit,
+        scenarios: w.approve.map((s) => ({ id: s.id, hash: s.hash, implementation: s.implementation })),
+        removed: w.removed,
+    };
+    const decision = (0, append_decision_1.appendDecision)(w.projectRoot, scope, {
+        kind: 'contract-approval', anchors: [], visibility: 'internal', valid_from: new Date().toISOString(), payload,
+        text: `Approved the Test Contract of ${w.unit}: ${[...w.approve.map((s) => s.id), ...w.removed.map((id) => `-${id}`)].join(', ')}`,
+        reason: w.reason?.trim() || exports.DEFAULT_APPROVAL_REASON,
+        source: { by: (0, decision_source_1.gitUserName)(w.projectRoot), where: 'cli' },
+    });
+    const lock = nextLock(w, decision.entry.id, decision.entry.valid_from);
+    (0, contracts_lock_file_1.writeLockFile)((0, contracts_lock_file_1.lockPathFor)(w.unitDir), lock);
+    return { decisionId: decision.entry.id, lock };
+}
+//# sourceMappingURL=record-contract-approval.js.map

package/dist/contract/record-contract-approval.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-contract-approval.js","sourceRoot":"","sources":["../../src/contract/record-contract-approval.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCA,wCAIC;AAED,4BAKC;AAGD,oDAEC;AAED,wDAiBC;AArED;;;;;;;;;;;GAWG;AACH,2CAA6B;AAC7B,kEAA8D;AAC9D,8DAA0D;AAE1D,kEAA2D;AAC3D,uDAAgF;AAChF,+DAAgG;AAChG,2DAA0D;AAY7C,QAAA,uBAAuB,GAAG,6CAA6C,CAAC;AAErF,kFAAkF;AAClF,SAAgB,cAAc,CAAC,WAAmB,EAAE,OAAe;IACjE,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7F,IAAI,CAAC,IAAA,4BAAY,EAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,OAAO,iFAAiF,CAAC,CAAC;IACvI,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,QAAQ,CAAC,CAAgB,EAAE,UAAkB,EAAE,UAAkB;IAC/E,MAAM,SAAS,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC;IACnD,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC;IACjD,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,OAAO;QAAE,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAA,kCAAY,EAAC,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACxF,OAAO,EAAE,MAAM,EAAE,6BAAW,EAAE,SAAS,EAAE,CAAC;AAC5C,CAAC;AAED,gGAAgG;AAChG,SAAgB,oBAAoB,CAAC,CAAgB;IACnD,IAAA,uCAAmB,EAAC,CAAC,CAAC,OAAO,EAAE,IAAA,mCAAa,EAAC,QAAQ,CAAC,CAAC,EAAE,oBAAoB,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;AAC7G,CAAC;AAED,SAAgB,sBAAsB,CAAC,CAAgB;IACrD,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACvD,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,OAAO,GAA8B;QACzC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC;QAC/F,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC;IACF,MAAM,QAAQ,GAAG,IAAA,gCAAc,EAAC,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE;QACpD,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO;QAC7G,IAAI,EAAE,iCAAiC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAClI,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,+BAAuB;QACnD,MAAM,EAAE,EAAE,EAAE,EAAE,IAAA,6BAAW,EAAC,CAAC,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE;KACzD,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACvE,IAAA,mCAAa,EAAC,IAAA,iCAAW,EAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5C,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;AACjD,CAAC"}

package/dist/contract/render-free-gherkin.d.ts

@@ -0,0 +1,40 @@
+import { TestDataIndex } from './data-normalize';
+import type { TargetFacts, TargetIdentity } from './trace/target-identity';
+import type { IntentStep } from './trace/trace-steps';
+export declare const CONTROL_CHARS: RegExp;
+export interface ResolvedTarget {
+    identity: TargetIdentity;
+    facts?: TargetFacts;
+}
+export interface RenderedStep {
+    keyword: 'Given' | 'When' | 'Then' | 'And';
+    sentence: string;
+    kind: 'action' | 'assert';
+    /** The outermost `test.step` title (impl:code compares group by group). */
+    group?: string;
+    low?: string;
+    opaque?: {
+        verbatim: string;
+        where?: string;
+    };
+}
+export interface RenderContext {
+    index: TestDataIndex;
+    projectRoot: string;
+    specFile?: string;
+    secrets: Set<string>;
+}
+export declare function renderTraceSteps(steps: IntentStep[], targets: Map<string, ResolvedTarget>, ctx: RenderContext): RenderedStep[];
+/** The Gherkin lines of one scenario's steps, with their comments. */
+export declare function stepLines(steps: RenderedStep[]): string[];
+export interface FreeScenarioBlock {
+    id: string;
+    title: string;
+    tags: string[];
+    comments: string[];
+    steps: RenderedStep[];
+}
+export declare function scenarioBlockText(b: FreeScenarioBlock): string;
+export declare const FREE_FEATURE_HEADER: string[];
+export declare function freeFeatureText(unit: string, blocks: string[]): string;
+//# sourceMappingURL=render-free-gherkin.d.ts.map

package/dist/contract/render-free-gherkin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-free-gherkin.d.ts","sourceRoot":"","sources":["../../src/contract/render-free-gherkin.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAsB,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGrE,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE3E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,eAAO,MAAM,aAAa,QAAuC,CAAC;AAElE,MAAM,WAAW,cAAc;IAAG,QAAQ,EAAE,cAAc,CAAC;IAAC,KAAK,CAAC,EAAE,WAAW,CAAA;CAAE;AACjF,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC;IAC3C,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC1B,2EAA2E;IAC3E,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC/C;AACD,MAAM,WAAW,aAAa;IAAG,KAAK,EAAE,aAAa,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAAE;AAwBrH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,GAAG,EAAE,aAAa,GAAG,YAAY,EAAE,CA0B9H;AAED,sEAAsE;AACtE,wBAAgB,SAAS,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,MAAM,EAAE,CAQzD;AAED,MAAM,WAAW,iBAAiB;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,KAAK,EAAE,YAAY,EAAE,CAAA;CAAE;AAE3H,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAE9D;AAED,eAAO,MAAM,mBAAmB,UAI/B,CAAC;AAEF,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAEtE"}