@proposit/shared 0.1.0

package/dist/engine/review/review-store.d.ts

@@ -0,0 +1,63 @@
+import type { UUID } from "../../schemas/common.js";
+import type { TReviewState, TClaimAssignment, TOperatorAssignment, TReviewResult } from "../../schemas/review.js";
+export interface TReviewKey {
+    argumentId: UUID;
+    argumentVersion: number;
+    userId?: UUID;
+}
+export interface TReviewStore {
+    load(key: TReviewKey): Promise<TReviewState | undefined>;
+    save(key: TReviewKey, state: TReviewState): Promise<void>;
+    upsertClaimAssignment(key: TReviewKey, a: TClaimAssignment): Promise<void>;
+    upsertOperatorAssignment(key: TReviewKey, a: TOperatorAssignment): Promise<void>;
+    saveResult(key: TReviewKey, r: TReviewResult): Promise<void>;
+    clear(key: TReviewKey): Promise<void>;
+    /** Public key-derivation helper used by the React provider's cross-tab filter. */
+    keyFor(key: TReviewKey): string;
+}
+export declare class ReviewStorageQuotaError extends Error {
+    constructor(message?: string);
+}
+export declare class ReviewStorageUnavailableError extends Error {
+    constructor(message?: string);
+}
+/**
+ * Migrate a raw localStorage payload to the current schema shape.
+ * Returns `{ state, migrated }`; caller should re-persist when migrated === true.
+ * Silently strips unknown reason codes.
+ */
+export declare function migrateReviewState(raw: unknown): {
+    state: unknown;
+    migrated: boolean;
+};
+export declare class LocalStorageReviewStore implements TReviewStore {
+    keyFor(k: TReviewKey): string;
+    load(key: TReviewKey): Promise<TReviewState | undefined>;
+    save(key: TReviewKey, state: TReviewState): Promise<void>;
+    private opKey;
+    upsertClaimAssignment(key: TReviewKey, a: TClaimAssignment): Promise<void>;
+    upsertOperatorAssignment(key: TReviewKey, a: TOperatorAssignment): Promise<void>;
+    saveResult(key: TReviewKey, r: TReviewResult): Promise<void>;
+    clear(key: TReviewKey): Promise<void>;
+}
+/**
+ * In-memory `TReviewStore` used by readonly review viewers.
+ *
+ * `load` and `save` round-trip state through a per-instance memory slot (so
+ * `ReviewEngine.runEvaluation`'s post-notify persist call succeeds without
+ * touching localStorage). The upsert methods (`upsertClaimAssignment`,
+ * `upsertOperatorAssignment`, `saveResult`) are true no-ops; they do NOT
+ * merge into the in-memory slot. Do NOT use this store with an editable
+ * engine — individual assignment upserts would be silently dropped.
+ */
+export declare class InMemoryReviewStore implements TReviewStore {
+    private data;
+    keyFor(k: TReviewKey): string;
+    load(_key: TReviewKey): Promise<TReviewState | undefined>;
+    save(_key: TReviewKey, state: TReviewState): Promise<void>;
+    upsertClaimAssignment(): Promise<void>;
+    upsertOperatorAssignment(): Promise<void>;
+    saveResult(): Promise<void>;
+    clear(_key: TReviewKey): Promise<void>;
+}
+//# sourceMappingURL=review-store.d.ts.map

package/dist/engine/review/review-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-store.d.ts","sourceRoot":"","sources":["../../../src/engine/review/review-store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,EACR,YAAY,EACZ,gBAAgB,EAChB,mBAAmB,EACnB,aAAa,EAChB,MAAM,yBAAyB,CAAA;AAgChC,MAAM,WAAW,UAAU;IACvB,UAAU,EAAE,IAAI,CAAA;IAChB,eAAe,EAAE,MAAM,CAAA;IACvB,MAAM,CAAC,EAAE,IAAI,CAAA;CAChB;AAED,MAAM,WAAW,YAAY;IACzB,IAAI,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC,CAAA;IACxD,IAAI,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACzD,qBAAqB,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC1E,wBAAwB,CACpB,GAAG,EAAE,UAAU,EACf,CAAC,EAAE,mBAAmB,GACvB,OAAO,CAAC,IAAI,CAAC,CAAA;IAChB,UAAU,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC5D,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACrC,kFAAkF;IAClF,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,MAAM,CAAA;CAClC;AAED,qBAAa,uBAAwB,SAAQ,KAAK;gBAClC,OAAO,SAAgC;CAItD;AACD,qBAAa,6BAA8B,SAAQ,KAAK;gBACxC,OAAO,SAA6B;CAInD;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,GAAG;IAC9C,KAAK,EAAE,OAAO,CAAA;IACd,QAAQ,EAAE,OAAO,CAAA;CACpB,CA4BA;AAID,qBAAa,uBAAwB,YAAW,YAAY;IACxD,MAAM,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM;IAKvB,IAAI,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC;IA4B9D,IAAI,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IAkBzD,OAAO,CAAC,KAAK;IAMP,qBAAqB,CACvB,GAAG,EAAE,UAAU,EACf,CAAC,EAAE,gBAAgB,GACpB,OAAO,CAAC,IAAI,CAAC;IAWV,wBAAwB,CAC1B,GAAG,EAAE,UAAU,EACf,CAAC,EAAE,mBAAmB,GACvB,OAAO,CAAC,IAAI,CAAC;IAeV,UAAU,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAUlE,KAAK,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAOxC;AAED;;;;;;;;;GASG;AACH,qBAAa,mBAAoB,YAAW,YAAY;IACpD,OAAO,CAAC,IAAI,CAA0B;IACtC,MAAM,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM;IAG7B,IAAI,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC;IAGzD,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IAI1D,qBAAqB,IAAI,OAAO,CAAC,IAAI,CAAC;IAGtC,wBAAwB,IAAI,OAAO,CAAC,IAAI,CAAC;IAGzC,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC;IAG3B,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAIzC"}

