@cat-factory/agents 0.72.3 → 0.73.0

package/dist/repo-ops/builtin.js

@@ -1,5 +1,6 @@
 import { BLUEPRINT_DIR, BLUEPRINT_VERSION_PATH, SPEC_DIR, SPEC_FEATURES_DIR, SPEC_MODULES_DIR, } from '@cat-factory/contracts';
-import { coerceBlueprintService, coerceSpecDoc, hashBlueprint, nextBlueprintVersion, renderBlueprintFiles, renderBlueprintVersionFile, renderSpecFeatureFiles, renderSpecFiles, } from './render.js';
+import { asString, clearAspirationalTag, coerceBlueprintService, coerceSpecDoc, hashBlueprint, nextBlueprintVersion, promoteRequirementStates, renderBlueprintFiles, renderBlueprintVersionFile, renderSpecFeatureFiles, renderSpecFiles, } from './render.js';
+import { readServiceSpec } from './readServiceSpec.js';
 // ---------------------------------------------------------------------------
 // BUILT-IN post-ops: the deterministic render + commit of the in-repo `blueprints/`
 // (and, later, `spec/`) artifacts a migrated built-in agent produces.
@@ -208,4 +209,188 @@ export const specPostOp = async (ctx) => {
         ...(deletions.length > 0 ? { deletions } : {}),
     });
 };
+// ---------------------------------------------------------------------------
+// BUILT-IN post-op: tester-driven PROMOTION of the in-repo spec's implementation state.
+//
+// `spec/` is prescriptive — it says what must be TRUE — and `requirementItem.state` is what
+// lets it also say what is true YET. A newly written requirement is `aspirational`; a first
+// OBSERVED pass promotes it to `established`, which is what makes it standing behaviour for
+// every later build and test prompt.
+//
+// SEAM CHOICE — this post-op, NOT the spec-writer's own update pass. The spec-writer runs
+// near the front of every pipeline (0–1 steps behind the requirements gate) while the tester
+// runs near the back, so by the time verdicts exist this run's writer has long finished:
+// routing promotion through it would defer every promotion to the NEXT run (which may never
+// come) and would hand a deterministic, evidence-backed state change to a model that cannot
+// see the evidence. Promotion is mechanical, so it belongs in deterministic backend TS over
+// the checkout-free RepoFiles port — the same shape `specPostOp` already uses.
+//
+// IDEMPOTENT BY CONTENT, which is the exact answer the durable driver needs: it re-reads the
+// spec from the branch, recomputes the promoted tree and byte-compares. A REPLAY (or a re-test
+// after a fixer round) reads an already-promoted spec, produces identical bytes and commits
+// nothing. No marker row, no wall-clock guess.
+// ---------------------------------------------------------------------------
+/** The met requirement ids in a tester's structured report, or an empty set. */
+function metRequirementIds(result) {
+    const report = result?.testReport;
+    if (!report || typeof report !== 'object')
+        return new Set();
+    const verdicts = report.requirementVerdicts;
+    if (!Array.isArray(verdicts))
+        return new Set();
+    const ids = new Set();
+    for (const raw of verdicts) {
+        if (!raw || typeof raw !== 'object')
+            continue;
+        const v = raw;
+        // ONLY `met` promotes. `not_covered` means nobody looked, and `not_met` means it does not
+        // hold — neither is evidence that the service honours the behaviour.
+        if (v.status !== 'met')
+            continue;
+        const id = asString(v.requirementId);
+        if (id)
+            ids.add(id);
+    }
+    return ids;
+}
+/**
+ * Whether a canonical path is a per-group JSON shard — `spec/modules/<module>/<group>.json`,
+ * the ONLY canonical file that stores requirements and rules. `_module.json` is the module's
+ * own identity, and `service.json` / `overview.md` are indexes.
+ */
+function isGroupShard(path) {
+    if (!path.startsWith(`${SPEC_MODULES_DIR}/`) || !path.endsWith('.json'))
+        return false;
+    const rest = path.slice(SPEC_MODULES_DIR.length + 1).split('/');
+    return rest.length === 2 && rest[1] !== '_module.json';
+}
+/** The requirement ids a RENDERED group shard carries (we produced it, so it always parses). */
+function requirementIdsIn(content) {
+    const parsed = JSON.parse(content);
+    return (parsed.requirements ?? [])
+        .map((r) => asString(r?.id))
+        .filter((id) => id !== undefined);
+}
+/**
+ * The group shard whose data governs whether `path` may be rewritten: the shard itself, or —
+ * for the human-readable `spec/modules/<module>/<group>.md` render — the shard it is derived
+ * from. Null for files that carry no requirement data of their own.
+ */
+function governingGroupShard(path) {
+    if (isGroupShard(path))
+        return path;
+    if (path.startsWith(`${SPEC_MODULES_DIR}/`) && path.endsWith('.md')) {
+        const shard = `${path.slice(0, -'.md'.length)}.json`;
+        return isGroupShard(shard) ? shard : null;
+    }
+    return null;
+}
+/**
+ * POST-OP for the tester kinds: promote every spec requirement the Tester OBSERVED to pass
+ * from `aspirational` to `established`, and commit the updated shards onto the run's branch.
+ *
+ * Reads the spec back from the branch (the tester's own result carries no spec), re-renders
+ * only the canonical shards, and surgically drops the now-stale `@aspirational` tag from the
+ * seed-once Gherkin files — never re-rendering those, so a pass-2 acceptance polish survives.
+ *
+ * NON-DESTRUCTIVE BY CONSTRUCTION. `readServiceSpec` is deliberately SALVAGING: a requirement
+ * or rule that fails validation (one field past a cap the lenient writer never enforced) is
+ * dropped so the rest of the tree survives the read. Re-rendering from that view would commit
+ * the drop — a state flip on one requirement silently deleting an unrelated one. So every
+ * GROUP SHARD is diffed against a BASELINE render taken BEFORE promotion: a shard whose
+ * committed bytes don't match its own baseline did not round-trip losslessly, so neither it,
+ * nor the markdown derived from it, nor the `@aspirational` tag of a requirement inside it is
+ * touched. A path the render would CREATE (a shifted collision suffix) is skipped rather than
+ * added beside the original — promotion never restructures the tree, it only flips a field.
+ *
+ * BEST-EFFORT: a throwing post-op fails its step, and promotion is bookkeeping — a spec that
+ * failed to promote must never turn a green tester run red. Every failure path is a silent
+ * no-op, exactly like the PR verification report's publish.
+ */
+export const specPromotionPostOp = async (ctx) => {
+    try {
+        const met = metRequirementIds(ctx.result);
+        if (met.size === 0)
+            return;
+        const view = await readServiceSpec(ctx.repo, ctx.branch);
+        if (!view.present || !view.spec)
+            return;
+        // Materialised BEFORE the in-place promotion below, so it captures the tree exactly as the
+        // read reconstructed it. A committed group shard that differs from this lost something on
+        // the way in, and must not be rewritten from it.
+        const baseline = new Map(renderSpecFiles(view.spec).map((f) => [f.path, f.content]));
+        const promoted = promoteRequirementStates(view.spec, met);
+        if (promoted.length === 0)
+            return;
+        // Re-render the canonical shards only. The seed-once feature files are NOT re-rendered
+        // (that would discard pass-2 polish); their stale tag is edited in place below.
+        const canonical = renderSpecFiles(view.spec);
+        const committed = new Map();
+        for (const f of canonical) {
+            const existing = await ctx.repo.getFile(f.path, ctx.branch);
+            committed.set(f.path, existing?.content ?? null);
+        }
+        // A group shard is SAFE when its committed bytes are either the pre-promotion baseline
+        // (it round-tripped losslessly) or the post-promotion render (a replay). Anything else
+        // means the read dropped or rewrote something, and neither that shard nor the markdown
+        // derived from it may be rewritten from the view.
+        const safeShards = new Set();
+        for (const f of canonical) {
+            if (!isGroupShard(f.path))
+                continue;
+            const existing = committed.get(f.path);
+            if (existing == null)
+                continue;
+            if (existing === baseline.get(f.path) || existing === f.content)
+                safeShards.add(f.path);
+        }
+        // The ids whose state change will actually LAND: those living in a safe shard. A
+        // requirement stranded in an unsafe one keeps both its `aspirational` shard entry and its
+        // `@aspirational` tag, so the two never disagree — clearing the tag alone would make a
+        // runner exercise a scenario the spec still calls unbuilt, the unsafe direction of the
+        // "a stale tag only ever costs a skip" trade.
+        const promotedSet = new Set(promoted);
+        const landed = new Set();
+        for (const f of canonical) {
+            if (!isGroupShard(f.path) || !safeShards.has(f.path))
+                continue;
+            for (const id of requirementIdsIn(f.content))
+                if (promotedSet.has(id))
+                    landed.add(id);
+        }
+        if (landed.size === 0)
+            return;
+        const files = [];
+        for (const f of canonical) {
+            const existing = committed.get(f.path) ?? null;
+            // Absent ⇒ a path this render would CREATE; equal ⇒ already current (a replay).
+            if (existing === null || existing === f.content)
+                continue;
+            // Every other canonical file (`service.json`, `_module.json`, `overview.md`) is a pure
+            // index over data that lives in the shards, so rewriting it can lose nothing.
+            const shard = governingGroupShard(f.path);
+            if (shard && !safeShards.has(shard))
+                continue;
+            files.push(f);
+        }
+        // The feature files were already fetched by `readServiceSpec` — edit the content in hand
+        // rather than re-reading each one off the branch.
+        for (const feature of view.features) {
+            const updated = clearAspirationalTag(feature.content, landed);
+            if (updated !== feature.content)
+                files.push({ path: feature.path, content: updated });
+        }
+        // Nothing actually differs ⇒ a replay. Commit nothing.
+        if (files.length === 0)
+            return;
+        await ctx.repo.commitFiles({
+            branch: ctx.branch,
+            message: `Promote ${landed.size} verified requirement${landed.size === 1 ? '' : 's'} to established`,
+            files,
+        });
+    }
+    catch {
+        // Bookkeeping: never fail a tester step because the spec could not be promoted.
+    }
+};
 //# sourceMappingURL=builtin.js.map

