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

package/dist/graph/test-case-states.js

@@ -0,0 +1,116 @@
+"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.testCaseStates = testCaseStates;
+/**
+ * `testCaseStates(projectRoot, unit)` — the state of every test case of a unit, a PURE function of
+ * files that already exist, evaluated whenever it is read (DOS-11.1, red-team #9): no state file, no
+ * facet registry, nothing written. A step interrupted yesterday is recomputed today, not remembered.
+ *
+ *   identity   .feature                       test-case-identity.ts
+ *   outcome    results · run manifest · triage test-case-results.ts
+ *   anchors    .sungen/manifest/<unit>.json — the spec anchors each scenario came from, and their drift
+ *   findings   the audit's findings, located on the case they name (locate-finding.ts, DOS-12.1)
+ *
+ * The audit's findings are taken only from a report that counts (verifyAuditReport): a stale or
+ * untrusted report locates nothing. A caller that already verified the report passes its findings.
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const resolve_unit_1 = require("../cli/resolve-unit");
+const audit_report_verification_1 = require("../harness/gates/audit-report-verification");
+const manifest_1 = require("../harness/manifest");
+const unit_paths_1 = require("../harness/unit-paths");
+const locate_finding_1 = require("./locate-finding");
+const test_case_results_1 = require("./test-case-results");
+const test_case_identity_1 = require("./test-case-identity");
+/** scenario title → its anchors, with the change `diffManifest` reports (unknown when it cannot say). */
+function anchorsByScenario(projectRoot, unitDir, unit) {
+    const out = new Map();
+    let manifest;
+    try {
+        manifest = JSON.parse(fs.readFileSync(path.join(projectRoot, '.sungen', 'manifest', `${(0, unit_paths_1.reportSlug)(unit)}.json`), 'utf8'));
+    }
+    catch {
+        return out;
+    }
+    if (!manifest || !Array.isArray(manifest.entries))
+        return out;
+    let changes = new Map();
+    try {
+        changes = new Map((0, manifest_1.diffManifest)(unitDir, unit, manifest).scenarios.map((s) => [`${s.scenario}\n${s.section}`, s.change]));
+    }
+    catch { /* a pending migration or an unreadable spec — the drift is unknown */ }
+    for (const e of manifest.entries) {
+        if (!e || typeof e.scenario !== 'string' || typeof e.section !== 'string')
+            continue;
+        out.set(e.scenario, [...(out.get(e.scenario) ?? []), { anchor: e.section, change: changes.get(`${e.scenario}\n${e.section}`) ?? 'unknown' }]);
+    }
+    return out;
+}
+function verifiedFindings(projectRoot, unit) {
+    const v = (0, audit_report_verification_1.verifyAuditReport)(projectRoot, unit);
+    const findings = (0, audit_report_verification_1.auditCounts)(v) ? v.report?.findings : undefined;
+    return Array.isArray(findings) ? findings.filter((f) => typeof f === 'string') : [];
+}
+function testCaseStates(projectRoot, unit, opts = {}) {
+    const found = (0, resolve_unit_1.resolveUnitCandidates)(unit, projectRoot);
+    const unitDir = opts.unitDir ?? (found.length === 1 ? found[0].dir : undefined);
+    if (!unitDir || !fs.existsSync(unitDir))
+        return [];
+    const unitId = found.find((f) => f.dir === unitDir)?.unitId ?? unit;
+    const cases = (0, test_case_identity_1.featureCases)(unitDir, unit);
+    if (!cases.length)
+        return [];
+    const outcomes = (0, test_case_results_1.caseOutcomes)(projectRoot, unitDir, unit, unitId, cases);
+    const anchors = anchorsByScenario(projectRoot, unitDir, unit);
+    const findings = opts.auditFindings ?? verifiedFindings(projectRoot, unit);
+    const located = findings.length
+        ? (0, locate_finding_1.locateFindings)(findings, cases, (0, locate_finding_1.gitCitationContext)(projectRoot, [...new Set(cases.map((c) => c.absFile))]))
+        : new Map();
+    return cases.map((c, i) => ({
+        id: c.id,
+        ...(c.unstableId ? { unstableId: true } : {}),
+        title: c.title,
+        file: path.relative(projectRoot, c.absFile).split(path.sep).join('/'),
+        lines: c.lines,
+        tags: c.tags,
+        mocked: c.mocked,
+        ...outcomes[i],
+        anchors: anchors.get(c.title) ?? [],
+        findings: located.get(i) ?? [],
+    }));
+}
+//# sourceMappingURL=test-case-states.js.map

package/dist/graph/test-case-states.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-case-states.js","sourceRoot":"","sources":["../../src/graph/test-case-states.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0DA,wCAyBC;AAnFD;;;;;;;;;;;;GAYG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,sDAA4D;AAC5D,0FAA4F;AAC5F,kDAA6D;AAC7D,sDAAmD;AACnD,qDAAsE;AACtE,2DAAmD;AACnD,6DAAoD;AAYpD,yGAAyG;AACzG,SAAS,iBAAiB,CAAC,WAAmB,EAAE,OAAe,EAAE,IAAY;IAC3E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,IAAI,QAAkB,CAAC;IACvB,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,IAAA,uBAAU,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5H,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,GAAG,CAAC;IAAC,CAAC;IACvB,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,GAAG,CAAC;IAC9D,IAAI,OAAO,GAAkC,IAAI,GAAG,EAAE,CAAC;IACvD,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,GAAG,CAAC,IAAA,uBAAY,EAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3H,CAAC;IAAC,MAAM,CAAC,CAAC,sEAAsE,CAAC,CAAC;IAClF,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;YAAE,SAAS;QACpF,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC,CAAC,CAAC;IAChJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,gBAAgB,CAAC,WAAmB,EAAE,IAAY;IACzD,MAAM,CAAC,GAAG,IAAA,6CAAiB,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,IAAA,uCAAW,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACjE,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACnG,CAAC;AAED,SAAgB,cAAc,CAAC,WAAmB,EAAE,IAAY,EAAE,OAA6B,EAAE;IAC/F,MAAM,KAAK,GAAG,IAAA,oCAAqB,EAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAChF,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACnD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,OAAO,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC;IACpE,MAAM,KAAK,GAAG,IAAA,iCAAY,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAA,gCAAY,EAAC,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,IAAI,gBAAgB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM;QAC7B,CAAC,CAAC,IAAA,+BAAc,EAAC,QAAQ,EAAE,KAAK,EAAE,IAAA,mCAAkB,EAAC,WAAW,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7G,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;IACd,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1B,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACrE,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,GAAG,QAAQ,CAAC,CAAC,CAAC;QACd,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE;KAC/B,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/graph/unit-artifact-probes.d.ts

