c64-kb 0.17.0

package/dist/tools/query/compatibility/rules.js

@@ -0,0 +1,337 @@
+/**
+ * The compatibility verdict as a pure function of the fetched facts: no
+ * services, so every rule can be tested with facts built by hand.
+ */
+import { requiresClosure } from "./closure.js";
+import { factsOf, inputPairs, pairKey } from "./facts.js";
+import { hardRules } from "./hard-rules.js";
+import { absorbInto, unitRules } from "./unit-rules.js";
+import { clobberKey, kernalClobberRules } from "./kernal-zp-rule.js";
+/** Accumulates band separations the way each rule call reported them. */
+function mergeSeparated(list, s) {
+    if (!s)
+        return;
+    const hit = list.find((x) => (x.a === s.a && x.b === s.b) || (x.a === s.b && x.b === s.a));
+    if (!hit) {
+        list.push({ ...s, rules: [...s.rules] });
+        return;
+    }
+    for (const rule of s.rules)
+        if (!hit.rules.includes(rule))
+            hit.rules.push(rule);
+}
+class RuleRunner {
+    separated = [];
+    all;
+    constructor(all) {
+        this.all = all;
+    }
+    run(a, b) {
+        const r = hardRules({ name: a, facts: factsOf(this.all, a) }, { name: b, facts: factsOf(this.all, b) });
+        mergeSeparated(this.separated, r.separated);
+        return r.hits;
+    }
+    side(name) {
+        return { name, claims: factsOf(this.all, name).claims };
+    }
+    /**
+     * The unit-claim rules (schema 25). `rel` says which of the pair requires
+     * the other; `absorb` names, per side, the input an implied prerequisite
+     * is seen from, whose held units it then does not claim again.
+     */
+    units(a, b, rel, absorb = {}) {
+        const sa = absorb.a ? absorbInto(this.side(a), this.side(absorb.a)) : this.side(a);
+        const sb = absorb.b ? absorbInto(this.side(b), this.side(absorb.b)) : this.side(b);
+        return [...unitRules(sa, sb, rel), ...this.kernal(sa, sb, absorb.a ?? a, absorb.b ?? b)];
+    }
+    /** Each routine hit reported so far, keyed by the inputs it is attributed to. */
+    reported = new Set();
+    /**
+     * kernal_clobbers_zp (schema 26) between two sides, attributed to inputs
+     * `inA` and `inB`. A routine hit already reported for the same inputs,
+     * routine and bytes is dropped: an input and its prerequisite that both
+     * call CHROUT give one finding, not two.
+     */
+    kernal(sa, sb, inA, inB) {
+        const withKernal = (s) => ({ ...s, kernal: factsOf(this.all, s.name).kernal });
+        const input = (n) => (n === sa.name ? inA : inB);
+        return kernalClobberRules(withKernal(sa), withKernal(sb), this.all.kernalClobbers ?? new Map(), (user, holder, h) => {
+            const key = clobberKey(input(user.name), input(holder.name), h);
+            if (this.reported.has(key))
+                return false;
+            this.reported.add(key);
+            return true;
+        });
+    }
+    /** kernal_clobbers_zp between two techniques of one input's own chain. */
+    ownChain(u, v, input) {
+        return this.kernal(this.side(u), this.side(v), input, input);
+    }
+}
+const NO_RELATION = { aRequiresB: false, bRequiresA: false };
+/**
+ * Each input pair. Named techniques are checked as named, even when one
+ * requires the other: the caller put both on the list, and the resolution
+ * says how to keep them apart.
+ */
+function inputPairConflicts(all, closure, rules) {
+    const conflicts = [];
+    for (const { i, j, a, b } of inputPairs(all.techniques)) {
+        // A named technique and its own prerequisite hold units together by
+        // design; the unit rules are told which one requires the other.
+        const rel = {
+            aRequiresB: closure.closureOf(a).includes(b),
+            bRequiresA: closure.closureOf(b).includes(a),
+        };
+        for (const h of rules.units(a, b, rel))
+            conflicts.push({ a, b, ...h });
+        for (const h of rules.run(a, b)) {
+            conflicts.push({
+                a,
+                b,
+                kind: h.kind,
+                severity: "hard",
+                shared: h.shared,
+                rationale: h.rationale,
+                resolution: h.resolution,
+            });
+        }
+        const regs = all.sharedRegisters.get(pairKey(i, j)) ?? [];
+        if (regs.length > 0) {
+            conflicts.push({
+                a,
+                b,
+                kind: "shared_register",
+                severity: "soft",
+                shared: [...regs],
+                rationale: `Both techniques touch register(s) ${regs.join(", ")}. This says they write the same registers, not that they fight: keep each one's writes in its own raster region, or have one of them own the register and the other read a shadow copy.`,
+            });
+        }
+        const kernal = all.sharedKernal.get(pairKey(i, j)) ?? [];
+        if (kernal.length > 0) {
+            conflicts.push({
+                a,
+                b,
+                kind: "shared_kernal",
+                severity: "soft",
+                shared: [...kernal],
+                rationale: `Both techniques call KERNAL routine(s) ${kernal.join(", ")}. Concurrent use may clobber KERNAL state.`,
+            });
+        }
+    }
+    return conflicts;
+}
+/**
+ * The closure members to test for input pair (x, y): x's implied techniques
+ * against y, y's against x, and the two implied sets against each other. A
+ * candidate is dropped when the other input declared it as its own
+ * prerequisite too (the okOn sets).
+ */
+function closureCandidates(closure, x, y) {
+    const cx = closure.closureOf(x);
+    const cy = closure.closureOf(y);
+    const okOnX = new Set([x, ...cx]);
+    const okOnY = new Set([y, ...cy]);
+    const fromX = cx.filter((u) => !okOnY.has(u));
+    const fromY = cy.filter((v) => !okOnX.has(v));
+    return [
+        ...fromX.map((u) => [u, y]),
+        ...fromY.map((v) => [x, v]),
+        ...fromX.flatMap((u) => fromY.filter((v) => u !== v).map((v) => [u, v])),
+    ];
+}
+/**
+ * Prerequisite closure. A technique is never reported against something
+ * it says it runs on top of, from either direction: besides the okOn sets,
+ * a pair is skipped when one member is on the other's own REQUIRES chain —
+ * with ifli_image → fli_image → stable_raster_irq and stable_raster_irq
+ * named, fli_image is not turned against the IRQ it declared. A hit is its
+ * own kind, prerequisite_conflict, attributed to the input techniques with
+ * the implied ones in `via`; no technique's demand set is changed by this.
+ * The hard rules and the unit rules run here, the hit keeping its severity
+ * and its rule in underlying_kind; shared registers between a prerequisite
+ * and a named technique would be noise.
+ */
+function prerequisiteConflicts(all, closure, rules) {
+    const inputSet = new Set(all.techniques);
+    // Two named techniques are the input loop's business, whichever chain
+    // also reached them; and a pair where one declared the other as its
+    // prerequisite is never checked.
+    const skip = (u, v) => (inputSet.has(u) && inputSet.has(v)) || closure.reaches(u, v) || closure.reaches(v, u);
+    return inputPairs(all.techniques).flatMap(({ a: x, b: y }) => closureCandidates(closure, x, y)
+        .filter(([u, v]) => !skip(u, v))
+        .flatMap(([u, v]) => closureConflicts({ closure, rules, input: [x, y], member: [u, v] })));
+}
+/** Hard-rule hits between closure members u and v, attributed to inputs x and y. */
+function closureConflicts(opts) {
+    const [x, y] = opts.input;
+    const [u, v] = opts.member;
+    const via = [u, v].filter((n) => n !== x && n !== y);
+    const chains = [];
+    if (u !== x)
+        chains.push(opts.closure.describeChain(x, u));
+    if (v !== y)
+        chains.push(opts.closure.describeChain(y, v));
+    const chainText = chains.join("; ");
+    // An implied prerequisite's claims on units its input holds are the
+    // input's (absorbInto); the input's own pair reports them.
+    const absorb = { ...(u !== x ? { a: x } : {}), ...(v !== y ? { b: y } : {}) };
+    const hits = [
+        ...opts.rules.units(u, v, NO_RELATION, absorb),
+        ...opts.rules.run(u, v).map((h) => ({ ...h, severity: "hard" })),
+    ];
+    return hits.map((h) => ({
+        a: x,
+        b: y,
+        kind: "prerequisite_conflict",
+        underlying_kind: h.kind,
+        severity: h.severity,
+        shared: h.shared,
+        rationale: `${chainText}. ${h.rationale}`,
+        resolution: h.resolution,
+        via,
+    }));
+}
+/**
+ * kernal_clobbers_zp inside one input's own chain: the input against
+ * itself, against each technique its REQUIRES closure implies, and those
+ * against each other. The unit rules do not run here, since a technique and
+ * its prerequisite hold units together by design; a KERNAL call clobbers
+ * zero page whoever declared the bytes. a and b are both the input. Other
+ * named techniques are left to the input pairs.
+ */
+function ownChainConflicts(all, closure, rules) {
+    const inputSet = new Set(all.techniques);
+    // A pair of implied techniques two inputs share is reported once.
+    const done = new Set();
+    const out = [];
+    for (const x of all.techniques) {
+        const chain = [x, ...closure.closureOf(x).filter((t) => !inputSet.has(t))];
+        chain.forEach((u, i) => {
+            for (const v of chain.slice(i)) {
+                if (u !== x && v !== x) {
+                    if (done.has(`${u}|${v}`))
+                        continue;
+                    done.add(`${u}|${v}`);
+                }
+                for (const h of rules.ownChain(u, v, x))
+                    out.push(ownChainConflict(closure, x, [u, v], h));
+            }
+        });
+    }
+    return out;
+}
+function ownChainConflict(closure, x, members, h) {
+    const via = [...new Set(members.filter((n) => n !== x))];
+    if (via.length === 0)
+        return { a: x, b: x, ...h };
+    const chainText = via.map((m) => closure.describeChain(x, m)).join("; ");
+    return {
+        a: x,
+        b: x,
+        kind: "prerequisite_conflict",
+        underlying_kind: h.kind,
+        severity: h.severity,
+        shared: h.shared,
+        rationale: `${chainText}. ${h.rationale}`,
+        resolution: h.resolution,
+        via,
+    };
+}
+function verdictOf(conflicts) {
+    if (conflicts.some((c) => c.severity === "hard"))
+        return "incompatible";
+    // info (init_order) says what order keeps a pair working; it does not warn.
+    return conflicts.some((c) => c.severity === "soft") ? "warnings" : "compatible";
+}
+/**
+ * What the graph holds for each technique, so a technique the graph knows
+ * nothing about is named as such instead of passing as compatible.
+ */
+function dataCoverage(all, closure) {
+    const coverageOf = (t) => {
+        const F = factsOf(all, t);
+        return {
+            technique: t,
+            found: F.found,
+            registers: F.registers,
+            kernal_routines: F.kernal.length,
+            demands: [...F.demands].sort(),
+            ...(F.band ? { raster_band: F.band } : {}),
+            known: F.found &&
+                (F.registers > 0 || F.kernal.length > 0 || F.demands.size > 0 || F.claimsStated !== "unknown"),
+            claims: F.claimsStated,
+        };
+    };
+    return [
+        ...all.techniques.map(coverageOf),
+        ...closure.closureOnly.map((c) => ({
+            ...coverageOf(c),
+            implied_by: [...(closure.impliedBy.get(c) ?? [])].sort(),
+        })),
+    ];
+}
+/** Register and KERNAL nodes shared through recipes that implement two or more inputs. */
+function recipeInfrastructure(all) {
+    const byNode = new Map();
+    for (const use of all.recipeUses) {
+        if (!use.name)
+            continue;
+        // Only surface Register and KernalRoutine nodes
+        if (use.kind !== "Register" && use.kind !== "KernalRoutine")
+            continue;
+        const key = `${use.kind}:${use.name}`;
+        const entry = byNode.get(key) ?? { name: use.name, kind: use.kind, via: new Set() };
+        entry.via.add(use.recipe);
+        byNode.set(key, entry);
+    }
+    return [...byNode.values()].map((e) => ({ name: e.name, kind: e.kind, via_recipes: [...e.via] }));
+}
+/**
+ * Raster-discipline heuristic: if two or more inputs have category=raster
+ * or directly USE the screen-control / raster-line registers (D011/SCROLY
+ * or D012/RASTER — both alias forms because of the Register-dedup issue
+ * tracked as P5-15), one discipline entry.
+ */
+function needsRasterDiscipline(all) {
+    const raster = all.techniques.filter((t) => {
+        const F = factsOf(all, t);
+        return F.found && (F.category === "raster" || F.rasterRegisters > 0);
+    });
+    return raster.length >= 2;
+}
+function sharedInfrastructure(all, closure) {
+    // Prerequisites the set leans on without naming them. Not a conflict: a
+    // note that the check included them, and that they have to be set up.
+    const out = closure.closureOnly.map((c) => ({
+        name: c,
+        kind: "missing_prerequisite",
+        via_recipes: [],
+        required_by: [...(closure.impliedBy.get(c) ?? [])].sort(),
+    }));
+    if (all.techniques.length < 2)
+        return out;
+    out.push(...recipeInfrastructure(all));
+    if (needsRasterDiscipline(all)) {
+        out.push({ name: "raster_discipline", kind: "discipline", via_recipes: [] });
+    }
+    return out;
+}
+export function evaluateCompatibility(all) {
+    const closure = requiresClosure(all.techniques, all.requires);
+    const rules = new RuleRunner(all);
+    const conflicts = [
+        ...inputPairConflicts(all, closure, rules),
+        ...prerequisiteConflicts(all, closure, rules),
+        ...ownChainConflicts(all, closure, rules),
+    ];
+    return {
+        conflicts,
+        band_separated: rules.separated,
+        shared_infrastructure: sharedInfrastructure(all, closure),
+        data_coverage: dataCoverage(all, closure),
+        verdict: verdictOf(conflicts),
+        closureOnly: closure.closureOnly,
+    };
+}
+//# sourceMappingURL=rules.js.map

