c64-kb 0.17.0

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

@@ -0,0 +1,159 @@
+/**
+ * Hard rules over DEMANDS, region and KERNAL use, evaluated for one pair
+ * of techniques. Each rule is symmetric. Pure: the facts come in, the
+ * hits come out, so the same rules serve the input pairs and the REQUIRES
+ * closure.
+ */
+import { parseRasterBand, rasterBandsOverlap } from "../../../graph/extract.js";
+// KERNAL routines that talk on the serial bus (serial_bus_exclusive rule).
+// The routines are the KERNAL's serial-bus entries and the file calls built
+// on them; CHRIN/CHROUT/GETIN are left out because they touch the bus only
+// through a redirected channel, which CHKIN/CHKOUT already name. Names are
+// the KernalRoutine nodes' (the kernal page's H3s): IECIN and IECOUT, not
+// ACPTR and CIOUT, which no USES edge can carry.
+const SERIAL_KERNAL = new Set([
+    "LOAD",
+    "SAVE",
+    "OPEN",
+    "CLOSE",
+    "CHKIN",
+    "CHKOUT",
+    "CLRCHN",
+    "TALK",
+    "LISTEN",
+    "TKSA",
+    "SECOND",
+    "IECIN",
+    "IECOUT",
+    "UNTLK",
+    "UNLSN",
+]);
+// Raster bands (**Raster band:**, schema 24). The rules about sharing
+// raster lines (cpu_exclusive; cpu_vs_irq through mid-frame IRQs or
+// sprite-set changes; sprite_set) do not fire when both techniques state
+// line bands and the bands share no line: the pair is reported under
+// band_separated instead. A band that is absent or "movable" keeps the
+// conflict, and the rationale says which side is unknown.
+// continuous_interrupts and kernal_banked_out are not about lines and
+// ignore bands.
+function bandText(t) {
+    const b = t.facts.band;
+    if (!b)
+        return `${t.name} states no raster band`;
+    if (b === "movable")
+        return `${t.name}'s lines are chosen by the program (movable)`;
+    return `${t.name} holds lines ${b}`;
+}
+function lineRanges(band) {
+    const p = parseRasterBand(band ?? "");
+    return "error" in p || p.kind !== "lines" ? null : p.ranges;
+}
+function bandNote(a, b) {
+    const bothLines = lineRanges(a.facts.band) !== null && lineRanges(b.facts.band) !== null;
+    return (` Raster bands: ${bandText(a)}; ${bandText(b)}.` +
+        (bothLines ? " The bands overlap." : " Only two stated, disjoint line bands clear this rule."));
+}
+/** Both bands stated as line ranges that share no line: the two bands, else null. */
+function disjointBands(a, b) {
+    if (!a.band || !b.band)
+        return null;
+    const ra = lineRanges(a.band);
+    const rb = lineRanges(b.band);
+    if (!ra || !rb || rasterBandsOverlap(ra, rb))
+        return null;
+    return [a.band, b.band];
+}
+/** Collects hits; line rules become separations when the bands are disjoint. */
+class HitSink {
+    hits = [];
+    cleared = [];
+    a;
+    b;
+    disjoint;
+    constructor(a, b, disjoint) {
+        this.a = a;
+        this.b = b;
+        this.disjoint = disjoint;
+    }
+    hard(kind, shared, rationale, resolution) {
+        this.hits.push({ kind, shared, rationale, resolution });
+    }
+    // A rule about sharing raster lines: noted, not fired, on disjoint
+    // bands; otherwise fired with the band facts added to its rationale.
+    line(kind, shared, rationale, resolution) {
+        if (this.disjoint) {
+            if (!this.cleared.includes(kind))
+                this.cleared.push(kind);
+        }
+        else {
+            this.hard(kind, shared, rationale + bandNote(this.a, this.b), resolution);
+        }
+    }
+}
+function regionRule(sink, a, b) {
+    const ar = a.facts.region;
+    const br = b.facts.region;
+    if (ar && br && ar !== br) {
+        sink.hard("region_mismatch", [ar, br], `${a.name} requires ${ar} but ${b.name} requires ${br}.`, `Detect the machine at start and ship both variants, or drop one.`);
+    }
+}
+function cpuExclusiveRule(sink, a, b) {
+    // Both need every CPU cycle on their lines.
+    if (a.facts.demands.has("cpu_every_line") && b.facts.demands.has("cpu_every_line")) {
+        sink.line("cpu_exclusive", ["cpu_every_line"], `Both need every CPU cycle on every raster line they cover; they cannot share a raster line.`, `Give each its own band of lines and switch between them in the border.`);
+    }
+}
+/** One needs every CPU cycle (x); the other (y) interrupts mid-frame. */
+function cpuVsIrqRule(sink, x, y) {
+    const X = x.facts.demands;
+    const Y = y.facts.demands;
+    if (!X.has("cpu_every_line"))
+        return;
+    if (Y.has("midframe_raster_irqs")) {
+        sink.line("cpu_vs_irq", ["cpu_every_line", "midframe_raster_irqs"], `${x.name} needs every CPU cycle on its lines; a raster interrupt from ${y.name} inside that region breaks its cycle count.`, `Keep ${y.name}'s interrupts on lines outside ${x.name}'s region (the borders, or a separate band).`);
+    }
+    if (Y.has("continuous_interrupts")) {
+        sink.hard("cpu_vs_irq", ["cpu_every_line", "continuous_interrupts"], `${x.name} needs every CPU cycle on its lines; ${y.name} takes interrupts every few raster lines throughout the frame.`, `Pause ${y.name} while ${x.name}'s region is being drawn, or do not combine them.`);
+    }
+    if (Y.has("changes_sprite_set") && !X.has("constant_sprite_set")) {
+        sink.line("cpu_vs_irq", ["cpu_every_line", "changes_sprite_set"], `${y.name} rewrites sprite registers from interrupts during the frame; inside ${x.name}'s region that breaks its cycle count.`, `Multiplex only outside ${x.name}'s region.`);
+    }
+}
+/** One (x) needs the same sprites active on every line; the other (y) changes them. */
+function spriteSetRule(sink, x, y) {
+    if (x.facts.demands.has("constant_sprite_set") && y.facts.demands.has("changes_sprite_set")) {
+        sink.line("sprite_set", ["constant_sprite_set", "changes_sprite_set"], `${x.name}'s per-line timing depends on the same sprites being active on every line of its region; ${y.name} changes the active set during the frame.`, `Multiplex only outside ${x.name}'s region, or keep the sprite set fixed while ${x.name}'s lines are drawn.`);
+    }
+}
+/** One (x) owns the drive's serial bus while resident; the other (y) does KERNAL disk I/O. */
+function serialBusRule(sink, x, y) {
+    if (!x.facts.demands.has("serial_bus_exclusive"))
+        return;
+    const serial = y.facts.kernal.filter((k) => SERIAL_KERNAL.has(k)).sort();
+    if (serial.length === 0)
+        return;
+    sink.hard("serial_bus_busy", serial, `${x.name} owns the drive's serial bus while it is resident; ${y.name} calls KERNAL serial I/O (${serial.join(", ")}), which stalls on that drive until the loader is uninstalled.`, `Do the KERNAL I/O before installing ${x.name} or after uninstalling it (Krill: UNINSTALL_API), or use the loader's own entries (Krill: save, fileexists) instead.`);
+}
+/** One (x) runs with the KERNAL ROM out; the other (y) calls KERNAL routines. */
+function kernalBankedOutRule(sink, x, y) {
+    if (x.facts.demands.has("kernal_rom_out") && y.facts.kernal.length > 0) {
+        sink.hard("kernal_banked_out", [...y.facts.kernal], `${x.name} runs with the KERNAL ROM banked out; ${y.name} calls KERNAL routine(s) ${y.facts.kernal.join(", ")}, which are not there.`, `Bank the KERNAL in ($01 bit 1) around the calls, or replace them with RAM-resident code.`);
+    }
+}
+// Directed rules run a→b then b→a, each rule family in turn.
+const DIRECTED_RULES = [cpuVsIrqRule, spriteSetRule, serialBusRule, kernalBankedOutRule];
+export function hardRules(a, b) {
+    const bands = disjointBands(a.facts, b.facts);
+    const sink = new HitSink(a, b, bands !== null);
+    regionRule(sink, a, b);
+    cpuExclusiveRule(sink, a, b);
+    for (const rule of DIRECTED_RULES) {
+        rule(sink, a, b);
+        rule(sink, b, a);
+    }
+    const separated = bands && sink.cleared.length > 0
+        ? { a: a.name, b: b.name, a_band: bands[0], b_band: bands[1], rules: sink.cleared }
+        : null;
+    return { hits: sink.hits, separated };
+}
+//# sourceMappingURL=hard-rules.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"hard-rules.js","sourceRoot":"","sources":["../../../../src/tools/query/compatibility/hard-rules.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAyBhF,2EAA2E;AAC3E,4EAA4E;AAC5E,2EAA2E;AAC3E,2EAA2E;AAC3E,0EAA0E;AAC1E,iDAAiD;AACjD,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC;IACjD,MAAM;IACN,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,OAAO;IACP,OAAO;CACR,CAAC,CAAC;AAEH,sEAAsE;AACtE,oEAAoE;AACpE,yEAAyE;AACzE,qEAAqE;AACrE,uEAAuE;AACvE,0DAA0D;AAC1D,sEAAsE;AACtE,gBAAgB;AAEhB,SAAS,QAAQ,CAAC,CAAQ;IACxB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;IACvB,IAAI,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,IAAI,wBAAwB,CAAC;IACjD,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,CAAC,IAAI,8CAA8C,CAAC;IACpF,OAAO,GAAG,CAAC,CAAC,IAAI,gBAAgB,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,UAAU,CAAC,IAAmB;IACrC,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IACtC,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC9D,CAAC;AAED,SAAS,QAAQ,CAAC,CAAQ,EAAE,CAAQ;IAClC,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IACzF,OAAO,CACL,kBAAkB,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG;QAChD,CAAC,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,wDAAwD,CAAC,CAC/F,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,SAAS,aAAa,CAAC,CAAiB,EAAE,CAAiB;IACzD,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,IAAI,kBAAkB,CAAC,EAAE,EAAE,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,gFAAgF;AAChF,MAAM,OAAO;IACF,IAAI,GAAc,EAAE,CAAC;IACrB,OAAO,GAAa,EAAE,CAAC;IACf,CAAC,CAAQ;IACT,CAAC,CAAQ;IACT,QAAQ,CAAU;IACnC,YAAY,CAAQ,EAAE,CAAQ,EAAE,QAAiB;QAC/C,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACX,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACX,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;IACD,IAAI,CAAC,IAAkB,EAAE,MAAgB,EAAE,SAAiB,EAAE,UAAkB;QAC9E,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,mEAAmE;IACnE,qEAAqE;IACrE,IAAI,CAAC,IAAkB,EAAE,MAAgB,EAAE,SAAiB,EAAE,UAAkB;QAC9E,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;CACF;AAED,SAAS,UAAU,CAAC,IAAa,EAAE,CAAQ,EAAE,CAAQ;IACnD,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;IAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;IAC1B,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CACP,iBAAiB,EACjB,CAAC,EAAE,EAAE,EAAE,CAAC,EACR,GAAG,CAAC,CAAC,IAAI,aAAa,EAAE,QAAQ,CAAC,CAAC,IAAI,aAAa,EAAE,GAAG,EACxD,kEAAkE,CACnE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa,EAAE,CAAQ,EAAE,CAAQ;IACzD,4CAA4C;IAC5C,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACnF,IAAI,CAAC,IAAI,CACP,eAAe,EACf,CAAC,gBAAgB,CAAC,EAClB,6FAA6F,EAC7F,wEAAwE,CACzE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAC,IAAa,EAAE,CAAQ,EAAE,CAAQ;IACrD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IAC1B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC;QAAE,OAAO;IACrC,IAAI,CAAC,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE,CAAC;QAClC,IAAI,CAAC,IAAI,CACP,YAAY,EACZ,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,EAC1C,GAAG,CAAC,CAAC,IAAI,gEAAgE,CAAC,CAAC,IAAI,6CAA6C,EAC5H,QAAQ,CAAC,CAAC,IAAI,kCAAkC,CAAC,CAAC,IAAI,8CAA8C,CACrG,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,GAAG,CAAC,uBAAuB,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CACP,YAAY,EACZ,CAAC,gBAAgB,EAAE,uBAAuB,CAAC,EAC3C,GAAG,CAAC,CAAC,IAAI,wCAAwC,CAAC,CAAC,IAAI,gEAAgE,EACvH,SAAS,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,mDAAmD,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,IAAI,CACP,YAAY,EACZ,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,EACxC,GAAG,CAAC,CAAC,IAAI,uEAAuE,CAAC,CAAC,IAAI,wCAAwC,EAC9H,0BAA0B,CAAC,CAAC,IAAI,YAAY,CAC7C,CAAC;IACJ,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,SAAS,aAAa,CAAC,IAAa,EAAE,CAAQ,EAAE,CAAQ;IACtD,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC5F,IAAI,CAAC,IAAI,CACP,YAAY,EACZ,CAAC,qBAAqB,EAAE,oBAAoB,CAAC,EAC7C,GAAG,CAAC,CAAC,IAAI,4FAA4F,CAAC,CAAC,IAAI,2CAA2C,EACtJ,0BAA0B,CAAC,CAAC,IAAI,iDAAiD,CAAC,CAAC,IAAI,qBAAqB,CAC7G,CAAC;IACJ,CAAC;AACH,CAAC;AAED,8FAA8F;AAC9F,SAAS,aAAa,CAAC,IAAa,EAAE,CAAQ,EAAE,CAAQ;IACtD,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC;QAAE,OAAO;IACzD,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAChC,IAAI,CAAC,IAAI,CACP,iBAAiB,EACjB,MAAM,EACN,GAAG,CAAC,CAAC,IAAI,sDAAsD,CAAC,CAAC,IAAI,6BAA6B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,gEAAgE,EACnL,uCAAuC,CAAC,CAAC,IAAI,sHAAsH,CACpK,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,SAAS,mBAAmB,CAAC,IAAa,EAAE,CAAQ,EAAE,CAAQ;IAC5D,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvE,IAAI,CAAC,IAAI,CACP,mBAAmB,EACnB,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EACnB,GAAG,CAAC,CAAC,IAAI,yCAAyC,CAAC,CAAC,IAAI,4BAA4B,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,EACrI,0FAA0F,CAC3F,CAAC;IACJ,CAAC;AACH,CAAC;AAED,6DAA6D;AAC7D,MAAM,cAAc,GAAG,CAAC,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,mBAAmB,CAAC,CAAC;AAEzF,MAAM,UAAU,SAAS,CAAC,CAAQ,EAAE,CAAQ;IAC1C,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC;IAC/C,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvB,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACjB,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,MAAM,SAAS,GACb,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAC9B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;QACnF,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC;AACxC,CAAC"}

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