@@ -0,0 +1,19 @@
+/** `<f>-test-result[.<os>][.<env>].json` — a mobile run writes the OS into the name, an env run the env (#868). */
+export declare const RESULT_FILE: RegExp;
+export declare const readIfExists: (p: string) => string;
+export declare function countScenarios(unitDir: string, unit: string): number;
+/**
+ * Does the selector text resolve at least one element? A scaffold resolves none: the web one holds
+ * only the `page` route, the mobile one only header comments. Matching the WORD "placeholder" was
+ * wrong both ways (#868): it flagged a real file whose key names an input's placeholder text, and
+ * missed both scaffolds, which never contain it.
+ */
+export declare function hasResolvedSelector(selectorText: string): boolean;
+/** Where a unit's compiled spec and result files live. */
+export declare function generatedDirs(projectRoot: string, unit: string): string[];
+export declare function isCompiled(projectRoot: string, unit: string): boolean;
+export declare function unitResultFiles(projectRoot: string, unit: string): string[];
+/** Final attempts that failed across the result files. An unreadable report counts nothing: "unknown" is never red. */
+export declare function countFailedResults(resultFiles: string[]): number;
+export declare function hasDeliverableFor(projectRoot: string, slug: string): boolean;
+//# sourceMappingURL=unit-artifact-probes.d.ts.map

package/dist/graph/unit-artifact-probes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-artifact-probes.d.ts","sourceRoot":"","sources":["../../src/graph/unit-artifact-probes.ts"],"names":[],"mappings":"AAYA,mHAAmH;AACnH,eAAO,MAAM,WAAW,QAAoC,CAAC;AAE7D,eAAO,MAAM,YAAY,GAAI,GAAG,MAAM,KAAG,MAAmD,CAAC;AAE7F,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAMpE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAajE;AAED,0DAA0D;AAC1D,wBAAgB,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAKzE;AAED,wBAAgB,UAAU,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAIrE;AAED,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAI3E;AAED,uHAAuH;AACvH,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,MAAM,CAGhE;AAED,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAI5E"}

package/dist/graph/unit-artifact-probes.js

@@ -0,0 +1,133 @@
+"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.readIfExists = exports.RESULT_FILE = void 0;
+exports.countScenarios = countScenarios;
+exports.hasResolvedSelector = hasResolvedSelector;
+exports.generatedDirs = generatedDirs;
+exports.isCompiled = isCompiled;
+exports.unitResultFiles = unitResultFiles;
+exports.countFailedResults = countFailedResults;
+exports.hasDeliverableFor = hasDeliverableFor;
+/**
+ * What a unit holds on disk, probed cheaply for `readUnitState` and `testCaseStates` (moved out of
+ * harness/next-step.ts unchanged). Every path here is legitimately absent at some point in a unit's
+ * life — the resolver exists to report exactly that — so nothing throws on a missing file.
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const yaml_1 = require("yaml");
+const unit_paths_1 = require("../harness/unit-paths");
+const read_text_1 = require("../harness/read-text");
+const playwright_report_parser_1 = require("../exporters/playwright-report-parser");
+/** `<f>-test-result[.<os>][.<env>].json` — a mobile run writes the OS into the name, an env run the env (#868). */
+exports.RESULT_FILE = /-test-result(?:\.[^.]+)*\.json$/;
+const readIfExists = (p) => (fs.existsSync(p) ? (0, read_text_1.readTextFile)(p) : '');
+exports.readIfExists = readIfExists;
+function countScenarios(unitDir, unit) {
+    let n = 0;
+    for (const f of (0, unit_paths_1.featureFilesFor)(unitDir, unit)) {
+        n += ((0, exports.readIfExists)(f).match(/^\s*Scenario(?: Outline)?:/gm) ?? []).length;
+    }
+    return n;
+}
+/**
+ * Does the selector text resolve at least one element? A scaffold resolves none: the web one holds
+ * only the `page` route, the mobile one only header comments. Matching the WORD "placeholder" was
+ * wrong both ways (#868): it flagged a real file whose key names an input's placeholder text, and
+ * missed both scaffolds, which never contain it.
+ */
+function hasResolvedSelector(selectorText) {
+    let doc;
+    try {
+        doc = (0, yaml_1.parse)(selectorText);
+    }
+    catch {
+        return selectorText.trim().length >= 40;
+    }
+    if (!doc || typeof doc !== 'object')
+        return false;
+    // A real cell, not a marker left to be filled in. Numbers count (an id or index can be numeric).
+    const real = (v) => (typeof v === 'string' || typeof v === 'number')
+        && String(v).trim() !== '' && !/^(?:todo|tbd|placeholder|replace me)$/i.test(String(v).trim());
+    return Object.values(doc).some((e) => {
+        if (!e || typeof e !== 'object')
+            return false;
+        const { type, value, name, locator } = e;
+        // Every SelectorEntry shape: a CSS `locator`, or a non-page `type` with a value or a role name.
+        return real(locator) || (typeof type === 'string' && type !== 'page' && (real(value) || real(name)));
+    });
+}
+/** Where a unit's compiled spec and result files live. */
+function generatedDirs(projectRoot, unit) {
+    return [
+        path.join(projectRoot, 'specs', 'generated', 'flows', unit),
+        path.join(projectRoot, 'specs', 'generated', unit),
+    ];
+}
+function isCompiled(projectRoot, unit) {
+    return generatedDirs(projectRoot, unit).some((d) => {
+        try {
+            return fs.readdirSync(d).some((f) => f.endsWith('.spec.ts'));
+        }
+        catch {
+            return false;
+        }
+    });
+}
+function unitResultFiles(projectRoot, unit) {
+    return generatedDirs(projectRoot, unit).flatMap((d) => {
+        try {
+            return fs.readdirSync(d).filter((f) => exports.RESULT_FILE.test(f)).map((f) => path.join(d, f));
+        }
+        catch {
+            return [];
+        }
+    });
+}
+/** Final attempts that failed across the result files. An unreadable report counts nothing: "unknown" is never red. */
+function countFailedResults(resultFiles) {
+    return resultFiles.reduce((n, f) => n + [...((0, playwright_report_parser_1.loadPlaywrightReport)(f)?.values() ?? [])]
+        .filter((r) => r.status === 'failed' || r.status === 'timedOut' || r.status === 'interrupted').length, 0);
+}
+function hasDeliverableFor(projectRoot, slug) {
+    try {
+        return fs.readdirSync(path.join(projectRoot, 'qa', 'deliverables')).some((f) => f.startsWith(`${slug}-`));
+    }
+    catch {
+        return false;
+    } // nothing exported yet
+}
+//# sourceMappingURL=unit-artifact-probes.js.map

