@saihm/shm 0.0.0-stage → 0.38.0

package/dist/derived/cycle.d.ts

@@ -0,0 +1,96 @@
+import type { BodyPair } from "../consolidate/body_redundancy.js";
+import type { TierPlan } from "../tiers/membership.js";
+import type { ThreadAccount } from "../assemble/thread.js";
+import type { Scope } from "../retrieval/scope.js";
+import type { MintedRecord } from "./ledger.js";
+import type { SaihmDerivedStore, CommitReceipt } from "./store.js";
+export interface ConsolidationProposal {
+    readonly id: string;
+    readonly kind: "merge" | "distill";
+    readonly sources: readonly string[];
+    readonly reason: string;
+    readonly namespace?: string;
+    readonly threads?: readonly string[];
+    readonly openMembers?: readonly string[];
+    readonly retire: boolean;
+}
+export interface PlanInput {
+    readonly pairs?: readonly BodyPair[];
+    readonly threads?: readonly {
+        readonly slug: string;
+        readonly account: ThreadAccount;
+    }[];
+    readonly derived: readonly MintedRecord[];
+    readonly retirements: ReadonlyMap<string, string>;
+}
+export interface PlanOptions {
+    readonly scope?: Scope;
+    readonly maxProposals?: number;
+    readonly minThreadMembers?: number;
+    readonly maxOpenMembers?: number;
+}
+export declare function planConsolidation(input: PlanInput, opts?: PlanOptions): ConsolidationProposal[];
+export interface Distilled {
+    readonly label: string;
+    readonly text: string;
+}
+export type Distiller = (proposal: ConsolidationProposal) => Promise<Distilled | undefined>;
+export type TierPassResult = TierPlan & {
+    readonly applied?: {
+        readonly promoted: number;
+        readonly evicted: number;
+        readonly failed: number;
+    };
+};
+export type TierPass = (nowEpoch: number, apply: boolean) => Promise<TierPassResult>;
+export type TierPassReport = {
+    readonly status: "not-configured";
+} | {
+    readonly status: "skipped";
+    readonly reason: string;
+} | {
+    readonly status: "ran";
+    readonly plan: TierPassResult;
+} | {
+    readonly status: "refused";
+    readonly reason: string;
+};
+export interface ConsolidationCycleOptions {
+    readonly tiers?: TierPass;
+}
+export interface RunOptions {
+    readonly nowEpoch: number;
+    readonly dryRun?: boolean;
+    readonly maxCommits?: number;
+    readonly retire?: boolean;
+    readonly plan?: PlanOptions;
+    readonly tiers?: boolean;
+}
+export interface RunReport {
+    readonly planned: readonly ConsolidationProposal[];
+    readonly committed: readonly {
+        readonly proposal: ConsolidationProposal;
+        readonly receipt: CommitReceipt;
+    }[];
+    readonly skipped: readonly {
+        readonly proposal: ConsolidationProposal;
+        readonly reason: string;
+    }[];
+    readonly dryRun: boolean;
+    readonly tiers: TierPassReport;
+}
+export declare class ConsolidationCycle {
+    private readonly store;
+    private readonly gather;
+    private readonly opts;
+    constructor(store: SaihmDerivedStore, gather: () => Promise<Omit<PlanInput, "derived" | "retirements">>, opts?: ConsolidationCycleOptions);
+    plan(opts?: PlanOptions): Promise<ConsolidationProposal[]>;
+    commit(proposal: ConsolidationProposal, distilled: Distilled, opts: {
+        nowEpoch: number;
+        retire?: boolean;
+    }): Promise<CommitReceipt>;
+    run(distill: Distiller, opts: RunOptions): Promise<RunReport>;
+    private tierPass;
+}
+export declare function renderRunReport(r: RunReport): string;
+//# sourceMappingURL=cycle.d.ts.map

package/dist/derived/cycle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle.d.ts","sourceRoot":"","sources":["../../src/derived/cycle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mCAAmC,CAAC;AAClE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGnE,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;KAAE,EAAE,CAAC;IACzF,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnD;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAgCD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,GAAE,WAAgB,GAAG,qBAAqB,EAAE,CAuDnG;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,MAAM,MAAM,SAAS,GAAG,CAAC,QAAQ,EAAE,qBAAqB,KAAK,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC;AAE5F,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAAC;AAChJ,MAAM,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;AACrF,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAA;CAAE,GACrC;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5D,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;CAC3B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACnD,QAAQ,CAAC,SAAS,EAAE,SAAS;QAAE,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;KAAE,EAAE,CAAC;IAC7G,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;CAChC;AAED,qBAAa,kBAAkB;IAE3B,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,IAAI;gBAFJ,KAAK,EAAE,iBAAiB,EACxB,MAAM,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,GAAG,aAAa,CAAC,CAAC,EACjE,IAAI,GAAE,yBAA8B;IAGjD,IAAI,CAAC,IAAI,GAAE,WAAgB,GAAG,OAAO,CAAC,qBAAqB,EAAE,CAAC;IAM9D,MAAM,CAAC,QAAQ,EAAE,qBAAqB,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,aAAa,CAAC;IAanI,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC;YA8BrD,QAAQ;CAUvB;AAED,wBAAgB,eAAe,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAgBpD"}

