c64-kb 0.17.0

package/dist/tools/intelligence.js

@@ -0,0 +1,67 @@
+/**
+ * Intelligence tools for c64-kb.
+ *
+ * Phase 0 ships only the `health` check. Coverage / suggest-links /
+ * report-gap / catalog tools land in later phases (per the spec's
+ * Phase 7 self-improvement loop).
+ */
+import { getQdrant, getFalkor, getAnalytics } from "../context.js";
+import { isAvailable as ollamaAvailable } from "../services/embeddings.js";
+import { getVersions } from "../services/versions.js";
+import { config } from "../config.js";
+/**
+ * A refused connection arrives as an AggregateError with an empty message
+ * (measured: FALKOR_PORT=7999 gave a FAIL row with a blank detail), so dig
+ * out the first inner error, then fall back to its code or name.
+ */
+function errorDetail(err) {
+    if (err instanceof AggregateError && err.errors.length > 0)
+        return errorDetail(err.errors[0]);
+    if (!(err instanceof Error))
+        return String(err);
+    if (err.message)
+        return err.message;
+    return "code" in err ? String(err.code) : err.name;
+}
+/** OK with the probe's detail, or FAIL with the error it threw. */
+async function probe(service, detail) {
+    try {
+        return { service, status: "OK", detail: await detail() };
+    }
+    catch (err) {
+        return { service, status: "FAIL", detail: errorDetail(err) };
+    }
+}
+export async function health() {
+    const checks = [];
+    checks.push(await probe("Qdrant", async () => {
+        const stats = await (await getQdrant()).getStats();
+        return `${stats.total_points} vectors`;
+    }));
+    // getStats throws when the graph cannot be queried; it used to return
+    // zeros, and this check then printed "OK, 0 nodes" for a dead graph.
+    checks.push(await probe("FalkorDB", async () => {
+        const stats = await (await getFalkor()).getStats();
+        return `${stats.nodes} nodes, ${stats.edges} edges`;
+    }));
+    const hasOllama = await ollamaAvailable();
+    checks.push({
+        service: "Ollama",
+        status: hasOllama ? "OK" : "DEGRADED",
+        detail: hasOllama ? `${config.ollama.model} available` : "Not available — keyword-only mode",
+    });
+    checks.push(await probe("Analytics", () => `${getAnalytics().getQueryStats().total_queries} queries logged`));
+    const healthy = checks.every((c) => c.status === "OK" || c.status === "DEGRADED");
+    return { healthy, checks, versions: getVersions() };
+}
+export function formatHealth(result) {
+    let output = `# c64-kb Health: ${result.healthy ? "HEALTHY" : "UNHEALTHY"}\n\n`;
+    const v = result.versions;
+    output += `**Versions:** KB_DATA=${v.kb_data}, KB_SCHEMA=${v.kb_schema}, MCP_TOOL=${v.mcp_tool}, package=${v.package}\n\n`;
+    output += `| Service | Status | Detail |\n|---------|--------|--------|\n`;
+    for (const c of result.checks) {
+        output += `| ${c.service} | ${c.status} | ${c.detail} |\n`;
+    }
+    return output;
+}
+//# sourceMappingURL=intelligence.js.map

package/dist/tools/intelligence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intelligence.js","sourceRoot":"","sources":["../../src/tools/intelligence.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,WAAW,IAAI,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAiB,MAAM,yBAAyB,CAAC;AACrE,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AActC;;;;GAIG;AACH,SAAS,WAAW,CAAC,GAAY;IAC/B,IAAI,GAAG,YAAY,cAAc,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,IAAI,CAAC,CAAC,GAAG,YAAY,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,GAAG,CAAC,OAAO;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IACpC,OAAO,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,mEAAmE;AACnE,KAAK,UAAU,KAAK,CAAC,OAAe,EAAE,MAAsC;IAC1E,IAAI,CAAC;QACH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,MAAM,EAAE,EAAE,CAAC;IAC3D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,MAAM;IAC1B,MAAM,MAAM,GAAkB,EAAE,CAAC;IAEjC,MAAM,CAAC,IAAI,CACT,MAAM,KAAK,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;QAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,SAAS,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QACnD,OAAO,GAAG,KAAK,CAAC,YAAY,UAAU,CAAC;IACzC,CAAC,CAAC,CACH,CAAC;IAEF,sEAAsE;IACtE,qEAAqE;IACrE,MAAM,CAAC,IAAI,CACT,MAAM,KAAK,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,SAAS,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QACnD,OAAO,GAAG,KAAK,CAAC,KAAK,WAAW,KAAK,CAAC,KAAK,QAAQ,CAAC;IACtD,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,SAAS,GAAG,MAAM,eAAe,EAAE,CAAC;IAC1C,MAAM,CAAC,IAAI,CAAC;QACV,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU;QACrC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,mCAAmC;KAC7F,CAAC,CAAC;IAEH,MAAM,CAAC,IAAI,CACT,MAAM,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,aAAa,EAAE,CAAC,aAAa,iBAAiB,CAAC,CACjG,CAAC;IAEF,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAClF,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAoB;IAC/C,IAAI,MAAM,GAAG,oBAAoB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC;IAChF,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC1B,MAAM,IAAI,yBAAyB,CAAC,CAAC,OAAO,eAAe,CAAC,CAAC,SAAS,cAAc,CAAC,CAAC,QAAQ,aAAa,CAAC,CAAC,OAAO,MAAM,CAAC;IAC3H,MAAM,IAAI,gEAAgE,CAAC;IAC3E,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,MAAM,MAAM,CAAC;IAC7D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/tools/lint/asm-decimal.js

