@llm4ts/core 2.13.1 → 2.15.0

package/dist/blackboard/Fact.d.ts

@@ -0,0 +1,48 @@
+import * as Effect from "effect/Effect";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+/**
+ * Facts on a blackboard (ADR 0020). A key names a fact and carries its
+ * schema; the board holds facts in their encoded JSON form, so it persists
+ * as-is and a read decodes through the key's schema instead of asserting a
+ * type. A key is written once per run: an equal rewrite is a no-op, a
+ * different one is a `DuplicateFact`.
+ */
+export interface Fact {
+    readonly key: string;
+    /** The value in the key's encoded form; a value typed `A` cannot fail to encode. */
+    readonly encoded: Effect.Effect<Schema.Json>;
+}
+export interface FactKey<A> {
+    readonly name: string;
+    of(value: A): Fact;
+    /** Decode a stored value; the board only holds what a key encoded, so a failure is a defect. */
+    readonly read: (encoded: unknown) => Effect.Effect<A>;
+}
+export declare const makeKey: <A, I>(name: string, schema: Schema.Codec<A, I>) => FactKey<A>;
+declare const MissingFact_base: Schema.Class<MissingFact, Schema.TaggedStruct<"MissingFact", {
+    readonly key: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+export declare class MissingFact extends MissingFact_base {
+    get message(): string;
+}
+declare const DuplicateFact_base: Schema.Class<DuplicateFact, Schema.TaggedStruct<"DuplicateFact", {
+    readonly key: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+export declare class DuplicateFact extends DuplicateFact_base {
+    get message(): string;
+}
+declare const Board_base: Schema.Class<Board, Schema.Struct<{
+    readonly facts: Schema.$Record<Schema.String, Schema.Codec<Schema.Json, Schema.Json, never, never>>;
+}>, {}>;
+export declare class Board extends Board_base {
+    static readonly empty: Board;
+    has(name: string): boolean;
+    get<A>(key: FactKey<A>): Effect.Effect<A, MissingFact>;
+}
+/** Structural JSON equality: arrays ordered, object keys not. */
+export declare const sameJson: (a: Schema.Json, b: Schema.Json) => boolean;
+/** The board after a write: unchanged for an equal rewrite, extended for a new key. */
+export declare const writeOnce: (facts: ReadonlyMap<string, Schema.Json>, key: string, value: Schema.Json) => Result.Result<ReadonlyMap<string, Schema.Json>, DuplicateFact>;
+export {};
+//# sourceMappingURL=Fact.d.ts.map

package/dist/blackboard/Fact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Fact.d.ts","sourceRoot":"","sources":["../../src/blackboard/Fact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC;;;;;;GAMG;AAEH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,oFAAoF;IACpF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;CAC7C;AAED,MAAM,WAAW,OAAO,CAAC,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,EAAE,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAA;IAClB,gGAAgG;IAChG,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;CACtD;AAED,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAAE,MAAM,MAAM,EAAE,QAAQ,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,OAAO,CAAC,CAAC,CAYjF,CAAA;;;;AAED,qBAAa,WAAY,SAAQ,gBAE/B;IACA,IAAI,OAAO,IAAI,MAAM,CAEpB;CACF;;;;AAED,qBAAa,aAAc,SAAQ,kBAEjC;IACA,IAAI,OAAO,IAAI,MAAM,CAEpB;CACF;;;;AAED,qBAAa,KAAM,SAAQ,UAEzB;IACA,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAA4B;IAExD,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI1B,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC;CAKvD;AAKD,iEAAiE;AACjE,eAAO,MAAM,QAAQ,GAAI,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,KAAG,OAczD,CAAA;AAED,uFAAuF;AACvF,eAAO,MAAM,SAAS,GACpB,OAAO,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EACvC,KAAK,MAAM,EACX,OAAO,MAAM,CAAC,IAAI,KACjB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,aAAa,CAO/D,CAAA"}

package/dist/blackboard/Fact.js

@@ -0,0 +1,69 @@
+import * as Effect from "effect/Effect";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+export const makeKey = (name, schema) => {
+    const encode = Schema.encodeEffect(schema);
+    const decode = Schema.decodeUnknownEffect(schema);
+    const json = Schema.decodeUnknownEffect(Schema.Json);
+    return {
+        name,
+        of: (value) => ({
+            key: name,
+            encoded: encode(value).pipe(Effect.flatMap(json), Effect.orDie)
+        }),
+        read: (encoded) => decode(encoded).pipe(Effect.orDie)
+    };
+};
+export class MissingFact extends Schema.TaggedError()("MissingFact", {
+    key: Schema.String
+}) {
+    get message() {
+        return `fact "${this.key}" is not on the board`;
+    }
+}
+export class DuplicateFact extends Schema.TaggedError()("DuplicateFact", {
+    key: Schema.String
+}) {
+    get message() {
+        return `fact "${this.key}" was posted twice with different values`;
+    }
+}
+export class Board extends Schema.Class("Board")({
+    facts: Schema.Record(Schema.String, Schema.Json)
+}) {
+    static empty = Board.make({ facts: {} });
+    has(name) {
+        return Object.hasOwn(this.facts, name);
+    }
+    get(key) {
+        return this.has(key.name)
+            ? key.read(this.facts[key.name])
+            : Effect.fail(MissingFact.make({ key: key.name }));
+    }
+}
+const isObject = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+/** Structural JSON equality: arrays ordered, object keys not. */
+export const sameJson = (a, b) => {
+    if (a === b)
+        return true;
+    if (Array.isArray(a) && Array.isArray(b)) {
+        return a.length === b.length && a.every((item, index) => sameJson(item, b[index] ?? null));
+    }
+    if (isObject(a) && isObject(b)) {
+        const keysA = Object.keys(a);
+        const keysB = Object.keys(b);
+        return (keysA.length === keysB.length &&
+            keysA.every((key) => Object.hasOwn(b, key) && sameJson(a[key] ?? null, b[key] ?? null)));
+    }
+    return false;
+};
+/** The board after a write: unchanged for an equal rewrite, extended for a new key. */
+export const writeOnce = (facts, key, value) => {
+    if (!facts.has(key)) {
+        return Result.succeed(new Map(facts).set(key, value));
+    }
+    return sameJson(facts.get(key) ?? null, value)
+        ? Result.succeed(facts)
+        : Result.fail(DuplicateFact.make({ key }));
+};
+//# sourceMappingURL=Fact.js.map

package/dist/blackboard/Fact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Fact.js","sourceRoot":"","sources":["../../src/blackboard/Fact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAuBvC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAO,IAAY,EAAE,MAA0B,EAAc,EAAE;IACpF,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAA;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACpD,OAAO;QACL,IAAI;QACJ,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACd,GAAG,EAAE,IAAI;YACT,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC;SAChE,CAAC;QACF,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;KACtD,CAAA;AACH,CAAC,CAAA;AAED,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,WAAW,EAAe,CAAC,aAAa,EAAE;IAChF,GAAG,EAAE,MAAM,CAAC,MAAM;CACnB,CAAC;IACA,IAAI,OAAO;QACT,OAAO,SAAS,IAAI,CAAC,GAAG,uBAAuB,CAAA;IACjD,CAAC;CACF;AAED,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,EAAiB,CAAC,eAAe,EAAE;IACtF,GAAG,EAAE,MAAM,CAAC,MAAM;CACnB,CAAC;IACA,IAAI,OAAO;QACT,OAAO,SAAS,IAAI,CAAC,GAAG,0CAA0C,CAAA;IACpE,CAAC;CACF;AAED,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,KAAK,CAAQ,OAAO,CAAC,CAAC;IACtD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC;CACjD,CAAC;IACA,MAAM,CAAU,KAAK,GAAU,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAA;IAExD,GAAG,CAAC,IAAY;QACd,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACxC,CAAC;IAED,GAAG,CAAI,GAAe;QACpB,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YACvB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACtD,CAAC;;AAGH,MAAM,QAAQ,GAAG,CAAC,KAAkB,EAAoD,EAAE,CACxF,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAEtE,iEAAiE;AACjE,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAc,EAAE,CAAc,EAAW,EAAE;IAClE,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IACxB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAA;IAC5F,CAAC;IACD,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC5B,OAAO,CACL,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAC7B,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CACxF,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,uFAAuF;AACvF,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,KAAuC,EACvC,GAAW,EACX,KAAkB,EAC8C,EAAE;IAClE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAA;IACvD,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,KAAK,CAAC;QAC5C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;AAC9C,CAAC,CAAA"}

package/dist/blackboard/Rule.d.ts

@@ -0,0 +1,92 @@
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import type * as Schema from "effect/Schema";
+import { Judgment, type JudgmentBackendError, type JudgmentInput } from "../judgment/Judgment.ts";
+import type { JudgmentResult } from "../judgment/Schemas.ts";
+import type { Fact, FactKey } from "./Fact.ts";
+/**
+ * Rules of a blackboard (ADR 0020). A condition names the keys it reads
+ * (what validation and pruning reason on) and evaluates to the typed value
+ * a consequence receives; a rule pairs a condition with a consequence that
+ * posts facts. Facts are write-once, so a rule fires at most once per run.
+ */
+/** A snapshot of the board: encoded facts by key. */
+export type Facts = ReadonlyMap<string, Schema.Json>;
+export interface Condition<A> {
+    readonly keys: ReadonlyArray<string>;
+    /** None while a key is missing or a `when` predicate rejects the value. */
+    readonly evaluate: (facts: Facts) => Effect.Effect<Option.Option<A>>;
+}
+export declare const on: <A>(key: FactKey<A>) => Condition<A>;
+/**
+ * Satisfied once every key is present; the value is the tuple of decoded
+ * values, in order. Typed by overload up to eight keys: one implementation
+ * over a loose tuple, so no assertion is needed to give each call its shape.
+ */
+export declare function all<A>(k1: FactKey<A>): Condition<readonly [A]>;
+export declare function all<A, B>(k1: FactKey<A>, k2: FactKey<B>): Condition<readonly [A, B]>;
+export declare function all<A, B, C>(k1: FactKey<A>, k2: FactKey<B>, k3: FactKey<C>): Condition<readonly [A, B, C]>;
+export declare function all<A, B, C, D>(k1: FactKey<A>, k2: FactKey<B>, k3: FactKey<C>, k4: FactKey<D>): Condition<readonly [A, B, C, D]>;
+export declare function all<A, B, C, D, E>(k1: FactKey<A>, k2: FactKey<B>, k3: FactKey<C>, k4: FactKey<D>, k5: FactKey<E>): Condition<readonly [A, B, C, D, E]>;
+export declare function all<A, B, C, D, E, F>(k1: FactKey<A>, k2: FactKey<B>, k3: FactKey<C>, k4: FactKey<D>, k5: FactKey<E>, k6: FactKey<F>): Condition<readonly [A, B, C, D, E, F]>;
+export declare function all<A, B, C, D, E, F, G>(k1: FactKey<A>, k2: FactKey<B>, k3: FactKey<C>, k4: FactKey<D>, k5: FactKey<E>, k6: FactKey<F>, k7: FactKey<G>): Condition<readonly [A, B, C, D, E, F, G]>;
+export declare function all<A, B, C, D, E, F, G, H>(k1: FactKey<A>, k2: FactKey<B>, k3: FactKey<C>, k4: FactKey<D>, k5: FactKey<E>, k6: FactKey<F>, k7: FactKey<G>, k8: FactKey<H>): Condition<readonly [A, B, C, D, E, F, G, H]>;
+export declare const when: <A>(condition: Condition<A>, predicate: (value: A) => boolean) => Condition<A>;
+export interface JudgmentNote {
+    readonly backend: string;
+    readonly identity: string;
+}
+export interface Posted {
+    readonly facts: ReadonlyArray<Fact>;
+    /** Set by `judge`: which backend and checkpoint answered, for the trace. */
+    readonly judgment?: JudgmentNote;
+}
+export type RuleKind = "derive" | "judge" | "rule";
+export interface Rule<E = never, R = never> {
+    readonly name: string;
+    readonly kind: RuleKind;
+    readonly reads: ReadonlyArray<string>;
+    /** The keys this rule may post; posting another is an `UndeclaredFact`. */
+    readonly produces: ReadonlyArray<string>;
+    /** Posted instead when the consequence fails. */
+    readonly defaults: ReadonlyArray<Fact>;
+    /** Some(firing) when the condition is satisfied against the snapshot. */
+    readonly prepare: (facts: Facts) => Effect.Effect<Option.Option<Effect.Effect<Posted, E, R>>>;
+}
+export interface RuleOptions<A, E, R> {
+    readonly name: string;
+    readonly condition: Condition<A>;
+    readonly produces: ReadonlyArray<FactKey<unknown>>;
+    readonly consequence: (value: A) => Effect.Effect<ReadonlyArray<Fact>, E, R>;
+    readonly defaults?: ReadonlyArray<Fact>;
+    readonly kind?: RuleKind;
+}
+export declare const rule: <A, E, R>(options: RuleOptions<A, E, R>) => Rule<E, R>;
+/** The general constructor other constructors build on: the firing may annotate the trace. */
+export declare const makeRule: <A, E, R>(options: Omit<RuleOptions<A, E, R>, "consequence">, fire: (value: A) => Effect.Effect<Posted, E, R>) => Rule<E, R>;
+export interface DeriveOptions<A> {
+    readonly name: string;
+    readonly condition: Condition<A>;
+    readonly produces: ReadonlyArray<FactKey<unknown>>;
+    readonly derive: (value: A) => ReadonlyArray<Fact>;
+}
+/** A pure, deterministic rule. */
+export declare const derive: <A>(options: DeriveOptions<A>) => Rule;
+export interface JudgeOptions<A> {
+    readonly name: string;
+    readonly condition: Condition<A>;
+    readonly produces: ReadonlyArray<FactKey<unknown>>;
+    /** The State and Questions for this firing; `state` is data, never instructions. */
+    readonly ask: (value: A) => JudgmentInput;
+    /**
+     * Facts from the typed result. Post the `Answer` itself (probability,
+     * support, origin), not a boolean read off it: deciding is another rule's
+     * job. Unanswered questions arrive in `result.failures`.
+     */
+    readonly post: (result: JudgmentResult, value: A) => ReadonlyArray<Fact>;
+    /** Posted when the backend itself is unreachable or rejects the request. */
+    readonly defaults?: ReadonlyArray<Fact>;
+}
+/** A rule that asks the Judgment service; its firing notes the backend and checkpoint for the trace. */
+export declare const judge: <A>(options: JudgeOptions<A>) => Rule<JudgmentBackendError, Judgment>;
+//# sourceMappingURL=Rule.d.ts.map

package/dist/blackboard/Rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule.d.ts","sourceRoot":"","sources":["../../src/blackboard/Rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,EAAE,QAAQ,EAAE,KAAK,oBAAoB,EAAE,KAAK,aAAa,EAAE,MAAM,yBAAyB,CAAA;AACjG,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAE9C;;;;;GAKG;AAEH,qDAAqD;AACrD,MAAM,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;AAEpD,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACpC,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;CACrE;AAED,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,KAAG,SAAS,CAAC,CAAC,CAMjD,CAAA;AAEF;;;;GAIG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;AAC/D,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AACrF,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACzB,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,GACb,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAChC,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5B,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,GACb,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AACnC,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/B,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,GACb,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AACtC,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAClC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,GACb,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AACzC,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACrC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,GACb,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAC5C,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACxC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,EACd,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,GACb,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAc/C,eAAO,MAAM,IAAI,GAAI,CAAC,EACpB,WAAW,SAAS,CAAC,CAAC,CAAC,EACvB,WAAW,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,KAC/B,SAAS,CAAC,CAAC,CAMZ,CAAA;AAEF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IACnC,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;CACjC;AAED,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAA;AAElD,MAAM,WAAW,IAAI,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACrC,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACxC,iDAAiD;IACjD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IACtC,yEAAyE;IACzE,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;CAC9F;AAED,MAAM,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAChC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IAClD,QAAQ,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5E,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IACvC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;CACzB;AAED,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CACuB,CAAA;AAE9F,8FAA8F;AAC9F,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAC9B,SAAS,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,EAClD,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,KAC9C,IAAI,CAAC,CAAC,EAAE,CAAC,CAUV,CAAA;AAEF,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAChC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IAClD,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,CAAA;CACnD;AAED,kCAAkC;AAClC,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,SAAS,aAAa,CAAC,CAAC,CAAC,KAAG,IAGnD,CAAA;AAEH,MAAM,WAAW,YAAY,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAChC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IAClD,oFAAoF;IACpF,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,aAAa,CAAA;IACzC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,KAAK,aAAa,CAAC,IAAI,CAAC,CAAA;IACxE,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACxC;AAED,wGAAwG;AACxG,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,SAAS,YAAY,CAAC,CAAC,CAAC,KAAG,IAAI,CAAC,oBAAoB,EAAE,QAAQ,CAUpF,CAAA"}

package/dist/blackboard/Rule.js

@@ -0,0 +1,43 @@
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import { Judgment } from "../judgment/Judgment.js";
+export const on = (key) => ({
+    keys: [key.name],
+    evaluate: (facts) => facts.has(key.name)
+        ? Effect.map(key.read(facts.get(key.name)), Option.some)
+        : Effect.succeed(Option.none())
+});
+export function all(...keys) {
+    return {
+        keys: keys.map((key) => key.name),
+        evaluate: (facts) => keys.every((key) => facts.has(key.name))
+            ? Effect.map(Effect.forEach(keys, (key) => key.read(facts.get(key.name))), (values) => Option.some(values))
+            : Effect.succeed(Option.none())
+    };
+}
+export const when = (condition, predicate) => ({
+    keys: condition.keys,
+    evaluate: (facts) => Effect.map(condition.evaluate(facts), (value) => Option.isSome(value) && predicate(value.value) ? value : Option.none())
+});
+export const rule = (options) => makeRule(options, (value) => Effect.map(options.consequence(value), (facts) => ({ facts })));
+/** The general constructor other constructors build on: the firing may annotate the trace. */
+export const makeRule = (options, fire) => ({
+    name: options.name,
+    kind: options.kind ?? "rule",
+    reads: options.condition.keys,
+    produces: options.produces.map((key) => key.name),
+    defaults: options.defaults ?? [],
+    prepare: (facts) => Effect.map(options.condition.evaluate(facts), (value) => Option.isSome(value) ? Option.some(fire(value.value)) : Option.none())
+});
+/** A pure, deterministic rule. */
+export const derive = (options) => makeRule({ ...options, kind: "derive" }, (value) => Effect.succeed({ facts: options.derive(value) }));
+/** A rule that asks the Judgment service; its firing notes the backend and checkpoint for the trace. */
+export const judge = (options) => makeRule({ ...options, kind: "judge" }, (value) => Effect.gen(function* () {
+    const judgment = yield* Judgment;
+    const result = yield* judgment.judge(options.ask(value));
+    return {
+        facts: options.post(result, value),
+        judgment: { backend: judgment.backend, identity: judgment.identity }
+    };
+}));
+//# sourceMappingURL=Rule.js.map

package/dist/blackboard/Rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rule.js","sourceRoot":"","sources":["../../src/blackboard/Rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,QAAQ,EAAiD,MAAM,yBAAyB,CAAA;AAoBjG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,GAAe,EAAgB,EAAE,CAAC,CAAC;IACvD,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;IAChB,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAClB,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QACjB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC;QACxD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;CACpC,CAAC,CAAA;AAsDF,MAAM,UAAU,GAAG,CAAC,GAAG,IAAqC;IAC1D,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;QACjC,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAClB,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,CAAC,CAAC,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAC5D,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAChC;YACH,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;KACpC,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,SAAuB,EACvB,SAAgC,EAClB,EAAE,CAAC,CAAC;IAClB,IAAI,EAAE,SAAS,CAAC,IAAI;IACpB,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAClB,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAC9C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CACvE;CACJ,CAAC,CAAA;AAoCF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAU,OAA6B,EAAc,EAAE,CACzE,QAAQ,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;AAE9F,8FAA8F;AAC9F,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,OAAkD,EAClD,IAA+C,EACnC,EAAE,CAAC,CAAC;IAChB,IAAI,EAAE,OAAO,CAAC,IAAI;IAClB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,MAAM;IAC5B,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI;IAC7B,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;IACjD,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;IAChC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CACtD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CACtE;CACJ,CAAC,CAAA;AASF,kCAAkC;AAClC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,OAAyB,EAAQ,EAAE,CAC3D,QAAQ,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CACjD,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CACjD,CAAA;AAkBH,wGAAwG;AACxG,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,OAAwB,EAAwC,EAAE,CACzF,QAAQ,CAAC,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;IAChC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;IACxD,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC;QAClC,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;KACrE,CAAA;AACH,CAAC,CAAC,CACH,CAAA"}

package/dist/blackboard/Ruleset.d.ts

@@ -0,0 +1,107 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { FactKey } from "./Fact.ts";
+import type { Rule } from "./Rule.ts";
+/**
+ * A ruleset (ADR 0020) is validated when it is built, not when it runs:
+ * every read is imported or produced, every export is produced, one
+ * producer per key, no constant or self-matching rule. Rules that cannot
+ * reach an export are pruned with a warning, so a company's ruleset never
+ * pays for a judgment nothing depends on. A valid ruleset is a value that
+ * runs many times.
+ */
+export declare const Problem: Schema.Union<readonly [Schema.Struct<{
+    readonly kind: Schema.Literal<"UnproducedMatch">;
+    readonly rule: Schema.String;
+    readonly key: Schema.String;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"UnproducedExport">;
+    readonly key: Schema.String;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"ManyProducers">;
+    readonly key: Schema.String;
+    readonly rules: Schema.$Array<Schema.String>;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"EmptyCondition">;
+    readonly rule: Schema.String;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"SelfMatch">;
+    readonly rule: Schema.String;
+    readonly key: Schema.String;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"DuplicateRuleName">;
+    readonly rule: Schema.String;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"UnusedImport">;
+    readonly key: Schema.String;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"Unreachable">;
+    readonly rule: Schema.String;
+}>]>;
+export type Problem = typeof Problem.Type;
+export declare const isWarning: (problem: Problem) => boolean;
+export declare const renderProblem: (problem: Problem) => string;
+declare const RulesetInvalid_base: Schema.Class<RulesetInvalid, Schema.TaggedStruct<"RulesetInvalid", {
+    readonly name: Schema.String;
+    readonly problems: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
+        readonly kind: Schema.Literal<"UnproducedMatch">;
+        readonly rule: Schema.String;
+        readonly key: Schema.String;
+    }>, Schema.Struct<{
+        readonly kind: Schema.Literal<"UnproducedExport">;
+        readonly key: Schema.String;
+    }>, Schema.Struct<{
+        readonly kind: Schema.Literal<"ManyProducers">;
+        readonly key: Schema.String;
+        readonly rules: Schema.$Array<Schema.String>;
+    }>, Schema.Struct<{
+        readonly kind: Schema.Literal<"EmptyCondition">;
+        readonly rule: Schema.String;
+    }>, Schema.Struct<{
+        readonly kind: Schema.Literal<"SelfMatch">;
+        readonly rule: Schema.String;
+        readonly key: Schema.String;
+    }>, Schema.Struct<{
+        readonly kind: Schema.Literal<"DuplicateRuleName">;
+        readonly rule: Schema.String;
+    }>, Schema.Struct<{
+        readonly kind: Schema.Literal<"UnusedImport">;
+        readonly key: Schema.String;
+    }>, Schema.Struct<{
+        readonly kind: Schema.Literal<"Unreachable">;
+        readonly rule: Schema.String;
+    }>]>>;
+}>, import("effect/Cause").YieldableError>;
+export declare class RulesetInvalid extends RulesetInvalid_base {
+    get message(): string;
+}
+export interface RulesetOptions<Rs extends ReadonlyArray<Rule<unknown, unknown>>> {
+    readonly name: string;
+    readonly imports: ReadonlyArray<FactKey<unknown>>;
+    readonly exports: ReadonlyArray<FactKey<unknown>>;
+    readonly rules: Rs;
+}
+/** The union of the rules' error types, so a `judge` and a custom-error `rule` mix freely. */
+export type ErrorOf<Rs extends ReadonlyArray<Rule<unknown, unknown>>> = Rs[number] extends Rule<infer E, unknown> ? E : never;
+/** The union of the services the rules need. */
+export type RequirementsOf<Rs extends ReadonlyArray<Rule<unknown, unknown>>> = Rs[number] extends Rule<unknown, infer R> ? R : never;
+export interface Ruleset<E = never, R = never> {
+    readonly name: string;
+    readonly imports: ReadonlyArray<string>;
+    readonly exports: ReadonlyArray<string>;
+    /** The rules that can reach an export, in the order given. */
+    readonly rules: ReadonlyArray<Rule<E, R>>;
+    readonly warnings: ReadonlyArray<Problem>;
+    /** One line per rule: `name: reads -> produces`. */
+    describe(): string;
+    /** A Mermaid `flowchart LR` of keys and rules. */
+    mermaid(): string;
+}
+/**
+ * Typed by overload: the ruleset's error and service types are the unions
+ * over its rules, so a `judge` and a custom-error `rule` mix in one array.
+ * The implementation only needs names, so it works over loose rules.
+ */
+export declare function makeRuleset<const Rs extends ReadonlyArray<Rule<unknown, unknown>>>(options: RulesetOptions<Rs>): Effect.Effect<Ruleset<ErrorOf<Rs>, RequirementsOf<Rs>>, RulesetInvalid>;
+export {};
+//# sourceMappingURL=Ruleset.d.ts.map