package/dist/derived/cycle.js

@@ -0,0 +1,199 @@
+import { admitsSafely } from "../retrieval/scope.js";
+function proposalId(kind, sources) {
+    return `${kind}:${[...sources].sort().join("+").slice(0, 200)}`;
+}
+function clustersOf(pairs) {
+    const parent = new Map();
+    const ns = new Map();
+    const find = (x) => {
+        let r = parent.get(x) ?? x;
+        while (r !== (parent.get(r) ?? r))
+            r = parent.get(r) ?? r;
+        let cur = x;
+        while (cur !== r) {
+            const nx = parent.get(cur) ?? cur;
+            parent.set(cur, r);
+            cur = nx;
+        }
+        return r;
+    };
+    for (const p of pairs) {
+        parent.set(p.a, parent.get(p.a) ?? p.a);
+        parent.set(p.b, parent.get(p.b) ?? p.b);
+        ns.set(p.a, p.namespace);
+        ns.set(p.b, p.namespace);
+        const ra = find(p.a), rb = find(p.b);
+        if (ra !== rb)
+            parent.set(ra, rb);
+    }
+    const groups = new Map();
+    for (const id of [...parent.keys()].sort()) {
+        const r = find(id);
+        const g = groups.get(r);
+        if (g)
+            g.push(id);
+        else
+            groups.set(r, [id]);
+    }
+    return [...groups.values()].filter((m) => m.length >= 2).map((m) => ({ namespace: ns.get(m[0]) ?? "unknown", members: m.sort() }));
+}
+export function planConsolidation(input, opts = {}) {
+    const max = Number.isFinite(opts.maxProposals) && opts.maxProposals >= 1 ? Math.floor(opts.maxProposals) : 20;
+    const minMembers = Number.isFinite(opts.minThreadMembers) && opts.minThreadMembers >= 2 ? Math.floor(opts.minThreadMembers) : 2;
+    const maxOpenMembers = Number.isFinite(opts.maxOpenMembers) && opts.maxOpenMembers >= 0 ? Math.floor(opts.maxOpenMembers) : 0;
+    const scope = opts.scope;
+    const admitted = (ids) => ids.every((id) => admitsSafely(scope, id));
+    const covered = new Set();
+    for (const r of input.derived) {
+        if (r.forgotten !== undefined)
+            continue;
+        covered.add([...r.sources.map((s) => s.cellId)].sort().join("+"));
+    }
+    const retired = (ids) => ids.some((id) => input.retirements.has(id));
+    const out = [];
+    const seen = new Set();
+    const push = (p) => {
+        if (seen.has(p.id) || out.length >= max)
+            return;
+        seen.add(p.id);
+        out.push(p);
+    };
+    for (const c of clustersOf(input.pairs ?? [])) {
+        const key = c.members.join("+");
+        if (covered.has(key) || retired(c.members) || !admitted(c.members))
+            continue;
+        push({
+            id: proposalId("merge", c.members),
+            kind: "merge",
+            sources: c.members,
+            namespace: c.namespace,
+            reason: `${c.members.length} cells share body text (shingle jaccard/containment above threshold) in namespace ${c.namespace}`,
+            retire: true,
+        });
+    }
+    for (const t of input.threads ?? []) {
+        const a = t.account;
+        if (a.verdict !== "assembled" || a.status !== "closed" || a.members.length < minMembers)
+            continue;
+        const raw = a.members.filter((m) => m.derived === undefined);
+        const members = raw.map((m) => m.cellId).sort();
+        if (members.length < minMembers)
+            continue;
+        const key = members.join("+");
+        if (covered.has(key) || retired(members) || !admitted(members))
+            continue;
+        const openMembers = raw.filter((m) => m.stamp.status === "open").map((m) => m.cellId).sort();
+        if (openMembers.length > maxOpenMembers)
+            continue;
+        push({
+            id: proposalId("distill", members),
+            kind: "distill",
+            sources: members,
+            threads: [t.slug],
+            ...(openMembers.length > 0 ? { openMembers } : {}),
+            reason: `thread ${t.slug} is closed with ${members.length} raw members and no distillation` +
+                (openMembers.length > 0 ? `; ${openMembers.length} member(s) still stamped open — carry them as open` : ""),
+            retire: false,
+        });
+    }
+    return out;
+}
+export class ConsolidationCycle {
+    store;
+    gather;
+    opts;
+    constructor(store, gather, opts = {}) {
+        this.store = store;
+        this.gather = gather;
+        this.opts = opts;
+    }
+    async plan(opts = {}) {
+        const evidence = await this.gather();
+        const derived = await this.store.list();
+        return planConsolidation({ ...evidence, derived, retirements: this.store.retirements() }, opts);
+    }
+    async commit(proposal, distilled, opts) {
+        const kind = proposal.kind === "merge" ? "merged" : "distilled";
+        return this.store.commit({
+            kind,
+            label: distilled.label,
+            text: distilled.text,
+            sources: proposal.sources,
+            nowEpoch: opts.nowEpoch,
+            retire: opts.retire ?? proposal.retire,
+            ...(proposal.threads !== undefined ? { threads: proposal.threads } : {}),
+        });
+    }
+    async run(distill, opts) {
+        const planned = await this.plan(opts.plan);
+        const max = Number.isFinite(opts.maxCommits) && opts.maxCommits >= 0 ? Math.floor(opts.maxCommits) : 5;
+        const committed = [];
+        const skipped = [];
+        for (const p of planned) {
+            if (opts.dryRun === true) {
+                skipped.push({ proposal: p, reason: "dry run" });
+                continue;
+            }
+            if (committed.length >= max) {
+                skipped.push({ proposal: p, reason: `maxCommits ${max} reached` });
+                continue;
+            }
+            let d;
+            try {
+                d = await distill(p);
+            }
+            catch (e) {
+                skipped.push({ proposal: p, reason: `distiller threw: ${e.message}` });
+                continue;
+            }
+            if (d === undefined || typeof d.text !== "string" || d.text.trim() === "" || typeof d.label !== "string" || d.label.trim() === "") {
+                skipped.push({ proposal: p, reason: "distiller returned no text — nothing is committed without content" });
+                continue;
+            }
+            try {
+                const receipt = await this.commit(p, d, { nowEpoch: opts.nowEpoch, ...(opts.retire !== undefined ? { retire: opts.retire } : {}) });
+                committed.push({ proposal: p, receipt });
+            }
+            catch (e) {
+                skipped.push({ proposal: p, reason: `commit refused: ${e.message}` });
+            }
+        }
+        const tiers = await this.tierPass(opts);
+        return { planned, committed, skipped, dryRun: opts.dryRun === true, tiers };
+    }
+    async tierPass(opts) {
+        const pass = this.opts.tiers;
+        if (pass === undefined)
+            return { status: "not-configured" };
+        if (opts.tiers === false)
+            return { status: "skipped", reason: "tiers: false for this run" };
+        try {
+            return { status: "ran", plan: await pass(opts.nowEpoch, opts.dryRun !== true) };
+        }
+        catch (e) {
+            return { status: "refused", reason: e.message };
+        }
+    }
+}
+export function renderRunReport(r) {
+    const lines = [`CONSOLIDATION ${r.dryRun ? "DRY RUN" : "RUN"} — ${r.planned.length} planned · ${r.committed.length} committed · ${r.skipped.length} skipped`];
+    for (const c of r.committed)
+        lines.push(`  ✓ ${c.proposal.kind} ${c.proposal.sources.length} sources → ${c.receipt.cellId.slice(0, 12)}…${c.receipt.item.retires ? " (sources retired)" : ""}`);
+    for (const s of r.skipped)
+        lines.push(`  · ${s.proposal.kind} ${s.proposal.sources.length} sources — ${s.reason}`);
+    const t = r.tiers;
+    if (t.status === "ran") {
+        const p = t.plan;
+        lines.push(`  tiers ${p.applied === undefined ? "planned" : "applied"} @${p.nowEpoch}h — target hot ${p.byTier.hot} · warm ${p.byTier.warm} · cold ${p.byTier.cold} · ${p.promotions.length} promotion(s) · ${p.evictions.length} eviction(s)` +
+            (p.applied === undefined ? "" : ` · applied ${p.applied.promoted} promoted / ${p.applied.evicted} evicted / ${p.applied.failed} failed`) +
+            (p.accessesObserved ? "" : " · accesses UNOBSERVED"));
+    }
+    else if (t.status === "refused")
+        lines.push(`  tiers REFUSED — ${t.reason}`);
+    else if (t.status === "skipped")
+        lines.push(`  tiers skipped — ${t.reason}`);
+    else
+        lines.push("  tiers not configured");
+    return lines.join("\n");
+}
+//# sourceMappingURL=cycle.js.map

