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

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

package/dist/contract/trace/collect-trace-evidence.js

@@ -0,0 +1,161 @@
+"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.OVER_BUDGET = void 0;
+exports.insideProject = insideProject;
+exports.collectRuns = collectRuns;
+exports.collectScenarioEvidence = collectScenarioEvidence;
+/**
+ * Which recorded traces speak for which scenario (DOS-14.6): run records → their JSON reports →
+ * each test's final attempt → its trace (zip limits + version gate) → the binding checks.
+ *
+ *   admissible     final attempt passed, trace read, every binding link holds
+ *   inconclusive   final attempt did not pass                                  (warning)
+ *   unproven       no run record, no test, no trace                            (hard for free / impl:code)
+ *   refused        the trace exists but may not speak (swapped, stale, rejected zip…)
+ *   unsupported    the trace's format version is unknown                       (exit ≠ 0)
+ *
+ * Only traces of the scenario ids asked for are opened, so a unit pays for its own tests only.
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const trace_binding_1 = require("./trace-binding");
+const trace_file_reader_1 = require("./trace-file-reader");
+const trace_zip_limits_1 = require("./trace-zip-limits");
+const select_final_attempt_1 = require("./select-final-attempt");
+const trace_run_record_1 = require("./trace-run-record");
+/** The reason a run is not judged once the verdict's deadline has passed (fail closed). */
+exports.OVER_BUDGET = 'verdict budget exceeded; run `sungen contract check`';
+const NO_RECORD = "no sungen run record under test-results/ — run the free tests with trace: 'on' and the sungen run-record reporter";
+/** The real path of `file` when it is a regular file INSIDE the project (symlinks resolved); else null. */
+function insideProject(projectRoot, file) {
+    try {
+        const root = fs.realpathSync(projectRoot);
+        const real = fs.realpathSync(file);
+        return real.startsWith(root + path.sep) && fs.statSync(real).isFile() ? real : null;
+    }
+    catch {
+        return null;
+    }
+}
+function resolveAttachment(projectRoot, report, p) {
+    for (const cand of path.isAbsolute(p) ? [p] : [path.resolve(projectRoot, p), path.resolve(path.dirname(report), p)]) {
+        if (!fs.existsSync(cand))
+            continue;
+        const real = insideProject(projectRoot, cand);
+        return real ? { file: real } : { outside: true };
+    }
+    return {};
+}
+function judge(projectRoot, record, test, notBefore) {
+    const scenarioId = (0, select_final_attempt_1.scenarioIdOfTest)(test.title, test.tags);
+    const base = { scenarioId, test, record };
+    const fin = (0, select_final_attempt_1.finalAttempt)(test);
+    if (fin.admissibility !== 'admissible')
+        return { ...base, result: fin.result, status: fin.admissibility, reason: fin.reason };
+    const { file, outside } = resolveAttachment(projectRoot, test.report, fin.result.tracePath);
+    if (outside)
+        return { ...base, result: fin.result, status: 'unproven', reason: `the trace ${path.basename(fin.result.tracePath)} is outside the project (or not a file) — not read` };
+    if (!file)
+        return { ...base, result: fin.result, status: 'unproven', reason: `no trace at ${fin.result.tracePath} (the report points at a missing file)` };
+    let trace;
+    try {
+        trace = (0, trace_file_reader_1.readTraceFile)(file);
+    }
+    catch (e) {
+        const unsupported = e instanceof trace_zip_limits_1.TraceRejected && e.code === 'trace.version-unsupported';
+        return { ...base, result: fin.result, status: unsupported ? 'unsupported' : 'refused', reason: `trace refused: ${e.message}` };
+    }
+    const bound = (0, trace_binding_1.bindTrace)({ projectRoot, test, result: fin.result, record, trace, notBefore });
+    if (bound.ok === false)
+        return { ...base, result: fin.result, trace, status: 'refused', reason: `trace refused: ${bound.reason}` };
+    return { ...base, result: fin.result, trace, status: 'admissible', specFile: bound.specFile };
+}
+/** Every judged run of the tests `want` accepts (derive: a unit's tests; check: by scenario id). */
+function collectRuns(projectRoot, want, notBefore, deadline = Number.POSITIVE_INFINITY) {
+    const runs = [];
+    const problems = [];
+    const inputs = [];
+    const records = (0, trace_run_record_1.findRunRecords)(projectRoot);
+    for (const file of records) {
+        let record;
+        if (!insideProject(projectRoot, file)) {
+            problems.push(`${path.basename(file)} is outside the project (a symlink?) — not read`);
+            continue;
+        }
+        try {
+            record = (0, trace_run_record_1.readRunRecord)(file);
+        }
+        catch (e) {
+            problems.push(`${path.basename(file)} is not trusted: ${e.message}`);
+            continue;
+        }
+        if (!record.report) {
+            problems.push(`${path.basename(file)} names no JSON report — add the json reporter to the free-test config`);
+            continue;
+        }
+        const reportFile = insideProject(projectRoot, path.resolve(projectRoot, record.report));
+        if (!reportFile) {
+            problems.push(`${path.basename(file)}: the report ${path.basename(record.report)} is missing or outside the project — not read`);
+            continue;
+        }
+        let tests;
+        try {
+            tests = (0, select_final_attempt_1.readPlaywrightReport)(reportFile);
+        }
+        catch (e) {
+            problems.push(e.message);
+            continue;
+        }
+        inputs.push(`${record.runId}:${record.report}`);
+        for (const test of tests) {
+            const id = (0, select_final_attempt_1.scenarioIdOfTest)(test.title, test.tags);
+            if (!want(id, test))
+                continue;
+            runs.push(Date.now() > deadline ? { scenarioId: id, test, record, status: 'unproven', reason: exports.OVER_BUDGET } : judge(projectRoot, record, test, notBefore));
+        }
+    }
+    return { runs, problems, inputs, records: records.length };
+}
+function collectScenarioEvidence(projectRoot, ids, notBefore, deadline) {
+    const found = collectRuns(projectRoot, (id) => ids.has(id), notBefore, deadline);
+    const runs = new Map([...ids].map((id) => [id, found.runs.filter((r) => r.scenarioId === id)]));
+    for (const [id, list] of runs) {
+        if (!list.length)
+            list.push({ scenarioId: id, status: 'unproven', reason: found.records ? `no test for ${id} in the recorded run(s)` : NO_RECORD });
+    }
+    return { runs, problems: found.problems, inputs: found.inputs };
+}
+//# sourceMappingURL=collect-trace-evidence.js.map

