@sublang/slc 0.1.0

package/dist/runtime-package.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-package.js","sourceRoot":"","sources":["../src/runtime-package.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,0EAA0E;AAE1E;;;;GAIG;AAEH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAO5D,MAAM,UAAU,qBAAqB,CACnC,QAAgB,EAChB,SAAiB;IAEjB,MAAM,WAAW,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,mBAAmB,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAEpD,8EAA8E;IAC9E,0EAA0E;IAC1E,MAAM,aAAa,GAAG,YAAY,CAAC,MAAM,CACvC,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC,CACvC,CAAC;IACF,MAAM,WAAW,GAAG,mBAAmB,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACnE,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,8CAA8C,SAAS,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QAC3C,MAAM,YAAY,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,YAAY,KAAK,SAAS;YAAE,SAAS;QACzC,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CACb,mEAAmE,YAAY,GAAG,CACnF,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CACb,sEAAsE,IAAI,GAAG,CAC9E,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAChD,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAC9C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpB,MAAM,IAAI,KAAK,CACb,wDAAwD,IAAI,GAAG,EAC/D,EAAE,KAAK,EAAE,KAAK,EAAE,CACjB,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,CAAC;QACd,CAAC;QAED,IAAI,QAAiB,CAAC;QACtB,IAAI,CAAC;YACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAY,CAAC;QAC3C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CACb,oDAAoD,YAAY,MAAM,SAAS,CAAC,KAAK,CAAC,EAAE,EACxF,EAAE,KAAK,EAAE,KAAK,EAAE,CACjB,CAAC;QACJ,CAAC;QACD,IACE,OAAO,QAAQ,KAAK,QAAQ;YAC5B,QAAQ,KAAK,IAAI;YACjB,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YACvB,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC;YACrB,QAAQ,CAAC,IAAI,KAAK,WAAW;YAC7B,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC;YACxB,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ;YACpC,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAC7B,CAAC;YACD,MAAM,IAAI,KAAK,CACb,yEAAyE,YAAY,GAAG,CACzF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;IAC7C,CAAC;IAED,MAAM,IAAI,KAAK,CACb,yDAAyD,SAAS,EAAE,CACrE,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAY;IAC5C,KAAK,MAAM,SAAS,IAAI;QACtB,IAAI;QACJ,GAAG,IAAI,KAAK;QACZ,GAAG,IAAI,OAAO;QACd,GAAG,IAAI,OAAO;KACf,EAAE,CAAC;QACF,IAAI,CAAC;YACH,SAAS,CAAC,SAAS,CAAC,CAAC;YACrB,OAAO,SAAS,CAAC;QACnB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,MAAM,KAAK,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,wBAAwB,CAAC,SAAiB;IACjD,IACE,SAAS,CAAC,MAAM,KAAK,CAAC;QACtB,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QACzB,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QACzB,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QACzB,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;QACxB,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;QACxB,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QACvB,SAAS,CAAC,SAAS,CAAC,EACpB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QACpC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC;YAC5D,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE;YAC3B,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACb,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,SAAiB;IACtD,IAAI,CAAC;QACH,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,IAAY;IAC1C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjC,OAAO,CACL,GAAG,KAAK,EAAE;QACV,GAAG,KAAK,IAAI;QACZ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC;QAC3B,CAAC,UAAU,CAAC,GAAG,CAAC,CACjB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,MAAM,IAAI,KAAK;QACf,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CACtD,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC"}

package/dist/slc.config.template.yaml

@@ -0,0 +1,5 @@
+# slc configuration, seeded on first run (DR-015). Environment variables
+# SLC_AGENT / SLC_MODEL / SLC_EFFORT override these per key (DR-006).
+agent: claude-code
+# model: claude-opus-4-8
+# effort: high

package/dist/verify-coverage.d.ts

