@amalgm/shell 0.1.164-preview.36072132286 → 0.1.164-preview.36809057014

package/dist/detection/maintenance-sweep.d.ts

@@ -0,0 +1,108 @@
+import { type MaintenanceCause, type MaintenanceCoverage, type MaintenanceGap, type MaintenanceReceipts } from "@amalgm/live";
+import type { FilesStageInput } from "../files-observability.js";
+import type { RootMaintenanceResult } from "./root-examination.js";
+/** Cadence C: the configured interval between one owner's visits, before jitter. */
+export declare const MAINTENANCE_INTERVAL_MS = 3600000;
+/** How long past its due time an owner owing a complete proof defers its visit. */
+export declare const MAINTENANCE_DEFER_BOUND_MS = 10000;
+export interface MaintenanceOwner {
+    /** The Watch root ID. */
+    readonly owner: string;
+    readonly directory: string;
+    /** Watch already owes this root a complete proof. */
+    readonly owesComplete: boolean;
+}
+export interface MaintenanceSweepHost {
+    /** Every owner now. One absent, or at another directory, is forgotten. */
+    owners(): readonly MaintenanceOwner[];
+    /** Whether a visit may start: never during a cold journey or while closing. */
+    ready(): boolean;
+    /** One traversal of this owner on a content thread. */
+    visit(owner: string, directory: string): Promise<RootMaintenanceResult>;
+    /** A finding at the root, or a promoted request: ring its complete proof. */
+    suspectRoot(directory: string): void;
+    /** Requests are owed to the scoped lanes. */
+    wake(): void;
+    stage(input: FilesStageInput): void;
+}
+/** Why a requested visit cannot answer: the owner has no materialized
+ * coverage, its binding went away, the sweep stopped (the host is closing or
+ * converging again), or its storage could not be read. */
+export type VisitUnavailable = "not-ready" | "removed" | "stopped" | "unreadable";
+/** One difference a requested visit reported, and so required. */
+export interface VisitDifference {
+    readonly path: string;
+    readonly cause: MaintenanceCause;
+}
+/** How a requested visit settled. `visited` names a visit that began after
+ * the request, closed, and whose every required difference the ordinary
+ * lanes then discharged; its gaps are regions it could not read. */
+export type VisitOutcome = {
+    readonly kind: "visited";
+    readonly visit: number;
+    readonly differences: readonly VisitDifference[];
+    readonly gaps: readonly MaintenanceGap[];
+} | {
+    readonly kind: "unavailable";
+    readonly reason: VisitUnavailable;
+    readonly detail?: string;
+};
+export declare class MaintenanceSweep {
+    private readonly host;
+    private readonly intervalMs;
+    /** Uniform in [0, 1): each visit's jitter. */
+    private readonly random;
+    private readonly concurrency;
+    private readonly deferBoundMs;
+    private readonly ledger;
+    private readonly states;
+    /** Owners with a traversal on a content thread. It outlives stop, so a
+     * restart never runs a second traversal of the same owner. */
+    private readonly visiting;
+    /** Outstanding requests by ledger ID, for serving latency. */
+    private readonly requests;
+    private timer;
+    private running;
+    /** Starvation evidence: the longest any visit waited past its due time. */
+    private maxDeferredMs;
+    constructor(host: MaintenanceSweepHost, intervalMs?: number, 
+    /** Uniform in [0, 1): each visit's jitter. */
+    random?: () => number, concurrency?: number, deferBoundMs?: number);
+    start(): void;
+    /** Stop visiting and forget every owner: nothing owed outlives this runtime. */
+    stop(): void;
+    /** The host's owners changed: a new owner's first interval starts now and a
+     * gone owner retires, instead of waiting for the next scheduled tick. */
+    ownersChanged(): void;
+    /** One visit of this owner that begins after now. Settles once that visit
+     * closed and the lanes discharged every difference it required, or with why
+     * it cannot. A request made while an earlier one still waits for its visit
+     * joins it. */
+    requestVisit(owner: string): Promise<VisitOutcome>;
+    /** Each owner's visit receipts now. */
+    receipts(): ReadonlyMap<string, MaintenanceReceipts>;
+    /** Paths owed a scoped examination. */
+    owed(owner: string): string[];
+    /** Captured at a cut, before its proof reads: a named cut answers requests
+     * at and beneath its paths, a complete cut every promoted request. */
+    cover(owner: string, paths: readonly string[] | null): MaintenanceCoverage;
+    /** The cut's proof settled or admitted: its covered requests are answered. */
+    served(coverage: MaintenanceCoverage): void;
+    /** The cut's proof escalated: its covered requests are owed to a wider
+     * examination. True when that promoted an outstanding request. */
+    promote(coverage: MaintenanceCoverage): boolean;
+    /** The next scheduled visit: one fresh draw of the interval from now. */
+    private nextDue;
+    /** Owners from the host now: new ones are scheduled, gone ones retired. */
+    private discover;
+    private tick;
+    private begin;
+    /** Findings to the ledger, each against the association it was compared with. */
+    private report;
+    /** Gaps to the ledger, then the visit closes and the lanes wake. */
+    private close;
+    /** A requested visit settles once it closed and none of its requests is owed. */
+    private settleRequests;
+    /** The owner's binding went away, or the sweep stopped. */
+    private retire;
+}

