c64-kb 0.17.0

package/dist/tools/pitfalls.js

@@ -0,0 +1,134 @@
+/**
+ * Pitfall and failure-diagnosis query tools — Phase 5.
+ *
+ * pitfallsFor(topic): resolves a Register, KernalRoutine, or Technique topic
+ *   to Pitfall nodes via TRIGGERED_BY traversal — and, for a Technique, via
+ *   MITIGATED_BY as well, so a technique that is the Fix for a pitfall answers
+ *   from the graph with the relation named. Falls back to "search" when no
+ *   direct graph match is found.
+ *
+ * failureDiagnose(symptom): keyword-overlap scoring against all CrashPattern
+ *   nodes, returns top 5 matches with CAUSED_BY enrichment.
+ *
+ * The graph reads live in src/tools/pitfalls/graph.ts, the text in
+ * format.ts, the BM25 vocabulary in bm25.ts.
+ */
+import { z } from "zod";
+import { getFalkor, getQdrant, getAnalytics } from "../context.js";
+import { embed } from "../services/embeddings.js";
+import { encodeSparse } from "./pitfalls/bm25.js";
+import { directPitfalls, edgeTargets, enrichPitfall, normalizeKey, withPitfallsViaUses, } from "./pitfalls/graph.js";
+import { formatFailureDiagnoseText, formatPitfallsText, formatSearchFallbackText, } from "./pitfalls/format.js";
+// Tried in this order; the first kind with any pitfall answers.
+const KINDS = ["Register", "KernalRoutine", "Technique"];
+async function pitfallsForKind(topic, kind) {
+    const f = await getFalkor();
+    const key = normalizeKey(kind, topic);
+    const direct = await directPitfalls(f, kind, key);
+    const { rows, viaOf } = kind === "Technique" ? await withPitfallsViaUses(f, key, direct) : { rows: direct, viaOf: undefined };
+    // Enrich each with its full triggered_by and mitigated_by lists.
+    return Promise.all(rows.map((row) => enrichPitfall(f, row, viaOf?.get(row.name))));
+}
+/**
+ * No direct match: semantic search over the pitfall pages. hybridSearch's
+ * filterSource is an exact match, not a prefix, so it runs unfiltered with
+ * a wider limit and keeps the pitfalls/ hits client-side.
+ */
+async function searchFallback(topic) {
+    const qdrant = await getQdrant();
+    const vec = await embed(topic);
+    const raw = vec
+        ? await qdrant.hybridSearch(vec, encodeSparse(topic), 20)
+        : await qdrant.searchByText(topic, 20);
+    const pitfallHits = raw.filter((r) => r.source.startsWith("pitfalls/")).slice(0, 5);
+    const search_results = pitfallHits.map((r) => ({
+        source: r.source,
+        section: r.section,
+        text: r.text,
+        score: r.score,
+    }));
+    getAnalytics().logQuery({ tool: "c64_pitfalls_for", query: topic, resultCount: search_results.length });
+    return {
+        structured: { topic, topic_kind: "search", pitfalls: [], search_results },
+        text: search_results.length > 0
+            ? formatSearchFallbackText(topic, pitfallHits)
+            : `No direct match for "${topic}" and no pitfall docs matched semantically. Try a register name (D012, $D012), KERNAL routine name, or technique name (stable_raster_irq). Use c64_search for fuzzy topic queries.`,
+    };
+}
+export async function pitfallsFor(topic) {
+    for (const kind of KINDS) {
+        const pitfalls = await pitfallsForKind(topic, kind);
+        if (pitfalls.length === 0)
+            continue;
+        getAnalytics().logQuery({ tool: "c64_pitfalls_for", query: topic, resultCount: pitfalls.length });
+        return {
+            structured: { topic, topic_kind: kind, pitfalls },
+            text: formatPitfallsText(topic, kind, pitfalls),
+        };
+    }
+    return searchFallback(topic);
+}
+const CrashPatternRow = z.object({
+    symptom: z.string().nullish(),
+    description: z.string().nullish(),
+    likely_causes: z.string().nullish(),
+    diagnosis_steps: z.string().nullish(),
+});
+/** likely_causes is stored as a JSON string of an array (FalkorService.addCrashPattern). */
+function parseLikelyCauses(raw) {
+    let parsed;
+    try {
+        parsed = JSON.parse(raw);
+    }
+    catch (err) {
+        if (err instanceof SyntaxError)
+            return [];
+        throw err;
+    }
+    const causes = z.array(z.string()).safeParse(parsed);
+    return causes.success ? causes.data : [];
+}
+export async function failureDiagnose(symptom) {
+    const f = await getFalkor();
+    const all = await f.roQuery(`MATCH (c:CrashPattern)
+     RETURN c.symptom AS symptom, c.description AS description,
+            c.likely_causes AS likely_causes, c.diagnosis_steps AS diagnosis_steps`);
+    const queryTokens = symptom
+        .toLowerCase()
+        .split(/[\s_-]+/)
+        .filter((t) => t.length >= 3);
+    const scored = z
+        .array(CrashPatternRow)
+        .parse(all.data)
+        .map((row) => {
+        const haystack = `${row.symptom ?? ""} ${row.description ?? ""} ${row.likely_causes ?? ""}`.toLowerCase();
+        const hits = queryTokens.filter((t) => haystack.includes(t)).length;
+        return {
+            symptom: row.symptom ?? "",
+            description: row.description ?? "",
+            likely_causes_raw: row.likely_causes ?? "[]",
+            diagnosis_steps: row.diagnosis_steps ?? "",
+            score: hits / Math.max(queryTokens.length, 1),
+        };
+    });
+    const ranked = scored
+        .filter((s) => s.score > 0)
+        // Score desc, alphabetical tiebreak so equal-relevance matches sort
+        // identically across runs.
+        .sort((a, b) => b.score - a.score || a.symptom.localeCompare(b.symptom));
+    const matches = await Promise.all(ranked.slice(0, 5).map(async (m) => ({
+        symptom: m.symptom,
+        description: m.description,
+        likely_causes: parseLikelyCauses(m.likely_causes_raw),
+        diagnosis_steps: m.diagnosis_steps,
+        caused_by: await edgeTargets(f, `MATCH (c:CrashPattern {symptom: $sym})-[:CAUSED_BY]->(t)
+       RETURN t.name AS tname, labels(t)[0] AS tkind`, { sym: m.symptom }),
+        relevance: m.score,
+    })));
+    getAnalytics().logQuery({ tool: "c64_failure_diagnose", query: symptom, resultCount: matches.length });
+    return {
+        structured: { query: symptom, matches },
+        text: formatFailureDiagnoseText(symptom, matches),
+    };
+}
+//# sourceMappingURL=pitfalls.js.map

