@petepetrash/circuit 0.1.0

package/dist/flows/accommodation-ledger.js

@@ -0,0 +1,277 @@
+// M1 (first-class composition): the script-backed accommodation ledger.
+//
+// Reaching catalog-zero by ADDING a contract alias is strictly worse than an
+// honest report-only gap: it freezes two divergent models behind a green check.
+// This ledger is the structural defense against that. Every contract_alias in
+// every shipped flow must be a MODEL-CORRECTION -- it must cite a real producer:
+// the in-flow item whose output IS the alias `actual`, or one of the flow's
+// initial contracts. An alias that cannot cite a real producer is an
+// ACCOMMODATION: it remaps a consumer's generic onto a contract nothing in the
+// flow emits, papering over a structural gap.
+//
+// The M5 fail-closed compile-gate flip is FORBIDDEN while any ACCOMMODATION is
+// outstanding (the accommodation count must be 0). This module is the
+// machine-checkable gate; tests/contracts/accommodation-ledger.test.ts pins it.
+//
+// Scope and the widening half. The spec tracks "every alias / widening". This
+// module owns the alias half -- the enumerable, explicitly-authored remap
+// entries. The block-model widening half (a block's allowed_routes, stage
+// allowlist, or execution kinds widened to fit a schematic) is owned by the
+// catalog-check ratchet: tests/contracts/schematic-catalog-check.test.ts pins
+// each flow's catalog-issue ceiling, so a widening that drifts from runtime
+// truth reappears as an issue, and every shipped widening carries an inline
+// justification citing the real route enum / execution kind / stage lock it
+// describes. Together the two gates cover the whole accommodation surface.
+//
+// What this ledger does NOT prove, on two axes:
+//   - Body divergence enforcement. `collectBodyDivergence` (M8.0, below) now
+//     DETECTS whether the bodies behind a multi-actual generic share one shape
+//     (uniform) or collapse structurally divergent bodies under one generic
+//     name (divergent) — report-only. It is the data source for the fail-closed
+//     anti-widening gate, which is M8.4: until that lands, a divergent generic
+//     is surfaced, not rejected. The multi-actual generics stay visible as probe
+//     targets, never silently blessed.
+//   - Per-consumer binding. That a consumer reading the generic resolves to the
+//     producer on ITS route. This ledger proves alias->producer EXISTENCE (the
+//     actual is emitted somewhere in the flow); it does not prove the compiler
+//     binds the right producer on each consumer's path. That read-edge
+//     correctness is owned by M4 (the by-id-lookup dissolve) and M5 (the
+//     fail-closed gate). "Zero accommodations" therefore means "no alias points
+//     at a phantom contract", not "every binding is correct".
+// Resolve each alias against the flow's real producers. The citation names the
+// item (and block) whose output is the alias `actual`, or the initial contract
+// that supplies it. A null citation marks an accommodation.
+export function collectFlowAliasLedger(schematic) {
+    const flow = schematic.id;
+    const producerByContract = new Map();
+    for (const item of schematic.items) {
+        if (!producerByContract.has(item.output)) {
+            producerByContract.set(item.output, `item "${item.id}" (block "${item.block}") outputs ${item.output}`);
+        }
+    }
+    for (const contract of schematic.initial_contracts) {
+        if (!producerByContract.has(contract)) {
+            producerByContract.set(contract, `initial_contract ${contract}`);
+        }
+    }
+    return schematic.contract_aliases.map((alias) => {
+        const citation = producerByContract.get(alias.actual) ?? null;
+        return {
+            flow,
+            generic: alias.generic,
+            actual: alias.actual,
+            classification: citation === null ? 'accommodation' : 'model-correction',
+            citation,
+        };
+    });
+}
+// Pure over the in-memory definitions (M6): the caller supplies each flow's
+// FlowSchematic (catalog.ts `flowDefinitions[*].schematic`), so the ledger
+// analyzes the live source of truth rather than reading the generated
+// src/flows/<id>/schematic.json back from disk. The committed JSON stays a
+// drift-checked snapshot, not an input here.
+export function collectAccommodationLedger(schematics) {
+    const entries = [];
+    for (const schematic of schematics)
+        entries.push(...collectFlowAliasLedger(schematic));
+    const accommodations = entries.filter((entry) => entry.classification === 'accommodation');
+    // Multi-actual generics: one generic name aliased to more than one distinct
+    // actual within a single flow. Each is a body-divergence probe target for M8.
+    const groupByKey = new Map();
+    for (const entry of entries) {
+        const key = `${entry.flow}::${entry.generic}`;
+        const group = groupByKey.get(key) ?? {
+            flow: entry.flow,
+            generic: entry.generic,
+            actuals: new Set(),
+        };
+        group.actuals.add(entry.actual);
+        groupByKey.set(key, group);
+    }
+    const multiActualGenerics = [];
+    for (const group of groupByKey.values()) {
+        if (group.actuals.size > 1) {
+            multiActualGenerics.push({
+                flow: group.flow,
+                generic: group.generic,
+                actuals: [...group.actuals].sort(),
+            });
+        }
+    }
+    multiActualGenerics.sort((a, b) => `${a.flow}::${a.generic}`.localeCompare(`${b.flow}::${b.generic}`));
+    return { entries, accommodations, multiActualGenerics };
+}
+// M8 (report-only): classify each multi-actual generic by whether the bodies
+// behind its actuals share one structural shape. `resolveSignature` maps an
+// actual contract name to its body signature (or null when unresolvable) — it
+// is injected so this stays a pure analyzer with no catalog or Zod dependency;
+// the catalog-backed resolver lives in contract-body-signature.ts. This is the
+// data source the M8.4 anti-widening gate consumes: a generic that classifies
+// `divergent` and is not made a discriminated union must be split.
+export function collectBodyDivergence(generics, resolveSignature) {
+    return generics.map((generic) => {
+        const actuals = generic.actuals.map((actual) => ({
+            actual,
+            signature: resolveSignature(actual),
+        }));
+        const classification = actuals.some((entry) => entry.signature === null)
+            ? 'unresolved'
+            : new Set(actuals.map((entry) => entry.signature)).size === 1
+                ? 'uniform'
+                : 'divergent';
+        return { flow: generic.flow, generic: generic.generic, classification, actuals };
+    });
+}
+// M8.4 anti-widening gate (fail-closed). Forbids a generic that is CONSUMED as
+// an item input AND cannot be PROVEN to bind to a single body — classified
+// `divergent` (>=2 distinct bodies, the catch-all) OR `unresolved` (>=1 actual
+// with no registered body, so uniformity is unprovable). Gating `unresolved`
+// closes the masking hole an adversarial review found: without it, adding one
+// alias from a divergent consumed generic to a real-but-bodyless contract flips
+// the classification to `unresolved` and silences the gate — a false negative on
+// a genuine widening, on exactly the composed/edited-flow population this gate
+// exists to protect.
+//
+// Three families pass untouched, by design:
+//   - write-only block-reuse umbrellas — a generic named only as a block
+//     output_contract, realized by typed flow-scoped actuals, that no item reads
+//     via the generic name. These are honest reuse (one block, many flows),
+//     whether their bodies are divergent OR unresolved; binding is moot because
+//     nothing reads the generic. The shipped flows' verification.result@v1 /
+//     plan.strategy@v1 / change.evidence@v1 / review.verdict@v1 are all this. The
+//     gate re-runs on every compile, so a composed flow that DOES consume one
+//     unsafely is still caught.
+//   - uniform generics — every actual shares one body, so binding is unambiguous.
+//   - single-actual generics — one actual, nothing to disambiguate (this is
+//     review.verdict@v1 inside the review flow: consumed, but one actual).
+//
+// Scope boundary (M9). This gate keys on multi-actual generics — `actuals.size
+// > 1` in collectAccommodationLedger. A consumed generic with a SINGLE actual,
+// or a bare consumed contract with no alias at all, never enters that set, so
+// the gate never inspects its body. If that one body is unregistered/unverified,
+// the gate is blind to it: this gate forbids the WIDENING shape (one name, many
+// bodies), not the orthogonal "is every consumed body typed" question. Proving
+// the whole contract universe has a registered body is the M9 typing pass; it
+// would fail-closed on the eight built-ins today (several routing-seam contracts
+// are consumed before their Zod body is authored), which is why it is out of
+// scope here. The shipped flows are inert under both gates.
+//
+// `resolveSignature` is injected (the catalog-backed resolver lives in
+// contract-body-signature.ts) so this stays a pure analyzer.
+export function collectConsumedDivergenceIssues(schematic, resolveSignature) {
+    const ledger = collectAccommodationLedger([schematic]);
+    const divergence = collectBodyDivergence(ledger.multiActualGenerics, resolveSignature);
+    // A CONSUMED multi-actual generic must be provably uniform; anything that is
+    // not `uniform` is unsafe to read through (see the masking-hole note above).
+    const unsafeByGeneric = new Map(divergence
+        .filter((entry) => entry.classification !== 'uniform')
+        .map((entry) => [entry.generic, entry]));
+    if (unsafeByGeneric.size === 0)
+        return [];
+    // Which unsafe generics are read by name as an item input value, and by whom.
+    const consumersByGeneric = new Map();
+    for (const item of schematic.items) {
+        const itemId = item.id;
+        for (const value of Object.values(item.input)) {
+            const name = value;
+            if (!unsafeByGeneric.has(name))
+                continue;
+            const consumers = consumersByGeneric.get(name) ?? [];
+            consumers.push(itemId);
+            consumersByGeneric.set(name, consumers);
+        }
+    }
+    const flow = schematic.id;
+    const issues = [];
+    for (const [generic, consumers] of consumersByGeneric) {
+        const entry = unsafeByGeneric.get(generic);
+        if (entry === undefined)
+            continue;
+        const signatures = [
+            ...new Set(entry.actuals
+                .map((actual) => actual.signature)
+                .filter((signature) => signature !== null)),
+        ].sort();
+        const unresolvedActuals = [
+            ...new Set(entry.actuals.filter((actual) => actual.signature === null).map((actual) => actual.actual)),
+        ].sort();
+        issues.push({
+            flow,
+            generic,
+            classification: entry.classification === 'divergent' ? 'divergent' : 'unresolved',
+            consumingItems: [...new Set(consumers)].sort(),
+            signatures,
+            unresolvedActuals,
+        });
+    }
+    return issues.sort((a, b) => a.generic.localeCompare(b.generic));
+}
+// M9-A1 single-actual typing gate (fail-closed). The anti-widening gate above
+// only inspects MULTI-actual generics — a consumed contract that binds to a
+// SINGLE body never enters `multiActualGenerics`, so its body is never checked.
+// If that one body is unregistered, a consumer reads a shape the engine never
+// verified: the single-actual blind spot an assembler trips, because an
+// assembler wires block generics raw rather than through flow-scoped actuals.
+// This gate closes it. Every contract a flow CONSUMES (read as an item input)
+// AND PRODUCES in-flow (some item outputs it, directly or as the actual behind
+// an alias it reads) must resolve to a registered body.
+//
+// Two populations are EXEMPT, by design:
+//   - initial-only inputs — a contract supplied solely by initial_contracts
+//     (the engine routing/brief seam: context.request@v1, flow.brief@v1,
+//     verification.plan@v1, flow.state@v1, flow.question@v1, context.packet@v1).
+//     It has no in-flow producer, so there is no producer->consumer binding an
+//     assembler could mis-stitch; its body is the engine's to own, not the
+//     flow's. The gate never inspects a contract no item produces.
+//   - multi-actual generics — the anti-widening gate already requires every one
+//     of their actuals to resolve and be uniform, so checking them here would
+//     only duplicate that finding. This gate is the complement: it owns the
+//     single-actual and no-alias cases that gate cannot see.
+//
+// `resolveSignature` is injected (the catalog-backed resolver lives in
+// contract-body-signature.ts) so this stays a pure analyzer.
+export function collectUnregisteredConsumedContractIssues(schematic, resolveSignature) {
+    const producedInFlow = new Set();
+    for (const item of schematic.items)
+        producedInFlow.add(item.output);
+    // generic -> its alias actuals. Used to (a) skip multi-actual generics (the
+    // anti-widening gate owns them) and (b) find the binding target when a consumed
+    // name is an alias generic: the consumer receives the actual's body, so that is
+    // the body that must resolve.
+    const actualsByGeneric = new Map();
+    for (const alias of schematic.contract_aliases) {
+        const generic = alias.generic;
+        const set = actualsByGeneric.get(generic) ?? new Set();
+        set.add(alias.actual);
+        actualsByGeneric.set(generic, set);
+    }
+    const consumersByContract = new Map();
+    for (const item of schematic.items) {
+        const itemId = item.id;
+        for (const value of Object.values(item.input)) {
+            const name = value;
+            const aliasActuals = actualsByGeneric.get(name);
+            // Multi-actual generics belong to the anti-widening gate.
+            if ((aliasActuals?.size ?? 0) > 1)
+                continue;
+            // Binding target(s): the single alias actual if the name is an alias
+            // generic, else the name itself (read raw).
+            const targets = aliasActuals === undefined ? [name] : [...aliasActuals];
+            // Only contracts produced in-flow are this flow's to type; an input that
+            // arrives only from initial_contracts is engine-supplied and exempt.
+            const producedTargets = targets.filter((target) => producedInFlow.has(target));
+            if (producedTargets.length === 0)
+                continue;
+            if (!producedTargets.some((target) => resolveSignature(target) === null))
+                continue;
+            const consumers = consumersByContract.get(name) ?? new Set();
+            consumers.add(itemId);
+            consumersByContract.set(name, consumers);
+        }
+    }
+    const flow = schematic.id;
+    return [...consumersByContract.entries()]
+        .map(([contract, items]) => ({ flow, contract, consumingItems: [...items].sort() }))
+        .sort((a, b) => a.contract.localeCompare(b.contract));
+}
+//# sourceMappingURL=accommodation-ledger.js.map