package/dist/detection/maintenance-sweep.js

@@ -0,0 +1,325 @@
+/** The periodic metadata sweep. Each Watch root is one coverage owner, visited
+ * by one traversal at a time on a content thread: the same walk and comparison
+ * as root examination, against O as it stands. A visit concludes nothing. Its
+ * findings become the Live ledger's examination requests, which the ordinary
+ * scoped lanes serve; ground it could not read becomes a gap. It never writes
+ * a Record, a row or Trash, and it reads metadata only: a visit proves that
+ * the comparison completed and its resulting work was handled, never that any
+ * leaf's bytes were read again.
+ *
+ * Cadence C: an owner's next visit is due one interval after its last ended
+ * (or after it was first seen), drawn afresh for each visit as the configured
+ * interval times uniform [0.75, 1.25), so owners never visit in lockstep. The
+ * interval is a configured inter-visit interval, not a mutation-to-Record
+ * bound: traversal position, visit duration, queueing, the scoped examination
+ * and admission all come after it, and an unready host or unreadable storage
+ * suspends it. Watch's own loss evidence never waits for it: a watcher that
+ * reports loss makes its whole root suspect at once, which is immediate
+ * responsibility and scheduling, not one guaranteed pass.
+ *
+ * requestVisit makes an owner due now, for one visit that begins after the
+ * request; it is a metadata visit like any other, never a content reread.
+ *
+ * Visits pause while the host is not ready (cold journeys, convergence,
+ * shutdown). One visit runs at a time, the longest-waiting due owner first. A
+ * root Watch already owes a complete proof defers its visit, since that proof
+ * reads everything a visit would, but only for the defer bound: continuous
+ * load cannot starve an owner. Each start reports how long it waited past due
+ * and the sweep's longest. */
+import { performance } from "node:perf_hooks";
+import { MaintenanceLedger } from "@amalgm/live";
+/** Cadence C: the configured interval between one owner's visits, before jitter. */
+export const MAINTENANCE_INTERVAL_MS = 3_600_000;
+/** How long past its due time an owner owing a complete proof defers its visit. */
+export const MAINTENANCE_DEFER_BOUND_MS = 10_000;
+/** A due visit the host is not ready for is checked again this soon: the
+ * host's readiness changes without telling the sweep. */
+const READINESS_RECHECK_MS = 1_000;
+const reported = () => ({
+    found: { new: 0, changed: 0, missing: 0, racy: 0, repository: 0 }, seen: new Map(), requests: 0,
+});
+export class MaintenanceSweep {
+    host;
+    intervalMs;
+    random;
+    concurrency;
+    deferBoundMs;
+    ledger = new MaintenanceLedger();
+    states = new Map();
+    /** Owners with a traversal on a content thread. It outlives stop, so a
+     * restart never runs a second traversal of the same owner. */
+    visiting = new Set();
+    /** Outstanding requests by ledger ID, for serving latency. */
+    requests = new Map();
+    timer = null;
+    running = false;
+    /** Starvation evidence: the longest any visit waited past its due time. */
+    maxDeferredMs = 0;
+    constructor(host, intervalMs = MAINTENANCE_INTERVAL_MS, 
+    /** Uniform in [0, 1): each visit's jitter. */
+    random = Math.random, concurrency = 1, deferBoundMs = MAINTENANCE_DEFER_BOUND_MS) {
+        this.host = host;
+        this.intervalMs = intervalMs;
+        this.random = random;
+        this.concurrency = concurrency;
+        this.deferBoundMs = deferBoundMs;
+    }
+    start() {
+        this.running = true;
+        this.tick();
+    }
+    /** Stop visiting and forget every owner: nothing owed outlives this runtime. */
+    stop() {
+        this.running = false;
+        if (this.timer)
+            clearTimeout(this.timer);
+        this.timer = null;
+        for (const owner of [...this.states.keys()])
+            this.retire(owner, "stopped");
+    }
+    /** The host's owners changed: a new owner's first interval starts now and a
+     * gone owner retires, instead of waiting for the next scheduled tick. */
+    ownersChanged() {
+        if (this.running)
+            this.tick();
+    }
+    /** One visit of this owner that begins after now. Settles once that visit
+     * closed and the lanes discharged every difference it required, or with why
+     * it cannot. A request made while an earlier one still waits for its visit
+     * joins it. */
+    requestVisit(owner) {
+        if (!this.running)
+            return Promise.resolve({ kind: "unavailable", reason: "stopped" });
+        this.discover(performance.now());
+        const state = this.states.get(owner);
+        if (!state)
+            return Promise.resolve({ kind: "unavailable", reason: "not-ready" });
+        if (state.requested)
+            return state.requested.settled;
+        let resolve;
+        const settled = new Promise(done => { resolve = done; });
+        state.requested = { requestedAt: performance.now(), settled, resolve };
+        this.tick();
+        return settled;
+    }
+    /** Each owner's visit receipts now. */
+    receipts() {
+        return new Map([...this.states.keys()].map(owner => [owner, this.ledger.receipts(owner)]));
+    }
+    /** Paths owed a scoped examination. */
+    owed(owner) {
+        return this.ledger.owed(owner).map(owed => owed.path);
+    }
+    /** Captured at a cut, before its proof reads: a named cut answers requests
+     * at and beneath its paths, a complete cut every promoted request. */
+    cover(owner, paths) {
+        if (paths === null)
+            return this.ledger.coverWider(owner);
+        const owed = [...this.ledger.owed(owner), ...this.ledger.owedWider(owner)].map(item => item.path);
+        return this.ledger.cover(owner, owed.filter(path => paths.some(cut => cut === "" || path === cut || path.startsWith(`${cut}/`))));
+    }
+    /** The cut's proof settled or admitted: its covered requests are answered. */
+    served(coverage) {
+        if (coverage.requests.length === 0)
+            return;
+        const now = performance.now();
+        const answered = this.ledger.discharge(coverage, now);
+        if (answered === 0)
+            return;
+        const state = this.states.get(coverage.owner);
+        let latencyMs = 0;
+        for (const { id } of coverage.requests) {
+            const request = this.requests.get(id);
+            if (!request)
+                continue;
+            this.requests.delete(id);
+            latencyMs = Math.max(latencyMs, now - request.reportedAt);
+            state?.answered.set(request.path, request.observed);
+        }
+        const oldest = this.ledger.receipts(coverage.owner).oldestOwedSince;
+        this.host.stage({ primitive: "detect", stage: "maintenance-served", status: "completed",
+            rootId: coverage.owner, path: state?.directory, durationMs: latencyMs,
+            measurements: { requests: answered, latencyMs: Math.round(latencyMs),
+                oldestOwedMs: oldest === null ? null : Math.round(now - oldest) } });
+        if (state)
+            this.settleRequests(state);
+    }
+    /** The cut's proof escalated: its covered requests are owed to a wider
+     * examination. True when that promoted an outstanding request. */
+    promote(coverage) {
+        this.ledger.promote(coverage);
+        return coverage.requests.some(({ id }) => this.requests.has(id));
+    }
+    /** The next scheduled visit: one fresh draw of the interval from now. */
+    nextDue(now) {
+        return now + this.intervalMs * (0.75 + 0.5 * this.random());
+    }
+    /** Owners from the host now: new ones are scheduled, gone ones retired. */
+    discover(now) {
+        const owners = new Map(this.host.owners().map(owner => [owner.owner, owner]));
+        for (const [owner, state] of this.states) {
+            if (owners.get(owner)?.directory !== state.directory)
+                this.retire(owner, "removed");
+        }
+        for (const { owner, directory } of owners.values()) {
+            if (!this.states.has(owner)) {
+                this.states.set(owner, { directory, endedAt: now, dueAt: this.nextDue(now), visited: false,
+                    answered: new Map(), requested: null, answering: new Map() });
+            }
+        }
+        return owners;
+    }
+    tick() {
+        if (this.timer)
+            clearTimeout(this.timer);
+        this.timer = null;
+        if (!this.running)
+            return;
+        const now = performance.now();
+        const owners = this.discover(now);
+        // A request makes its owner due at once; waiting starts when it is due.
+        const dueSince = (state) => Math.min(state.dueAt, state.requested?.requestedAt ?? Infinity);
+        // An owner owing a complete proof is due only once its defer bound passed.
+        const dueAt = (owner, state) => dueSince(state) + (owners.get(owner).owesComplete ? this.deferBoundMs : 0);
+        const idle = [...this.states].filter(([owner]) => !this.visiting.has(owner));
+        const ready = this.host.ready();
+        if (ready) {
+            // The longest-waiting due owners first.
+            const due = idle.filter(([owner, state]) => now >= dueAt(owner, state))
+                .sort(([, left], [, right]) => dueSince(left) - dueSince(right));
+            for (const [owner, state] of due) {
+                if (this.visiting.size >= this.concurrency)
+                    break;
+                this.begin(owner, state, now, dueSince(state), owners.get(owner).owesComplete);
+            }
+        }
+        // A finished visit ticks at once; a due owner the host is not ready for
+        // is checked again shortly.
+        const waits = idle.filter(([owner]) => !this.visiting.has(owner)).map(([owner, state]) => dueAt(owner, state) - now);
+        if (!ready && waits.some(wait => wait <= 0))
+            waits.push(READINESS_RECHECK_MS);
+        const wait = Math.min(...waits.filter(wait => wait > 0));
+        if (wait === Infinity)
+            return;
+        this.timer = setTimeout(() => this.tick(), wait);
+        this.timer.unref();
+    }
+    begin(owner, state, now, dueSince, forced) {
+        this.visiting.add(owner);
+        const visit = this.ledger.beginVisit(owner, now);
+        const requested = state.requested !== null;
+        if (state.requested) {
+            state.answering.set(visit.id, { request: state.requested, closed: false, ids: new Set(), differences: [], gaps: [] });
+            state.requested = null;
+        }
+        const visitGapMs = state.visited ? Math.round(now - state.endedAt) : null;
+        const deferredMs = Math.max(0, Math.round(now - dueSince));
+        this.maxDeferredMs = Math.max(this.maxDeferredMs, deferredMs);
+        this.host.stage({ primitive: "detect", stage: "maintenance-visit", status: "started",
+            rootId: owner, path: state.directory,
+            measurements: { visit: visit.id, visitGapMs, deferredMs, forced, requested, maxDeferredMs: this.maxDeferredMs } });
+        void this.host.visit(owner, state.directory).then(result => {
+            const into = reported();
+            this.report(state, visit, into, result.findings.map(finding => ({ ...finding, basis: result.basis })));
+            this.close(state, visit, visitGapMs, result, into);
+        }, (error) => this.close(state, visit, visitGapMs, error instanceof Error ? error.message : String(error), reported())).finally(() => {
+            this.visiting.delete(owner);
+            this.tick();
+        });
+    }
+    /** Findings to the ledger, each against the association it was compared with. */
+    report(state, visit, into, findings) {
+        const now = performance.now();
+        const { owner } = visit;
+        const answering = state.answering.get(visit.id);
+        for (const finding of findings) {
+            into.found[finding.cause] += 1;
+            into.seen.set(finding.path, finding.observed);
+            if (state.answered.get(finding.path) === finding.observed)
+                continue;
+            const id = this.ledger.report(visit, finding, now);
+            if (id === null)
+                continue;
+            if (answering) {
+                answering.ids.add(id);
+                answering.differences.push({ path: finding.path, cause: finding.cause });
+            }
+            if (this.requests.has(id))
+                continue;
+            this.requests.set(id, { owner, path: finding.path, observed: finding.observed, reportedAt: now });
+            into.requests += 1;
+            // O at the root could not be trusted: only the complete lane serves it.
+            if (finding.path === "") {
+                this.ledger.promote(this.ledger.cover(owner, [""]));
+                this.host.suspectRoot(state.directory);
+            }
+        }
+    }
+    /** Gaps to the ledger, then the visit closes and the lanes wake. */
+    close(state, visit, visitGapMs, outcome, { found, seen, requests }) {
+        const now = performance.now();
+        const { owner } = visit;
+        const gaps = typeof outcome === "string" ? [{ path: "", reason: `fault:${outcome}` }] : [...outcome.gaps];
+        if (typeof outcome !== "string") {
+            for (const [path, observed] of state.answered)
+                if (seen.get(path) !== observed)
+                    state.answered.delete(path);
+        }
+        for (const gap of gaps)
+            this.ledger.gap(visit, gap, now);
+        const closed = this.ledger.closeVisit(visit, now);
+        state.endedAt = now;
+        state.dueAt = this.nextDue(now);
+        state.visited = true;
+        const owed = closed ? this.ledger.owed(owner).length : 0;
+        this.host.stage({ primitive: "detect", stage: "maintenance-visit",
+            status: typeof outcome === "string" ? "failed" : "completed",
+            rootId: owner, path: state.directory, durationMs: now - visit.startedAt,
+            measurements: { visit: visit.id, closed, visitGapMs,
+                entries: typeof outcome === "string" ? 0 : outcome.entries,
+                ...found, gaps: gaps.length, requests, owed,
+                ...(typeof outcome === "string" ? { error: outcome } : {}) } });
+        const answering = state.answering.get(visit.id);
+        if (answering) {
+            // Storage it could not read at all answers nothing.
+            const unread = gaps.find(gap => gap.path === "" && (gap.reason === "unread" || gap.reason.startsWith("fault:")));
+            if (unread) {
+                state.answering.delete(visit.id);
+                answering.request.resolve({ kind: "unavailable", reason: "unreadable", detail: unread.reason });
+            }
+            else {
+                answering.closed = true;
+                answering.gaps = gaps;
+                this.settleRequests(state);
+            }
+        }
+        if (owed > 0)
+            this.host.wake();
+    }
+    /** A requested visit settles once it closed and none of its requests is owed. */
+    settleRequests(state) {
+        for (const [visit, answering] of state.answering) {
+            if (!answering.closed || [...answering.ids].some(id => this.requests.has(id)))
+                continue;
+            state.answering.delete(visit);
+            answering.request.resolve({ kind: "visited", visit, differences: answering.differences, gaps: answering.gaps });
+        }
+    }
+    /** The owner's binding went away, or the sweep stopped. */
+    retire(owner, reason) {
+        const state = this.states.get(owner);
+        if (state) {
+            for (const request of [state.requested, ...[...state.answering.values()].map(({ request }) => request)]) {
+                request?.resolve({ kind: "unavailable", reason });
+            }
+            state.requested = null;
+            state.answering.clear();
+        }
+        this.ledger.forget(owner);
+        this.states.delete(owner);
+        for (const [id, request] of this.requests)
+            if (request.owner === owner)
+                this.requests.delete(id);
+    }
+}
+//# sourceMappingURL=maintenance-sweep.js.map

