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

package/dist/harness/counted-assertions.js

@@ -0,0 +1,38 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.countedAssertions = countedAssertions;
+/**
+ * How many items a scenario's assertions demonstrate — the denominator of CLAIM-PARTIAL (#622).
+ *
+ * One reading for both places that check a counted claim (the viewpoint ledger and the title-level
+ * `numericClaimGaps`), which used to carry their own copy of the regex.
+ *
+ * Counted, once per distinct assertion:
+ *   - a value: `see [X] … with|contains {{v}}`;
+ *   - a positive state: `see [X] … is checked|selected|enabled|disabled`;
+ *   - an indicator's presence: `see [X] icon|checkbox|toggle|radio|badge|image` (#866) — on mobile a
+ *     ticked item is often observable ONLY as its tick icon, so one per item is the proof.
+ * Not counted: plain visibility of text/headers (it shows a label, not one of N values) and absence
+ * (`is hidden`, `not …`), which proves nothing is there.
+ */
+// The tail stops before the NEXT `see [`, or consecutive assertions would swallow each other.
+const SEE_STEP = /\bsee \[([^\]]+)\]((?:(?!\bsee \[)[^[])*)/g;
+const VALUE = /^[^|]*?\b(?:with|contains) (\{\{[^}]*\}\})/;
+const ABSENT = /^\s*\S*\s*(?:is hidden|is not\b|not\b|does not\b)/;
+const STATE = /^\s*\S*\s*is (checked|selected|enabled|disabled)\b/;
+const INDICATOR = /^\s*(icon|checkbox|toggle|radio|badge|image)\b/;
+function countedAssertions(stepsText) {
+    const seen = new Set();
+    for (const m of stepsText.matchAll(SEE_STEP)) {
+        const [, target, rest] = m;
+        if (ABSENT.test(rest))
+            continue;
+        // Keyed on the target and WHAT it proves — never on the tail, which runs into the next step, so
+        // the same element asserted before and after an action is still one assertion.
+        const proof = VALUE.exec(rest)?.[1] ?? STATE.exec(rest)?.[1] ?? INDICATOR.exec(rest)?.[1];
+        if (proof)
+            seen.add(`${target}|${proof}`);
+    }
+    return seen.size;
+}
+//# sourceMappingURL=counted-assertions.js.map

package/dist/harness/counted-assertions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"counted-assertions.js","sourceRoot":"","sources":["../../src/harness/counted-assertions.ts"],"names":[],"mappings":";;AAqBA,8CAWC;AAhCD;;;;;;;;;;;;;GAaG;AACH,8FAA8F;AAC9F,MAAM,QAAQ,GAAG,4CAA4C,CAAC;AAC9D,MAAM,KAAK,GAAG,4CAA4C,CAAC;AAC3D,MAAM,MAAM,GAAG,mDAAmD,CAAC;AACnE,MAAM,KAAK,GAAG,oDAAoD,CAAC;AACnE,MAAM,SAAS,GAAG,gDAAgD,CAAC;AAEnE,SAAgB,iBAAiB,CAAC,SAAiB;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,gGAAgG;QAChG,+EAA+E;QAC/E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1F,IAAI,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,IAAI,KAAK,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC"}

package/dist/harness/defect-draft.d.ts

@@ -0,0 +1,14 @@
+import type { ResolvedUnit } from '../cli/resolve-unit';
+export interface DraftResult {
+    /** `sungen triage` has not run for this unit. */
+    missingTriage?: boolean;
+    written: string[];
+    skipped: Array<{
+        scenario: string;
+        id: string;
+    }>;
+}
+export declare function draftDefects(cwd: string, unit: ResolvedUnit, opts?: {
+    scenario?: string;
+}): DraftResult;
+//# sourceMappingURL=defect-draft.d.ts.map

package/dist/harness/defect-draft.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"defect-draft.d.ts","sourceRoot":"","sources":["../../src/harness/defect-draft.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAaxD,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAClD;AA+DD,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,GAAE;IAAE,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,WAAW,CAuB3G"}

package/dist/harness/defect-draft.js

