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

package/dist/contract/render-free-gherkin.js

@@ -0,0 +1,141 @@
+"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.FREE_FEATURE_HEADER = exports.CONTROL_CHARS = void 0;
+exports.renderTraceSteps = renderTraceSteps;
+exports.stepLines = stepLines;
+exports.scenarioBlockText = scenarioBlockText;
+exports.freeFeatureText = freeFeatureText;
+/**
+ * A trace's intent steps → Gherkin steps, deterministically (DOS-14.8): the same trace and the same
+ * identities give the same text, byte for byte. No LLM is involved — naming a scenario or suggesting
+ * a VP-id is left to the user (or an agent) and never touches the steps or the hash.
+ *
+ *   keywords   first step `Given`; the next action `When`, later actions `And`; a check after an
+ *              action `Then`, after a check `And`; an action after a check `When`
+ *   drops      a click on an element immediately followed by a fill of the SAME element (a focus click)
+ *   opaque     `User see opaque check "<source line>"` / `User do opaque step "<GET /api/x>"`, with a
+ *              `# opaque at <file>:<line>` comment — kept verbatim, always reviewed by a human
+ *   low        `# identity low: <why>` above any step whose target is not proven
+ *   safety     secrets typed into credential fields are redacted everywhere; machine paths scrubbed
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const field_semantic_redaction_1 = require("./field-semantic-redaction");
+const data_normalize_1 = require("./data-normalize");
+const render_trace_target_1 = require("./render-trace-target");
+const render_trace_sentence_1 = require("./render-trace-sentence");
+const trace_identity_resolution_1 = require("./trace/trace-identity-resolution");
+exports.CONTROL_CHARS = /[\u0000-\u001f\u007f\u2028\u2029]/g;
+function whereOf(step, ctx) {
+    const loc = step.location;
+    if (!loc?.file)
+        return {};
+    const own = ctx.specFile && (loc.file === ctx.specFile || loc.file.endsWith(`/${ctx.specFile}`) || path.basename(loc.file) === path.basename(ctx.specFile));
+    const file = own ? ctx.specFile : (0, field_semantic_redaction_1.displayPath)(loc.file, ctx.projectRoot);
+    let line;
+    if (own) {
+        try {
+            line = fs.readFileSync(path.join(ctx.projectRoot, ctx.specFile), 'utf8').split(/\r?\n/)[loc.line - 1]?.trim();
+        }
+        catch {
+            line = undefined;
+        }
+    }
+    return { where: `${file}:${loc.line}`, line };
+}
+const quoteVerbatim = (s) => `"${(0, data_normalize_1.normalizeShownText)(s).replace(/"/g, "'").replace(/\s+/g, ' ').trim()}"`;
+function keywordFor(kind, prev) {
+    const last = prev[prev.length - 1];
+    if (!last)
+        return 'Given';
+    if (kind === 'assert')
+        return last.kind === 'assert' ? 'And' : 'Then';
+    if (last.kind === 'assert')
+        return 'When';
+    return prev.length === 1 && last.keyword === 'Given' ? 'When' : 'And';
+}
+function renderTraceSteps(steps, targets, ctx) {
+    const out = [];
+    steps.forEach((step, i) => {
+        const t = step.callId ? targets.get(step.callId) : undefined;
+        const next = steps[i + 1];
+        if (step.method === 'click' && next && (next.method === 'fill' || next.method === 'type') && (0, render_trace_target_1.sameTarget)(t?.identity, next.callId ? targets.get(next.callId)?.identity : undefined))
+            return;
+        const group = step.group[0];
+        if (step.kind === 'opaque-assert' || step.kind === 'opaque-action') {
+            const { where, line } = whereOf(step, ctx);
+            const verbatim = step.kind === 'opaque-action' && /^[A-Z]+ /.test(step.verbatim ?? '') ? step.verbatim : line || step.verbatim || step.method;
+            const kind = step.kind === 'opaque-assert' ? 'assert' : 'action';
+            const sentence = kind === 'assert' ? `User see opaque check ${quoteVerbatim(verbatim)}` : `User do opaque step ${quoteVerbatim(verbatim)}`;
+            out.push({ keyword: keywordFor(kind, out), sentence, kind, ...(group ? { group } : {}), opaque: { verbatim, ...(where ? { where } : {}) } });
+            return;
+        }
+        const target = (0, trace_identity_resolution_1.isPageLevel)(step) ? { text: '' } : (0, render_trace_target_1.renderTarget)(t?.identity, t?.facts, typeof step.params.selector === 'string' ? step.params.selector : undefined);
+        const kind = step.kind === 'assert' ? 'assert' : 'action';
+        const sentence = kind === 'assert' ? (0, render_trace_sentence_1.assertSentence)(step, target.text) : (0, render_trace_sentence_1.actionSentence)(step, target.text, ctx, (0, render_trace_sentence_1.sensitiveStep)(step, t?.facts, t?.identity.name));
+        out.push({ keyword: keywordFor(kind, out), sentence, kind, ...(group ? { group } : {}), ...(target.low ? { low: target.low } : {}) });
+    });
+    // Control characters (terminal escapes, BEL, line separators) would corrupt or spoof a Gherkin line.
+    const clean = (s) => (0, field_semantic_redaction_1.scrubMachinePaths)((0, field_semantic_redaction_1.scrubKnownSecrets)(s, ctx.secrets), ctx.projectRoot).replace(exports.CONTROL_CHARS, '');
+    return out.map((s) => ({
+        ...s, sentence: clean(s.sentence), ...(s.low ? { low: clean(s.low) } : {}),
+        ...(s.opaque ? { opaque: { verbatim: clean(s.opaque.verbatim), ...(s.opaque.where ? { where: clean(s.opaque.where) } : {}) } } : {}),
+    }));
+}
+/** The Gherkin lines of one scenario's steps, with their comments. */
+function stepLines(steps) {
+    const lines = [];
+    for (const s of steps) {
+        if (s.opaque)
+            lines.push(`    # opaque${s.opaque.where ? ` at ${s.opaque.where}` : ''} — compared by a human, never automatically`);
+        if (s.low)
+            lines.push(`    # identity low: ${s.low}`);
+        lines.push(`    ${s.keyword} ${s.sentence}`);
+    }
+    return lines;
+}
+function scenarioBlockText(b) {
+    return [`  ${b.tags.join(' ')}`, `  Scenario: ${b.title}`, ...b.comments.map((c) => `    # ${c}`), ...stepLines(b.steps)].join('\n');
+}
+exports.FREE_FEATURE_HEADER = [
+    '# Derived by `sungen contract derive` from Playwright traces — deterministic, no LLM.',
+    '# These steps are the contract; the Playwright test is the implementation. Each scenario stays a',
+    '# proposal (not counted by the audit) until QA approves it: sungen contract approve --screen <unit>',
+];
+function freeFeatureText(unit, blocks) {
+    return [...exports.FREE_FEATURE_HEADER.map((l) => l.replace('<unit>', unit)), `Feature: ${unit} (free tests)`, '', ...blocks.flatMap((b) => [b, ''])].join('\n');
+}
+//# sourceMappingURL=render-free-gherkin.js.map