package/dist/detection/maintenance-sweep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"maintenance-sweep.js","sourceRoot":"","sources":["../../src/detection/maintenance-sweep.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;8BA2B8B;AAC9B,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAC8C,MAAM,cAAc,CAAC;AAI7F,oFAAoF;AACpF,MAAM,CAAC,MAAM,uBAAuB,GAAG,SAAS,CAAC;AAEjD,mFAAmF;AACnF,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC;AAEjD;yDACyD;AACzD,MAAM,oBAAoB,GAAG,KAAK,CAAC;AAoFnC,MAAM,QAAQ,GAAG,GAAa,EAAE,CAAC,CAAC;IAChC,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC;CAChG,CAAC,CAAC;AASH,MAAM,OAAO,gBAAgB;IAcR;IACA;IAEA;IACA;IACA;IAlBF,MAAM,GAAG,IAAI,iBAAiB,EAAE,CAAC;IACjC,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IACxD;kEAC8D;IAC7C,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,8DAA8D;IAC7C,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC/C,KAAK,GAA0B,IAAI,CAAC;IACpC,OAAO,GAAG,KAAK,CAAC;IACxB,2EAA2E;IACnE,aAAa,GAAG,CAAC,CAAC;IAE1B,YACmB,IAA0B,EAC1B,aAAa,uBAAuB;IACrD,8CAA8C;IAC7B,SAAuB,IAAI,CAAC,MAAM,EAClC,cAAc,CAAC,EACf,eAAe,0BAA0B;QALzC,SAAI,GAAJ,IAAI,CAAsB;QAC1B,eAAU,GAAV,UAAU,CAA0B;QAEpC,WAAM,GAAN,MAAM,CAA4B;QAClC,gBAAW,GAAX,WAAW,CAAI;QACf,iBAAY,GAAZ,YAAY,CAA6B;IACzD,CAAC;IAEJ,KAAK;QACH,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,IAAI,CAAC,IAAI,EAAE,CAAC;IACd,CAAC;IAED,gFAAgF;IAChF,IAAI;QACF,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,IAAI,CAAC,KAAK;YAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC7E,CAAC;IAED;6EACyE;IACzE,aAAa;QACX,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IAChC,CAAC;IAED;;;mBAGe;IACf,YAAY,CAAC,KAAa;QACxB,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACtF,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;QACjF,IAAI,KAAK,CAAC,SAAS;YAAE,OAAO,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC;QACpD,IAAI,OAAiC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAe,IAAI,CAAC,EAAE,GAAG,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACvE,KAAK,CAAC,SAAS,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QACvE,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,uCAAuC;IACvC,QAAQ;QACN,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,CAAC;IAED,uCAAuC;IACvC,IAAI,CAAC,KAAa;QAChB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC;IAED;0EACsE;IACtE,KAAK,CAAC,KAAa,EAAE,KAA+B;QAClD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClG,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CACjD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC;IAED,8EAA8E;IAC9E,MAAM,CAAC,QAA6B;QAClC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAC3C,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACtD,IAAI,QAAQ,KAAK,CAAC;YAAE,OAAO;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,EAAE,EAAE,EAAE,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACvC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtC,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzB,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;YAC1D,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC;QACpE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,oBAAoB,EAAE,MAAM,EAAE,WAAW;YACrF,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS;YACrE,YAAY,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;gBAClE,YAAY,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QACzE,IAAI,KAAK;YAAE,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IAED;sEACkE;IAClE,OAAO,CAAC,QAA6B;QACnC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC9B,OAAO,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,yEAAyE;IACjE,OAAO,CAAC,GAAW;QACzB,OAAO,GAAG,GAAG,IAAI,CAAC,UAAU,GAAG,CAAC,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,2EAA2E;IACnE,QAAQ,CAAC,GAAW;QAC1B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9E,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACzC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,KAAK,KAAK,CAAC,SAAS;gBAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACtF,CAAC;QACD,KAAK,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACnD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK;oBACxF,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,IAAI;QACV,IAAI,IAAI,CAAC,KAAK;YAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO;QAC1B,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAClC,wEAAwE;QACxE,MAAM,QAAQ,GAAG,CAAC,KAAiB,EAAU,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,EAAE,WAAW,IAAI,QAAQ,CAAC,CAAC;QAChH,2EAA2E;QAC3E,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,KAAiB,EAAU,EAAE,CACzD,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,KAAK,EAAE,CAAC;YACV,wCAAwC;YACxC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;iBACpE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YACnE,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC;gBACjC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW;oBAAE,MAAM;gBAClD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,YAAY,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QACD,wEAAwE;QACxE,4BAA4B;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;QACrH,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,IAAI,IAAI,KAAK,QAAQ;YAAE,OAAO;QAC9B,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;IACrB,CAAC;IAEO,KAAK,CAAC,KAAa,EAAE,KAAiB,EAAE,GAAW,EAAE,QAAgB,EAAE,MAAe;QAC5F,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC;QAC3C,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACpB,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YACtH,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;QACzB,CAAC;QACD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1E,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QAC9D,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,mBAAmB,EAAE,MAAM,EAAE,SAAS;YAClF,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS;YACpC,YAAY,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QACrH,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAC/C,MAAM,CAAC,EAAE;YACP,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACvG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACrD,CAAC,EACD,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EACrD,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CACtE,CAAC,OAAO,CAAC,GAAG,EAAE;YACb,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED,iFAAiF;IACzE,MAAM,CAAC,KAAiB,EAAE,KAAuB,EAAE,IAAc,EAAE,QAAuC;QAChH,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAC9B,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;QACxB,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC9C,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,QAAQ;gBAAE,SAAS;YACpE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;YACnD,IAAI,EAAE,KAAK,IAAI;gBAAE,SAAS;YAC1B,IAAI,SAAS,EAAE,CAAC;gBACd,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACtB,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3E,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;YAClG,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;YACnB,wEAAwE;YACxE,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;gBACxB,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACpD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IAED,oEAAoE;IAC5D,KAAK,CAAC,KAAiB,EAAE,KAAuB,EAAE,UAAyB,EACjF,OAAuC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAY;QAC5E,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAC9B,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;QACxB,MAAM,IAAI,GAAqB,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5H,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ;gBAAE,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,QAAQ;oBAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9G,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAClD,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC;QACpB,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;QACrB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,mBAAmB;YAC/D,MAAM,EAAE,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW;YAC5D,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,UAAU,EAAE,GAAG,GAAG,KAAK,CAAC,SAAS;YACvE,YAAY,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU;gBACjD,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO;gBAC1D,GAAG,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI;gBAC3C,GAAG,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACpE,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,IAAI,SAAS,EAAE,CAAC;YACd,oDAAoD;YACpD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACjH,IAAI,MAAM,EAAE,CAAC;gBACX,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACjC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YAClG,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC;gBACxB,SAAS,CAAC,IAAI,GAAG,IAAI,CAAC;gBACtB,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACjC,CAAC;IAED,iFAAiF;IACzE,cAAc,CAAC,KAAiB;QACtC,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACjD,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAAE,SAAS;YACxF,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC9B,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAClH,CAAC;IACH,CAAC;IAED,2DAA2D;IACnD,MAAM,CAAC,KAAa,EAAE,MAA6B;QACzD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,MAAM,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBACxG,OAAO,EAAE,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACpD,CAAC;YACD,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;YACvB,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QAC1B,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ;YAAE,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK;gBAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC;CACF"}

