@stevenvo780/st-lang 3.2.2 → 4.0.0

package/dist/text-layer/v2/claim-graph.js

@@ -0,0 +1,270 @@
+"use strict";
+/**
+ * ClaimGraph — DAG de claims con detección de ciclos, orden topológico,
+ * validación e invalidación propagada.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ClaimGraph = exports.CycleError = void 0;
+class CycleError extends Error {
+    cycles;
+    constructor(cycles) {
+        super(`Ciclo detectado en el grafo de claims: ${cycles.map((c) => c.join(' -> ')).join(' | ')}`);
+        this.name = 'CycleError';
+        this.cycles = cycles;
+    }
+}
+exports.CycleError = CycleError;
+class ClaimGraph {
+    claims = new Map();
+    add(claim) {
+        if (!claim.id) {
+            throw new Error('Claim invalido: id requerido');
+        }
+        if (!Array.isArray(claim.dependencies)) {
+            throw new Error(`Claim '${claim.id}' invalida: dependencies debe ser un array`);
+        }
+        // Copia defensiva para que el caller no pueda mutar el grafo por referencia.
+        this.claims.set(claim.id, {
+            ...claim,
+            dependencies: [...claim.dependencies],
+        });
+    }
+    remove(claimId) {
+        return this.claims.delete(claimId);
+    }
+    get(claimId) {
+        const claim = this.claims.get(claimId);
+        if (!claim)
+            return undefined;
+        return { ...claim, dependencies: [...claim.dependencies] };
+    }
+    all() {
+        return Array.from(this.claims.values()).map((c) => ({
+            ...c,
+            dependencies: [...c.dependencies],
+        }));
+    }
+    /**
+     * Tarjan SCC. Devuelve sólo las componentes con ciclo (size > 1, o size 1
+     * con auto-loop). Un grafo acíclico devuelve [].
+     */
+    detectCycles() {
+        const ids = Array.from(this.claims.keys());
+        const indexOf = new Map();
+        const lowlink = new Map();
+        const onStack = new Set();
+        const stack = [];
+        const sccs = [];
+        let index = 0;
+        const strongconnect = (v) => {
+            indexOf.set(v, index);
+            lowlink.set(v, index);
+            index++;
+            stack.push(v);
+            onStack.add(v);
+            const claim = this.claims.get(v);
+            const deps = claim ? claim.dependencies : [];
+            for (const w of deps) {
+                if (!this.claims.has(w))
+                    continue; // dep faltante: no afecta SCC
+                const lowV = lowlink.get(v) ?? index;
+                if (!indexOf.has(w)) {
+                    strongconnect(w);
+                    const lowW = lowlink.get(w) ?? index;
+                    lowlink.set(v, Math.min(lowV, lowW));
+                }
+                else if (onStack.has(w)) {
+                    const idxW = indexOf.get(w) ?? index;
+                    lowlink.set(v, Math.min(lowV, idxW));
+                }
+            }
+            if (lowlink.get(v) === indexOf.get(v)) {
+                const component = [];
+                let popped;
+                do {
+                    popped = stack.pop();
+                    if (popped === undefined)
+                        break;
+                    onStack.delete(popped);
+                    component.push(popped);
+                } while (popped !== v);
+                const head = component[0];
+                const hasSelfLoop = component.length === 1 &&
+                    head !== undefined &&
+                    (this.claims.get(head)?.dependencies ?? []).includes(head);
+                if (component.length > 1 || hasSelfLoop) {
+                    // Orden estable: invertir para que el orden refleje el descubrimiento.
+                    sccs.push(component.reverse());
+                }
+            }
+        };
+        for (const v of ids) {
+            if (!indexOf.has(v))
+                strongconnect(v);
+        }
+        return sccs;
+    }
+    /**
+     * Orden topológico (Kahn) — claims sin dependencias primero, luego sus
+     * consumidores. Tira CycleError si hay ciclo.
+     *
+     * Las dependencias faltantes (referidas pero no en el grafo) se ignoran
+     * para el conteo de in-degree — son responsabilidad del evaluator.
+     */
+    topologicalOrder() {
+        const cycles = this.detectCycles();
+        if (cycles.length > 0)
+            throw new CycleError(cycles);
+        const inDegree = new Map();
+        const dependents = new Map(); // id -> claims que lo necesitan
+        for (const id of this.claims.keys()) {
+            inDegree.set(id, 0);
+            dependents.set(id, []);
+        }
+        for (const claim of this.claims.values()) {
+            for (const dep of claim.dependencies) {
+                if (!this.claims.has(dep))
+                    continue;
+                inDegree.set(claim.id, (inDegree.get(claim.id) ?? 0) + 1);
+                const depList = dependents.get(dep);
+                if (depList)
+                    depList.push(claim.id);
+            }
+        }
+        // Determinismo: ordenar la cola alfabéticamente para que el resultado
+        // sea estable entre runs.
+        const queue = [];
+        for (const [id, deg] of inDegree) {
+            if (deg === 0)
+                queue.push(id);
+        }
+        queue.sort();
+        const order = [];
+        while (queue.length > 0) {
+            const v = queue.shift();
+            if (v === undefined)
+                break;
+            order.push(v);
+            const consumers = [...(dependents.get(v) ?? [])].sort();
+            for (const c of consumers) {
+                const deg = (inDegree.get(c) ?? 0) - 1;
+                inDegree.set(c, deg);
+                if (deg === 0)
+                    queue.push(c);
+            }
+        }
+        // Defensa en profundidad: si detectCycles no detectó nada pero quedaron
+        // nodos sin emitir, eso indica ciclo no cubierto (no debería ocurrir).
+        if (order.length !== this.claims.size) {
+            throw new CycleError([Array.from(this.claims.keys()).filter((id) => !order.includes(id))]);
+        }
+        return order;
+    }
+    /**
+     * Valida todas las claims en orden topológico. Si una claim depende de
+     * otra ya marcada inválida, se marca inválida con invalidatedBy = lista
+     * de root claims inválidas en su árbol de dependencias.
+     *
+     * El evaluator sólo se invoca para claims cuyas dependencias son todas
+     * válidas (short-circuit por propagación).
+     */
+    async validateAll(evaluator) {
+        const order = this.topologicalOrder();
+        const results = new Map();
+        // invalidationRoots[claimId] = set de claims raíz inválidas que lo afectan.
+        const invalidationRoots = new Map();
+        for (const id of order) {
+            const claim = this.claims.get(id);
+            if (!claim)
+                continue;
+            const roots = new Set();
+            for (const dep of claim.dependencies) {
+                if (!this.claims.has(dep))
+                    continue;
+                const depRoots = invalidationRoots.get(dep);
+                if (depRoots && depRoots.size > 0) {
+                    for (const r of depRoots)
+                        roots.add(r);
+                }
+            }
+            if (roots.size > 0) {
+                const invalidatedBy = Array.from(roots).sort();
+                const validation = {
+                    claimId: id,
+                    valid: false,
+                    invalidatedBy,
+                    errors: [`invalidada por dependencias: ${invalidatedBy.join(', ')}`],
+                };
+                results.set(id, validation);
+                invalidationRoots.set(id, roots);
+                continue;
+            }
+            let evalResult;
+            try {
+                evalResult = await evaluator(claim);
+            }
+            catch (err) {
+                const message = err instanceof Error ? err.message : String(err);
+                evalResult = { valid: false, errors: [`evaluator threw: ${message}`] };
+            }
+            const validation = {
+                claimId: id,
+                valid: evalResult.valid,
+            };
+            if (evalResult.result !== undefined)
+                validation.result = evalResult.result;
+            if (evalResult.errors && evalResult.errors.length > 0)
+                validation.errors = evalResult.errors;
+            results.set(id, validation);
+            if (!evalResult.valid) {
+                invalidationRoots.set(id, new Set([id]));
+            }
+            else {
+                invalidationRoots.set(id, new Set());
+            }
+        }
+        return order.map((id) => results.get(id)).filter((r) => r !== undefined);
+    }
+    /**
+     * Todas las claims que dependen transitivamente de rootClaimId (sus
+     * descendientes en el DAG de dependencias). El propio root NO se
+     * incluye. Orden determinístico (BFS, alfabético dentro de cada nivel).
+     */
+    invalidationPath(rootClaimId) {
+        if (!this.claims.has(rootClaimId))
+            return [];
+        const reverseAdj = new Map();
+        for (const id of this.claims.keys())
+            reverseAdj.set(id, []);
+        for (const claim of this.claims.values()) {
+            for (const dep of claim.dependencies) {
+                if (!this.claims.has(dep))
+                    continue;
+                const list = reverseAdj.get(dep);
+                if (list)
+                    list.push(claim.id);
+            }
+        }
+        const visited = new Set();
+        const result = [];
+        const queue = [...(reverseAdj.get(rootClaimId) ?? [])].sort();
+        for (const id of queue)
+            visited.add(id);
+        while (queue.length > 0) {
+            const v = queue.shift();
+            if (v === undefined)
+                break;
+            result.push(v);
+            const next = [...(reverseAdj.get(v) ?? [])].sort();
+            for (const w of next) {
+                if (!visited.has(w)) {
+                    visited.add(w);
+                    queue.push(w);
+                }
+            }
+        }
+        return result;
+    }
+}
+exports.ClaimGraph = ClaimGraph;
+//# sourceMappingURL=claim-graph.js.map