package/dist/blackboard/Ruleset.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ruleset.d.ts","sourceRoot":"","sources":["../../src/blackboard/Ruleset.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACxC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC;;;;;;;GAOG;AAEH,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiBlB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,eAAO,MAAM,SAAS,GAAI,SAAS,OAAO,KAAG,OAAyC,CAAA;AAEtF,eAAO,MAAM,aAAa,GAAI,SAAS,OAAO,KAAG,MAmBhD,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,cAAe,SAAQ,mBAGlC;IACA,IAAI,OAAO,IAAI,MAAM,CAEpB;CACF;AAED,MAAM,WAAW,cAAc,CAAC,EAAE,SAAS,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC9E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IACjD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IACjD,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAA;CACnB;AAED,8FAA8F;AAC9F,MAAM,MAAM,OAAO,CAAC,EAAE,SAAS,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,IAClE,EAAE,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEvD,gDAAgD;AAChD,MAAM,MAAM,cAAc,CAAC,EAAE,SAAS,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,IACzE,EAAE,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEvD,MAAM,WAAW,OAAO,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACvC,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACzC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;IACzC,oDAAoD;IACpD,QAAQ,IAAI,MAAM,CAAA;IAClB,kDAAkD;IAClD,OAAO,IAAI,MAAM,CAAA;CAClB;AAqDD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,KAAK,CAAC,EAAE,SAAS,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAChF,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC,GAC1B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA"}