package/dist/graph/unit-artifact-probes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-artifact-probes.js","sourceRoot":"","sources":["../../src/graph/unit-artifact-probes.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiBA,wCAMC;AAQD,kDAaC;AAGD,sCAKC;AAED,gCAIC;AAED,0CAIC;AAGD,gDAGC;AAED,8CAIC;AA5ED;;;;GAIG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,+BAA0C;AAC1C,sDAAwD;AACxD,oDAAoD;AACpD,oFAA6E;AAE7E,mHAAmH;AACtG,QAAA,WAAW,GAAG,iCAAiC,CAAC;AAEtD,MAAM,YAAY,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAA,wBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAAhF,QAAA,YAAY,gBAAoE;AAE7F,SAAgB,cAAc,CAAC,OAAe,EAAE,IAAY;IAC1D,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,IAAA,4BAAe,EAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;QAC/C,CAAC,IAAI,CAAC,IAAA,oBAAY,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,8BAA8B,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAC5E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;GAKG;AACH,SAAgB,mBAAmB,CAAC,YAAoB;IACtD,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QAAC,GAAG,GAAG,IAAA,YAAS,EAAC,YAAY,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,YAAY,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC;IAAC,CAAC;IACzF,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAClD,iGAAiG;IACjG,MAAM,IAAI,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC;WACjF,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,wCAAwC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACjG,OAAO,MAAM,CAAC,MAAM,CAAC,GAA8B,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QAC9D,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC9C,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAA2E,CAAC;QACnH,gGAAgG;QAChG,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvG,CAAC,CAAC,CAAC;AACL,CAAC;AAED,0DAA0D;AAC1D,SAAgB,aAAa,CAAC,WAAmB,EAAE,IAAY;IAC7D,OAAO;QACL,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC;QAC3D,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC;KACnD,CAAC;AACJ,CAAC;AAED,SAAgB,UAAU,CAAC,WAAmB,EAAE,IAAY;IAC1D,OAAO,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QACjD,IAAI,CAAC;YAAC,OAAO,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,KAAK,CAAC;QAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,eAAe,CAAC,WAAmB,EAAE,IAAY;IAC/D,OAAO,aAAa,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACpD,IAAI,CAAC;YAAC,OAAO,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO,EAAE,CAAC;QAAC,CAAC;IACvH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uHAAuH;AACvH,SAAgB,kBAAkB,CAAC,WAAqB;IACtD,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAA,+CAAoB,EAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;SACnF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC9G,CAAC;AAED,SAAgB,iBAAiB,CAAC,WAAmB,EAAE,IAAY;IACjE,IAAI,CAAC;QACH,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC;IAC5G,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC,CAAoC,uBAAuB;AACtF,CAAC"}

package/dist/graph/unit-state-facts.d.ts