package/dist/repo-ops/builtin.js.map

@@ -1 +1 @@
-{"version":3,"file":"builtin.js","sourceRoot":"","sources":["../../src/repo-ops/builtin.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,sBAAsB,EAEtB,QAAQ,EACR,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,wBAAwB,CAAA;AAE/B,OAAO,EACL,sBAAsB,EACtB,aAAa,EACb,aAAa,EACb,oBAAoB,EAEpB,oBAAoB,EACpB,0BAA0B,EAC1B,sBAAsB,EACtB,eAAe,GAChB,MAAM,aAAa,CAAA;AAEpB,8EAA8E;AAC9E,oFAAoF;AACpF,sEAAsE;AACtE,EAAE;AACF,wFAAwF;AACxF,qFAAqF;AACrF,wFAAwF;AACxF,uFAAuF;AACvF,yFAAyF;AACzF,wFAAwF;AACxF,qFAAqF;AACrF,qEAAqE;AACrE,8EAA8E;AAE9E,wFAAwF;AACxF,SAAS,qBAAqB,CAAC,OAA2B;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAA;IACzB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA8B,CAAA;QAC/D,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAA;QACtF,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,WAAW,EAAE,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE;YAC7E,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,OAAO,EAAE,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACjE,CAAA;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,kBAAkB,CAAC,IAAe,EAAE,MAAc;IAC/D,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,CAAC,EAAE,CAAC;QACpE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,GAAG,IAAI,MAAM,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBAC/D,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC5C,CAAC;QACH,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACtB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,eAAe,GAAW,KAAK,EAAE,GAAG,EAAE,EAAE;IACnD,mFAAmF;IACnF,yFAAyF;IACzF,2EAA2E;IAC3E,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAA;IACxE,IAAI,CAAC,OAAO;QAAE,OAAM;IAEpB,MAAM,QAAQ,GAAG,qBAAqB,CACpC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CACtE,CAAA;IACD,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;QAAE,OAAM;IAExE,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,CAAA;IACzE,MAAM,QAAQ,GAAG;QACf,GAAG,oBAAoB,CAAC,OAAO,CAAC;QAChC,MAAM,0BAA0B,CAAC,OAAO,EAAE,OAAO,CAAC;KACnD,CAAA;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACpD,MAAM,SAAS,GAAG,CAAC,MAAM,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IACjG,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,0BAA0B;QACnC,KAAK,EAAE,QAAQ;QACf,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/C,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,8EAA8E;AAC9E,0FAA0F;AAC1F,0FAA0F;AAC1F,6FAA6F;AAC7F,yFAAyF;AACzF,6FAA6F;AAC7F,8DAA8D;AAC9D,8EAA8E;AAE9E,gGAAgG;AAChG,MAAM,iBAAiB,GAAG;IACxB,GAAG,QAAQ,YAAY;IACvB,GAAG,QAAQ,WAAW;IACtB,GAAG,QAAQ,eAAe;CAC3B,CAAA;AAED;;;;;GAKG;AACH,KAAK,UAAU,mBAAmB,CAAC,IAAe,EAAE,MAAc;IAChE,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,CAAC,aAAa,CAAC,gBAAgB,EAAE,MAAM,CAAC,EAAE,CAAC;QACvE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;YAAE,SAAQ;QAClC,KAAK,MAAM,GAAG,IAAI,MAAM,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAC/D,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBACnF,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,sBAAsB,CAAC,IAAe,EAAE,MAAc;IACnE,OAAO,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;SACzD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;SAC9D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;AACvB,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAW,KAAK,EAAE,GAAG,EAAE,EAAE;IAC9C,2EAA2E;IAC3E,mFAAmF;IACnF,wEAAwE;IACxE,IAAI,GAAG,CAAC,MAAM,EAAE,eAAe;QAAE,OAAM;IACvC,yFAAyF;IACzF,wFAAwF;IACxF,0FAA0F;IAC1F,2FAA2F;IAC3F,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;IAC/C,IAAI,CAAC,GAAG;QAAE,OAAM;IAEhB,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAA;IACtC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAA;IAE5C,6FAA6F;IAC7F,MAAM,cAAc,GAAmB,EAAE,CAAA;IACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC3E,CAAC;IAED,2FAA2F;IAC3F,6FAA6F;IAC7F,4FAA4F;IAC5F,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACrD,MAAM,OAAO,GAAG,CAAC,MAAM,mBAAmB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAChG,MAAM,qBAAqB,GAAa,EAAE,CAAA;IAC1C,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAClC,IAAI,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;YAAE,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC1E,CAAC;IACD,MAAM,SAAS,GAAG;QAChB,GAAG,OAAO;QACV,GAAG,qBAAqB;QACxB,GAAG,CAAC,MAAM,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;KACxD,CAAA;IAED,2FAA2F;IAC3F,wDAAwD;IACxD,IAAI,OAAO,GAAG,KAAK,CAAA;IACnB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC3D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YAChD,OAAO,GAAG,IAAI,CAAA;YACd,MAAK;QACP,CAAC;IACH,CAAC;IACD,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAE7E,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,6BAA6B;QACtC,KAAK,EAAE,CAAC,GAAG,SAAS,EAAE,GAAG,cAAc,CAAC;QACxC,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/C,CAAC,CAAA;AACJ,CAAC,CAAA"}
+{"version":3,"file":"builtin.js","sourceRoot":"","sources":["../../src/repo-ops/builtin.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,sBAAsB,EAEtB,QAAQ,EACR,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,wBAAwB,CAAA;AAE/B,OAAO,EACL,QAAQ,EACR,oBAAoB,EACpB,sBAAsB,EACtB,aAAa,EACb,aAAa,EACb,oBAAoB,EACpB,wBAAwB,EAExB,oBAAoB,EACpB,0BAA0B,EAC1B,sBAAsB,EACtB,eAAe,GAChB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AAEtD,8EAA8E;AAC9E,oFAAoF;AACpF,sEAAsE;AACtE,EAAE;AACF,wFAAwF;AACxF,qFAAqF;AACrF,wFAAwF;AACxF,uFAAuF;AACvF,yFAAyF;AACzF,wFAAwF;AACxF,qFAAqF;AACrF,qEAAqE;AACrE,8EAA8E;AAE9E,wFAAwF;AACxF,SAAS,qBAAqB,CAAC,OAA2B;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAA;IACzB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA8B,CAAA;QAC/D,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAA;QACtF,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,WAAW,EAAE,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE;YAC7E,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,OAAO,EAAE,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACjE,CAAA;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,kBAAkB,CAAC,IAAe,EAAE,MAAc;IAC/D,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,CAAC,EAAE,CAAC;QACpE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,GAAG,IAAI,MAAM,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBAC/D,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC5C,CAAC;QACH,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACtB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,eAAe,GAAW,KAAK,EAAE,GAAG,EAAE,EAAE;IACnD,mFAAmF;IACnF,yFAAyF;IACzF,2EAA2E;IAC3E,MAAM,OAAO,GAAG,sBAAsB,CAAC,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAA;IACxE,IAAI,CAAC,OAAO;QAAE,OAAM;IAEpB,MAAM,QAAQ,GAAG,qBAAqB,CACpC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CACtE,CAAA;IACD,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;QAAE,OAAM;IAExE,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC,CAAA;IACzE,MAAM,QAAQ,GAAG;QACf,GAAG,oBAAoB,CAAC,OAAO,CAAC;QAChC,MAAM,0BAA0B,CAAC,OAAO,EAAE,OAAO,CAAC;KACnD,CAAA;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACpD,MAAM,SAAS,GAAG,CAAC,MAAM,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IACjG,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,0BAA0B;QACnC,KAAK,EAAE,QAAQ;QACf,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/C,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,8EAA8E;AAC9E,0FAA0F;AAC1F,0FAA0F;AAC1F,6FAA6F;AAC7F,yFAAyF;AACzF,6FAA6F;AAC7F,8DAA8D;AAC9D,8EAA8E;AAE9E,gGAAgG;AAChG,MAAM,iBAAiB,GAAG;IACxB,GAAG,QAAQ,YAAY;IACvB,GAAG,QAAQ,WAAW;IACtB,GAAG,QAAQ,eAAe;CAC3B,CAAA;AAED;;;;;GAKG;AACH,KAAK,UAAU,mBAAmB,CAAC,IAAe,EAAE,MAAc;IAChE,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,CAAC,aAAa,CAAC,gBAAgB,EAAE,MAAM,CAAC,EAAE,CAAC;QACvE,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;YAAE,SAAQ;QAClC,KAAK,MAAM,GAAG,IAAI,MAAM,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAC/D,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBACnF,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,sBAAsB,CAAC,IAAe,EAAE,MAAc;IACnE,OAAO,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC;SACzD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;SAC9D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;AACvB,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAW,KAAK,EAAE,GAAG,EAAE,EAAE;IAC9C,2EAA2E;IAC3E,mFAAmF;IACnF,wEAAwE;IACxE,IAAI,GAAG,CAAC,MAAM,EAAE,eAAe;QAAE,OAAM;IACvC,yFAAyF;IACzF,wFAAwF;IACxF,0FAA0F;IAC1F,2FAA2F;IAC3F,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAA;IAC/C,IAAI,CAAC,GAAG;QAAE,OAAM;IAEhB,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAA;IACtC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAA;IAE5C,6FAA6F;IAC7F,MAAM,cAAc,GAAmB,EAAE,CAAA;IACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC3E,CAAC;IAED,2FAA2F;IAC3F,6FAA6F;IAC7F,4FAA4F;IAC5F,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IACrD,MAAM,OAAO,GAAG,CAAC,MAAM,mBAAmB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;IAChG,MAAM,qBAAqB,GAAa,EAAE,CAAA;IAC1C,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAClC,IAAI,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;YAAE,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IAC1E,CAAC;IACD,MAAM,SAAS,GAAG;QAChB,GAAG,OAAO;QACV,GAAG,qBAAqB;QACxB,GAAG,CAAC,MAAM,sBAAsB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;KACxD,CAAA;IAED,2FAA2F;IAC3F,wDAAwD;IACxD,IAAI,OAAO,GAAG,KAAK,CAAA;IACnB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC3D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YAChD,OAAO,GAAG,IAAI,CAAA;YACd,MAAK;QACP,CAAC;IACH,CAAC;IACD,IAAI,CAAC,OAAO,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAE7E,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,6BAA6B;QACtC,KAAK,EAAE,CAAC,GAAG,SAAS,EAAE,GAAG,cAAc,CAAC;QACxC,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/C,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,8EAA8E;AAC9E,wFAAwF;AACxF,EAAE;AACF,4FAA4F;AAC5F,4FAA4F;AAC5F,4FAA4F;AAC5F,qCAAqC;AACrC,EAAE;AACF,0FAA0F;AAC1F,6FAA6F;AAC7F,yFAAyF;AACzF,4FAA4F;AAC5F,4FAA4F;AAC5F,4FAA4F;AAC5F,+EAA+E;AAC/E,EAAE;AACF,6FAA6F;AAC7F,+FAA+F;AAC/F,4FAA4F;AAC5F,+CAA+C;AAC/C,8EAA8E;AAE9E,gFAAgF;AAChF,SAAS,iBAAiB,CAAC,MAAkC;IAC3D,MAAM,MAAM,GAAG,MAAM,EAAE,UAAU,CAAA;IACjC,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,GAAG,EAAE,CAAA;IAC3D,MAAM,QAAQ,GAAI,MAA4C,CAAC,mBAAmB,CAAA;IAClF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAA;IAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,SAAQ;QAC7C,MAAM,CAAC,GAAG,GAAoD,CAAA;QAC9D,0FAA0F;QAC1F,qEAAqE;QACrE,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK;YAAE,SAAQ;QAChC,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAA;QACpC,IAAI,EAAE;YAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACrB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,gBAAgB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAA;IACrF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC/D,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,cAAc,CAAA;AACxD,CAAC;AAED,gGAAgG;AAChG,SAAS,gBAAgB,CAAC,OAAe;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA0C,CAAA;IAC3E,OAAO,CAAC,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;SAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;SAC3B,MAAM,CAAC,CAAC,EAAE,EAAgB,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,CAAA;AACnD,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAAC,IAAY;IACvC,IAAI,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAA;IACnC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,gBAAgB,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,MAAM,KAAK,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAA;QACpD,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IAC3C,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAW,KAAK,EAAE,GAAG,EAAE,EAAE;IACvD,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACzC,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC;YAAE,OAAM;QAE1B,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QACxD,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAM;QAEvC,2FAA2F;QAC3F,0FAA0F;QAC1F,iDAAiD;QACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QAEpF,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QACzD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAM;QAEjC,uFAAuF;QACvF,gFAAgF;QAChF,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC5C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAA;QAClD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;YAC3D,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,IAAI,IAAI,CAAC,CAAA;QAClD,CAAC;QAED,uFAAuF;QACvF,uFAAuF;QACvF,uFAAuF;QACvF,kDAAkD;QAClD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;QACpC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAQ;YACnC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;YACtC,IAAI,QAAQ,IAAI,IAAI;gBAAE,SAAQ;YAC9B,IAAI,QAAQ,KAAK,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,OAAO;gBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QACzF,CAAC;QAED,iFAAiF;QACjF,0FAA0F;QAC1F,uFAAuF;QACvF,uFAAuF;QACvF,8CAA8C;QAC9C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAA;QACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAA;QAChC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAQ;YAC9D,KAAK,MAAM,EAAE,IAAI,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC;gBAAE,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACvF,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;YAAE,OAAM;QAE7B,MAAM,KAAK,GAAmB,EAAE,CAAA;QAChC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;YAC9C,gFAAgF;YAChF,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,CAAC,CAAC,OAAO;gBAAE,SAAQ;YACzD,uFAAuF;YACvF,8EAA8E;YAC9E,MAAM,KAAK,GAAG,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;YACzC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAQ;YAC7C,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACf,CAAC;QAED,yFAAyF;QACzF,kDAAkD;QAClD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;YAC7D,IAAI,OAAO,KAAK,OAAO,CAAC,OAAO;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAA;QACvF,CAAC;QAED,uDAAuD;QACvD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAM;QAE9B,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;YACzB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,WAAW,MAAM,CAAC,IAAI,wBAC7B,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC3B,iBAAiB;YACjB,KAAK;SACN,CAAC,CAAA;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,gFAAgF;IAClF,CAAC;AACH,CAAC,CAAA"}

package/dist/repo-ops/readServiceSpec.d.ts

@@ -0,0 +1,5 @@
+import { type ServiceSpecView } from '@cat-factory/contracts';
+import type { RepoFiles } from '@cat-factory/kernel';
+/** Read + reassemble the spec on `ref` (the repo default branch). Never throws. */
+export declare function readServiceSpec(repo: RepoFiles, ref: string): Promise<ServiceSpecView>;
+//# sourceMappingURL=readServiceSpec.d.ts.map

package/dist/repo-ops/readServiceSpec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"readServiceSpec.d.ts","sourceRoot":"","sources":["../../src/repo-ops/readServiceSpec.ts"],"names":[],"mappings":"AAAA,OAAO,EAUL,KAAK,eAAe,EAIrB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAoB,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAmFtE,mFAAmF;AACnF,wBAAsB,eAAe,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAyF5F"}

package/dist/repo-ops/readServiceSpec.js

@@ -0,0 +1,174 @@
+import { EMPTY_SERVICE_SPEC_VIEW, SPEC_FEATURES_DIR, SPEC_MODULES_DIR, SPEC_SERVICE_PATH, safeParseDomainRule, safeParseRequirementGroup, safeParseRequirementItem, safeParseSpecModule, } from '@cat-factory/contracts';
+import pMap from 'p-map';
+// Reassemble the SHARDED `spec/` artifact into a single {@link ServiceSpecView} for the
+// SPA, reading it checkout-free from the repo's default branch (main) via {@link RepoFiles}.
+// The spec-writer harness writes the tree across many files (one canonical JSON shard per
+// feature group, plus seeded Gherkin `.feature` files) so concurrent task branches merge
+// cleanly; the slugs are filesystem-only (collision-suffixed, name-sorted), so the only way
+// to recover the tree is to walk the directories — names live inside the shards, not the
+// paths. This is the read-side mirror of the harness's `readExistingSpec`, over HTTP.
+//
+// Two resilience properties this reader guarantees, so the inspector never sees a 500 or a
+// misleading "no spec" state:
+//   1. Every repo read is total — a non-404 GitHub error (rate limit, 5xx, network) is
+//      treated as "missing" rather than thrown, so a flaky read degrades to a partial view
+//      instead of erroring the controller.
+//   2. The tree is validated PER NODE, down to the individual requirement/rule — a malformed
+//      module shard is dropped without the rest of the tree, and a group shard is salvaged one
+//      requirement/rule at a time (so ONE field past a schema cap the lenient writer never
+//      enforced drops only that requirement, not the whole group with its valid siblings).
+const EMPTY = EMPTY_SERVICE_SPEC_VIEW;
+// Cap concurrent GitHub reads so a large spec doesn't fire a burst of dozens of parallel
+// requests at once (GitHub flags high concurrency as secondary-rate-limit abuse). The reads
+// are still parallel, just bounded.
+const READ_CONCURRENCY = 12;
+function parseJson(content) {
+    try {
+        return JSON.parse(content);
+    }
+    catch {
+        return undefined;
+    }
+}
+/** A trimmed non-empty string, else undefined — so a blank value falls back like a missing one. */
+function nonEmptyString(value) {
+    return typeof value === 'string' && value.trim() !== '' ? value.trim() : undefined;
+}
+/**
+ * Parse one group shard, salvaging it PER REQUIREMENT/RULE. A strict whole-shard parse is
+ * tried first (the happy path). On failure — typically ONE field past a schema cap the
+ * lenient writer never enforces (e.g. a >120-char requirement title) — the group is rebuilt
+ * from its individually-validated requirements/rules, so one bad item drops only itself, not
+ * the whole group with its valid siblings. Returns undefined only when even the group's own
+ * identity (its name) is unrecoverable.
+ */
+function coerceGroupShard(value) {
+    const strict = safeParseRequirementGroup(value);
+    if (strict)
+        return strict;
+    if (!value || typeof value !== 'object' || Array.isArray(value))
+        return undefined;
+    const raw = value;
+    const requirements = (Array.isArray(raw.requirements) ? raw.requirements : [])
+        .map(safeParseRequirementItem)
+        .filter((r) => r !== undefined);
+    const rules = (Array.isArray(raw.rules) ? raw.rules : [])
+        .map(safeParseDomainRule)
+        .filter((r) => r !== undefined);
+    // Re-validate the rebuilt group: this enforces the group-level fields (name/summary) while
+    // the requirements/rules are already valid. A bad group name is unrecoverable ⇒ undefined.
+    return safeParseRequirementGroup({ ...raw, requirements, rules });
+}
+/** Read a file, treating ANY error (incl. non-404) as "missing" so the reader never throws. */
+async function safeGetFile(repo, path, ref) {
+    try {
+        return await repo.getFile(path, ref);
+    }
+    catch {
+        return null;
+    }
+}
+/** List a directory, treating ANY error as "empty" so the reader never throws. */
+async function safeList(repo, path, ref) {
+    try {
+        return await repo.listDirectory(path, ref);
+    }
+    catch {
+        return [];
+    }
+}
+/** Read + reassemble the spec on `ref` (the repo default branch). Never throws. */
+export async function readServiceSpec(repo, ref) {
+    // The presence anchor: no readable object `spec/service.json` ⇒ no spec on this branch.
+    const serviceFile = await safeGetFile(repo, SPEC_SERVICE_PATH, ref);
+    if (!serviceFile)
+        return EMPTY;
+    const parsedService = parseJson(serviceFile.content);
+    // A non-object anchor (null / array / scalar) is a half-written or corrupt file — treat as
+    // "no spec" rather than reading garbage downstream.
+    if (!parsedService || typeof parsedService !== 'object' || Array.isArray(parsedService)) {
+        return EMPTY;
+    }
+    const service = parsedService;
+    // Walk `spec/modules/<moduleSlug>/` — each dir is one module, name-sorted by the writer.
+    const moduleDirs = (await safeList(repo, SPEC_MODULES_DIR, ref)).filter((e) => e.type === 'dir');
+    const moduleSlugToName = new Map();
+    const groupSlugToName = new Map();
+    // Phase A: per module, read its `_module.json` (for the display name) and list its shards.
+    const moduleInfos = await pMap(moduleDirs, async (dir) => {
+        const slug = dir.name;
+        const [meta, entries] = await Promise.all([
+            safeGetFile(repo, `${dir.path}/_module.json`, ref),
+            safeList(repo, dir.path, ref),
+        ]);
+        const metaObj = (meta ? parseJson(meta.content) : undefined);
+        // Fall back to the slug for a blank name too (not only a missing one): `??` keeps `""`,
+        // which then fails the module schema and would silently drop the whole module + its
+        // valid groups. A corrupt/half-written `_module.json` should degrade to the slug instead.
+        const moduleName = nonEmptyString(metaObj?.name) ?? slug;
+        moduleSlugToName.set(slug, moduleName);
+        // Every `*.json` except `_module.json` is one canonical group shard.
+        const shards = entries.filter((e) => e.type === 'file' && e.name.endsWith('.json') && e.name !== '_module.json');
+        return { slug, moduleName, summary: metaObj?.summary ?? '', shards };
+    }, { concurrency: READ_CONCURRENCY });
+    // Phase B: read every group shard across all modules through one bounded queue (this is the
+    // largest fan-out), then validate PER SHARD so a malformed group is dropped, not the tree.
+    const shardRefs = moduleInfos.flatMap((m) => m.shards.map((entry) => ({
+        moduleSlug: m.slug,
+        groupSlug: entry.name.replace(/\.json$/, ''),
+        entry,
+    })));
+    const shardContents = await pMap(shardRefs, async (s) => ({ ref: s, file: await safeGetFile(repo, s.entry.path, ref) }), { concurrency: READ_CONCURRENCY });
+    const groupsByModule = new Map();
+    for (const { ref: s, file } of shardContents) {
+        const group = file ? coerceGroupShard(parseJson(file.content)) : undefined;
+        if (!group)
+            continue;
+        groupSlugToName.set(`${s.moduleSlug}/${s.groupSlug}`, group.name);
+        const list = groupsByModule.get(s.moduleSlug) ?? [];
+        list.push(group);
+        groupsByModule.set(s.moduleSlug, list);
+    }
+    const modules = moduleInfos
+        .map((m) => safeParseSpecModule({
+        name: m.moduleName,
+        summary: m.summary,
+        groups: groupsByModule.get(m.slug) ?? [],
+    }))
+        .filter((m) => m !== undefined);
+    // Build the doc from the per-node-validated pieces directly, so a missing/empty service
+    // name (the SPA falls back to the block title) degrades to showing the modules rather than
+    // blanking the whole view.
+    const spec = {
+        service: typeof service.service === 'string' ? service.service : '',
+        summary: typeof service.summary === 'string' ? service.summary : '',
+        modules,
+    };
+    const features = await readFeatureFiles(repo, ref, moduleSlugToName, groupSlugToName);
+    return { present: true, spec, features };
+}
+/** Read the seeded Gherkin `.feature` files under `spec/features/<module>/<group>.feature`. */
+async function readFeatureFiles(repo, ref, moduleSlugToName, groupSlugToName) {
+    const moduleDirs = (await safeList(repo, SPEC_FEATURES_DIR, ref)).filter((e) => e.type === 'dir');
+    const perModule = await pMap(moduleDirs, async (dir) => {
+        const entries = await safeList(repo, dir.path, ref);
+        return entries
+            .filter((e) => e.type === 'file' && e.name.endsWith('.feature'))
+            .map((entry) => ({ slug: dir.name, entry }));
+    }, { concurrency: READ_CONCURRENCY });
+    const featureRefs = perModule.flat();
+    const read = await pMap(featureRefs, async (fr) => {
+        const file = await safeGetFile(repo, fr.entry.path, ref);
+        if (!file)
+            return null;
+        const groupSlug = fr.entry.name.replace(/\.feature$/, '');
+        return {
+            module: moduleSlugToName.get(fr.slug) ?? fr.slug,
+            group: groupSlugToName.get(`${fr.slug}/${groupSlug}`) ?? groupSlug,
+            path: fr.entry.path,
+            content: file.content,
+        };
+    }, { concurrency: READ_CONCURRENCY });
+    return read.filter((x) => x !== null);
+}
+//# sourceMappingURL=readServiceSpec.js.map

package/dist/repo-ops/readServiceSpec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"readServiceSpec.js","sourceRoot":"","sources":["../../src/repo-ops/readServiceSpec.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,yBAAyB,EACzB,wBAAwB,EACxB,mBAAmB,GAMpB,MAAM,wBAAwB,CAAA;AAE/B,OAAO,IAAI,MAAM,OAAO,CAAA;AAExB,wFAAwF;AACxF,6FAA6F;AAC7F,0FAA0F;AAC1F,yFAAyF;AACzF,4FAA4F;AAC5F,yFAAyF;AACzF,sFAAsF;AACtF,EAAE;AACF,2FAA2F;AAC3F,8BAA8B;AAC9B,uFAAuF;AACvF,2FAA2F;AAC3F,2CAA2C;AAC3C,6FAA6F;AAC7F,+FAA+F;AAC/F,2FAA2F;AAC3F,2FAA2F;AAE3F,MAAM,KAAK,GAAG,uBAAuB,CAAA;AAErC,yFAAyF;AACzF,4FAA4F;AAC5F,oCAAoC;AACpC,MAAM,gBAAgB,GAAG,EAAE,CAAA;AAE3B,SAAS,SAAS,CAAC,OAAe;IAChC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAED,mGAAmG;AACnG,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;AACpF,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CAAC,KAAc;IACtC,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAA;IAC/C,IAAI,MAAM;QAAE,OAAO,MAAM,CAAA;IACzB,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACjF,MAAM,GAAG,GAAG,KAAoD,CAAA;IAChE,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3E,GAAG,CAAC,wBAAwB,CAAC;SAC7B,MAAM,CAAC,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAC7D,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;SACtD,GAAG,CAAC,mBAAmB,CAAC;SACxB,MAAM,CAAC,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAC7D,2FAA2F;IAC3F,2FAA2F;IAC3F,OAAO,yBAAyB,CAAC,EAAE,GAAG,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAA;AACnE,CAAC;AAED,+FAA+F;AAC/F,KAAK,UAAU,WAAW,CAAC,IAAe,EAAE,IAAY,EAAE,GAAW;IACnE,IAAI,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IACtC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,KAAK,UAAU,QAAQ,CAAC,IAAe,EAAE,IAAY,EAAE,GAAW;IAChE,IAAI,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAA;IACX,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAe,EAAE,GAAW;IAChE,wFAAwF;IACxF,MAAM,WAAW,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,iBAAiB,EAAE,GAAG,CAAC,CAAA;IACnE,IAAI,CAAC,WAAW;QAAE,OAAO,KAAK,CAAA;IAC9B,MAAM,aAAa,GAAG,SAAS,CAAC,WAAW,CAAC,OAAO,CAAC,CAAA;IACpD,2FAA2F;IAC3F,oDAAoD;IACpD,IAAI,CAAC,aAAa,IAAI,OAAO,aAAa,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QACxF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,OAAO,GAAG,aAAuD,CAAA;IAEvE,yFAAyF;IACzF,MAAM,UAAU,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAA;IAChG,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;IAClD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;IAEjD,2FAA2F;IAC3F,MAAM,WAAW,GAAG,MAAM,IAAI,CAC5B,UAAU,EACV,KAAK,EAAE,GAAG,EAAE,EAAE;QACZ,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAA;QACrB,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACxC,WAAW,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,IAAI,eAAe,EAAE,GAAG,CAAC;YAClD,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;SAC9B,CAAC,CAAA;QACF,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAE9C,CAAA;QACb,wFAAwF;QACxF,oFAAoF;QACpF,0FAA0F;QAC1F,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,IAAI,CAAA;QACxD,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;QACtC,qEAAqE;QACrE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,CAClF,CAAA;QACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,EAAE,EAAE,MAAM,EAAE,CAAA;IACtE,CAAC,EACD,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAClC,CAAA;IAED,4FAA4F;IAC5F,2FAA2F;IAC3F,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACvB,UAAU,EAAE,CAAC,CAAC,IAAI;QAClB,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;QAC5C,KAAK;KACN,CAAC,CAAC,CACJ,CAAA;IACD,MAAM,aAAa,GAAG,MAAM,IAAI,CAC9B,SAAS,EACT,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,EAC3E,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAClC,CAAA;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,EAA8B,CAAA;IAC5D,KAAK,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,aAAa,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC1E,IAAI,CAAC,KAAK;YAAE,SAAQ;QACpB,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QACjE,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAA;QACnD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;IACxC,CAAC;IAED,MAAM,OAAO,GAAG,WAAW;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,mBAAmB,CAAC;QAClB,IAAI,EAAE,CAAC,CAAC,UAAU;QAClB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,MAAM,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;KACzC,CAAC,CACH;SACA,MAAM,CAAC,CAAC,CAAC,EAAmB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAElD,wFAAwF;IACxF,2FAA2F;IAC3F,2BAA2B;IAC3B,MAAM,IAAI,GAAY;QACpB,OAAO,EAAE,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QACnE,OAAO,EAAE,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QACnE,OAAO;KACR,CAAA;IAED,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,EAAE,eAAe,CAAC,CAAA;IAErF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;AAC1C,CAAC;AAED,+FAA+F;AAC/F,KAAK,UAAU,gBAAgB,CAC7B,IAAe,EACf,GAAW,EACX,gBAAqC,EACrC,eAAoC;IAEpC,MAAM,UAAU,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAA;IACjG,MAAM,SAAS,GAAG,MAAM,IAAI,CAC1B,UAAU,EACV,KAAK,EAAE,GAAG,EAAE,EAAE;QACZ,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QACnD,OAAO,OAAO;aACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;aAC/D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAChD,CAAC,EACD,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAClC,CAAA;IACD,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,CAAA;IACpC,MAAM,IAAI,GAAG,MAAM,IAAI,CACrB,WAAW,EACX,KAAK,EAAE,EAAE,EAAmC,EAAE;QAC5C,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QACxD,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAA;QACtB,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAA;QACzD,OAAO;YACL,MAAM,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI;YAChD,KAAK,EAAE,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC,IAAI,SAAS;YAClE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI;YACnB,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAA;IACH,CAAC,EACD,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAClC,CAAA;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAA;AAC7D,CAAC"}

package/dist/repo-ops/render.d.ts

@@ -58,6 +58,35 @@ export declare function dedupeSpecIds(doc: SpecDoc): void;
  * for old on-disk specs). The strict `parseSpecDoc` re-validates the returned doc.
  */
 export declare function coerceSpecDoc(parsed: unknown, fallbackName: string): SpecDoc | null;