package/dist/contract/render-free-gherkin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-free-gherkin.js","sourceRoot":"","sources":["../../src/contract/render-free-gherkin.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2DA,4CA0BC;AAGD,8BAQC;AAID,8CAEC;AAQD,0CAEC;AAhHD;;;;;;;;;;;;GAYG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,yEAA+F;AAC/F,qDAAqE;AACrE,+DAAiE;AACjE,mEAAwF;AAExF,iFAAgE;AAGnD,QAAA,aAAa,GAAG,oCAAoC,CAAC;AAclE,SAAS,OAAO,CAAC,IAAgB,EAAE,GAAkB;IACnD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC1B,IAAI,CAAC,GAAG,EAAE,IAAI;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5J,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAS,CAAC,CAAC,CAAC,IAAA,sCAAW,EAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;IAC1E,IAAI,IAAwB,CAAC;IAC7B,IAAI,GAAG,EAAE,CAAC;QACR,IAAI,CAAC;YAAC,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,QAAS,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,IAAI,GAAG,SAAS,CAAC;QAAC,CAAC;IACrJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,IAAA,mCAAkB,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC;AAEzH,SAAS,UAAU,CAAC,IAAyB,EAAE,IAAoB;IACjE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,IAAI;QAAE,OAAO,OAAO,CAAC;IAC1B,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC1C,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;AACxE,CAAC;AAED,SAAgB,gBAAgB,CAAC,KAAmB,EAAE,OAAoC,EAAE,GAAkB;IAC5G,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,IAAA,gCAAU,EAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;YAAE,OAAO;QAC3L,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACnE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAS,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC;YAC/I,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;YACjE,MAAM,QAAQ,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,yBAAyB,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,uBAAuB,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3I,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7I,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAG,IAAA,uCAAW,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAA,kCAAY,EAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnK,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC1D,MAAM,QAAQ,GAAG,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAA,sCAAc,EAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAA,sCAAc,EAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,IAAA,qCAAa,EAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QACjK,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACxI,CAAC,CAAC,CAAC;IACH,qGAAqG;IACrG,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAA,4CAAiB,EAAC,IAAA,4CAAiB,EAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,qBAAa,EAAE,EAAE,CAAC,CAAC;IACtI,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrB,GAAG,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrI,CAAC,CAAC,CAAC;AACN,CAAC;AAED,sEAAsE;AACtE,SAAgB,SAAS,CAAC,KAAqB;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,6CAA6C,CAAC,CAAC;QACpI,IAAI,CAAC,CAAC,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAID,SAAgB,iBAAiB,CAAC,CAAoB;IACpD,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC,KAAK,EAAE,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvI,CAAC;AAEY,QAAA,mBAAmB,GAAG;IACjC,uFAAuF;IACvF,kGAAkG;IAClG,qGAAqG;CACtG,CAAC;AAEF,SAAgB,eAAe,CAAC,IAAY,EAAE,MAAgB;IAC5D,OAAO,CAAC,GAAG,2BAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,YAAY,IAAI,eAAe,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3J,CAAC"}

package/dist/contract/render-trace-sentence.d.ts