package/dist/derived/cycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle.js","sourceRoot":"","sources":["../../src/derived/cycle.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AA8BrD,SAAS,UAAU,CAAC,IAAY,EAAE,OAA0B;IAC1D,OAAO,GAAG,IAAI,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,UAAU,CAAC,KAA0B;IAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,EAAE,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE;QACjC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,OAAO,GAAG,KAAK,CAAC,EAAE,CAAC;YAAC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAAC,GAAG,GAAG,EAAE,CAAC;QAAC,CAAC;QACtF,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,EAAE,KAAK,EAAE;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC;YAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;YAAM,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AACtI,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAgB,EAAE,OAAoB,EAAE;IACxE,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,IAAK,IAAI,CAAC,YAAuB,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAsB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpI,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAK,IAAI,CAAC,gBAA2B,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,gBAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtJ,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,IAAK,IAAI,CAAC,cAAyB,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,cAAwB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpJ,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,MAAM,QAAQ,GAAG,CAAC,GAAsB,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;IACxF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS;QACxC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAsB,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACxF,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,CAAwB,EAAE,EAAE;QACxC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG;YAAE,OAAO;QAChD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACf,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,SAAS;QAC7E,IAAI,CAAC;YACH,EAAE,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;YAClC,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,qFAAqF,CAAC,CAAC,SAAS,EAAE;YAC7H,MAAM,EAAE,IAAI;SACb,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;QACpB,IAAI,CAAC,CAAC,OAAO,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,UAAU;YAAE,SAAS;QAClG,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,OAAO,CAAC,MAAM,GAAG,UAAU;YAAE,SAAS;QAC1C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QACzE,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7F,IAAI,WAAW,CAAC,MAAM,GAAG,cAAc;YAAE,SAAS;QAClD,IAAI,CAAC;YACH,EAAE,EAAE,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC;YAClC,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,OAAO;YAChB,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACjB,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,EACJ,UAAU,CAAC,CAAC,IAAI,mBAAmB,OAAO,CAAC,MAAM,kCAAkC;gBACnF,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,MAAM,oDAAoD,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7G,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAqCD,MAAM,OAAO,kBAAkB;IAEV;IACA;IACA;IAHnB,YACmB,KAAwB,EACxB,MAAiE,EACjE,OAAkC,EAAE;QAFpC,UAAK,GAAL,KAAK,CAAmB;QACxB,WAAM,GAAN,MAAM,CAA2D;QACjE,SAAI,GAAJ,IAAI,CAAgC;IACpD,CAAC;IAEJ,KAAK,CAAC,IAAI,CAAC,OAAoB,EAAE;QAC/B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACxC,OAAO,iBAAiB,CAAC,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IAClG,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,QAA+B,EAAE,SAAoB,EAAE,IAA4C;QAC9G,MAAM,IAAI,GAAgB,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC;QAC7E,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;YACvB,IAAI;YACJ,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM;YACtC,GAAG,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,OAAkB,EAAE,IAAgB;QAC5C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAK,IAAI,CAAC,UAAqB,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7H,MAAM,SAAS,GAAkE,EAAE,CAAC;QACpF,MAAM,OAAO,GAA0D,EAAE,CAAC;QAC1E,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACzF,IAAI,SAAS,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,cAAc,GAAG,UAAU,EAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC9G,IAAI,CAAwB,CAAC;YAC7B,IAAI,CAAC;gBACH,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC;YACvB,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,oBAAqB,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAClF,SAAS;YACX,CAAC;YACD,IAAI,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAClI,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,mEAAmE,EAAE,CAAC,CAAC;gBAC3G,SAAS;YACX,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACpI,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;YAC3C,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,mBAAoB,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,KAAK,EAAE,CAAC;IAC9E,CAAC;IAEO,KAAK,CAAC,QAAQ,CAAC,IAAgB;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QAC7B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QAC5D,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK;YAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;QAC5F,IAAI,CAAC;YACH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC;QAClF,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC;QAC7D,CAAC;IACH,CAAC;CACF;AAED,MAAM,UAAU,eAAe,CAAC,CAAY;IAC1C,MAAM,KAAK,GAAG,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,cAAc,CAAC,CAAC,SAAS,CAAC,MAAM,gBAAgB,CAAC,CAAC,OAAO,CAAC,MAAM,UAAU,CAAC,CAAC;IAC9J,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,cAAc,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChM,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,cAAc,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACnH,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QACjB,KAAK,CAAC,IAAI,CACR,WAAW,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,QAAQ,kBAAkB,CAAC,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,UAAU,CAAC,MAAM,mBAAmB,CAAC,CAAC,SAAS,CAAC,MAAM,cAAc;YACjO,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,QAAQ,eAAe,CAAC,CAAC,OAAO,CAAC,OAAO,cAAc,CAAC,CAAC,OAAO,CAAC,MAAM,SAAS,CAAC;YACxI,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,CACvD,CAAC;IACJ,CAAC;SAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;SAC1E,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;;QACxE,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/derived/index.d.ts

