assertledger 1.1.0 → 1.1.1

package/dist/proof-planner/carry-over.js

@@ -0,0 +1,212 @@
+import { compareOrdinal, sortedUnique } from "./model.js";
+import { isUnresolvedSignal, } from "./plan.js";
+export function carryOverEvidence(previous, next) {
+    const reusable = [];
+    const mustProduce = [];
+    const sameBaseline = previous.subject.baseline === next.subject.baseline;
+    const sameRevision = previous.subject.revision === next.subject.revision;
+    const runtimeTree = sameRuntimeTree(previous, next);
+    // Evidence is not reused on the surfaces that an unresolved signal may concern, read in both
+    // plans: across revisions, one observed beside it or one the next plan observes; within one
+    // revision, only an observation the previous plan did not already have, since evidence produced
+    // beside an observation answers it. The planner uses the same notion of "unresolved".
+    const previousUnresolved = previous.signals.filter(isUnresolvedSignal);
+    const answered = new Set(previousUnresolved.map(observationKey));
+    const unresolved = [
+        ...(sameRevision ? [] : previousUnresolved),
+        ...next.signals.filter((signal) => isUnresolvedSignal(signal) && !(sameRevision && answered.has(observationKey(signal)))),
+    ].map((signal) => ({ id: signal.id, surfaces: concernedInEither(previous, next, signal) }));
+    const unresolvedOn = (surface) => {
+        const blocking = unresolved.filter((entry) => surface === null || entry.surfaces === null || entry.surfaces.has(surface));
+        return blocking.length > 0
+            ? `a signal is unresolved (${sortedUnique(blocking.map((entry) => entry.id)).join(", ")})`
+            : null;
+    };
+    // Evidence that answers observations answers only those it was produced for.
+    const answersOther = (requirement, earlier, surface) => {
+        const seen = observationsBehind(previous, earlier, surface);
+        const behind = observationsBehind(next, requirement, surface);
+        if (seen === null || behind === null)
+            return "an observation behind it is not in the plan";
+        return [...behind].some((key) => !seen.has(key))
+            ? "it answers an observation the earlier evidence did not"
+            : null;
+    };
+    for (const requirement of next.requiredEvidence) {
+        const earlier = previous.requiredEvidence.find((candidate) => candidate.kind === requirement.kind &&
+            candidate.semanticDigest === requirement.semanticDigest);
+        const entry = (surfaces, reason) => ({
+            kind: requirement.kind,
+            binding: requirement.binding,
+            surfaces: sortedUnique(surfaces),
+            reason,
+        });
+        if (!earlier) {
+            mustProduce.push(entry(requirement.surfaces, "not required with the same meaning before"));
+            continue;
+        }
+        if (!sameBaseline) {
+            mustProduce.push(entry(requirement.surfaces, "the merge-base changed"));
+            continue;
+        }
+        if (requirement.binding === "runtime-tree") {
+            const blocker = runtimeTree
+                ? (unresolvedOn(null) ?? answersOther(requirement, earlier, null))
+                : "runtime tree changed or unknown";
+            if (blocker === null)
+                reusable.push(entry(requirement.surfaces, "runtime tree unchanged"));
+            else
+                mustProduce.push(entry(requirement.surfaces, blocker));
+            continue;
+        }
+        // Revision-wide evidence: exact-revision kinds, a property of the revision itself, and
+        // surface-content kinds without a scope, which a new observation can still contradict.
+        if (requirement.binding === "exact-revision" || requirement.surfaces.length === 0) {
+            const blocker = !sameRevision
+                ? "bound to the exact revision"
+                : requirement.binding === "exact-revision"
+                    ? null
+                    : (unresolvedOn(null) ?? answersOther(requirement, earlier, null));
+            if (blocker === null)
+                reusable.push(entry(requirement.surfaces, "same revision"));
+            else
+                mustProduce.push(entry(requirement.surfaces, blocker));
+            continue;
+        }
+        const kept = [];
+        const changed = new Map();
+        for (const surface of requirement.surfaces) {
+            const reason = surfaceReuseBlocker(previous, next, requirement, earlier, surface, runtimeTree) ??
+                unresolvedOn(surface) ??
+                answersOther(requirement, earlier, surface);
+            if (reason === null)
+                kept.push(surface);
+            else
+                changed.set(reason, [...(changed.get(reason) ?? []), surface]);
+        }
+        if (kept.length > 0)
+            reusable.push(entry(kept, "scoped surfaces and their tests unchanged"));
+        for (const [reason, surfaces] of changed)
+            mustProduce.push(entry(surfaces, reason));
+    }
+    const order = (left, right) => compareOrdinal(`${left.kind}|${left.reason}`, `${right.kind}|${right.reason}`);
+    return {
+        previousRevision: previous.subject.revision,
+        nextRevision: next.subject.revision,
+        reusable: reusable.sort(order),
+        mustProduce: mustProduce.sort(order),
+    };
+}
+/**
+ * Surfaces an unresolved signal may concern, or null for all of them. A failing proof surface
+ * concerns what it exercises; a failure that cannot be mapped, an execution context, or a proof
+ * surface that does not list what it exercises, concerns everything.
+ */
+function concernedSurfaces(plan, signal) {
+    if (signal.surfaces.length === 0)
+        return null;
+    const concerned = new Set(signal.surfaces);
+    for (const id of signal.surfaces) {
+        const known = plan.subject.surfaces.find((entry) => entry.id === id);
+        if (!known || known.role === "execution-context")
+            return null;
+        if (known.role !== "test" && known.role !== "proof-infrastructure")
+            continue;
+        if (known.exercises === null)
+            return null;
+        for (const exercised of known.exercises)
+            concerned.add(exercised);
+    }
+    return concerned;
+}
+/** What a signal may concern in either plan: everything as soon as one of them cannot map it. */
+function concernedInEither(previous, next, signal) {
+    const before = concernedSurfaces(previous, signal);
+    const after = concernedSurfaces(next, signal);
+    // Where the two sets differ, what exercises that surface changed, which blocks reuse on its own.
+    return before === null || after === null ? null : new Set([...before, ...after]);
+}
+/** One observation: evidence produced for one report never answers another. */
+function observationKey(signal) {
+    return JSON.stringify([
+        signal.id,
+        signal.revision,
+        signal.signal,
+        signal.classification,
+        signal.exercises,
+        [...signal.basis].sort(),
+        [...signal.surfaces].sort(),
+    ]);
+}
+/**
+ * Observations behind a requirement on a surface, or behind all of it for null. Null when a fact
+ * names a signal the plan does not list, since what it observed cannot be compared.
+ */
+function observationsBehind(plan, requirement, surface) {
+    const keys = new Set();
+    for (const fact of plan.facts) {
+        if (!fact.id.startsWith("observed:") || !requirement.because.includes(fact.id))
+            continue;
+        // A fact merges the surfaces of every signal behind it: scope each observation by its own.
+        for (const ref of fact.refs) {
+            const signal = plan.signals.find((entry) => entry.id === ref);
+            if (!signal)
+                return null;
+            const scope = signal.surfaces;
+            if (surface !== null && scope.length > 0 && !scope.includes(surface))
+                continue;
+            keys.add(observationKey(signal));
+        }
+    }
+    return keys;
+}
+function sameRuntimeTree(previous, next) {
+    const before = previous.subject.runtimeTreeDigest;
+    const after = next.subject.runtimeTreeDigest;
+    return before !== null && after !== null && before === after;
+}
+/**
+ * Only documentation-only evidence about a surface both plans call documentation ignores the
+ * runtime tree. A gate delta review justifies a budget with durations measured on the code the
+ * gate runs, and a documentation claim scoped to a runtime surface describes its behavior.
+ */
+function dependsOnRuntimeTree(requirement, before, after) {
+    return (before.role !== "documentation" ||
+        after.role !== "documentation" ||
+        !requirement.subjects.every((subject) => subject === "documentation"));
+}
+function surfaceReuseBlocker(previous, next, requirement, earlier, surface, runtimeTree) {
+    if (!earlier.surfaces.includes(surface))
+        return "surface newly in scope";
+    const before = previous.subject.surfaces.find((entry) => entry.id === surface);
+    const after = next.subject.surfaces.find((entry) => entry.id === surface);
+    if (!before?.contentDigest || !after?.contentDigest)
+        return "surface digest unknown";
+    if (before.contentDigest !== after.contentDigest)
+        return "surface content changed";
+    if (dependsOnRuntimeTree(requirement, before, after) && !runtimeTree) {
+        return "runtime tree changed or unknown";
+    }
+    const testsBefore = exercisers(previous.subject.surfaces, surface);
+    const testsAfter = exercisers(next.subject.surfaces, surface);
+    const key = (tests) => tests.map((test) => `${test.id}=${test.contentDigest ?? "unknown"}`).join("|");
+    if ([...testsBefore, ...testsAfter].some((test) => test.contentDigest === null) ||
+        key(testsBefore) !== key(testsAfter)) {
+        return "a test or proof surface exercising the surface changed";
+    }
+    return null;
+}
+/**
+ * Proof surfaces that exercise `surface`: a test without an `exercises` list exercises everything;
+ * a proof-infrastructure surface counts where it names the surface.
+ */
+function exercisers(surfaces, surface) {
+    return surfaces
+        .filter((entry) => (entry.role === "test" &&
+        (entry.exercises === null || entry.exercises.includes(surface))) ||
+        (entry.role === "proof-infrastructure" &&
+            entry.exercises !== null &&
+            entry.exercises.includes(surface)))
+        .sort((left, right) => compareOrdinal(left.id, right.id));
+}
+//# sourceMappingURL=carry-over.js.map