@@ -0,0 +1,20 @@
+/**
+ * One trace intent step → one sungen Gherkin sentence (without its keyword), in the documented
+ * forms the contract normalizer reads (DOS-14.1): `fill [T] field with {{v}}`, `see [T] heading
+ * with text "x"`, `see the url matches "re"`, `do not see [T] dialog`, `see [T] checkbox is checked`…
+ * A check outside that vocabulary still renders (verbatim expression words) and normalizes to the
+ * `unknown` matcher — which the ladder never calls `match` unless the sentence is identical.
+ */
+import { TestDataIndex } from './data-normalize';
+import { isSensitiveTarget } from './field-semantic-redaction';
+import type { IntentStep } from './trace/trace-steps';
+export interface SentenceContext {
+    index: TestDataIndex;
+    /** Raw values typed into credential fields — scrubbed from everything written. */
+    secrets: Set<string>;
+}
+export declare function actionSentence(step: IntentStep, target: string, ctx: SentenceContext, sensitive: boolean): string;
+export declare function assertSentence(step: IntentStep, target: string): string;
+/** The value typed into a credential field is sensitive even when the field's name is not. */
+export declare const sensitiveStep: (step: IntentStep, facts: Parameters<typeof isSensitiveTarget>[0], name?: string) => boolean;
+//# sourceMappingURL=render-trace-sentence.d.ts.map

package/dist/contract/render-trace-sentence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-trace-sentence.d.ts","sourceRoot":"","sources":["../../src/contract/render-trace-sentence.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAsC,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACrF,OAAO,EAAE,iBAAiB,EAAY,MAAM,4BAA4B,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAEtD,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,aAAa,CAAC;IACrB,kFAAkF;IAClF,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACtB;AAuBD,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,GAAG,MAAM,CAoBjH;AAaD,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAsBvE;AAED,8FAA8F;AAC9F,eAAO,MAAM,aAAa,GAAI,MAAM,UAAU,EAAE,OAAO,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,MAAM,KAAG,OAC1B,CAAC"}

package/dist/contract/render-trace-sentence.js

@@ -0,0 +1,109 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sensitiveStep = void 0;
+exports.actionSentence = actionSentence;
+exports.assertSentence = assertSentence;
+/**
+ * One trace intent step → one sungen Gherkin sentence (without its keyword), in the documented
+ * forms the contract normalizer reads (DOS-14.1): `fill [T] field with {{v}}`, `see [T] heading
+ * with text "x"`, `see the url matches "re"`, `do not see [T] dialog`, `see [T] checkbox is checked`…
+ * A check outside that vocabulary still renders (verbatim expression words) and normalizes to the
+ * `unknown` matcher — which the ladder never calls `match` unless the sentence is identical.
+ */
+const data_normalize_1 = require("./data-normalize");
+const field_semantic_redaction_1 = require("./field-semantic-redaction");
+const str = (v) => (typeof v === 'string' ? v : v === undefined || v === null ? '' : String(v));
+const quote = (v) => `"${v.replace(/"/g, "'").replace(/\r?\n/g, '\\n')}"`;
+/** A value as the step writes it: a whole `{{ref}}` bare, anything else quoted. */
+function valueText(raw, ctx, sensitive) {
+    const ref = ctx.index.byValue.get(raw);
+    if (ref)
+        return `{{${ref}}}`;
+    if (sensitive) {
+        if (raw)
+            ctx.secrets.add(raw);
+        return field_semantic_redaction_1.REDACTED;
+    }
+    const v = (0, data_normalize_1.normalizeValue)(raw, ctx.index);
+    return /^\{\{[^}]+\}\}$/.test(v) ? v : quote(v);
+}
+function pathOf(url) {
+    try {
+        const u = new URL(url);
+        return /^https?:$/.test(u.protocol) ? `${u.pathname}${u.search}` : url;
+    }
+    catch {
+        return url;
+    }
+}
+function selectValues(params) {
+    const opts = Array.isArray(params.options) ? params.options : [];
+    return opts.map((o) => (o && typeof o === 'object' ? str(o.valueOrLabel ?? o.value ?? o.label ?? o.index) : str(o))).join(' | ');
+}
+function actionSentence(step, target, ctx, sensitive) {
+    const p = step.params;
+    switch (step.method) {
+        case 'goto': return `User is on [${pathOf((0, data_normalize_1.normalizeShownText)(str(p.url)))}] page`;
+        case 'fill': return `User fill ${target} with ${valueText(str(p.value), ctx, sensitive)}`;
+        case 'type': return `User fill ${target} with ${valueText(str(p.text), ctx, sensitive)}`;
+        case 'click':
+        case 'tap': return `User click ${target}`;
+        case 'dblclick': return `User double click ${target}`;
+        case 'check': return `User check ${target}`;
+        case 'uncheck': return `User uncheck ${target}`;
+        case 'hover': return `User hover ${target}`;
+        case 'selectOption': return `User select ${target} with ${valueText(selectValues(p), ctx, false)}`;
+        case 'press': return `User press ${quote(str(p.key))} on ${target}`;
+        case 'setInputFiles': {
+            const files = Array.isArray(p.payloads) ? p.payloads.map((x) => str(x?.name)) : Array.isArray(p.localPaths) ? p.localPaths.map((x) => str(x).split(/[\\/]/).pop() ?? '') : [];
+            return `User fill ${target.replace(/\] \S+/, '] uploader')} with ${quote(files.join(' | '))}`;
+        }
+        case 'keyboardPress': return `User press ${quote(str(p.key))} key`;
+        default: return `User type ${valueText(str(p.text), ctx, false)} on the keyboard`;
+    }
+}
+function expectedOf(p) {
+    const list = Array.isArray(p.expectedText) ? p.expectedText : [];
+    if (list.length && list.every((e) => typeof e?.regexSource === 'string'))
+        return { kind: 'regex', value: list.map((e) => str(e.regexSource)).join(' | ') };
+    if (list.length)
+        return { kind: 'text', value: list.map((e) => str(e.string ?? e.regexSource)).join(' | ') };
+    if (typeof p.expectedNumber === 'number')
+        return { kind: 'text', value: String(p.expectedNumber) };
+    return { kind: 'none', value: '' };
+}
+const STATES = { 'to.be.checked': 'checked', 'to.be.enabled': 'enabled', 'to.be.disabled': 'disabled', 'to.be.focused': 'focused', 'to.be.empty': 'empty', 'to.be.editable': 'editable', 'to.be.attached': 'attached' };
+function assertSentence(step, target) {
+    const p = step.params;
+    const expr = str(p.expression);
+    const not = p.isNot === true;
+    const e = expectedOf(p);
+    const shown = (v) => quote((0, data_normalize_1.normalizeShownText)(v));
+    if (expr === 'to.have.url' || expr === 'to.have.title') {
+        const subject = expr === 'to.have.url' ? 'url' : 'title';
+        return `User see the ${subject} ${e.kind === 'regex' ? (not ? 'does not match' : 'matches') : not ? 'is not' : 'is'} ${shown(e.value)}`;
+    }
+    if (expr === 'to.be.visible')
+        return not ? `User do not see ${target}` : `User see ${target}`;
+    if (expr === 'to.be.hidden')
+        return not ? `User see ${target}` : `User see ${target} is hidden`;
+    if (STATES[expr])
+        return `User see ${target} is ${not ? 'not ' : ''}${STATES[expr]}`;
+    if (expr === 'to.have.text' || expr === 'to.contain.text') {
+        if (e.kind === 'regex')
+            return `User see ${target} ${not ? 'does not match' : 'matches'} ${shown(e.value)}`;
+        if (expr === 'to.contain.text')
+            return `User see ${target} ${not ? 'does not contain' : 'contains'} ${shown(e.value)}`;
+        return `User see ${target} ${not ? 'does not have text' : 'with text'} ${shown(e.value)}`;
+    }
+    if (expr === 'to.have.value' || expr === 'to.have.values')
+        return `User see ${target} ${not ? 'does not have value' : 'has value'} ${shown(e.value)}`;
+    if (expr === 'to.have.count')
+        return `User see ${target} ${not ? 'does not have' : 'has'} ${shown(e.value)} items`;
+    const words = expr.replace(/^to\./, '').replace(/\./g, ' ').replace(/^have /, 'has ').replace(/^be /, 'is ');
+    return `User see ${target} ${not ? 'not ' : ''}${words}${e.kind === 'none' ? '' : ` ${shown(e.value)}`}`;
+}
+/** The value typed into a credential field is sensitive even when the field's name is not. */
+const sensitiveStep = (step, facts, name) => (step.method === 'fill' || step.method === 'type') && (0, field_semantic_redaction_1.isSensitiveTarget)(facts, name);
+exports.sensitiveStep = sensitiveStep;
+//# sourceMappingURL=render-trace-sentence.js.map

