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

package/dist/contract/lock-secret-guard.js

@@ -0,0 +1,134 @@
+"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.LockSecretError = void 0;
+exports.isSensitiveFieldName = isSensitiveFieldName;
+exports.sensitiveLiteralHits = sensitiveLiteralHits;
+exports.scannerHits = scannerHits;
+exports.assertNoLockSecrets = assertNoLockSecrets;
+/**
+ * Nothing sensitive goes into a lock (DOS-14.4, DOS-14.7, red-team #14). Before a lock is written:
+ *
+ *   1. the existing secret scanner (harness/secret-scan) runs over the EXACT text about to be
+ *      written — vendor token prefixes, secret-named keys with long literals;
+ *   2. semantic detection by field meaning (exporters/sensitive-key's vocabulary — password, token,
+ *      secret, otp, api key… — matched as whole words): a LITERAL typed into such a field.
+ *      `{{var}}`, `<placeholder>` and `${ENV}` are references, not values, and pass.
+ *
+ * A hit refuses the write — nothing is written, neither the lock nor its decision — and names the
+ * place (feature file:line, or lock line) without echoing the value.
+ */
+const fs = __importStar(require("fs"));
+const os = __importStar(require("os"));
+const path = __importStar(require("path"));
+const sensitive_key_1 = require("../exporters/sensitive-key");
+const secret_scan_1 = require("../harness/secret-scan");
+const contracts_lock_file_1 = require("./contracts-lock-file");
+class LockSecretError extends Error {
+    constructor(hits) {
+        super(`Refused: the contract would write ${hits.length} sensitive value(s) into ${contracts_lock_file_1.LOCK_FILE_NAME}. Nothing was written.\n`
+            + hits.map((h) => `  ${h.where} — ${h.reason}`).join('\n')
+            + '\n  Move each value into the unit\'s test-data (qa/<kind>/<unit>/test-data/*.yaml, or an env overlay for a real'
+            + ' credential), reference it in the step as {{variable}}, then approve again.');
+        this.hits = hits;
+        this.name = 'LockSecretError';
+    }
+}
+exports.LockSecretError = LockSecretError;
+const REFERENCE = /^(?:\{\{[^}]*\}\}|<[^>]+>|\$\{[A-Za-z_][A-Za-z0-9_]*\})$/;
+const literals = (joined) => (joined ?? '').split(' | ').map((v) => v.trim()).filter((v) => v.length > 0 && !REFERENCE.test(v));
+/** The exporters' credential vocabulary, matched against WHOLE words (plural allowed), not substrings. */
+const SENSITIVE_WORD = new RegExp(`^(?:${sensitive_key_1.SENSITIVE_NAME.source})s?$`, 'i');
+/**
+ * Is a field name a credential? Word by word — `confirmPassword`, `new_password`, `API Key`, `OTP` are;
+ * `Passenger Name`, `Compass`, `Bypass Code`, `Hotpot` are not (they only CONTAIN the letters).
+ * Adjacent words are also tried joined, so `API Key` reads as `apikey`.
+ */
+function isSensitiveFieldName(name) {
+    if (!name)
+        return false;
+    const words = name.replace(/([a-z0-9])([A-Z])/g, '$1 $2').toLowerCase().split(/[^a-z0-9]+/).filter(Boolean);
+    return words.some((w, i) => SENSITIVE_WORD.test(w) || (i > 0 && SENSITIVE_WORD.test(`${words[i - 1]}${w}`)));
+}
+const sensitive = isSensitiveFieldName;
+function stepHit(step) {
+    if (step.kind !== 'action')
+        return null; // a check's expected text is what the page SHOWS, not a typed credential
+    const names = [step.target?.ref, ...(step.target?.also ?? [])];
+    const field = names.find(sensitive);
+    if (field && literals(step.value).length)
+        return `a literal value typed into the sensitive field [${field}]`;
+    const [header, ...rows] = step.table ?? [];
+    const col = (header ?? []).findIndex(sensitive);
+    if (col >= 0 && rows.some((r) => literals(r[col]).length))
+        return `a literal value in the sensitive column "${header[col]}"`;
+    return null;
+}
+/** Semantic hits over the scenarios about to be locked. */
+function sensitiveLiteralHits(scenarios) {
+    const hits = [];
+    for (const sc of scenarios) {
+        sc.steps.forEach((step, i) => {
+            const reason = stepHit(step);
+            if (!reason)
+                return;
+            const line = sc.source.lines[i];
+            hits.push({ where: `${path.basename(sc.source.file)}${line ? `:${line}` : ''} (${sc.id}, step ${i + 1})`, reason });
+        });
+    }
+    return hits;
+}
+/** The secret scanner over the lock text exactly as it would be written. */
+function scannerHits(lockText) {
+    const dir = fs.mkdtempSync(path.join(os.tmpdir(), 'sungen-lock-scan-'));
+    try {
+        fs.mkdirSync(path.join(dir, 'test-data'));
+        fs.writeFileSync(path.join(dir, 'test-data', contracts_lock_file_1.LOCK_FILE_NAME), lockText);
+        const result = (0, secret_scan_1.scanTestDataSecrets)(dir);
+        if (result.unscanned.length)
+            throw new Error(`the secret scan could not read the lock it was given (${result.unscanned[0].reason})`);
+        return result.hits.map((h) => ({ where: `${contracts_lock_file_1.LOCK_FILE_NAME}:${h.line}`, reason: h.reason }));
+    }
+    finally {
+        fs.rmSync(dir, { recursive: true, force: true });
+    }
+}
+/** Throws LockSecretError when the lock would carry a sensitive value. */
+function assertNoLockSecrets(scenarios, lockText) {
+    const hits = [...sensitiveLiteralHits(scenarios), ...scannerHits(lockText)];
+    if (hits.length)
+        throw new LockSecretError(hits);
+}
+//# sourceMappingURL=lock-secret-guard.js.map