package/dist/text-layer/v2/claim-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-graph.js","sourceRoot":"","sources":["../../../src/text-layer/v2/claim-graph.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAIH,MAAa,UAAW,SAAQ,KAAK;IAC1B,MAAM,CAAa;IAC5B,YAAY,MAAkB;QAC5B,KAAK,CACH,0CAA0C,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAC1F,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AATD,gCASC;AAED,MAAa,UAAU;IACJ,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IAEnD,GAAG,CAAC,KAAY;QACd,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAClD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,CAAC,EAAE,4CAA4C,CAAC,CAAC;QAClF,CAAC;QACD,6EAA6E;QAC7E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE;YACxB,GAAG,KAAK;YACR,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC;SACtC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,OAAe;QACpB,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,GAAG,CAAC,OAAe;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;IAC7D,CAAC;IAED,GAAG;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClD,GAAG,CAAC;YACJ,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC;SAClC,CAAC,CAAC,CAAC;IACN,CAAC;IAED;;;OAGG;IACH,YAAY;QACV,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAe,EAAE,CAAC;QAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,MAAM,aAAa,GAAG,CAAC,CAAS,EAAQ,EAAE;YACxC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACtB,KAAK,EAAE,CAAC;YACR,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAEf,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS,CAAC,8BAA8B;gBACjE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;gBACrC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpB,aAAa,CAAC,CAAC,CAAC,CAAC;oBACjB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;oBACrC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;gBACvC,CAAC;qBAAM,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC;oBACrC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;gBACvC,CAAC;YACH,CAAC;YAED,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtC,MAAM,SAAS,GAAa,EAAE,CAAC;gBAC/B,IAAI,MAA0B,CAAC;gBAC/B,GAAG,CAAC;oBACF,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;oBACrB,IAAI,MAAM,KAAK,SAAS;wBAAE,MAAM;oBAChC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;oBACvB,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACzB,CAAC,QAAQ,MAAM,KAAK,CAAC,EAAE;gBAEvB,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,WAAW,GACf,SAAS,CAAC,MAAM,KAAK,CAAC;oBACtB,IAAI,KAAK,SAAS;oBAClB,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAE7D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,EAAE,CAAC;oBACxC,uEAAuE;oBACvE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;gBACjC,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YACpB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,aAAa,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;OAMG;IACH,gBAAgB;QACd,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;QAEpD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC3C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC,CAAC,gCAAgC;QAEhF,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACpB,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACzB,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACpC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACpC,IAAI,OAAO;oBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,sEAAsE;QACtE,0BAA0B;QAC1B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACjC,IAAI,GAAG,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,CAAC,IAAI,EAAE,CAAC;QAEb,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM;YAC3B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACd,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACxD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;gBACvC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACrB,IAAI,GAAG,KAAK,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;QAED,wEAAwE;QACxE,uEAAuE;QACvE,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACtC,MAAM,IAAI,UAAU,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7F,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,WAAW,CAAC,SAAyB;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;QACnD,4EAA4E;QAC5E,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAuB,CAAC;QAEzD,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAEhC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACpC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5C,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;oBAClC,KAAK,MAAM,CAAC,IAAI,QAAQ;wBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC;YAED,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACnB,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC/C,MAAM,UAAU,GAAoB;oBAClC,OAAO,EAAE,EAAE;oBACX,KAAK,EAAE,KAAK;oBACZ,aAAa;oBACb,MAAM,EAAE,CAAC,gCAAgC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;iBACrE,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;gBAC5B,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACjC,SAAS;YACX,CAAC;YAED,IAAI,UAAkE,CAAC;YACvE,IAAI,CAAC;gBACH,UAAU,GAAG,MAAM,SAAS,CAAC,KAAK,CAAC,CAAC;YACtC,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,OAAO,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACjE,UAAU,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,oBAAoB,OAAO,EAAE,CAAC,EAAE,CAAC;YACzE,CAAC;YAED,MAAM,UAAU,GAAoB;gBAClC,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,UAAU,CAAC,KAAK;aACxB,CAAC;YACF,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS;gBAAE,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YAC3E,IAAI,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;YAE7F,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;YAE5B,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;gBACtB,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC;iBAAM,CAAC;gBACN,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACjG,CAAC;IAED;;;;OAIG;IACH,gBAAgB,CAAC,WAAmB;QAClC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,OAAO,EAAE,CAAC;QAE7C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC/C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE;YAAE,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;gBACrC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACpC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACjC,IAAI,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAa,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxE,KAAK,MAAM,EAAE,IAAI,KAAK;YAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAExC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM;YAC3B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACnD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACf,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAtQD,gCAsQC"}