package/dist/contract/render-trace-sentence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-trace-sentence.js","sourceRoot":"","sources":["../../src/contract/render-trace-sentence.ts"],"names":[],"mappings":";;;AAsCA,wCAoBC;AAaD,wCAsBC;AA7FD;;;;;;GAMG;AACH,qDAAqF;AACrF,yEAAyE;AASzE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACjH,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC;AAE1F,mFAAmF;AACnF,SAAS,SAAS,CAAC,GAAW,EAAE,GAAoB,EAAE,SAAkB;IACtE,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,GAAG;QAAE,OAAO,KAAK,GAAG,IAAI,CAAC;IAC7B,IAAI,SAAS,EAAE,CAAC;QAAC,IAAI,GAAG;YAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAC,OAAO,mCAAQ,CAAC;IAAC,CAAC;IAClE,MAAM,CAAC,GAAG,IAAA,+BAAc,EAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,MAAM,CAAC,GAAW;IACzB,IAAI,CAAC;QAAC,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QAAC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,GAAG,CAAC;IAAC,CAAC;AAC/H,CAAC;AAED,SAAS,YAAY,CAAC,MAA+B;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAE,CAA6B,CAAC,YAAY,IAAK,CAA6B,CAAC,KAAK,IAAK,CAA6B,CAAC,KAAK,IAAK,CAA6B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACvP,CAAC;AAED,SAAgB,cAAc,CAAC,IAAgB,EAAE,MAAc,EAAE,GAAoB,EAAE,SAAkB;IACvG,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,MAAM,CAAC,CAAC,OAAO,eAAe,MAAM,CAAC,IAAA,mCAAkB,EAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;QAClF,KAAK,MAAM,CAAC,CAAC,OAAO,aAAa,MAAM,SAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,CAAC;QAC1F,KAAK,MAAM,CAAC,CAAC,OAAO,aAAa,MAAM,SAAS,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,CAAC;QACzF,KAAK,OAAO,CAAC;QAAC,KAAK,KAAK,CAAC,CAAC,OAAO,cAAc,MAAM,EAAE,CAAC;QACxD,KAAK,UAAU,CAAC,CAAC,OAAO,qBAAqB,MAAM,EAAE,CAAC;QACtD,KAAK,OAAO,CAAC,CAAC,OAAO,cAAc,MAAM,EAAE,CAAC;QAC5C,KAAK,SAAS,CAAC,CAAC,OAAO,gBAAgB,MAAM,EAAE,CAAC;QAChD,KAAK,OAAO,CAAC,CAAC,OAAO,cAAc,MAAM,EAAE,CAAC;QAC5C,KAAK,cAAc,CAAC,CAAC,OAAO,eAAe,MAAM,SAAS,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;QACnG,KAAK,OAAO,CAAC,CAAC,OAAO,cAAc,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,MAAM,EAAE,CAAC;QACpE,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAE,CAA6B,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3M,OAAO,aAAa,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAChG,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,OAAO,cAAc,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;QACnE,OAAO,CAAC,CAAC,OAAO,aAAa,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,kBAAkB,CAAC;IACpF,CAAC;AACH,CAAC;AAGD,SAAS,UAAU,CAAC,CAA0B;IAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,YAA+C,CAAC,CAAC,CAAC,EAAE,CAAC;IACrG,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,WAAW,KAAK,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAC3J,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAC7G,IAAI,OAAO,CAAC,CAAC,cAAc,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC;IACnG,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AACrC,CAAC;AAED,MAAM,MAAM,GAA2B,EAAE,eAAe,EAAE,SAAS,EAAE,eAAe,EAAE,SAAS,EAAE,gBAAgB,EAAE,UAAU,EAAE,eAAe,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,CAAC;AAEhP,SAAgB,cAAc,CAAC,IAAgB,EAAE,MAAc;IAC7D,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;IAC7B,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,KAAK,CAAC,IAAA,mCAAkB,EAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,eAAe,EAAE,CAAC;QACvD,MAAM,OAAO,GAAG,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;QACzD,OAAO,gBAAgB,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1I,CAAC;IACD,IAAI,IAAI,KAAK,eAAe;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,mBAAmB,MAAM,EAAE,CAAC,CAAC,CAAC,YAAY,MAAM,EAAE,CAAC;IAC9F,IAAI,IAAI,KAAK,cAAc;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,YAAY,MAAM,EAAE,CAAC,CAAC,CAAC,YAAY,MAAM,YAAY,CAAC;IAChG,IAAI,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,YAAY,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IACrF,IAAI,IAAI,KAAK,cAAc,IAAI,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC1D,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,YAAY,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5G,IAAI,IAAI,KAAK,iBAAiB;YAAE,OAAO,YAAY,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACvH,OAAO,YAAY,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IAC5F,CAAC;IACD,IAAI,IAAI,KAAK,eAAe,IAAI,IAAI,KAAK,gBAAgB;QAAE,OAAO,YAAY,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,WAAW,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IACtJ,IAAI,IAAI,KAAK,eAAe;QAAE,OAAO,YAAY,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;IACnH,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC7G,OAAO,YAAY,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;AAC3G,CAAC;AAED,8FAA8F;AACvF,MAAM,aAAa,GAAG,CAAC,IAAgB,EAAE,KAA8C,EAAE,IAAa,EAAW,EAAE,CACxH,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,IAAA,4CAAiB,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAD1E,QAAA,aAAa,iBAC6D"}