package/dist/blackboard/Ruleset.js

@@ -0,0 +1,167 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+/**
+ * A ruleset (ADR 0020) is validated when it is built, not when it runs:
+ * every read is imported or produced, every export is produced, one
+ * producer per key, no constant or self-matching rule. Rules that cannot
+ * reach an export are pruned with a warning, so a company's ruleset never
+ * pays for a judgment nothing depends on. A valid ruleset is a value that
+ * runs many times.
+ */
+export const Problem = Schema.Union([
+    Schema.Struct({
+        kind: Schema.Literal("UnproducedMatch"),
+        rule: Schema.String,
+        key: Schema.String
+    }),
+    Schema.Struct({ kind: Schema.Literal("UnproducedExport"), key: Schema.String }),
+    Schema.Struct({
+        kind: Schema.Literal("ManyProducers"),
+        key: Schema.String,
+        rules: Schema.Array(Schema.String)
+    }),
+    Schema.Struct({ kind: Schema.Literal("EmptyCondition"), rule: Schema.String }),
+    Schema.Struct({ kind: Schema.Literal("SelfMatch"), rule: Schema.String, key: Schema.String }),
+    Schema.Struct({ kind: Schema.Literal("DuplicateRuleName"), rule: Schema.String }),
+    Schema.Struct({ kind: Schema.Literal("UnusedImport"), key: Schema.String }),
+    Schema.Struct({ kind: Schema.Literal("Unreachable"), rule: Schema.String })
+]);
+const warningKinds = new Set(["UnusedImport", "Unreachable"]);
+export const isWarning = (problem) => warningKinds.has(problem.kind);
+export const renderProblem = (problem) => {
+    switch (problem.kind) {
+        case "UnproducedMatch":
+            return `rule ${problem.rule} reads "${problem.key}", which nothing imports or produces`;
+        case "UnproducedExport":
+            return `export "${problem.key}" is produced by no rule`;
+        case "ManyProducers":
+            return `"${problem.key}" has several producers: ${problem.rules.join(", ")}`;
+        case "EmptyCondition":
+            return `rule ${problem.rule} reads nothing`;
+        case "SelfMatch":
+            return `rule ${problem.rule} reads "${problem.key}", which it produces`;
+        case "DuplicateRuleName":
+            return `two rules are named ${problem.rule}`;
+        case "UnusedImport":
+            return `import "${problem.key}" is read by no rule`;
+        case "Unreachable":
+            return `rule ${problem.rule} reaches no export and is not run`;
+    }
+};
+export class RulesetInvalid extends Schema.TaggedError()("RulesetInvalid", {
+    name: Schema.String,
+    problems: Schema.Array(Problem)
+}) {
+    get message() {
+        return `ruleset "${this.name}" is invalid: ${this.problems.map(renderProblem).join("; ")}`;
+    }
+}
+const producersByKey = (imports, rules) => {
+    const producers = new Map();
+    for (const key of imports)
+        producers.set(key, ["(import)"]);
+    for (const rule of rules) {
+        for (const key of rule.produces) {
+            producers.set(key, [...(producers.get(key) ?? []), rule.name]);
+        }
+    }
+    return producers;
+};
+/** Rules whose products can reach an export, following reads backwards from the exports. */
+const reachable = (exports, rules) => {
+    const needed = new Set(exports);
+    const kept = new Set();
+    let grew = true;
+    while (grew) {
+        grew = false;
+        for (const rule of rules) {
+            if (kept.has(rule.name) || !rule.produces.some((key) => needed.has(key)))
+                continue;
+            kept.add(rule.name);
+            for (const key of rule.reads)
+                needed.add(key);
+            grew = true;
+        }
+    }
+    return kept;
+};
+const escapeLabel = (label) => label.replaceAll('"', "'");
+const renderMermaid = (name, rules) => {
+    const keys = [...new Set(rules.flatMap((rule) => [...rule.reads, ...rule.produces]))];
+    const keyId = new Map(keys.map((key, index) => [key, `k${index}`]));
+    const ruleId = new Map(rules.map((rule, index) => [rule.name, `r${index}`]));
+    const nodes = [
+        ...keys.map((key) => `  ${keyId.get(key)}(["${escapeLabel(key)}"])`),
+        ...rules.map((rule) => `  ${ruleId.get(rule.name)}["${escapeLabel(rule.name)}"]`)
+    ];
+    const edges = rules.flatMap((rule) => [
+        ...rule.reads.map((key) => `  ${keyId.get(key)} --> ${ruleId.get(rule.name)}`),
+        ...rule.produces.map((key) => `  ${ruleId.get(rule.name)} --> ${keyId.get(key)}`)
+    ]);
+    return ["flowchart LR", `  %% ${escapeLabel(name)}`, ...nodes, ...edges].join("\n");
+};
+export function makeRuleset(options) {
+    const given = options.rules;
+    const imports = options.imports.map((key) => key.name);
+    const exports = options.exports.map((key) => key.name);
+    const problems = [];
+    const seen = new Set();
+    for (const rule of given) {
+        if (seen.has(rule.name))
+            problems.push({ kind: "DuplicateRuleName", rule: rule.name });
+        seen.add(rule.name);
+        if (rule.reads.length === 0)
+            problems.push({ kind: "EmptyCondition", rule: rule.name });
+        for (const key of rule.reads) {
+            if (rule.produces.includes(key))
+                problems.push({ kind: "SelfMatch", rule: rule.name, key });
+        }
+    }
+    const producers = producersByKey(imports, given);
+    for (const [key, names] of producers) {
+        if (names.length > 1)
+            problems.push({ kind: "ManyProducers", key, rules: names });
+    }
+    for (const rule of given) {
+        for (const key of rule.reads) {
+            if (!producers.has(key))
+                problems.push({ kind: "UnproducedMatch", rule: rule.name, key });
+        }
+    }
+    for (const key of exports) {
+        if (!producers.has(key))
+            problems.push({ kind: "UnproducedExport", key });
+    }
+    if (problems.length > 0) {
+        return Effect.fail(RulesetInvalid.make({ name: options.name, problems }));
+    }
+    const warnings = [];
+    const kept = reachable(exports, given);
+    for (const rule of given) {
+        if (!kept.has(rule.name))
+            warnings.push({ kind: "Unreachable", rule: rule.name });
+    }
+    const rules = given.filter((rule) => kept.has(rule.name));
+    // An import only pruned rules read is unused too: nothing that runs needs it.
+    const read = new Set(rules.flatMap((rule) => rule.reads));
+    for (const key of imports) {
+        if (!read.has(key))
+            warnings.push({ kind: "UnusedImport", key });
+    }
+    return Effect.succeed({
+        name: options.name,
+        imports,
+        exports,
+        rules,
+        warnings,
+        describe: () => [
+            `ruleset ${options.name}`,
+            `imports: ${imports.join(", ")}`,
+            `exports: ${exports.join(", ")}`,
+            ...rules.map((rule) => `${rule.name}: ${rule.reads.join(", ")} -> ${rule.produces.join(", ")}`),
+            ...warnings.map((warning) => `warning: ${renderProblem(warning)}`)
+        ].join("\n"),
+        mermaid: () => renderMermaid(options.name, rules)
+    });
+}
+//# sourceMappingURL=Ruleset.js.map