package/dist/engine/review/review-store.js

@@ -0,0 +1,174 @@
+import { ClaimReasonCodeSchema, OperatorReasonCodeSchema, ReviewStateSchema, } from "../../schemas/review.js";
+import { Value } from "typebox/value";
+const browserGlobals = globalThis;
+const isQuotaExceeded = (err) => typeof err === "object" &&
+    err !== null &&
+    err.name === "QuotaExceededError";
+export class ReviewStorageQuotaError extends Error {
+    constructor(message = "localStorage quota exceeded") {
+        super(message);
+        this.name = "ReviewStorageQuotaError";
+    }
+}
+export class ReviewStorageUnavailableError extends Error {
+    constructor(message = "localStorage unavailable") {
+        super(message);
+        this.name = "ReviewStorageUnavailableError";
+    }
+}
+/**
+ * Migrate a raw localStorage payload to the current schema shape.
+ * Returns `{ state, migrated }`; caller should re-persist when migrated === true.
+ * Silently strips unknown reason codes.
+ */
+export function migrateReviewState(raw) {
+    if (!raw || typeof raw !== "object" || !("draft" in raw)) {
+        return { state: raw, migrated: false };
+    }
+    const s = raw;
+    let migrated = false;
+    for (const a of Object.values(s.draft.claimAssignments ?? {})) {
+        if (a.reasonCode && !Value.Check(ClaimReasonCodeSchema, a.reasonCode)) {
+            delete a.reasonCode;
+            migrated = true;
+        }
+    }
+    for (const a of s.draft.operatorAssignments ?? []) {
+        if (a.reasonCode &&
+            !Value.Check(OperatorReasonCodeSchema, a.reasonCode)) {
+            delete a.reasonCode;
+            migrated = true;
+        }
+    }
+    return { state: raw, migrated };
+}
+const STORAGE_PREFIX = "proposit.review";
+export class LocalStorageReviewStore {
+    keyFor(k) {
+        const userSegment = k.userId ?? "anon";
+        return `${STORAGE_PREFIX}.${userSegment}.${k.argumentId}.${k.argumentVersion}`;
+    }
+    async load(key) {
+        const ls = browserGlobals.localStorage;
+        if (browserGlobals.window === undefined || !ls)
+            return undefined;
+        let raw;
+        try {
+            raw = ls.getItem(this.keyFor(key));
+        }
+        catch {
+            throw new ReviewStorageUnavailableError();
+        }
+        if (!raw)
+            return undefined;
+        try {
+            const parsed = JSON.parse(raw);
+            const { state: migrated, migrated: didMigrate } = migrateReviewState(parsed);
+            // Convert before Parse: EncodableDate's Convert rehydrates ISO strings
+            // into Date instances (precedent: src/utils/shared/utils.ts::parseResponse).
+            const converted = Value.Convert(ReviewStateSchema, migrated);
+            const state = Value.Parse(ReviewStateSchema, converted);
+            if (didMigrate)
+                await this.save(key, state);
+            return state;
+        }
+        catch (err) {
+            // Corrupted blob: drop it and let caller re-initialize.
+            console.warn("review-store: dropping corrupted review state", err);
+            await this.clear(key);
+            return undefined;
+        }
+    }
+    save(key, state) {
+        const ls = browserGlobals.localStorage;
+        if (browserGlobals.window === undefined || !ls)
+            return Promise.reject(new ReviewStorageUnavailableError("SSR"));
+        const serialized = Value.Encode(ReviewStateSchema, state);
+        try {
+            ls.setItem(this.keyFor(key), JSON.stringify(serialized));
+            return Promise.resolve();
+        }
+        catch (err) {
+            if (isQuotaExceeded(err)) {
+                return Promise.reject(new ReviewStorageQuotaError());
+            }
+            return Promise.reject(err instanceof Error ? err : new Error(String(err)));
+        }
+    }
+    opKey(a) {
+        return a.scope === "premise"
+            ? a.premiseId
+            : `${a.premiseId}:${a.expressionId ?? ""}`;
+    }
+    async upsertClaimAssignment(key, a) {
+        const state = await this.load(key);
+        if (!state)
+            throw new ReviewStorageUnavailableError("upsertClaimAssignment: no existing state");
+        state.draft.claimAssignments[a.claimId] = a;
+        state.draft.updatedAt = new Date();
+        await this.save(key, state);
+    }
+    async upsertOperatorAssignment(key, a) {
+        const state = await this.load(key);
+        if (!state)
+            throw new ReviewStorageUnavailableError("upsertOperatorAssignment: no existing state");
+        const idx = state.draft.operatorAssignments.findIndex((x) => this.opKey(x) === this.opKey(a));
+        if (idx >= 0)
+            state.draft.operatorAssignments[idx] = a;
+        else
+            state.draft.operatorAssignments.push(a);
+        state.draft.updatedAt = new Date();
+        await this.save(key, state);
+    }
+    async saveResult(key, r) {
+        const state = await this.load(key);
+        if (!state)
+            throw new ReviewStorageUnavailableError("saveResult: no existing state");
+        state.lastResult = r;
+        await this.save(key, state);
+    }
+    clear(key) {
+        const ls = browserGlobals.localStorage;
+        if (browserGlobals.window !== undefined && ls) {
+            ls.removeItem(this.keyFor(key));
+        }
+        return Promise.resolve();
+    }
+}
+/**
+ * In-memory `TReviewStore` used by readonly review viewers.
+ *
+ * `load` and `save` round-trip state through a per-instance memory slot (so
+ * `ReviewEngine.runEvaluation`'s post-notify persist call succeeds without
+ * touching localStorage). The upsert methods (`upsertClaimAssignment`,
+ * `upsertOperatorAssignment`, `saveResult`) are true no-ops; they do NOT
+ * merge into the in-memory slot. Do NOT use this store with an editable
+ * engine — individual assignment upserts would be silently dropped.
+ */
+export class InMemoryReviewStore {
+    data;
+    keyFor(k) {
+        return `memory:${k.argumentId}:${k.argumentVersion}:${k.userId ?? "anon"}`;
+    }
+    load(_key) {
+        return Promise.resolve(this.data);
+    }
+    save(_key, state) {
+        this.data = state;
+        return Promise.resolve();
+    }
+    upsertClaimAssignment() {
+        return Promise.resolve();
+    }
+    upsertOperatorAssignment() {
+        return Promise.resolve();
+    }
+    saveResult() {
+        return Promise.resolve();
+    }
+    clear(_key) {
+        this.data = undefined;
+        return Promise.resolve();
+    }
+}
+//# sourceMappingURL=review-store.js.map