package/dist/contract/render-trace-target.d.ts

@@ -0,0 +1,14 @@
+import type { TargetFacts, TargetIdentity } from './trace/target-identity';
+export declare function safeRefText(text: string): string;
+export declare const elementType: (role: string) => string;
+/** The text a locator itself pins (`internal:text="Hi"`, `internal:label="Email"i`, a test id), if any. */
+export declare function refFromSelector(selector: string | undefined): string;
+export interface RenderedTarget {
+    text: string;
+    low?: string;
+}
+/** `[Name] type in [Scope] container`, and why it is low when it is. */
+export declare function renderTarget(identity: TargetIdentity | undefined, facts: TargetFacts | undefined, selector: string | undefined): RenderedTarget;
+/** Two identities name the same element (used to drop a focus click before a fill). */
+export declare const sameTarget: (a: TargetIdentity | undefined, b: TargetIdentity | undefined) => boolean;
+//# sourceMappingURL=render-trace-target.d.ts.map

package/dist/contract/render-trace-target.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-trace-target.d.ts","sourceRoot":"","sources":["../../src/contract/render-trace-target.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAkB3E,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGhD;AAED,eAAO,MAAM,WAAW,GAAI,MAAM,MAAM,KAAG,MAAiC,CAAC;AAE7E,2GAA2G;AAC3G,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAUpE;AAED,MAAM,WAAW,cAAc;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE;AAE9D,wEAAwE;AACxE,wBAAgB,YAAY,CAAC,QAAQ,EAAE,cAAc,GAAG,SAAS,EAAE,KAAK,EAAE,WAAW,GAAG,SAAS,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,cAAc,CAW/I;AAED,uFAAuF;AACvF,eAAO,MAAM,UAAU,GAAI,GAAG,cAAc,GAAG,SAAS,EAAE,GAAG,cAAc,GAAG,SAAS,KAAG,OACmC,CAAC"}

package/dist/contract/render-trace-target.js

