@sun-asterisk/sungen 3.2.35 → 3.3.0-alpha.10

package/dist/graph/manual-triage-decisions.d.ts

@@ -0,0 +1,19 @@
+export declare const TRIAGE_DECISION_KIND: "triage-classification";
+export type ManualTriageClass = 'product-candidate' | 'test-defect' | 'environment';
+/** `--as` word → the triage class it records. */
+export declare const MANUAL_TRIAGE_AS: Readonly<Record<string, ManualTriageClass>>;
+/** Classes that can hide a product defect: a human types a confirmation on a terminal. */
+export declare const HUMAN_ONLY_TRIAGE: ReadonlySet<ManualTriageClass>;
+export interface ManualClassification {
+    decision: string;
+    caseId: string;
+    class: ManualTriageClass;
+    evidence: string;
+    reason: string;
+    by: string;
+}
+/** The unit's classifications that can be in force, oldest first (read-decisions orders by time). */
+export declare function manualClassifications(projectRoot: string, unitDir: string): ManualClassification[];
+/** The latest classification of this case bound to this red, if any. */
+export declare function manualClassificationFor(list: ManualClassification[], caseId: string, evidence: string | undefined): ManualClassification | undefined;
+//# sourceMappingURL=manual-triage-decisions.d.ts.map

package/dist/graph/manual-triage-decisions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manual-triage-decisions.d.ts","sourceRoot":"","sources":["../../src/graph/manual-triage-decisions.ts"],"names":[],"mappings":"AAmBA,eAAO,MAAM,oBAAoB,EAAG,uBAAgC,CAAC;AACrE,MAAM,MAAM,iBAAiB,GAAG,mBAAmB,GAAG,aAAa,GAAG,aAAa,CAAC;AACpF,iDAAiD;AACjD,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAA8F,CAAC;AACxK,0FAA0F;AAC1F,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,iBAAiB,CAA2C,CAAC;AAEzG,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,iBAAiB,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;CACZ;AAID,qGAAqG;AACrG,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,EAAE,CASlG;AAED,wEAAwE;AACxE,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,oBAAoB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,oBAAoB,GAAG,SAAS,CAIpJ"}

package/dist/graph/manual-triage-decisions.js

@@ -0,0 +1,53 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HUMAN_ONLY_TRIAGE = exports.MANUAL_TRIAGE_AS = exports.TRIAGE_DECISION_KIND = void 0;
+exports.manualClassifications = manualClassifications;
+exports.manualClassificationFor = manualClassificationFor;
+/**
+ * Manual triage classifications (#928) — a red `sungen triage` could not classify, or classified
+ * wrongly, judged by hand with `sungen triage --screen <u> --case <id> --as <class> --reason "…"`
+ * (harness/triage-manual-classification.ts writes them). Each is a `triage-classification` decision
+ * in the unit's `decisions/`, read here for the test-case state (test-case-results.ts):
+ *
+ *   payload        { case: <id>, class: product-candidate | test-defect | environment, humanConfirmed? }
+ *   evidence_hash  the hash of the red final attempts it judged (TestCaseState.evidence): a re-run
+ *                  makes a new red, and the classification no longer applies to it
+ *   in force       verifies (read-decisions), not superseded, bound to today's red — and, for
+ *                  test-defect / environment, typed by a human on a terminal (`humanConfirmed`, only
+ *                  ever set after the typed confirmation): those classes can hide a product defect,
+ *                  so an entry without it is ignored (fail closed). product-candidate is stricter than
+ *                  any automatic class, so anyone may record it.
+ * The latest classification in force wins over the automatic one.
+ */
+const read_decisions_1 = require("../decisions/read-decisions");
+const unit_gate_overrides_1 = require("../harness/gates/unit-gate-overrides");
+exports.TRIAGE_DECISION_KIND = 'triage-classification';
+/** `--as` word → the triage class it records. */
+exports.MANUAL_TRIAGE_AS = { product: 'product-candidate', 'test-defect': 'test-defect', environment: 'environment' };
+/** Classes that can hide a product defect: a human types a confirmation on a terminal. */
+exports.HUMAN_ONLY_TRIAGE = new Set(['test-defect', 'environment']);
+const isClass = (v) => Object.values(exports.MANUAL_TRIAGE_AS).includes(v);
+/** The unit's classifications that can be in force, oldest first (read-decisions orders by time). */
+function manualClassifications(projectRoot, unitDir) {
+    const scope = (0, unit_gate_overrides_1.unitScopeOfDir)(projectRoot, unitDir);
+    if (!scope)
+        return [];
+    return (0, read_decisions_1.readDecisions)(projectRoot, scope, { kind: exports.TRIAGE_DECISION_KIND }).entries.flatMap((e) => {
+        const p = e.payload ?? {};
+        if (e.superseded_by || typeof p.case !== 'string' || !isClass(p.class) || typeof e.evidence_hash !== 'string')
+            return [];
+        if (exports.HUMAN_ONLY_TRIAGE.has(p.class) && p.humanConfirmed !== true)
+            return [];
+        return [{ decision: e.id, caseId: p.case, class: p.class, evidence: e.evidence_hash, reason: e.reason, by: e.source.by }];
+    });
+}
+/** The latest classification of this case bound to this red, if any. */
+function manualClassificationFor(list, caseId, evidence) {
+    if (!evidence)
+        return undefined;
+    for (let i = list.length - 1; i >= 0; i--)
+        if (list[i].caseId === caseId && list[i].evidence === evidence)
+            return list[i];
+    return undefined;
+}
+//# sourceMappingURL=manual-triage-decisions.js.map