package/dist/contract/trace/collect-trace-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect-trace-evidence.js","sourceRoot":"","sources":["../../../src/contract/trace/collect-trace-evidence.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCA,sCAMC;AA8BD,kCAwBC;AAED,0DAOC;AA5GD;;;;;;;;;;;GAWG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,mDAA4C;AAC5C,2DAAiE;AACjE,yDAAmD;AACnD,iEAAwH;AACxH,yDAA8E;AAgB9E,2FAA2F;AAC9E,QAAA,WAAW,GAAG,sDAAsD,CAAC;AAClF,MAAM,SAAS,GAAG,mHAAmH,CAAC;AAEtI,2GAA2G;AAC3G,SAAgB,aAAa,CAAC,WAAmB,EAAE,IAAY;IAC7D,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC1B,CAAC;AAED,SAAS,iBAAiB,CAAC,WAAmB,EAAE,MAAc,EAAE,CAAS;IACvE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpH,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QACnC,MAAM,IAAI,GAAG,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC9C,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACnD,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,KAAK,CAAC,WAAmB,EAAE,MAAiB,EAAE,IAAgB,EAAE,SAAiB;IACxF,MAAM,UAAU,GAAG,IAAA,uCAAgB,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAA,mCAAY,EAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,GAAG,CAAC,aAAa,KAAK,YAAY;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;IAC9H,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,iBAAiB,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,MAAO,CAAC,SAAU,CAAC,CAAC;IAC9F,IAAI,OAAO;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAO,CAAC,SAAU,CAAC,oDAAoD,EAAE,CAAC;IACxL,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,eAAe,GAAG,CAAC,MAAO,CAAC,SAAS,wCAAwC,EAAE,CAAC;IAC5J,IAAI,KAAkB,CAAC;IACvB,IAAI,CAAC;QAAC,KAAK,GAAG,IAAA,iCAAa,EAAC,IAAI,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,MAAM,WAAW,GAAG,CAAC,YAAY,gCAAa,IAAI,CAAC,CAAC,IAAI,KAAK,2BAA2B,CAAC;QACzF,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,kBAAmB,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC;IAC5I,CAAC;IACD,MAAM,KAAK,GAAG,IAAA,yBAAS,EAAC,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IAC9F,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;IACnI,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;AAChG,CAAC;AAED,oGAAoG;AACpG,SAAgB,WAAW,CACzB,WAAmB,EAAE,IAA+C,EAAE,SAAiB,EAAE,QAAQ,GAAG,MAAM,CAAC,iBAAiB;IAE5H,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAA,iCAAc,EAAC,WAAW,CAAC,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,MAAiB,CAAC;QACtB,IAAI,CAAC,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC5I,IAAI,CAAC;YAAC,MAAM,GAAG,IAAA,gCAAa,EAAC,IAAI,CAAC,CAAC;QAAC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,oBAAqB,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9I,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,uEAAuE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC/I,MAAM,UAAU,GAAG,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACxF,IAAI,CAAC,UAAU,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,+CAA+C,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAChK,IAAI,KAAmB,CAAC;QACxB,IAAI,CAAC;YAAC,KAAK,GAAG,IAAA,2CAAoB,EAAC,UAAU,CAAC,CAAC;QAAC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YAAC,QAAQ,CAAC,IAAI,CAAE,CAAW,CAAC,OAAO,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC9G,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,IAAA,uCAAgB,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC;gBAAE,SAAS;YAC9B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,mBAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QAC7J,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AAC7D,CAAC;AAED,SAAgB,uBAAuB,CAAC,WAAmB,EAAE,GAAwB,EAAE,SAAiB,EAAE,QAAiB;IACzH,MAAM,KAAK,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAqB,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACpH,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,EAAE,yBAAyB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;IACtJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AAClE,CAAC"}