@@ -0,0 +1,7 @@
+export { encodeDerivedCell, parseDerivedCell, isDerivedLabel, labelOfDerived, validateHeader, DERIVED_MARKER, DERIVED_LABEL_MAX, DERIVED_MAX_SOURCES, type DerivedItem, type DerivedHeader, type DerivedKind, type DerivedOwnership, } from "./codec.js";
+export { InMemoryMintedLedger, FileMintedLedger, type MintedLedger, type MintedRecord, type DestructionAttestation } from "./ledger.js";
+export { SaihmDerivedStore, type SaihmDerivedStoreOptions, type CommitInput, type CommitReceipt, type CascadeReport, type AttestationRetryReport } from "./store.js";
+export { HeaderLineageIndex } from "./lineage_index.js";
+export { planConsolidation, ConsolidationCycle, renderRunReport, type ConsolidationProposal, type PlanInput, type PlanOptions, type Distilled, type Distiller, type RunOptions, type RunReport, type ConsolidationCycleOptions, type TierPass, type TierPassResult, type TierPassReport, } from "./cycle.js";
+export { writeCheckpoint, latestCheckpoint, readCheckpoint, encodeCheckpointText, parseCheckpointText, CHECKPOINT_MARKER, type CheckpointState, type WriteCheckpointInput } from "./checkpoint.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/derived/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/derived/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EAAE,gBAAgB,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EACnF,cAAc,EAAE,iBAAiB,EAAE,mBAAmB,EACtD,KAAK,WAAW,EAAE,KAAK,aAAa,EAAE,KAAK,WAAW,EAAE,KAAK,gBAAgB,GAC9E,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,KAAK,YAAY,EAAE,KAAK,YAAY,EAAE,KAAK,sBAAsB,EAAE,MAAM,aAAa,CAAC;AACxI,OAAO,EAAE,iBAAiB,EAAE,KAAK,wBAAwB,EAAE,KAAK,WAAW,EAAE,KAAK,aAAa,EAAE,KAAK,aAAa,EAAE,KAAK,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACrK,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EACL,iBAAiB,EAAE,kBAAkB,EAAE,eAAe,EACtD,KAAK,qBAAqB,EAAE,KAAK,SAAS,EAAE,KAAK,WAAW,EAAE,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,KAAK,SAAS,EAC7H,KAAK,yBAAyB,EAAE,KAAK,QAAQ,EAAE,KAAK,cAAc,EAAE,KAAK,cAAc,GACxF,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,cAAc,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,KAAK,eAAe,EAAE,KAAK,oBAAoB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/derived/index.js