package/dist/tools/query/compatibility/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../../../src/tools/query/compatibility/rules.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,eAAe,EAAwB,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAA2B,MAAM,YAAY,CAAC;AACnF,OAAO,EAAE,SAAS,EAA2C,MAAM,iBAAiB,CAAC;AACrF,OAAO,EAAE,UAAU,EAAE,SAAS,EAAmD,MAAM,iBAAiB,CAAC;AACzG,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAqC,MAAM,qBAAqB,CAAC;AAWxG,yEAAyE;AACzE,SAAS,cAAc,CAAC,IAAqB,EAAE,CAAuB;IACpE,IAAI,CAAC,CAAC;QAAE,OAAO;IACf,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzC,OAAO;IACT,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK;QAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClF,CAAC;AAED,MAAM,UAAU;IACL,SAAS,GAAoB,EAAE,CAAC;IACxB,GAAG,CAAqB;IACzC,YAAY,GAAuB;QACjC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;IACjB,CAAC;IACD,GAAG,CAAC,CAAS,EAAE,CAAS;QACtB,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACxG,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QAC5C,OAAO,CAAC,CAAC,IAAI,CAAC;IAChB,CAAC;IACO,IAAI,CAAC,IAAY;QACvB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;IAC1D,CAAC;IACD;;;;OAIG;IACH,KAAK,CACH,CAAS,EACT,CAAS,EACT,GAAiB,EACjB,SAAqC,EAAE;QAEvC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnF,OAAO,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,iFAAiF;IAChE,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C;;;;;OAKG;IACH,MAAM,CAAC,EAAa,EAAE,EAAa,EAAE,GAAW,EAAE,GAAW;QAC3D,MAAM,UAAU,GAAG,CAAC,CAAY,EAAc,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACtG,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACzD,OAAO,kBAAkB,CACvB,UAAU,CAAC,EAAE,CAAC,EACd,UAAU,CAAC,EAAE,CAAC,EACd,IAAI,CAAC,GAAG,CAAC,cAAc,IAAI,IAAI,GAAG,EAAE,EACpC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE;YAClB,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAChE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,IAAI,CAAC;QACd,CAAC,CACF,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,QAAQ,CAAC,CAAS,EAAE,CAAS,EAAE,KAAa;QAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/D,CAAC;CACF;AAED,MAAM,WAAW,GAAiB,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAE3E;;;;GAIG;AACH,SAAS,kBAAkB,CACzB,GAAuB,EACvB,OAAwB,EACxB,KAAiB;IAEjB,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,KAAK,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACxD,oEAAoE;QACpE,gEAAgE;QAChE,MAAM,GAAG,GAAG;YACV,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC5C,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;SAC7C,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACvE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAChC,SAAS,CAAC,IAAI,CAAC;gBACb,CAAC;gBACD,CAAC;gBACD,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,UAAU,EAAE,CAAC,CAAC,UAAU;aACzB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,SAAS,CAAC,IAAI,CAAC;gBACb,CAAC;gBACD,CAAC;gBACD,IAAI,EAAE,iBAAiB;gBACvB,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC;gBACjB,SAAS,EAAE,qCAAqC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,yLAAyL;aACzP,CAAC,CAAC;QACL,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC;gBACb,CAAC;gBACD,CAAC;gBACD,IAAI,EAAE,eAAe;gBACrB,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;gBACnB,SAAS,EAAE,0CAA0C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C;aACnH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,OAAwB,EAAE,CAAS,EAAE,CAAS;IACvE,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO;QACL,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAC3F,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,qBAAqB,CAC5B,GAAuB,EACvB,OAAwB,EACxB,KAAiB;IAEjB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACzC,sEAAsE;IACtE,oEAAoE;IACpE,iCAAiC;IACjC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CACpC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzF,OAAO,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAC3D,iBAAiB,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;SAC7B,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC/B,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,gBAAgB,CAAC,IAKzB;IACC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACrD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,oEAAoE;IACpE,2DAA2D;IAC3D,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC9E,MAAM,IAAI,GAAwF;QAChG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC;QAC9C,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,MAAe,EAAE,CAAC,CAAC;KAC1E,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtB,CAAC,EAAE,CAAC;QACJ,CAAC,EAAE,CAAC;QACJ,IAAI,EAAE,uBAAuB;QAC7B,eAAe,EAAE,CAAC,CAAC,IAAI;QACvB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,SAAS,EAAE,GAAG,SAAS,KAAK,CAAC,CAAC,SAAS,EAAE;QACzC,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,GAAG;KACJ,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,GAAuB,EAAE,OAAwB,EAAE,KAAiB;IAC7F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACzC,kEAAkE;IAClE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAAE,SAAS;oBACpC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxB,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7F,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAwB,EACxB,CAAS,EACT,OAAyB,EACzB,CAAc;IAEd,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IAClD,MAAM,SAAS,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,OAAO;QACL,CAAC,EAAE,CAAC;QACJ,CAAC,EAAE,CAAC;QACJ,IAAI,EAAE,uBAAuB;QAC7B,eAAe,EAAE,CAAC,CAAC,IAAI;QACvB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,SAAS,EAAE,GAAG,SAAS,KAAK,CAAC,CAAC,SAAS,EAAE;QACzC,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,GAAG;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,SAA8B;IAC/C,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC;QAAE,OAAO,cAAc,CAAC;IACxE,4EAA4E;IAC5E,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;AAClF,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,GAAuB,EAAE,OAAwB;IACrE,MAAM,UAAU,GAAG,CAAC,CAAS,EAAY,EAAE;QACzC,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1B,OAAO;YACL,SAAS,EAAE,CAAC;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,eAAe,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM;YAChC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;YAC9B,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1C,KAAK,EACH,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC;YAChG,MAAM,EAAE,CAAC,CAAC,YAAY;SACvB,CAAC;IACJ,CAAC,CAAC;IACF,OAAO;QACL,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC;QACjC,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,UAAU,CAAC,CAAC,CAAC;YAChB,UAAU,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE;SACzD,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,SAAS,oBAAoB,CAAC,GAAuB;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkF,CAAC;IACzG,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,GAAG,CAAC,IAAI;YAAE,SAAS;QACxB,gDAAgD;QAChD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QACtE,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;QAC5F,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACpG,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,GAAuB;IACpD,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACzC,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1B,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAuB,EAAE,OAAwB;IAC7E,wEAAwE;IACxE,sEAAsE;IACtE,MAAM,GAAG,GAA2B,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,sBAAsB;QAC5B,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE;KAC1D,CAAC,CAAC,CAAC;IACJ,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC;IAC1C,GAAG,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,IAAI,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,GAAuB;IAC3D,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG;QAChB,GAAG,kBAAkB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;QAC1C,GAAG,qBAAqB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;QAC7C,GAAG,iBAAiB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC;KAC1C,CAAC;IACF,OAAO;QACL,SAAS;QACT,cAAc,EAAE,KAAK,CAAC,SAAS;QAC/B,qBAAqB,EAAE,oBAAoB,CAAC,GAAG,EAAE,OAAO,CAAC;QACzD,aAAa,EAAE,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC;QACzC,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC;QAC7B,WAAW,EAAE,OAAO,CAAC,WAAW;KACjC,CAAC;AACJ,CAAC"}