package/dist/flows/accommodation-ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"accommodation-ledger.js","sourceRoot":"","sources":["../../src/flows/accommodation-ledger.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,8EAA8E;AAC9E,iFAAiF;AACjF,4EAA4E;AAC5E,qEAAqE;AACrE,+EAA+E;AAC/E,8CAA8C;AAC9C,EAAE;AACF,+EAA+E;AAC/E,sEAAsE;AACtE,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,0EAA0E;AAC1E,0EAA0E;AAC1E,4EAA4E;AAC5E,8EAA8E;AAC9E,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAC5E,2EAA2E;AAC3E,EAAE;AACF,gDAAgD;AAChD,6EAA6E;AAC7E,+EAA+E;AAC/E,4EAA4E;AAC5E,gFAAgF;AAChF,+EAA+E;AAC/E,iFAAiF;AACjF,uCAAuC;AACvC,gFAAgF;AAChF,+EAA+E;AAC/E,+EAA+E;AAC/E,uEAAuE;AACvE,yEAAyE;AACzE,gFAAgF;AAChF,8DAA8D;AAqD9D,+EAA+E;AAC/E,+EAA+E;AAC/E,4DAA4D;AAC5D,MAAM,UAAU,sBAAsB,CAAC,SAAwB;IAC7D,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC;IAC1B,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACzC,kBAAkB,CAAC,GAAG,CACpB,IAAI,CAAC,MAAM,EACX,SAAS,IAAI,CAAC,EAAE,aAAa,IAAI,CAAC,KAAK,cAAc,IAAI,CAAC,MAAM,EAAE,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,iBAAiB,EAAE,CAAC;QACnD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,oBAAoB,QAAQ,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QAC9D,OAAO;YACL,IAAI;YACJ,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,cAAc,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,kBAAkB;YACxE,QAAQ;SACkB,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4EAA4E;AAC5E,2EAA2E;AAC3E,sEAAsE;AACtE,2EAA2E;AAC3E,6CAA6C;AAC7C,MAAM,UAAU,0BAA0B,CACxC,UAAoC;IAEpC,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,SAAS,IAAI,UAAU;QAAE,OAAO,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC;IAEvF,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,KAAK,eAAe,CAAC,CAAC;IAE3F,4EAA4E;IAC5E,8EAA8E;IAC9E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmE,CAAC;IAC9F,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI;YACnC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,IAAI,GAAG,EAAU;SAC3B,CAAC;QACF,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAChC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,mBAAmB,GAAyB,EAAE,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC3B,mBAAmB,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAChC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CACnE,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,CAAC;AAC1D,CAAC;AAED,6EAA6E;AAC7E,4EAA4E;AAC5E,8EAA8E;AAC9E,+EAA+E;AAC/E,+EAA+E;AAC/E,8EAA8E;AAC9E,mEAAmE;AACnE,MAAM,UAAU,qBAAqB,CACnC,QAAuC,EACvC,gBAAyD;IAEzD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC9B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAC/C,MAAM;YACN,SAAS,EAAE,gBAAgB,CAAC,MAAM,CAAC;SACpC,CAAC,CAAC,CAAC;QACJ,MAAM,cAAc,GAAiC,OAAO,CAAC,IAAI,CAC/D,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CACpC;YACC,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;gBAC3D,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,WAAW,CAAC;QAClB,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC;AAwBD,+EAA+E;AAC/E,2EAA2E;AAC3E,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,gFAAgF;AAChF,iFAAiF;AACjF,+EAA+E;AAC/E,qBAAqB;AACrB,EAAE;AACF,4CAA4C;AAC5C,yEAAyE;AACzE,iFAAiF;AACjF,4EAA4E;AAC5E,gFAAgF;AAChF,6EAA6E;AAC7E,kFAAkF;AAClF,8EAA8E;AAC9E,gCAAgC;AAChC,kFAAkF;AAClF,4EAA4E;AAC5E,2EAA2E;AAC3E,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,8EAA8E;AAC9E,iFAAiF;AACjF,gFAAgF;AAChF,+EAA+E;AAC/E,8EAA8E;AAC9E,iFAAiF;AACjF,6EAA6E;AAC7E,4DAA4D;AAC5D,EAAE;AACF,uEAAuE;AACvE,6DAA6D;AAC7D,MAAM,UAAU,+BAA+B,CAC7C,SAAwB,EACxB,gBAAyD;IAEzD,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,CAAC;IACvF,6EAA6E;IAC7E,6EAA6E;IAC7E,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,UAAU;SACP,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC;SACrD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAC1C,CAAC;IACF,IAAI,eAAe,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAE1C,8EAA8E;IAC9E,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,EAAuB,CAAC;QAC5C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,GAAG,KAA0B,CAAC;YACxC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACzC,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACrD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,SAAS,CAAC,EAAuB,CAAC;IAC/C,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,kBAAkB,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,UAAU,GAAG;YACjB,GAAG,IAAI,GAAG,CACR,KAAK,CAAC,OAAO;iBACV,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC;iBACjC,MAAM,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,CAClE;SACF,CAAC,IAAI,EAAE,CAAC;QACT,MAAM,iBAAiB,GAAG;YACxB,GAAG,IAAI,GAAG,CACR,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAC3F;SACF,CAAC,IAAI,EAAE,CAAC;QACT,MAAM,CAAC,IAAI,CAAC;YACV,IAAI;YACJ,OAAO;YACP,cAAc,EAAE,KAAK,CAAC,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY;YACjF,cAAc,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE;YAC9C,UAAU;YACV,iBAAiB;SAClB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AACnE,CAAC;AAcD,8EAA8E;AAC9E,4EAA4E;AAC5E,gFAAgF;AAChF,8EAA8E;AAC9E,wEAAwE;AACxE,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,wDAAwD;AACxD,EAAE;AACF,yCAAyC;AACzC,4EAA4E;AAC5E,yEAAyE;AACzE,iFAAiF;AACjF,+EAA+E;AAC/E,2EAA2E;AAC3E,mEAAmE;AACnE,gFAAgF;AAChF,8EAA8E;AAC9E,4EAA4E;AAC5E,6DAA6D;AAC7D,EAAE;AACF,uEAAuE;AACvE,6DAA6D;AAC7D,MAAM,UAAU,yCAAyC,CACvD,SAAwB,EACxB,gBAAyD;IAEzD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK;QAAE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,MAA2B,CAAC,CAAC;IAEzF,4EAA4E;IAC5E,gFAAgF;IAChF,gFAAgF;IAChF,8BAA8B;IAC9B,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,gBAAgB,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,OAA4B,CAAC;QACnD,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC/D,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAA2B,CAAC,CAAC;QAC3C,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,EAAuB,CAAC;QAC5C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,GAAG,KAA0B,CAAC;YACxC,MAAM,YAAY,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChD,0DAA0D;YAC1D,IAAI,CAAC,YAAY,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5C,qEAAqE;YACrE,4CAA4C;YAC5C,MAAM,OAAO,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC;YACxE,yEAAyE;YACzE,qEAAqE;YACrE,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/E,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC3C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;gBAAE,SAAS;YACnF,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACrE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtB,mBAAmB,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,SAAS,CAAC,EAAuB,CAAC;IAC/C,OAAO,CAAC,GAAG,mBAAmB,CAAC,OAAO,EAAE,CAAC;SACtC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;SACnF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC1D,CAAC"}