package/dist/contract/trace/identity-cache.d.ts

@@ -0,0 +1,19 @@
+import { TraceIdentityResult } from './target-identity';
+export declare const IDENTITY_CACHE_SCHEMA = 1;
+/** A driver answer plus the browser build that gave it. */
+export type CachedIdentity = Omit<TraceIdentityResult, 'key'> & {
+    browser: string;
+};
+export interface IdentityCache {
+    resolver: string;
+    entries: Map<string, CachedIdentity>;
+}
+export declare const identityCachePath: (projectRoot: string) => string;
+/** The cache, or an empty one with a reason when there is nothing trustworthy to read. */
+export declare function readIdentityCache(projectRoot: string): {
+    cache: IdentityCache;
+    problem?: string;
+};
+/** Write the cache with exactly `entries` (callers merge; answers are keyed by the HTML they judged). */
+export declare function writeIdentityCache(projectRoot: string, resolver: string, entries: Map<string, CachedIdentity>): string;
+//# sourceMappingURL=identity-cache.d.ts.map

package/dist/contract/trace/identity-cache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity-cache.d.ts","sourceRoot":"","sources":["../../../src/contract/trace/identity-cache.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAyC,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE/F,eAAO,MAAM,qBAAqB,IAAI,CAAC;AACvC,2DAA2D;AAC3D,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,mBAAmB,EAAE,KAAK,CAAC,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AACpF,MAAM,WAAW,aAAa;IAAG,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE;AAKzF,eAAO,MAAM,iBAAiB,GAAI,aAAa,MAAM,KAAG,MAAgF,CAAC;AAEzI,0FAA0F;AAC1F,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG;IAAE,KAAK,EAAE,aAAa,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAqBjG;AAED,yGAAyG;AACzG,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,GAAG,MAAM,CAMtH"}