+/**
+ * Flip every requirement whose id is in `metIds` from `aspirational` to `established`, in
+ * place, and return the ids actually promoted (already-`established` ones are NOT re-reported,
+ * so a caller can tell a no-op replay from real work).
+ *
+ * Promotion is ONE-WAY here on purpose. A tester that did not exercise a requirement this run
+ * reports `not_covered`, and a run whose blast radius never touched a behaviour must not
+ * demote it — otherwise every unrelated PR would silently strip the service's standing
+ * behaviour back to nothing. A genuine regression is a `not_met` on an ESTABLISHED
+ * requirement, which is a failing test the run has to answer for, not a spec edit.
+ */
+export declare function promoteRequirementStates(doc: SpecDoc, metIds: Iterable<string>): string[];
+/**
+ * Drop the `@aspirational` tag from the scenarios of `promotedIds` in one already-committed
+ * `.feature` file, returning the new content (or the input unchanged when nothing matched).
+ *
+ * A SURGICAL edit rather than a re-render, because feature files are SEED-ONCE: the spec
+ * post-op writes one only when absent, so a later pass-2 acceptance polish survives a re-run.
+ * Re-rendering to refresh a tag would throw that polish away. Anchored on the
+ * `# requirement: <id>` comment the render emits directly ABOVE each scenario's tag line
+ * (see {@link renderSpecFeatureFiles} for why the comment leads rather than sits between the
+ * tags and the `Scenario:` keyword).
+ *
+ * Degrades to a no-op when a polished file no longer carries the anchor comment or the tag
+ * line: the JSON shard stays the single source of truth for state, and the tag is a runner
+ * convenience — a stale tag makes a runner skip a scenario it could have run, which is
+ * strictly safer than the reverse.
+ */
+export declare function clearAspirationalTag(content: string, promotedIds: Iterable<string>): string;
 /**
  * Deterministically SHARD a spec doc into the in-repo artifact files: a tiny
  * `service.json`, an `overview.md` index (modules → features with links), a
@@ -73,6 +102,22 @@ export declare function renderSpecFiles(doc: SpecDoc): RenderedFile[];
  * requirement's scenarios are tagged `@must`. The `acceptance` agent later polishes
  * these (pass 2). Groups with no acceptance criteria produce no feature file. The caller
  * seeds these once (writes only when absent) so pass-2 polish survives a re-run.
+ *
+ * Two machine-readable anchors ride each scenario:
+ *  - `@aspirational` tags a scenario whose requirement is NOT yet observed to hold, so a
+ *    runner can skip it (`--tags 'not @aspirational'`) instead of reporting a not-yet-built
+ *    behaviour as a failure on every unrelated run.
+ *  - A `# requirement: <id>` comment carries the SPEC REQUIREMENT ID — the key the Tester
+ *    reports its per-requirement verdicts under, and the join key the PR verification report
+ *    uses to pair a criterion with its evidence. It is a comment rather than a tag because a
+ *    Gherkin tag is a bare word: an arbitrary requirement id (dots, colons, slashes from a
+ *    model-supplied `id`) is not safely expressible as one, and a mangled tag would silently
+ *    break the join.
+ *
+ * The comment LEADS the tag line rather than sitting between the tags and `Scenario:`. Tags
+ * attach to the keyword that follows them, and parsers differ on whether a comment may
+ * interrupt that pair; leading it keeps the tag line adjacent to its scenario under every
+ * Gherkin dialect. {@link clearAspirationalTag} depends on this order.
  */
 export declare function renderSpecFeatureFiles(doc: SpecDoc): RenderedFile[];
 //# sourceMappingURL=render.d.ts.map