package/dist/detection/name-reach.d.ts

@@ -0,0 +1,12 @@
+/** Which repositories a pruned walk's Watch names reach. Addresses are
+ * relative to one root, "" being the root; as a name, "" names only the
+ * root's own address. A repository's Git storage rings as a name beneath its
+ * address (`<address>/.git`, or `.git` for the root). */
+/** A name reaches every repository at or beneath its address, whose whole
+ * ground the walk reads again, and the innermost repository strictly
+ * enclosing it, whose ground lists the address: a nested repository's own
+ * address is the boundary its encloser's index and identity map record. A
+ * name inside a nested repository, its Git storage included, reaches no
+ * repository enclosing that one: an enclosing Card + Checkpoint takes the
+ * nested gitlink from its own index and reads nothing there. */
+export declare function reachedRepositories(names: readonly string[], repositories: readonly string[]): Set<string>;

package/dist/detection/name-reach.js

@@ -0,0 +1,28 @@
+/** Which repositories a pruned walk's Watch names reach. Addresses are
+ * relative to one root, "" being the root; as a name, "" names only the
+ * root's own address. A repository's Git storage rings as a name beneath its
+ * address (`<address>/.git`, or `.git` for the root). */
+const holds = (repository, path) => repository === "" || path === repository || path.startsWith(`${repository}/`);
+/** A name reaches every repository at or beneath its address, whose whole
+ * ground the walk reads again, and the innermost repository strictly
+ * enclosing it, whose ground lists the address: a nested repository's own
+ * address is the boundary its encloser's index and identity map record. A
+ * name inside a nested repository, its Git storage included, reaches no
+ * repository enclosing that one: an enclosing Card + Checkpoint takes the
+ * nested gitlink from its own index and reads nothing there. */
+export function reachedRepositories(names, repositories) {
+    const reached = new Set();
+    for (const name of names) {
+        let owner = null;
+        for (const repository of repositories) {
+            if (repository === name || (name !== "" && repository.startsWith(`${name}/`)))
+                reached.add(repository);
+            else if (holds(repository, name) && (owner === null || repository.length > owner.length))
+                owner = repository;
+        }
+        if (owner !== null)
+            reached.add(owner);
+    }
+    return reached;
+}
+//# sourceMappingURL=name-reach.js.map