package/dist/graph/manual-triage-decisions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manual-triage-decisions.js","sourceRoot":"","sources":["../../src/graph/manual-triage-decisions.ts"],"names":[],"mappings":";;;AAsCA,sDASC;AAGD,0DAIC;AAtDD;;;;;;;;;;;;;;;GAeG;AACH,gEAA4D;AAC5D,8EAAsE;AAEzD,QAAA,oBAAoB,GAAG,uBAAgC,CAAC;AAErE,iDAAiD;AACpC,QAAA,gBAAgB,GAAgD,EAAE,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;AACxK,0FAA0F;AAC7E,QAAA,iBAAiB,GAAmC,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC;AAWzG,MAAM,OAAO,GAAG,CAAC,CAAU,EAA0B,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,wBAAgB,CAAC,CAAC,QAAQ,CAAC,CAAsB,CAAC,CAAC;AAEzH,qGAAqG;AACrG,SAAgB,qBAAqB,CAAC,WAAmB,EAAE,OAAe;IACxE,MAAM,KAAK,GAAG,IAAA,oCAAc,EAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,OAAO,IAAA,8BAAa,EAAC,WAAW,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,4BAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7F,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,aAAa,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QACzH,IAAI,yBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,cAAc,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC3E,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5H,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wEAAwE;AACxE,SAAgB,uBAAuB,CAAC,IAA4B,EAAE,MAAc,EAAE,QAA4B;IAChH,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1H,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/graph/node-decl.d.ts