package/dist/blackboard/Ruleset.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Ruleset.js","sourceRoot":"","sources":["../../src/blackboard/Ruleset.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAIvC;;;;;;;GAOG;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC;QACZ,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;QACvC,IAAI,EAAE,MAAM,CAAC,MAAM;QACnB,GAAG,EAAE,MAAM,CAAC,MAAM;KACnB,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/E,MAAM,CAAC,MAAM,CAAC;QACZ,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC;QACrC,GAAG,EAAE,MAAM,CAAC,MAAM;QAClB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;KACnC,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC9E,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC7F,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACjF,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC3E,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CAC5E,CAAC,CAAA;AAGF,MAAM,YAAY,GAAiC,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC,CAAA;AAE3F,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAgB,EAAW,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;AAEtF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,OAAgB,EAAU,EAAE;IACxD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,iBAAiB;YACpB,OAAO,QAAQ,OAAO,CAAC,IAAI,WAAW,OAAO,CAAC,GAAG,sCAAsC,CAAA;QACzF,KAAK,kBAAkB;YACrB,OAAO,WAAW,OAAO,CAAC,GAAG,0BAA0B,CAAA;QACzD,KAAK,eAAe;YAClB,OAAO,IAAI,OAAO,CAAC,GAAG,4BAA4B,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;QAC9E,KAAK,gBAAgB;YACnB,OAAO,QAAQ,OAAO,CAAC,IAAI,gBAAgB,CAAA;QAC7C,KAAK,WAAW;YACd,OAAO,QAAQ,OAAO,CAAC,IAAI,WAAW,OAAO,CAAC,GAAG,sBAAsB,CAAA;QACzE,KAAK,mBAAmB;YACtB,OAAO,uBAAuB,OAAO,CAAC,IAAI,EAAE,CAAA;QAC9C,KAAK,cAAc;YACjB,OAAO,WAAW,OAAO,CAAC,GAAG,sBAAsB,CAAA;QACrD,KAAK,aAAa;YAChB,OAAO,QAAQ,OAAO,CAAC,IAAI,mCAAmC,CAAA;IAClE,CAAC;AACH,CAAC,CAAA;AAED,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,gBAAgB,EAAE;IACzF,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;CAChC,CAAC;IACA,IAAI,OAAO;QACT,OAAO,YAAY,IAAI,CAAC,IAAI,iBAAiB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IAC5F,CAAC;CACF;AA8BD,MAAM,cAAc,GAAG,CACrB,OAA8B,EAC9B,KAAgC,EACY,EAAE;IAC9C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiC,CAAA;IAC1D,KAAK,MAAM,GAAG,IAAI,OAAO;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAA;IAC3D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QAChE,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,4FAA4F;AAC5F,MAAM,SAAS,GAAG,CAChB,OAA8B,EAC9B,KAAgC,EACX,EAAE;IACvB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,IAAI,IAAI,GAAG,IAAI,CAAA;IACf,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,GAAG,KAAK,CAAA;QACZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAAE,SAAQ;YAClF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACnB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC7C,IAAI,GAAG,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;AAEzE,MAAM,aAAa,GAAG,CAAO,IAAY,EAAE,KAAgC,EAAU,EAAE;IACrF,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;IACrF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;IACnE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;IAC5E,MAAM,KAAK,GAAG;QACZ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;QACpE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;KAClF,CAAA;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;KAClF,CAAC,CAAA;IACF,OAAO,CAAC,cAAc,EAAE,QAAQ,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,KAAK,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACrF,CAAC,CAAA;AAUD,MAAM,UAAU,WAAW,CACzB,OAA8D;IAE9D,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAA;IAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACtD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACtD,MAAM,QAAQ,GAAmB,EAAE,CAAA;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;QACtF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnB,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;QACvF,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;QAC7F,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAChD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IACnF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;QAC3F,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,CAAC,CAAA;IAC3E,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC3E,CAAC;IACD,MAAM,QAAQ,GAAmB,EAAE,CAAA;IACnC,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAA;IACnF,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;IACzD,8EAA8E;IAC9E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IACzD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,OAAO;QACP,OAAO;QACP,KAAK;QACL,QAAQ;QACR,QAAQ,EAAE,GAAG,EAAE,CACb;YACE,WAAW,OAAO,CAAC,IAAI,EAAE;YACzB,YAAY,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAChC,YAAY,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAChC,GAAG,KAAK,CAAC,GAAG,CACV,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAClF;YACD,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;SACnE,CAAC,IAAI,CAAC,IAAI,CAAC;QACd,OAAO,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;KAClD,CAAC,CAAA;AACJ,CAAC"}