package/dist/flows/assemble-flow-schematic.d.ts

@@ -0,0 +1,30 @@
+import type { z } from 'zod';
+import { FlowSchematic, type FlowSchematic as FlowSchematicValue } from '../schemas/flow-schematic.js';
+import { type CanonicalStage } from '../schemas/stage.js';
+import { type BlockStepUse } from './block-step-expansion.js';
+type FlowSchematicInput = z.input<typeof FlowSchematic>;
+export interface StageLabel {
+    readonly id: string;
+    readonly title: string;
+}
+export type StageLabelMap = Partial<Record<CanonicalStage, StageLabel>>;
+export interface FlowSchematicAssemblySpec {
+    readonly id: FlowSchematicInput['id'];
+    readonly title: string;
+    readonly purpose: string;
+    readonly status: FlowSchematicInput['status'];
+    readonly version?: FlowSchematicInput['version'];
+    readonly initial_contracts?: FlowSchematicInput['initial_contracts'];
+    readonly contract_aliases?: FlowSchematicInput['contract_aliases'];
+    readonly axes?: FlowSchematicInput['axes'];
+    readonly default_selection?: FlowSchematicInput['default_selection'];
+    readonly engine_flags?: FlowSchematicInput['engine_flags'];
+    readonly report_file_surfaces?: FlowSchematicInput['report_file_surfaces'];
+    readonly required_config?: FlowSchematicInput['required_config'];
+    readonly items: readonly BlockStepUse[];
+    readonly stageLabels: StageLabelMap;
+    readonly stagePathRationale?: string;
+}
+export declare function assembleFlowSchematic(spec: FlowSchematicAssemblySpec): FlowSchematicValue;
+export {};
+//# sourceMappingURL=assemble-flow-schematic.d.ts.map