package/dist/proof-planner/carry-over.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"carry-over.js","sourceRoot":"","sources":["../../src/proof-planner/carry-over.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAwB,YAAY,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,EAGL,kBAAkB,GAGnB,MAAM,WAAW,CAAC;AAqBnB,MAAM,UAAU,iBAAiB,CAAC,QAAuB,EAAE,IAAmB;IAC5E,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzE,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzE,MAAM,WAAW,GAAG,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACpD,6FAA6F;IAC7F,4FAA4F;IAC5F,gGAAgG;IAChG,sFAAsF;IACtF,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG;QACjB,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC;QAC3C,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CACpB,CAAC,MAAM,EAAE,EAAE,CACT,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CACxF;KACF,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5F,MAAM,YAAY,GAAG,CAAC,OAAsB,EAAiB,EAAE;QAC7D,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CACtF,CAAC;QACF,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC;YACxB,CAAC,CAAC,2BAA2B,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC1F,CAAC,CAAC,IAAI,CAAC;IACX,CAAC,CAAC;IACF,6EAA6E;IAC7E,MAAM,YAAY,GAAG,CACnB,WAAgC,EAChC,OAA4B,EAC5B,OAAsB,EACP,EAAE;QACjB,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,6CAA6C,CAAC;QAC3F,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9C,CAAC,CAAC,wDAAwD;YAC1D,CAAC,CAAC,IAAI,CAAC;IACX,CAAC,CAAC;IAEF,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,gBAAgB,CAAC,IAAI,CAC5C,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI;YACnC,SAAS,CAAC,cAAc,KAAK,WAAW,CAAC,cAAc,CAC1D,CAAC;QACF,MAAM,KAAK,GAAG,CAAC,QAAkB,EAAE,MAAc,EAAkB,EAAE,CAAC,CAAC;YACrE,IAAI,EAAE,WAAW,CAAC,IAAI;YACtB,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC;YAChC,MAAM;SACP,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,2CAA2C,CAAC,CAAC,CAAC;YAC3F,SAAS;QACX,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;YAC3C,MAAM,OAAO,GAAG,WAAW;gBACzB,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBAClE,CAAC,CAAC,iCAAiC,CAAC;YACtC,IAAI,OAAO,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC,CAAC;;gBACtF,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,uFAAuF;QACvF,uFAAuF;QACvF,IAAI,WAAW,CAAC,OAAO,KAAK,gBAAgB,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClF,MAAM,OAAO,GAAG,CAAC,YAAY;gBAC3B,CAAC,CAAC,6BAA6B;gBAC/B,CAAC,CAAC,WAAW,CAAC,OAAO,KAAK,gBAAgB;oBACxC,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YACvE,IAAI,OAAO,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC;;gBAC7E,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC3C,MAAM,MAAM,GACV,mBAAmB,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC;gBAC/E,YAAY,CAAC,OAAO,CAAC;gBACrB,YAAY,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC9C,IAAI,MAAM,KAAK,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;gBACnC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC,CAAC;QAC7F,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAoB,EAAE,KAAqB,EAAE,EAAE,CAC5D,cAAc,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF,OAAO;QACL,gBAAgB,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ;QAC3C,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ;QACnC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;QAC9B,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;KACrC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,IAAmB,EAAE,MAA4B;IAC1E,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,mBAAmB;YAAE,OAAO,IAAI,CAAC;QAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB;YAAE,SAAS;QAC7E,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC1C,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,iGAAiG;AACjG,SAAS,iBAAiB,CACxB,QAAuB,EACvB,IAAmB,EACnB,MAA4B;IAE5B,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9C,iGAAiG;IACjG,OAAO,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,+EAA+E;AAC/E,SAAS,cAAc,CAAC,MAA4B;IAClD,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,MAAM,CAAC,EAAE;QACT,MAAM,CAAC,QAAQ;QACf,MAAM,CAAC,MAAM;QACb,MAAM,CAAC,cAAc;QACrB,MAAM,CAAC,SAAS;QAChB,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE;QACxB,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;KAC5B,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CACzB,IAAmB,EACnB,WAAgC,EAChC,OAAsB;IAEtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QACzF,2FAA2F;QAC3F,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;YAC9D,IAAI,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YACzB,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC9B,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC/E,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,QAAuB,EAAE,IAAmB;IACnE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC7C,OAAO,MAAM,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,CAAC;AAC/D,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAC3B,WAAgC,EAChC,MAAmB,EACnB,KAAkB;IAElB,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,KAAK,CAAC,IAAI,KAAK,eAAe;QAC9B,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,eAAe,CAAC,CACtE,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAuB,EACvB,IAAmB,EACnB,WAAgC,EAChC,OAA4B,EAC5B,OAAe,EACf,WAAoB;IAEpB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,wBAAwB,CAAC;IACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,MAAM,EAAE,aAAa,IAAI,CAAC,KAAK,EAAE,aAAa;QAAE,OAAO,wBAAwB,CAAC;IACrF,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa;QAAE,OAAO,yBAAyB,CAAC;IACnF,IAAI,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACrE,OAAO,iCAAiC,CAAC;IAC3C,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,CAAC,KAAoB,EAAE,EAAE,CACnC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,aAAa,IAAI,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,IACE,CAAC,GAAG,WAAW,EAAE,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC;QAC3E,GAAG,CAAC,WAAW,CAAC,KAAK,GAAG,CAAC,UAAU,CAAC,EACpC,CAAC;QACD,OAAO,wDAAwD,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CAAC,QAAoC,EAAE,OAAe;IACvE,OAAO,QAAQ;SACZ,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;QACpB,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAClE,CAAC,KAAK,CAAC,IAAI,KAAK,sBAAsB;YACpC,KAAK,CAAC,SAAS,KAAK,IAAI;YACxB,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CACvC;SACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC"}