@@ -0,0 +1,99 @@
+import { type MachineConfigLike } from './verify.js';
+/** The `gears2fsm`-mandated captain actor name a machine declares. */
+export declare const CAPTAIN_ACTOR = "captain";
+/** The minimal machine surface the coverage driver needs. */
+interface MachineLike {
+    config: MachineConfigLike & {
+        id?: string;
+    };
+    provide(implementations: {
+        actors: Record<string, unknown>;
+    }): MachineLike;
+    /** XState exposes `setup()`-registered guards here. */
+    implementations?: {
+        guards?: Record<string, unknown>;
+    };
+    /** XState's resolved state nodes expose the actual invocation actor ids. */
+    root?: ResolvedStateNodeLike;
+}
+interface ResolvedStateNodeLike {
+    states?: Record<string, ResolvedStateNodeLike>;
+    invoke?: Array<{
+        id?: string;
+    }>;
+}
+/**
+ * Finds the XState machine an `fsm` module exports — the export carrying a
+ * `.config.states` and a `.provide` — so the coverage driver can supply the
+ * scripted captain.
+ *
+ * @throws when the module exports no such machine.
+ */
+export declare function findMachine(fsmModule: unknown): MachineLike;
+/** Mines identifier-like string literals from an artifact's source text. */
+export declare function identifierLiterals(sourceText: string): string[];
+/**
+ * Reports whether a bounded search finds a context/output assignment under
+ * which the guard passes, seeding candidate values from the guard's source and
+ * the caller's extra candidates (typically the machine's state keys and the
+ * artifact's identifier literals, since typed routing fields hold values that
+ * guards compare against helper-bound constants).
+ *
+ * A conjunctive guard short-circuits, so each probe pass reveals at most one
+ * new field read; the search deepens iteratively — assign a discovered field
+ * each candidate value, re-probe for the next read — within a global probe
+ * budget, and an exhausted budget reports unsatisfiable ("under probing").
+ */
+export declare function guardSatisfiable(guard: (arg: {
+    context: unknown;
+    event: unknown;
+}) => unknown, baseOutput: Record<string, unknown>, extraValues?: readonly unknown[]): boolean;
+/**
+ * Derives a conservative Vitest timeout from the same bounded work performed
+ * by {@link checkFsmCoverage}. It includes every possible async settle window,
+ * the bounded parallel-combination surface, an allowance for each worst-case
+ * guard search, and a final scheduling margin. Generated tests use this instead
+ * of Vitest's five-second default.
+ */
+export declare function fsmCoverageTestTimeout(fsmModule: unknown): number;
+/**
+ * Checks transition coverage over a compiled `playbook` artifact's machine
+ * (VERIFY-6) and returns findings (empty when every declared transition is
+ * reachable). Drives the machine through the `gears2fsm` surfaces it
+ * declares; a workflow without pre-emption may omit the `BOSS_INTERRUPT`
+ * surface entirely, in which case interrupt coverage is skipped.
+ */
+export declare function checkFsmCoverage(fsmModule: unknown, opts?: {
+    /** The artifact's source text, mined for routing-value candidates. */
+    sourceText?: string;
+}): Promise<string[]>;
+/**
+ * Builds a per-artifact vitest module running the transition-coverage check
+ * beside the artifacts (VERIFY-6).
+ */
+export declare function generateFsmCoverageTest(opts: {
+    basename: string;
+    /** NodeNext import specifier for the compiled FSM. */
+    fsmModule: string;
+    /** Physical TypeScript source path, relative to the generated test. */
+    fsmSourceFile: string;
+    verifyModule: string;
+}): string;
+/**
+ * Emits the transition-coverage test beside a compiled `playbook` artifact
+ * (VERIFY-6): validates the produced `fsm` drives cleanly, then writes
+ * `<basename>.fsm.coverage.test.ts` and returns its path with any coverage
+ * findings as diagnostics.
+ *
+ * @throws when the `fsm` artifact cannot be imported or exports no machine.
+ */
+export declare function emitFsmCoverageTest(opts: {
+    artifactDir: string;
+    basename: string;
+    verifyModule?: string;
+}): Promise<{
+    path: string;
+    diagnostics: string[];
+}>;
+export {};
+//# sourceMappingURL=verify-coverage.d.ts.map

package/dist/verify-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-coverage.d.ts","sourceRoot":"","sources":["../src/verify-coverage.ts"],"names":[],"mappings":"AA0BA,OAAO,EAWL,KAAK,iBAAiB,EACvB,MAAM,aAAa,CAAC;AAErB,sEAAsE;AACtE,eAAO,MAAM,aAAa,YAAY,CAAC;AAEvC,6DAA6D;AAC7D,UAAU,WAAW;IACnB,MAAM,EAAE,iBAAiB,GAAG;QAAE,EAAE,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,OAAO,CAAC,eAAe,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAAG,WAAW,CAAC;IAC3E,uDAAuD;IACvD,eAAe,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC;IACvD,4EAA4E;IAC5E,IAAI,CAAC,EAAE,qBAAqB,CAAC;CAC9B;AAsBD,UAAU,qBAAqB;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAC/C,MAAM,CAAC,EAAE,KAAK,CAAC;QAAE,EAAE,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACjC;AAsID;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,OAAO,GAAG,WAAW,CAwB3D;AAo2BD,4EAA4E;AAC5E,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,EAAE,CAU/D;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,CAAC,GAAG,EAAE;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,KAAK,OAAO,EAC7D,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACnC,WAAW,GAAE,SAAS,OAAO,EAAO,GACnC,OAAO,CAST;AAq/BD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,CAuFjE;AAED;;;;;;GAMG;AACH,wBAAsB,gBAAgB,CACpC,SAAS,EAAE,OAAO,EAClB,IAAI,GAAE;IACJ,sEAAsE;IACtE,UAAU,CAAC,EAAE,MAAM,CAAC;CAChB,GACL,OAAO,CAAC,MAAM,EAAE,CAAC,CA+fnB;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE;IAC5C,QAAQ,EAAE,MAAM,CAAC;IACjB,sDAAsD;IACtD,SAAS,EAAE,MAAM,CAAC;IAClB,uEAAuE;IACvE,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;CACtB,GAAG,MAAM,CA8BT;AAED;;;;;;;GAOG;AACH,wBAAsB,mBAAmB,CAAC,IAAI,EAAE;IAC9C,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GAAG,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAmBnD"}