package/dist/flows/assemble-flow-schematic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assemble-flow-schematic.d.ts","sourceRoot":"","sources":["../../src/flows/assemble-flow-schematic.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAE7B,OAAO,EACL,aAAa,EACb,KAAK,aAAa,IAAI,kBAAkB,EACzC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAEL,KAAK,cAAc,EAEpB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,KAAK,YAAY,EAAsB,MAAM,2BAA2B,CAAC;AAElF,KAAK,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAIxD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;AAExE,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,EAAE,EAAE,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACjD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,kBAAkB,CAAC,mBAAmB,CAAC,CAAC;IACrE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;IACnE,QAAQ,CAAC,IAAI,CAAC,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,kBAAkB,CAAC,mBAAmB,CAAC,CAAC;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,kBAAkB,CAAC,cAAc,CAAC,CAAC;IAC3D,QAAQ,CAAC,oBAAoB,CAAC,EAAE,kBAAkB,CAAC,sBAAsB,CAAC,CAAC;IAC3E,QAAQ,CAAC,eAAe,CAAC,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,CAAC;IAEjE,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IAGxC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;IAIpC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,yBAAyB,GAAG,kBAAkB,CAwDzF"}

package/dist/flows/assemble-flow-schematic.js

@@ -0,0 +1,58 @@
+import { FlowSchematic, } from '../schemas/flow-schematic.js';
+import { CANONICAL_STAGES, PARTIAL_SPINE_RATIONALE_MIN_LENGTH, } from '../schemas/stage.js';
+import { expandBlockStepUse } from './block-step-expansion.js';
+export function assembleFlowSchematic(spec) {
+    if (spec.items.length === 0) {
+        throw new Error(`assembleFlowSchematic: flow '${spec.id}' has no items; a flow needs at least one step`);
+    }
+    const items = spec.items.map((use) => expandBlockStepUse(use));
+    const first = items[0];
+    if (first === undefined) {
+        // Unreachable: items mirrors the non-empty spec.items above. Keeps the
+        // first-item read total for the type checker.
+        throw new Error(`assembleFlowSchematic: flow '${spec.id}' produced no items`);
+    }
+    const present = CANONICAL_STAGES.filter((canonical) => items.some((item) => item.stage === canonical));
+    const stages = present.map((canonical) => {
+        const label = spec.stageLabels[canonical];
+        if (label === undefined) {
+            throw new Error(`assembleFlowSchematic: flow '${spec.id}' uses canonical stage '${canonical}' but spec.stageLabels has no label for it`);
+        }
+        return { canonical, id: label.id, title: label.title };
+    });
+    const absent = CANONICAL_STAGES.filter((canonical) => !present.includes(canonical));
+    const stagePathPolicy = absent.length === 0
+        ? { mode: 'strict' }
+        : { mode: 'partial', omits: absent, rationale: requireRationale(spec, absent) };
+    const input = {
+        schema_version: '2',
+        id: spec.id,
+        title: spec.title,
+        purpose: spec.purpose,
+        status: spec.status,
+        starts_at: first.id,
+        items,
+        stages,
+        stage_path_policy: stagePathPolicy,
+        ...(spec.version === undefined ? {} : { version: spec.version }),
+        ...(spec.initial_contracts === undefined ? {} : { initial_contracts: spec.initial_contracts }),
+        ...(spec.contract_aliases === undefined ? {} : { contract_aliases: spec.contract_aliases }),
+        ...(spec.axes === undefined ? {} : { axes: spec.axes }),
+        ...(spec.default_selection === undefined ? {} : { default_selection: spec.default_selection }),
+        ...(spec.engine_flags === undefined ? {} : { engine_flags: spec.engine_flags }),
+        ...(spec.report_file_surfaces === undefined
+            ? {}
+            : { report_file_surfaces: spec.report_file_surfaces }),
+        ...(spec.required_config === undefined ? {} : { required_config: spec.required_config }),
+    };
+    return FlowSchematic.parse(input);
+}
+function requireRationale(spec, absent) {
+    const rationale = spec.stagePathRationale;
+    if (rationale === undefined || rationale.length < PARTIAL_SPINE_RATIONALE_MIN_LENGTH) {
+        const absentList = absent.map((canonical) => `'${canonical}'`).join(', ');
+        throw new Error(`assembleFlowSchematic: flow '${spec.id}' leaves canonical stage(s) ${absentList} empty; spec.stagePathRationale must explain why (min ${PARTIAL_SPINE_RATIONALE_MIN_LENGTH} chars)`);
+    }
+    return rationale;
+}
+//# sourceMappingURL=assemble-flow-schematic.js.map

