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

package/dist/harness/manifest.js

@@ -33,6 +33,7 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.MANIFEST_SCHEMA = void 0;
 exports.parseSpecSections = parseSpecSections;
 exports.buildManifest = buildManifest;
 exports.diffManifest = diffManifest;
@@ -47,20 +48,23 @@ exports.saveManifest = saveManifest;
  * scenario: keep / regenerate / retire — so the orchestrator regenerates only the
  * parts whose spec changed (stable + cheap), and never silently drifts.
  *
+ * Schema 2 (DOS-12.3, red-team #1): each entry names its `hashAlgo`. Section entries keep `sha1-12`
+ * and the fuzzy `matchSection` — changing either would make every manifest on disk read "changed".
+ * Only item anchors (`<docId>#<itemId>` in a `# --- Section: … ---` comment) use `sha256-12` + exact
+ * ids. A manifest WITHOUT `schema` is compared as is (its sections are sha1-12) and upgraded on save.
  * Deterministic. Manifest lives at .sungen/manifest/<screen>.json.
  */
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
-const crypto_1 = require("crypto");
 const unit_paths_1 = require("./unit-paths");
 const read_text_1 = require("./read-text");
 const parse_1 = require("./parse");
-function norm(s) {
-    return s.replace(/\(Tier[^)]*\)/i, '').replace(/[#*-]/g, '').trim().toLowerCase().replace(/\s+/g, ' ');
-}
-function shortHash(s) {
-    return (0, crypto_1.createHash)('sha1').update(s).digest('hex').slice(0, 12);
-}
+const anchor_hash_1 = require("../basis/anchor-hash");
+const anchor_grammar_1 = require("../basis/anchor-grammar");
+const extract_spec_anchors_1 = require("../basis/extract-spec-anchors");
+const spec_sections_1 = require("../basis/spec-sections");
+const migration_sentinel_1 = require("../basis/migration-sentinel");
+exports.MANIFEST_SCHEMA = 2;
 const NO_SPEC = '(no-spec-link)';
 /**
  * Match a feature section name to a spec section name. Feature comments often
@@ -83,24 +87,18 @@ function matchSection(featureSection, specNames) {
 function parseSpecSections(specPath) {
     if (!fs.existsSync(specPath))
         return [];
-    const lines = (0, read_text_1.readTextFile)(specPath).split('\n');
-    const sections = [];
-    let cur = null;
-    for (const line of lines) {
-        const h = line.match(/^#{2,3}\s+(.*)$/);
-        if (h) {
-            if (cur)
-                sections.push(cur);
-            const name = h[1].replace(/^Section:\s*/i, '').trim();
-            cur = { name, body: [] };
-        }
-        else if (cur) {
-            cur.body.push(line);
-        }
+    return (0, spec_sections_1.readSpecSectionBlocks)((0, read_text_1.readTextFile)(specPath).split('\n')).map((s) => ({ name: (0, spec_sections_1.normalizeSectionName)(s.name), hash: (0, anchor_hash_1.sectionHash)(s.body) }));
+}
+/** Item anchors a scenario can be linked to exactly: unambiguous §4.1 items and their §4.2 rows. */
+function parseSpecItems(specPath) {
+    if (!fs.existsSync(specPath))
+        return {};
+    const out = {};
+    for (const a of (0, extract_spec_anchors_1.extractSpecAnchors)((0, read_text_1.readTextFile)(specPath), { repo: '.', sha: 'WORKTREE', path: 'spec.md' }).anchors) {
+        if (a.kind !== 'section' && a.confidence === 'EXTRACTED')
+            out[a.id] = a.hash;
     }
-    if (cur)
-        sections.push(cur);
-    return sections.map((s) => ({ name: norm(s.name), hash: shortHash(s.body.join('\n').trim()) }));
+    return out;
 }
 /** Parse feature into scenario → section mapping using `# --- Section: X ---` comments. */
 function parseFeatureSections(featurePath) {
@@ -113,7 +111,7 @@ function parseFeatureSections(featurePath) {
         const line = raw.trim();
         const sc = line.match(/^#\s*-{2,}\s*Section:\s*(.*?)\s*-{2,}\s*$/i);
         if (sc) {
-            section = norm(sc[1]);
+            section = (0, anchor_grammar_1.isItemAnchorId)(sc[1].trim()) ? sc[1].trim() : (0, spec_sections_1.normalizeSectionName)(sc[1]);
             continue;
         }
         const s = line.match(/^Scenario:\s*(.*)$/);
@@ -127,54 +125,65 @@ function parseFeatureSections(featurePath) {
 function buildManifest(screenDir, screenName) {
     const specPath = path.join(screenDir, 'requirements', 'spec.md');
     const featureFiles = (0, unit_paths_1.featureFilesFor)(screenDir, screenName);
-    const specSections = parseSpecSections(specPath);
     const specMap = {};
-    for (const s of specSections)
+    for (const s of parseSpecSections(specPath))
         specMap[s.name] = s.hash;
+    const specItems = parseSpecItems(specPath);
     const specNames = Object.keys(specMap);
-    const featScenarios = featureFiles.flatMap(parseFeatureSections);
-    const entries = featScenarios.map((f) => {
+    const entries = featureFiles.flatMap(parseFeatureSections).map((f) => {
+        const base = { scenario: f.scenario, vpCode: f.vpCode };
+        if ((0, anchor_grammar_1.isItemAnchorId)(f.section)) {
+            const hash = specItems[f.section];
+            return hash ? { ...base, section: f.section, specHash: hash, hashAlgo: 'sha256-12' } : { ...base, section: f.section, specHash: NO_SPEC };
+        }
         const matched = matchSection(f.section, specNames);
-        return {
-            scenario: f.scenario,
-            vpCode: f.vpCode,
-            section: matched ?? f.section, // canonical spec section when matched
-            specHash: matched ? specMap[matched] : NO_SPEC,
-        };
+        return matched
+            ? { ...base, section: matched, specHash: specMap[matched], hashAlgo: 'sha1-12' } // canonical spec section when matched
+            : { ...base, section: f.section, specHash: NO_SPEC };
     });
     return {
+        schema: exports.MANIFEST_SCHEMA,
         screen: screenName,
         builtAt: new Date().toISOString(),
         specSections: specMap,
+        ...(Object.keys(specItems).length ? { specItems } : {}),
         entries,
     };
 }
+/**
+ * Compare a stored manifest — legacy or schema 2 — with the spec now. Read-only: it never rewrites
+ * the manifest. A legacy entry has no `hashAlgo` and is a section entry hashed sha1-12, exactly what
+ * the current code computes, so real drift since the legacy build reads `regenerate` and nothing reads
+ * "changed" merely because the format moved on.
+ */
 function diffManifest(screenDir, screenName, manifest) {
+    (0, migration_sentinel_1.assertNoPendingMigration)(process.cwd(), (0, unit_paths_1.reportSlug)(screenName));
     const specPath = path.join(screenDir, 'requirements', 'spec.md');
-    const current = parseSpecSections(specPath);
     const currentMap = {};
-    for (const s of current)
+    for (const s of parseSpecSections(specPath))
         currentMap[s.name] = s.hash;
+    const currentItems = manifest.entries.some((e) => e.hashAlgo === 'sha256-12') ? parseSpecItems(specPath) : {};
     const scenarios = manifest.entries.map((e) => {
         let change;
         let reason;
+        const what = e.hashAlgo === 'sha256-12' ? 'spec item' : 'spec section';
         if (e.specHash === NO_SPEC) {
             change = 'keep';
             reason = 'not linked to a spec section (manual/cross-cutting)';
         }
         else {
-            const now = currentMap[e.section];
+            const now = e.hashAlgo === 'sha256-12' ? currentItems[e.section] : currentMap[e.section];
             if (now === undefined) {
                 change = 'retire';
-                reason = `spec section "${e.section}" no longer exists`;
+                reason = `${what} "${e.section}" no longer exists`;
             }
             else if (now !== e.specHash) {
                 change = 'regenerate';
-                reason = `spec section "${e.section}" changed (${e.specHash} → ${now})`;
+                reason = `${what} "${e.section}" changed (${e.specHash} → ${now})`;
             }
             else {
                 change = 'keep';
-                reason = 'spec section unchanged';
+                reason = `${what} unchanged`;
             }
         }
         return { scenario: e.scenario, section: e.section, change, reason };
@@ -202,10 +211,29 @@ function loadManifest(screenName) {
     const p = manifestPath(screenName);
     return fs.existsSync(p) ? JSON.parse((0, read_text_1.readTextFile)(p)) : null;
 }
-function saveManifest(m) {
-    const p = manifestPath(m.screen);
+/** The manifest on disk at `p`, or null when absent or unreadable (then a save is a plain write). */
+function loadManifestFile(p) {
+    try {
+        return fs.existsSync(p) ? JSON.parse((0, read_text_1.readTextFile)(p)) : null;
+    }
+    catch {
+        return null;
+    }
+}
+function writeManifest(p, m) {
     fs.mkdirSync(path.dirname(p), { recursive: true });
     fs.writeFileSync(p, JSON.stringify(m, null, 2), 'utf-8');
+}
+/** Write a built manifest. Replacing a legacy (schema-less) file is the upgrade to schema 2, done under the sentinel. */
+function saveManifest(m) {
+    const slug = (0, unit_paths_1.reportSlug)(m.screen);
+    (0, migration_sentinel_1.assertNoPendingMigration)(process.cwd(), slug);
+    const p = manifestPath(m.screen);
+    const upgrading = m.schema === exports.MANIFEST_SCHEMA && (loadManifestFile(p)?.schema ?? exports.MANIFEST_SCHEMA) !== exports.MANIFEST_SCHEMA;
+    if (upgrading)
+        (0, migration_sentinel_1.withMigrationSentinel)(process.cwd(), m.screen, slug, 'manifest upgrade to schema 2', [p], () => writeManifest(p, m));
+    else
+        writeManifest(p, m);
     return p;
 }
 //# sourceMappingURL=manifest.js.map

package/dist/harness/manifest.js.map

@@ -1 +1 @@
-{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../../src/harness/manifest.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6DA,8CAiBC;AAqBD,sCAyBC;AAED,oCAkCC;AAED,oCAEC;AACD,oCAGC;AACD,oCAKC;AA9KD;;;;;;;;;GASG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,mCAAoC;AACpC,6CAA2D;AAC3D,2CAA2C;AAC3C,mCAAmC;AAoBnC,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AACzG,CAAC;AACD,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,IAAA,mBAAU,EAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,OAAO,GAAG,gBAAgB,CAAC;AAEjC;;;;GAIG;AACH,SAAS,YAAY,CAAC,cAAsB,EAAE,SAAmB;IAC/D,IAAI,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC;QAAE,OAAO,cAAc,CAAC;IAC9D,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM;gBAAE,IAAI,GAAG,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8FAA8F;AAC9F,SAAgB,iBAAiB,CAAC,QAAgB;IAChD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,IAAA,wBAAY,EAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAuC,EAAE,CAAC;IACxD,IAAI,GAAG,GAA4C,IAAI,CAAC;IACxD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACxC,IAAI,CAAC,EAAE,CAAC;YACN,IAAI,GAAG;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YACtD,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAC3B,CAAC;aAAM,IAAI,GAAG,EAAE,CAAC;YACf,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,IAAI,GAAG;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,2FAA2F;AAC3F,SAAS,oBAAoB,CAAC,WAAmB;IAC/C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAA,wBAAY,EAAC,WAAW,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,GAAG,GAA6D,EAAE,CAAC;IACzE,IAAI,OAAO,GAAG,eAAe,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;QACpE,IAAI,EAAE,EAAE,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAC3C,IAAI,CAAC,EAAE,CAAC;YACN,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAA,gBAAQ,EAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,aAAa,CAAC,SAAiB,EAAE,UAAkB;IACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,IAAA,4BAAe,EAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,YAAY;QAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IAEvD,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,aAAa,GAAG,YAAY,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACjE,MAAM,OAAO,GAAoB,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvD,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACnD,OAAO;YACL,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO,EAAE,OAAO,IAAI,CAAC,CAAC,OAAO,EAAU,sCAAsC;YAC7E,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO;SAC/C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACjC,YAAY,EAAE,OAAO;QACrB,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAgB,YAAY,CAAC,SAAiB,EAAE,UAAkB,EAAE,QAAkB;IACpF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IAErD,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3C,IAAI,MAAkB,CAAC;QAAC,IAAI,MAAc,CAAC;QAC3C,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAAC,MAAM,GAAG,MAAM,CAAC;YAAC,MAAM,GAAG,qDAAqD,CAAC;QAAC,CAAC;aAC3G,CAAC;YACJ,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBAAC,MAAM,GAAG,QAAQ,CAAC;gBAAC,MAAM,GAAG,iBAAiB,CAAC,CAAC,OAAO,oBAAoB,CAAC;YAAC,CAAC;iBACjG,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAAC,MAAM,GAAG,YAAY,CAAC;gBAAC,MAAM,GAAG,iBAAiB,CAAC,CAAC,OAAO,cAAc,CAAC,CAAC,QAAQ,MAAM,GAAG,GAAG,CAAC;YAAC,CAAC;iBAC3H,CAAC;gBAAC,MAAM,GAAG,MAAM,CAAC;gBAAC,MAAM,GAAG,wBAAwB,CAAC;YAAC,CAAC;QAC9D,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACjH,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAEtG,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,SAAS;QACT,WAAW;QACX,eAAe;QACf,OAAO,EAAE;YACP,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;YACzD,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,MAAM;YACrE,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM;YAC7D,WAAW,EAAE,WAAW,CAAC,MAAM;SAChC;KACF,CAAC;AACJ,CAAC;AAED,SAAgB,YAAY,CAAC,UAAkB;IAC7C,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,IAAA,uBAAU,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC;AAC3F,CAAC;AACD,SAAgB,YAAY,CAAC,UAAkB;IAC7C,MAAM,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACnC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAA,wBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC;AACD,SAAgB,YAAY,CAAC,CAAW;IACtC,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACnD,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACzD,OAAO,CAAC,CAAC;AACX,CAAC"}
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../../src/harness/manifest.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkEA,8CAGC;AA+BD,sCA4BC;AAQD,oCAoCC;AAED,oCAEC;AACD,oCAGC;AAUD,oCAQC;AAtMD;;;;;;;;;;;;;GAaG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,6CAA2D;AAC3D,2CAA2C;AAC3C,mCAAmC;AACnC,sDAA6D;AAC7D,4DAAyD;AACzD,wEAAmE;AACnE,0DAA6F;AAC7F,oEAA8F;AAEjF,QAAA,eAAe,GAAG,CAAC,CAAC;AAsBjC,MAAM,OAAO,GAAG,gBAAgB,CAAC;AAEjC;;;;GAIG;AACH,SAAS,YAAY,CAAC,cAAsB,EAAE,SAAmB;IAC/D,IAAI,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC;QAAE,OAAO,cAAc,CAAC;IAC9D,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM;gBAAE,IAAI,GAAG,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8FAA8F;AAC9F,SAAgB,iBAAiB,CAAC,QAAgB;IAChD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,IAAA,qCAAqB,EAAC,IAAA,wBAAY,EAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAA,oCAAI,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAA,yBAAW,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AACnI,CAAC;AAED,oGAAoG;AACpG,SAAS,cAAc,CAAC,QAAgB;IACtC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,IAAA,yCAAkB,EAAC,IAAA,wBAAY,EAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACpH,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,KAAK,WAAW;YAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IAC/E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2FAA2F;AAC3F,SAAS,oBAAoB,CAAC,WAAmB;IAC/C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAA,wBAAY,EAAC,WAAW,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,GAAG,GAA6D,EAAE,CAAC;IACzE,IAAI,OAAO,GAAG,eAAe,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;QACpE,IAAI,EAAE,EAAE,CAAC;YAAC,OAAO,GAAG,IAAA,+BAAc,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAA,oCAAI,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC1F,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAC3C,IAAI,CAAC,EAAE,CAAC;YACN,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAA,gBAAQ,EAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,aAAa,CAAC,SAAiB,EAAE,UAAkB;IACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,IAAA,4BAAe,EAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5D,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,QAAQ,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACtE,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IAE3C,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,OAAO,GAAoB,YAAY,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACpF,MAAM,IAAI,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QACxD,IAAI,IAAA,+BAAc,EAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAClC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAuB,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;QACxJ,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACnD,OAAO,OAAO;YACZ,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,SAAqB,EAAE,CAAC,sCAAsC;YACnI,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,MAAM,EAAE,uBAAe;QACvB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACjC,YAAY,EAAE,OAAO;QACrB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAgB,YAAY,CAAC,SAAiB,EAAE,UAAkB,EAAE,QAAkB;IACpF,IAAA,6CAAwB,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAA,uBAAU,EAAC,UAAU,CAAC,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC;IACjE,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,QAAQ,CAAC;QAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACzE,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE9G,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3C,IAAI,MAAkB,CAAC;QAAC,IAAI,MAAc,CAAC;QAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC;QACvE,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAAC,MAAM,GAAG,MAAM,CAAC;YAAC,MAAM,GAAG,qDAAqD,CAAC;QAAC,CAAC;aAC3G,CAAC;YACJ,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACzF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBAAC,MAAM,GAAG,QAAQ,CAAC;gBAAC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,CAAC,OAAO,oBAAoB,CAAC;YAAC,CAAC;iBAC5F,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAAC,MAAM,GAAG,YAAY,CAAC;gBAAC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,CAAC,OAAO,cAAc,CAAC,CAAC,QAAQ,MAAM,GAAG,GAAG,CAAC;YAAC,CAAC;iBACtH,CAAC;gBAAC,MAAM,GAAG,MAAM,CAAC;gBAAC,MAAM,GAAG,GAAG,IAAI,YAAY,CAAC;YAAC,CAAC;QACzD,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACjH,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAEtG,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,SAAS;QACT,WAAW;QACX,eAAe;QACf,OAAO,EAAE;YACP,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;YACzD,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,MAAM;YACrE,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM;YAC7D,WAAW,EAAE,WAAW,CAAC,MAAM;SAChC;KACF,CAAC;AACJ,CAAC;AAED,SAAgB,YAAY,CAAC,UAAkB;IAC7C,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,IAAA,uBAAU,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC;AAC3F,CAAC;AACD,SAAgB,YAAY,CAAC,UAAkB;IAC7C,MAAM,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACnC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAA,wBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC;AACD,qGAAqG;AACrG,SAAS,gBAAgB,CAAC,CAAS;IACjC,IAAI,CAAC;QAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAA,wBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC9F,CAAC;AACD,SAAS,aAAa,CAAC,CAAS,EAAE,CAAW;IAC3C,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACnD,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AAC3D,CAAC;AACD,yHAAyH;AACzH,SAAgB,YAAY,CAAC,CAAW;IACtC,MAAM,IAAI,GAAG,IAAA,uBAAU,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAClC,IAAA,6CAAwB,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,KAAK,uBAAe,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,uBAAe,CAAC,KAAK,uBAAe,CAAC;IACvH,IAAI,SAAS;QAAE,IAAA,0CAAqB,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,8BAA8B,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;;QAC/H,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzB,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/harness/next-step.d.ts

@@ -1,3 +1,7 @@
+import type { HeadSnapshot } from '../contract/contract-git';
+import { EvaluateOptions } from '../graph/evaluate-graph';
+import type { TestCaseState } from '../graph/test-case-state-shape';
+import { AuditNotCounted, ContractSummary } from '../graph/unit-state-facts';
 export interface NextStep {
     /** The command to run, as the operator would type it. */
     command: string;
@@ -11,14 +15,19 @@ export interface NextStep {
      * in the same session (#660).
      */
     kind: 'do' | 'blocked' | 'optional' | 'decide';
+    /** The graph node that produced the step (OES-10.1). `--json` detail; the text never shows it. */
+    nodeId?: string;
+    granularity?: 'unit' | 'test-case';
+    /** The one test case the step is about (`sungen next <unit> --case <id>`). */
+    testCase?: string;
+    /** Catalog rule ids (gate-rules.yaml) the step answers to. */
+    gates?: string[];
 }
 export interface UnitState {
     unit: string;
     kind: 'screen' | 'flow' | 'api';
     hasSpec: boolean;
     hasViewpoint: boolean;
-    /** test-viewpoint.md carries `drafted-by: ai` — written by the AI, not yet accepted by a QA. */
-    viewpointIsAiDraft?: boolean;
     hasContract: boolean;
     hasFlowInventory: boolean;
     scenarioCount: number;
@@ -26,6 +35,13 @@ export interface UnitState {
     selectorsArePlaceholder: boolean;
     compiled: boolean;
     hasResults: boolean;
+    /**
+     * Scenarios whose FINAL attempt failed (failed · timedOut · interrupted) across the unit's result
+     * files — a retried pass is not a failure. Any failure puts `sungen triage` in the path: with only
+     * "optional" left after a deliverable, a red run read as done and its reds reached the export
+     * unclassified. Absent when the state was not read from disk.
+     */
+    failedCount?: number;
     hasDeliverable: boolean;
     audit?: {
         overall: number;
@@ -43,12 +59,29 @@ export interface UnitState {
         recordedVersion: string;
         runningVersion: string;
     };
+    /** An audit report exists but does not count (stale, untrusted) — gate and delivery block on it too. */
+    auditNotCounted?: AuditNotCounted;
+    /** The rebuilt Test Contract verdict (DOS-14.4); absent when not read from disk or no scenario exists. */
+    contract?: ContractSummary;
+    /** Per-test-case state (DOS-11.1); absent when not read from disk or unreadable. */
+    testCases?: TestCaseState[];
     steps: NextStep[];
 }
-export declare function readUnitState(projectRoot: string, unitDir: string, unit: string, kind: UnitState['kind']): UnitState;
+export interface ReadUnitStateOptions {
+    /** git HEAD read once for many units (`sungen next` with no unit). */
+    gitSnapshot?: HeadSnapshot;
+}
+/**
+ * Everything the resolver needs, read from disk. `unit` is the catalog id
+ * (`<screen>` · `flows/<f>` · `api/<a>`); `unitDir` is its directory. The audit report is read
+ * through verifyAuditReport, as `sungen gate` and `sungen delivery` read it: a stale or untrusted
+ * report counts as never audited (OES-11.4) and is named in `auditNotCounted`.
+ */
+export declare function readUnitState(projectRoot: string, unitDir: string, unit: string, kind: UnitState['kind'], opts?: ReadUnitStateOptions): UnitState;
 /**
- * The ordered answer. Earliest unmet precondition first, so the list reads as a path rather than
- * a menu — and a `blocked` step names what to resolve instead of pretending it can run.
+ * The ordered answer — earliest unmet precondition first, so the list reads as a path rather than a
+ * menu. Evaluated over the internal node graph (src/graph, OES-10.1): each former if/return branch
+ * is one node, and an open blocking node cuts everything after it, exactly as the `return`s did.
  */
-export declare function deriveSteps(s: UnitState): NextStep[];
+export declare function deriveSteps(s: UnitState, opts?: EvaluateOptions): NextStep[];
 //# sourceMappingURL=next-step.d.ts.map

package/dist/harness/next-step.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"next-step.d.ts","sourceRoot":"","sources":["../../src/harness/next-step.ts"],"names":[],"mappings":"AAyBA,MAAM,WAAW,QAAQ;IACvB,yDAAyD;IACzD,OAAO,EAAE,MAAM,CAAC;IAChB,0EAA0E;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;;OAMG;IACH,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAC;CAChD;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,YAAY,EAAE,OAAO,CAAC;IACtB,gGAAgG;IAChG,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,WAAW,EAAE,OAAO,CAAC;IACrB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,OAAO,CAAC;IACtB,uBAAuB,EAAE,OAAO,CAAC;IACjC,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;IACxB,KAAK,CAAC,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnB,uBAAuB,CAAC,EAAE,MAAM,CAAC;KAClC,CAAC;IACF;;;;;OAKG;IACH,WAAW,CAAC,EAAE;QAAE,eAAe,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,CAAC;IAClE,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAgDD,wBAAgB,aAAa,CAC3B,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,GAC1E,SAAS,CA2EX;AAaD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,SAAS,GAAG,QAAQ,EAAE,CAmHpD"}
+{"version":3,"file":"next-step.d.ts","sourceRoot":"","sources":["../../src/harness/next-step.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAiB,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAEzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAKpE,OAAO,EAAE,eAAe,EAAiB,eAAe,EAAuC,MAAM,2BAA2B,CAAC;AAEjI,MAAM,WAAW,QAAQ;IACvB,yDAAyD;IACzD,OAAO,EAAE,MAAM,CAAC;IAChB,0EAA0E;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;;OAMG;IACH,IAAI,EAAE,IAAI,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,CAAC;IAC/C,kGAAkG;IAClG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC;IACnC,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,8DAA8D;IAC9D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,GAAG,MAAM,GAAG,KAAK,CAAC;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,YAAY,EAAE,OAAO,CAAC;IACtB,WAAW,EAAE,OAAO,CAAC;IACrB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,OAAO,CAAC;IACtB,uBAAuB,EAAE,OAAO,CAAC;IACjC,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;IACpB;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,OAAO,CAAC;IACxB,KAAK,CAAC,EAAE;QACN,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnB,uBAAuB,CAAC,EAAE,MAAM,CAAC;KAClC,CAAC;IACF;;;;;OAKG;IACH,WAAW,CAAC,EAAE;QAAE,eAAe,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,CAAC;IAClE,wGAAwG;IACxG,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,0GAA0G;IAC1G,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,oFAAoF;IACpF,SAAS,CAAC,EAAE,aAAa,EAAE,CAAC;IAC5B,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,oBAAoB;IACnC,sEAAsE;IACtE,WAAW,CAAC,EAAE,YAAY,CAAC;CAC5B;AAID;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,GAAE,oBAAyB,GAC3G,SAAS,CAyDX;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,GAAE,eAAoB,GAAG,QAAQ,EAAE,CAEhF"}

package/dist/harness/next-step.js

@@ -53,124 +53,52 @@ exports.deriveSteps = deriveSteps;
  */
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
-const yaml_1 = require("yaml");
 const unit_paths_1 = require("./unit-paths");
-const read_text_1 = require("./read-text");
 const assets_drift_1 = require("../orchestrator/assets-drift");
-const viewpoint_draft_header_1 = require("./viewpoint-draft-header");
-const viewpoint_baseline_1 = require("./viewpoint-baseline");
+const evaluate_graph_1 = require("../graph/evaluate-graph");
+const core_node_catalog_1 = require("../graph/nodes/core-node-catalog");
+const test_case_states_1 = require("../graph/test-case-states");
+const unit_artifact_probes_1 = require("../graph/unit-artifact-probes");
+const unit_state_facts_1 = require("../graph/unit-state-facts");
 const exists = (p) => fs.existsSync(p);
-function readJson(p) {
-    try {
-        return JSON.parse((0, read_text_1.readTextFile)(p));
-    }
-    catch {
-        return null; // absent or unreadable — treated as "not run"
-    }
-}
-function countScenarios(unitDir, unit) {
-    let n = 0;
-    for (const f of (0, unit_paths_1.featureFilesFor)(unitDir, unit)) {
-        const text = fs.existsSync(f) ? (0, read_text_1.readTextFile)(f) : '';
-        n += (text.match(/^\s*Scenario(?: Outline)?:/gm) ?? []).length;
-    }
-    return n;
-}
-/**
- * Everything the resolver needs, read from disk. `unitId` is the catalog id
- * (`<screen>` · `flows/<f>` · `api/<a>`); `unitDir` is its directory.
- */
-const RESULT_FILE = /-test-result(?:\.[^.]+)*\.json$/;
 /**
- * Does the selector text resolve at least one element? A scaffold resolves none: the web one holds
- * only the `page` route, the mobile one only header comments. Matching the WORD "placeholder" was
- * wrong both ways (#868): it flagged a real file whose key names an input's placeholder text, and
- * missed both scaffolds, which never contain it.
+ * Everything the resolver needs, read from disk. `unit` is the catalog id
+ * (`<screen>` · `flows/<f>` · `api/<a>`); `unitDir` is its directory. The audit report is read
+ * through verifyAuditReport, as `sungen gate` and `sungen delivery` read it: a stale or untrusted
+ * report counts as never audited (OES-11.4) and is named in `auditNotCounted`.
  */
-function hasResolvedSelector(selectorText) {
-    let doc;
-    try {
-        doc = (0, yaml_1.parse)(selectorText);
-    }
-    catch {
-        return selectorText.trim().length >= 40;
-    }
-    if (!doc || typeof doc !== 'object')
-        return false;
-    // A real cell, not a marker left to be filled in. Numbers count (an id or index can be numeric).
-    const real = (v) => (typeof v === 'string' || typeof v === 'number')
-        && String(v).trim() !== '' && !/^(?:todo|tbd|placeholder|replace me)$/i.test(String(v).trim());
-    return Object.values(doc).some((e) => {
-        if (!e || typeof e !== 'object')
-            return false;
-        const { type, value, name, locator } = e;
-        // Every SelectorEntry shape: a CSS `locator`, or a non-page `type` with a value or a role name.
-        return real(locator) || (typeof type === 'string' && type !== 'page' && (real(value) || real(name)));
-    });
-}
-function readUnitState(projectRoot, unitDir, unit, kind) {
+function readUnitState(projectRoot, unitDir, unit, kind, opts = {}) {
     const req = path.join(unitDir, 'requirements');
     const slug = (0, unit_paths_1.reportSlug)(unit);
-    const audit = readJson(path.join(projectRoot, '.sungen', 'reports', `${slug}-audit.json`));
+    const { report: audit, notCounted } = (0, unit_state_facts_1.readTrustedAudit)(projectRoot, unit);
     const selectorsDir = path.join(unitDir, 'selectors');
     let selectorFiles = [];
     try {
         selectorFiles = fs.readdirSync(selectorsDir).filter((f) => f.endsWith('.yaml'));
     }
     catch { /* api units carry no selectors */ }
-    // `readTextFile` throws on a missing file, and every path here is legitimately absent at some
-    // point in a unit's life — the resolver exists to report exactly that, so it must not crash on it.
-    const read = (p) => (fs.existsSync(p) ? (0, read_text_1.readTextFile)(p) : '');
-    const selectorTexts = selectorFiles.map((f) => read(path.join(selectorsDir, f)));
+    const selectorTexts = selectorFiles.map((f) => (0, unit_artifact_probes_1.readIfExists)(path.join(selectorsDir, f)));
     const contractPath = path.join(req, 'flow-contract.yaml');
-    const contractText = read(contractPath);
-    const specDirs = [
-        path.join(projectRoot, 'specs', 'generated', 'flows', unit),
-        path.join(projectRoot, 'specs', 'generated', unit),
-    ];
-    const compiled = specDirs.some((d) => {
-        try {
-            return fs.readdirSync(d).some((f) => f.endsWith('.spec.ts'));
-        }
-        catch {
-            return false;
-        }
-    });
-    const hasResults = specDirs.some((d) => {
-        try {
-            // `<f>-test-result[.<os>][.<env>].json` — a mobile run writes the OS into the name, an env
-            // run (SUNGEN_ENV=staging) the env; both are runs (#868).
-            return fs.readdirSync(d).some((f) => RESULT_FILE.test(f));
-        }
-        catch {
-            return false;
-        }
-    });
-    let hasDeliverable = false;
-    try {
-        hasDeliverable = fs.readdirSync(path.join(projectRoot, 'qa', 'deliverables'))
-            .some((f) => f.startsWith(`${slug}-`));
-    }
-    catch { /* nothing exported yet */ }
+    const resultFiles = (0, unit_artifact_probes_1.unitResultFiles)(projectRoot, unit);
     const score = (audit?.score ?? {});
     const baseline = (audit?.viewpointBaseline ?? {});
     const state = {
         unit, kind,
         hasSpec: exists(path.join(req, 'spec.md')),
         hasViewpoint: exists(path.join(req, 'test-viewpoint.md')),
-        // An id-less draft has nothing to accept: only the missing-yardstick step speaks for it.
-        viewpointIsAiDraft: (0, viewpoint_draft_header_1.viewpointFileIsAiDraft)(path.join(req, 'test-viewpoint.md'))
-            && (0, viewpoint_baseline_1.readViewpointDeclaration)(path.join(req, 'test-viewpoint.md')) !== null,
         hasContract: exists(contractPath),
         // A contract WITHOUT `flows:` can only be scored per phase, which is a materially weaker
         // claim — so it is part of the state, not a detail.
-        hasFlowInventory: /^\s*flows:\s*$/m.test(contractText),
-        scenarioCount: countScenarios(unitDir, unit),
+        hasFlowInventory: /^\s*flows:\s*$/m.test((0, unit_artifact_probes_1.readIfExists)(contractPath)),
+        scenarioCount: (0, unit_artifact_probes_1.countScenarios)(unitDir, unit),
         hasSelectors: selectorFiles.length > 0,
         // A scaffolded selector file exists but resolves nothing; treating it as "done" is what
         // makes a run look further along than it is.
-        selectorsArePlaceholder: selectorFiles.length > 0 && !selectorTexts.some(hasResolvedSelector),
-        compiled, hasResults, hasDeliverable,
+        selectorsArePlaceholder: selectorFiles.length > 0 && !selectorTexts.some(unit_artifact_probes_1.hasResolvedSelector),
+        compiled: (0, unit_artifact_probes_1.isCompiled)(projectRoot, unit),
+        hasResults: resultFiles.length > 0,
+        failedCount: (0, unit_artifact_probes_1.countFailedResults)(resultFiles),
+        hasDeliverable: (0, unit_artifact_probes_1.hasDeliverableFor)(projectRoot, slug),
         assetsDrift: (() => {
             const d = (0, assets_drift_1.checkAssetsDrift)(projectRoot);
             return d && d.recordedVersion !== d.runningVersion
@@ -185,138 +113,26 @@ function readUnitState(projectRoot, unitDir, unit, kind) {
                 viewpointBaselineStatus: baseline.status,
             }
             : undefined,
+        ...(notCounted ? { auditNotCounted: notCounted } : {}),
         steps: [],
     };
+    let contract;
+    if (state.scenarioCount > 0)
+        state.contract = (contract = (0, unit_state_facts_1.readContractFacts)(projectRoot, unit, unitDir, opts.gitSnapshot)).summary;
+    try {
+        state.testCases = (0, test_case_states_1.testCaseStates)(projectRoot, unit, { unitDir, auditFindings: state.audit?.findings ?? [] })
+            .map((tc) => (contract?.cases.has(tc.id) ? { ...tc, contract: contract.cases.get(tc.id) } : tc));
+    }
+    catch { /* an unparseable .feature — the unit-level nodes still answer, as before test-case state */ }
     state.steps = deriveSteps(state);
     return state;
 }
-/** The finding codes worth naming in a next step — each maps to a specific repair. */
-const 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 ordered answer. Earliest unmet precondition first, so the list reads as a path rather than
- * a menu — and a `blocked` step names what to resolve instead of pretending it can run.
+ * The ordered answer — earliest unmet precondition first, so the list reads as a path rather than a
+ * menu. Evaluated over the internal node graph (src/graph, OES-10.1): each former if/return branch
+ * is one node, and an open blocking node cuts everything after it, exactly as the `return`s did.
  */
-function deriveSteps(s) {
-    const out = [];
-    const design = s.kind === 'api' ? `/sungen:create-test ${s.unit}` : `/sungen:create-test ${s.unit}`;
-    if (!s.hasSpec && !s.hasViewpoint) {
-        out.push({
-            kind: 'blocked',
-            command: `write qa/${s.kind === 'screen' ? 'screens' : s.kind === 'flow' ? 'flows' : 'api'}/${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',
-        });
-        return out;
-    }
-    // Stale AI assets come FIRST, because they invalidate the advice below: a HARD RULE added to
-    // `create-test` reaches nobody until `sungen update` runs, so the run that follows will repeat
-    // whatever the old instructions said. Upgrading the package alone does not refresh them, and the
-    // existing warning is one grey stderr line among a command's whole output (#620).
-    if (s.assetsDrift) {
-        out.push({
-            kind: 'do',
-            command: 'sungen update',
-            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 test-viewpoint.md and
-    // four sensors read it, so its absence is not cosmetic — and it can go missing from a unit that
-    // already HAS a spec (a run deleted it), which the "no source at all" branch above never sees.
-    if (!s.hasViewpoint) {
-        out.push({
-            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',
-        });
-    }
-    if (s.kind === 'flow' && !s.hasContract) {
-        out.push({
-            kind: 'blocked',
-            command: `author requirements/flow-contract.yaml, then ${design}`,
-            because: 'a flow with no contract is scored as a generic screen against page-type themes a journey cannot have (FLOW-CONTRACT-MISSING)',
-        });
-        return out;
-    }
-    // Before any generation: the AI drafts the viewpoint and audits it BEFORE it writes scenarios, so
-    // this is exactly where a draft would otherwise be accepted by the process that wrote it.
-    if (s.viewpointIsAiDraft) {
-        out.push({
-            kind: 'decide',
-            command: `sungen audit --screen ${s.unit} --accept-viewpoint`,
-            because: 'test-viewpoint.md is marked `drafted-by: ai` — nobody has reviewed it, so the ledger and traceability axes are held as unverified. A QA reviews the claims (adds what matters, deletes what does not), then accepts; the command records the baseline and removes the marker. A decision, not a step: an agent presents it and does not run it',
-        });
-    }
-    if (s.scenarioCount === 0) {
-        out.push({ kind: 'do', command: design, because: 'no scenarios exist yet' });
-        return out;
-    }
-    if (s.kind === 'flow' && !s.hasFlowInventory) {
-        out.push({
-            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',
-        });
-    }
-    if (!s.audit) {
-        out.push({ kind: 'do', command: `sungen audit --screen ${s.unit}`, because: 'the suite has never been measured' });
-        return out;
-    }
-    if (s.audit.viewpointBaselineStatus === 'changed' && !s.viewpointIsAiDraft) { // the draft's own decide step is already above
-        out.push({
-            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',
-        });
-    }
-    const repair = s.audit.findings
-        .map((f) => f.split(':')[0].trim())
-        .filter((code) => REPAIRABLE.includes(code));
-    if (repair.length > 0) {
-        out.push({
-            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(', ')}`,
-        });
-    }
-    if (s.audit.gateStatus === 'FAIL') {
-        out.push({
-            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`,
-        });
-        return out;
-    }
-    if (s.kind !== 'api' && (!s.hasSelectors || s.selectorsArePlaceholder)) {
-        out.push({
-            kind: 'do',
-            command: `/sungen:run-test ${s.unit}`,
-            because: s.hasSelectors
-                ? 'the selector file is still a placeholder, so nothing resolves against a live page'
-                : 'no selectors exist yet — run-test generates them from the live page, compiles and auto-fixes',
-        });
-        return out;
-    }
-    if (!s.compiled) {
-        out.push({ kind: 'do', command: `sungen generate --${s.kind === 'flow' ? 'flow' : 'screen'} ${s.unit}`, because: 'the suite has not been compiled to a spec yet' });
-        return out;
-    }
-    if (!s.hasResults) {
-        out.push({ kind: 'do', command: `/sungen:run-test ${s.unit}`, because: 'the compiled spec has never been run, so every case is Pending' });
-        return out;
-    }
-    if (!s.hasDeliverable) {
-        out.push({ kind: 'do', command: `/sungen:delivery ${s.unit}`, because: 'results exist but have not been exported to the Test Case & Coverage Matrix' });
-    }
-    out.push({ kind: 'optional', command: `/sungen:create-test ${s.unit}`, because: 'extend coverage — the next tier, or the flows the inventory still lists as pending' });
-    return out;
+function deriveSteps(s, opts = {}) {
+    return (0, evaluate_graph_1.evaluateGraph)(core_node_catalog_1.CORE_NODES, s, s.testCases, opts);
 }
 //# sourceMappingURL=next-step.js.map