@@ -0,0 +1,27 @@
+/**
+ * checkCompatibility: fetch the facts, evaluate the rules, render.
+ */
+import { getAnalytics } from "../../../context.js";
+import { fetchCompatibilityFacts } from "./fetch.js";
+import { renderCompatibility } from "./render.js";
+import { evaluateCompatibility } from "./rules.js";
+export { evaluateCompatibility } from "./rules.js";
+export async function checkCompatibility(techniques) {
+    const facts = await fetchCompatibilityFacts(techniques);
+    const { closureOnly, ...evaluation } = evaluateCompatibility(facts);
+    getAnalytics().logQuery({
+        tool: "c64_check_compatibility",
+        query: techniques.join("+"),
+        resultCount: evaluation.conflicts.length,
+    });
+    const structured = {
+        techniques,
+        conflicts: evaluation.conflicts,
+        band_separated: evaluation.band_separated,
+        shared_infrastructure: evaluation.shared_infrastructure,
+        data_coverage: evaluation.data_coverage,
+        verdict: evaluation.verdict,
+    };
+    return { structured, text: renderCompatibility(structured, closureOnly) };
+}
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/tools/query/compatibility/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAGnD,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAEnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAGnD,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,UAAoB;IAC3D,MAAM,KAAK,GAAG,MAAM,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACxD,MAAM,EAAE,WAAW,EAAE,GAAG,UAAU,EAAE,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAEpE,YAAY,EAAE,CAAC,QAAQ,CAAC;QACtB,IAAI,EAAE,yBAAyB;QAC/B,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC;QAC3B,WAAW,EAAE,UAAU,CAAC,SAAS,CAAC,MAAM;KACzC,CAAC,CAAC;IAEH,MAAM,UAAU,GAA6B;QAC3C,UAAU;QACV,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,cAAc,EAAE,UAAU,CAAC,cAAc;QACzC,qBAAqB,EAAE,UAAU,CAAC,qBAAqB;QACvD,aAAa,EAAE,UAAU,CAAC,aAAa;QACvC,OAAO,EAAE,UAAU,CAAC,OAAO;KAC5B,CAAC;IACF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,mBAAmB,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC;AAC5E,CAAC"}