package/dist/flows/assemble-flow-schematic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assemble-flow-schematic.js","sourceRoot":"","sources":["../../src/flows/assemble-flow-schematic.ts"],"names":[],"mappings":"AAgCA,OAAO,EACL,aAAa,GAEd,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,gBAAgB,EAEhB,kCAAkC,GACnC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAqB,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAqClF,MAAM,UAAU,qBAAqB,CAAC,IAA+B;IACnE,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,EAAE,gDAAgD,CACxF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,uEAAuE;QACvE,8CAA8C;QAC9C,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAChF,CAAC;IAED,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CACpD,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAC/C,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,EAAE,2BAA2B,SAAS,4CAA4C,CACxH,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACpF,MAAM,eAAe,GACnB,MAAM,CAAC,MAAM,KAAK,CAAC;QACjB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE;QACpB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;IAEpF,MAAM,KAAK,GAAuB;QAChC,cAAc,EAAE,GAAG;QACnB,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,KAAK,CAAC,EAAE;QACnB,KAAK;QACL,MAAM;QACN,iBAAiB,EAAE,eAAe;QAClC,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QAChE,GAAG,CAAC,IAAI,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC9F,GAAG,CAAC,IAAI,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC3F,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QACvD,GAAG,CAAC,IAAI,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC9F,GAAG,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/E,GAAG,CAAC,IAAI,CAAC,oBAAoB,KAAK,SAAS;YACzC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,EAAE,CAAC;QACxD,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC;KACzF,CAAC;IAEF,OAAO,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,gBAAgB,CACvB,IAA+B,EAC/B,MAAiC;IAEjC,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,CAAC;IAC1C,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,kCAAkC,EAAE,CAAC;QACrF,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,EAAE,+BAA+B,UAAU,yDAAyD,kCAAkC,SAAS,CACrL,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/flows/axis-selections.d.ts