package/dist/tools/pitfalls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pitfalls.js","sourceRoot":"","sources":["../../src/tools/pitfalls.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAElD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,YAAY,EACZ,mBAAmB,GAEpB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAK9B,gEAAgE;AAChE,MAAM,KAAK,GAAiB,CAAC,UAAU,EAAE,eAAe,EAAE,WAAW,CAAC,CAAC;AAEvE,KAAK,UAAU,eAAe,CAAC,KAAa,EAAE,IAAgB;IAC5D,MAAM,CAAC,GAAG,MAAM,SAAS,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAClD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GACnB,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,mBAAmB,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACxG,iEAAiE;IACjE,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,cAAc,CAAC,KAAa;IACzC,MAAM,MAAM,GAAG,MAAM,SAAS,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,GAAG;QACb,CAAC,CAAC,MAAM,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QACzD,CAAC,CAAC,MAAM,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpF,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,KAAK,EAAE,CAAC,CAAC,KAAK;KACf,CAAC,CAAC,CAAC;IAEJ,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC;IACxG,OAAO;QACL,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,cAAc,EAAE;QACzE,IAAI,EACF,cAAc,CAAC,MAAM,GAAG,CAAC;YACvB,CAAC,CAAC,wBAAwB,CAAC,KAAK,EAAE,WAAW,CAAC;YAC9C,CAAC,CAAC,wBAAwB,KAAK,oLAAoL;KACxN,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,KAAa;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAClG,OAAO;YACL,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;YACjD,IAAI,EAAE,kBAAkB,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC;SAChD,CAAC;IACJ,CAAC;IACD,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE;IAC7B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE;IACjC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE;IACnC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE;CACtC,CAAC,CAAC;AAEH,4FAA4F;AAC5F,SAAS,iBAAiB,CAAC,GAAW;IACpC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,WAAW;YAAE,OAAO,EAAE,CAAC;QAC1C,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,OAAe;IACnD,MAAM,CAAC,GAAG,MAAM,SAAS,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,OAAO,CACzB;;mFAE+E,CAChF,CAAC;IACF,MAAM,WAAW,GAAG,OAAO;SACxB,WAAW,EAAE;SACb,KAAK,CAAC,SAAS,CAAC;SAChB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAEhC,MAAM,MAAM,GAAG,CAAC;SACb,KAAK,CAAC,eAAe,CAAC;SACtB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;SACf,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACX,MAAM,QAAQ,GACZ,GAAG,GAAG,CAAC,OAAO,IAAI,EAAE,IAAI,GAAG,CAAC,WAAW,IAAI,EAAE,IAAI,GAAG,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC;QAC3F,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACpE,OAAO;YACL,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE;YAC1B,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,EAAE;YAClC,iBAAiB,EAAE,GAAG,CAAC,aAAa,IAAI,IAAI;YAC5C,eAAe,EAAE,GAAG,CAAC,eAAe,IAAI,EAAE;YAC1C,KAAK,EAAE,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;SAC9C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEL,MAAM,MAAM,GAAG,MAAM;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAC3B,oEAAoE;QACpE,2BAA2B;SAC1B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAE3E,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACnC,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,aAAa,EAAE,iBAAiB,CAAC,CAAC,CAAC,iBAAiB,CAAC;QACrD,eAAe,EAAE,CAAC,CAAC,eAAe;QAClC,SAAS,EAAE,MAAM,WAAW,CAC1B,CAAC,EACD;qDAC6C,EAC7C,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CACnB;QACD,SAAS,EAAE,CAAC,CAAC,KAAK;KACnB,CAAC,CAAC,CACJ,CAAC;IAEF,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACvG,OAAO;QACL,UAAU,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE;QACvC,IAAI,EAAE,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC;KAClD,CAAC;AACJ,CAAC"}