package/dist/tools/query/compatibility/unit-rules.js

@@ -0,0 +1,253 @@
+// Unit-claim rules for check_compatibility (schema 25). Pure: the caller
+// reads the CLAIMS edges and the REQUIRES relation from the graph and passes
+// them in, so the rules can be tested without a graph.
+//
+// Two claims on one HardwareUnit are set against each other by mode:
+//   owns × owns       unit_contention (hard); zero page: zero_page_overlap,
+//                     soft when a side is relocatable
+//   owns × shares     unit_shared (soft), the sharer follows the owner
+//   shares × shares   unit_shared (soft), both follow an owner
+//   owns × reads      unit_read_while_driven (soft)
+//   init × owns/shares init_order (info)
+// A technique and its own prerequisite hold units together by design, so
+// between them the ownership rules do not run, and neither does unit_shared
+// when the one that requires the other is the owner (fli_image runs the
+// stable raster IRQ it requires inside its own handler). unit_shared still
+// runs when the sharer requires the owner: sfx_engine_beside_music requires
+// the player and must still be told to write after it.
+import { zeroPageRangesFromCanonical, formatZeroPageRanges, } from "../../../graph/claims.js";
+// The technique that hosts other raster effects as entries in its table.
+const CHAIN_HOST = "irq_chain_table";
+/** Bytes two canonical zero-page range strings ("02-0D,24-2F") share. */
+function zeroPageOverlap(a, b) {
+    const rb = zeroPageRangesFromCanonical(b);
+    const out = [];
+    for (const [a0, a1] of zeroPageRangesFromCanonical(a)) {
+        for (const [b0, b1] of rb) {
+            const lo = Math.max(a0, b0);
+            const hi = Math.min(a1, b1);
+            if (lo <= hi)
+                out.push([lo, hi]);
+        }
+    }
+    return out.sort((x, y) => x[0] - y[0]);
+}
+/** sprite_0, sprite_1, ... sprite_7 -> sprite_0-7, for the conflict text. */
+export function compressUnits(units) {
+    const out = [];
+    const sorted = [...new Set(units)].sort((x, y) => x.localeCompare(y, "en", { numeric: true }));
+    for (let i = 0; i < sorted.length; i++) {
+        const name = sorted[i] ?? "";
+        const m = /^(.*_)(\d+)$/.exec(name);
+        if (!m) {
+            out.push(name);
+            continue;
+        }
+        const [, stem = "", num = "0"] = m;
+        let j = i;
+        while (j + 1 < sorted.length && sorted[j + 1] === `${stem}${Number(num) + (j + 1 - i)}`)
+            j++;
+        out.push(j > i ? `${name}-${Number(num) + (j - i)}` : name);
+        i = j;
+    }
+    return out;
+}
+/** The unit two claims meet on, or null when they do not (different units, disjoint zero-page bytes). */
+function meetingUnit(ca, cb) {
+    if (ca.unit !== cb.unit)
+        return null;
+    if (ca.unit !== "zero_page")
+        return ca.unit;
+    const bytes = zeroPageOverlap(ca.ranges ?? "", cb.ranges ?? "");
+    if (bytes.length === 0)
+        return null;
+    return `zero_page $${formatZeroPageRanges(bytes).replace(/,/g, ",$").replace(/-/g, "-$")}`;
+}
+/** Two owners of the same zero-page bytes: hard, soft when a side can be relocated. */
+function matchZeroPage({ ca, cb, a, b, unit }) {
+    const relocatable = [ca.relocatable ? a.name : null, cb.relocatable ? b.name : null].filter((x) => x !== null);
+    return {
+        kind: "zero_page_overlap",
+        severity: relocatable.length > 0 ? "soft" : "hard",
+        first: a,
+        second: b,
+        unit,
+        relocatable,
+        bothShare: false,
+    };
+}
+/** The rule two modes on one unit fire, with the pair ordered as its text reads. */
+function matchModes({ ca, cb, a, b, rel, unit }) {
+    const related = rel.aRequiresB || rel.bRequiresA;
+    const is = (x, y) => ca.mode === x && cb.mode === y;
+    const has = (x, y) => is(x, y) || is(y, x);
+    // [first, second]: the side holding firstMode first.
+    const order = (firstMode) => ca.mode === firstMode ? { first: a, second: b } : { first: b, second: a };
+    const base = { unit, bothShare: false };
+    if (has("owns", "owns")) {
+        if (related)
+            return null;
+        if (ca.unit === "zero_page")
+            return matchZeroPage({ ca, cb, a, b, rel, unit });
+        return { ...base, kind: "unit_contention", severity: "hard", first: a, second: b };
+    }
+    if (has("owns", "shares")) {
+        const o = order("owns");
+        const ownerRequiresSharer = o.first === a ? rel.aRequiresB : rel.bRequiresA;
+        if (ownerRequiresSharer)
+            return null;
+        return { ...base, kind: "unit_shared", severity: "soft", ...o };
+    }
+    if (has("shares", "shares")) {
+        if (related)
+            return null;
+        return { ...base, kind: "unit_shared", severity: "soft", first: a, second: b, bothShare: true };
+    }
+    if (has("owns", "reads"))
+        return { ...base, kind: "unit_read_while_driven", severity: "soft", ...order("owns") };
+    if (has("init", "owns") || has("init", "shares"))
+        return { ...base, kind: "init_order", severity: "info", ...order("init") };
+    return null;
+}
+/** File a match under its rule and ordered pair, so one hit lists every unit it covers. */
+function addMatch(byKey, m) {
+    const key = `${m.kind}|${m.severity}|${m.first.name}|${m.second.name}|${m.bothShare}`;
+    let e = byKey.get(key);
+    if (!e) {
+        e = { ...m, units: [], relocatable: [] };
+        byKey.set(key, e);
+    }
+    e.units.push(m.unit);
+    for (const r of m.relocatable ?? [])
+        if (!e.relocatable.includes(r))
+            e.relocatable.push(r);
+}
+function collect(a, b, rel) {
+    const byKey = new Map();
+    for (const ca of a.claims) {
+        for (const cb of b.claims) {
+            const unit = meetingUnit(ca, cb);
+            const m = unit === null ? null : matchModes({ ca, cb, a, b, rel, unit });
+            if (m)
+                addMatch(byKey, m);
+        }
+    }
+    return [...byKey.values()];
+}
+function contentionText(e, list) {
+    const { first, second } = e;
+    const rationale = `Both ${first.name} and ${second.name} own ${list}: each writes or holds it every frame and expects no one else to.`;
+    const others = e.units.length > 1;
+    if (e.units.includes("vic_raster_irq")) {
+        const host = [first.name, second.name].find((n) => n === CHAIN_HOST);
+        const guest = host === first.name ? second.name : first.name;
+        const rest = others ? "; for the other units, give one technique different ones" : "";
+        return {
+            rationale,
+            resolution: host
+                ? `${host} is the host: rewrite ${guest}'s raster handler(s) as entries in ${host}'s table, so the table alone programs $D012 and ${guest} runs inside it${rest}.`
+                : `There is one raster compare. Run both as handlers in one interrupt chain (irq_chain_table): one technique owns $D012 and the other's handler becomes a chain entry that shares it${others ? "; for the other units, give one technique different ones (another sprite range, another voice)" : ""}.`,
+        };
+    }
+    return {
+        rationale,
+        resolution: `Give one of them other units (another sprite range, another SID voice), or rewrite one to share the unit under the other's protocol.`,
+    };
+}
+function zeroPageText(e, list) {
+    const reloc = e.relocatable;
+    return {
+        rationale: `${e.first.name} and ${e.second.name} both own ${list}.${reloc.length > 0 ? ` ${reloc.join(" and ")} can be relocated, so this is soft.` : ""}`,
+        resolution: reloc.length > 0
+            ? `Rebuild ${reloc[0]} with its zero-page base moved off these bytes (its page names the build option).`
+            : `Move one side's zero-page variables to bytes the other does not use.`,
+    };
+}
+function sharedText(e, list) {
+    const first = e.first.name;
+    const second = e.second.name;
+    if (e.bothShare) {
+        return e.units.includes("vic_raster_irq")
+            ? {
+                rationale: `${first} and ${second} both run on the one raster compare, as entries in a handler chain someone else owns.`,
+                resolution: `Put both in one interrupt chain, in the order its owner sets. With no raster effect in the set, the program's own chain is that owner.`,
+            }
+            : {
+                rationale: `${first} and ${second} both write ${list} under an owner's protocol.`,
+                resolution: `Both must follow the owner's protocol, and in an order the owner sets: one after the other in the frame, or as successive entries in one interrupt chain.`,
+            };
+    }
+    // $DD00 holds the VIC bank bits and the serial lines. A resident loader
+    // that owns the bus rewrites the bank bits with the value it was given;
+    // a raw $DD00 write while it is armed corrupts its bus lock.
+    const loader = e.units.includes("cia2_vic_bank") &&
+        e.second.claims.some((c) => c.unit === "serial_bus" && c.mode === "owns");
+    if (loader) {
+        return {
+            rationale: `${first} sets the VIC bank bits in $DD00; ${second} drives the serial lines in the same register while it is resident and rewrites the bank bits with the value it was given.`,
+            resolution: `${first} must not write $DD00 while ${second} is resident: pass the bank through the loader's API (Krill: SET_VIC_BANK, or its bus lock), or install the loader only around loads and set the bank again after uninstalling it.`,
+        };
+    }
+    if (e.units.includes("vic_raster_irq")) {
+        return {
+            rationale: `${first} owns the raster compare; ${second} runs inside ${first}'s raster interrupt and does not arm $D012 on its own.`,
+            resolution: `Run ${second} as the entry of ${first}'s handler or as one more entry in ${first}'s chain, not as a second interrupt setup.`,
+        };
+    }
+    return {
+        rationale: `${first} owns ${list}; ${second} writes it under ${first}'s protocol.`,
+        resolution: `${second} must follow ${first}'s protocol: write after ${first}'s write in the frame, or run inside ${first}'s interrupt chain.`,
+    };
+}
+function render(e) {
+    const shared = compressUnits(e.units);
+    const list = shared.join(", ");
+    const first = e.first.name;
+    const second = e.second.name;
+    let text;
+    switch (e.kind) {
+        case "unit_contention":
+            text = contentionText(e, list);
+            break;
+        case "zero_page_overlap":
+            text = zeroPageText(e, list);
+            break;
+        case "unit_shared":
+            text = sharedText(e, list);
+            break;
+        case "unit_read_while_driven":
+            text = {
+                rationale: `${second} reads ${list}, which ${first} drives; what ${second} reads depends on ${first}'s writes.`,
+                resolution: e.units.includes("cia1_port_a")
+                    ? `Read where ${first} has left the port in a known state: after a keyboard scan, restore $DC00 before reading the joystick.`
+                    : `Read at a point in the frame where ${first} has left the unit in a known state.`,
+            };
+            break;
+        case "init_order":
+            text = {
+                rationale: `${first} uses ${list} once at start-up; ${second} then uses it every frame.`,
+                resolution: `Run ${first}'s use before ${second} starts.`,
+            };
+            break;
+    }
+    return { kind: e.kind, severity: e.severity, shared, ...text };
+}
+/** The unit rules between two techniques' claim sets. */
+export function unitRules(a, b, rel) {
+    return collect(a, b, rel).map(render);
+}
+/**
+ * A prerequisite reached from an input technique, seen from that input: its
+ * claims on units the input itself owns or shares are dropped, because it
+ * uses them inside the input (fli_image's stable raster IRQ is fli_image's
+ * handler). The input's own pair with the other technique reports the unit.
+ */
+export function absorbInto(implied, input) {
+    const held = new Set(input.claims.filter((c) => c.mode === "owns" || c.mode === "shares").map((c) => c.unit));
+    // Zero page is kept: bytes are checked one by one, not as a whole unit.
+    return {
+        name: implied.name,
+        claims: implied.claims.filter((c) => c.unit === "zero_page" || !held.has(c.unit)),
+    };
+}
+//# sourceMappingURL=unit-rules.js.map