@@ -0,0 +1,70 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sameTarget = exports.elementType = void 0;
+exports.safeRefText = safeRefText;
+exports.refFromSelector = refFromSelector;
+exports.renderTarget = renderTarget;
+/**
+ * How a trace target reads in Gherkin: `[<accessible name>] <element type>` plus an optional
+ * `in [<scope name>] <container>` (DOS-14.5, G3). The words are the documented sungen forms, so a
+ * derived `.free.feature` normalizes back to exactly the contract steps the trace produced.
+ *
+ *   name       the accessible name, dynamic parts normalized, private-use glyphs (icon fonts, R4)
+ *              stripped, brackets and quotes made safe for the bracket grammar
+ *   fallback   no usable name (a `getByText` on a <p>, a missing target): the text the test
+ *              itself located by, else the element's text, else the role — always `low` (R3)
+ */
+const data_normalize_1 = require("./data-normalize");
+const TYPE_OF = {
+    button: 'button', link: 'link', textbox: 'field', searchbox: 'search', combobox: 'dropdown', listbox: 'dropdown',
+    checkbox: 'checkbox', radio: 'radio', switch: 'toggle', heading: 'heading', spinbutton: 'field', slider: 'slider',
+    tab: 'tab', img: 'image', dialog: 'dialog', alertdialog: 'dialog', alert: 'alert', row: 'row', cell: 'text',
+    listitem: 'item', option: 'option', menuitem: 'menu-item', status: 'message', table: 'table', list: 'list',
+    navigation: 'region', region: 'region', form: 'form', article: 'card', progressbar: 'progressbar', tooltip: 'tooltip',
+};
+const CONTAINER_OF = {
+    row: 'row', listitem: 'list-item', list: 'list', table: 'table', grid: 'table', treegrid: 'table', dialog: 'dialog',
+    alertdialog: 'dialog', form: 'form', group: 'group', radiogroup: 'group', article: 'card', tabpanel: 'panel',
+    menu: 'menu', menubar: 'menu',
+};
+/** Private-use code points (icon-font glyphs) are part of the identity but not of what a reader sees. */
+const PRIVATE_USE = /[-]/g;
+function safeRefText(text) {
+    return (0, data_normalize_1.normalizeShownText)(text.replace(PRIVATE_USE, '').replace(/\s+/g, ' ').trim())
+        .replace(/\[/g, '(').replace(/\]/g, ')').replace(/"/g, "'");
+}
+const elementType = (role) => TYPE_OF[role] ?? 'text';
+exports.elementType = elementType;
+/** The text a locator itself pins (`internal:text="Hi"`, `internal:label="Email"i`, a test id), if any. */
+function refFromSelector(selector) {
+    if (!selector)
+        return '';
+    const tail = selector.split(' >> ').filter((p) => !/^(nth=|visible=|internal:control=enter-frame)/.test(p)).pop() ?? '';
+    const quoted = /^internal:(?:text|label|has-text)="((?:[^"\\]|\\.)*)"[is]?$/.exec(tail);
+    if (quoted)
+        return quoted[1].replace(/\\"/g, '"');
+    const attr = /^internal:(?:testid|attr)=\[[\w-]+="((?:[^"\\]|\\.)*)"[is]?\]$/.exec(tail);
+    if (attr)
+        return attr[1];
+    const role = /^internal:role=([a-z]+)(?:\[name="((?:[^"\\]|\\.)*)"[is]?\])?/.exec(tail);
+    if (role)
+        return role[2] ?? role[1];
+    return tail.replace(/^css=/, '');
+}
+/** `[Name] type in [Scope] container`, and why it is low when it is. */
+function renderTarget(identity, facts, selector) {
+    const role = identity?.role ?? 'generic';
+    let name = safeRefText(identity?.name ?? '');
+    let low = identity?.identityConfidence === 'high' ? undefined : (identity?.reasons.join(', ') || 'no target identity');
+    if (!name) {
+        name = safeRefText(refFromSelector(selector) || facts?.text?.slice(0, 60) || role);
+        low = low ?? 'no accessible name';
+    }
+    const scope = identity?.scope && identity.identityConfidence === 'high'
+        ? ` in [${safeRefText(identity.scope.name)}] ${CONTAINER_OF[identity.scope.role] ?? 'region'}` : '';
+    return { text: `[${name}] ${(0, exports.elementType)(role)}${scope}`, ...(low ? { low } : {}) };
+}
+/** Two identities name the same element (used to drop a focus click before a fill). */
+const sameTarget = (a, b) => !!a && !!b && a.role === b.role && a.name === b.name && JSON.stringify(a.scope ?? null) === JSON.stringify(b.scope ?? null);
+exports.sameTarget = sameTarget;
+//# sourceMappingURL=render-trace-target.js.map