package/dist/detection/name-reach.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"name-reach.js","sourceRoot":"","sources":["../../src/detection/name-reach.ts"],"names":[],"mappings":"AAAA;;;yDAGyD;AAEzD,MAAM,KAAK,GAAG,CAAC,UAAkB,EAAE,IAAY,EAAW,EAAE,CAC1D,UAAU,KAAK,EAAE,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,UAAU,GAAG,CAAC,CAAC;AAEhF;;;;;;gEAMgE;AAChE,MAAM,UAAU,mBAAmB,CAAC,KAAwB,EAAE,YAA+B;IAC3F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,KAAK,GAAkB,IAAI,CAAC;QAChC,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;YACtC,IAAI,UAAU,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;iBAClG,IAAI,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,UAAU,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;gBAAE,KAAK,GAAG,UAAU,CAAC;QAC/G,CAAC;QACD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/detection/notebook-basis.d.ts

@@ -12,12 +12,10 @@ export interface NotebookBasisRow {
     readonly transportVersion: string | null;
     readonly relativePath: string;
     readonly absolutePath: string;
-    readonly deviceNumber: number;
-    readonly inode: number;
-    readonly byteSize: number | null;
-    readonly modifiedTimeMs: number | null;
-    readonly changedTimeMs: number | null;
+    readonly physicalKey: string;
+    readonly sourceSignature: string | null;
     readonly filesystemMode: number | null;
-    readonly contentVerifiedAtMs: number | null;
+    readonly contentVerifiedNs: string | null;
+    readonly gitConfigurationObservation?: string | null;
 }