@@ -0,0 +1,4 @@
+import type { FlowAxes } from '../schemas/axes.js';
+import type { FlowAxisSelection } from '../schemas/flow-schematic.js';
+export declare function axisSelectionsForAxes(flowId: string, axes: FlowAxes): readonly FlowAxisSelection[];
+//# sourceMappingURL=axis-selections.d.ts.map

package/dist/flows/axis-selections.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"axis-selections.d.ts","sourceRoot":"","sources":["../../src/flows/axis-selections.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEtE,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,QAAQ,GACb,SAAS,iBAAiB,EAAE,CAmC9B"}

package/dist/flows/axis-selections.js

@@ -0,0 +1,34 @@
+export function axisSelectionsForAxes(flowId, axes) {
+    const selections = [
+        {
+            name: 'default',
+            depth: axes.default.depth,
+            description: `Default ${flowId} axis tuple.`,
+        },
+    ];
+    for (const depth of axes.allowed_depths) {
+        if (depth === axes.default.depth)
+            continue;
+        selections.push({
+            name: depth,
+            depth: depth,
+            description: `${depth} ${flowId} axis tuple.`,
+        });
+    }
+    if (axes.supports_tournament) {
+        selections.push({
+            name: 'tournament',
+            depth: 'tournament',
+            description: `Tournament ${flowId} axis tuple.`,
+        });
+    }
+    if (axes.supports_autonomous) {
+        selections.push({
+            name: 'autonomous',
+            depth: 'autonomous',
+            description: `Autonomous ${flowId} axis tuple.`,
+        });
+    }
+    return selections;
+}
+//# sourceMappingURL=axis-selections.js.map