package/dist/contract/render-trace-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-trace-target.js","sourceRoot":"","sources":["../../src/contract/render-trace-target.ts"],"names":[],"mappings":";;;AA6BA,kCAGC;AAKD,0CAUC;AAKD,oCAWC;AA/DD;;;;;;;;;GASG;AACH,qDAAsD;AAGtD,MAAM,OAAO,GAA2B;IACtC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU;IAChH,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ;IACjH,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM;IAC3G,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM;IAC1G,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS;CACtH,CAAC;AACF,MAAM,YAAY,GAA2B;IAC3C,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ;IACnH,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO;IAC5G,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAC9B,CAAC;AAEF,yGAAyG;AACzG,MAAM,WAAW,GAAG,QAAQ,CAAC;AAE7B,SAAgB,WAAW,CAAC,IAAY;IACtC,OAAO,IAAA,mCAAkB,EAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;SACjF,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAChE,CAAC;AAEM,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;AAAhE,QAAA,WAAW,eAAqD;AAE7E,2GAA2G;AAC3G,SAAgB,eAAe,CAAC,QAA4B;IAC1D,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,+CAA+C,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IACxH,MAAM,MAAM,GAAG,6DAA6D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,gEAAgE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzF,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,+DAA+D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACnC,CAAC;AAID,wEAAwE;AACxE,SAAgB,YAAY,CAAC,QAAoC,EAAE,KAA8B,EAAE,QAA4B;IAC7H,MAAM,IAAI,GAAG,QAAQ,EAAE,IAAI,IAAI,SAAS,CAAC;IACzC,IAAI,IAAI,GAAG,WAAW,CAAC,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;IAC7C,IAAI,GAAG,GAAG,QAAQ,EAAE,kBAAkB,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,CAAC;IACvH,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,GAAG,WAAW,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC;QACnF,GAAG,GAAG,GAAG,IAAI,oBAAoB,CAAC;IACpC,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,EAAE,KAAK,IAAI,QAAQ,CAAC,kBAAkB,KAAK,MAAM;QACrE,CAAC,CAAC,QAAQ,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtG,OAAO,EAAE,IAAI,EAAE,IAAI,IAAI,KAAK,IAAA,mBAAW,EAAC,IAAI,CAAC,GAAG,KAAK,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACrF,CAAC;AAED,uFAAuF;AAChF,MAAM,UAAU,GAAG,CAAC,CAA6B,EAAE,CAA6B,EAAW,EAAE,CAClG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;AADjH,QAAA,UAAU,cACuG"}

package/dist/contract/resolve-unit-trace-identities.d.ts

@@ -0,0 +1,8 @@
+import type { TraceIdentityResolver } from './trace/target-identity';
+/** The first registered capability that can resolve trace identities (UI: driver-ui), if any. */
+export declare function registeredTraceResolver(): TraceIdentityResolver | undefined;
+export declare function resolveUnitTraceIdentities(projectRoot: string, unit: {
+    name: string;
+    dir: string;
+}, resolver?: TraceIdentityResolver): Promise<string[]>;
+//# sourceMappingURL=resolve-unit-trace-identities.d.ts.map

package/dist/contract/resolve-unit-trace-identities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-unit-trace-identities.d.ts","sourceRoot":"","sources":["../../src/contract/resolve-unit-trace-identities.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAKrE,iGAAiG;AACjG,wBAAgB,uBAAuB,IAAI,qBAAqB,GAAG,SAAS,CAE3E;AAED,wBAAsB,0BAA0B,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EAAE,QAAQ,wBAA4B,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAWlK"}

package/dist/contract/resolve-unit-trace-identities.js

@@ -0,0 +1,78 @@
+"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.registeredTraceResolver = registeredTraceResolver;
+exports.resolveUnitTraceIdentities = resolveUnitTraceIdentities;
+/**
+ * `contract check --trace`: before the verdict is built, ask the registered `traceIdentity`
+ * resolver (driver-ui — a real browser) about every target of the unit's admissible traces and
+ * cache the answers (DOS-14.5). The verdict itself never calls a browser; it reads the cache, so
+ * the CLI and the Claude Code guard keep building the same verdict from the same files.
+ */
+const fs = __importStar(require("fs"));
+const registry_1 = require("../capabilities/registry");
+const capability_1 = require("../harness/capability");
+const build_trace_conformance_1 = require("./build-trace-conformance");
+const contracts_lock_file_1 = require("./contracts-lock-file");
+const normalize_feature_steps_1 = require("./normalize-feature-steps");
+const collect_trace_evidence_1 = require("./trace/collect-trace-evidence");
+const trace_identity_resolution_1 = require("./trace/trace-identity-resolution");
+const mtimeMs = (f) => { try {
+    return fs.statSync(f).mtimeMs;
+}
+catch {
+    return 0;
+} };
+/** The first registered capability that can resolve trace identities (UI: driver-ui), if any. */
+function registeredTraceResolver() {
+    return registry_1.capabilityRegistry.all().find((c) => typeof c.traceIdentity === 'function')?.traceIdentity;
+}
+async function resolveUnitTraceIdentities(projectRoot, unit, resolver = registeredTraceResolver()) {
+    const traced = (0, normalize_feature_steps_1.loadContractScenarios)(unit.dir, unit.name).filter((s) => s.implementation !== 'compiled');
+    if (!traced.length)
+        return [];
+    if (((0, capability_1.readCapabilities)(projectRoot).platform ?? '').toLowerCase() === 'mobile')
+        return [build_trace_conformance_1.MOBILE_NOT_SUPPORTED];
+    if (!resolver)
+        return ['no trace identity resolver is registered (install @sungen/driver-ui) — every target identity stays low, so nothing can match'];
+    const notBefore = Math.max(mtimeMs((0, contracts_lock_file_1.lockPathFor)(unit.dir)), ...(0, normalize_feature_steps_1.contractFeatureFiles)(unit.dir, unit.name).map(mtimeMs));
+    const evidence = (0, collect_trace_evidence_1.collectScenarioEvidence)(projectRoot, new Set(traced.map((s) => s.id)), notBefore);
+    const traces = [...evidence.runs.values()].flat().filter((r) => r.status === 'admissible' && r.trace).map((r) => r.trace);
+    if (!traces.length)
+        return [];
+    const r = await (0, trace_identity_resolution_1.resolveWithDriver)(projectRoot, traces, resolver);
+    return [`trace identity: ${r.asked} target(s) resolved by ${r.resolver || 'the cache'}${r.blockedRequests ? `, ${r.blockedRequests} replay request(s) blocked` : ''}`];
+}
+//# sourceMappingURL=resolve-unit-trace-identities.js.map