@@ -0,0 +1,143 @@
+"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.draftDefects = draftDefects;
+/**
+ * `sungen defect draft` — turn each `product-candidate` row of a unit's last triage into a record
+ * `qa/defects/DEF-NNN-<slug>.md` (see defects.ts for the link checks). Deterministic: Steps come
+ * from the scenario's Gherkin with test-data resolved, Expected/Actual from the assertion, and the
+ * severity is PROPOSED by rule until QA confirms it. Never overwrites a file, and never drafts a
+ * scenario an existing record already names.
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const yaml_1 = require("yaml");
+const api_testcase_formatter_1 = require("../exporters/api-testcase-formatter");
+const run_environment_1 = require("../exporters/run-environment");
+const feature_parser_1 = require("../exporters/feature-parser");
+const scenario_merger_1 = require("../exporters/scenario-merger");
+const sensitive_key_1 = require("../exporters/sensitive-key");
+const spec_parser_1 = require("../exporters/spec-parser");
+const test_data_resolver_1 = require("../exporters/test-data-resolver");
+const capability_1 = require("./capability");
+const defects_1 = require("./defects");
+const triage_unit_1 = require("./triage-unit");
+/** Blocking actions: a @high scenario that fails on one of these is `major`, otherwise `minor`. */
+const BLOCKING = /\b(?:submit|save|apply|log ?in|sign ?in|sign ?up|register|checkout|pay|confirm|send|navigate|redirect)\b/i;
+const slug = (s) => s.replace(/^\s*(?:VP|FL)-[A-Z0-9-]+\s+/i, '').toLowerCase().replace(/[^a-z0-9]+/g, '-').replace(/^-|-$/g, '').slice(0, 50).replace(/-$/, '');
+/** Scenario title → its merged Gherkin, test-data (credentials masked) and secret values. */
+function unitScenarios(cwd, unit) {
+    const out = new Map();
+    const featuresDir = path.join(unit.dir, 'features');
+    if (!fs.existsSync(featuresDir))
+        return out;
+    for (const f of fs.readdirSync(featuresDir).filter((x) => x.endsWith('.feature'))) {
+        const base = f.replace(/\.feature$/, '');
+        const spec = (0, spec_parser_1.parseSpecFile)(path.join(cwd, 'specs', 'generated', unit.unitId, `${base}.spec.ts`));
+        const dataFile = path.join(unit.dir, 'test-data', `${base}.yaml`);
+        const raw = fs.existsSync(dataFile) ? (0, test_data_resolver_1.loadTestData)(dataFile) : {};
+        const testData = Object.fromEntries(Object.entries(raw).map(([k, v]) => [k, (0, sensitive_key_1.maskCredentialValue)(k, String(v))]));
+        const secrets = (0, triage_unit_1.unitSecrets)(raw, cwd);
+        for (const m of (0, scenario_merger_1.mergeFeatureAndSpec)((0, feature_parser_1.parseFeatureMetadata)(path.join(featuresDir, f)), spec)) {
+            out.set(m.feature.name, { merged: m, testData, secrets });
+        }
+    }
+    return out;
+}
+function render(cwd, unit, id, row, sc) {
+    const tags = sc?.merged.feature.tags ?? [];
+    const resolve = (t) => (sc ? (0, test_data_resolver_1.substituteTestDataVars)(t, sc.testData) : t);
+    const steps = (sc?.merged.resolvedSteps ?? []).map((s) => resolve(s.text));
+    const thens = (sc?.merged.resolvedExpected ?? []).map((s) => resolve(s.text));
+    const high = tags.some((t) => t === '@high' || t === '@critical');
+    const severity = high && BLOCKING.test([row.scenario, ...steps].join(' ')) ? 'major' : 'minor';
+    const specFile = path.join(unit.dir, 'requirements', 'spec.md');
+    const env = (0, run_environment_1.getEnvironment)(cwd);
+    const front = {
+        id, title: row.scenario, severity, severity_source: 'proposed', status: 'open',
+        units: [unit.unitId], scenarios: [row.scenario], claims: row.ids, legacy: row.legacy,
+        spec: fs.existsSync(specFile) ? path.relative(cwd, specFile) : '',
+        found: {
+            date: new Date().toISOString().slice(0, 10),
+            env: process.env.SUNGEN_ENV || 'default',
+            base_url: env.baseURL,
+            platform: row.variant || (0, capability_1.readCapabilities)(cwd).platform || 'web',
+        },
+        tracker: '',
+    };
+    const body = [
+        '---', (0, yaml_1.stringify)(front).trimEnd(), '---', '',
+        `# ${id}: ${row.scenario}`, '',
+        '## Summary', '', '(to fill: what is wrong, where, and who it affects)', '',
+        '## Steps to reproduce', '', ...(steps.length ? steps.map((s, i) => `${i + 1}. ${s}`) : ['(scenario steps not found — see the feature)']), '',
+        '## Expected', '', ...thens.map((t) => `- ${t}`), ...(row.expected ? [`- Asserted value: ${row.expected}`] : []), '',
+        '## Actual', '', `- ${row.received ? `Received: ${row.received}` : row.evidence}`, '',
+        '## Evidence', '', `- Error: ${row.evidence}`, ...(row.tracePath ? [`- Trace: ${row.tracePath}`] : []), '',
+        '## Notes', '', `- Triage: ${row.class} (${row.ruleId})${row.variant ? ` on ${row.variant}` : ''}`, '',
+    ].join('\n');
+    return (0, api_testcase_formatter_1.redactSecrets)(body, sc?.secrets ?? []);
+}
+function draftDefects(cwd, unit, opts = {}) {
+    const triage = (0, triage_unit_1.readTriageReport)(cwd, unit.unitId);
+    if (!triage)
+        return { missingTriage: true, written: [], skipped: [] };
+    const recorded = new Map();
+    for (const r of (0, defects_1.readDefects)(cwd))
+        if (r.units.includes(unit.unitId))
+            for (const s of r.scenarios)
+                recorded.set(s, r.id);
+    const wanted = triage.rows.filter((r) => r.class === 'product-candidate'
+        && (!opts.scenario || r.scenario.includes(opts.scenario) || r.ids.includes(opts.scenario)));
+    const scenarios = unitScenarios(cwd, unit);
+    const result = { written: [], skipped: [] };
+    const seen = new Set();
+    for (const row of wanted) {
+        if (seen.has(row.scenario))
+            continue; // one record per scenario, even across OS variants
+        seen.add(row.scenario);
+        const existing = recorded.get(row.scenario);
+        if (existing) {
+            result.skipped.push({ scenario: row.scenario, id: existing });
+            continue;
+        }
+        const id = (0, defects_1.nextDefectId)(cwd);
+        const file = path.join((0, defects_1.defectsDir)(cwd), `${id}-${slug(row.scenario) || 'defect'}.md`);
+        fs.mkdirSync(path.dirname(file), { recursive: true });
+        fs.writeFileSync(file, render(cwd, unit, id, row, scenarios.get(row.scenario)), { encoding: 'utf-8', flag: 'wx' });
+        result.written.push(path.relative(cwd, file));
+    }
+    return result;
+}
+//# sourceMappingURL=defect-draft.js.map