package/dist/proof-planner/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Internal proof planner. It decides which evidence is proportionate for a change; AssertLedger
+ * decides whether that evidence exists and is valid. Deliberately not exported from the package
+ * entry points (see docs/proof-planner.md for the extraction criteria).
+ */
+export * from "./carry-over.js";
+export * from "./model.js";
+export * from "./plan.js";
+export * from "./policy.js";
+export * from "./render.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/proof-planner/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proof-planner/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}

package/dist/proof-planner/index.js

@@ -0,0 +1,11 @@
+/**
+ * Internal proof planner. It decides which evidence is proportionate for a change; AssertLedger
+ * decides whether that evidence exists and is valid. Deliberately not exported from the package
+ * entry points (see docs/proof-planner.md for the extraction criteria).
+ */
+export * from "./carry-over.js";
+export * from "./model.js";
+export * from "./plan.js";
+export * from "./policy.js";
+export * from "./render.js";
+//# sourceMappingURL=index.js.map

package/dist/proof-planner/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/proof-planner/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC"}

package/dist/proof-planner/model.d.ts

@@ -0,0 +1,272 @@
+import * as z from "zod";
+export declare const PROOF_PLANNER_SCHEMA_VERSION: "1.0.0";
+export declare class ProofPlannerError extends Error {
+    readonly code: string;
+    constructor(code: string, detail?: string);
+}
+export declare const ASSURANCE_LEVELS: readonly ["P0", "P1", "P2", "P3", "P4", "P5"];
+export type AssuranceLevel = (typeof ASSURANCE_LEVELS)[number];
+export declare const SURFACE_ROLES: readonly ["product", "execution-context", "evaluation", "test", "proof-infrastructure", "documentation"];
+export type SurfaceRole = (typeof SURFACE_ROLES)[number];
+export declare const SURFACE_REACHES: readonly ["direct", "transitive"];
+export declare const SURFACE_RUNTIMES: readonly ["none", "build", "offline-analysis", "live"];
+export declare const BOUNDARIES: readonly ["protocol", "persistence", "replay", "analysis", "decision", "admission", "security", "public-api", "benchmark", "holdout"];
+export type Boundary = (typeof BOUNDARIES)[number];
+export declare const BEHAVIOR_CHANGES: readonly ["none", "suspected", "fix", "feature"];
+export declare const COVERAGES: readonly ["tested", "untested", "unknown"];
+export declare const CLAIM_KINDS: readonly ["behavior", "equivalence", "invariant", "compatibility", "empirical", "documentation"];
+export declare const CLAIM_CRITICALITIES: readonly ["low", "standard", "high", "critical"];
+export declare const CLAIM_SCOPES: readonly ["local", "component", "system"];
+export declare const PRODUCT_SIGNALS: readonly ["UNEXPECTED_BEHAVIOR", "UNPLANNED_IMPACT", "UNKNOWN_DEPENDENCY", "LIVE_RUNTIME_TOUCHED", "CORPUS_DIVERGENCE", "WITNESS_NOT_CAUSAL", "REGRESSION"];
+export declare const INFRASTRUCTURE_SIGNALS: readonly ["TIMEOUT", "ENVIRONMENT_FAILURE", "TOOLING_FAILURE"];
+export type ProductSignal = (typeof PRODUCT_SIGNALS)[number];
+export type InfrastructureSignal = (typeof INFRASTRUCTURE_SIGNALS)[number];
+export type SignalName = ProductSignal | InfrastructureSignal;
+export declare const ATTRIBUTION_BASES: readonly ["REPRODUCES_ON_BASELINE", "PASSES_ON_SAME_REVISION", "OUTSIDE_IMPACT", "INFRASTRUCTURE_ERROR_REPORTED", "DECLARED_ENVIRONMENT_FACTOR"];
+export type AttributionBasis = (typeof ATTRIBUTION_BASES)[number];
+/** What a piece of evidence is about. Surface roles map onto these subjects. */
+export declare const EVIDENCE_SUBJECTS: readonly ["product", "evaluation", "proof-infrastructure", "documentation"];
+export type EvidenceSubject = (typeof EVIDENCE_SUBJECTS)[number];
+export declare const EVIDENCE_WEIGHTS: readonly ["targeted", "broad", "ceremony"];
+export type EvidenceWeight = (typeof EVIDENCE_WEIGHTS)[number];
+/**
+ * What a piece of evidence stays valid for.
+ * - exact-revision: only the revision it was produced on.
+ * - surface-content: each scoped surface, while that surface, the test and proof-infrastructure
+ *   surfaces that exercise it, the baseline and (for every kind that is not documentation-only)
+ *   the runtime tree keep their digests. Without a scope it is revision-wide: exact-revision.
+ * - runtime-tree: any revision with the same baseline and runtime tree digest.
+ */
+export declare const EVIDENCE_BINDINGS: readonly ["exact-revision", "surface-content", "runtime-tree"];
+export type EvidenceBinding = (typeof EVIDENCE_BINDINGS)[number];
+export declare const EVIDENCE_VERIFICATIONS: readonly ["executed", "attested"];
+export declare const EvidenceKindIdSchema: z.ZodString;
+export declare const SurfaceSchema: z.ZodObject<{
+    id: z.ZodString;
+    role: z.ZodEnum<{
+        documentation: "documentation";
+        evaluation: "evaluation";
+        "execution-context": "execution-context";
+        product: "product";
+        "proof-infrastructure": "proof-infrastructure";
+        test: "test";
+    }>;
+    reach: z.ZodEnum<{
+        direct: "direct";
+        transitive: "transitive";
+    }>;
+    runtime: z.ZodEnum<{
+        build: "build";
+        live: "live";
+        none: "none";
+        "offline-analysis": "offline-analysis";
+    }>;
+    boundaries: z.ZodArray<z.ZodEnum<{
+        admission: "admission";
+        analysis: "analysis";
+        benchmark: "benchmark";
+        decision: "decision";
+        holdout: "holdout";
+        persistence: "persistence";
+        protocol: "protocol";
+        "public-api": "public-api";
+        replay: "replay";
+        security: "security";
+    }>>;
+    behaviorChange: z.ZodEnum<{
+        feature: "feature";
+        fix: "fix";
+        none: "none";
+        suspected: "suspected";
+    }>;
+    coverage: z.ZodEnum<{
+        tested: "tested";
+        unknown: "unknown";
+        untested: "untested";
+    }>;
+    environmentSensitive: z.ZodBoolean;
+    contentDigest: z.ZodOptional<z.ZodString>;
+    exercises: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export type Surface = z.infer<typeof SurfaceSchema>;
+export declare const ChangeImpactSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    revision: z.ZodObject<{
+        id: z.ZodString;
+        baseline: z.ZodString;
+        runtimeTreeDigest: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    surfaces: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            documentation: "documentation";
+            evaluation: "evaluation";
+            "execution-context": "execution-context";
+            product: "product";
+            "proof-infrastructure": "proof-infrastructure";
+            test: "test";
+        }>;
+        reach: z.ZodEnum<{
+            direct: "direct";
+            transitive: "transitive";
+        }>;
+        runtime: z.ZodEnum<{
+            build: "build";
+            live: "live";
+            none: "none";
+            "offline-analysis": "offline-analysis";
+        }>;
+        boundaries: z.ZodArray<z.ZodEnum<{
+            admission: "admission";
+            analysis: "analysis";
+            benchmark: "benchmark";
+            decision: "decision";
+            holdout: "holdout";
+            persistence: "persistence";
+            protocol: "protocol";
+            "public-api": "public-api";
+            replay: "replay";
+            security: "security";
+        }>>;
+        behaviorChange: z.ZodEnum<{
+            feature: "feature";
+            fix: "fix";
+            none: "none";
+            suspected: "suspected";
+        }>;
+        coverage: z.ZodEnum<{
+            tested: "tested";
+            unknown: "unknown";
+            untested: "untested";
+        }>;
+        environmentSensitive: z.ZodBoolean;
+        contentDigest: z.ZodOptional<z.ZodString>;
+        exercises: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    analysis: z.ZodObject<{
+        method: z.ZodEnum<{
+            declared: "declared";
+            "static-graph": "static-graph";
+        }>;
+        completeness: z.ZodEnum<{
+            complete: "complete";
+            partial: "partial";
+            unknown: "unknown";
+        }>;
+        uncertainty: z.ZodEnum<{
+            high: "high";
+            low: "low";
+            medium: "medium";
+        }>;
+        unknowns: z.ZodArray<z.ZodObject<{
+            description: z.ZodString;
+            surfaces: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        omittedSurfaceCount: z.ZodInt;
+    }, z.core.$strict>;
+    reversibility: z.ZodEnum<{
+        costly: "costly";
+        irreversible: "irreversible";
+        reversible: "reversible";
+        trivial: "trivial";
+    }>;
+    causalWitness: z.ZodEnum<{
+        available: "available";
+        feasible: "feasible";
+        infeasible: "infeasible";
+        "not-applicable": "not-applicable";
+    }>;
+}, z.core.$strict>;
+export type ChangeImpact = z.infer<typeof ChangeImpactSchema>;
+export declare const AssuranceClaimSchema: z.ZodObject<{
+    id: z.ZodString;
+    statement: z.ZodString;
+    kind: z.ZodEnum<{
+        behavior: "behavior";
+        compatibility: "compatibility";
+        documentation: "documentation";
+        empirical: "empirical";
+        equivalence: "equivalence";
+        invariant: "invariant";
+    }>;
+    criticality: z.ZodEnum<{
+        critical: "critical";
+        high: "high";
+        low: "low";
+        standard: "standard";
+    }>;
+    scope: z.ZodEnum<{
+        component: "component";
+        local: "local";
+        system: "system";
+    }>;
+    surfaces: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export type AssuranceClaim = z.infer<typeof AssuranceClaimSchema>;
+export declare const ProofSignalSchema: z.ZodObject<{
+    id: z.ZodString;
+    revision: z.ZodString;
+    baseline: z.ZodOptional<z.ZodString>;
+    runtimeTreeDigest: z.ZodOptional<z.ZodString>;
+    signal: z.ZodEnum<{
+        CORPUS_DIVERGENCE: "CORPUS_DIVERGENCE";
+        ENVIRONMENT_FAILURE: "ENVIRONMENT_FAILURE";
+        LIVE_RUNTIME_TOUCHED: "LIVE_RUNTIME_TOUCHED";
+        REGRESSION: "REGRESSION";
+        TIMEOUT: "TIMEOUT";
+        TOOLING_FAILURE: "TOOLING_FAILURE";
+        UNEXPECTED_BEHAVIOR: "UNEXPECTED_BEHAVIOR";
+        UNKNOWN_DEPENDENCY: "UNKNOWN_DEPENDENCY";
+        UNPLANNED_IMPACT: "UNPLANNED_IMPACT";
+        WITNESS_NOT_CAUSAL: "WITNESS_NOT_CAUSAL";
+    }>;
+    surfaces: z.ZodArray<z.ZodString>;
+    exercisesImpactedSurfaces: z.ZodEnum<{
+        no: "no";
+        unknown: "unknown";
+        yes: "yes";
+    }>;
+    attribution: z.ZodArray<z.ZodEnum<{
+        DECLARED_ENVIRONMENT_FACTOR: "DECLARED_ENVIRONMENT_FACTOR";
+        INFRASTRUCTURE_ERROR_REPORTED: "INFRASTRUCTURE_ERROR_REPORTED";
+        OUTSIDE_IMPACT: "OUTSIDE_IMPACT";
+        PASSES_ON_SAME_REVISION: "PASSES_ON_SAME_REVISION";
+        REPRODUCES_ON_BASELINE: "REPRODUCES_ON_BASELINE";
+    }>>;
+    detail: z.ZodString;
+}, z.core.$strict>;
+export type ProofSignal = z.infer<typeof ProofSignalSchema>;
+export declare const EvidenceKindSpecSchema: z.ZodObject<{
+    id: z.ZodString;
+    title: z.ZodString;
+    description: z.ZodString;
+    weight: z.ZodEnum<{
+        broad: "broad";
+        ceremony: "ceremony";
+        targeted: "targeted";
+    }>;
+    binding: z.ZodEnum<{
+        "exact-revision": "exact-revision";
+        "runtime-tree": "runtime-tree";
+        "surface-content": "surface-content";
+    }>;
+    subjects: z.ZodArray<z.ZodEnum<{
+        documentation: "documentation";
+        evaluation: "evaluation";
+        product: "product";
+        "proof-infrastructure": "proof-infrastructure";
+    }>>;
+    verification: z.ZodEnum<{
+        attested: "attested";
+        executed: "executed";
+    }>;
+    semanticsVersion: z.ZodInt;
+}, z.core.$strict>;
+export type EvidenceKindSpec = z.infer<typeof EvidenceKindSpecSchema>;
+export declare function subjectOfRole(role: SurfaceRole): EvidenceSubject;
+export declare function levelIndex(level: AssuranceLevel): number;
+export declare function levelAt(index: number): AssuranceLevel;
+/** Ordinal (UTF-16 code unit) comparison; never locale-dependent. */
+export declare function compareOrdinal(left: string, right: string): number;
+export declare function sortedUnique<T extends string>(values: Iterable<T>): T[];
+//# sourceMappingURL=model.d.ts.map

package/dist/proof-planner/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/proof-planner/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAEzB,eAAO,MAAM,4BAA4B,EAAG,OAAgB,CAAC;AAE7D,qBAAa,iBAAkB,SAAQ,KAAK;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB,YAAY,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAIxC;CACF;AAED,eAAO,MAAM,gBAAgB,YAAI,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAU,CAAC;AAC9E,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE/D,eAAO,MAAM,aAAa,YACxB,SAAS,EACT,mBAAmB,EACnB,YAAY,EACZ,MAAM,EACN,sBAAsB,EACtB,eAAe,CACP,CAAC;AACX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AACzD,eAAO,MAAM,eAAe,YAAI,QAAQ,EAAE,YAAY,CAAU,CAAC;AACjE,eAAO,MAAM,gBAAgB,YAAI,MAAM,EAAE,OAAO,EAAE,kBAAkB,EAAE,MAAM,CAAU,CAAC;AACvF,eAAO,MAAM,UAAU,YACrB,UAAU,EACV,aAAa,EACb,QAAQ,EACR,UAAU,EACV,UAAU,EACV,WAAW,EACX,UAAU,EACV,YAAY,EACZ,WAAW,EACX,SAAS,CACD,CAAC;AACX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AACnD,eAAO,MAAM,gBAAgB,YAAI,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,CAAU,CAAC;AACjF,eAAO,MAAM,SAAS,YAAI,QAAQ,EAAE,UAAU,EAAE,SAAS,CAAU,CAAC;AAEpE,eAAO,MAAM,WAAW,YACtB,UAAU,EACV,aAAa,EACb,WAAW,EACX,eAAe,EACf,WAAW,EACX,eAAe,CACP,CAAC;AACX,eAAO,MAAM,mBAAmB,YAAI,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,CAAU,CAAC;AACpF,eAAO,MAAM,YAAY,YAAI,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAU,CAAC;AAEtE,eAAO,MAAM,eAAe,YAC1B,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,EACtB,mBAAmB,EACnB,oBAAoB,EACpB,YAAY,CACJ,CAAC;AACX,eAAO,MAAM,sBAAsB,YACjC,SAAS,EACT,qBAAqB,EACrB,iBAAiB,CACT,CAAC;AACX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAC7D,MAAM,MAAM,oBAAoB,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAC3E,MAAM,MAAM,UAAU,GAAG,aAAa,GAAG,oBAAoB,CAAC;AAC9D,eAAO,MAAM,iBAAiB,YAC5B,wBAAwB,EACxB,yBAAyB,EACzB,gBAAgB,EAChB,+BAA+B,EAC/B,6BAA6B,CACrB,CAAC;AACX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAElE,gFAAgF;AAChF,eAAO,MAAM,iBAAiB,YAC5B,SAAS,EACT,YAAY,EACZ,sBAAsB,EACtB,eAAe,CACP,CAAC;AACX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AACjE,eAAO,MAAM,gBAAgB,YAAI,UAAU,EAAE,OAAO,EAAE,UAAU,CAAU,CAAC;AAC3E,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAC/D;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,YAAI,gBAAgB,EAAE,iBAAiB,EAAE,cAAc,CAAU,CAAC;AAChG,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AACjE,eAAO,MAAM,sBAAsB,YAAI,UAAU,EAAE,UAAU,CAAU,CAAC;AAcxE,eAAO,MAAM,oBAAoB,aAIJ,CAAC;AAE9B,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAoBxB,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0B7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;kBAO/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAe5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;kBAUjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,wBAAgB,aAAa,CAAC,IAAI,EAAE,WAAW,GAAG,eAAe,CAahE;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAExD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,cAAc,CAGrD;AAED,qEAAqE;AACrE,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAIlE;AAED,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAEvE"}