@@ -0,0 +1,7 @@
+export { encodeDerivedCell, parseDerivedCell, isDerivedLabel, labelOfDerived, validateHeader, DERIVED_MARKER, DERIVED_LABEL_MAX, DERIVED_MAX_SOURCES, } from "./codec.js";
+export { InMemoryMintedLedger, FileMintedLedger } from "./ledger.js";
+export { SaihmDerivedStore } from "./store.js";
+export { HeaderLineageIndex } from "./lineage_index.js";
+export { planConsolidation, ConsolidationCycle, renderRunReport, } from "./cycle.js";
+export { writeCheckpoint, latestCheckpoint, readCheckpoint, encodeCheckpointText, parseCheckpointText, CHECKPOINT_MARKER } from "./checkpoint.js";
+//# sourceMappingURL=index.js.map

package/dist/derived/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/derived/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,EAAE,gBAAgB,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EACnF,cAAc,EAAE,iBAAiB,EAAE,mBAAmB,GAEvD,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAqE,MAAM,aAAa,CAAC;AACxI,OAAO,EAAE,iBAAiB,EAAwH,MAAM,YAAY,CAAC;AACrK,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EACL,iBAAiB,EAAE,kBAAkB,EAAE,eAAe,GAGvD,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,cAAc,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,iBAAiB,EAAmD,MAAM,iBAAiB,CAAC"}

package/dist/derived/ledger.d.ts

@@ -0,0 +1,54 @@
+import type { EvidenceRef } from "../standing/standing_answers.js";
+import type { DerivedKind, DerivedOwnership } from "./codec.js";
+export interface MintedRecord {
+    readonly cellId: string;
+    readonly kind: DerivedKind;
+    readonly sources: readonly EvidenceRef[];
+    readonly derivedAtEpoch: number;
+    readonly ownership: DerivedOwnership;
+    readonly forgotten?: {
+        readonly atEpoch: number;
+        readonly because: string;
+    };
+    readonly shareError?: string;
+    readonly retires?: readonly string[];
+    readonly threads?: readonly string[];
+    readonly attestation?: DestructionAttestation;
+}
+export interface DestructionAttestation {
+    readonly state: "pending" | "attested" | "not-found";
+    readonly tries: number;
+}
+export interface MintedLedger {
+    add(rec: MintedRecord): Promise<void>;
+    get(cellId: string): Promise<MintedRecord | undefined>;
+    all(): Promise<readonly MintedRecord[]>;
+    citing(sourceCellId: string): Promise<readonly MintedRecord[]>;
+    markForgotten(cellId: string, atEpoch: number, because: string, attestation?: DestructionAttestation): Promise<void>;
+    setAttestation(cellId: string, attestation: DestructionAttestation): Promise<void>;
+    setShareError(cellId: string, error: string | undefined): Promise<void>;
+    lineageOf(cellId: string): readonly string[] | undefined;
+    retirements(): ReadonlyMap<string, string>;
+}
+export declare class InMemoryMintedLedger implements MintedLedger {
+    protected readonly records: Map<string, MintedRecord>;
+    protected readonly order: string[];
+    add(rec: MintedRecord): Promise<void>;
+    get(cellId: string): Promise<MintedRecord | undefined>;
+    all(): Promise<readonly MintedRecord[]>;
+    citing(sourceCellId: string): Promise<readonly MintedRecord[]>;
+    markForgotten(cellId: string, atEpoch: number, because: string, attestation?: DestructionAttestation): Promise<void>;
+    setAttestation(cellId: string, attestation: DestructionAttestation): Promise<void>;
+    setShareError(cellId: string, error: string | undefined): Promise<void>;
+    lineageOf(cellId: string): readonly string[] | undefined;
+    retirements(): ReadonlyMap<string, string>;
+    protected persist(): Promise<void>;
+}
+export declare class FileMintedLedger extends InMemoryMintedLedger {
+    private readonly path;
+    private loaded;
+    constructor(path: string);
+    load(): Promise<void>;
+    protected persist(): Promise<void>;
+}
+//# sourceMappingURL=ledger.d.ts.map

