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

package/dist/graph/nodes/test-case-contract-nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-case-contract-nodes.d.ts","sourceRoot":"","sources":["../../../src/graph/nodes/test-case-contract-nodes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAuB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAsCrE,eAAO,MAAM,wBAAwB,EAAE,SAAS,gBAAgB,EAiB/D,CAAC"}

package/dist/graph/nodes/test-case-contract-nodes.js

@@ -0,0 +1,59 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TEST_CASE_CONTRACT_NODES = void 0;
+/**
+ * The Test Contract per test case (P0 phase 09, DOS-14.4–14.6) — read off each case's class in the
+ * verdict `sungen contract check` and the delivery guard rebuild (TestCaseState.contract), so the
+ * three never disagree. The unit view keeps phase 05's QA decisions (unit.contract-approve,
+ * unit.contract-proposed); these add what only a case can say:
+ *
+ *   tc.contract-approve  --case only   approved, changed, not weaker      decide   approve --scenario <id>
+ *   tc.contract-check    --case only   weaker / other target / lost check,
+ *                                      or its lock entry is uncommitted   blocked  contract check
+ *   tc.unproven          approved free / impl:code, no admissible trace   do       run-test --ids (traced)
+ *   tc.conformance       its trace is in review: a `low` target identity  do       contract check --trace
+ *                        · its final attempt did not pass (inconclusive)  do       run-test --ids
+ *                        · a step no code can compare (opaque)            decide   contract check
+ * tc.contract-check (a weaker / retargeted / lost check, or an uncommitted lock entry) and tc.unproven
+ * are hard verdicts: they are offered past a stale or failing audit (the cut at unit.audit-stale /
+ * unit.gate-fail), #940; tc.contract-approve (changed, not weaker) is review and waits behind it. Exempt cases (DOS-11.2) open nothing. A proposed case (never approved) asks nothing of its own: a
+ * compiled test without a lock is never blocked, and the unit view offers the approval.
+ */
+const node_decl_1 = require("../node-decl");
+const test_case_satisfied_1 = require("../test-case-satisfied");
+const test_case_nodes_1 = require("./test-case-nodes");
+const HARD_LADDER = new Set(['oracle-weakened', 'target-changed', 'assertion-lost']);
+const classOf = (tc) => tc.contract?.class;
+/** Up to three cases with the finding behind each. */
+const withDetail = (cases) => `${cases.slice(0, 3).map((c) => (c.contract?.detail ? `${c.id}: ${c.contract.detail}` : c.id)).join('; ')}${cases.length > 3 ? '; …' : ''}`;
+const check = (s, trace = false) => `sungen contract check --screen ${s.unit}${trace ? ' --trace' : ''}`;
+function contractNode(id, rank, title, actor, gates, caseOnly, active, step, hard) {
+    return {
+        id, title, actor, granularity: 'test-case', appliesTo: node_decl_1.ALL_KINDS, blocking: false, rank, gates, step,
+        requires: caseOnly ? ['unit.gate-fail'] : ['unit.run'], produces: ['contracts.lock.yaml', 'decisions/<id>.yaml'],
+        ...(caseOnly ? { caseOnly: true } : {}),
+        active: (_s, tc) => active(tc),
+        satisfied: (_s, tc) => (0, test_case_satisfied_1.exemptionOf)(tc) !== null,
+        ...(hard ? { surfacesPastCut: (_s, tc) => hard(tc) } : {}),
+    };
+}
+const conformanceStep = (s, cases) => {
+    const low = cases.filter((c) => c.contract?.lowIdentity);
+    if (low.length) {
+        return { kind: 'do', command: check(s, true), because: `${low.length} free / impl:code test case(s) act on a target whose identity is only \`low\` (${(0, test_case_nodes_1.listed)(low)}) — resolve them in a real browser (needs @sungen/driver-ui). A low identity is never a match, so the contract stays in review and \`sungen delivery\` waits` };
+    }
+    const failed = cases.filter((c) => classOf(c) === 'inconclusive');
+    if (failed.length) {
+        return { kind: 'do', command: `/sungen:run-test ${s.unit}${(0, test_case_nodes_1.idsArg)(failed)}`, because: `${failed.length} approved free / impl:code test case(s) have no passing final attempt (${(0, test_case_nodes_1.listed)(failed)}) — the trace of a failed run proves nothing (contract.inconclusive): fix and triage the red, get a passing run, then \`${check(s, true)}\`` };
+    }
+    return { kind: 'decide', command: check(s), because: `${cases.length} free / impl:code test case(s) carry a step sungen cannot compare (${withDetail(cases)}) — a QA reviews it in \`sungen contract check\`; until then the contract is in review and \`sungen delivery\` waits. An agent presents this and never approves it` };
+};
+exports.TEST_CASE_CONTRACT_NODES = [
+    contractNode('tc.contract-approve', 106, 'Re-approve this changed case', 'human', ['contract.hash-changed'], true, (tc) => classOf(tc) === 'hash-changed' && !tc.contract?.uncommitted, (s, [c]) => ({ kind: 'decide', command: `sungen contract approve --screen ${s.unit} --scenario ${c.id}`, because: `this case changed since QA approved it, not weaker${c.contract?.detail ? ` (${c.contract.detail})` : ''} — a QA re-approves this scenario on a terminal; until then review blocks \`sungen delivery\`. An agent presents it and never approves its own edit` })),
+    contractNode('tc.contract-check', 107, 'Restore the approved check of this case', 'human', ['contract.oracle-weakened', 'contract.target-changed', 'contract.assertion-lost', 'contract.lock-uncommitted'], true, (tc) => Boolean(tc.contract?.uncommitted) || HARD_LADDER.has(classOf(tc) ?? ''), (s, [c]) => ({ kind: 'blocked', command: check(s), because: c.contract?.uncommitted
+            ? `its lock entry is not what QA approved and committed (contract.lock-uncommitted) — \`sungen next ${s.unit}\` names the repair; \`sungen delivery\` is blocked until then`
+            : `this case breaks its approved contract (${c.contract?.class}${c.contract?.detail ? `: ${c.contract.detail}` : ''}) — restore the approved check (in the .feature, or in the hand-written test of a free / impl:code case), or a QA approves the change on a terminal (\`sungen contract approve --screen ${s.unit} --scenario ${c.id}\`). \`sungen delivery\` is blocked until then; never weaken an expected value to go green` }), (tc) => Boolean(tc.contract?.uncommitted) || HARD_LADDER.has(classOf(tc) ?? '')),
+    contractNode('tc.unproven', 136, 'Prove the approved free cases with a trace', 'ai', ['contract.unproven'], false, (tc) => classOf(tc) === 'unproven', (s, cases) => ({ kind: 'do', command: `/sungen:run-test ${s.unit}${(0, test_case_nodes_1.idsArg)(cases)}`, because: `${cases.length} approved free / impl:code test case(s) have no trace that proves them (${withDetail(cases)}) — run them again with trace: 'on' and the sungen run-record reporter (run-test Phase 4 does), then \`${check(s, true)}\`. Until then \`sungen contract check\` fails (contract.unproven) and \`sungen delivery\` is blocked; re-approving or editing the .feature cannot prove them` }), (tc) => classOf(tc) === 'unproven'),
+    contractNode('tc.conformance', 138, 'Settle the traces in review', 'ai', ['contract.opaque-step', 'contract.inconclusive'], false, (tc) => classOf(tc) === 'opaque' || classOf(tc) === 'inconclusive', conformanceStep),
+];
+//# sourceMappingURL=test-case-contract-nodes.js.map