package/dist/contract/trace/identity-cache.js

@@ -0,0 +1,104 @@
+"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.identityCachePath = exports.IDENTITY_CACHE_SCHEMA = void 0;
+exports.readIdentityCache = readIdentityCache;
+exports.writeIdentityCache = writeIdentityCache;
+/**
+ * The driver's identity answers, memoized per replayed snapshot: `.sungen/trace-identity/identities.json`.
+ *
+ * Core cannot run a browser, but the contract verdict (and the Claude Code guard that rebuilds it)
+ * must be a synchronous function of what is on disk. So `sungen contract check --trace` /
+ * `contract derive` ask `@sungen/driver-ui` once and keep each answer under the sha256 of the EXACT
+ * HTML it judged (target marker included). On read:
+ *
+ *   - a malformed file, an unknown key, an entry that is not well-formed → the whole file is ignored
+ *   - an entry is only ever looked up by the hash of HTML core rendered itself from the trace, so a
+ *     changed snapshot can never inherit an old answer
+ *   - anything not found → core's heuristic, which is `low`, which is never `match`
+ *
+ * This file is derived data, like `.sungen/reports`: deleting it costs a re-resolve, never a pass.
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const target_identity_1 = require("./target-identity");
+exports.IDENTITY_CACHE_SCHEMA = 1;
+const FILE_KEYS = new Set(['schema', 'resolver', 'entries']);
+const SHA256 = /^[0-9a-f]{64}$/;
+const identityCachePath = (projectRoot) => path.join(projectRoot, '.sungen', 'trace-identity', 'identities.json');
+exports.identityCachePath = identityCachePath;
+/** The cache, or an empty one with a reason when there is nothing trustworthy to read. */
+function readIdentityCache(projectRoot) {
+    const empty = { resolver: '', entries: new Map() };
+    const file = (0, exports.identityCachePath)(projectRoot);
+    if (!fs.existsSync(file))
+        return { cache: empty };
+    let raw;
+    try {
+        raw = JSON.parse(fs.readFileSync(file, 'utf8'));
+    }
+    catch {
+        return { cache: empty, problem: `${path.basename(file)} is not JSON — ignored` };
+    }
+    const bad = (why) => ({ cache: empty, problem: `${path.basename(file)} ${why} — ignored` });
+    if (!raw || typeof raw !== 'object' || Array.isArray(raw))
+        return bad('is not an object');
+    const doc = raw;
+    if (Object.keys(doc).some((k) => !FILE_KEYS.has(k)))
+        return bad('has an unknown key');
+    if (doc.schema !== exports.IDENTITY_CACHE_SCHEMA || typeof doc.resolver !== 'string' || !doc.entries || typeof doc.entries !== 'object')
+        return bad('is not schema 1');
+    if (!target_identity_1.TRUSTED_RESOLVER.test(doc.resolver))
+        return bad(`was not written by the driver-ui resolver ("${doc.resolver.slice(0, 40)}")`);
+    const entries = new Map();
+    for (const [sha, value] of Object.entries(doc.entries)) {
+        const { browser, ...answer } = (value && typeof value === 'object' ? value : {});
+        const ok = SHA256.test(sha) && typeof browser === 'string' && browser.length > 0 && browser.length <= 100 ? (0, target_identity_1.validIdentityResult)({ ...answer, key: sha }) : null;
+        if (!ok)
+            return bad(`has a malformed entry (${sha.slice(0, 12)})`);
+        const { key: _key, ...rest } = ok;
+        entries.set(sha, { ...rest, browser: browser });
+    }
+    return { cache: { resolver: doc.resolver, entries } };
+}
+/** Write the cache with exactly `entries` (callers merge; answers are keyed by the HTML they judged). */
+function writeIdentityCache(projectRoot, resolver, entries) {
+    const file = (0, exports.identityCachePath)(projectRoot);
+    fs.mkdirSync(path.dirname(file), { recursive: true });
+    const sorted = Object.fromEntries([...entries.entries()].sort(([a], [b]) => a.localeCompare(b)));
+    fs.writeFileSync(file, `${JSON.stringify({ schema: exports.IDENTITY_CACHE_SCHEMA, resolver, entries: sorted }, null, 2)}\n`);
+    return file;
+}
+//# sourceMappingURL=identity-cache.js.map