package/dist/derived/ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../../src/derived/ledger.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEhE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,sBAAsB,CAAC;CAC/C;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,UAAU,GAAG,WAAW,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC,CAAC;IACvD,GAAG,IAAI,OAAO,CAAC,SAAS,YAAY,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,YAAY,EAAE,CAAC,CAAC;IAC/D,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACrH,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACnF,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxE,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IACzD,WAAW,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC5C;AAED,qBAAa,oBAAqB,YAAW,YAAY;IACvD,SAAS,CAAC,QAAQ,CAAC,OAAO,4BAAmC;IAC7D,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,CAAM;IAElC,GAAG,CAAC,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IAMrC,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC;IAGtD,GAAG,IAAI,OAAO,CAAC,SAAS,YAAY,EAAE,CAAC;IAGvC,MAAM,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,YAAY,EAAE,CAAC;IAG9D,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC;IAQpH,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC;IAQlF,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IAO7E,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS;IAIxD,WAAW,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;cAS1B,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CACzC;AAED,qBAAa,gBAAiB,SAAQ,oBAAoB;IAE5C,OAAO,CAAC,QAAQ,CAAC,IAAI;IADjC,OAAO,CAAC,MAAM,CAAS;gBACM,IAAI,EAAE,MAAM;IAKnC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;cAuBF,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAIlD"}

package/dist/derived/ledger.js

@@ -0,0 +1,123 @@
+import { readFile } from "node:fs/promises";
+import { writeFileAtomic } from "../store/atomic_write.js";
+import { assertStateDir, ensureStateDir } from "../store/state_dir.js";
+import { dirname } from "node:path";
+export class InMemoryMintedLedger {
+    records = new Map();
+    order = [];
+    async add(rec) {
+        if (this.records.has(rec.cellId))
+            throw new Error(`minted ledger: ${rec.cellId.slice(0, 12)}… is already recorded — a mint is recorded once`);
+        this.records.set(rec.cellId, rec);
+        this.order.push(rec.cellId);
+        await this.persist();
+    }
+    async get(cellId) {
+        return this.records.get(cellId);
+    }
+    async all() {
+        return this.order.map((id) => this.records.get(id));
+    }
+    async citing(sourceCellId) {
+        return (await this.all()).filter((r) => r.forgotten === undefined && r.sources.some((s) => s.cellId === sourceCellId));
+    }
+    async markForgotten(cellId, atEpoch, because, attestation) {
+        const r = this.records.get(cellId);
+        if (r === undefined)
+            throw new Error(`minted ledger: cannot mark unknown ${cellId.slice(0, 12)}… forgotten`);
+        if (r.forgotten !== undefined)
+            return;
+        if (attestation !== undefined)
+            checkAttestation(attestation);
+        this.records.set(cellId, { ...r, forgotten: { atEpoch, because }, ...(attestation !== undefined ? { attestation } : {}) });
+        await this.persist();
+    }
+    async setAttestation(cellId, attestation) {
+        const r = this.records.get(cellId);
+        if (r === undefined)
+            throw new Error(`minted ledger: unknown ${cellId.slice(0, 12)}…`);
+        if (r.forgotten === undefined)
+            throw new Error(`minted ledger: ${cellId.slice(0, 12)}… is not forgotten — an attestation follows a forget`);
+        checkAttestation(attestation);
+        this.records.set(cellId, { ...r, attestation });
+        await this.persist();
+    }
+    async setShareError(cellId, error) {
+        const r = this.records.get(cellId);
+        if (r === undefined)
+            throw new Error(`minted ledger: unknown ${cellId.slice(0, 12)}…`);
+        const { shareError: _drop, ...rest } = r;
+        this.records.set(cellId, error === undefined ? rest : { ...rest, shareError: error });
+        await this.persist();
+    }
+    lineageOf(cellId) {
+        const r = this.records.get(cellId);
+        return r === undefined ? undefined : r.sources.map((s) => s.cellId);
+    }
+    retirements() {
+        const out = new Map();
+        for (const id of this.order) {
+            const r = this.records.get(id);
+            if (r.forgotten !== undefined || r.retires === undefined)
+                continue;
+            for (const src of r.retires)
+                out.set(src, r.cellId);
+        }
+        return out;
+    }
+    async persist() { }
+}
+export class FileMintedLedger extends InMemoryMintedLedger {
+    path;
+    loaded = false;
+    constructor(path) {
+        super();
+        this.path = path;
+        assertStateDir("FileMintedLedger", dirname(path));
+    }
+    async load() {
+        if (this.loaded)
+            return;
+        assertStateDir("FileMintedLedger", dirname(this.path));
+        let raw;
+        try {
+            raw = await readFile(this.path, "utf8");
+        }
+        catch (e) {
+            if (e.code === "ENOENT") {
+                this.loaded = true;
+                return;
+            }
+            throw e;
+        }
+        const parsed = JSON.parse(raw);
+        if (typeof parsed !== "object" || parsed === null || !Array.isArray(parsed.records)) {
+            throw new Error(`minted ledger: ${this.path} is not a ledger file — refusing to start clean over a record that has no other source`);
+        }
+        for (const r of parsed.records) {
+            if (typeof r?.cellId !== "string" || !Array.isArray(r.sources))
+                throw new Error(`minted ledger: malformed record in ${this.path}`);
+            if (r.attestation !== undefined && (r.forgotten === undefined || !isAttestation(r.attestation)))
+                throw new Error(`minted ledger: malformed attestation in ${this.path}`);
+            this.records.set(r.cellId, r);
+            this.order.push(r.cellId);
+        }
+        this.loaded = true;
+    }
+    async persist() {
+        await ensureStateDir("FileMintedLedger", dirname(this.path));
+        await writeFileAtomic(this.path, JSON.stringify({ version: 1, records: await this.all() }));
+    }
+}
+const STATES = new Set(["pending", "attested", "not-found"]);
+function isAttestation(a) {
+    if (typeof a !== "object" || a === null)
+        return false;
+    const { state, tries } = a;
+    return typeof state === "string" && STATES.has(state) && Number.isSafeInteger(tries) && tries >= 1;
+}
+function checkAttestation(a) {
+    if (!isAttestation(a))
+        throw new Error("minted ledger: an attestation is a known state and a whole number of tries from 1");
+}
+//# sourceMappingURL=ledger.js.map