package/dist/text-layer/v2/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * ST Text Layer 2.0 — entry point.
+ */
+export type { Claim, ClaimValidation, ClaimSource, ClaimEvaluator } from './types';
+export { ClaimGraph, CycleError } from './claim-graph';
+//# sourceMappingURL=index.d.ts.map

package/dist/text-layer/v2/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,YAAY,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC"}

package/dist/text-layer/v2/index.js

@@ -0,0 +1,10 @@
+"use strict";
+/**
+ * ST Text Layer 2.0 — entry point.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CycleError = exports.ClaimGraph = void 0;
+var claim_graph_1 = require("./claim-graph");
+Object.defineProperty(exports, "ClaimGraph", { enumerable: true, get: function () { return claim_graph_1.ClaimGraph; } });
+Object.defineProperty(exports, "CycleError", { enumerable: true, get: function () { return claim_graph_1.CycleError; } });
+//# sourceMappingURL=index.js.map

package/dist/text-layer/v2/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/text-layer/v2/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAGH,6CAAuD;AAA9C,yGAAA,UAAU,OAAA;AAAE,yGAAA,UAAU,OAAA"}

package/dist/text-layer/v2/types.d.ts

@@ -0,0 +1,32 @@
+/**
+ * ST Text Layer 2.0 — tipos del grafo de claims con dependencias.
+ *
+ * Una Claim es una afirmación formal con dependencias explícitas hacia
+ * otras claims. El grafo permite validación topológica e invalidación
+ * propagada: si una claim base falla, todas las claims que dependen
+ * transitivamente de ella se marcan inválidas.
+ */
+export interface ClaimSource {
+    docId: string;
+    offset: number;
+}
+export interface Claim {
+    id: string;
+    formula: string;
+    profile: string;
+    dependencies: string[];
+    source?: ClaimSource;
+}
+export interface ClaimValidation {
+    claimId: string;
+    valid: boolean;
+    result?: string;
+    errors?: string[];
+    invalidatedBy?: string[];
+}
+export type ClaimEvaluator = (claim: Claim) => Promise<{
+    valid: boolean;
+    result?: string;
+    errors?: string[];
+}>;
+//# sourceMappingURL=types.d.ts.map