package/dist/contract/lock-secret-guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock-secret-guard.js","sourceRoot":"","sources":["../../src/contract/lock-secret-guard.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CA,oDAIC;AAeD,oDAWC;AAGD,kCAWC;AAGD,kDAGC;AA9FD;;;;;;;;;;;GAWG;AACH,uCAAyB;AACzB,uCAAyB;AACzB,2CAA6B;AAC7B,8DAA4D;AAC5D,wDAA6D;AAE7D,+DAAuD;AAIvD,MAAa,eAAgB,SAAQ,KAAK;IACxC,YAA4B,IAAqB;QAC/C,KAAK,CAAC,qCAAqC,IAAI,CAAC,MAAM,4BAA4B,oCAAc,0BAA0B;cACtH,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;cACxD,iHAAiH;cACjH,6EAA6E,CAAC,CAAC;QAJzD,SAAI,GAAJ,IAAI,CAAiB;QAK/C,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AARD,0CAQC;AAED,MAAM,SAAS,GAAG,0DAA0D,CAAC;AAC7E,MAAM,QAAQ,GAAG,CAAC,MAA0B,EAAY,EAAE,CACxD,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAErG,0GAA0G;AAC1G,MAAM,cAAc,GAAG,IAAI,MAAM,CAAC,OAAO,8BAAc,CAAC,MAAM,MAAM,EAAE,GAAG,CAAC,CAAC;AAE3E;;;;GAIG;AACH,SAAgB,oBAAoB,CAAC,IAAwB;IAC3D,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5G,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC/G,CAAC;AACD,MAAM,SAAS,GAAG,oBAAoB,CAAC;AAEvC,SAAS,OAAO,CAAC,IAAkB;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,CAAG,yEAAyE;IACpH,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpC,IAAI,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,mDAAmD,KAAK,GAAG,CAAC;IAC7G,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;IAC3C,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAChD,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QAAE,OAAO,4CAA4C,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;IAC7H,OAAO,IAAI,CAAC;AACd,CAAC;AAED,2DAA2D;AAC3D,SAAgB,oBAAoB,CAAC,SAA6B;IAChE,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;YAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,CAAC,MAAM;gBAAE,OAAO;YACpB,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;QACtH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAC5E,SAAgB,WAAW,CAAC,QAAgB;IAC1C,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC;QACH,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC;QAC1C,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,oCAAc,CAAC,EAAE,QAAQ,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,IAAA,iCAAmB,EAAC,GAAG,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QACrI,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,oCAAc,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9F,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,0EAA0E;AAC1E,SAAgB,mBAAmB,CAAC,SAA6B,EAAE,QAAgB;IACjF,MAAM,IAAI,GAAG,CAAC,GAAG,oBAAoB,CAAC,SAAS,CAAC,EAAE,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5E,IAAI,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;AACnD,CAAC"}