package/dist/derived/ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../src/derived/ledger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAkCpC,MAAM,OAAO,oBAAoB;IACZ,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC1C,KAAK,GAAa,EAAE,CAAC;IAExC,KAAK,CAAC,GAAG,CAAC,GAAiB;QACzB,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,iDAAiD,CAAC,CAAC;QAC9I,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5B,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;IACvB,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,MAAc;QACtB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IACD,KAAK,CAAC,GAAG;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,YAAoB;QAC/B,OAAO,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC;IACzH,CAAC;IACD,KAAK,CAAC,aAAa,CAAC,MAAc,EAAE,OAAe,EAAE,OAAe,EAAE,WAAoC;QACxG,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC;QAC7G,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,OAAO;QACtC,IAAI,WAAW,KAAK,SAAS;YAAE,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAC7D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3H,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;IACvB,CAAC;IACD,KAAK,CAAC,cAAc,CAAC,MAAc,EAAE,WAAmC;QACtE,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QACvF,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,sDAAsD,CAAC,CAAC;QAC5I,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;QAChD,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;IACvB,CAAC;IACD,KAAK,CAAC,aAAa,CAAC,MAAc,EAAE,KAAyB;QAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QACvF,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QACtF,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;IACvB,CAAC;IACD,SAAS,CAAC,MAAc;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACtE,CAAC;IACD,WAAW;QACT,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;QACtC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;YAChC,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,SAAS;YACnE,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,OAAO;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QACtD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACS,KAAK,CAAC,OAAO,KAAmB,CAAC;CAC5C;AAED,MAAM,OAAO,gBAAiB,SAAQ,oBAAoB;IAE3B;IADrB,MAAM,GAAG,KAAK,CAAC;IACvB,YAA6B,IAAY;QACvC,KAAK,EAAE,CAAC;QADmB,SAAI,GAAJ,IAAI,CAAQ;QAEvC,cAAc,CAAC,kBAAkB,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,cAAc,CAAC,kBAAkB,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,IAAI,GAAuB,CAAC;QAC5B,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAK,CAA2B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;gBAAC,OAAO;YAAC,CAAC;YACnF,MAAM,CAAC,CAAC;QACV,CAAC;QACD,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAE,MAAgC,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/G,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,CAAC,IAAI,wFAAwF,CAAC,CAAC;QACvI,CAAC;QACD,KAAK,MAAM,CAAC,IAAK,MAAsC,CAAC,OAAO,EAAE,CAAC;YAChE,IAAI,OAAO,CAAC,EAAE,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACnI,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACzK,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IACrB,CAAC;IAEkB,KAAK,CAAC,OAAO;QAC9B,MAAM,cAAc,CAAC,kBAAkB,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7D,MAAM,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9F,CAAC;CACF;AAED,MAAM,MAAM,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;AAElF,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAA4B,CAAC;IACtD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,IAAI,CAAC,CAAC;AACjH,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAyB;IACjD,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mFAAmF,CAAC,CAAC;AAC9H,CAAC"}