package/dist/graph/nodes/test-case-contract-nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-case-contract-nodes.js","sourceRoot":"","sources":["../../../src/graph/nodes/test-case-contract-nodes.ts"],"names":[],"mappings":";;;AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,4CAAqE;AAGrE,gEAAqD;AACrD,uDAAmD;AAGnD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC,CAAC;AACrF,MAAM,OAAO,GAAG,CAAC,EAAiB,EAAsB,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC;AAC9E,sDAAsD;AACtD,MAAM,UAAU,GAAG,CAAC,KAAsB,EAAU,EAAE,CACpD,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC9I,MAAM,KAAK,GAAG,CAAC,CAAY,EAAE,KAAK,GAAG,KAAK,EAAU,EAAE,CAAC,kCAAkC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAE5H,SAAS,YAAY,CAAC,EAAU,EAAE,IAAY,EAAE,KAAa,EAAE,KAAgC,EAAE,KAAe,EAAE,QAAiB,EACjI,MAAsC,EAAE,IAAU,EAAE,IAAqC;IACzF,OAAO;QACL,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI;QACpG,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;QAChH,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAA,iCAAW,EAAC,EAAE,CAAC,KAAK,IAAI;QAC/C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,EAAa,EAAE,EAAiB,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrF,CAAC;AACJ,CAAC;AAED,MAAM,eAAe,GAAS,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;IACzC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACzD,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACf,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,MAAM,kFAAkF,IAAA,wBAAM,EAAC,GAAG,CAAC,8JAA8J,EAAE,CAAC;IACpU,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC;IAClE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,oBAAoB,CAAC,CAAC,IAAI,GAAG,IAAA,wBAAM,EAAC,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,0EAA0E,IAAA,wBAAM,EAAC,MAAM,CAAC,2HAA2H,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAChV,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,sEAAsE,UAAU,CAAC,KAAK,CAAC,oKAAoK,EAAE,CAAC;AACpU,CAAC,CAAC;AAEW,QAAA,wBAAwB,GAAgC;IACnE,YAAY,CAAC,qBAAqB,EAAE,GAAG,EAAE,8BAA8B,EAAE,OAAO,EAAE,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAC/G,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,cAAc,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,WAAW,EACnE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,oCAAoC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,qDAAqD,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,qJAAqJ,EAAE,CAAC,CAAC;IACrX,YAAY,CAAC,mBAAmB,EAAE,GAAG,EAAE,yCAAyC,EAAE,OAAO,EACvF,CAAC,0BAA0B,EAAE,yBAAyB,EAAE,yBAAyB,EAAE,2BAA2B,CAAC,EAAE,IAAI,EACrH,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAC/E,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,WAAW;YACjF,CAAC,CAAC,oGAAoG,CAAC,CAAC,IAAI,gEAAgE;YAC5K,CAAC,CAAC,2CAA2C,CAAC,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,2LAA2L,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,4FAA4F,EAAE,CAAC,EACxa,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IAClF,YAAY,CAAC,aAAa,EAAE,GAAG,EAAE,4CAA4C,EAAE,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,KAAK,EAC/G,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,UAAU,EAClC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,oBAAoB,CAAC,CAAC,IAAI,GAAG,IAAA,wBAAM,EAAC,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,2EAA2E,UAAU,CAAC,KAAK,CAAC,0GAA0G,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,+JAA+J,EAAE,CAAC,EACle,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC;IACrC,YAAY,CAAC,gBAAgB,EAAE,GAAG,EAAE,6BAA6B,EAAE,IAAI,EAAE,CAAC,sBAAsB,EAAE,uBAAuB,CAAC,EAAE,KAAK,EAC/H,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,EAAE,CAAC,KAAK,cAAc,EAAE,eAAe,CAAC;CACvF,CAAC"}

package/dist/graph/nodes/test-case-nodes.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Test-case nodes (OES-10.3) — added after parity, as an intentional output change. Each judges one
+ * case at a time; the cases open at a node fold into ONE step at unit level ("N test case(s) …"),
+ * and `sungen next <unit> --case <id>` shows the one case's step. Satisfied semantics: DOS-11.2
+ * (test-case-satisfied.ts) — exempt cases never open a node.
+ *
+ *   tc.run                never run (a case added after the run)            do      run-test --ids
+ *   tc.rerun-stale        changed after the recorded run (run manifest)     do      run-test --change-only
+ *   tc.triage             red, not classified by a current triage           do      sungen triage
+ *   tc.product-candidate  triage found a product-defect candidate           decide  sungen defect draft
+ * They sit after unit.run (which cuts a unit that never ran) and before delivery. tc.triage takes
+ * the reds the cases account for; unit.triage keeps the rest (unattributedReds), so a red no case
+ * explains — an @cases row, a renamed scenario, a nested describe title — still gets a triage step.
+ */
+import { TestCaseNodeDecl } from '../node-decl';
+import type { UnitState } from '../../harness/next-step';
+import type { TestCaseState } from '../test-case-state-shape';
+export declare const listed: (cases: TestCaseState[]) => string;
+/** `--ids` only names cases `sungen select` can resolve: stable ids, a short list. */
+export declare const idsArg: (cases: TestCaseState[]) => string;
+export declare const TEST_CASE_NODES: readonly TestCaseNodeDecl[];
+/** Red final attempts the test cases account for (a case read without the count stands for one). */
+export declare const attributedReds: (s: UnitState) => number;
+/** The reds unit.triage still owns: all of them without test-case states, else those no case accounts for. */
+export declare const unattributedReds: (s: UnitState) => number;
+//# sourceMappingURL=test-case-nodes.d.ts.map

package/dist/graph/nodes/test-case-nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-case-nodes.d.ts","sourceRoot":"","sources":["../../../src/graph/nodes/test-case-nodes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAuB,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAI9D,eAAO,MAAM,MAAM,GAAI,OAAO,aAAa,EAAE,KAAG,MAA4F,CAAC;AAC7I,sFAAsF;AACtF,eAAO,MAAM,MAAM,GAAI,OAAO,aAAa,EAAE,KAAG,MACoE,CAAC;AAarH,eAAO,MAAM,eAAe,EAAE,SAAS,gBAAgB,EAwBtD,CAAC;AAEF,oGAAoG;AACpG,eAAO,MAAM,cAAc,GAAI,GAAG,SAAS,KAAG,MACwD,CAAC;AAEvG,8GAA8G;AAC9G,eAAO,MAAM,gBAAgB,GAAI,GAAG,SAAS,KAAG,MAAsE,CAAC"}

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