@@ -0,0 +1,75 @@
+/**
+ * One node of the `sungen next` graph (OES-10.1) — core-internal, no SPI (red-team #10).
+ *
+ * `deriveSteps` used to be a chain of if/return in which every `return` was a blocking node that cut
+ * everything after it. Each branch is now one declaration: when it applies (`active`), when its goal
+ * is met (`satisfied`), the step it offers, and whether an open instance cuts the nodes ranked after
+ * it (`blocking`). `evaluateGraph` walks them by `rank`.
+ *
+ * Granularity: a `unit` node judges the unit's state; a `test-case` node judges one test case at a
+ * time, and the cases that need it fold into ONE step at unit level (one step per case under
+ * `sungen next <unit> --case <id>`).
+ */
+import type { NextStep, UnitState } from '../harness/next-step';
+import type { HumanAction, HumanActionKind } from './human-action';
+import type { TestCaseState } from './test-case-state-shape';
+export type NodeActor = 'ai' | 'human' | 'deterministic';
+export type NodeGranularity = 'unit' | 'test-case';
+export type UnitKind = UnitState['kind'];
+/** What a node's `step` returns; the engine adds `nodeId`, `granularity`, `gates`, `testCase`. */
+export type StepCore = Pick<NextStep, 'kind' | 'command' | 'because'>;
+interface NodeDeclBase {
+    id: string;
+    title: string;
+    /** Who runs the step: an AI agent, a human (`decide`, never auto-run), or sungen itself. */
+    actor: NodeActor;
+    appliesTo: readonly UnitKind[];
+    /** Nodes that must be satisfied first. Each is a lower-ranked blocking node (pinned by a test). */
+    requires: readonly string[];
+    /** An active, unsatisfied blocking node cuts every node ranked after it. */
+    blocking: boolean;
+    rank: number;
+    /** Catalog rule ids (gate-rules.yaml) this step answers to. */
+    gates: readonly string[];
+    /** Artifacts the step produces, for a reader of the graph. */
+    produces: readonly string[];
+    /**
+     * The HUMAN-ONLY actions behind an offered step ("Waiting for you", #954): what a person runs, with
+     * why. Without it a `decide` step is one action of kind `decide` and any other step is none. `cases`
+     * are the cases open at a test-case node (none for a unit node).
+     */
+    human?(s: UnitState, step: StepCore, cases: TestCaseState[]): HumanAction[];
+}
+/** The `human` hook of a node whose decide step IS the human action: its command and reason, under `kind`. */
+export declare const humanStep: (kind: HumanActionKind) => (_s: UnitState, step: StepCore) => HumanAction[];
+export interface UnitNodeDecl extends NodeDeclBase {
+    granularity: 'unit';
+    active(s: UnitState): boolean;
+    satisfied(s: UnitState): boolean;
+    step(s: UnitState): StepCore;
+    /**
+     * Offered even when a blocking node ranked before it cut the walk — only while this holds (#940: a
+     * hard contract verdict must not hide behind a stale or failing audit). It never cuts by itself.
+     */
+    surfacesPastCut?(s: UnitState): boolean;
+}
+export interface TestCaseNodeDecl extends NodeDeclBase {
+    granularity: 'test-case';
+    /**
+     * Speaks only under `--case <id>`: the unit view already carries the decision at unit level (the
+     * contract's unit.contract-approve), so folding the cases there would say it twice.
+     */
+    caseOnly?: true;
+    active(s: UnitState, tc: TestCaseState): boolean;
+    satisfied(s: UnitState, tc: TestCaseState): boolean;
+    /** One step for `cases` (all open at this node): a unit-level fold, or exactly one case when `single`. */
+    step(s: UnitState, cases: TestCaseState[], single: boolean): StepCore;
+    /** The cases offered even past a cut (see UnitNodeDecl.surfacesPastCut). */
+    surfacesPastCut?(s: UnitState, tc: TestCaseState): boolean;
+}
+export type NodeDecl = UnitNodeDecl | TestCaseNodeDecl;
+/** `qa/<dir>/<unit>` for the unit kind, as the steps name it. */
+export declare const unitKindDir: (kind: UnitKind) => string;
+export declare const ALL_KINDS: readonly UnitKind[];
+export {};
+//# sourceMappingURL=node-decl.d.ts.map

package/dist/graph/node-decl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-decl.d.ts","sourceRoot":"","sources":["../../src/graph/node-decl.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAE7D,MAAM,MAAM,SAAS,GAAG,IAAI,GAAG,OAAO,GAAG,eAAe,CAAC;AACzD,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,WAAW,CAAC;AACnD,MAAM,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;AAEzC,kGAAkG;AAClG,MAAM,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC;AAEtE,UAAU,YAAY;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,4FAA4F;IAC5F,KAAK,EAAE,SAAS,CAAC;IACjB,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC/B,mGAAmG;IACnG,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,4EAA4E;IAC5E,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,8DAA8D;IAC9D,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B;;;;OAIG;IACH,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,WAAW,EAAE,CAAC;CAC7E;AAED,8GAA8G;AAC9G,eAAO,MAAM,SAAS,GAAI,MAAM,eAAe,MAAM,IAAI,SAAS,EAAE,MAAM,QAAQ,KAAG,WAAW,EACvC,CAAC;AAE1D,MAAM,WAAW,YAAa,SAAQ,YAAY;IAChD,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC;IAC9B,SAAS,CAAC,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC;IACjC,IAAI,CAAC,CAAC,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC7B;;;OAGG;IACH,eAAe,CAAC,CAAC,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC;CACzC;AAED,MAAM,WAAW,gBAAiB,SAAQ,YAAY;IACpD,WAAW,EAAE,WAAW,CAAC;IACzB;;;OAGG;IACH,QAAQ,CAAC,EAAE,IAAI,CAAC;IAChB,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,GAAG,OAAO,CAAC;IACjD,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,GAAG,OAAO,CAAC;IACpD,0GAA0G;IAC1G,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,OAAO,GAAG,QAAQ,CAAC;IACtE,4EAA4E;IAC5E,eAAe,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,GAAG,OAAO,CAAC;CAC5D;AAED,MAAM,MAAM,QAAQ,GAAG,YAAY,GAAG,gBAAgB,CAAC;AAEvD,iEAAiE;AACjE,eAAO,MAAM,WAAW,GAAI,MAAM,QAAQ,KAAG,MAA6E,CAAC;AAE3H,eAAO,MAAM,SAAS,EAAE,SAAS,QAAQ,EAA8B,CAAC"}