package/dist/flows/axis-selections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"axis-selections.js","sourceRoot":"","sources":["../../src/flows/axis-selections.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,qBAAqB,CACnC,MAAc,EACd,IAAc;IAEd,MAAM,UAAU,GAAwB;QACtC;YACE,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK;YACzB,WAAW,EAAE,WAAW,MAAM,cAAc;SAC7C;KACF,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QACxC,IAAI,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK;YAAE,SAAS;QAC3C,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,KAAK;YACX,KAAK,EAAE,KAAK;YACZ,WAAW,EAAE,GAAG,KAAK,IAAI,MAAM,cAAc;SAC9C,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC7B,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,YAAY;YACnB,WAAW,EAAE,cAAc,MAAM,cAAc;SAChD,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC7B,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,YAAY;YACnB,WAAW,EAAE,cAAc,MAAM,cAAc;SAChD,CAAC,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/flows/block-step-expansion.d.ts

@@ -0,0 +1,69 @@
+import type { z } from 'zod';
+import { SchematicStep, type SchematicStep as SchematicStepValue } from '../schemas/flow-schematic.js';
+import type { Validation } from './flow-definition.js';
+type SchematicStepInput = z.input<typeof SchematicStep>;
+type StepWritesInput = NonNullable<SchematicStepInput['writes']>;
+type StepCheckInput = NonNullable<SchematicStepInput['check']>;
+export interface BlockStepUse extends Omit<SchematicStepInput, 'check' | 'checkpoint_policy' | 'equipment_scope' | 'evidence_requirements' | 'execution' | 'output' | 'route_overrides' | 'skill_slots' | 'writes'> {
+    readonly output?: SchematicStepInput['output'];
+    readonly evidenceRequirements?: SchematicStepInput['evidence_requirements'];
+    readonly execution?: SchematicStepInput['execution'];
+    readonly writes?: StepWritesInput;
+    readonly check?: StepCheckInput;
+    readonly reportPath?: StepWritesInput['report_path'];
+    readonly requestPath?: StepWritesInput['request_path'];
+    readonly receiptPath?: StepWritesInput['receipt_path'];
+    readonly resultPath?: StepWritesInput['result_path'];
+    readonly branchesDirPath?: StepWritesInput['branches_dir_path'];
+    readonly checkpointRequestPath?: StepWritesInput['checkpoint_request_path'];
+    readonly checkpointResponsePath?: StepWritesInput['checkpoint_response_path'];
+    readonly required?: StepCheckInput['required'];
+    readonly allow?: StepCheckInput['allow'];
+    readonly allowFrom?: StepCheckInput['allow_from'];
+    readonly pass?: StepCheckInput['pass'];
+    readonly routeOverrides?: SchematicStepInput['route_overrides'];
+    readonly checkpointPolicy?: SchematicStepInput['checkpoint_policy'];
+    readonly acceptanceCriteria?: SchematicStepInput['acceptance_criteria'];
+    readonly skillSlots?: SchematicStepInput['skill_slots'];
+    readonly equipmentScope?: SchematicStepInput['equipment_scope'];
+}
+export type ComposeBlockStepUse = Omit<BlockStepUse, 'execution'>;
+export type VerificationBlockStepUse = Omit<BlockStepUse, 'execution'>;
+export type CheckpointBlockStepUse = Omit<BlockStepUse, 'execution'>;
+export type RelayBlockStepUse = Omit<BlockStepUse, 'execution'> & {
+    readonly role: NonNullable<Extract<SchematicStepInput['execution'], {
+        kind: 'relay';
+    }>['role']>;
+};
+export type ExpandBlockStepUseError = {
+    readonly kind: 'unknown-block-step-use';
+    readonly block: string;
+} | {
+    readonly kind: 'ambiguous-block-step-execution';
+    readonly block: string;
+    readonly executionKinds: readonly string[];
+} | {
+    readonly kind: 'missing-block-step-writes';
+    readonly stepId: string;
+    readonly executionKind: string;
+} | {
+    readonly kind: 'missing-block-step-check';
+    readonly stepId: string;
+    readonly executionKind: string;
+} | {
+    readonly kind: 'restated-block-step-default';
+    readonly stepId: string;
+    readonly block: string;
+    readonly field: 'evidenceRequirements' | 'execution' | 'output';
+} | {
+    readonly kind: 'invalid-block-step-use';
+    readonly message: string;
+};
+export declare function expandBlockStepUseValue(use: BlockStepUse): Validation<SchematicStepValue, ExpandBlockStepUseError>;
+export declare function expandBlockStepUse(use: BlockStepUse): SchematicStepValue;
+export declare function composeBlockStep(use: ComposeBlockStepUse): SchematicStepValue;
+export declare function verificationBlockStep(use: VerificationBlockStepUse): SchematicStepValue;
+export declare function checkpointBlockStep(use: CheckpointBlockStepUse): SchematicStepValue;
+export declare function relayBlockStep(use: RelayBlockStepUse): SchematicStepValue;
+export {};
+//# sourceMappingURL=block-step-expansion.d.ts.map

package/dist/flows/block-step-expansion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block-step-expansion.d.ts","sourceRoot":"","sources":["../../src/flows/block-step-expansion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAO7B,OAAO,EACL,aAAa,EACb,KAAK,aAAa,IAAI,kBAAkB,EACzC,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEvD,KAAK,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AACxD,KAAK,eAAe,GAAG,WAAW,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;AACjE,KAAK,cAAc,GAAG,WAAW,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;AAE/D,MAAM,WAAW,YACf,SAAQ,IAAI,CACV,kBAAkB,EAChB,OAAO,GACP,mBAAmB,GACnB,iBAAiB,GACjB,uBAAuB,GACvB,WAAW,GACX,QAAQ,GACR,iBAAiB,GACjB,aAAa,GACb,QAAQ,CACX;IACD,QAAQ,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC/C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,kBAAkB,CAAC,uBAAuB,CAAC,CAAC;IAC5E,QAAQ,CAAC,SAAS,CAAC,EAAE,kBAAkB,CAAC,WAAW,CAAC,CAAC;IACrD,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,eAAe,CAAC,aAAa,CAAC,CAAC;IACrD,QAAQ,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC,cAAc,CAAC,CAAC;IACvD,QAAQ,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC,cAAc,CAAC,CAAC;IACvD,QAAQ,CAAC,UAAU,CAAC,EAAE,eAAe,CAAC,aAAa,CAAC,CAAC;IACrD,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAC,mBAAmB,CAAC,CAAC;IAChE,QAAQ,CAAC,qBAAqB,CAAC,EAAE,eAAe,CAAC,yBAAyB,CAAC,CAAC;IAC5E,QAAQ,CAAC,sBAAsB,CAAC,EAAE,eAAe,CAAC,0BAA0B,CAAC,CAAC;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC,YAAY,CAAC,CAAC;IAClD,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,cAAc,CAAC,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,CAAC;IAChE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,kBAAkB,CAAC,mBAAmB,CAAC,CAAC;IACpE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,qBAAqB,CAAC,CAAC;IACxE,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC,aAAa,CAAC,CAAC;IACxD,QAAQ,CAAC,cAAc,CAAC,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,CAAC;CACjE;AAED,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;AAClE,MAAM,MAAM,wBAAwB,GAAG,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;AACvE,MAAM,MAAM,sBAAsB,GAAG,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;AACrE,MAAM,MAAM,iBAAiB,GAAG,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,GAAG;IAChE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;CACjG,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAC/B;IACE,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,gCAAgC,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,6BAA6B,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,sBAAsB,GAAG,WAAW,GAAG,QAAQ,CAAC;CACjE,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,CAAC;AAIN,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,YAAY,GAChB,UAAU,CAAC,kBAAkB,EAAE,uBAAuB,CAAC,CAgDzD;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,YAAY,GAAG,kBAAkB,CAIxE;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,mBAAmB,GAAG,kBAAkB,CAE7E;AAED,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,wBAAwB,GAAG,kBAAkB,CAEvF;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,sBAAsB,GAAG,kBAAkB,CAEnF;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,iBAAiB,GAAG,kBAAkB,CAGzE"}