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

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

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