-export declare function sameNotebookBasisRow(left: NotebookBasisRow, right: NotebookBasisRow | undefined): boolean;
+export declare function sameNotebookBasisRow(left: NotebookBasisRow, right: NotebookBasisRow | undefined, inventory?: "entities" | "detection_notebook"): boolean;

package/dist/detection/notebook-basis.js

@@ -1,4 +1,4 @@
-export function sameNotebookBasisRow(left, right) {
+export function sameNotebookBasisRow(left, right, inventory = "detection_notebook") {
     return right !== undefined
         && left.resourceId === right.resourceId
         && left.rootUUID === right.rootUUID
@@ -12,12 +12,11 @@ export function sameNotebookBasisRow(left, right) {
         && left.transportVersion === right.transportVersion
         && left.relativePath === right.relativePath
         && left.absolutePath === right.absolutePath
-        && left.deviceNumber === right.deviceNumber
-        && left.inode === right.inode
-        && left.byteSize === right.byteSize
-        && left.modifiedTimeMs === right.modifiedTimeMs
-        && left.changedTimeMs === right.changedTimeMs
+        && left.physicalKey === right.physicalKey
+        && left.sourceSignature === right.sourceSignature
         && left.filesystemMode === right.filesystemMode
-        && left.contentVerifiedAtMs === right.contentVerifiedAtMs;
+        && left.contentVerifiedNs === right.contentVerifiedNs
+        && (inventory === "detection_notebook"
+            || (left.gitConfigurationObservation ?? null) === (right.gitConfigurationObservation ?? null));
 }
 //# sourceMappingURL=notebook-basis.js.map

package/dist/detection/notebook-basis.js.map

@@ -1 +1 @@
-{"version":3,"file":"notebook-basis.js","sourceRoot":"","sources":["../../src/detection/notebook-basis.ts"],"names":[],"mappings":"AAuBA,MAAM,UAAU,oBAAoB,CAClC,IAAsB,EACtB,KAAmC;IAEnC,OAAO,KAAK,KAAK,SAAS;WACrB,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;WACpC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;WAChC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;WACxB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;WACxB,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;WACpC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;WACxB,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;WAC5B,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;WAC9B,IAAI,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc;WAC5C,IAAI,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB;WAChD,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;WACxC,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;WACxC,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;WACxC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;WAC1B,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;WAChC,IAAI,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc;WAC5C,IAAI,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa;WAC1C,IAAI,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc;WAC5C,IAAI,CAAC,mBAAmB,KAAK,KAAK,CAAC,mBAAmB,CAAC;AAC9D,CAAC"}
+{"version":3,"file":"notebook-basis.js","sourceRoot":"","sources":["../../src/detection/notebook-basis.ts"],"names":[],"mappings":"AAqBA,MAAM,UAAU,oBAAoB,CAClC,IAAsB,EACtB,KAAmC,EACnC,YAA+C,oBAAoB;IAEnE,OAAO,KAAK,KAAK,SAAS;WACrB,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;WACpC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;WAChC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;WACxB,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;WACxB,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;WACpC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;WACxB,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;WAC5B,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;WAC9B,IAAI,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc;WAC5C,IAAI,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB;WAChD,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;WACxC,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;WACxC,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;WACtC,IAAI,CAAC,eAAe,KAAK,KAAK,CAAC,eAAe;WAC9C,IAAI,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc;WAC5C,IAAI,CAAC,iBAAiB,KAAK,KAAK,CAAC,iBAAiB;WAClD,CAAC,SAAS,KAAK,oBAAoB;eACjC,CAAC,IAAI,CAAC,2BAA2B,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,IAAI,IAAI,CAAC,CAAC,CAAC;AACrG,CAAC"}

package/dist/detection/owed-selection.d.ts

@@ -0,0 +1,51 @@
+/** Where one root's sharing (B) is not yet what selection makes of its
+ * observation (O), read from committed facts alone: no ground is walked.
+ *
+ * Selection is one law, Live's selectPublication: an identity that policy or
+ * a hold withholds keeps B's row, or none, and every other takes O's;
+ * membership and payloads follow. B stands at that law's fixed point exactly
+ * when each identity selection takes from O already stands in B as O holds
+ * it (a leaf at O's version, a container at O's structure, since its
+ * membership follows from its members, and a repository at O's version or
+ * under a seal that derived O's payload and B's from one examination) and B
+ * holds nothing selection drops. Every other identity is owed a proof at each
+ * address selection reads it: O's for one it takes, and B's too wherever B
+ * holds it elsewhere or selection drops it. A root B has never held is owed
+ * whole: nothing of it was ever selected.
+ *
+ * Only an identity O and B hold differently can be owed. One they hold alike
+ * reads the same row whichever inventory selection takes it from, so it
+ * stands wherever its address holds; an address derives from its ancestors
+ * and its sibling group alone. Selection therefore reads the differences,
+ * which the ground stores as it writes (ground-differences.ts), and the
+ * unchanged structure their addresses read, as a closed scope, and reads the
+ * whole root only when that scope proves too small. */
+import type Database from "better-sqlite3";
+import { type GroundRow } from "../ground-row.js";
+export interface OwedIdentity {
+    /** Root-relative address. */
+    readonly path: string;
+    /** The row selection reads there: O's, or B's where only B places it. */
+    readonly row: GroundRow;
+    /** `owed`: B holds the identity where O does, at another result.
+     * `unshared`: B lacks it, places it elsewhere, or selection drops it. */
+    readonly reason: "owed" | "unshared";
+}
+type Includes = (path: string) => boolean;
+/** `observed` and `shared` are one root's O and B rows, each addressed in
+ * that root's frame; `includes` answers policy and holds for an address. */
+export declare function owedSelection(database: Database.Database, input: {
+    readonly rootUUID: string;
+    readonly observed: readonly GroundRow[];
+    readonly shared: readonly GroundRow[];
+    readonly includes: Includes;
+}): OwedIdentity[];
+/** One root's owed addresses under `policy`, outermost only, read in one
+ * committed transaction. `bindings` are the materialized workspace bindings,
+ * whose unpublished declarations selection holds back. */
+export declare function owedAddresses(database: Database.Database, input: {
+    readonly rootUUID: string;
+    readonly policy: string;
+    readonly bindings: readonly string[];
+}): string[];
+export {};