package/dist/engine/review/review-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-store.js","sourceRoot":"","sources":["../../../src/engine/review/review-store.ts"],"names":[],"mappings":"AAOA,OAAO,EACH,qBAAqB,EACrB,wBAAwB,EACxB,iBAAiB,GACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAerC,MAAM,cAAc,GAAG,UAA6B,CAAA;AAMpD,MAAM,eAAe,GAAG,CAAC,GAAY,EAA4B,EAAE,CAC/D,OAAO,GAAG,KAAK,QAAQ;IACvB,GAAG,KAAK,IAAI;IACX,GAA0B,CAAC,IAAI,KAAK,oBAAoB,CAAA;AAsB7D,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAC9C,YAAY,OAAO,GAAG,6BAA6B;QAC/C,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAA;IACzC,CAAC;CACJ;AACD,MAAM,OAAO,6BAA8B,SAAQ,KAAK;IACpD,YAAY,OAAO,GAAG,0BAA0B;QAC5C,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,IAAI,GAAG,+BAA+B,CAAA;IAC/C,CAAC;CACJ;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAY;IAI3C,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;IAC1C,CAAC;IACD,MAAM,CAAC,GAAG,GAMT,CAAA;IACD,IAAI,QAAQ,GAAG,KAAK,CAAA;IACpB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,IAAI,EAAE,CAAC,EAAE,CAAC;QAC5D,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;YACpE,OAAO,CAAC,CAAC,UAAU,CAAA;YACnB,QAAQ,GAAG,IAAI,CAAA;QACnB,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,mBAAmB,IAAI,EAAE,EAAE,CAAC;QAChD,IACI,CAAC,CAAC,UAAU;YACZ,CAAC,KAAK,CAAC,KAAK,CAAC,wBAAwB,EAAE,CAAC,CAAC,UAAU,CAAC,EACtD,CAAC;YACC,OAAO,CAAC,CAAC,UAAU,CAAA;YACnB,QAAQ,GAAG,IAAI,CAAA;QACnB,CAAC;IACL,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;AACnC,CAAC;AAED,MAAM,cAAc,GAAG,iBAAiB,CAAA;AAExC,MAAM,OAAO,uBAAuB;IAChC,MAAM,CAAC,CAAa;QAChB,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,IAAI,MAAM,CAAA;QACtC,OAAO,GAAG,cAAc,IAAI,WAAW,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,eAAe,EAAE,CAAA;IAClF,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAe;QACtB,MAAM,EAAE,GAAG,cAAc,CAAC,YAAY,CAAA;QACtC,IAAI,cAAc,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE;YAAE,OAAO,SAAS,CAAA;QAChE,IAAI,GAAkB,CAAA;QACtB,IAAI,CAAC;YACD,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QACtC,CAAC;QAAC,MAAM,CAAC;YACL,MAAM,IAAI,6BAA6B,EAAE,CAAA;QAC7C,CAAC;QACD,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAA;QAC1B,IAAI,CAAC;YACD,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YACvC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,GAC3C,kBAAkB,CAAC,MAAM,CAAC,CAAA;YAC9B,uEAAuE;YACvE,6EAA6E;YAC7E,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAA;YAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAA;YACvD,IAAI,UAAU;gBAAE,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;YAC3C,OAAO,KAAK,CAAA;QAChB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,wDAAwD;YACxD,OAAO,CAAC,IAAI,CAAC,+CAA+C,EAAE,GAAG,CAAC,CAAA;YAClE,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YACrB,OAAO,SAAS,CAAA;QACpB,CAAC;IACL,CAAC;IAED,IAAI,CAAC,GAAe,EAAE,KAAmB;QACrC,MAAM,EAAE,GAAG,cAAc,CAAC,YAAY,CAAA;QACtC,IAAI,cAAc,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE;YAC1C,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,6BAA6B,CAAC,KAAK,CAAC,CAAC,CAAA;QACnE,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAA;QACzD,IAAI,CAAC;YACD,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAA;YACxD,OAAO,OAAO,CAAC,OAAO,EAAE,CAAA;QAC5B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,uBAAuB,EAAE,CAAC,CAAA;YACxD,CAAC;YACD,OAAO,OAAO,CAAC,MAAM,CACjB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CACtD,CAAA;QACL,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,CAAsB;QAChC,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS;YACxB,CAAC,CAAC,CAAC,CAAC,SAAS;YACb,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAA;IAClD,CAAC;IAED,KAAK,CAAC,qBAAqB,CACvB,GAAe,EACf,CAAmB;QAEnB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAClC,IAAI,CAAC,KAAK;YACN,MAAM,IAAI,6BAA6B,CACnC,0CAA0C,CAC7C,CAAA;QACL,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAC3C,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QAClC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAC/B,CAAC;IAED,KAAK,CAAC,wBAAwB,CAC1B,GAAe,EACf,CAAsB;QAEtB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAClC,IAAI,CAAC,KAAK;YACN,MAAM,IAAI,6BAA6B,CACnC,6CAA6C,CAChD,CAAA;QACL,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC,SAAS,CACjD,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CACzC,CAAA;QACD,IAAI,GAAG,IAAI,CAAC;YAAE,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;;YACjD,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC5C,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QAClC,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAC/B,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,GAAe,EAAE,CAAgB;QAC9C,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAClC,IAAI,CAAC,KAAK;YACN,MAAM,IAAI,6BAA6B,CACnC,+BAA+B,CAClC,CAAA;QACL,KAAK,CAAC,UAAU,GAAG,CAAC,CAAA;QACpB,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAC/B,CAAC;IAED,KAAK,CAAC,GAAe;QACjB,MAAM,EAAE,GAAG,cAAc,CAAC,YAAY,CAAA;QACtC,IAAI,cAAc,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,EAAE,CAAC;YAC5C,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QACnC,CAAC;QACD,OAAO,OAAO,CAAC,OAAO,EAAE,CAAA;IAC5B,CAAC;CACJ;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,mBAAmB;IACpB,IAAI,CAA0B;IACtC,MAAM,CAAC,CAAa;QAChB,OAAO,UAAU,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,MAAM,IAAI,MAAM,EAAE,CAAA;IAC9E,CAAC;IACD,IAAI,CAAC,IAAgB;QACjB,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACrC,CAAC;IACD,IAAI,CAAC,IAAgB,EAAE,KAAmB;QACtC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;QACjB,OAAO,OAAO,CAAC,OAAO,EAAE,CAAA;IAC5B,CAAC;IACD,qBAAqB;QACjB,OAAO,OAAO,CAAC,OAAO,EAAE,CAAA;IAC5B,CAAC;IACD,wBAAwB;QACpB,OAAO,OAAO,CAAC,OAAO,EAAE,CAAA;IAC5B,CAAC;IACD,UAAU;QACN,OAAO,OAAO,CAAC,OAAO,EAAE,CAAA;IAC5B,CAAC;IACD,KAAK,CAAC,IAAgB;QAClB,IAAI,CAAC,IAAI,GAAG,SAAS,CAAA;QACrB,OAAO,OAAO,CAAC,OAAO,EAAE,CAAA;IAC5B,CAAC;CACJ"}