@@ -0,0 +1,43 @@
+import { HeadSnapshot } from '../contract/contract-git';
+import type { TestCaseContract } from './test-case-state-shape';
+/** A report exists but does not count — `next` says "re-audit" exactly as gate and delivery block. */
+export interface AuditNotCounted {
+    state: 'stale' | 'invalid';
+    reason: string;
+}
+export interface ContractSummary {
+    verdict: 'pass' | 'review' | 'fail';
+    /** Scenarios with no approved lock entry (never block). */
+    proposed: number;
+    /** Approved scenarios changed, not weaker (`contract.hash-changed`) — review blocks delivery. */
+    review: number;
+    /** Approved scenarios that got weaker, changed target or lost a check (not `unproven`: no trace is no edit to undo). */
+    hard: number;
+    /** Approved free / impl:code scenarios no admissible trace proves (contract.unproven, hard) — a traced run, not a QA call. */
+    unproven?: number;
+    /** Approved free / impl:code scenarios whose trace is in review: opaque (incl. a low identity) or inconclusive. */
+    traceReview?: number;
+    /** Lock entries that are not what QA approved and committed (`contract.lock-uncommitted`). */
+    uncommitted: number;
+    /**
+     * What is wrong with them, the one to fix first: `tampered` (an entry no longer hashes to its steps),
+     * `untracked` (the lock was never committed), `edited` (a committed lock with uncommitted edits),
+     * `unverified` (no committed contract-approval decision vouches for an entry).
+     */
+    uncommittedKind?: 'tampered' | 'untracked' | 'edited' | 'unverified';
+    /** The first hard scenario, `<id> <class>`. */
+    headline?: string;
+    /** Set when the verdict could not be built (git unavailable with a lock, unreadable lock or feature). */
+    error?: string;
+}
+export declare function readTrustedAudit(projectRoot: string, unit: string): {
+    report: Record<string, unknown> | null;
+    notCounted?: AuditNotCounted;
+};
+export interface ContractFacts {
+    summary: ContractSummary;
+    cases: Map<string, TestCaseContract>;
+}
+export declare function readContractFacts(projectRoot: string, unit: string, unitDir: string, snapshot?: HeadSnapshot): ContractFacts;
+export declare const readContractSummary: (projectRoot: string, unit: string, unitDir: string, snapshot?: HeadSnapshot) => ContractSummary;
+//# sourceMappingURL=unit-state-facts.d.ts.map

package/dist/graph/unit-state-facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-state-facts.d.ts","sourceRoot":"","sources":["../../src/graph/unit-state-facts.ts"],"names":[],"mappings":"AAYA,OAAO,EAAwB,YAAY,EAA0B,MAAM,0BAA0B,CAAC;AAKtG,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,sGAAsG;AACtG,MAAM,WAAW,eAAe;IAAG,KAAK,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAE/E,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpC,2DAA2D;IAC3D,QAAQ,EAAE,MAAM,CAAC;IACjB,iGAAiG;IACjG,MAAM,EAAE,MAAM,CAAC;IACf,wHAAwH;IACxH,IAAI,EAAE,MAAM,CAAC;IACb,8HAA8H;IAC9H,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mHAAmH;IACnH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,8FAA8F;IAC9F,WAAW,EAAE,MAAM,CAAC;IACpB;;;;OAIG;IACH,eAAe,CAAC,EAAE,UAAU,GAAG,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;IACrE,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,yGAAyG;IACzG,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAID,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IAAC,UAAU,CAAC,EAAE,eAAe,CAAA;CAAE,CAU5I;AAwBD,MAAM,WAAW,aAAa;IAAG,OAAO,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;CAAE;AAEjG,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,YAAY,GAAG,aAAa,CAsB5H;AAED,eAAO,MAAM,mBAAmB,GAAI,aAAa,MAAM,EAAE,MAAM,MAAM,EAAE,SAAS,MAAM,EAAE,WAAW,YAAY,KAAG,eACjD,CAAC"}

package/dist/graph/unit-state-facts.js