package/dist/tools/query/compatibility/kernal-zp-rule.js

@@ -0,0 +1,90 @@
+// kernal_clobbers_zp (schema 26): one technique calls a KERNAL routine (its
+// **Uses kernal:** line) whose CLOBBERS_ZP may set overlaps zero-page bytes
+// the other technique claims. Soft: the may set is a static walk of the ROM,
+// an upper bound, and a given call need not reach every store. Pure, like
+// unit-rules.ts: the caller passes the claims and the routines' sets.
+import { formatZeroPageRanges, zeroPageRangesFromCanonical } from "../../../graph/claims.js";
+function overlap(a, b) {
+    const out = [];
+    for (const [a0, a1] of a) {
+        for (const [b0, b1] of b) {
+            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]);
+}
+/** "$E0-$EF, $F2" from canonical-style ranges. */
+function dollar(ranges) {
+    return formatZeroPageRanges(ranges)
+        .split(",")
+        .map((r) => `$${r.replace("-", "-$")}`)
+        .join(", ");
+}
+/** `user`'s routines whose may sets overlap `holder`'s zero-page claims. */
+function clobberHits(user, holder, mayWrites) {
+    const heldRanges = holder.claims
+        .filter((c) => c.unit === "zero_page" && c.ranges)
+        .flatMap((c) => zeroPageRangesFromCanonical(c.ranges ?? ""));
+    if (heldRanges.length === 0)
+        return [];
+    const hits = [];
+    for (const routine of [...user.kernal].sort()) {
+        const may = mayWrites.get(routine);
+        if (may === undefined)
+            continue;
+        const bytes = overlap(zeroPageRangesFromCanonical(may), heldRanges);
+        if (bytes.length > 0)
+            hits.push({ routine, bytes });
+    }
+    return hits;
+}
+/** A stable key for one hit, so a caller can drop one it already reported. */
+export function clobberKey(user, holder, h) {
+    return `${user}>${holder}:${h.routine}:${dollar(h.bytes)}`;
+}
+/** The finding for `hits` of `user`'s KERNAL calls on `holder`'s claims, or null. */
+function finding(user, holder, hits) {
+    if (hits.length === 0)
+        return null;
+    const relocatable = holder.claims.some((c) => c.unit === "zero_page" && c.relocatable === true);
+    const merged = [];
+    for (const r of hits.flatMap((h) => h.bytes).sort((x, y) => x[0] - y[0])) {
+        const prev = merged.at(-1);
+        if (prev && r[0] <= prev[1] + 1)
+            prev[1] = Math.max(prev[1], r[1]);
+        else
+            merged.push([r[0], r[1]]);
+    }
+    const each = hits.map((h) => `${h.routine} may write ${dollar(h.bytes)}`).join("; ");
+    const routines = hits.map((h) => h.routine).join(", ");
+    const whose = user.name === holder.name ? "bytes it claims itself" : `bytes ${holder.name} claims`;
+    return {
+        kind: "kernal_clobbers_zp",
+        severity: "soft",
+        shared: [`zero_page ${dollar(merged)}`, ...hits.map((h) => h.routine)],
+        rationale: `${user.name} calls the KERNAL, and ${each}, ${whose}. "May": the set is a static walk of the ROM through the power-on vectors, an upper bound; a given call need not reach every store, and a program that repoints a vector (such as $0326 for CHROUT) changes the set (the KERNAL reference page lists each routine's set, and what a traced call wrote).`,
+        resolution: relocatable
+            ? `Rebuild ${holder.name} with its zero-page base moved off these bytes (its page names the build option), or save and restore them around each call to ${routines}.`
+            : `Move ${holder.name}'s zero-page variables off these bytes, or save and restore them around each call to ${routines}, or make no such call while ${holder.name}'s bytes are live.`,
+    };
+}
+/**
+ * kernal_clobbers_zp in both directions between two techniques, or once
+ * when `a` and `b` are the same technique (its own calls against its own
+ * claims). `keep` may drop a routine's hit, e.g. one already reported.
+ */
+export function kernalClobberRules(a, b, mayWrites, keep = () => true) {
+    const pairs = a.name === b.name
+        ? [[a, a]]
+        : [
+            [a, b],
+            [b, a],
+        ];
+    return pairs
+        .map(([u, h]) => finding(u, h, clobberHits(u, h, mayWrites).filter((x) => keep(u, h, x))))
+        .filter((h) => h !== null);
+}
+//# sourceMappingURL=kernal-zp-rule.js.map