package/dist/engine/review/step-queue.d.ts

@@ -0,0 +1,27 @@
+import type { ProjectEngine } from "../mutations/types.js";
+import type { UUID } from "../../schemas/common.js";
+export interface TOperatorQueueEntry {
+    premiseId: UUID;
+    scope: "premise";
+}
+export type TStepQueue = {
+    kind: "claim";
+    items: UUID[];
+} | {
+    kind: "operator";
+    items: TOperatorQueueEntry[];
+};
+export declare function buildClaimQueue(argEngine: ProjectEngine): UUID[];
+export declare function buildOperatorQueue(argEngine: ProjectEngine): TOperatorQueueEntry[];
+export declare function advanceQueue(params: {
+    queue: TStepQueue;
+    currentIndex: number;
+    skippedKeys: Set<string>;
+    decidedKeys: Set<string>;
+}): {
+    nextIndex: number;
+    insertRequeueNotice: boolean;
+} | {
+    done: true;
+};
+//# sourceMappingURL=step-queue.d.ts.map

package/dist/engine/review/step-queue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-queue.d.ts","sourceRoot":"","sources":["../../../src/engine/review/step-queue.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AAC1D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAA;AAInD,MAAM,WAAW,mBAAmB;IAChC,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,SAAS,CAAA;CACnB;AACD,MAAM,MAAM,UAAU,GAChB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,IAAI,EAAE,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAAA;AAExD,wBAAgB,eAAe,CAAC,SAAS,EAAE,aAAa,GAAG,IAAI,EAAE,CAGhE;AAED,wBAAgB,kBAAkB,CAC9B,SAAS,EAAE,aAAa,GACzB,mBAAmB,EAAE,CAcvB;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE;IACjC,KAAK,EAAE,UAAU,CAAA;IACjB,YAAY,EAAE,MAAM,CAAA;IACpB,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAC3B,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,mBAAmB,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAavE"}