package/dist/derived/lineage_index.d.ts

@@ -0,0 +1,17 @@
+import type { BodySource } from "../answer/types.js";
+export declare class HeaderLineageIndex {
+    private readonly bodies;
+    private readonly sources;
+    private refreshes;
+    private unreadable;
+    constructor(bodies: BodySource);
+    get stats(): {
+        readonly refreshes: number;
+        readonly unreadable: number;
+        readonly known: number;
+    };
+    refresh(cellIds: readonly string[]): Promise<void>;
+    readonly lineageOf: (cellId: string) => readonly string[] | undefined;
+    readonly forget: (cellId: string) => void;
+}
+//# sourceMappingURL=lineage_index.d.ts.map

package/dist/derived/lineage_index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lineage_index.d.ts","sourceRoot":"","sources":["../../src/derived/lineage_index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGrD,qBAAa,kBAAkB;IAKjB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAJnC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoD;IAC5E,OAAO,CAAC,SAAS,CAAK;IACtB,OAAO,CAAC,UAAU,CAAK;gBAEM,MAAM,EAAE,UAAU;IAE/C,IAAI,KAAK,IAAI;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAI/F;IAEK,OAAO,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IA2BxD,QAAQ,CAAC,SAAS,GAAI,QAAQ,MAAM,KAAG,SAAS,MAAM,EAAE,GAAG,SAAS,CAA6B;IAEjG,QAAQ,CAAC,MAAM,GAAI,QAAQ,MAAM,KAAG,IAAI,CAEtC;CACH"}

package/dist/derived/lineage_index.js

@@ -0,0 +1,51 @@
+import { parseDerivedCell } from "./codec.js";
+export class HeaderLineageIndex {
+    bodies;
+    sources = new Map();
+    refreshes = 0;
+    unreadable = 0;
+    constructor(bodies) {
+        this.bodies = bodies;
+    }
+    get stats() {
+        let known = 0;
+        for (const v of this.sources.values())
+            if (v !== undefined)
+                known++;
+        return { refreshes: this.refreshes, unreadable: this.unreadable, known };
+    }
+    async refresh(cellIds) {
+        this.refreshes++;
+        if (cellIds.length === 0)
+            return;
+        let fetched = [];
+        try {
+            fetched = await this.bodies.fetchByIds(cellIds);
+        }
+        catch {
+            fetched = [];
+        }
+        const byId = new Map(fetched.map((b) => [b.cellId, b.plaintext]));
+        for (const id of cellIds) {
+            const body = byId.get(id);
+            if (body === undefined) {
+                this.sources.set(id, undefined);
+                this.unreadable++;
+                continue;
+            }
+            try {
+                const item = parseDerivedCell(body);
+                this.sources.set(id, item === undefined ? undefined : item.sources.map((s) => s.cellId));
+            }
+            catch {
+                this.sources.set(id, undefined);
+                this.unreadable++;
+            }
+        }
+    }
+    lineageOf = (cellId) => this.sources.get(cellId);
+    forget = (cellId) => {
+        this.sources.delete(cellId);
+    };
+}
+//# sourceMappingURL=lineage_index.js.map

package/dist/derived/lineage_index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lineage_index.js","sourceRoot":"","sources":["../../src/derived/lineage_index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE9C,MAAM,OAAO,kBAAkB;IAKA;IAJZ,OAAO,GAAG,IAAI,GAAG,EAAyC,CAAC;IACpE,SAAS,GAAG,CAAC,CAAC;IACd,UAAU,GAAG,CAAC,CAAC;IAEvB,YAA6B,MAAkB;QAAlB,WAAM,GAAN,MAAM,CAAY;IAAG,CAAC;IAEnD,IAAI,KAAK;QACP,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;YAAE,IAAI,CAAC,KAAK,SAAS;gBAAE,KAAK,EAAE,CAAC;QACpE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC;IAC3E,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,OAA0B;QACtC,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACjC,IAAI,OAAO,GAAqD,EAAE,CAAC;QACnE,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAClD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClE,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC1B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;gBAChC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAClB,SAAS;YACX,CAAC;YACD,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAC3F,CAAC;YAAC,MAAM,CAAC;gBACP,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;gBAChC,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAEQ,SAAS,GAAG,CAAC,MAAc,EAAiC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAExF,MAAM,GAAG,CAAC,MAAc,EAAQ,EAAE;QACzC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC,CAAC;CACH"}