package/dist/tools/query/compatibility/unit-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-rules.js","sourceRoot":"","sources":["../../../../src/tools/query/compatibility/unit-rules.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,6EAA6E;AAC7E,uDAAuD;AACvD,EAAE;AACF,qEAAqE;AACrE,4EAA4E;AAC5E,sDAAsD;AACtD,uEAAuE;AACvE,+DAA+D;AAC/D,oDAAoD;AACpD,yCAAyC;AACzC,yEAAyE;AACzE,4EAA4E;AAC5E,wEAAwE;AACxE,2EAA2E;AAC3E,4EAA4E;AAC5E,uDAAuD;AAEvD,OAAO,EACL,2BAA2B,EAC3B,oBAAoB,GAGrB,MAAM,0BAA0B,CAAC;AAyBlC,yEAAyE;AACzE,MAAM,UAAU,GAAG,iBAAiB,CAAC;AAcrC,yEAAyE;AACzE,SAAS,eAAe,CAAC,CAAS,EAAE,CAAS;IAC3C,MAAM,EAAE,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,2BAA2B,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,aAAa,CAAC,KAAe;IAC3C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACf,SAAS;QACX,CAAC;QACD,MAAM,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE;YAAE,CAAC,EAAE,CAAC;QAC7F,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5D,CAAC,GAAG,CAAC,CAAC;IACR,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAaD,yGAAyG;AACzG,SAAS,WAAW,CAAC,EAAS,EAAE,EAAS;IACvC,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,CAAC,IAAI,CAAC;IAC5C,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,EAAE,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,cAAc,oBAAoB,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;AAC7F,CAAC;AAED,uFAAuF;AACvF,SAAS,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAQ;IACjD,MAAM,WAAW,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CACzF,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAC/B,CAAC;IACF,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,QAAQ,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QAClD,KAAK,EAAE,CAAC;QACR,MAAM,EAAE,CAAC;QACT,IAAI;QACJ,WAAW;QACX,SAAS,EAAE,KAAK;KACjB,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,UAAU,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAQ;IACnD,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC;IACjD,MAAM,EAAE,GAAG,CAAC,CAAY,EAAE,CAAY,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAG,CAAC,CAAY,EAAE,CAAY,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjE,qDAAqD;IACrD,MAAM,KAAK,GAAG,CAAC,SAAoB,EAAE,EAAE,CACrC,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC5E,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IACxC,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QACxB,IAAI,OAAO;YAAE,OAAO,IAAI,CAAC;QACzB,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACrF,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QACxB,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC;QAC5E,IAAI,mBAAmB;YAAE,OAAO,IAAI,CAAC;QACrC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC5B,IAAI,OAAO;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAClG,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;QACtB,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,wBAAwB,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;IACzF,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC9C,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7E,OAAO,IAAI,CAAC;AACd,CAAC;AAED,2FAA2F;AAC3F,SAAS,QAAQ,CAAC,KAAyB,EAAE,CAAQ;IACnD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;IACtF,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACvB,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACzC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,EAAE;QAAE,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,OAAO,CAAC,CAAY,EAAE,CAAY,EAAE,GAAiB;IAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiB,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACzE,IAAI,CAAC;gBAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,cAAc,CAAC,CAAQ,EAAE,IAAY;IAC5C,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,MAAM,SAAS,GAAG,QAAQ,KAAK,CAAC,IAAI,QAAQ,MAAM,CAAC,IAAI,QAAQ,IAAI,mEAAmE,CAAC;IACvI,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAClC,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,0DAA0D,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,OAAO;YACL,SAAS;YACT,UAAU,EAAE,IAAI;gBACd,CAAC,CAAC,GAAG,IAAI,yBAAyB,KAAK,sCAAsC,IAAI,mDAAmD,KAAK,kBAAkB,IAAI,GAAG;gBAClK,CAAC,CAAC,oLAAoL,MAAM,CAAC,CAAC,CAAC,gGAAgG,CAAC,CAAC,CAAC,EAAE,GAAG;SAC1S,CAAC;IACJ,CAAC;IACD,OAAO;QACL,SAAS;QACT,UAAU,EAAE,sIAAsI;KACnJ,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,CAAQ,EAAE,IAAY;IAC1C,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,CAAC;IAC5B,OAAO;QACL,SAAS,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,aAAa,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,qCAAqC,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1J,UAAU,EACR,KAAK,CAAC,MAAM,GAAG,CAAC;YACd,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC,mFAAmF;YACxG,CAAC,CAAC,sEAAsE;KAC7E,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,CAAQ,EAAE,IAAY;IACxC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAC7B,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YACvC,CAAC,CAAC;gBACE,SAAS,EAAE,GAAG,KAAK,QAAQ,MAAM,uFAAuF;gBACxH,UAAU,EAAE,wIAAwI;aACrJ;YACH,CAAC,CAAC;gBACE,SAAS,EAAE,GAAG,KAAK,QAAQ,MAAM,eAAe,IAAI,6BAA6B;gBACjF,UAAU,EAAE,2JAA2J;aACxK,CAAC;IACR,CAAC;IACD,wEAAwE;IACxE,wEAAwE;IACxE,6DAA6D;IAC7D,MAAM,MAAM,GACV,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC;QACjC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC5E,IAAI,MAAM,EAAE,CAAC;QACX,OAAO;YACL,SAAS,EAAE,GAAG,KAAK,qCAAqC,MAAM,4HAA4H;YAC1L,UAAU,EAAE,GAAG,KAAK,+BAA+B,MAAM,oLAAoL;SAC9O,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvC,OAAO;YACL,SAAS,EAAE,GAAG,KAAK,6BAA6B,MAAM,gBAAgB,KAAK,wDAAwD;YACnI,UAAU,EAAE,OAAO,MAAM,oBAAoB,KAAK,sCAAsC,KAAK,4CAA4C;SAC1I,CAAC;IACJ,CAAC;IACD,OAAO;QACL,SAAS,EAAE,GAAG,KAAK,SAAS,IAAI,KAAK,MAAM,oBAAoB,KAAK,cAAc;QAClF,UAAU,EAAE,GAAG,MAAM,gBAAgB,KAAK,4BAA4B,KAAK,wCAAwC,KAAK,qBAAqB;KAC9I,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,CAAQ;IACtB,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAC7B,IAAI,IAA+C,CAAC;IACpD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,iBAAiB;YACpB,IAAI,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC/B,MAAM;QACR,KAAK,mBAAmB;YACtB,IAAI,GAAG,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC7B,MAAM;QACR,KAAK,aAAa;YAChB,IAAI,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC3B,MAAM;QACR,KAAK,wBAAwB;YAC3B,IAAI,GAAG;gBACL,SAAS,EAAE,GAAG,MAAM,UAAU,IAAI,WAAW,KAAK,iBAAiB,MAAM,qBAAqB,KAAK,YAAY;gBAC/G,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC;oBACzC,CAAC,CAAC,cAAc,KAAK,wGAAwG;oBAC7H,CAAC,CAAC,sCAAsC,KAAK,sCAAsC;aACtF,CAAC;YACF,MAAM;QACR,KAAK,YAAY;YACf,IAAI,GAAG;gBACL,SAAS,EAAE,GAAG,KAAK,SAAS,IAAI,sBAAsB,MAAM,4BAA4B;gBACxF,UAAU,EAAE,OAAO,KAAK,iBAAiB,MAAM,UAAU;aAC1D,CAAC;YACF,MAAM;IACV,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC;AACjE,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,SAAS,CAAC,CAAY,EAAE,CAAY,EAAE,GAAiB;IACrE,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,OAAkB,EAAE,KAAgB;IAC7D,MAAM,IAAI,GAAG,IAAI,GAAG,CAClB,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACxF,CAAC;IACF,wEAAwE;IACxE,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAClF,CAAC;AACJ,CAAC"}