package/dist/engine/review/step-queue.js

@@ -0,0 +1,34 @@
+import { collectArgumentReferencedClaims } from "@proposit/proposit-core";
+import { toEvaluationContext } from "./evaluation.js";
+export function buildClaimQueue(argEngine) {
+    const ctx = toEvaluationContext(argEngine);
+    return collectArgumentReferencedClaims(ctx).claimIds;
+}
+export function buildOperatorQueue(argEngine) {
+    const out = [];
+    const premises = [
+        ...argEngine.listSupportingPremises(),
+        ...(argEngine.getConclusionPremise()
+            ? [argEngine.getConclusionPremise()]
+            : []),
+    ];
+    for (const p of premises) {
+        if (p.getDecidableOperatorExpressions().length > 0) {
+            out.push({ premiseId: p.getId(), scope: "premise" });
+        }
+    }
+    return out;
+}
+export function advanceQueue(params) {
+    const items = params.queue.kind === "claim"
+        ? params.queue.items
+        : params.queue.items.map((i) => i.premiseId);
+    const next = params.currentIndex + 1;
+    if (next < items.length)
+        return { nextIndex: next, insertRequeueNotice: false };
+    const remaining = items.findIndex((k) => params.skippedKeys.has(k) && !params.decidedKeys.has(k));
+    if (remaining < 0)
+        return { done: true };
+    return { nextIndex: remaining, insertRequeueNotice: true };
+}
+//# sourceMappingURL=step-queue.js.map

package/dist/engine/review/step-queue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-queue.js","sourceRoot":"","sources":["../../../src/engine/review/step-queue.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,+BAA+B,EAAE,MAAM,yBAAyB,CAAA;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAUrD,MAAM,UAAU,eAAe,CAAC,SAAwB;IACpD,MAAM,GAAG,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAA;IAC1C,OAAO,+BAA+B,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,SAAwB;IAExB,MAAM,GAAG,GAA0B,EAAE,CAAA;IACrC,MAAM,QAAQ,GAAG;QACb,GAAG,SAAS,CAAC,sBAAsB,EAAE;QACrC,GAAG,CAAC,SAAS,CAAC,oBAAoB,EAAE;YAChC,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,EAAG,CAAC;YACrC,CAAC,CAAC,EAAE,CAAC;KACZ,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,+BAA+B,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjD,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAA;QACxD,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAA;AACd,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAK5B;IACG,MAAM,KAAK,GACP,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;QACzB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK;QACpB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACpD,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,GAAG,CAAC,CAAA;IACpC,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM;QACnB,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAA;IAC1D,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CACjE,CAAA;IACD,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IACxC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAA;AAC9D,CAAC"}

package/dist/engine/review/types.d.ts