@@ -0,0 +1,87 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.readContractSummary = void 0;
+exports.readTrustedAudit = readTrustedAudit;
+exports.readContractFacts = readContractFacts;
+/**
+ * The facts `readUnitState` adds for the graph's newer nodes — read through the same code the gate,
+ * the delivery and the Claude Code guard use, so `next` cannot disagree with them (red-team #12):
+ *
+ *   readTrustedAudit     audit.json through verifyAuditReport (OES-11.4, DOS-14.0): a stale, invalid
+ *                        or verdict-mismatched report counts as never audited, and says why
+ *   readContractFacts    the contract verdict rebuilt by buildContractVerdict (DOS-14.4) — the
+ *                        function `sungen contract check` and the delivery guard run — as the unit
+ *                        summary plus each case's class (phase 09: the test-case contract nodes)
+ */
+const build_contract_verdict_1 = require("../contract/build-contract-verdict");
+const classify_trace_conformance_1 = require("../contract/classify-trace-conformance");
+const contract_git_1 = require("../contract/contract-git");
+const contract_schema_1 = require("../contract/contract-schema");
+const contracts_lock_file_1 = require("../contract/contracts-lock-file");
+const audit_report_verification_1 = require("../harness/gates/audit-report-verification");
+const message = (e) => (e instanceof Error ? e.message : String(e)).split('\n')[0];
+function readTrustedAudit(projectRoot, unit) {
+    try {
+        const v = (0, audit_report_verification_1.verifyAuditReport)(projectRoot, unit);
+        if ((0, audit_report_verification_1.auditCounts)(v))
+            return { report: v.report };
+        if (v.state === 'absent')
+            return { report: null };
+        const reason = v.problems.map((p) => p.message).join('; ') || v.state;
+        return { report: null, notCounted: { state: v.state === 'stale' ? 'stale' : 'invalid', reason } };
+    }
+    catch (e) {
+        return { report: null, notCounted: { state: 'invalid', reason: `the report could not be verified: ${message(e)}` } };
+    }
+}
+function uncommittedKindOf(entries, lockInHead) {
+    if (!entries.length)
+        return undefined;
+    if (entries.some((e) => e.change === 'tampered'))
+        return 'tampered';
+    if (entries.some((e) => e.change !== 'unverified'))
+        return lockInHead ? 'edited' : 'untracked';
+    return 'unverified';
+}
+/** scenario id → its class, the finding behind it, and whether a low identity or an uncommitted lock entry is behind it. */
+function caseContracts(v) {
+    const out = new Map();
+    for (const s of v.scenarios) {
+        const lead = s.findings.find((f) => f.class === s.class) ?? s.findings[0];
+        out.set(s.id, {
+            class: s.class,
+            ...(lead ? { detail: lead.detail } : {}),
+            ...(s.findings.some((f) => f.class === 'opaque' && f.detail.startsWith(classify_trace_conformance_1.LOW_IDENTITY_FINDING)) ? { lowIdentity: true } : {}),
+        });
+    }
+    for (const u of v.uncommitted)
+        out.set(u.id, { ...(out.get(u.id) ?? { class: 'match' }), uncommitted: true });
+    return out;
+}
+function readContractFacts(projectRoot, unit, unitDir, snapshot) {
+    try {
+        const snap = snapshot ?? (0, contract_git_1.headSnapshot)(projectRoot, contract_git_1.GUARD_GIT_TIMEOUT_MS);
+        const v = (0, build_contract_verdict_1.buildContractVerdict)(projectRoot, { name: unit, dir: unitDir }, { snapshot: snap });
+        const count = (...classes) => v.scenarios.filter((s) => classes.includes(s.class)).length;
+        const hard = v.scenarios.filter((s) => contract_schema_1.HARD_CLASSES.has(s.class) && s.class !== 'unproven');
+        const kind = uncommittedKindOf(v.uncommitted, Boolean(snap.blobs?.has((0, contract_git_1.posixRel)(projectRoot, (0, contracts_lock_file_1.lockPathFor)(unitDir)))));
+        const summary = {
+            verdict: v.verdict,
+            proposed: count('proposed'),
+            review: count('hash-changed'),
+            hard: hard.length,
+            uncommitted: v.uncommitted.length,
+            unproven: count('unproven'),
+            traceReview: count('opaque', 'inconclusive'),
+            ...(kind ? { uncommittedKind: kind } : {}),
+            ...(hard[0] ? { headline: `${hard[0].id} ${hard[0].class}` } : {}),
+        };
+        return { summary, cases: caseContracts(v) };
+    }
+    catch (e) {
+        return { summary: { verdict: 'fail', proposed: 0, review: 0, hard: 0, uncommitted: 0, error: message(e) }, cases: new Map() };
+    }
+}
+const readContractSummary = (projectRoot, unit, unitDir, snapshot) => readContractFacts(projectRoot, unit, unitDir, snapshot).summary;
+exports.readContractSummary = readContractSummary;
+//# sourceMappingURL=unit-state-facts.js.map

package/dist/graph/unit-state-facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-state-facts.js","sourceRoot":"","sources":["../../src/graph/unit-state-facts.ts"],"names":[],"mappings":";;;AAkDA,4CAUC;AA0BD,8CAsBC;AA5GD;;;;;;;;;GASG;AACH,+EAA2F;AAC3F,uFAA8E;AAC9E,2DAAsG;AACtG,iEAA2D;AAC3D,yEAA8D;AAE9D,0FAA4F;AAgC5F,MAAM,OAAO,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpG,SAAgB,gBAAgB,CAAC,WAAmB,EAAE,IAAY;IAChE,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,6CAAiB,EAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC/C,IAAI,IAAA,uCAAW,EAAC,CAAC,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QAChD,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ;YAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;QACtE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC;IACpG,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,qCAAqC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;IACvH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,OAA2B,EAAE,UAAmB;IACzE,IAAI,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC;IACpE,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC;IAC/F,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,4HAA4H;AAC5H,SAAS,aAAa,CAAC,CAAkB;IACvC,MAAM,GAAG,GAAG,IAAI,GAAG,EAA4B,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1E,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,iDAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrI,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9G,OAAO,GAAG,CAAC;AACb,CAAC;AAID,SAAgB,iBAAiB,CAAC,WAAmB,EAAE,IAAY,EAAE,OAAe,EAAE,QAAuB;IAC3G,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,IAAI,IAAA,2BAAY,EAAC,WAAW,EAAE,mCAAoB,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,IAAA,6CAAoB,EAAC,WAAW,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9F,MAAM,KAAK,GAAG,CAAC,GAAG,OAAiB,EAAU,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5G,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,8BAAY,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;QAC5F,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,IAAA,uBAAQ,EAAC,WAAW,EAAE,IAAA,iCAAW,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrH,MAAM,OAAO,GAAoB;YAC/B,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC;YAC3B,MAAM,EAAE,KAAK,CAAC,cAAc,CAAC;YAC7B,IAAI,EAAE,IAAI,CAAC,MAAM;YACjB,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC,MAAM;YACjC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC;YAC3B,WAAW,EAAE,KAAK,CAAC,QAAQ,EAAE,cAAc,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAChI,CAAC;AACH,CAAC;AAEM,MAAM,mBAAmB,GAAG,CAAC,WAAmB,EAAE,IAAY,EAAE,OAAe,EAAE,QAAuB,EAAmB,EAAE,CAClI,iBAAiB,CAAC,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC;AADrD,QAAA,mBAAmB,uBACkC"}

package/dist/harness/audit.d.ts

@@ -7,6 +7,7 @@ import { SpecCoverageResult } from './spec-coverage';
 import { DownstreamResult, ManualOracleResult } from './quality-gates';
 import { LedgerResult } from './viewpoint-ledger';
 import { UiInventoryResult } from './ui-inventory';