package/dist/tools/query/compatibility/kernal-zp-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernal-zp-rule.js","sourceRoot":"","sources":["../../../../src/tools/query/compatibility/kernal-zp-rule.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,sEAAsE;AAEtE,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAc,MAAM,0BAA0B,CAAC;AAczG,SAAS,OAAO,CAAC,CAAmB,EAAE,CAAmB;IACvD,MAAM,GAAG,GAAY,EAAE,CAAC;IACxB,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,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,kDAAkD;AAClD,SAAS,MAAM,CAAC,MAAe;IAC7B,OAAO,oBAAoB,CAAC,MAAM,CAAC;SAChC,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;SACtC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAQD,4EAA4E;AAC5E,SAAS,WAAW,CAClB,IAAgB,EAChB,MAAkB,EAClB,SAAsC;IAEtC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM;SAC7B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,CAAC;SACjD,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,2BAA2B,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnC,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,MAAM,KAAK,GAAG,OAAO,CAAC,2BAA2B,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;QACpE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,MAAc,EAAE,CAAa;IACpE,OAAO,GAAG,IAAI,IAAI,MAAM,IAAI,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,qFAAqF;AACrF,SAAS,OAAO,CAAC,IAAgB,EAAE,MAAkB,EAAE,IAA2B;IAChF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;IAChG,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;;YAC9D,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,cAAc,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,IAAI,SAAS,CAAC;IACnG,OAAO;QACL,IAAI,EAAE,oBAAoB;QAC1B,QAAQ,EAAE,MAAM;QAChB,MAAM,EAAE,CAAC,aAAa,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtE,SAAS,EAAE,GAAG,IAAI,CAAC,IAAI,0BAA0B,IAAI,KAAK,KAAK,ySAAyS;QACxW,UAAU,EAAE,WAAW;YACrB,CAAC,CAAC,WAAW,MAAM,CAAC,IAAI,kIAAkI,QAAQ,GAAG;YACrK,CAAC,CAAC,QAAQ,MAAM,CAAC,IAAI,wFAAwF,QAAQ,gCAAgC,MAAM,CAAC,IAAI,oBAAoB;KACvL,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,CAAa,EACb,CAAa,EACb,SAAsC,EACtC,OAAyE,GAAG,EAAE,CAAC,IAAI;IAEnF,MAAM,KAAK,GACT,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QACf,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACV,CAAC,CAAC;YACE,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;IACR,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,OAAO,CACL,CAAC,EACD,CAAC,EACD,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAC1D,CACF;SACA,MAAM,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;AACjD,CAAC"}

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