package/dist/contract/lock-vs-git-head.d.ts

@@ -0,0 +1,26 @@
+/**
+ * The working lock against the committed one (DOS-14.4, red-team #3). A lock entry is trusted only
+ * where it equals `git show HEAD:<lock>`: a commit went through review, a local edit did not — an
+ * agent that weakened a test could have edited the lock to match. Every difference is
+ * `contract.lock-uncommitted` (hard), including the cases that make a contract VANISH: an entry
+ * removed, or the whole lock deleted while HEAD still holds it.
+ *
+ * The same rule id carries the other ways a lock entry can fail to be what QA approved:
+ *   tampered    its steps no longer hash to its `hash` (contracts-lock-file.ts)
+ *   unverified  no committed contract-approval decision vouches for it (verify-approval-decisions.ts)
+ */
+import type { ContractLock } from './contract-schema';
+import { HeadSnapshot } from './contract-git';
+export interface UncommittedEntry {
+    id: string;
+    change: 'added' | 'changed' | 'removed' | 'tampered' | 'unverified';
+    detail?: string;
+}
+export type HeadComparison = {
+    status: 'no-git';
+} | {
+    status: 'compared';
+    uncommitted: UncommittedEntry[];
+};
+export declare function compareLockWithHead(projectRoot: string, lockFile: string, workingText: string | null, working: ContractLock | null, snap: HeadSnapshot): HeadComparison;
+//# sourceMappingURL=lock-vs-git-head.d.ts.map

package/dist/contract/lock-vs-git-head.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock-vs-git-head.d.ts","sourceRoot":"","sources":["../../src/contract/lock-vs-git-head.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,YAAY,EAA0B,MAAM,gBAAgB,CAAC;AAItE,MAAM,WAAW,gBAAgB;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,YAAY,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE;AAEtI,MAAM,MAAM,cAAc,GAAG;IAAE,MAAM,EAAE,QAAQ,CAAA;CAAE,GAAG;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,WAAW,EAAE,gBAAgB,EAAE,CAAA;CAAE,CAAC;AAE5G,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,IAAI,EAAE,OAAO,EAAE,YAAY,GAAG,IAAI,EAAE,IAAI,EAAE,YAAY,GAClH,cAAc,CAehB"}

package/dist/contract/lock-vs-git-head.js

@@ -0,0 +1,28 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compareLockWithHead = compareLockWithHead;
+const contract_git_1 = require("./contract-git");
+const contract_hash_1 = require("./contract-hash");
+const contracts_lock_file_1 = require("./contracts-lock-file");
+function compareLockWithHead(projectRoot, lockFile, workingText, working, snap) {
+    if (snap.blobs === null)
+        return { status: 'no-git' };
+    const rel = (0, contract_git_1.posixRel)(projectRoot, lockFile);
+    const headText = (0, contract_git_1.headFileText)(snap, rel, workingText);
+    if (headText !== null && headText === workingText)
+        return { status: 'compared', uncommitted: [] };
+    const head = headText === null ? null : (0, contracts_lock_file_1.parseLockText)(headText, `HEAD:${rel}`);
+    const now = working?.scenarios ?? {};
+    const was = head?.scenarios ?? {};
+    const uncommitted = [];
+    for (const id of [...new Set([...Object.keys(now), ...Object.keys(was)])].sort((a, b) => a.localeCompare(b, 'en'))) {
+        if (!(id in was))
+            uncommitted.push({ id, change: 'added' });
+        else if (!(id in now))
+            uncommitted.push({ id, change: 'removed' });
+        else if (!(0, contract_hash_1.sameJson)(now[id], was[id]))
+            uncommitted.push({ id, change: 'changed' });
+    }
+    return { status: 'compared', uncommitted };
+}
+//# sourceMappingURL=lock-vs-git-head.js.map