package/dist/graph/node-decl.js

@@ -0,0 +1,11 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ALL_KINDS = exports.unitKindDir = exports.humanStep = void 0;
+/** The `human` hook of a node whose decide step IS the human action: its command and reason, under `kind`. */
+const humanStep = (kind) => (_s, step) => [{ command: step.command, reason: step.because, kind }];
+exports.humanStep = humanStep;
+/** `qa/<dir>/<unit>` for the unit kind, as the steps name it. */
+const unitKindDir = (kind) => (kind === 'screen' ? 'screens' : kind === 'flow' ? 'flows' : 'api');
+exports.unitKindDir = unitKindDir;
+exports.ALL_KINDS = ['screen', 'flow', 'api'];
+//# sourceMappingURL=node-decl.js.map

package/dist/graph/node-decl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-decl.js","sourceRoot":"","sources":["../../src/graph/node-decl.ts"],"names":[],"mappings":";;;AA8CA,8GAA8G;AACvG,MAAM,SAAS,GAAG,CAAC,IAAqB,EAAE,EAAE,CAAC,CAAC,EAAa,EAAE,IAAc,EAAiB,EAAE,CACnG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AAD7C,QAAA,SAAS,aACoC;AA+B1D,iEAAiE;AAC1D,MAAM,WAAW,GAAG,CAAC,IAAc,EAAU,EAAE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAA9G,QAAA,WAAW,eAAmG;AAE9G,QAAA,SAAS,GAAwB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC"}

package/dist/graph/nodes/core-node-catalog.d.ts

@@ -0,0 +1,7 @@
+/**
+ * The core node catalog of `sungen next` (OES-10.1), in rank order. Internal to core: there is no
+ * SPI slot for driver-contributed nodes in P0 (red-team #10).
+ */
+import type { NodeDecl } from '../node-decl';
+export declare const CORE_NODES: readonly NodeDecl[];
+//# sourceMappingURL=core-node-catalog.d.ts.map

package/dist/graph/nodes/core-node-catalog.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-node-catalog.d.ts","sourceRoot":"","sources":["../../../src/graph/nodes/core-node-catalog.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAQ7C,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EAET,CAAC"}

package/dist/graph/nodes/core-node-catalog.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CORE_NODES = void 0;
+const test_case_contract_nodes_1 = require("./test-case-contract-nodes");
+const test_case_nodes_1 = require("./test-case-nodes");
+const unit_audit_nodes_1 = require("./unit-audit-nodes");
+const unit_contract_node_1 = require("./unit-contract-node");
+const unit_design_nodes_1 = require("./unit-design-nodes");
+const unit_execution_nodes_1 = require("./unit-execution-nodes");
+exports.CORE_NODES = [
+    ...unit_design_nodes_1.UNIT_DESIGN_NODES, ...unit_audit_nodes_1.UNIT_AUDIT_NODES, ...unit_contract_node_1.UNIT_CONTRACT_NODES, ...unit_execution_nodes_1.UNIT_EXECUTION_NODES, ...test_case_nodes_1.TEST_CASE_NODES, ...test_case_contract_nodes_1.TEST_CASE_CONTRACT_NODES,
+].sort((a, b) => a.rank - b.rank);
+//# sourceMappingURL=core-node-catalog.js.map

package/dist/graph/nodes/core-node-catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-node-catalog.js","sourceRoot":"","sources":["../../../src/graph/nodes/core-node-catalog.ts"],"names":[],"mappings":";;;AAKA,yEAAsE;AACtE,uDAAoD;AACpD,yDAAsD;AACtD,6DAA2D;AAC3D,2DAAwD;AACxD,iEAA8D;AAEjD,QAAA,UAAU,GAAwB;IAC7C,GAAG,qCAAiB,EAAE,GAAG,mCAAgB,EAAE,GAAG,wCAAmB,EAAE,GAAG,2CAAoB,EAAE,GAAG,iCAAe,EAAE,GAAG,mDAAwB;CAC5I,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC"}

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