@@ -0,0 +1,86 @@
+/**
+ * decimal_mode_in_irq_handler for 6502 assembly: a handler whose body
+ * reaches ADC or SBC before any CLD. A handler is a label stored to
+ * $0314/$0315 or $FFFE/$FFFF (as #<name / #>name near the store), or named
+ * in a .word/!word after `* = $fffe` or `* = $0314`.
+ */
+import { LABEL } from "./asm-shared.js";
+import { PAGES, group, lineAt, report } from "./types.js";
+const VEC = /(\$0314|\$0315|\$fffe|\$ffff|0x0314|0x0315|0xfffe|0xffff|\b788|\b789|\b65534|\b65535)(?![0-9a-f])/i;
+const STORE = new RegExp(String.raw `^\s*${LABEL}st[axy]\s+`, "i");
+const CLD = new RegExp(String.raw `^\s*${LABEL}cld\b`, "i");
+const RETURN = new RegExp(String.raw `^\s*${LABEL}(rti|rts)\b`, "i");
+const KERNAL_EXIT = new RegExp(String.raw `^\s*${LABEL}jmp\s+(\$ea31|\$ea7e|\$ea81|\$febc)\b`, "i");
+const ARITH = new RegExp(String.raw `^\s*${LABEL}(adc|sbc)\b`, "i");
+function escapeRe(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+/** Handler name -> 0-based line that installs it. */
+function findHandlers(lines) {
+    const handlers = new Map();
+    lines.forEach((line, i) => {
+        if (STORE.test(line) && VEC.test(line)) {
+            for (let j = i; j >= Math.max(0, i - 4); j--) {
+                const m = /#\s*[<>]\s*([A-Za-z_.@][\w.@]*)/.exec(lineAt(lines, j));
+                if (m && !handlers.has(group(m, 1)))
+                    handlers.set(group(m, 1), j);
+            }
+        }
+        const w = /^\s*(?:\.word|!word|\.wo|dc\.w|dw)\s+([A-Za-z_.@][\w.@]*)\b/i.exec(line);
+        if (w && VEC.test(lines.slice(Math.max(0, i - 3), i).join("\n")))
+            handlers.set(group(w, 1), i);
+    });
+    return handlers;
+}
+/** Whether line `l` defines another handler's label, which ends this handler's body. */
+function startsOtherHandler(l, name, handlers) {
+    if (!/^\s*[A-Za-z_.@][\w.@]*\s*:/.test(l))
+        return false;
+    return [...handlers.keys()].some((h) => h !== name && new RegExp(String.raw `^\s*${escapeRe(h)}\s*:`, "i").test(l));
+}
+/** The 0-based line of the first ADC/SBC in the body starting at `start`, before any CLD or exit; -1 if none. */
+function firstArithBeforeCld(lines, start, name, handlers) {
+    for (let j = start; j < lines.length; j++) {
+        const l = lineAt(lines, j);
+        if (j > start && startsOtherHandler(l, name, handlers))
+            return -1;
+        if (CLD.test(l) || RETURN.test(l) || KERNAL_EXIT.test(l))
+            return -1;
+        if (ARITH.test(l))
+            return j;
+    }
+    return -1;
+}
+function message(l, name, installLine, fileSetsD) {
+    const op = l
+        .trim()
+        .split(/\s+/)
+        .find((t) => /^(adc|sbc)$/i.test(t))
+        ?.toUpperCase() ?? "ADC";
+    const qualifier = fileSetsD
+        ? " Likely rather than definite: a CLD inside a macro or a called routine is not seen."
+        : " Heuristic: nothing in this file executes SED, so D is clear unless a routine outside it sets D; the page still calls the CLD mandatory.";
+    return `${op} in the handler ${name} (installed at line ${installLine + 1}) before any CLD. The D flag is not automatically cleared or saved on IRQ entry: the handler runs with D still set if the interrupted code had executed SED and not yet executed CLD, and its ADC and SBC then produce BCD-adjusted results instead of binary. Every IRQ handler must execute CLD as part of its entry stanza, before any arithmetic. RTI restores P from the stack, including D, so no SED is needed on the way out.${qualifier}`;
+}
+export function decimalModeInIrq(ctx) {
+    const { lines } = ctx;
+    const handlers = findHandlers(lines);
+    const fileSetsD = new RegExp(String.raw `^\s*${LABEL}sed\b`, "im").test(ctx.src);
+    for (const [name, installLine] of handlers) {
+        const defRe = new RegExp(String.raw `^\s*${escapeRe(name)}\s*:`, "i");
+        const start = lines.findIndex((l) => defRe.test(l));
+        if (start < 0)
+            continue;
+        const j = firstArithBeforeCld(lines, start, name, handlers);
+        if (j < 0)
+            continue;
+        report(ctx, j, {
+            rule: "decimal_mode_in_irq_handler",
+            pitfall: "decimal_mode_in_irq_handler",
+            message: message(lineAt(lines, j), name, installLine, fileSetsD),
+            page: PAGES.decimal,
+            certainty: fileSetsD ? "likely" : "heuristic",
+        });
+    }
+}
+//# sourceMappingURL=asm-decimal.js.map

package/dist/tools/lint/asm-decimal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"asm-decimal.js","sourceRoot":"","sources":["../../../src/tools/lint/asm-decimal.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAoB,MAAM,YAAY,CAAC;AAE5E,MAAM,GAAG,GACP,oGAAoG,CAAC;AACvG,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,YAAY,EAAE,GAAG,CAAC,CAAC;AAClE,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,OAAO,EAAE,GAAG,CAAC,CAAC;AAC3D,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,aAAa,EAAE,GAAG,CAAC,CAAC;AACpE,MAAM,WAAW,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,uCAAuC,EAAE,GAAG,CAAC,CAAC;AACnG,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,aAAa,EAAE,GAAG,CAAC,CAAC;AAEnE,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,qDAAqD;AACrD,SAAS,YAAY,CAAC,KAAe;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACxB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,CAAC,GAAG,iCAAiC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;gBACnE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;QACD,MAAM,CAAC,GAAG,8DAA8D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,wFAAwF;AACxF,SAAS,kBAAkB,CAAC,CAAS,EAAE,IAAY,EAAE,QAA6B;IAChF,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CACjF,CAAC;AACJ,CAAC;AAED,iHAAiH;AACjH,SAAS,mBAAmB,CAC1B,KAAe,EACf,KAAa,EACb,IAAY,EACZ,QAA6B;IAE7B,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,KAAK,IAAI,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QAClE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QACpE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED,SAAS,OAAO,CAAC,CAAS,EAAE,IAAY,EAAE,WAAmB,EAAE,SAAkB;IAC/E,MAAM,EAAE,GACN,CAAC;SACE,IAAI,EAAE;SACN,KAAK,CAAC,KAAK,CAAC;SACZ,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,EAAE,WAAW,EAAE,IAAI,KAAK,CAAC;IAC7B,MAAM,SAAS,GAAG,SAAS;QACzB,CAAC,CAAC,qFAAqF;QACvF,CAAC,CAAC,0IAA0I,CAAC;IAC/I,OAAO,GAAG,EAAE,mBAAmB,IAAI,uBAAuB,WAAW,GAAG,CAAC,waAAwa,SAAS,EAAE,CAAC;AAC/f,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAgB;IAC/C,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChF,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,KAAK,GAAG,CAAC;YAAE,SAAS;QACxB,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC5D,IAAI,CAAC,GAAG,CAAC;YAAE,SAAS;QACpB,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,6BAA6B;YACtC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC;YAChE,IAAI,EAAE,KAAK,CAAC,OAAO;YACnB,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW;SAC9C,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/tools/lint/asm-rules.js

@@ -0,0 +1,221 @@
+/** The lint rules for 6502 assembly. Each function is one rule; lintAsm runs them in a fixed order. */
+import { decimalModeInIrq } from "./asm-decimal.js";
+import { LABEL } from "./asm-shared.js";
+import { hex4, isZero, parseNumber, stripAsm } from "./text.js";
+import { OPEN15_MECHANISM, PAGES, group, lineAt, report, } from "./types.js";
+const ASM_SID_OPS = new RegExp(String.raw `^\s*${LABEL}(inc|dec|asl|lsr|rol|ror|lda|ldx|ldy|bit|cmp|adc|sbc|and|ora|eor)\s+(\$[0-9a-f]{4}|0x[0-9a-f]{4}|[0-9]{4,5})\s*(,\s*[xy])?\s*$`, "i");
+/**
+ * A page-by-page copy of the character ROM reads $D000-$DFFF with I/O
+ * banked out; $D400,x between $D300,x and $D500,x, or a store to $01 just
+ * before, is that loop and not a SID read.
+ */
+function isCharRomCopy(lines, i) {
+    const near = lines.slice(Math.max(0, i - 6), i + 7).join("\n");
+    if (/\b(lda|ldx|ldy)\s+(\$d[35]00|0xd[35]00)\s*,\s*[xy]\b/i.test(near))
+        return true;
+    return /\bst[axy]\s+(\$0?1|0x0?1|1)\b(?!\d)/i.test(lines.slice(Math.max(0, i - 6), i).join("\n"));
+}
+/** sid_write_only_registers */
+function sidWriteOnly(ctx) {
+    ctx.lines.forEach((line, i) => {
+        const m = ASM_SID_OPS.exec(line);
+        if (!m)
+            return;
+        const ea = parseNumber(group(m, 2));
+        if (ea === null || ea < 0xd400 || ea > 0xd418)
+            return;
+        const indexed = Boolean(group(m, 3));
+        if (indexed && isCharRomCopy(ctx.lines, i))
+            return;
+        report(ctx, i, {
+            rule: "sid_write_only_registers",
+            pitfall: "sid_write_only_registers",
+            message: `${group(m, 1).toUpperCase()} on $${hex4(ea)}: all SID registers $D400-$D418 are write-only, and a read returns the last byte the chip held, not the register's value. Keep a shadow copy in RAM and store the shadow.${indexed ? " Likely rather than definite: the index may carry the effective location past $D418, or $01 may have I/O banked out, in which case this reads character ROM or RAM." : ""}`,
+            page: PAGES.sid,
+            certainty: indexed ? "likely" : "definite",
+        });
+    });
+}
+/** The immediate loaded into `reg` just before the store at line `i`, or null if the register was otherwise changed or not loaded. */
+function immediateStored(lines, i, reg) {
+    const load = new RegExp(String.raw `^\s*${LABEL}ld${reg}\s+#\s*([^\s,]+)`, "i");
+    const clobber = new RegExp(`\\b(ld${reg}|t[axy]${reg}|pl${reg}|in${reg}|de${reg})\\b`, "i");
+    for (let j = i - 1; j >= Math.max(0, i - 8); j--) {
+        const l = lineAt(lines, j);
+        const ld = load.exec(l);
+        if (ld)
+            return parseNumber(group(ld, 1));
+        if (clobber.test(l))
+            return null;
+    }
+    return null;
+}
+/** cia1_ddr_cleared_kills_keyboard: lda #0 ... sta $dc02 with no later lda #$ff ... sta $dc02. */
+function ddrCleared(ctx) {
+    const ddrStores = [];
+    const store = new RegExp(String.raw `^\s*${LABEL}st([axy])\s+(\$dc02|0xdc02|56322)\b`, "i");
+    ctx.lines.forEach((line, i) => {
+        const st = store.exec(line);
+        if (!st)
+            return;
+        ddrStores.push({ line: i, value: immediateStored(ctx.lines, i, group(st, 1).toLowerCase()) });
+    });
+    ddrStores.forEach((s, k) => {
+        if (s.value !== 0)
+            return;
+        if (ddrStores.slice(k + 1).some((t) => t.value === 0xff))
+            return;
+        report(ctx, s.line, {
+            rule: "cia1_ddr_cleared_kills_keyboard",
+            pitfall: "cia1_ddr_cleared_kills_keyboard",
+            message: "Store of 0 to $DC02 with no later store of $FF to it in this file. Clearing $DC02 turns every keyboard column line into an input; SCNKEY's column writes then drive nothing and no key does anything until something writes $FF back. Leave the DDR as IOINIT set it and read $DC00 directly for joystick 2.",
+            page: PAGES.ddr,
+            certainty: "definite",
+        });
+    });
+}
+/** The immediate loaded by `op` (lda, ldy) within six lines above line `i`, or null. */
+function immediateBefore(lines, i, op) {
+    const load = new RegExp(String.raw `^\s*${LABEL}${op}\s+#\s*([^\s,]+)`, "i");
+    for (let j = i - 1; j >= Math.max(0, i - 6); j--) {
+        const ld = load.exec(lineAt(lines, j));
+        if (ld)
+            return parseNumber(group(ld, 1));
+    }
+    return null;
+}
+/** empty-name OPEN of SA 15 then CHKIN/CHRIN: SETNAM with length 0, OPEN with SA 15, then a read. */
+function open15(ctx) {
+    const st = {
+        setnamLen: null,
+        setnamLine: -1,
+        setlfsSa: null,
+        openLine: -1,
+    };
+    ctx.lines.forEach((line, i) => {
+        if (/\bjsr\s+(\$ffbd|setnam)\b/i.test(line)) {
+            st.setnamLen = immediateBefore(ctx.lines, i, "lda");
+            st.setnamLine = i;
+        }
+        if (/\bjsr\s+(\$ffba|setlfs)\b/i.test(line))
+            st.setlfsSa = immediateBefore(ctx.lines, i, "ldy");
+        if (/\bjsr\s+(\$ffc0|open)\b/i.test(line))
+            st.openLine = st.setnamLen === 0 && st.setlfsSa === 15 ? i : -1;
+        if (st.openLine < 0 || !/\bjsr\s+(\$ffc6|chkin|\$ffcf|chrin)\b/i.test(line))
+            return;
+        report(ctx, st.openLine, {
+            rule: "empty_name_open_15_hangs_on_read",
+            pitfall: "empty_name_open_15_hangs_on_read",
+            message: `OPEN of secondary address 15 after a SETNAM of length 0 (line ${st.setnamLine + 1}) and then a read on it (line ${i + 1}). ${OPEN15_MECHANISM}`,
+            page: PAGES.open15,
+            certainty: "heuristic",
+        });
+        st.openLine = -1;
+    });
+}
+/** Raster poll with the KERNAL IRQ live. */
+function rasterPoll(ctx) {
+    if (/\$0314|\$0318|\$fffe|\$fffa|\bsei\b/i.test(ctx.src))
+        return;
+    ctx.lines.forEach((line, i) => {
+        if (!/\b(lda|cmp|ldx|ldy|cpx|cpy|bit)\s+(\$d012|0xd012|53266)\b/i.test(line))
+            return;
+        const window = ctx.lines.slice(i, i + 4).join("\n");
+        if (!/\b(bne|beq|bcc|bcs|bpl|bmi)\b/i.test(window))
+            return;
+        report(ctx, i, {
+            rule: "raster_poll_with_kernal_irq_live",
+            pitfall: "raster_irq_first_line_jitter",
+            message: "Busy-wait on $D012 in a file that never installs an interrupt (no $0314, $FFFE or SEI). The KERNAL jiffy interrupt is still live, so the poll can be pre-empted across the line it waits for and the loop's entry point moves by whole lines from frame to frame. Either take the interrupt (SEI, or a handler on $0314) or have a raster interrupt own a tick byte the loop waits on. Heuristic: the interrupt may be installed in another file.",
+            page: PAGES.rasterPoll,
+            certainty: "heuristic",
+        });
+    });
+}
+/** lfsr_zero_state_lockup: a seed label defined as zero. */
+function lfsrZero(ctx) {
+    ctx.lines.forEach((line, i) => {
+        const def = /^\s*(\w*(?:seed|lfsr|rng)\w*):?\s+(?:\.byte|\.word|!byte|!word|byte|word|dc\.b|dc\.w|db|dw)\s+([^\s,]+)\s*$/i.exec(line);
+        if (!def || !isZero(group(def, 2)))
+            return;
+        const name = group(def, 1);
+        if (!new RegExp(`\\b(lsr|asl|ror|rol|eor)\\s+${name}\\b`, "i").test(ctx.src))
+            return;
+        report(ctx, i, {
+            rule: "lfsr_zero_state_lockup",
+            pitfall: "lfsr_zero_state_lockup",
+            message: `${name} is defined as zero. An LFSR seeded with zero outputs zero for ever: from state zero the bit that falls out is 0, nothing is XORed in, and the state is zero again. Test the seed before the first step and replace zero with a non-zero constant.`,
+            page: PAGES.lfsr,
+            certainty: "likely",
+        });
+    });
+}
+const D016_LOAD_ENDS = new RegExp(String.raw `^\s*${LABEL}(lda|pla|txa|tya|jsr|jmp|rts|rti|b(?:ne|eq|cc|cs|pl|mi|vc|vs))\b`, "i");
+const D016_IMMEDIATE = new RegExp(String.raw `^\s*${LABEL}lda\s+#\s*([^\s,]+)\s*$`, "i");
+/**
+ * Walk back from a $D016 store to the instruction that loaded A. A read
+ * of $D016 or an AND on the way is a masked write; an immediate with bit 3
+ * set carries CSEL; anything else is unknown and reported.
+ */
+function d016StoreKeepsCsel(lines, i) {
+    for (let j = i - 1; j >= Math.max(0, i - 12); j--) {
+        const l = lineAt(lines, j);
+        if (/\b(lda|ldx|ldy)\s+(\$d016|0xd016|53270)\b/i.test(l) || /\band\s+#/i.test(l))
+            return true;
+        const imm = D016_IMMEDIATE.exec(l);
+        if (imm) {
+            const literal = parseNumber(group(imm, 1));
+            return literal !== null && (literal & 0x08) !== 0;
+        }
+        if (D016_LOAD_ENDS.test(l))
+            return false;
+    }
+    return false;
+}
+/** d016_unmasked_rmw_clobbers_csel_mcm: STA $D016 with no LDA $D016 / AND in the preceding lines. */
+function d016Unmasked(ctx) {
+    const store = new RegExp(String.raw `^\s*${LABEL}sta\s+(\$d016|0xd016|53270)\b`, "i");
+    ctx.lines.forEach((line, i) => {
+        if (!store.test(line) || d016StoreKeepsCsel(ctx.lines, i))
+            return;
+        report(ctx, i, {
+            rule: "d016_unmasked_rmw_clobbers_csel_mcm",
+            pitfall: "d016_unmasked_rmw_clobbers_csel_mcm",
+            message: "STA $D016 with no read of $D016 and no AND mask before it: the naive store zeroes CSEL and MCM along with bits 5-7, switching to 38 columns and hires. Use `lda $d016 / and #$f8 / ora xscroll / sta $d016`, or a shadow that carries CSEL and MCM. Heuristic: the value may come from such a shadow.",
+            page: PAGES.d016,
+            certainty: "heuristic",
+        });
+    });
+}
+/** jmp_indirect_page_boundary_bug */
+function jmpIndirect(ctx) {
+    const jmp = new RegExp(String.raw `^\s*${LABEL}jmp\s*\(\s*(\$[0-9a-f]{1,4}|0x[0-9a-f]{1,4}|[0-9]{1,5})\s*\)`, "i");
+    ctx.lines.forEach((line, i) => {
+        const m = jmp.exec(line);
+        if (!m)
+            return;
+        const vec = parseNumber(group(m, 1));
+        if (vec === null || (vec & 0xff) !== 0xff)
+            return;
+        report(ctx, i, {
+            rule: "jmp_indirect_page_boundary_bug",
+            pitfall: "jmp_indirect_page_boundary_bug",
+            message: `JMP ($${hex4(vec)}): the 6510 fetches the high byte of the destination from $${hex4(vec & 0xff00)}, not $${hex4((vec + 1) & 0xffff)}. The low byte of the pointer wraps within the page. Move the vector so its low-byte slot does not end in $FF.`,
+            page: PAGES.jmp,
+            certainty: "definite",
+        });
+    });
+}
+export function lintAsm(raw, findings) {
+    const src = stripAsm(raw);
+    const ctx = { src, lines: src.split("\n"), rawLines: raw.split("\n"), findings };
+    sidWriteOnly(ctx);
+    ddrCleared(ctx);
+    open15(ctx);
+    rasterPoll(ctx);
+    lfsrZero(ctx);
+    decimalModeInIrq(ctx);
+    d016Unmasked(ctx);
+    jmpIndirect(ctx);
+}
+//# sourceMappingURL=asm-rules.js.map

package/dist/tools/lint/asm-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"asm-rules.js","sourceRoot":"","sources":["../../../src/tools/lint/asm-rules.ts"],"names":[],"mappings":"AAAA,uGAAuG;AAEvG,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAChE,OAAO,EACL,gBAAgB,EAChB,KAAK,EACL,KAAK,EACL,MAAM,EACN,MAAM,GAGP,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,GAAG,IAAI,MAAM,CAC5B,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,gIAAgI,EACtJ,GAAG,CACJ,CAAC;AAEF;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAAe,EAAE,CAAS;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,uDAAuD,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpF,OAAO,sCAAsC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,+BAA+B;AAC/B,SAAS,YAAY,CAAC,GAAgB;IACpC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,MAAM,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,GAAG,MAAM,IAAI,EAAE,GAAG,MAAM;YAAE,OAAO;QACtD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,OAAO,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;YAAE,OAAO;QACnD,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,0BAA0B;YACnC,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,QAAQ,IAAI,CAAC,EAAE,CAAC,4KAA4K,OAAO,CAAC,CAAC,CAAC,qKAAqK,CAAC,CAAC,CAAC,EAAE,EAAE;YACvZ,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;SAC3C,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,sIAAsI;AACtI,SAAS,eAAe,CAAC,KAAe,EAAE,CAAS,EAAE,GAAW;IAC9D,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,KAAK,GAAG,kBAAkB,EAAE,GAAG,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,SAAS,GAAG,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5F,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,EAAE;YAAE,OAAO,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACnC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kGAAkG;AAClG,SAAS,UAAU,CAAC,GAAgB;IAClC,MAAM,SAAS,GAA6C,EAAE,CAAC;IAC/D,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,qCAAqC,EAAE,GAAG,CAAC,CAAC;IAC3F,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IACH,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACzB,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC;YAAE,OAAO;QAC1B,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC;YAAE,OAAO;QACjE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE;YAClB,IAAI,EAAE,iCAAiC;YACvC,OAAO,EAAE,iCAAiC;YAC1C,OAAO,EACL,8SAA8S;YAChT,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,SAAS,EAAE,UAAU;SACtB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,wFAAwF;AACxF,SAAS,eAAe,CAAC,KAAe,EAAE,CAAS,EAAE,EAAU;IAC7D,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,GAAG,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAC;IAC5E,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,EAAE;YAAE,OAAO,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,qGAAqG;AACrG,SAAS,MAAM,CAAC,GAAgB;IAC9B,MAAM,EAAE,GAAgG;QACtG,SAAS,EAAE,IAAI;QACf,UAAU,EAAE,CAAC,CAAC;QACd,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,CAAC,CAAC;KACb,CAAC;IACF,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,EAAE,CAAC,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YACpD,EAAE,CAAC,UAAU,GAAG,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,EAAE,CAAC,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QAChG,IAAI,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;YACvC,EAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,SAAS,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,IAAI,EAAE,CAAC,QAAQ,GAAG,CAAC,IAAI,CAAC,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO;QACpF,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,EAAE;YACvB,IAAI,EAAE,kCAAkC;YACxC,OAAO,EAAE,kCAAkC;YAC3C,OAAO,EAAE,iEAAiE,EAAE,CAAC,UAAU,GAAG,CAAC,iCAAiC,CAAC,GAAG,CAAC,MAAM,gBAAgB,EAAE;YACzJ,IAAI,EAAE,KAAK,CAAC,MAAM;YAClB,SAAS,EAAE,WAAW;SACvB,CAAC,CAAC;QACH,EAAE,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4CAA4C;AAC5C,SAAS,UAAU,CAAC,GAAgB;IAClC,IAAI,sCAAsC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IACjE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,IAAI,CAAC,4DAA4D,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO;QACrF,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,gCAAgC,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO;QAC3D,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,kCAAkC;YACxC,OAAO,EAAE,8BAA8B;YACvC,OAAO,EACL,mbAAmb;YACrb,IAAI,EAAE,KAAK,CAAC,UAAU;YACtB,SAAS,EAAE,WAAW;SACvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4DAA4D;AAC5D,SAAS,QAAQ,CAAC,GAAgB;IAChC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,GAAG,GACP,8GAA8G,CAAC,IAAI,CACjH,IAAI,CACL,CAAC;QACJ,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAAE,OAAO;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,MAAM,CAAC,+BAA+B,IAAI,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QACrF,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,wBAAwB;YACjC,OAAO,EAAE,GAAG,IAAI,oPAAoP;YACpQ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,QAAQ;SACpB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,cAAc,GAAG,IAAI,MAAM,CAC/B,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,kEAAkE,EACxF,GAAG,CACJ,CAAC;AACF,MAAM,cAAc,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,yBAAyB,EAAE,GAAG,CAAC,CAAC;AAExF;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,KAAe,EAAE,CAAS;IACpD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAClD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAI,4CAA4C,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9F,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,EAAE,CAAC;YACR,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3C,OAAO,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC3C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qGAAqG;AACrG,SAAS,YAAY,CAAC,GAAgB;IACpC,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,+BAA+B,EAAE,GAAG,CAAC,CAAC;IACrF,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;YAAE,OAAO;QAClE,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,qCAAqC;YAC3C,OAAO,EAAE,qCAAqC;YAC9C,OAAO,EACL,uSAAuS;YACzS,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,WAAW;SACvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,qCAAqC;AACrC,SAAS,WAAW,CAAC,GAAgB;IACnC,MAAM,GAAG,GAAG,IAAI,MAAM,CACpB,MAAM,CAAC,GAAG,CAAA,OAAO,KAAK,8DAA8D,EACpF,GAAG,CACJ,CAAC;IACF,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO;QAClD,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,gCAAgC;YACtC,OAAO,EAAE,gCAAgC;YACzC,OAAO,EAAE,SAAS,IAAI,CAAC,GAAG,CAAC,8DAA8D,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,gHAAgH;YAC7P,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,SAAS,EAAE,UAAU;SACtB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,GAAW,EAAE,QAAuB;IAC1D,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAgB,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC9F,YAAY,CAAC,GAAG,CAAC,CAAC;IAClB,UAAU,CAAC,GAAG,CAAC,CAAC;IAChB,MAAM,CAAC,GAAG,CAAC,CAAC;IACZ,UAAU,CAAC,GAAG,CAAC,CAAC;IAChB,QAAQ,CAAC,GAAG,CAAC,CAAC;IACd,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACtB,YAAY,CAAC,GAAG,CAAC,CAAC;IAClB,WAAW,CAAC,GAAG,CAAC,CAAC;AACnB,CAAC"}

package/dist/tools/lint/asm-shared.js

@@ -0,0 +1,3 @@
+/** An optional leading label on an assembly line, shared by every asm rule's pattern. */
+export const LABEL = String.raw `(?:[\w.@!+-]+:?\s+)?`;
+//# sourceMappingURL=asm-shared.js.map

package/dist/tools/lint/asm-shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"asm-shared.js","sourceRoot":"","sources":["../../../src/tools/lint/asm-shared.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAA,sBAAsB,CAAC"}

package/dist/tools/lint/c-rules.js

@@ -0,0 +1,215 @@
+/** The lint rules for C (Oscar64, cc65). Each function is one rule; lintC runs them in a fixed order. */
+import { OPEN15_MECHANISM, PAGES, SID_READABLE, group, lineAt, report } from "./types.js";
+import { isZero, parseNumber, stripC } from "./text.js";
+const C_SID_PATH = /\bsid((?:\.\w+|\[[^\]]*\])+)/g;
+const SID = {
+    rule: "sid_write_only_registers",
+    pitfall: "sid_write_only_registers",
+    page: PAGES.sid,
+};
+/** One `sid.field` access: a read-modify-write, a plain read, or neither (a write, sizeof, address-of). */
+function sidAccess(ctx, i, line, m) {
+    const path = group(m, 1);
+    const field = group(/\.(\w+)\s*$/.exec(path) ?? [], 1);
+    if (SID_READABLE.has(field))
+        return;
+    const after = line.slice(m.index + m[0].length);
+    const before = line.slice(0, m.index);
+    const rmw = /^\s*(\+\+|--|[-+*/|&^]=|<<=|>>=)/.test(after) || /(\+\+|--)\s*$/.test(before);
+    const plainWrite = /^\s*=(?!=)/.test(after);
+    const isSizeof = /\bsizeof\s*\(\s*$/.test(before);
+    const isAddressOf = /&\s*$/.test(before);
+    if (rmw) {
+        report(ctx, i, {
+            ...SID,
+            message: `Read-modify-write of sid${path}: all SID registers $D400-$D418 are write-only, and a read returns the last byte the chip held, not the register's value. Keep a shadow copy in RAM, change the shadow, and write the shadow to the register.`,
+            certainty: "definite",
+        });
+    }
+    else if (!plainWrite && !isSizeof && !isAddressOf) {
+        report(ctx, i, {
+            ...SID,
+            message: `Read of sid${path}: all SID registers $D400-$D418 are write-only; reads return the last byte the chip held. Only $D419-$D41C (potx, poty, random, env3) read back anything meaningful. Read your shadow copy instead.`,
+            certainty: "definite",
+        });
+    }
+}
+/** sid_write_only_registers: read or read-modify-write of a write-only field. */
+function sidWriteOnly(ctx) {
+    ctx.lines.forEach((line, i) => {
+        if (/^\s*#/.test(line))
+            return; // preprocessor: `#include <c64/sid.h>` is not a read
+        C_SID_PATH.lastIndex = 0;
+        for (let m = C_SID_PATH.exec(line); m !== null; m = C_SID_PATH.exec(line))
+            sidAccess(ctx, i, line, m);
+        // Raw pointer form: *(volatile char*)0xD404 |= ...
+        if (/0x[dD]4(?:0[0-9a-fA-F]|1[0-8])\b[^;=]*?(\+\+|--|[-+*/|&^]=|<<=|>>=)/.test(line)) {
+            report(ctx, i, {
+                ...SID,
+                message: "Read-modify-write through a pointer into $D400-$D418: these registers are write-only, and a read returns the last byte the chip held. Keep a shadow copy and write the shadow.",
+                certainty: "definite",
+            });
+        }
+    });
+}
+/** cia1_ddr_cleared_kills_keyboard: cia1.ddra = 0 with no later write of 0xFF. */
+function ddrCleared(ctx) {
+    const ddrZero = [];
+    let ddrRestore = -1;
+    ctx.lines.forEach((line, i) => {
+        const m = /\bcia1\s*\.\s*ddra\s*=(?!=)\s*([^;]+);/.exec(line) ??
+            /\*\s*\(\s*(?:volatile\s+)?(?:unsigned\s+)?(?:char|byte)\s*\*\s*\)\s*0x[dD][cC]02\s*=(?!=)\s*([^;]+);/.exec(line);
+        if (!m)
+            return;
+        const v = group(m, 1).trim();
+        if (isZero(v))
+            ddrZero.push(i);
+        else if (parseNumber(v) === 0xff)
+            ddrRestore = i;
+    });
+    for (const i of ddrZero) {
+        if (ddrRestore > i)
+            continue;
+        report(ctx, i, {
+            rule: "cia1_ddr_cleared_kills_keyboard",
+            pitfall: "cia1_ddr_cleared_kills_keyboard",
+            message: "Clearing $DC02 (cia1.ddra) turns every keyboard column line into an input; SCNKEY's column writes then drive nothing and no key does anything until something writes $FF back. Nothing later in this file does. Leave the DDR as IOINIT set it ($DC02 = $FF) and read $DC00 directly for joystick 2.",
+            page: PAGES.ddr,
+            certainty: "definite",
+        });
+    }
+}
+/** The nearest krnio_setnam within 12 lines above `i`: whether there was one and whether its name is empty. */
+function setnamBefore(lines, i) {
+    for (let j = i; j >= Math.max(0, i - 12); j--) {
+        const s = /\bkrnio_setnam(_n)?\s*\(([^)]*)\)/.exec(lineAt(lines, j));
+        if (!s)
+            continue;
+        const args = group(s, 2);
+        if (group(s, 1) === "_n")
+            return { sawSetnam: true, emptyName: isZero(args.split(",").pop() ?? "") };
+        return { sawSetnam: true, emptyName: /^\s*""\s*$/.test(args) };
+    }
+    return { sawSetnam: false, emptyName: false };
+}
+/** The first read on file number `fnum` within 20 lines of `i`, stopping at its close; -1 if none. */
+function readAfter(lines, i, fnum) {
+    const read = new RegExp(`\\bkrnio_(gets|read|getch|chkin|read_lzo)\\s*\\(\\s*${fnum}\\b`);
+    const close = new RegExp(`\\bkrnio_close\\s*\\(\\s*${fnum}\\b`);
+    for (let j = i; j < Math.min(lines.length, i + 20); j++) {
+        const l = lineAt(lines, j);
+        if (read.test(l))
+            return j;
+        if (close.test(l))
+            return -1;
+    }
+    return -1;
+}
+/** empty-name OPEN of channel 15 followed by a read. */
+function open15(ctx) {
+    ctx.lines.forEach((line, i) => {
+        const m = /\bkrnio_open\s*\(\s*(\w+)\s*,\s*\w+\s*,\s*15\s*\)/.exec(line);
+        if (!m)
+            return;
+        const { sawSetnam, emptyName } = setnamBefore(ctx.lines, i);
+        if (sawSetnam && !emptyName)
+            return;
+        const readLine = readAfter(ctx.lines, i, group(m, 1));
+        if (readLine < 0)
+            return;
+        report(ctx, i, {
+            rule: "empty_name_open_15_hangs_on_read",
+            pitfall: "empty_name_open_15_hangs_on_read",
+            message: `OPEN of channel 15 with ${sawSetnam ? "an empty name" : "no name set"} and then a read on it (line ${readLine + 1}). ${OPEN15_MECHANISM}`,
+            page: PAGES.open15,
+            certainty: "heuristic",
+        });
+    });
+}
+function isRasterPoll(line) {
+    return (/\b(while|for|do)\b[^;{]*\bvic\s*\.\s*raster\b/.test(line) ||
+        /\b(while|for)\b[^;{]*0x[dD]012\b/.test(line) ||
+        /\bvic_waitLine\s*\(/.test(line) ||
+        /\bvic_waitBottom\s*\(/.test(line));
+}
+/** Raster poll with the KERNAL IRQ live. */
+function rasterPoll(ctx) {
+    const installsIrq = /\brirq_\w+|__interrupt|0x0314\b|0x0318\b|0xfffe\b|\$0314|\$fffe|\bsei\b|rasterirq\.h/i.test(ctx.src);
+    if (installsIrq)
+        return;
+    ctx.lines.forEach((line, i) => {
+        if (!isRasterPoll(line))
+            return;
+        report(ctx, i, {
+            rule: "raster_poll_with_kernal_irq_live",
+            pitfall: "raster_irq_first_line_jitter",
+            message: "Busy-wait on vic.raster ($D012) in a file that never installs an interrupt (no rirq_*, __interrupt, $0314, $FFFE or SEI). The KERNAL jiffy interrupt is still live, so the poll can be pre-empted across the line it waits for and the loop's entry point moves by whole lines from frame to frame; a poll for one exact value can miss it and wait a frame. The frame-sync-loop recipe has the interrupt own one tick byte and the main loop wait for the tick. Heuristic: the interrupt may be installed in another file.",
+            page: PAGES.rasterPoll,
+            certainty: "heuristic",
+        });
+    });
+}
+/** lfsr_zero_state_lockup: a seed constant of 0. */
+function lfsrZero(ctx) {
+    ctx.lines.forEach((line, i) => {
+        const m = /\b(?:(?:static|unsigned|char|int|short|long|volatile|const|byte|word)\s+)*(\w*(?:seed|lfsr|rng|rand_state|random_state)\w*)\s*=(?!=)\s*(0x0+|0)\s*[;,]/i.exec(line);
+        if (!m)
+            return;
+        const name = group(m, 1);
+        // Only a name the file shifts or XORs is an LFSR state; a counter
+        // or flag that happens to contain "seed" or "rng" is not.
+        const shifted = new RegExp(`(\\b${name}\\s*(>>=?|<<=?|\\^=?)|(>>|<<|\\^)\\s*${name}\\b)`).test(ctx.src);
+        if (!shifted)
+            return;
+        const checked = new RegExp(`(!\\s*${name}\\b|\\b${name}\\s*==\\s*0\\b|\\b${name}\\s*\\|\\|)`).test(ctx.src);
+        if (checked)
+            return;
+        report(ctx, i, {
+            rule: "lfsr_zero_state_lockup",
+            pitfall: "lfsr_zero_state_lockup",
+            message: `${name} is set to zero and nothing in this file tests it for zero. An LFSR seeded with zero outputs zero for ever: from state zero the bit that falls out is 0, nothing is XORed in, and the state is zero again. Test the seed before the first step and replace zero with a non-zero constant.`,
+            page: PAGES.lfsr,
+            certainty: "likely",
+        });
+    });
+}
+/** Whether the right-hand side of a vic.ctrl2 store keeps CSEL: a masked read, or a value with bit 3 set. */
+function keepsCsel(rhs) {
+    if (/\bvic\s*\.\s*ctrl2\b/.test(rhs) || rhs.includes("&"))
+        return true;
+    const lit = parseNumber(rhs);
+    if (lit !== null && (lit & 0x08) !== 0)
+        return true;
+    return /\b0x[cC]8\b|\b0x[dD]8\b|\b0x18\b|\b0x08\b|\bVIC_CTRL2_CSEL\b|\bVIC_CTRL2_MCM\b/.test(rhs);
+}
+/** d016_unmasked_rmw_clobbers_csel_mcm: a store to vic.ctrl2 not derived from a masked read. */
+function d016Unmasked(ctx) {
+    ctx.lines.forEach((line, i) => {
+        const m = /\bvic\s*\.\s*ctrl2\s*=(?!=)\s*([^;]+);/.exec(line) ?? /0x[dD]016\b[^;=]*=(?!=)\s*([^;]+);/.exec(line);
+        if (!m || keepsCsel(group(m, 1).trim()))
+            return;
+        report(ctx, i, {
+            rule: "d016_unmasked_rmw_clobbers_csel_mcm",
+            pitfall: "d016_unmasked_rmw_clobbers_csel_mcm",
+            message: "Store to vic.ctrl2 ($D016) of a value not derived from a masked read: the naive `vic.ctrl2 = xscroll` zeroes CSEL and MCM along with bits 5-7, switching to 38 columns and hires. Write `vic.ctrl2 = (vic.ctrl2 & 0xF8) | xscroll`, or a shadow that carries CSEL and MCM. Heuristic: the right-hand side may already be such a shadow.",
+            page: PAGES.d016,
+            certainty: "heuristic",
+        });
+    });
+}
+// decimal_mode_in_irq_handler has no C form. The pitfall is a handler
+// whose entry does not CLD before its first ADC or SBC; in C the
+// arithmetic is the compiler's and whether the prologue clears D is a
+// property of the toolchain, not of the text, so there is nothing to
+// match. The asm form is in asm-rules.ts.
+export function lintC(raw, findings) {
+    const src = stripC(raw);
+    const ctx = { src, lines: src.split("\n"), rawLines: raw.split("\n"), findings };
+    sidWriteOnly(ctx);
+    ddrCleared(ctx);
+    open15(ctx);
+    rasterPoll(ctx);
+    lfsrZero(ctx);
+    d016Unmasked(ctx);
+}
+//# sourceMappingURL=c-rules.js.map

package/dist/tools/lint/c-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"c-rules.js","sourceRoot":"","sources":["../../../src/tools/lint/c-rules.ts"],"names":[],"mappings":"AAAA,yGAAyG;AAEzG,OAAO,EAAE,gBAAgB,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAoB,MAAM,YAAY,CAAC;AAC5G,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAGxD,MAAM,UAAU,GAAG,+BAA+B,CAAC;AAEnD,MAAM,GAAG,GAAG;IACV,IAAI,EAAE,0BAA0B;IAChC,OAAO,EAAE,0BAA0B;IACnC,IAAI,EAAE,KAAK,CAAC,GAAG;CACP,CAAC;AAEX,2GAA2G;AAC3G,SAAS,SAAS,CAAC,GAAgB,EAAE,CAAS,EAAE,IAAY,EAAE,CAAkB;IAC9E,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzB,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IACvD,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3F,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,GAAG,GAAG;YACN,OAAO,EAAE,2BAA2B,IAAI,+MAA+M;YACvP,SAAS,EAAE,UAAU;SACtB,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,CAAC,UAAU,IAAI,CAAC,QAAQ,IAAI,CAAC,WAAW,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,GAAG,GAAG;YACN,OAAO,EAAE,cAAc,IAAI,qMAAqM;YAChO,SAAS,EAAE,UAAU;SACtB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,SAAS,YAAY,CAAC,GAAgB;IACpC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,qDAAqD;QACrF,UAAU,CAAC,SAAS,GAAG,CAAC,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACtG,mDAAmD;QACnD,IAAI,qEAAqE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrF,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;gBACb,GAAG,GAAG;gBACN,OAAO,EACL,gLAAgL;gBAClL,SAAS,EAAE,UAAU;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,kFAAkF;AAClF,SAAS,UAAU,CAAC,GAAgB;IAClC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC;IACpB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,CAAC,GACL,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC;YACnD,sGAAsG,CAAC,IAAI,CACzG,IAAI,CACL,CAAC;QACJ,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aAC1B,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,UAAU,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,UAAU,GAAG,CAAC;YAAE,SAAS;QAC7B,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,iCAAiC;YACvC,OAAO,EAAE,iCAAiC;YAC1C,OAAO,EACL,sSAAsS;YACxS,IAAI,EAAE,KAAK,CAAC,GAAG;YACf,SAAS,EAAE,UAAU;SACtB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,+GAA+G;AAC/G,SAAS,YAAY,CAAC,KAAe,EAAE,CAAS;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,mCAAmC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzB,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACrG,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAChD,CAAC;AAED,sGAAsG;AACtG,SAAS,SAAS,CAAC,KAAe,EAAE,CAAS,EAAE,IAAY;IACzD,MAAM,IAAI,GAAG,IAAI,MAAM,CAAC,uDAAuD,IAAI,KAAK,CAAC,CAAC;IAC1F,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,4BAA4B,IAAI,KAAK,CAAC,CAAC;IAChE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACxD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED,wDAAwD;AACxD,SAAS,MAAM,CAAC,GAAgB;IAC9B,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,CAAC,GAAG,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC5D,IAAI,SAAS,IAAI,CAAC,SAAS;YAAE,OAAO;QACpC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,QAAQ,GAAG,CAAC;YAAE,OAAO;QACzB,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,kCAAkC;YACxC,OAAO,EAAE,kCAAkC;YAC3C,OAAO,EAAE,2BAA2B,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,aAAa,gCAAgC,QAAQ,GAAG,CAAC,MAAM,gBAAgB,EAAE;YACnJ,IAAI,EAAE,KAAK,CAAC,MAAM;YAClB,SAAS,EAAE,WAAW;SACvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,CACL,+CAA+C,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1D,kCAAkC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7C,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CACnC,CAAC;AACJ,CAAC;AAED,4CAA4C;AAC5C,SAAS,UAAU,CAAC,GAAgB;IAClC,MAAM,WAAW,GACf,uFAAuF,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxG,IAAI,WAAW;QAAE,OAAO;IACxB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,OAAO;QAChC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,kCAAkC;YACxC,OAAO,EAAE,8BAA8B;YACvC,OAAO,EACL,6fAA6f;YAC/f,IAAI,EAAE,KAAK,CAAC,UAAU;YACtB,SAAS,EAAE,WAAW;SACvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,oDAAoD;AACpD,SAAS,QAAQ,CAAC,GAAgB;IAChC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,CAAC,GACL,yJAAyJ,CAAC,IAAI,CAC5J,IAAI,CACL,CAAC;QACJ,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzB,kEAAkE;QAClE,0DAA0D;QAC1D,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,OAAO,IAAI,wCAAwC,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxG,IAAI,CAAC,OAAO;YAAE,OAAO;QACrB,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,SAAS,IAAI,UAAU,IAAI,qBAAqB,IAAI,aAAa,CAAC,CAAC,IAAI,CAChG,GAAG,CAAC,GAAG,CACR,CAAC;QACF,IAAI,OAAO;YAAE,OAAO;QACpB,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,wBAAwB;YACjC,OAAO,EAAE,GAAG,IAAI,2RAA2R;YAC3S,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,QAAQ;SACpB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6GAA6G;AAC7G,SAAS,SAAS,CAAC,GAAW;IAC5B,IAAI,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,OAAO,gFAAgF,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACpG,CAAC;AAED,gGAAgG;AAChG,SAAS,YAAY,CAAC,GAAgB;IACpC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAC5B,MAAM,CAAC,GACL,wCAAwC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzG,IAAI,CAAC,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAAE,OAAO;QAChD,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE;YACb,IAAI,EAAE,qCAAqC;YAC3C,OAAO,EAAE,qCAAqC;YAC9C,OAAO,EACL,yUAAyU;YAC3U,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,WAAW;SACvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,sEAAsE;AACtE,iEAAiE;AACjE,sEAAsE;AACtE,qEAAqE;AACrE,0CAA0C;AAE1C,MAAM,UAAU,KAAK,CAAC,GAAW,EAAE,QAAuB;IACxD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,GAAG,GAAgB,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC;IAC9F,YAAY,CAAC,GAAG,CAAC,CAAC;IAClB,UAAU,CAAC,GAAG,CAAC,CAAC;IAChB,MAAM,CAAC,GAAG,CAAC,CAAC;IACZ,UAAU,CAAC,GAAG,CAAC,CAAC;IAChB,QAAQ,CAAC,GAAG,CAAC,CAAC;IACd,YAAY,CAAC,GAAG,CAAC,CAAC;AACpB,CAAC"}