@@ -0,0 +1,66 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.unattributedReds = exports.attributedReds = exports.TEST_CASE_NODES = exports.idsArg = exports.listed = void 0;
+/**
+ * Test-case nodes (OES-10.3) — added after parity, as an intentional output change. Each judges one
+ * case at a time; the cases open at a node fold into ONE step at unit level ("N test case(s) …"),
+ * and `sungen next <unit> --case <id>` shows the one case's step. Satisfied semantics: DOS-11.2
+ * (test-case-satisfied.ts) — exempt cases never open a node.
+ *
+ *   tc.run                never run (a case added after the run)            do      run-test --ids
+ *   tc.rerun-stale        changed after the recorded run (run manifest)     do      run-test --change-only
+ *   tc.triage             red, not classified by a current triage           do      sungen triage
+ *   tc.product-candidate  triage found a product-defect candidate           decide  sungen defect draft
+ * They sit after unit.run (which cuts a unit that never ran) and before delivery. tc.triage takes
+ * the reds the cases account for; unit.triage keeps the rest (unattributedReds), so a red no case
+ * explains — an @cases row, a renamed scenario, a nested describe title — still gets a triage step.
+ */
+const node_decl_1 = require("../node-decl");
+const test_case_satisfied_1 = require("../test-case-satisfied");
+const MAX_IDS = 10;
+const listed = (cases) => `${cases.slice(0, 4).map((c) => c.id).join(', ')}${cases.length > 4 ? ', …' : ''}`;
+exports.listed = listed;
+/** `--ids` only names cases `sungen select` can resolve: stable ids, a short list. */
+const idsArg = (cases) => (cases.length <= MAX_IDS && cases.every((c) => !c.unstableId) ? ` --ids ${cases.map((c) => c.id).join(',')}` : '');
+exports.idsArg = idsArg;
+const flag = (s) => (s.kind === 'api' ? '--api' : '--screen');
+function caseNode(id, need, rank, title, actor, step, produces) {
+    return {
+        id, title, actor, granularity: 'test-case', appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.run'], blocking: false, rank,
+        gates: [], produces, step,
+        active: (_s, tc) => (0, test_case_satisfied_1.triggerOf)(tc) === need,
+        satisfied: (_s, tc) => (0, test_case_satisfied_1.exemptionOf)(tc) !== null,
+    };
+}
+exports.TEST_CASE_NODES = [
+    caseNode('tc.run', 'run', 131, 'Run the cases that never ran', 'ai', (s, cases) => ({
+        kind: 'do',
+        command: `/sungen:run-test ${s.unit}${(0, exports.idsArg)(cases)}`,
+        because: `${cases.length} test case(s) have never run (${(0, exports.listed)(cases)}) — their rows read Pending in the deliverable`,
+    }), ['specs/generated/<unit>/<unit>-test-result.json']),
+    caseNode('tc.rerun-stale', 'rerun-stale', 132, 'Re-run the cases that changed after their run', 'ai', (s, cases, single) => ({
+        kind: 'do',
+        command: single && (0, exports.idsArg)(cases) ? `/sungen:run-test ${s.unit}${(0, exports.idsArg)(cases)}` : `/sungen:run-test ${s.unit} --change-only`,
+        because: `${cases.length} test case(s) changed after the run that produced their result (${cases.slice(0, 3).map((c) => `${c.id}: ${c.stale}`).join('; ')}${cases.length > 3 ? '; …' : ''}) — that result no longer describes the scenario`,
+    }), ['specs/generated/<unit>/<unit>-test-result.json', '.sungen/run-manifest/<unit>.json']),
+    caseNode('tc.triage', 'triage', 133, 'Classify the red cases', 'deterministic', (s, cases) => {
+        const left = cases.filter((c) => c.triage?.class === 'unclassified').length;
+        return {
+            kind: 'do',
+            command: `sungen triage ${flag(s)} ${s.unit}`,
+            because: `${cases.length} test case(s) failed in the latest run and are not classified yet${left ? ` (${left} left unclassified by the last triage — read its evidence and classify by hand)` : ''} — classify each (known defect, test defect, environment, product candidate) before exporting or extending: an unexplained red in the deliverable is a finding nobody has judged`,
+        };
+    }, ['.sungen/triage/<unit>.json']),
+    caseNode('tc.product-candidate', 'product-candidate', 134, 'Decide on the product-defect candidates', 'human', (s, cases, single) => ({
+        kind: 'decide',
+        command: `sungen defect draft ${flag(s)} ${s.unit}${single ? ` --scenario ${cases[0].id}` : ''}`,
+        because: `${cases.length} red test case(s) look like a product defect (${(0, exports.listed)(cases)}) — the app answered and the answer differs from the oracle. A QA decides whether it is a defect to record; an agent presents it and does not draft it on its own`,
+    }), ['qa/defects/DEF-<n>-<slug>.md']),
+];
+/** Red final attempts the test cases account for (a case read without the count stands for one). */
+const attributedReds = (s) => (s.testCases ?? []).reduce((n, tc) => n + (tc.failedResults ?? (tc.result === 'failed' ? 1 : 0)), 0);
+exports.attributedReds = attributedReds;
+/** The reds unit.triage still owns: all of them without test-case states, else those no case accounts for. */
+const unattributedReds = (s) => (s.failedCount ?? 0) - (s.testCases ? (0, exports.attributedReds)(s) : 0);
+exports.unattributedReds = unattributedReds;
+//# sourceMappingURL=test-case-nodes.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"test-case-nodes.js","sourceRoot":"","sources":["../../../src/graph/nodes/test-case-nodes.ts"],"names":[],"mappings":";;;AAAA;;;;;;;;;;;;;GAaG;AACH,4CAAqE;AAGrE,gEAA8E;AAE9E,MAAM,OAAO,GAAG,EAAE,CAAC;AACZ,MAAM,MAAM,GAAG,CAAC,KAAsB,EAAU,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAAhI,QAAA,MAAM,UAA0H;AAC7I,sFAAsF;AAC/E,MAAM,MAAM,GAAG,CAAC,KAAsB,EAAU,EAAE,CACvD,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AADxG,QAAA,MAAM,UACkG;AACrH,MAAM,IAAI,GAAG,CAAC,CAAY,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;AAEjF,SAAS,QAAQ,CAAC,EAAU,EAAE,IAAkB,EAAE,IAAY,EAAE,KAAa,EAAE,KAAgC,EAC7G,IAAyE,EAAE,QAAkB;IAC7F,OAAO;QACL,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI;QAC/G,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI;QACzB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAA,+BAAS,EAAC,EAAE,CAAC,KAAK,IAAI;QAC1C,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAA,iCAAW,EAAC,EAAE,CAAC,KAAK,IAAI;KAChD,CAAC;AACJ,CAAC;AAEY,QAAA,eAAe,GAAgC;IAC1D,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,8BAA8B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAClF,IAAI,EAAE,IAAI;QACV,OAAO,EAAE,oBAAoB,CAAC,CAAC,IAAI,GAAG,IAAA,cAAM,EAAC,KAAK,CAAC,EAAE;QACrD,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,iCAAiC,IAAA,cAAM,EAAC,KAAK,CAAC,gDAAgD;KACvH,CAAC,EAAE,CAAC,gDAAgD,CAAC,CAAC;IACvD,QAAQ,CAAC,gBAAgB,EAAE,aAAa,EAAE,GAAG,EAAE,+CAA+C,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAC3H,IAAI,EAAE,IAAI;QACV,OAAO,EAAE,MAAM,IAAI,IAAA,cAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,IAAI,GAAG,IAAA,cAAM,EAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,IAAI,gBAAgB;QAC5H,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,mEAAmE,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,kDAAkD;KAC5O,CAAC,EAAE,CAAC,gDAAgD,EAAE,kCAAkC,CAAC,CAAC;IAC3F,QAAQ,CAAC,WAAW,EAAE,QAAQ,EAAE,GAAG,EAAE,wBAAwB,EAAE,eAAe,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAC3F,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;QAC5E,OAAO;YACL,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,iBAAiB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;YAC7C,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,oEAAoE,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,iFAAiF,CAAC,CAAC,CAAC,EAAE,kLAAkL;SACrX,CAAC;IACJ,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC;IAClC,QAAQ,CAAC,sBAAsB,EAAE,mBAAmB,EAAE,GAAG,EAAE,yCAAyC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QACpI,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,uBAAuB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,eAAe,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAChG,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,iDAAiD,IAAA,cAAM,EAAC,KAAK,CAAC,mKAAmK;KAC1P,CAAC,EAAE,CAAC,8BAA8B,CAAC,CAAC;CACtC,CAAC;AAEF,oGAAoG;AAC7F,MAAM,cAAc,GAAG,CAAC,CAAY,EAAU,EAAE,CACrD,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAD1F,QAAA,cAAc,kBAC4E;AAEvG,8GAA8G;AACvG,MAAM,gBAAgB,GAAG,CAAC,CAAY,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,sBAAc,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAA1G,QAAA,gBAAgB,oBAA0F"}