package/dist/contract/lock-vs-git-head.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock-vs-git-head.js","sourceRoot":"","sources":["../../src/contract/lock-vs-git-head.ts"],"names":[],"mappings":";;AAoBA,kDAiBC;AAzBD,iDAAsE;AACtE,mDAA2C;AAC3C,+DAAsD;AAMtD,SAAgB,mBAAmB,CACjC,WAAmB,EAAE,QAAgB,EAAE,WAA0B,EAAE,OAA4B,EAAE,IAAkB;IAEnH,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACrD,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAA,2BAAY,EAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IACtD,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,WAAW;QAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAClG,MAAM,IAAI,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAA,mCAAa,EAAC,QAAQ,EAAE,QAAQ,GAAG,EAAE,CAAC,CAAC;IAC/E,MAAM,GAAG,GAAG,OAAO,EAAE,SAAS,IAAI,EAAE,CAAC;IACrC,MAAM,GAAG,GAAG,IAAI,EAAE,SAAS,IAAI,EAAE,CAAC;IAClC,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;QACnH,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;aACvD,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;aAC9D,IAAI,CAAC,IAAA,wBAAQ,EAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AAC7C,CAAC"}

package/dist/contract/normalize-contract-step.d.ts

@@ -0,0 +1,21 @@
+/**
+ * One parsed Gherkin step → one contract step (DOS-14.1). The step was already parsed by the
+ * existing GherkinParser (ParsedStep: parent scope, state clause, data table, nth); this re-reads
+ * its sentence with references and values masked, as the StepMapper's matcher does
+ * (`maskRefsForMatching`) so a NAME can never read as grammar — and keeps what it masked:
+ *
+ *   `User see [Status] text with {{s}} in [Job Row] row with {{t}}`
+ *     → {kind: assert, verb: 'see [] text with {}', target: {ref: 'Status', parent: 'row [Job Row] with {{t}}'},
+ *        matcher: 'equals', expected: '{{s}}'}
+ *
+ * The verb keeps every word and number of the sentence, so two steps with equal contract steps are
+ * the same sentence up to case and spacing: an exact match is never a guess. `{{var}}` stays a
+ * variable (never resolved), a literal loses only its quotes.
+ */
+import type { ParsedStep } from '../generators/gherkin-parser';
+import type { ContractStep } from './contract-schema';
+export type StepBucket = 'given' | 'when' | 'then';
+export declare function normalizeContractStep(step: ParsedStep, bucket: StepBucket): ContractStep;
+/** Given/When/Then for every step of one block, And/But inheriting the last primary keyword. */
+export declare function bucketsOf(steps: ParsedStep[]): StepBucket[];
+//# sourceMappingURL=normalize-contract-step.d.ts.map

package/dist/contract/normalize-contract-step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-contract-step.d.ts","sourceRoot":"","sources":["../../src/contract/normalize-contract-step.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAE/D,OAAO,KAAK,EAAE,YAAY,EAAkB,MAAM,mBAAmB,CAAC;AAGtE,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAYnD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,GAAG,YAAY,CAgCxF;AAED,gGAAgG;AAChG,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,UAAU,EAAE,CAO3D"}

package/dist/contract/normalize-contract-step.js

