smol-symphony 0.2.0 → 0.3.0

package/dist/src/core/workflow/derive.js

@@ -0,0 +1,107 @@
+// FCIS rewrite — pure config derivations over the parsed workflow `states:` map.
+//
+// FUNCTIONAL CORE. Every function here is synchronous and pure: (data) -> data.
+// No IO, no clock, no randomness, no Effects needed (these are config reads, not
+// side effects). Imports ONLY from src/types. Ports the original behavior of
+// src/workflow.ts:{derivePrRouting,deriveSpawnRouting,resolveActionsForState} and
+// src/orchestrator-decisions.ts:requiredAdapterIds.
+import { resolveStateKey } from '../state-resolve.js';
+/**
+ * Derive the PR autopilot routing by scanning states for the per-state `pr:`
+ * field (issue 139). The merge state is the FIRST terminal state declaring
+ * `pr.auto_merge` (its strategy + `on_conflict.route_to` come along); the close
+ * state is the FIRST terminal state declaring `pr.close: true`. First match
+ * wins for each independently; `validateStates` enforces at-most-one of each so
+ * the choice is unambiguous at dispatch time.
+ *
+ * Pure: a plain scan over the states map, no IO. Returns the default routing
+ * (all-null states, `squash` strategy) when no terminal state declares `pr:`.
+ */
+export function derivePrRouting(states) {
+    let mergeState = null;
+    let closeState = null;
+    let conflictRouteTo = null;
+    let strategy = 'squash';
+    for (const [name, sc] of Object.entries(states)) {
+        if (sc.role !== 'terminal' || !sc.pr)
+            continue;
+        if (sc.pr.auto_merge && mergeState === null) {
+            mergeState = name;
+            strategy = sc.pr.auto_merge;
+            conflictRouteTo = sc.pr.on_conflict?.route_to ?? null;
+        }
+        if (sc.pr.close && closeState === null) {
+            closeState = name;
+        }
+    }
+    return { mergeState, closeState, conflictRouteTo, strategy };
+}
+/**
+ * Derive the recurring-spawn routing by scanning states for the per-state
+ * `spawn:` field. The spawn state is the FIRST active state declaring `spawn:`
+ * (its triggers / title / body / max_in_flight come along); `validateStates`
+ * enforces at-most-one so the first-match is unambiguous.
+ *
+ * Pure: a plain scan over the states map, no IO. Returns a routing with a null
+ * `spawnState` (and benign defaults) when no active state declares `spawn:`
+ * (spawning disabled).
+ */
+export function deriveSpawnRouting(states) {
+    for (const [name, sc] of Object.entries(states)) {
+        if (sc.role !== 'active' || !sc.spawn)
+            continue;
+        return {
+            spawnState: name,
+            onIdle: sc.spawn.on_idle,
+            afterTerminal: sc.spawn.after_terminal,
+            title: sc.spawn.title,
+            body: sc.spawn.body,
+            maxInFlight: sc.spawn.max_in_flight,
+        };
+    }
+    return {
+        spawnState: null,
+        onIdle: false,
+        afterTerminal: 0,
+        title: 'Reflection {{ stamp }}',
+        body: null,
+        maxInFlight: 1,
+    };
+}
+/**
+ * Resolve the typed action list a given state should run on transition-in.
+ * Case-insensitive state lookup (an exact key match is preferred, then the first
+ * case-insensitive match in declaration order); returns the parsed
+ * `WorkflowAction[]` (or undefined when the state is unknown or declares no
+ * actions block). The runner consults this on transition into a terminal state
+ * to drive the push/PR handoff.
+ *
+ * Pure: reads only the supplied config.
+ */
+export function resolveActionsForState(cfg, stateName) {
+    const states = cfg.states;
+    const key = resolveStateKey(states, stateName);
+    if (key === null)
+        return undefined;
+    return states[key].actions;
+}
+/**
+ * Distinct adapter ids whose host credential must be readable at startup — the
+ * workflow-level default (`acp.adapter`) plus any per-state `adapter` override.
+ * Whether an id is "known" is supplied by the caller (the registry of valid
+ * adapter ids lives in the shell), so this stays a pure union/dedupe with no
+ * dependency on the adapter registry. Unknown ids are dropped.
+ *
+ * Pure: `isKnown` is an injected pure predicate; no IO.
+ */
+export function requiredAdapterIds(cfg, isKnown) {
+    const out = new Set();
+    if (isKnown(cfg.acp.adapter))
+        out.add(cfg.acp.adapter);
+    for (const s of Object.values(cfg.states)) {
+        if (s.adapter && isKnown(s.adapter))
+            out.add(s.adapter);
+    }
+    return out;
+}
+//# sourceMappingURL=derive.js.map

package/dist/src/core/workflow/derive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../../../src/core/workflow/derive.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,gFAAgF;AAChF,iFAAiF;AACjF,6EAA6E;AAC7E,kFAAkF;AAClF,oDAAoD;AASpD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEtD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAC,MAAmC;IACjE,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,eAAe,GAAkB,IAAI,CAAC;IAC1C,IAAI,QAAQ,GAAkC,QAAQ,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAChD,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,SAAS;QAC/C,IAAI,EAAE,CAAC,EAAE,CAAC,UAAU,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YAC5C,UAAU,GAAG,IAAI,CAAC;YAClB,QAAQ,GAAG,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC;YAC5B,eAAe,GAAG,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,QAAQ,IAAI,IAAI,CAAC;QACxD,CAAC;QACD,IAAI,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACvC,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AAC/D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAmC;IACpE,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAChD,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,KAAK;YAAE,SAAS;QAChD,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO;YACxB,aAAa,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc;YACtC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK;YACrB,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI;YACnB,WAAW,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa;SACpC,CAAC;IACJ,CAAC;IACD,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,KAAK;QACb,aAAa,EAAE,CAAC;QAChB,KAAK,EAAE,wBAAwB;QAC/B,IAAI,EAAE,IAAI;QACV,WAAW,EAAE,CAAC;KACf,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CACpC,GAAkB,EAClB,SAAiB;IAEjB,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC/C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACnC,OAAO,MAAM,CAAC,GAAG,CAAE,CAAC,OAAO,CAAC;AAC9B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAkB,EAClB,OAAgC;IAEhC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}