package/dist/repo-ops/render.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../src/repo-ops/render.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EAMrB,KAAK,OAAO,EAUb,MAAM,wBAAwB,CAAA;AAkB/B,4DAA4D;AAC5D,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,gGAAgG;AAChG,wBAAsB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAG9D;AAED,gFAAgF;AAChF,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAE3D;AA+CD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,OAAO,EACf,YAAY,EAAE,MAAM,GACnB,gBAAgB,GAAG,IAAI,CAqBzB;AAED,qFAAqF;AACrF,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAM/C;AAED,+EAA+E;AAC/E,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,gBAAgB,GAAG,MAAM,CAExE;AAED,oFAAoF;AACpF,wBAAgB,aAAa,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAExE;AAED,oEAAoE;AACpE,wBAAsB,0BAA0B,CAC9C,OAAO,EAAE,gBAAgB,EACzB,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC7C,OAAO,CAAC,YAAY,CAAC,CAQvB;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,gBAAgB,GAAG,IAAI,EACjC,GAAG,EAAE,IAAI,GACR,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,CAKnD;AAOD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,gBAAgB,GAAG,YAAY,EAAE,CAqC9E;AA+ID;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAkBhD;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CA0BnF;AAmGD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,GAAG,YAAY,EAAE,CAyD5D;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,OAAO,GAAG,YAAY,EAAE,CA4BnE"}
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../src/repo-ops/render.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EAOrB,KAAK,OAAO,EAUb,MAAM,wBAAwB,CAAA;AAkB/B,4DAA4D;AAC5D,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,gGAAgG;AAChG,wBAAsB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAG9D;AAED,gFAAgF;AAChF,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAE3D;AA+CD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,OAAO,EACf,YAAY,EAAE,MAAM,GACnB,gBAAgB,GAAG,IAAI,CAqBzB;AAED,qFAAqF;AACrF,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAM/C;AAED,+EAA+E;AAC/E,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,gBAAgB,GAAG,MAAM,CAExE;AAED,oFAAoF;AACpF,wBAAgB,aAAa,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAExE;AAED,oEAAoE;AACpE,wBAAsB,0BAA0B,CAC9C,OAAO,EAAE,gBAAgB,EACzB,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC7C,OAAO,CAAC,YAAY,CAAC,CAQvB;AAED;;;;;GAKG;AACH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,gBAAgB,GAAG,IAAI,EACjC,GAAG,EAAE,IAAI,GACR,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,CAKnD;AAOD;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,gBAAgB,GAAG,YAAY,EAAE,CAqC9E;AAwJD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAkBhD;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CA0BnF;AAMD;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAezF;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,CAyB3F;AAsID;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,GAAG,YAAY,EAAE,CAyD5D;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,OAAO,GAAG,YAAY,EAAE,CAkCnE"}