package/dist/contract/resolve-unit-trace-identities.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-unit-trace-identities.js","sourceRoot":"","sources":["../../src/contract/resolve-unit-trace-identities.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmBA,0DAEC;AAED,gEAWC;AAlCD;;;;;GAKG;AACH,uCAAyB;AACzB,uDAA8D;AAC9D,sDAAyD;AACzD,uEAAiE;AACjE,+DAAoD;AACpD,uEAAwF;AACxF,2EAAyE;AAEzE,iFAAsE;AAEtE,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,GAAG,IAAI,CAAC;IAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAAC,CAAC;AAAC,MAAM,CAAC;IAAC,OAAO,CAAC,CAAC;AAAC,CAAC,CAAC,CAAC,CAAC;AAEtG,iGAAiG;AACjG,SAAgB,uBAAuB;IACrC,OAAO,6BAAkB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,aAAa,KAAK,UAAU,CAAC,EAAE,aAAa,CAAC;AACpG,CAAC;AAEM,KAAK,UAAU,0BAA0B,CAAC,WAAmB,EAAE,IAAmC,EAAE,QAAQ,GAAG,uBAAuB,EAAE;IAC7I,MAAM,MAAM,GAAG,IAAA,+CAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,UAAU,CAAC,CAAC;IACzG,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC9B,IAAI,CAAC,IAAA,6BAAgB,EAAC,WAAW,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,QAAQ;QAAE,OAAO,CAAC,8CAAoB,CAAC,CAAC;IAC7G,IAAI,CAAC,QAAQ;QAAE,OAAO,CAAC,8HAA8H,CAAC,CAAC;IACvJ,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAA,iCAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,IAAA,8CAAoB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACtH,MAAM,QAAQ,GAAG,IAAA,gDAAuB,EAAC,WAAW,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IACnG,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAM,CAAC,CAAC;IAC3H,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC9B,MAAM,CAAC,GAAG,MAAM,IAAA,6CAAiB,EAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjE,OAAO,CAAC,mBAAmB,CAAC,CAAC,KAAK,0BAA0B,CAAC,CAAC,QAAQ,IAAI,WAAW,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,eAAe,4BAA4B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACzK,CAAC"}

package/dist/contract/trace/collect-trace-evidence.d.ts

@@ -0,0 +1,33 @@
+import { ParsedTrace } from './trace-file-reader';
+import { ReportResult, ReportTest } from './select-final-attempt';
+import { RunRecord } from './trace-run-record';
+export type RunStatus = 'admissible' | 'inconclusive' | 'unproven' | 'refused' | 'unsupported';
+export interface TraceRun {
+    scenarioId: string;
+    status: RunStatus;
+    reason?: string;
+    test?: ReportTest;
+    result?: ReportResult;
+    record?: RunRecord;
+    trace?: ParsedTrace;
+    /** Project-relative test file (from the run record), once bound. */
+    specFile?: string;
+}
+export interface ScenarioEvidence {
+    runs: Map<string, TraceRun[]>;
+    problems: string[];
+    inputs: string[];
+}
+/** The reason a run is not judged once the verdict's deadline has passed (fail closed). */
+export declare const OVER_BUDGET = "verdict budget exceeded; run `sungen contract check`";
+/** The real path of `file` when it is a regular file INSIDE the project (symlinks resolved); else null. */
+export declare function insideProject(projectRoot: string, file: string): string | null;
+/** Every judged run of the tests `want` accepts (derive: a unit's tests; check: by scenario id). */
+export declare function collectRuns(projectRoot: string, want: (id: string, test: ReportTest) => boolean, notBefore: number, deadline?: number): {
+    runs: TraceRun[];
+    problems: string[];
+    inputs: string[];
+    records: number;
+};
+export declare function collectScenarioEvidence(projectRoot: string, ids: ReadonlySet<string>, notBefore: number, deadline?: number): ScenarioEvidence;
+//# sourceMappingURL=collect-trace-evidence.d.ts.map

package/dist/contract/trace/collect-trace-evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect-trace-evidence.d.ts","sourceRoot":"","sources":["../../../src/contract/trace/collect-trace-evidence.ts"],"names":[],"mappings":"AAeA,OAAO,EAAiB,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEjE,OAAO,EAAsC,YAAY,EAAE,UAAU,EAAoB,MAAM,wBAAwB,CAAC;AACxH,OAAO,EAAiC,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE9E,MAAM,MAAM,SAAS,GAAG,YAAY,GAAG,cAAc,GAAG,UAAU,GAAG,SAAS,GAAG,aAAa,CAAC;AAC/F,MAAM,WAAW,QAAQ;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,MAAM,CAAC,EAAE,SAAS,CAAC;IACnB,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,oEAAoE;IACpE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AACD,MAAM,WAAW,gBAAgB;IAAG,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE;AAEzG,2FAA2F;AAC3F,eAAO,MAAM,WAAW,yDAAyD,CAAC;AAGlF,2GAA2G;AAC3G,wBAAgB,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAM9E;AA6BD,oGAAoG;AACpG,wBAAgB,WAAW,CACzB,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,KAAK,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,SAA2B,GAC3H;IAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAsB7E;AAED,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAO7I"}