package/dist/contract/trace/identity-cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity-cache.js","sourceRoot":"","sources":["../../../src/contract/trace/identity-cache.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,8CAqBC;AAGD,gDAMC;AA5DD;;;;;;;;;;;;;;GAcG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,uDAA+F;AAElF,QAAA,qBAAqB,GAAG,CAAC,CAAC;AAKvC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAC7D,MAAM,MAAM,GAAG,gBAAgB,CAAC;AAEzB,MAAM,iBAAiB,GAAG,CAAC,WAAmB,EAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;AAA5H,QAAA,iBAAiB,qBAA2G;AAEzI,0FAA0F;AAC1F,SAAgB,iBAAiB,CAAC,WAAmB;IACnD,MAAM,KAAK,GAAkB,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAClE,MAAM,IAAI,GAAG,IAAA,yBAAiB,EAAC,WAAW,CAAC,CAAC;IAC5C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAClD,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,EAAE,CAAC;IAAC,CAAC;IACpJ,MAAM,GAAG,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,GAAG,YAAY,EAAE,CAAC,CAAC;IACpG,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAC1F,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACtF,IAAI,GAAG,CAAC,MAAM,KAAK,6BAAqB,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC/J,IAAI,CAAC,kCAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,GAAG,CAAC,+CAA+C,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACnI,MAAM,OAAO,GAAG,IAAI,GAAG,EAA0B,CAAC;IAClD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAkC,CAAC,EAAE,CAAC;QAClF,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,GAAG,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAA4B,CAAC;QAC5G,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAA,qCAAmB,EAAC,EAAE,GAAG,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChK,IAAI,CAAC,EAAE;YAAE,OAAO,GAAG,CAAC,0BAA0B,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QACnE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC;QAClC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAiB,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC;AACxD,CAAC;AAED,yGAAyG;AACzG,SAAgB,kBAAkB,CAAC,WAAmB,EAAE,QAAgB,EAAE,OAAoC;IAC5G,MAAM,IAAI,GAAG,IAAA,yBAAiB,EAAC,WAAW,CAAC,CAAC;IAC5C,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,6BAAqB,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACrH,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/contract/trace/select-final-attempt.d.ts

@@ -0,0 +1,27 @@
+export interface ReportResult {
+    retry: number;
+    status: string;
+    startTime: string;
+    duration: number;
+    tracePath: string | null;
+}
+export interface ReportTest {
+    testId: string;
+    title: string;
+    file: string;
+    line: number;
+    tags: string[];
+    project: string;
+    results: ReportResult[];
+    report: string;
+}
+export type Admissibility = 'admissible' | 'inconclusive' | 'unproven';
+/** Every test of a report; throws when the file is not a Playwright JSON report at all. */
+export declare function readPlaywrightReport(file: string): ReportTest[];
+export declare function scenarioIdOfTest(title: string, tags: string[]): string;
+export declare function finalAttempt(t: ReportTest): {
+    result?: ReportResult;
+    admissibility: Admissibility;
+    reason?: string;
+};
+//# sourceMappingURL=select-final-attempt.d.ts.map

package/dist/contract/trace/select-final-attempt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"select-final-attempt.d.ts","sourceRoot":"","sources":["../../../src/contract/trace/select-final-attempt.ts"],"names":[],"mappings":"AAeA,MAAM,WAAW,YAAY;IAAG,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE;AAC9H,MAAM,WAAW,UAAU;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,YAAY,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACnK,MAAM,MAAM,aAAa,GAAG,YAAY,GAAG,cAAc,GAAG,UAAU,CAAC;AAiBvE,2FAA2F;AAC3F,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,CAmB/D;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAKtE;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,UAAU,GAAG;IAAE,MAAM,CAAC,EAAE,YAAY,CAAC;IAAC,aAAa,EAAE,aAAa,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAMpH"}