package/dist/tools/prompts.js

@@ -0,0 +1,81 @@
+/**
+ * MCP Prompt handlers. Prompts surface as slash commands in Claude
+ * Code. Each function returns a `GetPromptResult`-shaped object whose
+ * templated user message guides the agent through a synthesis flow
+ * (identify techniques, look up registers, surface pitfalls, propose
+ * build order, recommend toolchain).
+ *
+ * Phase 3 ships c64_technique_lookup, c64_techniques_for,
+ * c64_check_compatibility, and c64_timing_budget — the prompt bodies
+ * compose these with the Phase 1/2 lookup tools. Phase 5 will add
+ * c64_pitfalls_for and full briefing-synthesis tools.
+ */
+import { z } from "zod";
+export const demoBriefArgs = {
+    description: z
+        .string()
+        .describe("Natural-language description of the demo to design (e.g. 'sprite scroller with raster bars')"),
+};
+export const gameBriefArgs = {
+    description: z.string().describe("Natural-language description of the game to design"),
+    genre: z.string().optional().describe("Optional genre hint (shmup, platformer, puzzle, adventure, etc.)"),
+};
+export function demoBriefPrompt({ description }) {
+    return {
+        description: `Design a C64 demo from a brief: "${description}" (NOTE: prefer the c64_demo_briefing TOOL for a structured one-call response)`,
+        messages: [
+            {
+                role: "user",
+                content: {
+                    type: "text",
+                    text: `I want to design a C64 demo with the following brief:
+
+${description}
+
+Please:
+
+1. Identify which C64 techniques apply (raster effects, sprite multiplexer, scroll, etc.). Use c64_techniques_for or c64_search to find them.
+2. For each technique, use c64_technique_lookup to get the structured metadata (registers, kernal routines, recipes, REQUIRES_REGION, requires/required_by prerequisites, pitfalls it mitigates).
+3. Use c64_check_compatibility on the technique list to surface known register/region conflicts before designing.
+4. Use c64_timing_budget for each raster-critical technique to confirm cycle headroom on the target region.
+5. List the registers each technique uses. Use c64_lookup_register for each.
+6. Look up KERNAL routines needed for setup/teardown. Use c64_lookup_kernal.
+7. Surface any pitfalls relevant to the combination of techniques (Phase 5 tool).
+8. Propose a build order based on dependency.
+9. Use c64_toolchain_hint per component to surface idiomatic Oscar64 vs KickAssembler snippets.
+
+Return a structured plan with: techniques[], compatibility_check, timing_budgets[], registers[], kernal_routines[], pitfalls[], build_order[], toolchain_hints[].`,
+                },
+            },
+        ],
+    };
+}
+export function gameBriefPrompt({ description, genre, }) {
+    return {
+        description: `Design a C64 game from a brief: "${description}" (NOTE: prefer the c64_game_briefing TOOL for a structured one-call response)`,
+        messages: [
+            {
+                role: "user",
+                content: {
+                    type: "text",
+                    text: `I want to design a C64 game (${genre ?? "unspecified genre"}):
+
+${description}
+
+Please:
+
+1. Identify the game archetype (shmup, platformer, puzzle, adventure, etc.) and reference common C64 implementations.
+2. Sketch the system architecture (game loop, IRQ structure, memory layout).
+3. List required techniques (sprite multiplexer for >8 enemies, soft scroll for parallax, etc.).
+4. Identify SID approach (full music, sfx-only, hybrid).
+5. List the KERNAL routines needed (or whether to take over from KERNAL entirely).
+6. Surface pitfalls relevant to the genre.
+7. Recommend Oscar64 for game logic + KickAssembler for hot paths.
+
+Return a structured plan: archetype, architecture, techniques[], sid_approach, kernal_use, pitfalls[], toolchain_split, build_order[].`,
+                },
+            },
+        ],
+    };
+}
+//# sourceMappingURL=prompts.js.map