package/dist/graph/nodes/unit-audit-nodes.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Audit-stage unit nodes — rows 7–10 of the OES-10.2 parity table (exact words of the frozen oracle).
+ *
+ *    7 unit.audit-missing     never audited → `sungen audit`, cuts
+ *    7 unit.audit-stale       a report that does not count (stale, untrusted) → re-audit, cuts (OES-10.3,
+ *                             phase 05: the report is read through verifyAuditReport, as gate and delivery do)
+ *    8 unit.baseline-changed  viewpoint baseline moved → `--accept-viewpoint`, a QA DECISION (#660)
+ *    9 unit.repair-findings   findings with a known repair → repair + re-audit, names ≤ 4 codes
+ *   10 unit.gate-fail         gateStatus FAIL → blocked, cuts
+ */
+import { UnitNodeDecl } from '../node-decl';
+import type { UnitState } from '../../harness/next-step';
+/** The finding codes worth naming in a next step — each maps to a specific repair. */
+export declare const REPAIRABLE: readonly string[];
+/** The repairable codes of the audit's findings, in finding order, duplicates kept (they are counted). */
+export declare function repairableCodes(s: UnitState): string[];
+export declare const UNIT_AUDIT_NODES: readonly UnitNodeDecl[];
+//# sourceMappingURL=unit-audit-nodes.d.ts.map

package/dist/graph/nodes/unit-audit-nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-audit-nodes.d.ts","sourceRoot":"","sources":["../../../src/graph/nodes/unit-audit-nodes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAa,YAAY,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEzD,sFAAsF;AACtF,eAAO,MAAM,UAAU,EAAE,SAAS,MAAM,EAQvC,CAAC;AAEF,0GAA0G;AAC1G,wBAAgB,eAAe,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,EAAE,CAItD;AAMD,eAAO,MAAM,gBAAgB,EAAE,SAAS,YAAY,EA2DnD,CAAC"}

package/dist/graph/nodes/unit-audit-nodes.js

@@ -0,0 +1,95 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.UNIT_AUDIT_NODES = exports.REPAIRABLE = void 0;
+exports.repairableCodes = repairableCodes;
+/**
+ * Audit-stage unit nodes — rows 7–10 of the OES-10.2 parity table (exact words of the frozen oracle).
+ *
+ *    7 unit.audit-missing     never audited → `sungen audit`, cuts
+ *    7 unit.audit-stale       a report that does not count (stale, untrusted) → re-audit, cuts (OES-10.3,
+ *                             phase 05: the report is read through verifyAuditReport, as gate and delivery do)
+ *    8 unit.baseline-changed  viewpoint baseline moved → `--accept-viewpoint`, a QA DECISION (#660)
+ *    9 unit.repair-findings   findings with a known repair → repair + re-audit, names ≤ 4 codes
+ *   10 unit.gate-fail         gateStatus FAIL → blocked, cuts
+ */
+const node_decl_1 = require("../node-decl");
+/** The finding codes worth naming in a next step — each maps to a specific repair. */
+exports.REPAIRABLE = [
+    'FLOW-CONTRACT-MISSING', 'FLOW-INVENTORY-MISSING', 'FLOW-UNCOVERED', 'FLOW-UNDECLARED',
+    'FLOW-PHASE-MISFILED', 'FLOW-GUARANTEE-MISSING', 'FLOW-OUTCOME-UNPROVEN', 'CONTINUITY-ONE-SIDED',
+    'ORACLE-URL-ONLY',
+    'SPEC-RESTATED-UNVERIFIED', 'VIEWPOINT-GESTURE-SUBSTITUTED', 'SPEC-UNCOVERED', 'SPEC-CLAUSE-UNCOVERED',
+    'TRIGGER-UNCOVERED', 'PERMISSION-PAIR-MISSING', 'VISIBILITY-PAIR-MISSING',
+    'VIEWPOINT-ITEM-MISSING', 'MANUAL-CODE-MISSING', 'MANUAL-AUTOMATABLE', 'DEPTH-DEFERRED',
+    'UI-INVENTORY-MISSING', 'UI-INVENTORY-INCOMPLETE', 'UI-ITEM-UNCOVERED',
+];
+/** The repairable codes of the audit's findings, in finding order, duplicates kept (they are counted). */
+function repairableCodes(s) {
+    return (s.audit?.findings ?? [])
+        .map((f) => f.split(':')[0].trim())
+        .filter((code) => exports.REPAIRABLE.includes(code));
+}
+/** The rules whose conjunction is the audit's gateStatus (audit-gate-terms.ts). */
+const AUDIT_GATE_RULES = ['audit.viewpoint-coverage', 'audit.assertion-depth', 'audit.claim-proof', 'audit.spec-coverage',
+    'audit.taxonomy-mismatch', 'audit.gate-sensor-error', 'audit.scenario-id-reuse'];
+exports.UNIT_AUDIT_NODES = [
+    {
+        id: 'unit.audit-missing', title: 'Measure the suite', actor: 'deterministic', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.no-scenarios'], blocking: true, rank: 70, gates: [], produces: ['.sungen/reports/<unit>-audit.json'],
+        active: (s) => !s.auditNotCounted,
+        satisfied: (s) => Boolean(s.audit),
+        step: (s) => ({ kind: 'do', command: `sungen audit --screen ${s.unit}`, because: 'the suite has never been measured' }),
+    },
+    {
+        // OES-11.4: next, gate and delivery read one verdict — a report that does not count blocks all three.
+        id: 'unit.audit-stale', title: 'Re-measure the suite', actor: 'deterministic', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.no-scenarios'], blocking: true, rank: 71, gates: [], produces: ['.sungen/reports/<unit>-audit.json'],
+        active: (s) => Boolean(s.auditNotCounted),
+        satisfied: (s) => Boolean(s.audit),
+        step: (s) => ({
+            kind: 'do',
+            command: `sungen audit --screen ${s.unit}`,
+            because: s.auditNotCounted.state === 'stale'
+                ? `the audit report is stale (${s.auditNotCounted.reason}) — it no longer describes the suite and the decisions in force, so \`sungen gate\` and \`sungen delivery\` treat the unit as never audited until it is re-run`
+                : `the audit report is not trusted (${s.auditNotCounted.reason}) — it counts as never audited (DOS-14.0) until \`sungen audit\` writes it again; never edit the report`,
+        }),
+    },
+    {
+        // A decision, not a step: accepting the yardstick an agent just wrote makes both axes read 100% (#660).
+        id: 'unit.baseline-changed', title: 'Accept the changed viewpoint', actor: 'human', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.audit-missing', 'unit.audit-stale'], blocking: false, rank: 80, gates: [], produces: ['.sungen/viewpoint-baseline.json'],
+        active: (s) => Boolean(s.audit),
+        satisfied: (s) => s.audit?.viewpointBaselineStatus !== 'changed',
+        step: (s) => ({
+            kind: 'decide',
+            command: `sungen audit --screen ${s.unit} --accept-viewpoint`,
+            because: 'test-viewpoint.md changed since the accepted baseline, so the ledger and traceability axes are not evidence until a QA confirms the new declaration. A decision, not a step: an agent presents it and does not run it — accepting the yardstick you just wrote makes both axes read 100% by construction',
+        }),
+    },
+    {
+        id: 'unit.repair-findings', title: 'Repair the named findings', actor: 'ai', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.audit-missing', 'unit.audit-stale'], blocking: false, rank: 90, gates: [], produces: ['features/<unit>.feature'],
+        active: (s) => Boolean(s.audit),
+        satisfied: (s) => repairableCodes(s).length === 0,
+        step: (s) => {
+            const repair = repairableCodes(s);
+            return {
+                kind: 'do',
+                command: `repair, then sungen audit --screen ${s.unit}`,
+                because: `${repair.length} finding(s) name a specific repair: ${[...new Set(repair)].slice(0, 4).join(', ')}`,
+            };
+        },
+    },
+    {
+        id: 'unit.gate-fail', title: 'Repair the failing gate', actor: 'ai', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.audit-missing', 'unit.audit-stale'], blocking: true, rank: 100, gates: AUDIT_GATE_RULES, produces: ['features/<unit>.feature'],
+        active: (s) => Boolean(s.audit),
+        satisfied: (s) => s.audit?.gateStatus !== 'FAIL',
+        step: (s) => ({
+            kind: 'blocked',
+            command: `repair the gate, then sungen audit --screen ${s.unit}`,
+            because: `the viewpoint gate is FAIL at ${s.audit.overall}/10 — running tests against a design that fails its own gate measures the wrong thing`,
+        }),
+    },
+];
+//# sourceMappingURL=unit-audit-nodes.js.map

package/dist/graph/nodes/unit-audit-nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-audit-nodes.js","sourceRoot":"","sources":["../../../src/graph/nodes/unit-audit-nodes.ts"],"names":[],"mappings":";;;AAyBA,0CAIC;AA7BD;;;;;;;;;GASG;AACH,4CAAuD;AAGvD,sFAAsF;AACzE,QAAA,UAAU,GAAsB;IAC3C,uBAAuB,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,iBAAiB;IACtF,qBAAqB,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,sBAAsB;IAChG,iBAAiB;IACjB,0BAA0B,EAAE,+BAA+B,EAAE,gBAAgB,EAAE,uBAAuB;IACtG,mBAAmB,EAAE,yBAAyB,EAAE,yBAAyB;IACzE,wBAAwB,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,gBAAgB;IACvF,sBAAsB,EAAE,yBAAyB,EAAE,mBAAmB;CACvE,CAAC;AAEF,0GAA0G;AAC1G,SAAgB,eAAe,CAAC,CAAY;IAC1C,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC;SAC7B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAClC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,mFAAmF;AACnF,MAAM,gBAAgB,GAAG,CAAC,0BAA0B,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,qBAAqB;IACvH,yBAAyB,EAAE,yBAAyB,EAAE,yBAAyB,CAAC,CAAC;AAEtE,QAAA,gBAAgB,GAA4B;IACvD;QACE,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM;QACjG,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,mBAAmB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,mCAAmC,CAAC;QAC3I,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe;QACjC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAClC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,yBAAyB,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC;KACxH;IACD;QACE,sGAAsG;QACtG,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,sBAAsB,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM;QAClG,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,mBAAmB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,mCAAmC,CAAC;QAC3I,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAClC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,yBAAyB,CAAC,CAAC,IAAI,EAAE;YAC1C,OAAO,EAAE,CAAC,CAAC,eAAgB,CAAC,KAAK,KAAK,OAAO;gBAC3C,CAAC,CAAC,8BAA8B,CAAC,CAAC,eAAgB,CAAC,MAAM,gKAAgK;gBACzN,CAAC,CAAC,oCAAoC,CAAC,CAAC,eAAgB,CAAC,MAAM,yGAAyG;SAC3K,CAAC;KACH;IACD;QACE,wGAAwG;QACxG,EAAE,EAAE,uBAAuB,EAAE,KAAK,EAAE,8BAA8B,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM;QACvG,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,iCAAiC,CAAC;QAC/J,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAC/B,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,uBAAuB,KAAK,SAAS;QAChE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,yBAAyB,CAAC,CAAC,IAAI,qBAAqB;YAC7D,OAAO,EAAE,0SAA0S;SACpT,CAAC;KACH;IACD;QACE,EAAE,EAAE,sBAAsB,EAAE,KAAK,EAAE,2BAA2B,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM;QAChG,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACvJ,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAC/B,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;QACjD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;YAClC,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,OAAO,EAAE,sCAAsC,CAAC,CAAC,IAAI,EAAE;gBACvD,OAAO,EAAE,GAAG,MAAM,CAAC,MAAM,uCAAuC,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aAC9G,CAAC;QACJ,CAAC;KACF;IACD;QACE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,yBAAyB,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM;QACxF,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,oBAAoB,EAAE,kBAAkB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACrK,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QAC/B,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,UAAU,KAAK,MAAM;QAChD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,+CAA+C,CAAC,CAAC,IAAI,EAAE;YAChE,OAAO,EAAE,iCAAiC,CAAC,CAAC,KAAM,CAAC,OAAO,uFAAuF;SAClJ,CAAC;KACH;CACF,CAAC"}

package/dist/graph/nodes/unit-contract-node.d.ts

@@ -0,0 +1,21 @@
+/**
+ * The Test Contract as a QA DECISION in `sungen next` (DOS-14.4, phase 06 residual) — built from the
+ * verdict `sungen contract check` and the delivery guard rebuild (buildContractVerdict), so the three
+ * never disagree. Always `decide`: an agent presents it and never approves its own edit.
+ *
+ *   unit.contract-approve  (rank 105, after the audit gate, before the first run; a hard verdict —
+ *                          hard or uncommitted — is offered past a stale or failing audit too, #940)
+ *     error        the verdict could not be built → check it on a terminal
+ *     uncommitted  by kind: tampered → re-approve or restore · untracked → commit after review ·
+ *                  edited → review and commit, or `git checkout --` the lock · unverified → commit the
+ *                  decision (approving again cannot fix a commit, and offering it would loop)
+ *     hard         a check got weaker / changed target / was lost → restore it, or QA approves
+ *     review       changed, not weaker → QA re-approves (review blocks delivery)
+ *   unit.contract-proposed (rank 137, after every blocking unit step — it never preempts one)
+ *     proposed     never approved → QA approves (proposed scenarios never block)
+ * A free / impl:code scenario only its TRACE cannot prove — unproven, inconclusive, opaque — is not a
+ * unit decision: the case nodes say what proves it (test-case-contract-nodes.ts, phase 09).
+ */
+import { UnitNodeDecl } from '../node-decl';
+export declare const UNIT_CONTRACT_NODES: readonly UnitNodeDecl[];
+//# sourceMappingURL=unit-contract-node.d.ts.map

package/dist/graph/nodes/unit-contract-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-contract-node.d.ts","sourceRoot":"","sources":["../../../src/graph/nodes/unit-contract-node.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAuB,YAAY,EAAe,MAAM,cAAc,CAAC;AA2C9E,eAAO,MAAM,mBAAmB,EAAE,SAAS,YAAY,EA2BtD,CAAC"}

package/dist/graph/nodes/unit-contract-node.js

@@ -0,0 +1,88 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.UNIT_CONTRACT_NODES = void 0;
+/**
+ * The Test Contract as a QA DECISION in `sungen next` (DOS-14.4, phase 06 residual) — built from the
+ * verdict `sungen contract check` and the delivery guard rebuild (buildContractVerdict), so the three
+ * never disagree. Always `decide`: an agent presents it and never approves its own edit.
+ *
+ *   unit.contract-approve  (rank 105, after the audit gate, before the first run; a hard verdict —
+ *                          hard or uncommitted — is offered past a stale or failing audit too, #940)
+ *     error        the verdict could not be built → check it on a terminal
+ *     uncommitted  by kind: tampered → re-approve or restore · untracked → commit after review ·
+ *                  edited → review and commit, or `git checkout --` the lock · unverified → commit the
+ *                  decision (approving again cannot fix a commit, and offering it would loop)
+ *     hard         a check got weaker / changed target / was lost → restore it, or QA approves
+ *     review       changed, not weaker → QA re-approves (review blocks delivery)
+ *   unit.contract-proposed (rank 137, after every blocking unit step — it never preempts one)
+ *     proposed     never approved → QA approves (proposed scenarios never block)
+ * A free / impl:code scenario only its TRACE cannot prove — unproven, inconclusive, opaque — is not a
+ * unit decision: the case nodes say what proves it (test-case-contract-nodes.ts, phase 09).
+ */
+const node_decl_1 = require("../node-decl");
+const HUMAN_ONLY = 'A QA decision on a terminal: an agent presents it and never approves its own edit';
+const approveCmd = (s) => `sungen contract approve --screen ${s.unit}`;
+function uncommittedStep(s) {
+    const c = s.contract;
+    const lock = `qa/${(0, node_decl_1.unitKindDir)(s.kind)}/${s.unit}/contracts.lock.yaml`;
+    const n = c.uncommitted;
+    switch (c.uncommittedKind) {
+        case 'tampered':
+            return { kind: 'decide', command: approveCmd(s), because: `${n} lock entr(ies) no longer match their steps (edited by hand) — re-approve with \`${approveCmd(s)}\` on a terminal, or restore the lock from git` };
+        case 'untracked':
+            return { kind: 'decide', command: `commit ${lock} and its contract-approval decision after review`, because: `the lock has never been committed — ${n} entr(ies) are not in git HEAD (contract.lock-uncommitted); commit it after review` };
+        case 'unverified':
+            return { kind: 'decide', command: `commit the contract-approval decision behind ${lock} after review`, because: `${n} lock entr(ies) are not vouched for by a committed contract-approval decision (contract.lock-uncommitted) — commit the decision after review, or re-approve with \`${approveCmd(s)}\` on a terminal` };
+        default:
+            return { kind: 'decide', command: `review and commit ${lock}, or restore it: git checkout -- ${lock}`, because: `${n} lock entr(ies) differ from the lock in git HEAD (contract.lock-uncommitted) — review and commit the lock, or restore it with \`git checkout -- ${lock}\`; approving again cannot fix that` };
+    }
+}
+function contractStep(s) {
+    const c = s.contract;
+    if (c.error) {
+        return { kind: 'decide', command: `sungen contract check --screen ${s.unit}`, because: `the contract verdict could not be built (${c.error}) — check it on a terminal; until it builds, the delivery guard asks instead of passing` };
+    }
+    if (c.uncommitted > 0)
+        return uncommittedStep(s);
+    if (c.hard > 0) {
+        return { kind: 'decide', command: approveCmd(s), because: `${c.hard} scenario(s) break the approved contract (${c.headline}) — restore the approved checks in the .feature, or, if the change is intended, a QA approves it on a terminal. An agent presents this and never approves its own edit` };
+    }
+    return { kind: 'decide', command: approveCmd(s), because: `${c.review} approved scenario(s) changed since QA approved them (changed, not weaker) — review blocks \`sungen delivery\` until QA re-approves. ${HUMAN_ONLY}` };
+}
+const CONTRACT_RULES = ['contract.hash-changed', 'contract.oracle-weakened', 'contract.target-changed', 'contract.assertion-lost', 'contract.lock-uncommitted'];
+/** The verdict is a pass and it was built: nothing blocks, nothing to repair. */
+const verdictClean = (s) => !s.contract.error && s.contract.verdict === 'pass';
+/** Nothing for a QA to decide at unit level: built, committed, nothing approved got weaker or changed. */
+const nothingToDecide = (s) => {
+    const c = s.contract;
+    return !c.error && c.uncommitted === 0 && c.hard === 0 && c.review === 0 && (c.verdict === 'pass' || (c.unproven ?? 0) + (c.traceReview ?? 0) > 0);
+};
+exports.UNIT_CONTRACT_NODES = [
+    {
+        id: 'unit.contract-approve', title: 'Resolve the Test Contract', actor: 'human', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.gate-fail'], blocking: false, rank: 105, gates: CONTRACT_RULES,
+        produces: ['contracts.lock.yaml', 'decisions/<id>.yaml'],
+        active: (s) => Boolean(s.contract),
+        satisfied: nothingToDecide,
+        step: contractStep,
+        // A hard verdict must not wait behind a re-audit (#940): the audit's PASS says nothing about it —
+        // a broken approved check, or a lock that is not what QA approved and committed (contract.lock-
+        // uncommitted, hard in `contract check`; the step names that repair first). What stays behind the
+        // cut: a changed-not-weaker contract (review — QA re-approves after the design is fixed) and a
+        // verdict that could not be built (not a verdict; `contract check` names the error).
+        surfacesPastCut: (s) => !s.contract.error && (s.contract.uncommitted > 0 || s.contract.hard > 0),
+    },
+    {
+        id: 'unit.contract-proposed', title: 'Approve the Test Contract', actor: 'human', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.run'], blocking: false, rank: 137, gates: [],
+        produces: ['contracts.lock.yaml', 'decisions/<id>.yaml'],
+        active: (s) => Boolean(s.contract) && verdictClean(s),
+        satisfied: (s) => s.contract.proposed === 0,
+        step: (s) => ({
+            kind: 'decide',
+            command: approveCmd(s),
+            because: `${s.contract.proposed} scenario(s) have no approved contract yet — approving locks the checks QA reviewed, so a later edit that weakens one (a healer's included) fails \`sungen contract check\`. ${HUMAN_ONLY}; proposed scenarios do not block`,
+        }),
+    },
+];
+//# sourceMappingURL=unit-contract-node.js.map

package/dist/graph/nodes/unit-contract-node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-contract-node.js","sourceRoot":"","sources":["../../../src/graph/nodes/unit-contract-node.ts"],"names":[],"mappings":";;;AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,4CAA8E;AAG9E,MAAM,UAAU,GAAG,mFAAmF,CAAC;AACvG,MAAM,UAAU,GAAG,CAAC,CAAY,EAAU,EAAE,CAAC,oCAAoC,CAAC,CAAC,IAAI,EAAE,CAAC;AAE1F,SAAS,eAAe,CAAC,CAAY;IACnC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAS,CAAC;IACtB,MAAM,IAAI,GAAG,MAAM,IAAA,uBAAW,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,sBAAsB,CAAC;IACvE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC;IACxB,QAAQ,CAAC,CAAC,eAAe,EAAE,CAAC;QAC1B,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,oFAAoF,UAAU,CAAC,CAAC,CAAC,gDAAgD,EAAE,CAAC;QACpN,KAAK,WAAW;YACd,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,IAAI,kDAAkD,EAAE,OAAO,EAAE,uCAAuC,CAAC,oFAAoF,EAAE,CAAC;QAC9O,KAAK,YAAY;YACf,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gDAAgD,IAAI,eAAe,EAAE,OAAO,EAAE,GAAG,CAAC,sKAAsK,UAAU,CAAC,CAAC,CAAC,kBAAkB,EAAE,CAAC;QAC9T;YACE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,qBAAqB,IAAI,oCAAoC,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,mJAAmJ,IAAI,qCAAqC,EAAE,CAAC;IACvT,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,CAAY;IAChC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAS,CAAC;IACtB,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACZ,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,kCAAkC,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,4CAA4C,CAAC,CAAC,KAAK,yFAAyF,EAAE,CAAC;IACxO,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,GAAG,CAAC;QAAE,OAAO,eAAe,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACf,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,6CAA6C,CAAC,CAAC,QAAQ,wKAAwK,EAAE,CAAC;IACvS,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,MAAM,wIAAwI,UAAU,EAAE,EAAE,CAAC;AAC9N,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,uBAAuB,EAAE,0BAA0B,EAAE,yBAAyB,EAAE,yBAAyB,EAAE,2BAA2B,CAAC,CAAC;AAChK,iFAAiF;AACjF,MAAM,YAAY,GAAG,CAAC,CAAY,EAAW,EAAE,CAAC,CAAC,CAAC,CAAC,QAAS,CAAC,KAAK,IAAI,CAAC,CAAC,QAAS,CAAC,OAAO,KAAK,MAAM,CAAC;AACrG,0GAA0G;AAC1G,MAAM,eAAe,GAAG,CAAC,CAAY,EAAW,EAAE;IAChD,MAAM,CAAC,GAAG,CAAC,CAAC,QAAS,CAAC;IACtB,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACrJ,CAAC,CAAC;AAEW,QAAA,mBAAmB,GAA4B;IAC1D;QACE,EAAE,EAAE,uBAAuB,EAAE,KAAK,EAAE,2BAA2B,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM;QACpG,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,cAAc;QACrG,QAAQ,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;QACxD,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;QAClC,SAAS,EAAE,eAAe;QAC1B,IAAI,EAAE,YAAY;QAClB,kGAAkG;QAClG,gGAAgG;QAChG,kGAAkG;QAClG,+FAA+F;QAC/F,qFAAqF;QACrF,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAS,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,QAAS,CAAC,WAAW,GAAG,CAAC,IAAI,CAAC,CAAC,QAAS,CAAC,IAAI,GAAG,CAAC,CAAC;KACpG;IACD;QACE,EAAE,EAAE,wBAAwB,EAAE,KAAK,EAAE,2BAA2B,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM;QACrG,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QACnF,QAAQ,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;QACxD,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC;QACrD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAS,CAAC,QAAQ,KAAK,CAAC;QAC5C,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;YACtB,OAAO,EAAE,GAAG,CAAC,CAAC,QAAS,CAAC,QAAQ,gLAAgL,UAAU,mCAAmC;SAC9P,CAAC;KACH;CACF,CAAC"}

package/dist/graph/nodes/unit-design-nodes.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Design-stage unit nodes — rows 1–6 of the OES-10.2 parity table, in the order and with the exact
+ * words `deriveSteps` used (frozen in tests/graph/fixtures/legacy-derive-steps.ts).
+ *
+ *   1 unit.no-source         no spec and no viewpoint → blocked; cuts BEFORE even `sungen update`
+ *   2 unit.assets-drift      AI assets from another build → `sungen update` (first, it voids the rest)
+ *   3 unit.viewpoint-missing no test-viewpoint.md → blocked, does not cut
+ *   4 unit.flow-contract     a flow without flow-contract.yaml → blocked, cuts
+ *   5 unit.no-scenarios      zero scenarios → create-test, cuts
+ *   6 unit.flow-inventory    a flow contract without `flows:` → add it, re-audit
+ */
+import { UnitNodeDecl } from '../node-decl';
+export declare const UNIT_DESIGN_NODES: readonly UnitNodeDecl[];
+//# sourceMappingURL=unit-design-nodes.d.ts.map

package/dist/graph/nodes/unit-design-nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-design-nodes.d.ts","sourceRoot":"","sources":["../../../src/graph/nodes/unit-design-nodes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAa,YAAY,EAAe,MAAM,cAAc,CAAC;AAKpE,eAAO,MAAM,iBAAiB,EAAE,SAAS,YAAY,EAwEpD,CAAC"}

package/dist/graph/nodes/unit-design-nodes.js

@@ -0,0 +1,91 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.UNIT_DESIGN_NODES = void 0;
+/**
+ * Design-stage unit nodes — rows 1–6 of the OES-10.2 parity table, in the order and with the exact
+ * words `deriveSteps` used (frozen in tests/graph/fixtures/legacy-derive-steps.ts).
+ *
+ *   1 unit.no-source         no spec and no viewpoint → blocked; cuts BEFORE even `sungen update`
+ *   2 unit.assets-drift      AI assets from another build → `sungen update` (first, it voids the rest)
+ *   3 unit.viewpoint-missing no test-viewpoint.md → blocked, does not cut
+ *   4 unit.flow-contract     a flow without flow-contract.yaml → blocked, cuts
+ *   5 unit.no-scenarios      zero scenarios → create-test, cuts
+ *   6 unit.flow-inventory    a flow contract without `flows:` → add it, re-audit
+ */
+const node_decl_1 = require("../node-decl");
+const project_sungen_invocation_1 = require("../../cli/project-sungen-invocation");
+const design = (unit) => `/sungen:create-test ${unit}`;
+exports.UNIT_DESIGN_NODES = [
+    {
+        id: 'unit.no-source', title: 'Write a source to generate from', actor: 'human', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: [], blocking: true, rank: 10, gates: [], produces: ['requirements/spec.md'],
+        active: () => true,
+        satisfied: (s) => s.hasSpec || s.hasViewpoint,
+        step: (s) => ({
+            kind: 'blocked',
+            command: `write qa/${(0, node_decl_1.unitKindDir)(s.kind)}/${s.unit}/requirements/spec.md`,
+            because: 'the unit has neither a spec nor a test-viewpoint, so there is nothing to generate FROM — generation without a source invents behaviour',
+        }),
+    },
+    {
+        // Stale AI assets come FIRST: a HARD RULE added to `create-test` reaches nobody until `sungen update`
+        // runs, and upgrading the package alone does not refresh them (#620).
+        id: 'unit.assets-drift', title: 'Refresh the AI commands and skills', actor: 'ai', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.no-source'], blocking: false, rank: 20, gates: [], produces: ['.claude/', '.github/', '.agents/'],
+        active: () => true,
+        satisfied: (s) => !s.assetsDrift,
+        step: (s) => ({
+            kind: 'do',
+            command: `sungen update${(0, project_sungen_invocation_1.updateChannelFlag)(s.assetsDrift.runningVersion)}`, // keep the channel (#939)
+            because: `this project's AI commands/skills were written by sungen ${s.assetsDrift.recordedVersion} and you are running ${s.assetsDrift.runningVersion} — upgrading the package does NOT refresh them, so any rule added since ${s.assetsDrift.recordedVersion} is not in effect for the next run`,
+        }),
+    },
+    {
+        // The yardstick `atomicLedger` and `traceability` are measured against; it can go missing from a
+        // unit that already HAS a spec, which unit.no-source never sees.
+        id: 'unit.viewpoint-missing', title: 'Restore the test viewpoint', actor: 'human', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.no-source'], blocking: false, rank: 30, gates: [], produces: ['requirements/test-viewpoint.md'],
+        active: () => true,
+        satisfied: (s) => s.hasViewpoint,
+        step: (s) => ({
+            kind: 'blocked',
+            command: s.kind === 'flow'
+                ? `sungen add-flow --flow ${s.unit} --path <start-url>    # repairs the missing scaffold; never overwrites`
+                : `write qa/screens/${s.unit}/requirements/test-viewpoint.md`,
+            because: 'requirements/test-viewpoint.md is missing — it is the yardstick `atomicLedger` and `traceability` are measured against, and four sensors read it, so the audit reports VIEWPOINT-MISSING and those axes are excluded. A flow contract does not substitute: it declares the use case, the viewpoint declares the claims',
+        }),
+    },
+    {
+        id: 'unit.flow-contract', title: 'Author the flow contract', actor: 'human', granularity: 'unit',
+        appliesTo: ['flow'], requires: ['unit.no-source'], blocking: true, rank: 40, gates: [], produces: ['requirements/flow-contract.yaml'],
+        active: () => true,
+        satisfied: (s) => s.hasContract,
+        step: (s) => ({
+            kind: 'blocked',
+            command: `author requirements/flow-contract.yaml, then ${design(s.unit)}`,
+            because: 'a flow with no contract is scored as a generic screen against page-type themes a journey cannot have (FLOW-CONTRACT-MISSING)',
+        }),
+    },
+    {
+        id: 'unit.no-scenarios', title: 'Generate the scenarios', actor: 'ai', granularity: 'unit',
+        appliesTo: node_decl_1.ALL_KINDS, requires: ['unit.no-source', 'unit.flow-contract'], blocking: true, rank: 50,
+        gates: ['journey.phase-create'], produces: ['features/<unit>.feature'],
+        active: () => true,
+        satisfied: (s) => s.scenarioCount !== 0,
+        step: (s) => ({ kind: 'do', command: design(s.unit), because: 'no scenarios exist yet' }),
+    },
+    {
+        // Without the inventory, coverage is per PHASE, and a phase counts as covered once one scenario
+        // carries it — so the number cannot show a missing flow.
+        id: 'unit.flow-inventory', title: 'Declare the flow inventory', actor: 'ai', granularity: 'unit',
+        appliesTo: ['flow'], requires: ['unit.no-scenarios'], blocking: false, rank: 60, gates: [], produces: ['requirements/flow-contract.yaml'],
+        active: () => true,
+        satisfied: (s) => s.hasFlowInventory,
+        step: (s) => ({
+            kind: 'do',
+            command: `add \`flows:\` to requirements/flow-contract.yaml, then sungen audit --screen ${s.unit}`,
+            because: 'without the inventory, coverage is measured per PHASE — and a phase counts as covered as soon as one scenario carries it, so the number cannot tell you a flow is missing',
+        }),
+    },
+];
+//# sourceMappingURL=unit-design-nodes.js.map

package/dist/graph/nodes/unit-design-nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-design-nodes.js","sourceRoot":"","sources":["../../../src/graph/nodes/unit-design-nodes.ts"],"names":[],"mappings":";;;AAAA;;;;;;;;;;GAUG;AACH,4CAAoE;AACpE,mFAAwE;AAExE,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,uBAAuB,IAAI,EAAE,CAAC;AAE1D,QAAA,iBAAiB,GAA4B;IACxD;QACE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,iCAAiC,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM;QACnG,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,sBAAsB,CAAC;QAC3G,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;QAClB,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,YAAY;QAC7C,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,YAAY,IAAA,uBAAW,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,uBAAuB;YACzE,OAAO,EAAE,wIAAwI;SAClJ,CAAC;KACH;IACD;QACE,sGAAsG;QACtG,sEAAsE;QACtE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,oCAAoC,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM;QACtG,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC;QACxI,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;QAClB,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW;QAChC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,gBAAgB,IAAA,6CAAiB,EAAC,CAAC,CAAC,WAAY,CAAC,cAAc,CAAC,EAAE,EAAI,0BAA0B;YACzG,OAAO,EAAE,4DAA4D,CAAC,CAAC,WAAY,CAAC,eAAe,wBAAwB,CAAC,CAAC,WAAY,CAAC,cAAc,2EAA2E,CAAC,CAAC,WAAY,CAAC,eAAe,oCAAoC;SACtS,CAAC;KACH;IACD;QACE,iGAAiG;QACjG,iEAAiE;QACjE,EAAE,EAAE,wBAAwB,EAAE,KAAK,EAAE,4BAA4B,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM;QACtG,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,gCAAgC,CAAC;QACtI,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;QAClB,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY;QAChC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC,CAAC,IAAI,KAAK,MAAM;gBACxB,CAAC,CAAC,0BAA0B,CAAC,CAAC,IAAI,yEAAyE;gBAC3G,CAAC,CAAC,oBAAoB,CAAC,CAAC,IAAI,iCAAiC;YAC/D,OAAO,EAAE,wTAAwT;SAClU,CAAC;KACH;IACD;QACE,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,0BAA0B,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM;QAChG,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,iCAAiC,CAAC;QACrI,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;QAClB,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW;QAC/B,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,gDAAgD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE;YACzE,OAAO,EAAE,8HAA8H;SACxI,CAAC;KACH;IACD;QACE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM;QAC1F,SAAS,EAAE,qBAAS,EAAE,QAAQ,EAAE,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAClG,KAAK,EAAE,CAAC,sBAAsB,CAAC,EAAE,QAAQ,EAAE,CAAC,yBAAyB,CAAC;QACtE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;QAClB,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC;KAC1F;IACD;QACE,gGAAgG;QAChG,yDAAyD;QACzD,EAAE,EAAE,qBAAqB,EAAE,KAAK,EAAE,4BAA4B,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM;QAChG,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,mBAAmB,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,iCAAiC,CAAC;QACzI,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;QAClB,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB;QACpC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACZ,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,iFAAiF,CAAC,CAAC,IAAI,EAAE;YAClG,OAAO,EAAE,2KAA2K;SACrL,CAAC;KACH;CACF,CAAC"}

package/dist/graph/nodes/unit-execution-nodes.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Execution-stage unit nodes — rows 11–15 (+13b from phase 01) of the OES-10.2 parity table, with the
+ * exact words of the frozen oracle.
+ *
+ *   11  unit.selectors  non-api, no selectors or a placeholder file → run-test, cuts
+ *   12  unit.compile    not compiled → `sungen generate`, cuts
+ *   13  unit.run        never run → run-test, cuts
+ *   13b unit.triage     results with failures → `sungen triage`, before delivery, does not cut —
+ *                       with test-case states it keeps only the reds no case accounts for; tc.triage
+ *                       takes the rest (phase 05)
+ *   14  unit.deliver    no deliverable → delivery
+ *   15  unit.extend     always → optional create-test (the end of the path)
+ */
+import { UnitNodeDecl } from '../node-decl';
+export declare const UNIT_EXECUTION_NODES: readonly UnitNodeDecl[];
+//# sourceMappingURL=unit-execution-nodes.d.ts.map

package/dist/graph/nodes/unit-execution-nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-execution-nodes.d.ts","sourceRoot":"","sources":["../../../src/graph/nodes/unit-execution-nodes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAa,YAAY,EAAE,MAAM,cAAc,CAAC;AAKvD,eAAO,MAAM,oBAAoB,EAAE,SAAS,YAAY,EA0DvD,CAAC"}