@@ -0,0 +1,70 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.normalizeContractStep = normalizeContractStep;
+exports.bucketsOf = bucketsOf;
+const parent_scope_clause_1 = require("../generators/gherkin-parser/parent-scope-clause");
+const assertion_matcher_vocabulary_1 = require("./assertion-matcher-vocabulary");
+/** Quoted literal · `{{var}}` · `<outline placeholder>` · `[Reference]`, left to right. */
+const TOKEN = /"[^"]*"|\{\{[^}]*\}\}|<[^>\s][^>]*>|\[[^\]]*\]/g;
+function parentOf(text) {
+    const { clause } = (0, parent_scope_clause_1.extractParentScopeClause)(text);
+    if (!clause)
+        return { body: text };
+    const tail = clause.valueRef !== undefined ? ` with {{${clause.valueRef}}}` : clause.valueText !== undefined ? ` with "${clause.valueText}"` : '';
+    return { parent: `${clause.type} [${clause.ref.trim()}]${tail}`, body: clause.remainingText };
+}
+function normalizeContractStep(step, bucket) {
+    const { parent, body } = parentOf(step.text);
+    const refs = [];
+    const values = [];
+    const masked = body.replace(TOKEN, (tok) => {
+        if (tok.startsWith('[')) {
+            refs.push(tok.slice(1, -1).trim());
+            return '[]';
+        }
+        values.push(tok.startsWith('"') ? tok.slice(1, -1) : tok);
+        return '{}';
+    });
+    const verb = masked.replace(/^\s*user\s+/i, '').replace(/\s+/g, ' ').replace(/\s*[.:]\s*$/, '').trim().toLowerCase();
+    const kind = bucket === 'then' ? 'assert' : 'action';
+    let target;
+    if (refs.length)
+        target = { ref: refs[0], ...(refs.length > 1 ? { also: refs.slice(1) } : {}) };
+    else if (kind === 'assert' && /^expect\b/.test(verb) && values.length)
+        target = { ref: values.shift() };
+    if (target && parent)
+        target.parent = parent;
+    if (target && step.nth && step.nth > 0)
+        target.nth = step.nth;
+    const joined = values.length ? values.join(' | ') : undefined;
+    const table = step.dataTable ? [step.dataTable.headers, ...step.dataTable.rows.map((r) => r.cells)] : undefined;
+    const out = { kind, verb };
+    if (target)
+        out.target = target;
+    if (kind === 'action') {
+        if (joined !== undefined)
+            out.value = joined;
+    }
+    else {
+        const shape = (0, assertion_matcher_vocabulary_1.assertShapeOf)(verb, step.state);
+        out.matcher = shape.matcher;
+        if (joined !== undefined)
+            out.expected = joined;
+        if (shape.negated)
+            out.negated = true;
+    }
+    if (table)
+        out.table = table;
+    return out;
+}
+/** Given/When/Then for every step of one block, And/But inheriting the last primary keyword. */
+function bucketsOf(steps) {
+    let last = 'given';
+    return steps.map((s) => {
+        const kw = s.keyword.trim().toLowerCase();
+        if (kw === 'given' || kw === 'when' || kw === 'then')
+            last = kw;
+        return last;
+    });
+}
+//# sourceMappingURL=normalize-contract-step.js.map

package/dist/contract/normalize-contract-step.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize-contract-step.js","sourceRoot":"","sources":["../../src/contract/normalize-contract-step.ts"],"names":[],"mappings":";;AA+BA,sDAgCC;AAGD,8BAOC;AA1DD,0FAA4F;AAE5F,iFAA+D;AAI/D,2FAA2F;AAC3F,MAAM,KAAK,GAAG,iDAAiD,CAAC;AAEhE,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,8CAAwB,EAAC,IAAI,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAClJ,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC;AAChG,CAAC;AAED,SAAgB,qBAAqB,CAAC,IAAgB,EAAE,MAAkB;IACxE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE;QACzC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC;QAC7E,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrH,MAAM,IAAI,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;IAErD,IAAI,MAAkC,CAAC;IACvC,IAAI,IAAI,CAAC,MAAM;QAAE,MAAM,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;SAC3F,IAAI,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM;QAAE,MAAM,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAG,EAAE,CAAC;IACzG,IAAI,MAAM,IAAI,MAAM;QAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;IAC7C,IAAI,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC;QAAE,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IAE9D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChH,MAAM,GAAG,GAAiB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzC,IAAI,MAAM;QAAE,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC;IAChC,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,IAAI,MAAM,KAAK,SAAS;YAAE,GAAG,CAAC,KAAK,GAAG,MAAM,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,IAAA,4CAAa,EAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,GAAG,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC5B,IAAI,MAAM,KAAK,SAAS;YAAE,GAAG,CAAC,QAAQ,GAAG,MAAM,CAAC;QAChD,IAAI,KAAK,CAAC,OAAO;YAAE,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;IACxC,CAAC;IACD,IAAI,KAAK;QAAE,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC;IAC7B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gGAAgG;AAChG,SAAgB,SAAS,CAAC,KAAmB;IAC3C,IAAI,IAAI,GAAe,OAAO,CAAC;IAC/B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrB,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC1C,IAAI,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,MAAM,IAAI,EAAE,KAAK,MAAM;YAAE,IAAI,GAAG,EAAE,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC"}

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"}