package/dist/text-layer/v2/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/text-layer/v2/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,KAAK;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,MAAM,cAAc,GAAG,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC;IACrD,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC,CAAC"}

package/dist/text-layer/v2/types.js

@@ -0,0 +1,11 @@
+"use strict";
+/**
+ * ST Text Layer 2.0 — tipos del grafo de claims con dependencias.
+ *
+ * Una Claim es una afirmación formal con dependencias explícitas hacia
+ * otras claims. El grafo permite validación topológica e invalidación
+ * propagada: si una claim base falla, todas las claims que dependen
+ * transitivamente de ella se marcan inválidas.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/text-layer/v2/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/text-layer/v2/types.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG"}

package/dist/time-travel/index.d.ts

@@ -0,0 +1,4 @@
+export { captureSnapshot } from './snapshot';
+export { SnapshotStore } from './store';
+export type { STSnapshot, STSnapshotState, Declaration, EvaluatedFormula, Countermodel, SnapshotSummary, SnapshotDiff, } from './types';
+//# sourceMappingURL=index.d.ts.map

package/dist/time-travel/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/time-travel/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,YAAY,EACV,UAAU,EACV,eAAe,EACf,WAAW,EACX,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,YAAY,GACb,MAAM,SAAS,CAAC"}

package/dist/time-travel/index.js

@@ -0,0 +1,8 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SnapshotStore = exports.captureSnapshot = void 0;
+var snapshot_1 = require("./snapshot");
+Object.defineProperty(exports, "captureSnapshot", { enumerable: true, get: function () { return snapshot_1.captureSnapshot; } });
+var store_1 = require("./store");
+Object.defineProperty(exports, "SnapshotStore", { enumerable: true, get: function () { return store_1.SnapshotStore; } });
+//# sourceMappingURL=index.js.map

package/dist/time-travel/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/time-travel/index.ts"],"names":[],"mappings":";;;AAAA,uCAA6C;AAApC,2GAAA,eAAe,OAAA;AACxB,iCAAwC;AAA/B,sGAAA,aAAa,OAAA"}

package/dist/time-travel/snapshot.d.ts

@@ -0,0 +1,9 @@
+import { STSnapshot, STSnapshotState } from './types';
+interface CaptureOptions {
+    parentId?: string;
+    tags?: string[];
+    message?: string;
+}
+export declare function captureSnapshot(state: STSnapshotState, opts?: CaptureOptions): STSnapshot;
+export {};
+//# sourceMappingURL=snapshot.d.ts.map

package/dist/time-travel/snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../src/time-travel/snapshot.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAEtD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,eAAe,EAAE,IAAI,CAAC,EAAE,cAAc,GAAG,UAAU,CAkBzF"}

package/dist/time-travel/snapshot.js

@@ -0,0 +1,24 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.captureSnapshot = captureSnapshot;
+const crypto_1 = require("crypto");
+function captureSnapshot(state, opts) {
+    return {
+        id: (0, crypto_1.randomUUID)(),
+        version: '1.0',
+        createdAt: new Date().toISOString(),
+        parentId: opts?.parentId,
+        state: {
+            declarations: state.declarations.map((d) => ({ ...d })),
+            activeProfile: state.activeProfile,
+            evaluatedFormulas: state.evaluatedFormulas.map((e) => ({ ...e })),
+            countermodels: state.countermodels?.map((c) => ({
+                formula: c.formula,
+                assignments: { ...c.assignments },
+            })),
+        },
+        tags: opts?.tags,
+        message: opts?.message,
+    };
+}
+//# sourceMappingURL=snapshot.js.map

package/dist/time-travel/snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../src/time-travel/snapshot.ts"],"names":[],"mappings":";;AASA,0CAkBC;AA3BD,mCAAoC;AASpC,SAAgB,eAAe,CAAC,KAAsB,EAAE,IAAqB;IAC3E,OAAO;QACL,EAAE,EAAE,IAAA,mBAAU,GAAE;QAChB,OAAO,EAAE,KAAK;QACd,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,QAAQ,EAAE,IAAI,EAAE,QAAQ;QACxB,KAAK,EAAE;YACL,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACvD,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACjE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC9C,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,WAAW,EAAE,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE;aAClC,CAAC,CAAC;SACJ;QACD,IAAI,EAAE,IAAI,EAAE,IAAI;QAChB,OAAO,EAAE,IAAI,EAAE,OAAO;KACvB,CAAC;AACJ,CAAC"}

package/dist/time-travel/store.d.ts

@@ -0,0 +1,14 @@
+import { STSnapshot, SnapshotSummary, SnapshotDiff } from './types';
+export declare class SnapshotStore {
+    private readonly rootDir;
+    constructor(opts?: {
+        rootDir?: string;
+    });
+    private filePath;
+    save(snapshot: STSnapshot): Promise<void>;
+    load(id: string): Promise<STSnapshot | undefined>;
+    list(): Promise<SnapshotSummary[]>;
+    delete(id: string): Promise<void>;
+    diff(idA: string, idB: string): Promise<SnapshotDiff>;
+}
+//# sourceMappingURL=store.d.ts.map

package/dist/time-travel/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/time-travel/store.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,YAAY,EAAe,MAAM,SAAS,CAAC;AAMjF,qBAAa,aAAa;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;gBAErB,IAAI,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE;IAIvC,OAAO,CAAC,QAAQ;IAIV,IAAI,CAAC,QAAQ,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAKzC,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC;IASjD,IAAI,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;IAkClC,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAQjC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC;CAiD5D"}

package/dist/time-travel/store.js

@@ -0,0 +1,119 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SnapshotStore = void 0;
+const fs_1 = require("fs");
+const path_1 = __importDefault(require("path"));
+const os_1 = __importDefault(require("os"));
+function defaultRootDir() {
+    return path_1.default.join(os_1.default.homedir(), '.st-snapshots');
+}
+class SnapshotStore {
+    rootDir;
+    constructor(opts) {
+        this.rootDir = opts?.rootDir ?? defaultRootDir();
+    }
+    filePath(id) {
+        return path_1.default.join(this.rootDir, `${id}.json`);
+    }
+    async save(snapshot) {
+        await fs_1.promises.mkdir(this.rootDir, { recursive: true });
+        await fs_1.promises.writeFile(this.filePath(snapshot.id), JSON.stringify(snapshot, null, 2), 'utf8');
+    }
+    async load(id) {
+        try {
+            const raw = await fs_1.promises.readFile(this.filePath(id), 'utf8');
+            return JSON.parse(raw);
+        }
+        catch {
+            return undefined;
+        }
+    }
+    async list() {
+        let entries;
+        try {
+            entries = await fs_1.promises.readdir(this.rootDir);
+        }
+        catch {
+            return [];
+        }
+        const summaries = [];
+        for (const entry of entries) {
+            if (!entry.endsWith('.json'))
+                continue;
+            try {
+                const raw = await fs_1.promises.readFile(path_1.default.join(this.rootDir, entry), 'utf8');
+                const snap = JSON.parse(raw);
+                summaries.push({
+                    id: snap.id,
+                    createdAt: snap.createdAt,
+                    message: snap.message,
+                    tags: snap.tags,
+                });
+            }
+            catch {
+                // skip malformed files
+            }
+        }
+        summaries.sort((a, b) => {
+            const ta = new Date(a.createdAt).getTime();
+            const tb = new Date(b.createdAt).getTime();
+            return tb - ta;
+        });
+        return summaries;
+    }
+    async delete(id) {
+        try {
+            await fs_1.promises.unlink(this.filePath(id));
+        }
+        catch {
+            // no-op if file doesn't exist
+        }
+    }
+    async diff(idA, idB) {
+        const [snapA, snapB] = await Promise.all([this.load(idA), this.load(idB)]);
+        if (snapA === undefined)
+            throw new Error(`Snapshot not found: ${idA}`);
+        if (snapB === undefined)
+            throw new Error(`Snapshot not found: ${idB}`);
+        const declsA = snapA.state.declarations;
+        const declsB = snapB.state.declarations;
+        const keyOf = (d) => `${d.kind}::${d.name}`;
+        const mapA = new Map(declsA.map((d) => [keyOf(d), d]));
+        const mapB = new Map(declsB.map((d) => [keyOf(d), d]));
+        const addedDeclarations = [];
+        const removedDeclarations = [];
+        for (const [k, d] of mapB) {
+            if (!mapA.has(k))
+                addedDeclarations.push(d);
+        }
+        for (const [k, d] of mapA) {
+            if (!mapB.has(k))
+                removedDeclarations.push(d);
+        }
+        const formsByProfile = (snap) => {
+            const m = new Map();
+            for (const ef of snap.state.evaluatedFormulas) {
+                m.set(ef.formula, ef.profile);
+            }
+            return m;
+        };
+        const formsA = formsByProfile(snapA);
+        const formsB = formsByProfile(snapB);
+        const modifiedFormulas = [];
+        for (const [formula, profileB] of formsB) {
+            const profileA = formsA.get(formula);
+            if (profileA !== undefined && profileA !== profileB) {
+                modifiedFormulas.push({ formula, before: profileA, after: profileB });
+            }
+        }
+        const profileChanged = snapA.state.activeProfile !== snapB.state.activeProfile
+            ? { from: snapA.state.activeProfile, to: snapB.state.activeProfile }
+            : undefined;
+        return { addedDeclarations, removedDeclarations, modifiedFormulas, profileChanged };
+    }
+}
+exports.SnapshotStore = SnapshotStore;
+//# sourceMappingURL=store.js.map

package/dist/time-travel/store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/time-travel/store.ts"],"names":[],"mappings":";;;;;;AAAA,2BAAqC;AACrC,gDAAwB;AACxB,4CAAoB;AAGpB,SAAS,cAAc;IACrB,OAAO,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,OAAO,EAAE,EAAE,eAAe,CAAC,CAAC;AAClD,CAAC;AAED,MAAa,aAAa;IACP,OAAO,CAAS;IAEjC,YAAY,IAA2B;QACrC,IAAI,CAAC,OAAO,GAAG,IAAI,EAAE,OAAO,IAAI,cAAc,EAAE,CAAC;IACnD,CAAC;IAEO,QAAQ,CAAC,EAAU;QACzB,OAAO,cAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,QAAoB;QAC7B,MAAM,aAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,MAAM,aAAG,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC7F,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAU;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,aAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YAC1D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAe,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI;QACR,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,aAAG,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,SAAS,GAAsB,EAAE,CAAC;QACxC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,SAAS;YACvC,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,MAAM,aAAG,CAAC,QAAQ,CAAC,cAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;gBACvE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAe,CAAC;gBAC3C,SAAS,CAAC,IAAI,CAAC;oBACb,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,SAAS,EAAE,IAAI,CAAC,SAAS;oBACzB,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAChB,CAAC,CAAC;YACL,CAAC;YAAC,MAAM,CAAC;gBACP,uBAAuB;YACzB,CAAC;QACH,CAAC;QAED,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACtB,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;YAC3C,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;YAC3C,OAAO,EAAE,GAAG,EAAE,CAAC;QACjB,CAAC,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,EAAU;QACrB,IAAI,CAAC;YACH,MAAM,aAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,8BAA8B;QAChC,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAW,EAAE,GAAW;QACjC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAE3E,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,EAAE,CAAC,CAAC;QACvE,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,EAAE,CAAC,CAAC;QAEvE,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC;QACxC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC;QAExC,MAAM,KAAK,GAAG,CAAC,CAAc,EAAU,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACjE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAsB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAsB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE5E,MAAM,iBAAiB,GAAkB,EAAE,CAAC;QAC5C,MAAM,mBAAmB,GAAkB,EAAE,CAAC;QAE9C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;QAED,MAAM,cAAc,GAAG,CAAC,IAAgB,EAAuB,EAAE;YAC/D,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC;gBAC9C,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;YAChC,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QAEF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAErC,MAAM,gBAAgB,GAAqC,EAAE,CAAC;QAC9D,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACpD,gBAAgB,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QAED,MAAM,cAAc,GAClB,KAAK,CAAC,KAAK,CAAC,aAAa,KAAK,KAAK,CAAC,KAAK,CAAC,aAAa;YACrD,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,aAAa,EAAE;YACpE,CAAC,CAAC,SAAS,CAAC;QAEhB,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC;IACtF,CAAC;CACF;AApHD,sCAoHC"}

package/dist/time-travel/types.d.ts

@@ -0,0 +1,50 @@
+export interface Declaration {
+    kind: 'axiom' | 'theorem' | 'define';
+    name: string;
+    formula: string;
+}
+export interface EvaluatedFormula {
+    formula: string;
+    profile: string;
+    result: unknown;
+    ts: string;
+}
+export interface Countermodel {
+    formula: string;
+    assignments: Record<string, boolean | string>;
+}
+export interface STSnapshotState {
+    declarations: Declaration[];
+    activeProfile: string;
+    evaluatedFormulas: EvaluatedFormula[];
+    countermodels?: Countermodel[];
+}
+export interface STSnapshot {
+    id: string;
+    version: '1.0';
+    createdAt: string;
+    parentId?: string;
+    state: STSnapshotState;
+    tags?: string[];
+    message?: string;
+}
+export interface SnapshotSummary {
+    id: string;
+    createdAt: string;
+    message?: string;
+    tags?: string[];
+}
+export interface SnapshotDiff {
+    addedDeclarations: Declaration[];
+    removedDeclarations: Declaration[];
+    modifiedFormulas: Array<{
+        formula: string;
+        before: string;
+        after: string;
+    }>;
+    profileChanged?: {
+        from: string;
+        to: string;
+    };
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/time-travel/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/time-travel/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC;CAC/C;AAED,MAAM,WAAW,eAAe;IAC9B,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,aAAa,CAAC,EAAE,YAAY,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,KAAK,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,eAAe,CAAC;IACvB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,iBAAiB,EAAE,WAAW,EAAE,CAAC;IACjC,mBAAmB,EAAE,WAAW,EAAE,CAAC;IACnC,gBAAgB,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC5E,cAAc,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;CAC/C"}

package/dist/time-travel/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/time-travel/types.js.map

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