@@ -0,0 +1,106 @@
+/**
+ * Markdown for a compatibility check.
+ */
+function renderVerdict(r, closureOnly) {
+    let out = `# Compatibility: ${r.techniques.join(" + ")}\n\n**Verdict:** ${r.verdict.toUpperCase()}`;
+    if (r.verdict === "incompatible")
+        out += ` — not as combined; each hard conflict below says how to separate them.`;
+    out += `\n\n`;
+    if (closureOnly.length > 0) {
+        out += `Checked with ${closureOnly.length} implied prerequisite(s): ${closureOnly.join(", ")}.\n\n`;
+    }
+    return out;
+}
+/**
+ * Unit claims: how many inputs state them, and which do not, because an
+ * unknown claim set is never read as "claims nothing". Technique claims
+ * only: the vectors and zero-page bytes a recipe picks are not in the graph.
+ */
+function renderClaimsCoverage(r) {
+    const inputs = r.data_coverage.filter((d) => d.implied_by === undefined);
+    const stated = inputs.filter((d) => d.claims !== "unknown").length;
+    const notRuledOut = [
+        ...inputs.filter((d) => d.claims === "unknown").map((d) => d.technique),
+        ...r.data_coverage
+            .filter((d) => d.implied_by !== undefined && d.claims === "unknown")
+            .map((d) => `${d.technique} (prerequisite)`),
+    ];
+    const tail = notRuledOut.length > 0 ? `; a unit conflict cannot be ruled out for: ${notRuledOut.join(", ")}.` : ".";
+    return `Unit claims are stated for ${stated} of ${inputs.length} techniques${tail} The zero-page bytes and interrupt vectors a recipe chooses are not checked yet (issue #22, step 8).\n\n`;
+}
+function renderConflicts(r, unknownCount) {
+    if (r.conflicts.length === 0) {
+        return unknownCount === r.techniques.length
+            ? `No conflicts detected, but the graph holds no register, KERNAL or resource data for any of these techniques, so this is silence, not a clearance.\n`
+            : `No conflicts detected among what the graph knows about these techniques.\n`;
+    }
+    let out = "";
+    for (const c of r.conflicts) {
+        // a = b: one technique's own KERNAL calls against its own (or its prerequisites') zero page.
+        const pair = c.a === c.b ? `${c.a}, within its own chain` : `${c.a} × ${c.b}`;
+        out += `## ${c.kind} (${c.severity}): ${pair}\n`;
+        if (c.via && c.via.length > 0)
+            out += `**Via prerequisite(s):** ${c.via.join(", ")}\n`;
+        if (c.underlying_kind)
+            out += `**Rule:** ${c.underlying_kind}\n`;
+        out += `**Shared:** ${c.shared.join(", ")}\n`;
+        out += `${c.rationale}\n`;
+        if (c.resolution)
+            out += `**Resolution:** ${c.resolution}\n`;
+        out += `\n`;
+    }
+    return out;
+}
+function renderBandSeparated(r) {
+    if (r.band_separated.length === 0)
+        return "";
+    let out = `\n## Separated by raster band (info)\n`;
+    for (const s of r.band_separated) {
+        out += `- **${s.a}** (lines ${s.a_band}) and **${s.b}** (lines ${s.b_band}) share no raster line, so ${s.rules.join(", ")} does not apply. Keep each on its own lines: the check trusts the bands the pages state.\n`;
+    }
+    return out;
+}
+function renderNotCovered(unknown, unknownImplied) {
+    if (unknown.length === 0 && unknownImplied.length === 0)
+        return "";
+    let out = `\n## Not covered\n`;
+    for (const d of unknown) {
+        out += d.found
+            ? `- **${d.technique}**: the graph has no registers, KERNAL routines or demands for it; the verdict says nothing about it.\n`
+            : `- **${d.technique}**: no such technique in the graph (check the name with c64_techniques_for).\n`;
+    }
+    for (const d of unknownImplied) {
+        out += `- **${d.technique}** (prerequisite of ${(d.implied_by ?? []).join(", ")}): the graph has no registers, KERNAL routines or demands for it.\n`;
+    }
+    return out;
+}
+function renderInfrastructure(r) {
+    if (r.shared_infrastructure.length === 0)
+        return "";
+    let out = `\n## Shared Infrastructure (info)\n`;
+    for (const s of r.shared_infrastructure) {
+        if (s.kind === "discipline") {
+            out += `- **${s.name}**: Multiple raster-discipline techniques present. Verify IRQ stack ordering and timing budget.\n`;
+        }
+        else if (s.kind === "missing_prerequisite") {
+            out += `- **${s.name}** (prerequisite, not in the set): required by ${(s.required_by ?? []).join(", ")}; included in the check as implied. Set it up first.\n`;
+        }
+        else {
+            out += `- **${s.name}** (${s.kind}) shared via recipe(s): ${s.via_recipes.join(", ")}\n`;
+        }
+    }
+    return out;
+}
+export function renderCompatibility(r, closureOnly) {
+    // "Not covered" is about the named techniques; implied ones are listed
+    // separately so the silence-vs-clearance sentence keeps its denominator.
+    const unknown = r.data_coverage.filter((d) => !d.known && d.implied_by === undefined);
+    const unknownImplied = r.data_coverage.filter((d) => !d.known && d.implied_by !== undefined);
+    return (renderVerdict(r, closureOnly) +
+        renderClaimsCoverage(r) +
+        renderConflicts(r, unknown.length) +
+        renderBandSeparated(r) +
+        renderNotCovered(unknown, unknownImplied) +
+        renderInfrastructure(r));
+}
+//# sourceMappingURL=render.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../../../src/tools/query/compatibility/render.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,SAAS,aAAa,CAAC,CAAS,EAAE,WAA8B;IAC9D,IAAI,GAAG,GAAG,oBAAoB,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;IACpG,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc;QAC9B,GAAG,IAAI,yEAAyE,CAAC;IACnF,GAAG,IAAI,MAAM,CAAC;IACd,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,GAAG,IAAI,gBAAgB,WAAW,CAAC,MAAM,6BAA6B,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;IACtG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAAC,CAAS;IACrC,MAAM,MAAM,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IACnE,MAAM,WAAW,GAAG;QAClB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,GAAG,CAAC,CAAC,aAAa;aACf,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC;aACnE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,iBAAiB,CAAC;KAC/C,CAAC;IACF,MAAM,IAAI,GACR,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,8CAA8C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IACzG,OAAO,8BAA8B,MAAM,OAAO,MAAM,CAAC,MAAM,cAAc,IAAI,0GAA0G,CAAC;AAC9L,CAAC;AAED,SAAS,eAAe,CAAC,CAAS,EAAE,YAAoB;IACtD,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,YAAY,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM;YACzC,CAAC,CAAC,qJAAqJ;YACvJ,CAAC,CAAC,4EAA4E,CAAC;IACnF,CAAC;IACD,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;QAC5B,6FAA6F;QAC7F,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,IAAI,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,QAAQ,MAAM,IAAI,IAAI,CAAC;QACjD,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,IAAI,4BAA4B,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACvF,IAAI,CAAC,CAAC,eAAe;YAAE,GAAG,IAAI,aAAa,CAAC,CAAC,eAAe,IAAI,CAAC;QACjE,GAAG,IAAI,eAAe,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9C,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC;QAC1B,IAAI,CAAC,CAAC,UAAU;YAAE,GAAG,IAAI,mBAAmB,CAAC,CAAC,UAAU,IAAI,CAAC;QAC7D,GAAG,IAAI,IAAI,CAAC;IACd,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAS;IACpC,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7C,IAAI,GAAG,GAAG,wCAAwC,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;QACjC,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,8BAA8B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,4FAA4F,CAAC;IACxN,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAID,SAAS,gBAAgB,CAAC,OAA4B,EAAE,cAAmC;IACzF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnE,IAAI,GAAG,GAAG,oBAAoB,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,GAAG,IAAI,CAAC,CAAC,KAAK;YACZ,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,yGAAyG;YAC7H,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,gFAAgF,CAAC;IACzG,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,GAAG,IAAI,OAAO,CAAC,CAAC,SAAS,uBAAuB,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qEAAqE,CAAC;IACvJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,oBAAoB,CAAC,CAAS;IACrC,IAAI,CAAC,CAAC,qBAAqB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpD,IAAI,GAAG,GAAG,qCAAqC,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,qBAAqB,EAAE,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC5B,GAAG,IAAI,OAAO,CAAC,CAAC,IAAI,mGAAmG,CAAC;QAC1H,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YAC7C,GAAG,IAAI,OAAO,CAAC,CAAC,IAAI,kDAAkD,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,wDAAwD,CAAC;QACjK,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,OAAO,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,2BAA2B,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3F,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,CAAS,EAAE,WAA8B;IAC3E,uEAAuE;IACvE,yEAAyE;IACzE,MAAM,OAAO,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC;IACtF,MAAM,cAAc,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC;IAC7F,OAAO,CACL,aAAa,CAAC,CAAC,EAAE,WAAW,CAAC;QAC7B,oBAAoB,CAAC,CAAC,CAAC;QACvB,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC;QAClC,mBAAmB,CAAC,CAAC,CAAC;QACtB,gBAAgB,CAAC,OAAO,EAAE,cAAc,CAAC;QACzC,oBAAoB,CAAC,CAAC,CAAC,CACxB,CAAC;AACJ,CAAC"}