@@ -0,0 +1,21 @@
+/**
+ * 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.
+ */
+import { TestCaseNodeDecl } from '../node-decl';
+export declare const TEST_CASE_CONTRACT_NODES: readonly TestCaseNodeDecl[];
+//# sourceMappingURL=test-case-contract-nodes.d.ts.map

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,EAAkC,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAqDhF,eAAO,MAAM,wBAAwB,EAAE,SAAS,gBAAgB,EAkB/D,CAAC"}

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

@@ -0,0 +1,72 @@
+"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, human) {
+    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) } : {}),
+        ...(human ? { human } : {}),
+    };
+}
+/**
+ * An opaque step is cleared by a QA accepting it as it reads now, never by re-approving (#923): one
+ * `--accept-opaque` per case whose only hold is the opaque step. A case held by a `low` identity is
+ * not acceptable yet (`contract check --trace` resolves it first), so it is not offered (#954).
+ */
+function acceptOpaque(s, _step, cases) {
+    return cases.filter((c) => classOf(c) === 'opaque' && !c.contract?.lowIdentity).map((c) => ({
+        kind: 'accept-opaque',
+        command: `sungen contract approve --screen ${s.unit} --scenario ${c.id} --accept-opaque`,
+        reason: `${c.id} carries a step sungen cannot compare${c.contract?.detail ? ` (${c.contract.detail})` : ''} — a QA reviews it verbatim with its file:line in \`${check(s)}\`, then accepts it as it reads now; until then the contract is in review and \`sungen delivery\` waits`,
+    }));
+}
+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` }), undefined, (0, node_decl_1.humanStep)('contract-approve')),
+    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, undefined, acceptOpaque),
+];
+//# 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,4CAAgF;AAIhF,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,EAAE,KAAiC;IAC5H,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;QACpF,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,CAAY,EAAE,KAAe,EAAE,KAAsB;IACzE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1F,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,oCAAoC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,kBAAkB;QACxF,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,wCAAwC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,uDAAuD,KAAK,CAAC,CAAC,CAAC,yGAAyG;KACnR,CAAC,CAAC,CAAC;AACN,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,EAClX,SAAS,EAAE,IAAA,qBAAS,EAAC,kBAAkB,CAAC,CAAC;IAC3C,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,EAAE,SAAS,EAAE,YAAY,CAAC;CAChH,CAAC"}

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

@@ -0,0 +1,29 @@
+/**
+ * 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
+ *   tc.rerun-environment  a red the environment caused (#928)               decide  run-test --ids, once a human confirms it is up
+ *   tc.fix-test           a red the test caused (#928)                      do      run-test --ids (auto-fix)
+ * The class is `sungen triage`'s, or a manual classification in force (`sungen triage --case --as`).
+ * 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;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAkC,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEzD,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;AA6BrH,eAAO,MAAM,eAAe,EAAE,SAAS,gBAAgB,EAoCtD,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,95 @@
+"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
+ *   tc.rerun-environment  a red the environment caused (#928)               decide  run-test --ids, once a human confirms it is up
+ *   tc.fix-test           a red the test caused (#928)                      do      run-test --ids (auto-fix)
+ * The class is `sungen triage`'s, or a manual classification in force (`sungen triage --case --as`).
+ * 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');
+/** Up to three cases with the triage rule that judged each. */
+const withRule = (cases) => `${cases.slice(0, 3).map((c) => `${c.id}: ${c.triage?.ruleId}`).join('; ')}${cases.length > 3 ? '; …' : ''}`;
+function caseNode(id, need, rank, title, actor, step, produces, human) {
+    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,
+        ...(human ? { human } : {}),
+    };
+}
+/**
+ * A red triage left unclassified is a human's to classify (#928): test-defect and environment take it
+ * off the product-defect path, so they need a person on a terminal. One action per such case (#954).
+ */
+function classifyByHand(s, _step, cases) {
+    return cases.filter((c) => c.triage?.class === 'unclassified').map((c) => ({
+        kind: 'triage-classify',
+        command: `sungen triage ${flag(s)} ${s.unit} --case ${c.id} --as "<test-defect|environment>" --reason "…"`,
+        reason: `${c.id} failed and \`sungen triage\` left it unclassified — read its evidence (trace, error), then classify it: test-defect or environment take it off the product-defect path, so a human types them on a terminal (\`--as product\` anyone may record)`,
+    }));
+}
+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: \`sungen triage ${flag(s)} ${s.unit} --case <id> --as product|test-defect|environment --reason "…"\`; test-defect and environment are a human's call, on a terminal)` : ''} — 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'], classifyByHand),
+    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'], (0, node_decl_1.humanStep)('defect-draft')),
+    // decide, not do: an agent re-running into an environment that is still down gets the same red and
+    // the same step again — a loop with no stop. A human confirms the environment first (#928 review W3).
+    caseNode('tc.rerun-environment', 'rerun-environment', 139, 'Re-run the cases the environment failed, once it is up', 'human', (s, cases) => ({
+        kind: 'decide',
+        command: `/sungen:run-test ${s.unit}${(0, exports.idsArg)(cases)}`,
+        because: `${cases.length} red test case(s) failed on the environment, not the app (${withRule(cases)}) — the run never reached a usable app, so their results say nothing about it yet. A human confirms the app, base URL, network, auth state or device is up, then they are re-run; an agent presents this and does not re-run on its own — into an environment that is still down, the same red comes back`,
+    }), ['specs/generated/<unit>/<unit>-test-result.json'], (0, node_decl_1.humanStep)('rerun-environment')),
+    caseNode('tc.fix-test', 'fix-test', 139.5, 'Fix the tests triaged as test defects', 'ai', (s, cases) => ({
+        kind: 'do',
+        command: `/sungen:run-test ${s.unit}${(0, exports.idsArg)(cases)}`,
+        because: `${cases.length} red test case(s) are test defects (${withRule(cases)}) — the test, not the app, failed: fix its selector, test data or step (run-test's auto-fix reads the triage evidence), then re-run them; never weaken an assertion to make one pass`,
+    }), ['selectors/<unit>.yaml', 'specs/generated/<unit>/<unit>-test-result.json']),
+];
+/** 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;;;;;;;;;;;;;;;;GAgBG;AACH,4CAAgF;AAIhF,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;AACjF,+DAA+D;AAC/D,MAAM,QAAQ,GAAG,CAAC,KAAsB,EAAU,EAAE,CAClD,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAE/G,SAAS,QAAQ,CAAC,EAAU,EAAE,IAAkB,EAAE,IAAY,EAAE,KAAa,EAAE,KAAgC,EAC7G,IAAyE,EAAE,QAAkB,EAAE,KAAiC;IAChI,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;QAC/C,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,CAAY,EAAE,KAAe,EAAE,KAAsB;IAC3E,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,KAAK,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzE,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,iBAAiB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,EAAE,gDAAgD;QAC1G,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,mPAAmP;KACnQ,CAAC,CAAC,CAAC;AACN,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,mGAAmG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,kIAAkI,CAAC,CAAC,CAAC,EAAE,kLAAkL;SAC1hB,CAAC;IACJ,CAAC,EAAE,CAAC,4BAA4B,CAAC,EAAE,cAAc,CAAC;IAClD,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,EAAE,IAAA,qBAAS,EAAC,cAAc,CAAC,CAAC;IAChE,mGAAmG;IACnG,sGAAsG;IACtG,QAAQ,CAAC,sBAAsB,EAAE,mBAAmB,EAAE,GAAG,EAAE,wDAAwD,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC3I,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,oBAAoB,CAAC,CAAC,IAAI,GAAG,IAAA,cAAM,EAAC,KAAK,CAAC,EAAE;QACrD,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,6DAA6D,QAAQ,CAAC,KAAK,CAAC,2SAA2S;KAChZ,CAAC,EAAE,CAAC,gDAAgD,CAAC,EAAE,IAAA,qBAAS,EAAC,mBAAmB,CAAC,CAAC;IACvF,QAAQ,CAAC,aAAa,EAAE,UAAU,EAAE,KAAK,EAAE,uCAAuC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACvG,IAAI,EAAE,IAAI;QACV,OAAO,EAAE,oBAAoB,CAAC,CAAC,IAAI,GAAG,IAAA,cAAM,EAAC,KAAK,CAAC,EAAE;QACrD,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,uCAAuC,QAAQ,CAAC,KAAK,CAAC,sLAAsL;KACrQ,CAAC,EAAE,CAAC,uBAAuB,EAAE,gDAAgD,CAAC,CAAC;CACjF,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,EAAwB,YAAY,EAAE,MAAM,cAAc,CAAC;AAClE,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,EA4DnD,CAAC"}

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

@@ -0,0 +1,96 @@
+"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',
+        }),
+        human: (0, node_decl_1.humanStep)('accept-viewpoint'),
+    },
+    {
+        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