package/dist/harness/defect-draft.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"defect-draft.js","sourceRoot":"","sources":["../../src/harness/defect-draft.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2FA,oCAuBC;AAlHD;;;;;;GAMG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,+BAA2C;AAE3C,gFAAoE;AACpE,kEAA8D;AAC9D,gEAAmE;AACnE,kEAAmF;AACnF,8DAAiE;AACjE,0DAAyD;AACzD,wEAAuF;AACvF,6CAAgD;AAChD,uCAAkE;AAElE,+CAA8D;AAS9D,mGAAmG;AACnG,MAAM,QAAQ,GAAG,2GAA2G,CAAC;AAE7H,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CACjC,CAAC,CAAC,OAAO,CAAC,8BAA8B,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAI/I,6FAA6F;AAC7F,SAAS,aAAa,CAAC,GAAW,EAAE,IAAkB;IACpD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACpD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,GAAG,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,IAAA,2BAAa,EAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC;QACjG,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QAClE,MAAM,GAAG,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAA,iCAAY,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,mCAAmB,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjH,MAAM,OAAO,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,IAAA,qCAAmB,EAAC,IAAA,qCAAoB,EAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YAC3F,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,MAAM,CAAC,GAAW,EAAE,IAAkB,EAAE,EAAU,EAAE,GAAc,EAAE,EAA4B;IACvG,MAAM,IAAI,GAAG,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAA,2CAAsB,EAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,WAAW,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IAC/F,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,IAAA,gCAAc,EAAC,GAAG,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG;QACZ,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM;QAC9E,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM;QACpF,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;QACjE,KAAK,EAAE;YACL,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC3C,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,SAAS;YACxC,QAAQ,EAAE,GAAG,CAAC,OAAO;YACrB,QAAQ,EAAE,GAAG,CAAC,OAAO,IAAI,IAAA,6BAAgB,EAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,KAAK;SACjE;QACD,OAAO,EAAE,EAAE;KACZ,CAAC;IACF,MAAM,IAAI,GAAG;QACX,KAAK,EAAE,IAAA,gBAAM,EAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,EAAE;QACzC,KAAK,EAAE,KAAK,GAAG,CAAC,QAAQ,EAAE,EAAE,EAAE;QAC9B,YAAY,EAAE,EAAE,EAAE,qDAAqD,EAAE,EAAE;QAC3E,uBAAuB,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,EAAE,EAAE;QAC7I,aAAa,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,qBAAqB,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpH,WAAW,EAAE,EAAE,EAAE,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,EAAE;QACrF,aAAa,EAAE,EAAE,EAAE,YAAY,GAAG,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1G,UAAU,EAAE,EAAE,EAAE,aAAa,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE;KACvG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,IAAA,sCAAa,EAAC,IAAI,EAAE,EAAE,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;AAChD,CAAC;AAED,SAAgB,YAAY,CAAC,GAAW,EAAE,IAAkB,EAAE,OAA8B,EAAE;IAC5F,MAAM,MAAM,GAAG,IAAA,8BAAgB,EAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,IAAA,qBAAW,EAAC,GAAG,CAAC;QAAE,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAExH,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,mBAAmB;WACnE,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9F,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAgB,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACzD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS,CAAG,mDAAmD;QAC3F,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,QAAQ,EAAE,CAAC;YAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC1F,MAAM,EAAE,GAAG,IAAA,sBAAY,EAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAA,oBAAU,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC;QACtF,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACnH,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/harness/defects.d.ts

@@ -0,0 +1,24 @@
+export declare const DEFECT_STATUSES: readonly ["open", "fixed", "verified", "closed", "wont-fix"];
+export type DefectStatus = typeof DEFECT_STATUSES[number];
+export interface DefectRecord {
+    id: string;
+    title: string;
+    severity: string;
+    status: string;
+    units: string[];
+    scenarios: string[];
+    /** Project-relative path of the record file. */
+    file: string;
+}
+export declare function defectsDir(cwd: string): string;
+/** The next free id: one above the highest number on disk, zero-padded to 3. */
+export declare function nextDefectId(cwd: string): string;
+/** Every record whose frontmatter parses; a malformed file is skipped, never thrown on. */
+export declare function readDefects(cwd: string): DefectRecord[];
+/**
+ * Advisory audit findings for one unit (never scored):
+ *   DEFECT-REF-MISSING     a `@known-defect:DEF-NNN` tag with no record file.
+ *   DEFECT-ORPHAN (info)   an OPEN record of this unit names a scenario the unit no longer has.
+ */
+export declare function defectLinkFindings(cwd: string, unitId: string, featureText: string, scenarioNames: string[]): string[];
+//# sourceMappingURL=defects.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"defects.d.ts","sourceRoot":"","sources":["../../src/harness/defects.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,eAAe,8DAA+D,CAAC;AAC5F,MAAM,MAAM,YAAY,GAAG,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AAE1D,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;CACd;AAKD,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE9C;AAOD,gFAAgF;AAChF,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAGhD;AAID,2FAA2F;AAC3F,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,EAAE,CAqBvD;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAoBtH"}

package/dist/harness/defects.js

@@ -0,0 +1,118 @@
+"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.DEFECT_STATUSES = void 0;
+exports.defectsDir = defectsDir;
+exports.nextDefectId = nextDefectId;
+exports.readDefects = readDefects;
+exports.defectLinkFindings = defectLinkFindings;
+/**
+ * Defect records — `qa/defects/DEF-NNN-<slug>.md`, one project-wide folder. A scenario points at a
+ * record with `@known-defect:DEF-NNN`; the record points back at units, scenarios, claims and legacy
+ * TCs in its frontmatter. This module reads the records and checks both directions of that link.
+ * Drafting a record from a triage row lives in defect-draft.ts.
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const yaml_1 = require("yaml");
+exports.DEFECT_STATUSES = ['open', 'fixed', 'verified', 'closed', 'wont-fix'];
+const DEF_FILE = /^(DEF-(\d+))-.*\.md$/;
+const KNOWN_DEFECT_TAG = /@known-defect:(DEF-\d+)\b/g;
+function defectsDir(cwd) {
+    return path.join(cwd, 'qa', 'defects');
+}
+function defectFiles(cwd) {
+    const dir = defectsDir(cwd);
+    return fs.existsSync(dir) ? fs.readdirSync(dir).filter((f) => DEF_FILE.test(f)).sort() : [];
+}
+/** The next free id: one above the highest number on disk, zero-padded to 3. */
+function nextDefectId(cwd) {
+    const max = defectFiles(cwd).reduce((m, f) => Math.max(m, Number(f.match(DEF_FILE)[2])), 0);
+    return `DEF-${String(max + 1).padStart(3, '0')}`;
+}
+const list = (v) => (Array.isArray(v) ? v.map(String) : []);
+/** Every record whose frontmatter parses; a malformed file is skipped, never thrown on. */
+function readDefects(cwd) {
+    const out = [];
+    for (const f of defectFiles(cwd)) {
+        const file = path.join(defectsDir(cwd), f);
+        try {
+            const fm = (0, yaml_1.parse)(fs.readFileSync(file, 'utf-8').split(/^---\s*$/m)[1] ?? '');
+            if (!fm || typeof fm !== 'object')
+                continue;
+            out.push({
+                id: String(fm.id ?? f.match(DEF_FILE)[1]),
+                title: String(fm.title ?? ''),
+                severity: String(fm.severity ?? ''),
+                status: String(fm.status ?? ''),
+                units: list(fm.units),
+                scenarios: list(fm.scenarios),
+                file: path.relative(cwd, file),
+            });
+        }
+        catch {
+            // unreadable frontmatter: not a record we can reason about
+        }
+    }
+    return out;
+}
+/**
+ * Advisory audit findings for one unit (never scored):
+ *   DEFECT-REF-MISSING     a `@known-defect:DEF-NNN` tag with no record file.
+ *   DEFECT-ORPHAN (info)   an OPEN record of this unit names a scenario the unit no longer has.
+ */
+function defectLinkFindings(cwd, unitId, featureText, scenarioNames) {
+    const records = readDefects(cwd);
+    const findings = [];
+    const known = new Set(records.map((r) => r.id));
+    const tagged = new Set([...featureText.matchAll(KNOWN_DEFECT_TAG)].map((m) => m[1]));
+    for (const id of tagged) {
+        if (!known.has(id)) {
+            findings.push(`DEFECT-REF-MISSING: \`@known-defect:${id}\` has no record in qa/defects/ — draft it with \`sungen defect draft --screen ${unitId}\`, or correct the id.`);
+        }
+    }
+    const names = new Set(scenarioNames);
+    for (const r of records) {
+        if (r.status !== 'open' || !r.units.includes(unitId))
+            continue;
+        for (const s of r.scenarios) {
+            if (!names.has(s)) {
+                findings.push(`DEFECT-ORPHAN (info): ${r.id} is open and names scenario "${s}", which ${unitId} no longer has — update the record's scenarios, or close it.`);
+            }
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=defects.js.map

package/dist/harness/defects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"defects.js","sourceRoot":"","sources":["../../src/harness/defects.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,gCAEC;AAQD,oCAGC;AAKD,kCAqBC;AAOD,gDAoBC;AA7FD;;;;;GAKG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,+BAA0C;AAE7B,QAAA,eAAe,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAU,CAAC;AAc5F,MAAM,QAAQ,GAAG,sBAAsB,CAAC;AACxC,MAAM,gBAAgB,GAAG,4BAA4B,CAAC;AAEtD,SAAgB,UAAU,CAAC,GAAW;IACpC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9F,CAAC;AAED,gFAAgF;AAChF,SAAgB,YAAY,CAAC,GAAW;IACtC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7F,OAAO,OAAO,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAU,EAAY,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAE/E,2FAA2F;AAC3F,SAAgB,WAAW,CAAC,GAAW;IACrC,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,IAAA,YAAS,EAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAmC,CAAC;YACnH,IAAI,CAAC,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ;gBAAE,SAAS;YAC5C,GAAG,CAAC,IAAI,CAAC;gBACP,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAE,CAAC,CAAC,CAAC,CAAC;gBAC1C,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC7B,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC;gBACnC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC;gBAC/B,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC;gBACrB,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC;gBAC7B,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;aAC/B,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,2DAA2D;QAC7D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,GAAW,EAAE,MAAc,EAAE,WAAmB,EAAE,aAAuB;IAC1G,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC,uCAAuC,EAAE,kFAAkF,MAAM,wBAAwB,CAAC,CAAC;QAC3K,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,SAAS;QAC/D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,QAAQ,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,EAAE,gCAAgC,CAAC,YAAY,MAAM,8DAA8D,CAAC,CAAC;YAChK,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/harness/gates/audit-gate-terms.d.ts

@@ -0,0 +1,41 @@
+/**
+ * The audit's gateStatus conjunction, in ONE place (OES-11.2): `runAudit` evaluates it to set
+ * gateStatus, and `verifyAuditReport` re-evaluates it from the report's own fields to catch a stored
+ * PASS the report cannot reproduce (a hand-flipped gateStatus + exitCode — tester finding m1).
+ *
+ * Each term names its catalog rule; `resolveRule` decides whether a violated one blocks. The decision
+ * layer adds three hard terms: a rejected override, a decision file that does not verify (id / hash).
+ * Re-evaluating catches casual tampering only: a forger who also rewrites every finding, gap and
+ * verdict in the report is out of scope here, as for inputsHash (anti-staleness, not anti-forgery).
+ */
+import { GateTerm } from './gate-terms';
+import { UnitGateOverrides } from './unit-gate-overrides';
+/** The report fields the conjunction reads — present in every report runAudit writes. */
+export interface AuditTermSources {
+    gate: {
+        gaps: unknown[];
+    };
+    depth: {
+        verdict: string;
+    };
+    claim: {
+        verdict: string;
+    };
+    spec: {
+        verdict: string;
+    };
+    taxonomyMismatch: boolean;
+    gateSensorError: boolean;
+    reusedScenarioIds: unknown[];
+}
+export declare function auditGateTerms(r: AuditTermSources): GateTerm[];
+export declare function decisionTerms(o: UnitGateOverrides): GateTerm[];
+/** The gateStatus a report's own terms produce under the unit's overrides — what the audit computed. */
+export declare function recomputeAuditGateStatus(sources: AuditTermSources, overrides: UnitGateOverrides): 'PASS' | 'FAIL';
+/**
+ * The term sources of a parsed audit.json. `strict` (a current report): every field must be there with
+ * its type, else null. Not strict (a legacy report, written before some fields): a missing field reads
+ * as "holds", so only a stored PASS that a present field contradicts can be caught.
+ */
+export declare function termSourcesOf(r: Record<string, unknown>, strict: boolean): AuditTermSources | null;
+//# sourceMappingURL=audit-gate-terms.d.ts.map

package/dist/harness/gates/audit-gate-terms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-gate-terms.d.ts","sourceRoot":"","sources":["../../../src/harness/gates/audit-gate-terms.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAqB,QAAQ,EAAE,MAAM,cAAc,CAAC;AAE3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAE1D,yFAAyF;AACzF,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE;QAAE,IAAI,EAAE,OAAO,EAAE,CAAA;KAAE,CAAC;IAC1B,KAAK,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3B,KAAK,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3B,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,eAAe,EAAE,OAAO,CAAC;IACzB,iBAAiB,EAAE,OAAO,EAAE,CAAC;CAC9B;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,gBAAgB,GAAG,QAAQ,EAAE,CAY9D;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,iBAAiB,GAAG,QAAQ,EAAE,CAM9D;AAED,wGAAwG;AACxG,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,iBAAiB,GAAG,MAAM,GAAG,MAAM,CAGjH;AAID;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,GAAG,gBAAgB,GAAG,IAAI,CAmBlG"}

package/dist/harness/gates/audit-gate-terms.js

@@ -0,0 +1,72 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.auditGateTerms = auditGateTerms;
+exports.decisionTerms = decisionTerms;
+exports.recomputeAuditGateStatus = recomputeAuditGateStatus;
+exports.termSourcesOf = termSourcesOf;
+/**
+ * The audit's gateStatus conjunction, in ONE place (OES-11.2): `runAudit` evaluates it to set
+ * gateStatus, and `verifyAuditReport` re-evaluates it from the report's own fields to catch a stored
+ * PASS the report cannot reproduce (a hand-flipped gateStatus + exitCode — tester finding m1).
+ *
+ * Each term names its catalog rule; `resolveRule` decides whether a violated one blocks. The decision
+ * layer adds three hard terms: a rejected override, a decision file that does not verify (id / hash).
+ * Re-evaluating catches casual tampering only: a forger who also rewrites every finding, gap and
+ * verdict in the report is out of scope here, as for inputsHash (anti-staleness, not anti-forgery).
+ */
+const gate_terms_1 = require("./gate-terms");
+const resolve_rule_1 = require("./resolve-rule");
+function auditGateTerms(r) {
+    return [
+        { rule: 'audit.viewpoint-coverage', holds: r.gate.gaps.length === 0 },
+        { rule: 'audit.assertion-depth', holds: r.depth.verdict !== 'fail' },
+        { rule: 'audit.claim-proof', holds: r.claim.verdict !== 'fail' },
+        { rule: 'audit.spec-coverage', holds: r.spec.verdict !== 'fail' },
+        { rule: 'audit.taxonomy-mismatch', holds: !r.taxonomyMismatch },
+        // An 'error' finding from a capability gate sensor (api, db, …) — the driver's own verdict.
+        { rule: 'audit.gate-sensor-error', holds: !r.gateSensorError },
+        // #694 — a reused id reaches the deliverable as two rows under one testcase id.
+        { rule: 'audit.scenario-id-reuse', holds: r.reusedScenarioIds.length === 0 },
+    ];
+}
+function decisionTerms(o) {
+    return [
+        { rule: 'gate.override-rejected', holds: o.rejected.length === 0 },
+        { rule: 'decision.id-reuse', holds: !o.problems.some((p) => p.code === 'id-mismatch') },
+        { rule: 'decision.mutated', holds: !o.problems.some((p) => p.code !== 'id-mismatch') },
+    ];
+}
+/** The gateStatus a report's own terms produce under the unit's overrides — what the audit computed. */
+function recomputeAuditGateStatus(sources, overrides) {
+    const outcome = (0, gate_terms_1.evaluateGateTerms)([...auditGateTerms(sources), ...decisionTerms(overrides)], (0, resolve_rule_1.trackGateRules)(overrides.context));
+    return outcome.pass ? 'PASS' : 'FAIL';
+}
+const isObj = (v) => !!v && typeof v === 'object' && !Array.isArray(v);
+/**
+ * The term sources of a parsed audit.json. `strict` (a current report): every field must be there with
+ * its type, else null. Not strict (a legacy report, written before some fields): a missing field reads
+ * as "holds", so only a stored PASS that a present field contradicts can be caught.
+ */
+function termSourcesOf(r, strict) {
+    const verdict = (k) => {
+        const v = r[k];
+        if (!isObj(v))
+            return strict ? null : undefined;
+        return typeof v.verdict === 'string' ? v.verdict : strict ? null : undefined;
+    };
+    const gaps = isObj(r.gate) && Array.isArray(r.gate.gaps) ? r.gate.gaps : strict ? null : [];
+    const depth = verdict('depth');
+    const claim = verdict('claim');
+    const spec = verdict('spec');
+    const flag = (k) => (typeof r[k] === 'boolean' ? r[k] : strict ? null : false);
+    const taxonomyMismatch = flag('taxonomyMismatch');
+    const gateSensorError = flag('gateSensorError');
+    const reused = Array.isArray(r.reusedScenarioIds) ? r.reusedScenarioIds : strict ? null : [];
+    if ([gaps, depth, claim, spec, taxonomyMismatch, gateSensorError, reused].some((x) => x === null))
+        return null;
+    return {
+        gate: { gaps: gaps }, depth: { verdict: depth ?? 'pass' }, claim: { verdict: claim ?? 'pass' }, spec: { verdict: spec ?? 'pass' },
+        taxonomyMismatch: taxonomyMismatch, gateSensorError: gateSensorError, reusedScenarioIds: reused,
+    };
+}
+//# sourceMappingURL=audit-gate-terms.js.map

package/dist/harness/gates/audit-gate-terms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-gate-terms.js","sourceRoot":"","sources":["../../../src/harness/gates/audit-gate-terms.ts"],"names":[],"mappings":";;AAyBA,wCAYC;AAED,sCAMC;AAGD,4DAGC;AASD,sCAmBC;AA/ED;;;;;;;;;GASG;AACH,6CAA2D;AAC3D,iDAAgD;AAchD,SAAgB,cAAc,CAAC,CAAmB;IAChD,OAAO;QACL,EAAE,IAAI,EAAE,0BAA0B,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;QACrE,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,MAAM,EAAE;QACpE,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,MAAM,EAAE;QAChE,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,MAAM,EAAE;QACjE,EAAE,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,gBAAgB,EAAE;QAC/D,4FAA4F;QAC5F,EAAE,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,eAAe,EAAE;QAC9D,gFAAgF;QAChF,EAAE,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,CAAC,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE;KAC7E,CAAC;AACJ,CAAC;AAED,SAAgB,aAAa,CAAC,CAAoB;IAChD,OAAO;QACL,EAAE,IAAI,EAAE,wBAAwB,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE;QAClE,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE;QACvF,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE;KACvF,CAAC;AACJ,CAAC;AAED,wGAAwG;AACxG,SAAgB,wBAAwB,CAAC,OAAyB,EAAE,SAA4B;IAC9F,MAAM,OAAO,GAAG,IAAA,8BAAiB,EAAC,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC,EAAE,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,IAAA,6BAAc,EAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAChI,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AACxC,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,CAAU,EAAgC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE9G;;;;GAIG;AACH,SAAgB,aAAa,CAAC,CAA0B,EAAE,MAAe;IACvE,MAAM,OAAO,GAAG,CAAC,CAAS,EAA6B,EAAE;QACvD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAChD,OAAO,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/E,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5F,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,CAAS,EAAkB,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAClH,MAAM,gBAAgB,GAAG,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAClD,MAAM,eAAe,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7F,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/G,OAAO;QACL,IAAI,EAAE,EAAE,IAAI,EAAE,IAAiB,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,IAAI,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,IAAI,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,IAAI,MAAM,EAAE;QAC9I,gBAAgB,EAAE,gBAA2B,EAAE,eAAe,EAAE,eAA0B,EAAE,iBAAiB,EAAE,MAAmB;KACnI,CAAC;AACJ,CAAC"}

package/dist/harness/gates/audit-gate-verdict.d.ts

@@ -0,0 +1,31 @@
+import { SensorVerdict } from './gate-terms';
+import { AuditTermSources } from './audit-gate-terms';
+import { GateOverrideReport } from './gate-override-report';
+import { GateRules, TrackedGateRules } from './resolve-rule';
+import { UnitGateOverrides } from './unit-gate-overrides';
+export declare const AUDIT_EXIT_CODE: {
+    readonly PASS: 0;
+    readonly FAIL: 2;
+};
+export interface AuditGateContext {
+    projectRoot: string;
+    overrides: UnitGateOverrides;
+    rules: TrackedGateRules;
+}
+export declare function auditGateContext(unitDir: string): AuditGateContext;
+/** A depth verdict a capability computed with the catalog alone, re-levelled for this unit's rules. */
+export declare function relevelProvidedDepth<T extends {
+    verdict: SensorVerdict;
+}>(depth: T, rules: GateRules): T;
+/** Findings for the decision layer — empty when the unit has no override and no bad decision file. */
+export declare function decisionFindings(ctx: AuditGateContext): string[];
+export interface AuditGateVerdict {
+    gateStatus: 'PASS' | 'FAIL';
+    gateOverrides: GateOverrideReport[];
+    decisionsHash: string;
+    inputsHash: string;
+    exitCode: number;
+}
+/** Evaluate the gateStatus conjunction (audit-gate-terms.ts, shared with the reader) and the verifiable fields. */
+export declare function auditGateVerdict(ctx: AuditGateContext, sources: AuditTermSources, unitDir: string, unitName: string): AuditGateVerdict;
+//# sourceMappingURL=audit-gate-verdict.d.ts.map

package/dist/harness/gates/audit-gate-verdict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-gate-verdict.d.ts","sourceRoot":"","sources":["../../../src/harness/gates/audit-gate-verdict.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAkC,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EAAkB,gBAAgB,EAAiB,MAAM,oBAAoB,CAAC;AACrF,OAAO,EAAE,kBAAkB,EAAuB,MAAM,wBAAwB,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAkB,MAAM,gBAAgB,CAAC;AAC7E,OAAO,EAAyC,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAEjG,eAAO,MAAM,eAAe;;;CAAgC,CAAC;AAE7D,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,iBAAiB,CAAC;IAC7B,KAAK,EAAE,gBAAgB,CAAC;CACzB;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,gBAAgB,CAIlE;AAED,uGAAuG;AACvG,wBAAgB,oBAAoB,CAAC,CAAC,SAAS;IAAE,OAAO,EAAE,aAAa,CAAA;CAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,GAAG,CAAC,CAIxG;AAED,sGAAsG;AACtG,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,gBAAgB,GAAG,MAAM,EAAE,CAWhE;AAED,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,GAAG,MAAM,CAAC;IAC5B,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,mHAAmH;AACnH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAUtI"}