+import { GateOverrideReport } from './gates/gate-override-report';
 export interface AuditReport {
     screen: string;
     scenarioCount: number;
@@ -80,6 +81,16 @@ export interface AuditReport {
     intent: IntentProfile;
     provenance: Provenance;
     spec: SpecCoverageResult;
+    /** OES-11.6 — every gate-override touching this unit (applied / ineffective / rejected). */
+    gateOverrides: GateOverrideReport[];
+    /** OES-11.4 — the decisions this audit was judged under; readers re-audit when it moves. */
+    decisionsHash: string;
+    /** T3 — hash of .feature + spec + viewpoint + decisionsHash; a reader recomputes it. */
+    inputsHash: string;
+    /** T3 — what `sungen audit` exits with for this gateStatus (0 PASS · 2 FAIL). */
+    exitCode: number;
+    /** A capability gate sensor reported an error-level finding — recorded so a reader can re-evaluate the gate. */
+    gateSensorError: boolean;
 }
 /**
  * Every unit name this project holds (screens + flows + api areas). Used to answer "does the

package/dist/harness/audit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"audit.d.ts","sourceRoot":"","sources":["../../src/harness/audit.ts"],"names":[],"mappings":"AAWA,OAAO,EAA0B,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACjF,OAAO,EAAgF,iBAAiB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAEnJ,OAAO,EAC8H,gBAAgB,EAGnJ,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,eAAe,EAAE,WAAW,EAAE,gBAAgB,EAAE,cAAc,EAAW,uBAAuB,EAAE,eAAe,EAAE,oBAAoB,EAChL,MAAM,WAAW,CAAC;AAInB,OAAO,EAAwC,aAAa,EAAE,MAAM,UAAU,CAAC;AAC/E,OAAO,EAAiB,UAAU,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAgB,kBAAkB,EAAgD,MAAM,iBAAiB,CAAC;AACjH,OAAO,EAA2C,gBAAgB,EAAE,kBAAkB,EACQ,MAAM,iBAAiB,CAAC;AACtH,OAAO,EAA6G,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAO7J,OAAO,EAA4C,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAE7F,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,WAAW,CAAC;IACnB,KAAK,EAAE,gBAAgB,CAAC;IACxB,QAAQ,EAAE,cAAc,CAAC;IACzB,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,eAAe,CAAC;IAC5B,KAAK,EAAE,WAAW,CAAC;IACnB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,6FAA6F;IAC7F,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,UAAU,EAAE,gBAAgB,CAAC;IAC7B,YAAY,EAAE,kBAAkB,CAAC;IACjC,iBAAiB,EAAE,uBAAuB,CAAC;IAC3C,SAAS,EAAE,eAAe,CAAC;IAC3B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,MAAM,EAAE,YAAY,CAAC;IACrB,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,WAAW,CAAC,EAAE,iBAAiB,CAAC;IAChC,wFAAwF;IACxF,aAAa,CAAC,EAAE,eAAe,CAAC;IAChC,yFAAyF;IACzF,WAAW,CAAC,EAAE,iBAAiB,CAAC;IAChC,WAAW,EAAE;QACX,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7B,OAAO,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;QACzC,QAAQ,EAAE,OAAO,CAAC;QAClB,2FAA2F;QAC3F,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB,4DAA4D;QAC5D,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;IACF,KAAK,EAAE;QACL,OAAO,EAAE,MAAM,CAAC;QAChB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB;;;;WAIG;QACH,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;QACjB,aAAa,EAAE,MAAM,CAAC;QACtB,OAAO,EAAE,MAAM,CAAC;QAChB,YAAY,EAAE,MAAM,CAAC;QACrB;;;;;WAKG;QACH,IAAI,EAAE,KAAK,CAAC;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,OAAO,CAAC;YAAC,QAAQ,EAAE,OAAO,CAAC;YAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;YAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;SAAE,CAAC,CAAC;QAC5I,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,MAAM,GAAG,MAAM,CAAC;IAC5B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,aAAa,CAAC;IACtB,UAAU,EAAE,UAAU,CAAC;IACvB,IAAI,EAAE,kBAAkB,CAAC;CAC1B;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE,CAW7D;AAED,yHAAyH;AACzH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAShE;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,iBAAiB,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,SAAS,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAQrI;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,CAAC,EAAE;IAAE,YAAY,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,OAAO,CAAA;CAAE,GAC1F,MAAM,CAGR;AAED,wBAAgB,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,WAAW,CAwwB3E"}
+{"version":3,"file":"audit.d.ts","sourceRoot":"","sources":["../../src/harness/audit.ts"],"names":[],"mappings":"AAWA,OAAO,EAA0B,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACjF,OAAO,EAAgF,iBAAiB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAEnJ,OAAO,EAC8H,gBAAgB,EAGnJ,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,eAAe,EAAE,WAAW,EAAE,gBAAgB,EAAE,cAAc,EAAW,uBAAuB,EAAE,eAAe,EAAE,oBAAoB,EAChL,MAAM,WAAW,CAAC;AAInB,OAAO,EAAwC,aAAa,EAAE,MAAM,UAAU,CAAC;AAC/E,OAAO,EAAiB,UAAU,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAgB,kBAAkB,EAAgD,MAAM,iBAAiB,CAAC;AACjH,OAAO,EAA2C,gBAAgB,EAAE,kBAAkB,EACQ,MAAM,iBAAiB,CAAC;AACtH,OAAO,EAA6G,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAO7J,OAAO,EAA4C,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAG7F,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAElE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,WAAW,CAAC;IACnB,KAAK,EAAE,gBAAgB,CAAC;IACxB,QAAQ,EAAE,cAAc,CAAC;IACzB,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,eAAe,CAAC;IAC5B,KAAK,EAAE,WAAW,CAAC;IACnB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,6FAA6F;IAC7F,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,UAAU,EAAE,gBAAgB,CAAC;IAC7B,YAAY,EAAE,kBAAkB,CAAC;IACjC,iBAAiB,EAAE,uBAAuB,CAAC;IAC3C,SAAS,EAAE,eAAe,CAAC;IAC3B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,MAAM,EAAE,YAAY,CAAC;IACrB,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,WAAW,CAAC,EAAE,iBAAiB,CAAC;IAChC,wFAAwF;IACxF,aAAa,CAAC,EAAE,eAAe,CAAC;IAChC,yFAAyF;IACzF,WAAW,CAAC,EAAE,iBAAiB,CAAC;IAChC,WAAW,EAAE;QACX,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7B,OAAO,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;QACzC,QAAQ,EAAE,OAAO,CAAC;QAClB,2FAA2F;QAC3F,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB,4DAA4D;QAC5D,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;IACF,KAAK,EAAE;QACL,OAAO,EAAE,MAAM,CAAC;QAChB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;QACzB;;;;WAIG;QACH,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;QACjB,aAAa,EAAE,MAAM,CAAC;QACtB,OAAO,EAAE,MAAM,CAAC;QAChB,YAAY,EAAE,MAAM,CAAC;QACrB;;;;;WAKG;QACH,IAAI,EAAE,KAAK,CAAC;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,OAAO,CAAC;YAAC,QAAQ,EAAE,OAAO,CAAC;YAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;YAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;SAAE,CAAC,CAAC;QAC5I,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,MAAM,GAAG,MAAM,CAAC;IAC5B,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,aAAa,CAAC;IACtB,UAAU,EAAE,UAAU,CAAC;IACvB,IAAI,EAAE,kBAAkB,CAAC;IACzB,4FAA4F;IAC5F,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,4FAA4F;IAC5F,aAAa,EAAE,MAAM,CAAC;IACtB,wFAAwF;IACxF,UAAU,EAAE,MAAM,CAAC;IACnB,iFAAiF;IACjF,QAAQ,EAAE,MAAM,CAAC;IACjB,gHAAgH;IAChH,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE,CAW7D;AAED,yHAAyH;AACzH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAShE;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,iBAAiB,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,SAAS,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAQrI;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,MAAM,EAClB,CAAC,EAAE;IAAE,YAAY,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,OAAO,CAAA;CAAE,GAC1F,MAAM,CAGR;AAED,wBAAgB,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,WAAW,CA8xB3E"}

package/dist/harness/audit.js

@@ -68,6 +68,8 @@ const discover_1 = require("../capabilities/discover");
 const context_router_1 = require("../capabilities/context-router");
 const read_text_1 = require("./read-text");
 const ui_inventory_1 = require("./ui-inventory");
+const defects_1 = require("./defects");
+const audit_gate_verdict_1 = require("./gates/audit-gate-verdict");
 /**
  * Every unit name this project holds (screens + flows + api areas). Used to answer "does the
  * project actually contain the spec this one says its requirements come from?".
@@ -137,6 +139,8 @@ function runAudit(screenDir, screenName) {
     // `flows/<flow>`, `api/<area>`, `api/flows/<flow>`, else the bare screen. A bare screen matches
     // the old behaviour (so the audit-sample snapshot is unchanged); flows/api now resolve correctly.
     const catalogScreenName = catalogIdFromScreenDir(screenDir);
+    // OES-11.2 — the unit's gate rules: the catalog plus the gate-overrides in force for it.
+    const gates = (0, audit_gate_verdict_1.auditGateContext)(screenDir);
     const specPath = path.join(screenDir, 'requirements', 'spec.md');
     const featureText = (0, parse_1.readUnitFeatureText)(screenDir, screenName);
     const scenarios = (0, parse_1.loadUnitScenarios)(screenDir, screenName);
@@ -180,9 +184,15 @@ function runAudit(screenDir, screenName) {
         ? { ...catalog, page_types: {} }
         : catalog;
     const capGate = scoringCap?.gateProvider;
-    const provided = capGate?.({ scenarios, viewpoints, catalog: gateCatalog, focus: intent.focus, cwd: (0, intent_1.projectRootFromScreenDir)(screenDir), screenName: catalogScreenName, threshold: (0, sensors_1.depthThresholdFor)(intent.focus), businessCriticalMethods: intent.businessCriticalMethods });
-    const gate = provided?.gate ?? (0, sensors_1.viewpointGate)(scenarios, viewpoints, gateCatalog, platform === 'mobile', viewpointText);
-    const depth = provided?.depth ?? (0, sensors_1.assertionDepth)(scenarios, (0, sensors_1.dataThemesFor)(gateCatalog, gate.pageType), intent.focus);
+    // The capability gate gets the SAME isMobile + viewpoint text as the in-core fallback, or a declared
+    // `page-type:` is ignored wherever driver-ui scores — every web project, and a mobile project whose
+    // CLI cannot resolve driver-mobile (#864).
+    const isMobile = platform === 'mobile';
+    const provided = capGate?.({ scenarios, viewpoints, catalog: gateCatalog, focus: intent.focus, cwd: (0, intent_1.projectRootFromScreenDir)(screenDir), screenName: catalogScreenName, threshold: (0, sensors_1.depthThresholdFor)(intent.focus), businessCriticalMethods: intent.businessCriticalMethods, isMobile, viewpointText });
+    const gate = provided?.gate ?? (0, sensors_1.viewpointGate)(scenarios, viewpoints, gateCatalog, isMobile, viewpointText);
+    const depth = provided?.depth
+        ? (0, audit_gate_verdict_1.relevelProvidedDepth)(provided.depth, gates.rules)
+        : (0, sensors_1.assertionDepth)(scenarios, (0, sensors_1.dataThemesFor)(gateCatalog, gate.pageType), intent.focus, gates.rules);
     // TQ-4 — deferral-aware coverage credit: an inherently cross-screen theme (cart / detail /
     // filter correctness) belongs in a FLOW, not on the screen. When a flow deeply covers a screen
     // gate gap, credit it to the flow instead of double-counting it as a screen gap. Screens only
@@ -206,7 +216,7 @@ function runAudit(screenDir, screenName) {
             gate.coverageRatio = gate.themesTotal ? gate.themesCovered / gate.themesTotal : 1;
         }
     }
-    const claim = (0, sensors_1.claimProof)(scenarios, intent.focus);
+    const claim = (0, sensors_1.claimProof)(scenarios, intent.focus, gates.rules);
     const taxonomy = (0, sensors_1.taxonomyLint)(scenarios);
     const balance = (0, sensors_1.coverageBalance)(scenarios);
     const duplicates = (0, sensors_1.duplicateClusters)(scenarios);
@@ -580,9 +590,15 @@ function runAudit(screenDir, screenName) {
     // #414 — serial-cascade masking: an @serial suite of independent (re-navigating) scenarios hides
     // failures, because Playwright's describe.serial SKIPS everything after the first red. Isolation is
     // the default, so this only fires when @serial was added to a suite that didn't need it.
-    const cascadeN = (0, quality_gates_1.serialCascadeRisk)(featureText, scenarios.length);
-    if (cascadeN) {
-        findings.push(`SERIAL-CASCADE-RISK: this \`@serial\` suite has ${cascadeN} INDEPENDENT scenarios (each re-navigates via Background) that don't need a shared-page sequence. \`describe.serial\` SKIPS every test after the first failure → one early red MASKS the rest as never-run. **Drop \`@serial\`** — the default per-scenario isolation runs every scenario and isolates failures. Keep \`@serial\` only for a genuinely stateful ordered sequence (where scenario N depends on N-1's state).`);
+    // `@serial` is a property of ONE feature file — only that file compiles to `describe.serial` — so
+    // each file is judged on its own text and its own scenarios. The unit-wide text paired one
+    // feature's @serial with another's navigating Background and counted every scenario of the unit,
+    // telling QA to drop @serial from a genuinely ordered 2-scenario feature (#887).
+    for (const file of featureFiles.filter((f) => fs.existsSync(f))) {
+        const cascadeN = (0, quality_gates_1.serialCascadeRisk)((0, read_text_1.readTextFile)(file), scenarios.filter((s) => s.sourceFile === file).length);
+        if (cascadeN) {
+            findings.push(`SERIAL-CASCADE-RISK: the \`@serial\` suite ${path.basename(file)} has ${cascadeN} INDEPENDENT scenarios (each re-navigates via Background) that don't need a shared-page sequence. \`describe.serial\` SKIPS every test after the first failure → one early red MASKS the rest as never-run. **Drop \`@serial\`** — the default per-scenario isolation runs every scenario and isolates failures. Keep \`@serial\` only for a genuinely stateful ordered sequence (where scenario N depends on N-1's state).`);
+        }
     }
     if (flowDepth.stateful && flowDepth.missing.length) {
         // The advice names the collection the CONTRACT declared. It used to say "the cart" whatever
@@ -609,6 +625,8 @@ function runAudit(screenDir, screenName) {
     for (const m of taxonomy.mislabeled) {
         findings.push(`VP-MISLABEL: "${m.name}" is coded VP-${m.current} but reads as ${m.suggested} (signal: "${m.signal}") → re-tag VP-${m.suggested}-NNN so the coverage matrix isn't skewed.`);
     }
+    // Scenario ↔ defect record links (qa/defects/) — advisory, never scored.
+    findings.push(...(0, defects_1.defectLinkFindings)((0, intent_1.projectRootFromScreenDir)(screenDir), catalogScreenName, featureText, scenarios.map((sc) => sc.name)));
     if (balance.unclassifiedRatio > 0.4) {
         findings.push(`TAXONOMY-UNCLASSIFIED: ${balance.note} → align the VP-<CATEGORY> codes with the catalog (or extend the bucket keywords) so coverage-balance is meaningful.`);
     }
@@ -864,8 +882,10 @@ function runAudit(screenDir, screenName) {
     // taxonomy-match (scenarios must use the project's viewpoint IDs when defined),
     // AND scenario-id uniqueness — a reused id reaches the customer's deliverable as two rows
     // under one testcase id, and has already shipped a never-executed testcase as "Passed" (#694).
-    const gateStatus = gate.gaps.length === 0 && depth.verdict !== 'fail' && claim.verdict !== 'fail' && spec.verdict !== 'fail' && !taxonomyMismatch && !gateSensorError
-        && reusedIds.length === 0 ? 'PASS' : 'FAIL';
+    // The conjunction lives in gates/audit-gate-terms.ts, where the report reader re-evaluates it (OES-11.2).
+    findings.push(...(0, audit_gate_verdict_1.decisionFindings)(gates));
+    const verdict = (0, audit_gate_verdict_1.auditGateVerdict)(gates, { gate, depth, claim, spec, taxonomyMismatch, gateSensorError, reusedScenarioIds: reusedIds }, screenDir, screenName);
+    const gateStatus = verdict.gateStatus;
     return {
         screen: screenName,
         scenarioCount: scenarios.length,
@@ -896,6 +916,11 @@ function runAudit(screenDir, screenName) {
         findings,
         intent,
         provenance: (0, provenance_1.getProvenance)(),
+        gateOverrides: verdict.gateOverrides,
+        decisionsHash: verdict.decisionsHash,
+        inputsHash: verdict.inputsHash,
+        exitCode: verdict.exitCode,
+        gateSensorError,
     };
 }
 //# sourceMappingURL=audit.js.map