package/dist/tools/prompts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.js","sourceRoot":"","sources":["../../src/tools/prompts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,WAAW,EAAE,CAAC;SACX,MAAM,EAAE;SACR,QAAQ,CAAC,8FAA8F,CAAC;CAC5G,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,oDAAoD,CAAC;IACtF,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kEAAkE,CAAC;CAC1G,CAAC;AAYF,MAAM,UAAU,eAAe,CAAC,EAAE,WAAW,EAA2B;IACtE,OAAO;QACL,WAAW,EAAE,oCAAoC,WAAW,gFAAgF;QAC5I,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE;oBACP,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE;;EAEd,WAAW;;;;;;;;;;;;;;kKAcqJ;iBACzJ;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,EAC9B,WAAW,EACX,KAAK,GAIN;IACC,OAAO;QACL,WAAW,EAAE,oCAAoC,WAAW,gFAAgF;QAC5I,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE;oBACP,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,gCAAgC,KAAK,IAAI,mBAAmB;;EAE1E,WAAW;;;;;;;;;;;;uIAY0H;iBAC9H;aACF;SACF;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,62 @@
+/**
+ * The REQUIRES closure of a compatibility check. A technique's
+ * prerequisites (**Requires:** in CONVENTIONS-techniques.md) take part in
+ * the check without being named: text_zoom presupposes stable_raster_irq,
+ * so the stable IRQ's demands are in play whenever text_zoom is.
+ */
+/**
+ * Walks REQUIRES from each input breadth-first. chainOf keeps the first
+ * chain found per (input, member) for the rationale text. Ingest refuses
+ * cycles; the visited set guards anyway.
+ */
+export function requiresClosure(techniques, requires) {
+    const inputSet = new Set(techniques);
+    const direct = (name) => requires.get(name) ?? [];
+    const impliedBy = new Map();
+    const chainOf = new Map();
+    for (const input of techniques) {
+        const visited = new Set([input]);
+        const queue = [{ name: input, chain: [input] }];
+        for (let cur = queue.shift(); cur !== undefined; cur = queue.shift()) {
+            for (const p of direct(cur.name)) {
+                if (visited.has(p))
+                    continue;
+                visited.add(p);
+                const chain = [...cur.chain, p];
+                const inputs = impliedBy.get(p) ?? new Set();
+                inputs.add(input);
+                impliedBy.set(p, inputs);
+                chainOf.set(`${input}|${p}`, chain);
+                queue.push({ name: p, chain });
+            }
+        }
+    }
+    const closureOnly = [...impliedBy.keys()].filter((n) => !inputSet.has(n)).sort();
+    const allNames = [...techniques, ...closureOnly];
+    return {
+        impliedBy,
+        closureOnly,
+        closureOf: (x) => allNames.filter((n) => n !== x && (impliedBy.get(n)?.has(x) ?? false)),
+        describeChain: (input, member) => {
+            const chain = chainOf.get(`${input}|${member}`) ?? [input, member];
+            const middle = chain.slice(1, -1);
+            return `${input} requires ${member}${middle.length > 0 ? ` (via ${middle.join(" → ")})` : ""}`;
+        },
+        reaches: (from, to) => {
+            const seen = new Set([from]);
+            const queue = [from];
+            for (let cur = queue.shift(); cur !== undefined; cur = queue.shift()) {
+                for (const p of direct(cur)) {
+                    if (p === to)
+                        return true;
+                    if (!seen.has(p)) {
+                        seen.add(p);
+                        queue.push(p);
+                    }
+                }
+            }
+            return false;
+        },
+    };
+}
+//# sourceMappingURL=closure.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"closure.js","sourceRoot":"","sources":["../../../../src/tools/query/compatibility/closure.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAeH;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,UAA6B,EAC7B,QAAgD;IAEhD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAqB,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC7E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE5C,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACzC,MAAM,KAAK,GAAwC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrF,KAAK,IAAI,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,SAAS,EAAE,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;YACrE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC7B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACf,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAChC,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;gBACrD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAClB,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBACzB,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjF,MAAM,QAAQ,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,WAAW,CAAC,CAAC;IAEjD,OAAO;QACL,SAAS;QACT,WAAW;QACX,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC;QACxF,aAAa,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,IAAI,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACnE,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAClC,OAAO,GAAG,KAAK,aAAa,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACjG,CAAC;QACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE;YACpB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;YACrB,KAAK,IAAI,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,KAAK,SAAS,EAAE,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;gBACrE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC5B,IAAI,CAAC,KAAK,EAAE;wBAAE,OAAO,IAAI,CAAC;oBAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBACjB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;wBACZ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAChB,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,28 @@
+/**
+ * What the compatibility rules read: everything the graph holds about the
+ * techniques in a check, fetched once (fetch.ts) and then evaluated by
+ * pure functions (rules.ts, closure.ts). Tests build these by hand.
+ */
+export function pairKey(i, j) {
+    return `${i}|${j}`;
+}
+/** Every (i, j) with i < j over a list, in row order. */
+export function inputPairs(items) {
+    return items.flatMap((a, i) => items.slice(i + 1).map((b, k) => ({ i, j: i + 1 + k, a, b })));
+}
+const UNKNOWN_TECHNIQUE = {
+    found: false,
+    demands: new Set(),
+    registers: 0,
+    kernal: [],
+    band: null,
+    region: null,
+    category: null,
+    rasterRegisters: 0,
+    claims: [],
+    claimsStated: "unknown",
+};
+export function factsOf(all, name) {
+    return all.facts.get(name) ?? UNKNOWN_TECHNIQUE;
+}
+//# sourceMappingURL=facts.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["../../../../src/tools/query/compatibility/facts.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAiDH,MAAM,UAAU,OAAO,CAAC,CAAS,EAAE,CAAS;IAC1C,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AACrB,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,UAAU,CAAI,KAAmB;IAC/C,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,iBAAiB,GAAmB;IACxC,KAAK,EAAE,KAAK;IACZ,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,SAAS,EAAE,CAAC;IACZ,MAAM,EAAE,EAAE;IACV,IAAI,EAAE,IAAI;IACV,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,IAAI;IACd,eAAe,EAAE,CAAC;IAClB,MAAM,EAAE,EAAE;IACV,YAAY,EAAE,SAAS;CACxB,CAAC;AAEF,MAAM,UAAU,OAAO,CAAC,GAAuB,EAAE,IAAY;IAC3D,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC;AAClD,CAAC"}

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