@@ -0,0 +1,16 @@
+/** Three-valued assignment pill, surfaced on claim nodes. */
+export type TAssignmentPill = "true" | "false" | "unknown" | "skipped";
+/** Verdict rendered on the conclusion premise node after evaluation. */
+export type TConclusionVerdict = "Valid and Sound" | "Failing" | "Logically Invalid" | "Vacuous" | "Indeterminate";
+/** Review-phase data merged into the graph when rendering with review overlay. */
+export interface TReviewOverlay {
+    /** User's assignment per claimId. */
+    claimValues: Record<string, TAssignmentPill>;
+    /** Evaluator-propagated value per variableId. */
+    propagatedValues: Record<string, boolean | null>;
+    /** Operator accept/reject decision per expressionId. */
+    operatorDecisions: Record<string, "accepted" | "rejected">;
+    /** Verdict for the conclusion premise node. */
+    conclusionVerdict?: TConclusionVerdict;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/engine/review/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/engine/review/types.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAA;AAEtE,wEAAwE;AACxE,MAAM,MAAM,kBAAkB,GACxB,iBAAiB,GACjB,SAAS,GACT,mBAAmB,GACnB,SAAS,GACT,eAAe,CAAA;AAErB,kFAAkF;AAClF,MAAM,WAAW,cAAc;IAC3B,qCAAqC;IACrC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IAC5C,iDAAiD;IACjD,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC,CAAA;IAChD,wDAAwD;IACxD,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC,CAAA;IAC1D,+CAA+C;IAC/C,iBAAiB,CAAC,EAAE,kBAAkB,CAAA;CACzC"}

package/dist/engine/review/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/engine/review/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/engine/review/types.ts"],"names":[],"mappings":""}

package/dist/engine/review/wire.d.ts

@@ -0,0 +1,8 @@
+import type { TServerReview } from "../../schemas/model/review.js";
+import type { TReviewDraft } from "../../schemas/review.js";
+import type { TReviewUpdateRequest } from "../../schemas/api/review/index.js";
+export declare function serverReviewToDraft(review: TServerReview): TReviewDraft;
+export declare function draftToUpdatePayload(draft: TReviewDraft): TReviewUpdateRequest;
+export declare function hasAnyDecisions(draft: TReviewDraft): boolean;
+export declare function isFullyDecided(draft: TReviewDraft): boolean;
+//# sourceMappingURL=wire.d.ts.map

package/dist/engine/review/wire.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wire.d.ts","sourceRoot":"","sources":["../../../src/engine/review/wire.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAA;AAClE,OAAO,KAAK,EACR,YAAY,EAIf,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAA;AAoB7E,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,aAAa,GAAG,YAAY,CA4CvE;AAED,wBAAgB,oBAAoB,CAChC,KAAK,EAAE,YAAY,GACpB,oBAAoB,CAoBtB;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAI5D;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAK3D"}

package/dist/engine/review/wire.js

@@ -0,0 +1,97 @@
+function serverValueToDraft(value) {
+    if (value === "true")
+        return true;
+    if (value === "false")
+        return false;
+    return null;
+}
+function draftValueToServer(value) {
+    if (value === true)
+        return "true";
+    if (value === false)
+        return "false";
+    if (value === null)
+        return "unknown";
+    return null;
+}
+export function serverReviewToDraft(review) {
+    const claimAssignments = {};
+    for (const a of review.claimAssignments) {
+        const isUndecided = a.value === null && !a.skipped && !a.decidedAt;
+        if (isUndecided)
+            continue;
+        claimAssignments[a.claimId] = {
+            assignmentId: a.claimId,
+            claimId: a.claimId,
+            value: serverValueToDraft(a.value),
+            skipped: a.skipped,
+            reasonCode: (a.reasonCode ??
+                undefined),
+            decidedAt: a.decidedAt ?? new Date(),
+        };
+    }
+    const operatorAssignments = [];
+    for (const o of review.operatorAssignments) {
+        if (!o.decision)
+            continue;
+        operatorAssignments.push({
+            assignmentId: `${o.premiseId}:${o.scope}:${o.expressionId ?? ""}`,
+            premiseId: o.premiseId,
+            expressionId: o.expressionId ?? undefined,
+            scope: o.scope,
+            decision: o.decision,
+            reasonCode: (o.reasonCode ??
+                undefined),
+            decidedAt: o.decidedAt ?? new Date(),
+        });
+    }
+    return {
+        schemaVersion: 1,
+        reviewId: review.id,
+        argumentId: review.argumentId,
+        argumentVersion: review.argumentVersion,
+        userId: review.userId,
+        createdAt: review.createdOn,
+        updatedAt: review.updatedOn,
+        phase: review.phase,
+        currentStepIndex: review.currentStepIndex,
+        claimAssignments,
+        operatorAssignments,
+    };
+}
+export function draftToUpdatePayload(draft) {
+    return {
+        phase: draft.phase,
+        currentStepIndex: draft.currentStepIndex,
+        claimAssignments: Object.values(draft.claimAssignments).map((a) => ({
+            claimId: a.claimId,
+            value: draftValueToServer(a.value),
+            skipped: a.skipped,
+            reasonCode: a.reasonCode ?? null,
+            decidedAt: a.decidedAt ?? null,
+        })),
+        operatorAssignments: draft.operatorAssignments.map((o) => ({
+            premiseId: o.premiseId,
+            expressionId: o.expressionId ?? null,
+            scope: o.scope,
+            decision: o.decision,
+            reasonCode: o.reasonCode ?? null,
+            decidedAt: o.decidedAt ?? null,
+        })),
+    };
+}
+export function hasAnyDecisions(draft) {
+    if (Object.keys(draft.claimAssignments).length > 0)
+        return true;
+    if (draft.operatorAssignments.length > 0)
+        return true;
+    return false;
+}
+export function isFullyDecided(draft) {
+    for (const a of Object.values(draft.claimAssignments)) {
+        if (a.value === null && !a.skipped)
+            return false;
+    }
+    return true;
+}
+//# sourceMappingURL=wire.js.map

package/dist/engine/review/wire.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wire.js","sourceRoot":"","sources":["../../../src/engine/review/wire.ts"],"names":[],"mappings":"AAUA,SAAS,kBAAkB,CACvB,KAA0C;IAE1C,IAAI,KAAK,KAAK,MAAM;QAAE,OAAO,IAAI,CAAA;IACjC,IAAI,KAAK,KAAK,OAAO;QAAE,OAAO,KAAK,CAAA;IACnC,OAAO,IAAI,CAAA;AACf,CAAC;AAED,SAAS,kBAAkB,CACvB,KAAsB;IAEtB,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAA;IACjC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,OAAO,CAAA;IACnC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IACpC,OAAO,IAAI,CAAA;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAqB;IACrD,MAAM,gBAAgB,GAAmC,EAAE,CAAA;IAC3D,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACtC,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;QAClE,IAAI,WAAW;YAAE,SAAQ;QACzB,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG;YAC1B,YAAY,EAAE,CAAC,CAAC,OAAO;YACvB,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC;YAClC,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU;gBACrB,SAAS,CAAmC;YAChD,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE;SACvC,CAAA;IACL,CAAC;IAED,MAAM,mBAAmB,GAA0B,EAAE,CAAA;IACrD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,mBAAmB,EAAE,CAAC;QACzC,IAAI,CAAC,CAAC,CAAC,QAAQ;YAAE,SAAQ;QACzB,mBAAmB,CAAC,IAAI,CAAC;YACrB,YAAY,EAAE,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE;YACjE,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,YAAY,EAAE,CAAC,CAAC,YAAY,IAAI,SAAS;YACzC,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,UAAU,EAAE,CAAC,CAAC,CAAC,UAAU;gBACrB,SAAS,CAAsC;YACnD,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE;SACvC,CAAC,CAAA;IACN,CAAC;IAED,OAAO;QACH,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,MAAM,CAAC,EAAE;QACnB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,gBAAgB;QAChB,mBAAmB;KACtB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,KAAmB;IAEnB,OAAO;QACH,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChE,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC;YAClC,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,IAAI;YAChC,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI;SACjC,CAAC,CAAC;QACH,mBAAmB,EAAE,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvD,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,YAAY,EAAE,CAAC,CAAC,YAAY,IAAI,IAAI;YACpC,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,IAAI;YAChC,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI;SACjC,CAAC,CAAC;KACN,CAAA;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAmB;IAC/C,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IAC/D,IAAI,KAAK,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IACrD,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAmB;IAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO;YAAE,OAAO,KAAK,CAAA;IACpD,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC"}

package/dist/engine/text-tree.d.ts

@@ -0,0 +1,35 @@
+import type { TProjectReactiveSnapshot } from "./engine.js";
+import type { TLogicalOperatorType } from "../schemas/logic.js";
+/** Operator display labels for the text view. */
+export declare const OPERATOR_LABELS: Record<Exclude<TLogicalOperatorType, "not">, string>;
+export type TTextTreeItem = {
+    type: "premise-header";
+    premiseId: string;
+    role: "conclusion" | "supporting";
+    title: string | null;
+} | {
+    type: "claim";
+    expressionId: string;
+    variableId: string;
+    claimId: string | null;
+    claimTitle: string;
+    claimBody: string;
+    negated: boolean;
+    isConclusion: boolean;
+    depth: number;
+} | {
+    type: "operator";
+    operator: Exclude<TLogicalOperatorType, "not">;
+    label: string;
+    depth: number;
+} | {
+    type: "empty-premise";
+    premiseId: string;
+};
+/**
+ * Build a text-tree for a single premise. Emits walk items only (no
+ * premise-header). Use when rendering a standalone premise preview.
+ */
+export declare function buildPremiseTextTree(snapshot: TProjectReactiveSnapshot, premiseId: string): TTextTreeItem[];
+export declare function buildTextTree(snapshot: TProjectReactiveSnapshot): TTextTreeItem[];
+//# sourceMappingURL=text-tree.d.ts.map

package/dist/engine/text-tree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text-tree.d.ts","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,KAAK,EAER,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAE5B,iDAAiD;AACjD,eAAO,MAAM,eAAe,EAAE,MAAM,CAChC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,EACpC,MAAM,CAMT,CAAA;AAED,MAAM,MAAM,aAAa,GACnB;IACI,IAAI,EAAE,gBAAgB,CAAA;IACtB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,YAAY,GAAG,YAAY,CAAA;IACjC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CACvB,GACD;IACI,IAAI,EAAE,OAAO,CAAA;IACb,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,OAAO,EAAE,OAAO,CAAA;IAChB,YAAY,EAAE,OAAO,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAA;IAC9C,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,eAAe,CAAA;IACrB,SAAS,EAAE,MAAM,CAAA;CACpB,CAAA;AAEP;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAClB,aAAa,EAAE,CAmBjB;AA4GD,wBAAgB,aAAa,CACzB,QAAQ,EAAE,wBAAwB,GACnC,aAAa,EAAE,CA0BjB"}

package/dist/engine/text-tree.js

@@ -0,0 +1,137 @@
+/** Operator display labels for the text view. */
+export const OPERATOR_LABELS = {
+    and: "and",
+    or: "or",
+    implies: "is true if",
+    iff: "is true if and only if",
+};
+/**
+ * Build a text-tree for a single premise. Emits walk items only (no
+ * premise-header). Use when rendering a standalone premise preview.
+ */
+export function buildPremiseTextTree(snapshot, premiseId) {
+    const premiseSnap = snapshot.premises[premiseId];
+    if (!premiseSnap)
+        return [];
+    const isConclusion = snapshot.roles.conclusionPremiseId === premiseId;
+    const rootExprId = premiseSnap.rootExpressionId;
+    if (!rootExprId)
+        return [{ type: "empty-premise", premiseId }];
+    const items = [];
+    walkPremiseExpression({
+        exprId: rootExprId,
+        premiseExpressions: premiseSnap.expressions,
+        variables: snapshot.variables,
+        claims: snapshot.claims,
+        negated: false,
+        depth: 0,
+        isConclusion,
+        items,
+    });
+    return items;
+}
+function getChildExpressions(parentId, premiseExpressions) {
+    return Object.values(premiseExpressions)
+        .filter((e) => e.parentId === parentId)
+        .sort((a, b) => (a.position ?? 0) - (b.position ?? 0));
+}
+function walkPremiseExpression(args) {
+    const { exprId, premiseExpressions, variables, claims, negated, depth, isConclusion, items, } = args;
+    const expr = premiseExpressions[exprId];
+    if (!expr)
+        return;
+    if (expr.type === "variable") {
+        const variable = variables[expr.variableId];
+        let claimId = null;
+        let claimTitle = "";
+        let claimBody = "";
+        if (variable && "claimId" in variable) {
+            claimId = variable.claimId;
+            const claim = claims[variable.claimId];
+            if (claim) {
+                claimTitle = claim.title;
+                claimBody = claim.body;
+            }
+        }
+        items.push({
+            type: "claim",
+            expressionId: expr.id,
+            variableId: expr.variableId,
+            claimId,
+            claimTitle,
+            claimBody,
+            negated,
+            isConclusion,
+            depth,
+        });
+        return;
+    }
+    if (expr.type === "formula") {
+        const children = getChildExpressions(exprId, premiseExpressions);
+        for (const child of children) {
+            walkPremiseExpression({
+                ...args,
+                exprId: child.id,
+                depth: depth + 1,
+            });
+        }
+        return;
+    }
+    if (expr.type === "operator") {
+        if (expr.operator === "not") {
+            const children = getChildExpressions(exprId, premiseExpressions);
+            if (children.length > 0) {
+                walkPremiseExpression({
+                    ...args,
+                    exprId: children[0].id,
+                    negated: !negated,
+                });
+            }
+            return;
+        }
+        const children = getChildExpressions(exprId, premiseExpressions);
+        const isInference = expr.operator === "implies" || expr.operator === "iff";
+        const orderedChildren = isInference ? [...children].reverse() : children;
+        for (let i = 0; i < orderedChildren.length; i++) {
+            walkPremiseExpression({
+                ...args,
+                exprId: orderedChildren[i].id,
+                negated: false,
+            });
+            if (i < orderedChildren.length - 1) {
+                items.push({
+                    type: "operator",
+                    operator: expr.operator,
+                    label: OPERATOR_LABELS[expr.operator],
+                    depth,
+                });
+            }
+        }
+    }
+}
+export function buildTextTree(snapshot) {
+    const items = [];
+    const conclusionPremiseId = snapshot.roles.conclusionPremiseId;
+    // Sort premises: conclusion first, then supporting
+    const premiseEntries = Object.entries(snapshot.premises);
+    const sortedPremises = premiseEntries.sort(([idA], [idB]) => {
+        const aIsConclusion = idA === conclusionPremiseId;
+        const bIsConclusion = idB === conclusionPremiseId;
+        if (aIsConclusion && !bIsConclusion)
+            return -1;
+        if (!aIsConclusion && bIsConclusion)
+            return 1;
+        return 0;
+    });
+    for (const [premiseId, premiseSnap] of sortedPremises) {
+        items.push({
+            type: "premise-header",
+            premiseId,
+            role: premiseId === conclusionPremiseId ? "conclusion" : "supporting",
+            title: premiseSnap.premise.title ?? null,
+        });
+        items.push(...buildPremiseTextTree(snapshot, premiseId));
+    }
+    return items;
+}
+//# sourceMappingURL=text-tree.js.map