@@ -0,0 +1,164 @@
+/**
+ * Fetches what the compatibility rules need from the graph, a fixed number
+ * of queries per check (one per REQUIRES level, then one each for facts,
+ * shared registers, shared KERNAL routines and recipe infrastructure)
+ * instead of several per technique and per pair.
+ */
+import { z } from "zod";
+import { getFalkor } from "../../../context.js";
+import { CLAIM_MODES } from "../../../graph/claims.js";
+import { parseRows } from "../shared.js";
+import { inputPairs, pairKey } from "./facts.js";
+const EdgeRow = z.object({ name: z.string(), target: z.string().nullable() });
+/**
+ * Direct REQUIRES edges for every technique reachable from the inputs,
+ * one query per level of the walk. Targets are sorted per technique.
+ */
+async function fetchRequires(f, inputs) {
+    const requires = new Map();
+    let frontier = [...new Set(inputs)];
+    while (frontier.length > 0) {
+        for (const n of frontier)
+            requires.set(n, []);
+        const rows = parseRows(EdgeRow, await f.roQuery(`UNWIND $names AS name
+         MATCH (t:Technique {name: name})-[:REQUIRES]->(p:Technique)
+         RETURN name, p.name AS target ORDER BY name, target`, { names: frontier }));
+        for (const { name, target } of rows) {
+            if (target)
+                requires.get(name)?.push(target);
+        }
+        frontier = [...new Set(rows.map((r) => r.target))].filter((t) => t !== null && !requires.has(t));
+    }
+    return requires;
+}
+const FactsRow = z.object({
+    name: z.string(),
+    demands: z.array(z.string().nullable()),
+    registers: z.coerce.number(),
+    kernal: z.array(z.string().nullable()),
+    band: z.string().nullable(),
+    regions: z.array(z.string().nullable()),
+    category: z.string().nullable(),
+    raster_registers: z.coerce.number(),
+    claims_stated: z.string().nullable(),
+});
+const present = (xs) => xs.filter((x) => Boolean(x));
+async function fetchFacts(f, names) {
+    const rows = parseRows(FactsRow, await f.roQuery(`UNWIND $names AS name
+       MATCH (t:Technique {name: name})
+       OPTIONAL MATCH (t)-[:DEMANDS]->(res:Resource)
+       WITH name, t, collect(DISTINCT res.name) AS demands
+       OPTIONAL MATCH (t)-[:USES]->(reg:Register)
+       WITH name, t, demands, count(DISTINCT reg) AS registers
+       OPTIONAL MATCH (t)-[:USES]->(k:KernalRoutine)
+       WITH name, t, demands, registers, collect(DISTINCT k.name) AS kernal
+       OPTIONAL MATCH (t)-[:REQUIRES_REGION]->(rg:Region)
+       WITH name, t, demands, registers, kernal, collect(toLower(rg.name)) AS regions
+       OPTIONAL MATCH (t)-[:USES]->(rr:Register)
+       WHERE rr.name IN ['D011', 'D012', 'SCROLY', 'RASTER']
+       RETURN name, demands, registers, kernal, t.raster_band AS band, regions,
+              t.category AS category, count(rr) AS raster_registers, t.claims_stated AS claims_stated`, { names: [...new Set(names)] }));
+    return new Map(rows.map((r) => [
+        r.name,
+        {
+            found: true,
+            demands: new Set(present(r.demands)),
+            registers: r.registers,
+            kernal: present(r.kernal),
+            band: r.band,
+            region: present(r.regions)[0] ?? null,
+            category: r.category,
+            rasterRegisters: r.raster_registers,
+            claims: [],
+            claimsStated: r.claims_stated === "stated" || r.claims_stated === "none" ? r.claims_stated : "unknown",
+        },
+    ]));
+}
+const ClaimRow = z.object({
+    name: z.string(),
+    unit: z.string(),
+    mode: z.enum(CLAIM_MODES),
+    ranges: z.string().nullable(),
+    relocatable: z.boolean().nullable(),
+});
+/** CLAIMS edges (schema 25) for every technique in the check, onto the facts already fetched. */
+async function fetchClaims(f, facts) {
+    const rows = parseRows(ClaimRow, await f.roQuery(`UNWIND $names AS name
+       MATCH (t:Technique {name: name})-[c:CLAIMS]->(h:HardwareUnit)
+       RETURN name, h.name AS unit, c.mode AS mode, c.ranges AS ranges, c.relocatable AS relocatable
+       ORDER BY name, unit`, { names: [...facts.keys()] }));
+    const byName = new Map();
+    for (const r of rows) {
+        const claim = {
+            unit: r.unit,
+            mode: r.mode,
+            ...(r.ranges ? { ranges: r.ranges } : {}),
+            ...(r.relocatable ? { relocatable: true } : {}),
+        };
+        byName.set(r.name, [...(byName.get(r.name) ?? []), claim]);
+    }
+    for (const [name, claims] of byName) {
+        const F = facts.get(name);
+        if (F)
+            facts.set(name, { ...F, claims });
+    }
+}
+const SharedRow = z.object({ pair: z.string(), shared: z.string().nullable() });
+/** Nodes of `label` that both techniques of each input pair USE, keyed by pairKey. */
+async function fetchShared(f, techniques, label) {
+    const pairs = inputPairs(techniques).map(({ i, j, a, b }) => ({ key: pairKey(i, j), a, b }));
+    const shared = new Map();
+    if (pairs.length === 0)
+        return shared;
+    const rows = parseRows(SharedRow, await f.roQuery(`UNWIND $pairs AS pair
+       MATCH (a:Technique {name: pair.a})-[:USES]->(n:${label})<-[:USES]-(b:Technique {name: pair.b})
+       RETURN pair.key AS pair, n.name AS shared`, { pairs }));
+    for (const { pair, shared: name } of rows) {
+        if (!name)
+            continue;
+        shared.set(pair, [...(shared.get(pair) ?? []), name]);
+    }
+    return shared;
+}
+const RecipeUseRow = z.object({
+    name: z.string().nullable(),
+    kind: z.string().nullable(),
+    recipe: z.string(),
+});
+/** Register and KERNAL nodes USEd by recipes that implement two or more of the inputs. */
+async function fetchRecipeUses(f, techniques) {
+    if (techniques.length < 2)
+        return [];
+    const rows = parseRows(RecipeUseRow, await f.roQuery(`MATCH (r:Recipe)-[:IMPLEMENTS]->(t:Technique)
+       WHERE t.name IN $techs
+       WITH r, collect(DISTINCT t.name) AS implements
+       WHERE size(implements) >= 2
+       MATCH (r)-[:USES]->(shared)
+       RETURN DISTINCT shared.name AS name, labels(shared)[0] AS kind, r.name AS recipe`, { techs: techniques }));
+    return rows.flatMap((r) => (r.name && r.kind ? [{ name: r.name, kind: r.kind, recipe: r.recipe }] : []));
+}
+const ClobberRow = z.object({ routine: z.string(), ranges: z.string().nullable() });
+/** The may set of every KERNAL routine the checked techniques USE (schema 26). */
+async function fetchKernalClobbers(f, facts) {
+    const routines = [...new Set([...facts.values()].flatMap((F) => F.kernal))];
+    if (routines.length === 0)
+        return new Map();
+    const rows = parseRows(ClobberRow, await f.roQuery(`MATCH (k:KernalRoutine)-[e:CLOBBERS_ZP {bound: 'may'}]->(:HardwareUnit {name: 'zero_page'})
+       WHERE k.name IN $routines
+       RETURN k.name AS routine, e.ranges AS ranges`, { routines }));
+    return new Map(rows.map((r) => [r.routine, r.ranges ?? ""]));
+}
+export async function fetchCompatibilityFacts(techniques) {
+    const f = await getFalkor();
+    const requires = await fetchRequires(f, techniques);
+    const [facts, sharedRegisters, sharedKernal, recipeUses] = await Promise.all([
+        fetchFacts(f, [...requires.keys()]),
+        fetchShared(f, techniques, "Register"),
+        fetchShared(f, techniques, "KernalRoutine"),
+        fetchRecipeUses(f, techniques),
+    ]);
+    await fetchClaims(f, facts);
+    const kernalClobbers = await fetchKernalClobbers(f, facts);
+    return { techniques, requires, facts, sharedRegisters, sharedKernal, recipeUses, kernalClobbers };
+}
+//# sourceMappingURL=fetch.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fetch.js","sourceRoot":"","sources":["../../../../src/tools/query/compatibility/fetch.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAEhD,OAAO,EAAE,WAAW,EAAc,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAgD,MAAM,YAAY,CAAC;AAE/F,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAE9E;;;GAGG;AACH,KAAK,UAAU,aAAa,CAAC,CAAgB,EAAE,MAAyB;IACtE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,IAAI,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACpC,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,SAAS,CACpB,OAAO,EACP,MAAM,CAAC,CAAC,OAAO,CACb;;6DAEqD,EACrD,EAAE,KAAK,EAAE,QAAQ,EAAE,CACpB,CACF,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;YACpC,IAAI,MAAM;gBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/C,CAAC;QACD,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CACvD,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CACnD,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IACxB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;IACvC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE;IAC5B,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;IACtC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,gBAAgB,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE;IACnC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,CAAC,EAA8B,EAAY,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAExG,KAAK,UAAU,UAAU,CAAC,CAAgB,EAAE,KAAwB;IAClE,MAAM,IAAI,GAAG,SAAS,CACpB,QAAQ,EACR,MAAM,CAAC,CAAC,OAAO,CACb;;;;;;;;;;;;;sGAagG,EAChG,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAC/B,CACF,CAAC;IACF,OAAO,IAAI,GAAG,CACZ,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACd,CAAC,CAAC,IAAI;QACN;YACE,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACpC,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;YACzB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI;YACrC,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,eAAe,EAAE,CAAC,CAAC,gBAAgB;YACnC,MAAM,EAAE,EAAE;YACV,YAAY,EACV,CAAC,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,CAAC,aAAa,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;SAC3F;KACF,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IACxB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;IACzB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CACpC,CAAC,CAAC;AAEH,iGAAiG;AACjG,KAAK,UAAU,WAAW,CAAC,CAAgB,EAAE,KAAkC;IAC7E,MAAM,IAAI,GAAG,SAAS,CACpB,QAAQ,EACR,MAAM,CAAC,CAAC,OAAO,CACb;;;2BAGqB,EACrB,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAC7B,CACF,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAU;YACnB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChD,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAEhF,sFAAsF;AACtF,KAAK,UAAU,WAAW,CACxB,CAAgB,EAChB,UAA6B,EAC7B,KAAmC;IAEnC,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACtC,MAAM,IAAI,GAAG,SAAS,CACpB,SAAS,EACT,MAAM,CAAC,CAAC,OAAO,CACb;wDACkD,KAAK;iDACZ,EAC3C,EAAE,KAAK,EAAE,CACV,CACF,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;QAC1C,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH,0FAA0F;AAC1F,KAAK,UAAU,eAAe,CAAC,CAAgB,EAAE,UAA6B;IAC5E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,SAAS,CACpB,YAAY,EACZ,MAAM,CAAC,CAAC,OAAO,CACb;;;;;wFAKkF,EAClF,EAAE,KAAK,EAAE,UAAU,EAAE,CACtB,CACF,CAAC;IACF,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3G,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AAEpF,kFAAkF;AAClF,KAAK,UAAU,mBAAmB,CAChC,CAAgB,EAChB,KAA0C;IAE1C,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC5E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IAC5C,MAAM,IAAI,GAAG,SAAS,CACpB,UAAU,EACV,MAAM,CAAC,CAAC,OAAO,CACb;;oDAE8C,EAC9C,EAAE,QAAQ,EAAE,CACb,CACF,CAAC;IACF,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,UAA6B;IACzE,MAAM,CAAC,GAAG,MAAM,SAAS,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IACpD,MAAM,CAAC,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC3E,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QACnC,WAAW,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC;QACtC,WAAW,CAAC,CAAC,EAAE,UAAU,EAAE,eAAe,CAAC;QAC3C,eAAe,CAAC,CAAC,EAAE,UAAU,CAAC;KAC/B,CAAC,CAAC;IACH,MAAM,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,MAAM,cAAc,GAAG,MAAM,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3D,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;AACpG,CAAC"}