@interf/compiler 0.1.11 → 0.2.0

package/dist/lib/validate-interface.js

@@ -0,0 +1,535 @@
+import { existsSync } from "node:fs";
+import { join, resolve } from "node:path";
+import { countFilesRecursive } from "./filesystem.js";
+import { resolveKnowledgeBaseSourcePath } from "./interf.js";
+import { readJsonFileUnchecked } from "./parse.js";
+import { getInterfaceWorkflow, resolveInterfaceWorkflowFromConfig, } from "./workflow-definitions.js";
+import { InterfaceCoverageSchema, InterfaceRelevantSchema, InterfaceStateSchema, } from "./schema.js";
+import { readKnowledgeBaseConfig, countBrokenWikilinks, asNumber, safeReadText, } from "./validate.js";
+import { asFileEntries, asRejectedEntries, asStringArray, dedupeStrings, isSubset, setIntersectionSize, setsEqual, } from "./validate-helpers.js";
+function extractFirstSection(text, headings) {
+    for (const heading of headings) {
+        const section = extractSection(text, heading);
+        if (section)
+            return section;
+    }
+    return null;
+}
+function sectionHasAnyMarker(section, markers) {
+    if (typeof section !== "string")
+        return false;
+    return markers.some((marker) => new RegExp(`(^|\\n)\\s{0,3}#{0,6}\\s*${escapeRegExp(marker)}`, "im").test(section));
+}
+function resolveRetrieveProofPath(interfaceDir, knowledgeBaseDir, value) {
+    const attempts = [
+        resolve(interfaceDir, value),
+        knowledgeBaseDir ? resolve(knowledgeBaseDir, value) : null,
+        knowledgeBaseDir ? resolve(join(knowledgeBaseDir, "summaries", value)) : null,
+    ];
+    for (const attempt of attempts) {
+        if (attempt && existsSync(attempt)) {
+            return attempt;
+        }
+    }
+    return null;
+}
+function canonicalizeRetrieveProofPaths(interfaceDir, knowledgeBaseDir, values) {
+    return values.map((value) => resolveRetrieveProofPath(interfaceDir, knowledgeBaseDir, value) ?? `missing:${value}`);
+}
+function allRetrieveProofPathsResolve(interfaceDir, knowledgeBaseDir, values) {
+    return values.every((value) => resolveRetrieveProofPath(interfaceDir, knowledgeBaseDir, value) !== null);
+}
+function extractSection(content, heading) {
+    const pattern = new RegExp(`(?:^|\\n)## ${escapeRegExp(heading)}\\s*\\n([\\s\\S]*?)(?=\\n## |\\s*$)`);
+    const match = content.match(pattern);
+    return match?.[1]?.trim() ?? null;
+}
+function normalizePlannedOutputPath(rawPath, interfaceName) {
+    const resolved = (interfaceName
+        ? rawPath.replaceAll("<interface-name>", interfaceName)
+        : rawPath)
+        .trim();
+    if (resolved.length === 0)
+        return null;
+    if (resolved.endsWith("/"))
+        return null;
+    if (/[{}<>]/.test(resolved))
+        return null;
+    return resolved;
+}
+export function extractInterfacePlannedOutputFiles(dirPath) {
+    const config = readKnowledgeBaseConfig(dirPath);
+    const configValue = config.value;
+    const knowledgeBaseConfig = configValue?.knowledge_base;
+    const knowledgeBasePath = knowledgeBaseConfig?.path;
+    const resolvedKnowledgeBasePath = knowledgeBasePath ? resolve(dirPath, knowledgeBasePath) : null;
+    const knowledgeBasePathValid = resolvedKnowledgeBasePath !== null && existsSync(join(resolvedKnowledgeBasePath, "summaries"));
+    const compilePlanText = safeReadText(join(dirPath, "compile-plan.md"));
+    if (!compilePlanText)
+        return [];
+    const workflowId = resolveInterfaceWorkflowFromConfig(configValue);
+    const sourcePath = knowledgeBasePathValid && resolvedKnowledgeBasePath
+        ? resolveKnowledgeBaseSourcePath(resolvedKnowledgeBasePath)
+        : undefined;
+    const workflow = getInterfaceWorkflow(workflowId, { sourcePath, workspacePath: dirPath });
+    const compileStageIndex = workflow.stages.findIndex((stage) => stage.contractType === "interface-output");
+    if (compileStageIndex < 0)
+        return [];
+    const compileStage = workflow.stages[compileStageIndex];
+    if (!compileStage)
+        return [];
+    const compileSection = extractFirstSection(compilePlanText, [
+        `Stage ${compileStageIndex + 1}: ${compileStage.label}`,
+        `Stage ${compileStageIndex + 1} — ${compileStage.label}`,
+    ]);
+    if (!compileSection)
+        return [];
+    const interfaceName = typeof configValue?.name === "string" ? configValue.name : null;
+    return dedupeStrings([...compileSection.matchAll(/^###\s+`([^`]+)`/gm)]
+        .map((match) => normalizePlannedOutputPath(match[1] ?? "", interfaceName))
+        .filter((value) => Boolean(value)));
+}
+function sectionMatchesInterfaceContract(section, contractType) {
+    switch (contractType) {
+        case "interface-retrieval":
+            return sectionHasAnyMarker(section, [
+                "Filter criteria",
+                "Categories:",
+                "Priority evidence tiers:",
+                "Truth modes to prioritize or downweight:",
+                "Key entities:",
+                "Expected relevant file count:",
+            ]);
+        case "interface-analysis":
+            return sectionHasAnyMarker(section, [
+                "Batching:",
+                "Claims:",
+                "Entities:",
+                "extract",
+            ]);
+        case "interface-output":
+            return sectionHasAnyMarker(section, [
+                "home.md",
+                "Output files",
+                "briefs/",
+                "knowledge/",
+            ]);
+        default:
+            return false;
+    }
+}
+function countMatches(content, pattern) {
+    return [...content.matchAll(pattern)].length;
+}
+function escapeRegExp(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+export function validateInterfaceKnowledgeBase(dirPath) {
+    const config = readKnowledgeBaseConfig(dirPath);
+    // Resolve knowledge-base path from config
+    const configValue = config.value;
+    const knowledgeBaseConfig = configValue?.knowledge_base;
+    const knowledgeBasePath = knowledgeBaseConfig?.path;
+    const resolvedKnowledgeBasePath = knowledgeBasePath ? resolve(dirPath, knowledgeBasePath) : null;
+    const knowledgeBasePathValid = resolvedKnowledgeBasePath !== null && existsSync(join(resolvedKnowledgeBasePath, "summaries"));
+    const brokenLinks = countBrokenWikilinks(dirPath, [join(dirPath, "knowledge"), join(dirPath, "briefs"), join(dirPath, "summaries")], [join(dirPath, "knowledge"), join(dirPath, "briefs"), join(dirPath, "summaries")]);
+    return {
+        config_present: config.present,
+        config_valid: config.valid,
+        config_type_match: config.typeMatch("interface"),
+        knowledge_base_path_valid: knowledgeBasePathValid,
+        broken_links: brokenLinks,
+    };
+}
+export function validateInterfacePlan(dirPath) {
+    const config = readKnowledgeBaseConfig(dirPath);
+    const configValue = config.value;
+    const knowledgeBaseConfig = configValue?.knowledge_base;
+    const knowledgeBasePath = knowledgeBaseConfig?.path;
+    const resolvedKnowledgeBasePath = knowledgeBasePath ? resolve(dirPath, knowledgeBasePath) : null;
+    const knowledgeBasePathValid = resolvedKnowledgeBasePath !== null && existsSync(join(resolvedKnowledgeBasePath, "summaries"));
+    const compilePlanPath = join(dirPath, "compile-plan.md");
+    const agentsPath = join(dirPath, "AGENTS.md");
+    const homePath = join(dirPath, "home.md");
+    const compilePlanPresent = existsSync(compilePlanPath);
+    const compilePlanText = compilePlanPresent ? safeReadText(compilePlanPath) : null;
+    const workflowId = resolveInterfaceWorkflowFromConfig(configValue);
+    const sourcePath = knowledgeBasePathValid && resolvedKnowledgeBasePath
+        ? resolveKnowledgeBaseSourcePath(resolvedKnowledgeBasePath)
+        : undefined;
+    const workflow = getInterfaceWorkflow(workflowId, { sourcePath, workspacePath: dirPath });
+    const stageChecks = workflow.stages.map((stage, index) => {
+        const section = compilePlanText
+            ? extractFirstSection(compilePlanText, [
+                `Stage ${index + 1}: ${stage.label}`,
+                `Stage ${index + 1} — ${stage.label}`,
+            ])
+            : null;
+        return {
+            id: stage.id,
+            label: stage.label,
+            contract_type: stage.contractType,
+            present: section !== null,
+            defined: sectionMatchesInterfaceContract(section, stage.contractType),
+        };
+    });
+    const compilePlanSections = stageChecks.every((stage) => stage.present);
+    const stage1Defined = stageChecks[0]?.defined ?? false;
+    const stage2Defined = stageChecks[1]?.defined ?? false;
+    const stage3Defined = stageChecks[2]?.defined ?? false;
+    const allStageDefinitionsValid = stageChecks.every((stage) => stage.defined);
+    const agentsPresent = existsSync(agentsPath);
+    const homePresent = existsSync(homePath);
+    const outputMentions = countMatches(compilePlanText ?? "", /(?:briefs\/|summaries\/|knowledge\/|home\.md)/gi);
+    const required = true;
+    const checks = {
+        config_present: config.present,
+        config_valid: config.valid,
+        config_type_match: config.typeMatch("interface"),
+        knowledge_base_path_valid: knowledgeBasePathValid,
+        compile_plan_present: compilePlanPresent,
+        compile_plan_sections: compilePlanSections,
+        stage1_defined: stage1Defined,
+        stage2_defined: stage2Defined,
+        stage3_defined: stage3Defined,
+        all_stage_definitions_valid: allStageDefinitionsValid,
+        stage_checks: stageChecks,
+        agents_present: agentsPresent,
+        home_present: homePresent,
+    };
+    const errors = [];
+    if (!checks.config_present)
+        errors.push("Missing interf.json.");
+    else if (!checks.config_valid)
+        errors.push("Could not parse interf.json.");
+    else if (!checks.config_type_match)
+        errors.push("Config is not an interface.");
+    if (!checks.knowledge_base_path_valid)
+        errors.push("knowledgeBase.path does not resolve to a valid knowledgeBase.");
+    if (!checks.compile_plan_present)
+        errors.push("Missing compile-plan.md.");
+    else if (!checks.compile_plan_sections)
+        errors.push("compile-plan.md is missing one or more required stage sections.");
+    if (checks.compile_plan_present) {
+        for (const [index, stage] of stageChecks.entries()) {
+            if (!stage.defined) {
+                errors.push(`Stage ${index + 1} ${stage.label.toLowerCase()} plan is incomplete.`);
+            }
+        }
+    }
+    if (!checks.agents_present)
+        errors.push("Missing AGENTS.md.");
+    if (!checks.home_present)
+        errors.push("Missing home.md.");
+    const ok = errors.length === 0;
+    const summary = ok
+        ? `Interface plan verified — ${stageChecks.filter((stage) => stage.defined).length}/${stageChecks.length} stages defined with ${outputMentions} output references.`
+        : `Interface plan failed — ${errors[0] ?? "compile plan is incomplete."}`;
+    return {
+        ok,
+        required,
+        summary,
+        counts: {
+            stage_sections_expected: stageChecks.length,
+            stage_sections_present: stageChecks.filter((stage) => stage.present).length,
+            output_mentions: outputMentions,
+        },
+        checks,
+        errors,
+    };
+}
+export function validateInterfaceRetrieve(dirPath) {
+    const config = readKnowledgeBaseConfig(dirPath);
+    const configValue = config.value;
+    const knowledgeBaseConfig = configValue?.knowledge_base;
+    const knowledgeBasePath = knowledgeBaseConfig?.path;
+    const resolvedKnowledgeBasePath = knowledgeBasePath ? resolve(dirPath, knowledgeBasePath) : null;
+    const knowledgeBasePathValid = resolvedKnowledgeBasePath !== null && existsSync(join(resolvedKnowledgeBasePath, "summaries"));
+    const knowledgeBaseTotal = knowledgeBasePathValid ? countFilesRecursive(join(resolvedKnowledgeBasePath, "summaries")) : 0;
+    const statePath = join(dirPath, ".interf", "state.json");
+    const relevantPath = join(dirPath, ".interf", "relevant.json");
+    const coveragePath = join(dirPath, ".interf", "coverage.json");
+    const statePresent = existsSync(statePath);
+    const relevantPresent = existsSync(relevantPath);
+    const coveragePresent = existsSync(coveragePath);
+    const state = statePresent
+        ? readJsonFileUnchecked(statePath, "interface state")
+        : null;
+    const relevant = relevantPresent
+        ? readJsonFileUnchecked(relevantPath, "interface retrieved set")
+        : null;
+    const coverage = coveragePresent
+        ? readJsonFileUnchecked(coveragePath, "interface coverage proof")
+        : null;
+    const queryStarted = Boolean(state?.retrieve_complete) ||
+        Boolean(state?.analyze_complete) ||
+        Boolean(state?.compile_complete) ||
+        typeof state?.last_retrieve === "string" ||
+        typeof state?.last_analyze === "string" ||
+        typeof state?.last_compile === "string" ||
+        relevantPresent ||
+        coveragePresent;
+    const proof = coverage && typeof coverage.proof === "object" && coverage.proof
+        ? coverage.proof
+        : null;
+    const bridgeRelevantEntries = asFileEntries(relevant?.relevant);
+    const bridgeRejectedEntries = asFileEntries(relevant?.rejected);
+    const bridgeCoverageShape = coverage !== null &&
+        typeof coverage?.query_timestamp === "string" &&
+        typeof coverage?.coverage_complete === "boolean" &&
+        !!coverage?.entities &&
+        typeof coverage.entities === "object" &&
+        !!coverage?.comparators &&
+        typeof coverage.comparators === "object" &&
+        Array.isArray(coverage?.gaps);
+    const derivedRelevantFiles = asStringArray(proof?.retrieved).length > 0
+        ? asStringArray(proof?.retrieved)
+        : bridgeRelevantEntries.map((entry) => entry.file);
+    const relevantFiles = asStringArray(relevant?.relevant_files).length > 0
+        ? asStringArray(relevant?.relevant_files)
+        : derivedRelevantFiles;
+    const deltaFiles = asStringArray(relevant?.delta_files).length > 0
+        ? asStringArray(relevant?.delta_files)
+        : asStringArray(state?.delta_files);
+    const explicitCandidateFiles = asStringArray(coverage?.candidate_files);
+    const scannedFiles = asStringArray(proof?.scanned).length > 0
+        ? asStringArray(proof?.scanned)
+        : dedupeStrings([
+            ...bridgeRelevantEntries.map((entry) => entry.file),
+            ...bridgeRejectedEntries.map((entry) => entry.file),
+        ]);
+    const candidateFiles = explicitCandidateFiles.length > 0
+        ? explicitCandidateFiles
+        : scannedFiles;
+    const abstractReviewedFiles = asStringArray(coverage?.abstract_reviewed_files).length > 0
+        ? asStringArray(coverage?.abstract_reviewed_files)
+        : asStringArray(proof?.reviewed).length > 0
+            ? asStringArray(proof?.reviewed)
+            : candidateFiles;
+    const selectedFiles = asStringArray(coverage?.selected_files).length > 0
+        ? asStringArray(coverage?.selected_files)
+        : derivedRelevantFiles;
+    const rejectedFiles = asRejectedEntries(coverage?.rejected_files);
+    const rejectedPaths = rejectedFiles.length > 0
+        ? rejectedFiles.map((entry) => entry.path)
+        : asStringArray(proof?.excluded).length > 0
+            ? asStringArray(proof?.excluded)
+            : bridgeRejectedEntries.map((entry) => entry.file);
+    const canonicalRelevantFiles = canonicalizeRetrieveProofPaths(dirPath, resolvedKnowledgeBasePath, relevantFiles);
+    const canonicalDeltaFiles = canonicalizeRetrieveProofPaths(dirPath, resolvedKnowledgeBasePath, deltaFiles);
+    const canonicalCandidateFiles = canonicalizeRetrieveProofPaths(dirPath, resolvedKnowledgeBasePath, candidateFiles);
+    const canonicalScannedFiles = canonicalizeRetrieveProofPaths(dirPath, resolvedKnowledgeBasePath, scannedFiles);
+    const canonicalAbstractReviewedFiles = canonicalizeRetrieveProofPaths(dirPath, resolvedKnowledgeBasePath, abstractReviewedFiles);
+    const canonicalSelectedFiles = canonicalizeRetrieveProofPaths(dirPath, resolvedKnowledgeBasePath, selectedFiles);
+    const canonicalRejectedPaths = canonicalizeRetrieveProofPaths(dirPath, resolvedKnowledgeBasePath, rejectedPaths);
+    const proofPathsResolve = !knowledgeBasePathValid
+        ? false
+        : allRetrieveProofPathsResolve(dirPath, resolvedKnowledgeBasePath, dedupeStrings([
+            ...relevantFiles,
+            ...deltaFiles,
+            ...candidateFiles,
+            ...scannedFiles,
+            ...abstractReviewedFiles,
+            ...selectedFiles,
+            ...rejectedPaths,
+        ]));
+    const frontmatterScanned = asNumber(coverage?.frontmatter_scanned) ||
+        asNumber(state?.frontmatter_scanned) ||
+        asNumber(relevant?.total_scanned);
+    const candidateCount = asNumber(coverage?.candidates_after_frontmatter) ||
+        asNumber(state?.candidate_count) ||
+        candidateFiles.length;
+    const abstractsRead = asNumber(coverage?.abstracts_reviewed) ||
+        asNumber(state?.abstracts_read) ||
+        abstractReviewedFiles.length;
+    const selectedCount = asNumber(coverage?.relevant_selected) ||
+        asNumber(state?.relevant_count) ||
+        asNumber(relevant?.total_relevant) ||
+        selectedFiles.length;
+    const rejectedCount = asNumber(coverage?.rejected) ||
+        asNumber(state?.rejected_count) ||
+        asNumber(relevant?.total_rejected) ||
+        rejectedPaths.length;
+    const deltaCount = asNumber(state?.delta_count) || deltaFiles.length;
+    const expansionPasses = asNumber(coverage?.expansion_passes) ||
+        asNumber(state?.expansion_passes);
+    const relevantValid = (relevant !== null &&
+        typeof relevant?.generated_at === "string" &&
+        typeof relevant?.knowledge_base_summary_count === "number" &&
+        Array.isArray(relevant?.relevant_files) &&
+        Array.isArray(relevant?.delta_files)) ||
+        (relevant !== null &&
+            typeof relevant?.query_timestamp === "string" &&
+            Array.isArray(relevant?.relevant) &&
+            Array.isArray(relevant?.rejected) &&
+            typeof relevant?.total_scanned === "number" &&
+            typeof relevant?.total_relevant === "number" &&
+            typeof relevant?.total_rejected === "number") ||
+        Array.isArray(proof?.retrieved);
+    const coverageValid = (coverage !== null &&
+        typeof coverage?.generated_at === "string" &&
+        typeof coverage?.knowledge_base_summary_count === "number" &&
+        typeof coverage?.frontmatter_scanned === "number" &&
+        typeof coverage?.expansion_passes === "number" &&
+        Array.isArray(coverage?.candidate_files) &&
+        Array.isArray(coverage?.abstract_reviewed_files) &&
+        Array.isArray(coverage?.selected_files) &&
+        Array.isArray(coverage?.rejected_files) &&
+        rejectedFiles.length === rejectedPaths.length) ||
+        (coverage !== null &&
+            typeof coverage?.generated_at === "string" &&
+            typeof coverage?.knowledge_base_summary_total === "number" &&
+            typeof coverage?.frontmatter_scanned === "number" &&
+            typeof coverage?.candidates_after_frontmatter === "number" &&
+            typeof coverage?.abstracts_reviewed === "number" &&
+            typeof coverage?.relevant_selected === "number" &&
+            typeof coverage?.rejected === "number" &&
+            typeof coverage?.expansion_passes === "number" &&
+            typeof coverage?.coverage_complete === "boolean" &&
+            proof !== null &&
+            Array.isArray(proof.scanned) &&
+            Array.isArray(proof.reviewed) &&
+            Array.isArray(proof.retrieved) &&
+            Array.isArray(proof.excluded)) ||
+        bridgeCoverageShape;
+    const selectedSet = new Set(canonicalSelectedFiles);
+    const rejectedSet = new Set(canonicalRejectedPaths);
+    const candidateSet = new Set(canonicalCandidateFiles);
+    const scannedSet = new Set(canonicalScannedFiles);
+    const abstractSet = new Set(canonicalAbstractReviewedFiles);
+    const relevantSet = new Set(canonicalRelevantFiles);
+    const selectedRejectedUnion = new Set([...canonicalSelectedFiles, ...canonicalRejectedPaths]);
+    const usesProofScanCoverage = explicitCandidateFiles.length === 0 &&
+        Array.isArray(proof?.scanned) &&
+        typeof coverage?.candidates_after_frontmatter === "number";
+    const knowledgeBaseCountMatch = knowledgeBasePathValid &&
+        coverageValid &&
+        (relevant !== null && typeof relevant?.knowledge_base_summary_count === "number"
+            ? asNumber(relevant.knowledge_base_summary_count) === knowledgeBaseTotal
+            : frontmatterScanned === knowledgeBaseTotal || candidateCount <= knowledgeBaseTotal) &&
+        (typeof coverage?.knowledge_base_summary_count === "number"
+            ? asNumber(coverage.knowledge_base_summary_count) === knowledgeBaseTotal
+            : typeof coverage?.knowledge_base_summary_total === "number"
+                ? asNumber(coverage?.knowledge_base_summary_total) === knowledgeBaseTotal
+                : frontmatterScanned === knowledgeBaseTotal);
+    const fullFrontmatterScan = knowledgeBasePathValid && coverageValid && frontmatterScanned === knowledgeBaseTotal;
+    const candidatePartitionValid = coverageValid &&
+        setIntersectionSize(selectedSet, rejectedSet) === 0 &&
+        (usesProofScanCoverage
+            ? scannedSet.size === selectedRejectedUnion.size &&
+                isSubset(selectedSet, scannedSet) &&
+                isSubset(rejectedSet, scannedSet)
+            : candidateSet.size === selectedRejectedUnion.size &&
+                isSubset(selectedSet, candidateSet) &&
+                isSubset(rejectedSet, candidateSet));
+    const abstractsCoverCandidates = coverageValid &&
+        (usesProofScanCoverage
+            ? canonicalSelectedFiles.every((file) => abstractSet.has(file)) &&
+                abstractSet.size >= candidateCount &&
+                abstractsRead >= candidateCount
+            : isSubset(candidateSet, abstractSet));
+    const selectedMatchRelevant = coverageValid &&
+        relevantValid &&
+        setsEqual(selectedSet, relevantSet);
+    const deltaSubset = relevantValid &&
+        isSubset(new Set(canonicalDeltaFiles), selectedSet);
+    const stateCountsMatch = state !== null &&
+        asNumber(state.frontmatter_scanned) === frontmatterScanned &&
+        asNumber(state.candidate_count) === candidateCount &&
+        asNumber(state.abstracts_read) === abstractsRead &&
+        asNumber(state.expansion_passes) === expansionPasses &&
+        asNumber(state.relevant_count) === selectedCount &&
+        asNumber(state.rejected_count) === rejectedCount &&
+        asNumber(state.delta_count) === deltaCount;
+    const stateFlagsMatch = state !== null &&
+        state.retrieve_complete === true &&
+        state.coverage_complete === true;
+    const stateSchema = state !== null ? InterfaceStateSchema.safeParse(state) : null;
+    const stateValid = stateSchema?.success ?? false;
+    const checks = {
+        knowledge_base_path_valid: knowledgeBasePathValid,
+        state_present: statePresent,
+        state_valid: stateValid,
+        relevant_present: relevantPresent || Array.isArray(proof?.retrieved),
+        relevant_valid: relevantValid ||
+            (relevant !== null && InterfaceRelevantSchema.safeParse(relevant).success),
+        coverage_present: coveragePresent,
+        coverage_valid: coverageValid ||
+            (coverage !== null && InterfaceCoverageSchema.safeParse(coverage).success),
+        knowledge_base_count_match: knowledgeBaseCountMatch,
+        full_frontmatter_scan: fullFrontmatterScan,
+        candidate_partition_valid: candidatePartitionValid,
+        abstracts_cover_candidates: abstractsCoverCandidates,
+        selected_match_relevant: selectedMatchRelevant,
+        delta_subset: deltaSubset,
+        proof_paths_resolve: proofPathsResolve,
+        state_counts_match: stateCountsMatch,
+        state_flags_match: stateFlagsMatch,
+    };
+    const errors = [];
+    if (queryStarted) {
+        if (!knowledgeBasePathValid)
+            errors.push("Knowledge base is missing or invalid.");
+        if (!statePresent)
+            errors.push("Missing .interf/state.json.");
+        else if (state === null)
+            errors.push("Could not parse .interf/state.json.");
+        else if (!stateValid)
+            errors.push("state.json has the wrong shape for an interface runtime.");
+        if (!relevantPresent && !Array.isArray(proof?.retrieved))
+            errors.push("Missing .interf/relevant.json.");
+        else if (!relevantValid)
+            errors.push("Could not parse .interf/relevant.json or it has the wrong shape.");
+        if (!coveragePresent)
+            errors.push("Missing .interf/coverage.json.");
+        else if (!coverageValid)
+            errors.push("Could not parse .interf/coverage.json or it has the wrong shape.");
+        if (coveragePresent && coverageValid && !knowledgeBaseCountMatch)
+            errors.push("Coverage proof does not match the current knowledge-base summary count.");
+        if (coveragePresent && coverageValid && !fullFrontmatterScan)
+            errors.push("Coverage proof does not show a full frontmatter scan.");
+        if (coveragePresent && coverageValid && !candidatePartitionValid)
+            errors.push("Candidate, selected, and rejected sets are inconsistent.");
+        if (coveragePresent && coverageValid && !abstractsCoverCandidates)
+            errors.push("Not every candidate file was abstract-reviewed.");
+        if ((relevantPresent || coveragePresent) && !proofPathsResolve) {
+            errors.push("Retrieve proof references summary paths that do not resolve on disk.");
+        }
+        if (relevantPresent && coveragePresent && relevantValid && coverageValid && !selectedMatchRelevant) {
+            errors.push("Selected files in coverage proof do not match relevant_files.");
+        }
+        if (relevantPresent && coveragePresent && relevantValid && coverageValid && !deltaSubset) {
+            errors.push("delta_files are not a subset of selected relevant files.");
+        }
+        if (statePresent && stateValid && coveragePresent && coverageValid && relevantPresent && relevantValid && !stateCountsMatch) {
+            errors.push("state.json counts do not match the retrieved set and coverage proof.");
+        }
+        if (statePresent && stateValid && !stateFlagsMatch) {
+            errors.push("state.json is missing retrieve_complete or coverage_complete.");
+        }
+    }
+    const ok = queryStarted ? errors.length === 0 : true;
+    const summary = !queryStarted
+        ? "Coverage not required yet — interface retrieve has not started."
+        : ok
+            ? `Coverage verified — scanned ${frontmatterScanned}/${knowledgeBaseTotal}, reviewed ${abstractsRead} abstracts, selected ${selectedCount}, rejected ${rejectedCount}.`
+            : `Coverage failed — ${errors[0] ?? "inconsistent retrieval proof."}`;
+    return {
+        ok,
+        required: queryStarted,
+        summary,
+        counts: {
+            knowledge_base_total: knowledgeBaseTotal,
+            frontmatter_scanned: frontmatterScanned,
+            candidate_count: candidateCount,
+            abstracts_read: abstractsRead,
+            selected_count: selectedCount,
+            rejected_count: rejectedCount,
+            delta_count: deltaCount,
+            expansion_passes: expansionPasses,
+        },
+        checks,
+        errors,
+    };
+}
+//# sourceMappingURL=validate-interface.js.map

package/dist/lib/validate-interface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-interface.js","sourceRoot":"","sources":["../../src/lib/validate-interface.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,8BAA8B,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EACL,oBAAoB,EACpB,kCAAkC,GACnC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,uBAAuB,EACvB,uBAAuB,EACvB,oBAAoB,GAErB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,QAAQ,EACR,YAAY,GACb,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,QAAQ,EACR,mBAAmB,EACnB,SAAS,GACV,MAAM,uBAAuB,CAAC;AAE/B,SAAS,mBAAmB,CAAC,IAAY,EAAE,QAAkB;IAC3D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,OAAO;YAAE,OAAO,OAAO,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAsB,EAAE,OAAiB;IACpE,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9C,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7B,IAAI,MAAM,CAAC,4BAA4B,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CACnF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,YAAoB,EACpB,gBAA+B,EAC/B,KAAa;IAEb,MAAM,QAAQ,GAAG;QACf,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC;QAC5B,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;QAC1D,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,gBAAgB,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;KAC9E,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,8BAA8B,CACrC,YAAoB,EACpB,gBAA+B,EAC/B,MAAgB;IAEhB,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,YAAY,EAAE,gBAAgB,EAAE,KAAK,CAAC,IAAI,WAAW,KAAK,EAAE,CAAC,CAAC;AACtH,CAAC;AAED,SAAS,4BAA4B,CACnC,YAAoB,EACpB,gBAA+B,EAC/B,MAAgB;IAEhB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,YAAY,EAAE,gBAAgB,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;AAC3G,CAAC;AAED,SAAS,cAAc,CAAC,OAAe,EAAE,OAAe;IACtD,MAAM,OAAO,GAAG,IAAI,MAAM,CACxB,eAAe,YAAY,CAAC,OAAO,CAAC,qCAAqC,CAC1E,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC;AACpC,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAe,EACf,aAA4B;IAE5B,MAAM,QAAQ,GAAG,CAAC,aAAa;QAC7B,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,kBAAkB,EAAE,aAAa,CAAC;QACvD,CAAC,CAAC,OAAO,CAAC;SACT,IAAI,EAAE,CAAC;IACV,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,OAAe;IAChE,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,MAAM,CAAC,KAAuC,CAAC;IACnE,MAAM,mBAAmB,GAAG,WAAW,EAAE,cAAqD,CAAC;IAC/F,MAAM,iBAAiB,GAAG,mBAAmB,EAAE,IAA0B,CAAC;IAC1E,MAAM,yBAAyB,GAAG,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,MAAM,sBAAsB,GAAG,yBAAyB,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,yBAAyB,EAAE,WAAW,CAAC,CAAC,CAAC;IAC9H,MAAM,eAAe,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACvE,IAAI,CAAC,eAAe;QAAE,OAAO,EAAE,CAAC;IAEhC,MAAM,UAAU,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,sBAAsB,IAAI,yBAAyB;QACpE,CAAC,CAAC,8BAA8B,CAAC,yBAAyB,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,QAAQ,GAAG,oBAAoB,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1F,MAAM,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,KAAK,kBAAkB,CAAC,CAAC;IAC1G,IAAI,iBAAiB,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACxD,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,cAAc,GAAG,mBAAmB,CAAC,eAAe,EAAE;QAC1D,SAAS,iBAAiB,GAAG,CAAC,KAAK,YAAY,CAAC,KAAK,EAAE;QACvD,SAAS,iBAAiB,GAAG,CAAC,MAAM,YAAY,CAAC,KAAK,EAAE;KACzD,CAAC,CAAC;IACH,IAAI,CAAC,cAAc;QAAE,OAAO,EAAE,CAAC;IAE/B,MAAM,aAAa,GAAG,OAAO,WAAW,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACtF,OAAO,aAAa,CAClB,CAAC,GAAG,cAAc,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,aAAa,CAAC,CAAC;SACzE,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CACtD,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,OAAsB,EACtB,YAAiC;IAEjC,QAAQ,YAAY,EAAE,CAAC;QACrB,KAAK,qBAAqB;YACxB,OAAO,mBAAmB,CAAC,OAAO,EAAE;gBAClC,iBAAiB;gBACjB,aAAa;gBACb,0BAA0B;gBAC1B,0CAA0C;gBAC1C,eAAe;gBACf,+BAA+B;aAChC,CAAC,CAAC;QACL,KAAK,oBAAoB;YACvB,OAAO,mBAAmB,CAAC,OAAO,EAAE;gBAClC,WAAW;gBACX,SAAS;gBACT,WAAW;gBACX,SAAS;aACV,CAAC,CAAC;QACL,KAAK,kBAAkB;YACrB,OAAO,mBAAmB,CAAC,OAAO,EAAE;gBAClC,SAAS;gBACT,cAAc;gBACd,SAAS;gBACT,YAAY;aACb,CAAC,CAAC;QACL;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,OAAe,EAAE,OAAe;IACpD,OAAO,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;AAC/C,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC;AA8ED,MAAM,UAAU,8BAA8B,CAC5C,OAAe;IAEf,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAEhD,0CAA0C;IAC1C,MAAM,WAAW,GAAG,MAAM,CAAC,KAAuC,CAAC;IACnE,MAAM,mBAAmB,GAAG,WAAW,EAAE,cAAqD,CAAC;IAC/F,MAAM,iBAAiB,GAAG,mBAAmB,EAAE,IAA0B,CAAC;IAC1E,MAAM,yBAAyB,GAAG,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,MAAM,sBAAsB,GAAG,yBAAyB,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,yBAAyB,EAAE,WAAW,CAAC,CAAC,CAAC;IAE9H,MAAM,WAAW,GAAG,oBAAoB,CACtC,OAAO,EACP,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,EACjF,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAClF,CAAC;IAEF,OAAO;QACL,cAAc,EAAE,MAAM,CAAC,OAAO;QAC9B,YAAY,EAAE,MAAM,CAAC,KAAK;QAC1B,iBAAiB,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC;QAChD,yBAAyB,EAAE,sBAAsB;QACjD,YAAY,EAAE,WAAW;KAC1B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAe;IAEf,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,MAAM,CAAC,KAAuC,CAAC;IACnE,MAAM,mBAAmB,GAAG,WAAW,EAAE,cAAqD,CAAC;IAC/F,MAAM,iBAAiB,GAAG,mBAAmB,EAAE,IAA0B,CAAC;IAC1E,MAAM,yBAAyB,GAAG,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,MAAM,sBAAsB,GAAG,yBAAyB,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,yBAAyB,EAAE,WAAW,CAAC,CAAC,CAAC;IAE9H,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC1C,MAAM,kBAAkB,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;IACvD,MAAM,eAAe,GAAG,kBAAkB,CAAC,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClF,MAAM,UAAU,GAAG,kCAAkC,CAAC,WAAW,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,sBAAsB,IAAI,yBAAyB;QACpE,CAAC,CAAC,8BAA8B,CAAC,yBAAyB,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,QAAQ,GAAG,oBAAoB,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1F,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACvD,MAAM,OAAO,GAAG,eAAe;YAC7B,CAAC,CAAC,mBAAmB,CAAC,eAAe,EAAE;gBACnC,SAAS,KAAK,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE;gBACpC,SAAS,KAAK,GAAG,CAAC,MAAM,KAAK,CAAC,KAAK,EAAE;aACtC,CAAC;YACJ,CAAC,CAAC,IAAI,CAAC;QACT,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,aAAa,EAAE,KAAK,CAAC,YAAY;YACjC,OAAO,EAAE,OAAO,KAAK,IAAI;YACzB,OAAO,EAAE,+BAA+B,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC;SACtE,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,mBAAmB,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACxE,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,KAAK,CAAC;IACvD,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,KAAK,CAAC;IACvD,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,KAAK,CAAC;IACvD,MAAM,wBAAwB,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,YAAY,CAAC,eAAe,IAAI,EAAE,EAAE,iDAAiD,CAAC,CAAC;IAC9G,MAAM,QAAQ,GAAG,IAAI,CAAC;IAEtB,MAAM,MAAM,GAAG;QACb,cAAc,EAAE,MAAM,CAAC,OAAO;QAC9B,YAAY,EAAE,MAAM,CAAC,KAAK;QAC1B,iBAAiB,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC;QAChD,yBAAyB,EAAE,sBAAsB;QACjD,oBAAoB,EAAE,kBAAkB;QACxC,qBAAqB,EAAE,mBAAmB;QAC1C,cAAc,EAAE,aAAa;QAC7B,cAAc,EAAE,aAAa;QAC7B,cAAc,EAAE,aAAa;QAC7B,2BAA2B,EAAE,wBAAwB;QACrD,YAAY,EAAE,WAAW;QACzB,cAAc,EAAE,aAAa;QAC7B,YAAY,EAAE,WAAW;KAC1B,CAAC;IAEF,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,cAAc;QAAE,MAAM,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;SAC3D,IAAI,CAAC,MAAM,CAAC,YAAY;QAAE,MAAM,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;SACtE,IAAI,CAAC,MAAM,CAAC,iBAAiB;QAAE,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC/E,IAAI,CAAC,MAAM,CAAC,yBAAyB;QAAE,MAAM,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;IACpH,IAAI,CAAC,MAAM,CAAC,oBAAoB;QAAE,MAAM,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;SACrE,IAAI,CAAC,MAAM,CAAC,qBAAqB;QAAE,MAAM,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;IACvH,IAAI,MAAM,CAAC,oBAAoB,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnB,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,sBAAsB,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,cAAc;QAAE,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC9D,IAAI,CAAC,MAAM,CAAC,YAAY;QAAE,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAE1D,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,EAAE;QAChB,CAAC,CAAC,6BAA6B,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,wBAAwB,cAAc,qBAAqB;QACnK,CAAC,CAAC,2BAA2B,MAAM,CAAC,CAAC,CAAC,IAAI,6BAA6B,EAAE,CAAC;IAE5E,OAAO;QACL,EAAE;QACF,QAAQ;QACR,OAAO;QACP,MAAM,EAAE;YACN,uBAAuB,EAAE,WAAW,CAAC,MAAM;YAC3C,sBAAsB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM;YAC3E,eAAe,EAAE,cAAc;SAChC;QACD,MAAM;QACN,MAAM;KACP,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,OAAe;IAEf,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,MAAM,CAAC,KAAuC,CAAC;IACnE,MAAM,mBAAmB,GAAG,WAAW,EAAE,cAAqD,CAAC;IAC/F,MAAM,iBAAiB,GAAG,mBAAmB,EAAE,IAA0B,CAAC;IAC1E,MAAM,yBAAyB,GAAG,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,MAAM,sBAAsB,GAAG,yBAAyB,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,yBAAyB,EAAE,WAAW,CAAC,CAAC,CAAC;IAC9H,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,yBAA0B,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE3H,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;IAE/D,MAAM,YAAY,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;IAC3C,MAAM,eAAe,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;IACjD,MAAM,eAAe,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;IAEjD,MAAM,KAAK,GAAG,YAAY;QACxB,CAAC,CAAC,qBAAqB,CAA0B,SAAS,EAAE,iBAAiB,CAAC;QAC9E,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,QAAQ,GAAG,eAAe;QAC9B,CAAC,CAAC,qBAAqB,CAA0B,YAAY,EAAE,yBAAyB,CAAC;QACzF,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,QAAQ,GAAG,eAAe;QAC9B,CAAC,CAAC,qBAAqB,CAA0B,YAAY,EAAE,0BAA0B,CAAC;QAC1F,CAAC,CAAC,IAAI,CAAC;IAET,MAAM,YAAY,GAChB,OAAO,CAAC,KAAK,EAAE,iBAAiB,CAAC;QACjC,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAChC,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC;QAChC,OAAO,KAAK,EAAE,aAAa,KAAK,QAAQ;QACxC,OAAO,KAAK,EAAE,YAAY,KAAK,QAAQ;QACvC,OAAO,KAAK,EAAE,YAAY,KAAK,QAAQ;QACvC,eAAe;QACf,eAAe,CAAC;IAElB,MAAM,KAAK,GACT,QAAQ,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK;QAC9D,CAAC,CAAE,QAAQ,CAAC,KAAiC;QAC7C,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,qBAAqB,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAChE,MAAM,qBAAqB,GAAG,aAAa,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAChE,MAAM,mBAAmB,GACvB,QAAQ,KAAK,IAAI;QACjB,OAAO,QAAQ,EAAE,eAAe,KAAK,QAAQ;QAC7C,OAAO,QAAQ,EAAE,iBAAiB,KAAK,SAAS;QAChD,CAAC,CAAC,QAAQ,EAAE,QAAQ;QACpB,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ;QACrC,CAAC,CAAC,QAAQ,EAAE,WAAW;QACvB,OAAO,QAAQ,CAAC,WAAW,KAAK,QAAQ;QACxC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAChC,MAAM,oBAAoB,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,MAAM,GAAG,CAAC;QACrE,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC;QACjC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrD,MAAM,aAAa,GAAG,aAAa,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,MAAM,GAAG,CAAC;QACtE,CAAC,CAAC,aAAa,CAAC,QAAQ,EAAE,cAAc,CAAC;QACzC,CAAC,CAAC,oBAAoB,CAAC;IACzB,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC;QAChE,CAAC,CAAC,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC;QACtC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IACtC,MAAM,sBAAsB,GAAG,aAAa,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IACxE,MAAM,YAAY,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC;QAC3D,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC;QAC/B,CAAC,CAAC,aAAa,CAAC;YACd,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;YACnD,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SACpD,CAAC,CAAC;IACL,MAAM,cAAc,GAAG,sBAAsB,CAAC,MAAM,GAAG,CAAC;QACtD,CAAC,CAAC,sBAAsB;QACxB,CAAC,CAAC,YAAY,CAAC;IACjB,MAAM,qBAAqB,GAAG,aAAa,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC,MAAM,GAAG,CAAC;QACvF,CAAC,CAAC,aAAa,CAAC,QAAQ,EAAE,uBAAuB,CAAC;QAClD,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC;YACzC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC;YAChC,CAAC,CAAC,cAAc,CAAC;IACrB,MAAM,aAAa,GAAG,aAAa,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,MAAM,GAAG,CAAC;QACtE,CAAC,CAAC,aAAa,CAAC,QAAQ,EAAE,cAAc,CAAC;QACzC,CAAC,CAAC,oBAAoB,CAAC;IACzB,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAClE,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC;QAC5C,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC;YACzC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC;YAChC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,sBAAsB,GAAG,8BAA8B,CAAC,OAAO,EAAE,yBAAyB,EAAE,aAAa,CAAC,CAAC;IACjH,MAAM,mBAAmB,GAAG,8BAA8B,CAAC,OAAO,EAAE,yBAAyB,EAAE,UAAU,CAAC,CAAC;IAC3G,MAAM,uBAAuB,GAAG,8BAA8B,CAAC,OAAO,EAAE,yBAAyB,EAAE,cAAc,CAAC,CAAC;IACnH,MAAM,qBAAqB,GAAG,8BAA8B,CAAC,OAAO,EAAE,yBAAyB,EAAE,YAAY,CAAC,CAAC;IAC/G,MAAM,8BAA8B,GAAG,8BAA8B,CAAC,OAAO,EAAE,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IACjI,MAAM,sBAAsB,GAAG,8BAA8B,CAAC,OAAO,EAAE,yBAAyB,EAAE,aAAa,CAAC,CAAC;IACjH,MAAM,sBAAsB,GAAG,8BAA8B,CAAC,OAAO,EAAE,yBAAyB,EAAE,aAAa,CAAC,CAAC;IACjH,MAAM,iBAAiB,GAAG,CAAC,sBAAsB;QAC/C,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,4BAA4B,CAC1B,OAAO,EACP,yBAAyB,EACzB,aAAa,CAAC;YACZ,GAAG,aAAa;YAChB,GAAG,UAAU;YACb,GAAG,cAAc;YACjB,GAAG,YAAY;YACf,GAAG,qBAAqB;YACxB,GAAG,aAAa;YAChB,GAAG,aAAa;SACjB,CAAC,CACH,CAAC;IAEN,MAAM,kBAAkB,GACtB,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;QACvC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;QACpC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACpC,MAAM,cAAc,GAClB,QAAQ,CAAC,QAAQ,EAAE,4BAA4B,CAAC;QAChD,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;QAChC,cAAc,CAAC,MAAM,CAAC;IACxB,MAAM,aAAa,GACjB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;QACtC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;QAC/B,qBAAqB,CAAC,MAAM,CAAC;IAC/B,MAAM,aAAa,GACjB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;QACrC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;QAC/B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;QAClC,aAAa,CAAC,MAAM,CAAC;IACvB,MAAM,aAAa,GACjB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC;QAC/B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;QAClC,aAAa,CAAC,MAAM,CAAC;IACvB,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC;IACrE,MAAM,eAAe,GACnB,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QACpC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IAEpC,MAAM,aAAa,GACjB,CAAC,QAAQ,KAAK,IAAI;QAChB,OAAO,QAAQ,EAAE,YAAY,KAAK,QAAQ;QAC1C,OAAO,QAAQ,EAAE,4BAA4B,KAAK,QAAQ;QAC1D,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC;QACvC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACvC,CAAC,QAAQ,KAAK,IAAI;YAChB,OAAO,QAAQ,EAAE,eAAe,KAAK,QAAQ;YAC7C,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACjC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACjC,OAAO,QAAQ,EAAE,aAAa,KAAK,QAAQ;YAC3C,OAAO,QAAQ,EAAE,cAAc,KAAK,QAAQ;YAC5C,OAAO,QAAQ,EAAE,cAAc,KAAK,QAAQ,CAAC;QAC/C,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAElC,MAAM,aAAa,GACjB,CAAC,QAAQ,KAAK,IAAI;QAChB,OAAO,QAAQ,EAAE,YAAY,KAAK,QAAQ;QAC1C,OAAO,QAAQ,EAAE,4BAA4B,KAAK,QAAQ;QAC1D,OAAO,QAAQ,EAAE,mBAAmB,KAAK,QAAQ;QACjD,OAAO,QAAQ,EAAE,gBAAgB,KAAK,QAAQ;QAC9C,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,eAAe,CAAC;QACxC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,uBAAuB,CAAC;QAChD,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC;QACvC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC;QACvC,aAAa,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,CAAC;QAChD,CAAC,QAAQ,KAAK,IAAI;YAChB,OAAO,QAAQ,EAAE,YAAY,KAAK,QAAQ;YAC1C,OAAO,QAAQ,EAAE,4BAA4B,KAAK,QAAQ;YAC1D,OAAO,QAAQ,EAAE,mBAAmB,KAAK,QAAQ;YACjD,OAAO,QAAQ,EAAE,4BAA4B,KAAK,QAAQ;YAC1D,OAAO,QAAQ,EAAE,kBAAkB,KAAK,QAAQ;YAChD,OAAO,QAAQ,EAAE,iBAAiB,KAAK,QAAQ;YAC/C,OAAO,QAAQ,EAAE,QAAQ,KAAK,QAAQ;YACtC,OAAO,QAAQ,EAAE,gBAAgB,KAAK,QAAQ;YAC9C,OAAO,QAAQ,EAAE,iBAAiB,KAAK,SAAS;YAChD,KAAK,KAAK,IAAI;YACd,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;YAC5B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC7B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;YAC9B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChC,mBAAmB,CAAC;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,uBAAuB,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,8BAA8B,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACpD,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,sBAAsB,EAAE,GAAG,sBAAsB,CAAC,CAAC,CAAC;IAC9F,MAAM,qBAAqB,GACzB,sBAAsB,CAAC,MAAM,KAAK,CAAC;QACnC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC;QAC7B,OAAO,QAAQ,EAAE,4BAA4B,KAAK,QAAQ,CAAC;IAE7D,MAAM,uBAAuB,GAC3B,sBAAsB;QACtB,aAAa;QACb,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,EAAE,4BAA4B,KAAK,QAAQ;YAC9E,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,4BAA4B,CAAC,KAAK,kBAAkB;YACxE,CAAC,CAAC,kBAAkB,KAAK,kBAAkB,IAAI,cAAc,IAAI,kBAAkB,CAAC;QACtF,CAAC,OAAO,QAAQ,EAAE,4BAA4B,KAAK,QAAQ;YACzD,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,4BAA4B,CAAC,KAAK,kBAAkB;YACxE,CAAC,CAAC,OAAO,QAAQ,EAAE,4BAA4B,KAAK,QAAQ;gBAC1D,CAAC,CAAC,QAAQ,CAAC,QAAQ,EAAE,4BAA4B,CAAC,KAAK,kBAAkB;gBACzE,CAAC,CAAC,kBAAkB,KAAK,kBAAkB,CAAC,CAAC;IACnD,MAAM,mBAAmB,GAAG,sBAAsB,IAAI,aAAa,IAAI,kBAAkB,KAAK,kBAAkB,CAAC;IACjH,MAAM,uBAAuB,GAC3B,aAAa;QACb,mBAAmB,CAAC,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC;QACnD,CACE,qBAAqB;YACnB,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,qBAAqB,CAAC,IAAI;gBAC9C,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC;gBACjC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC;YACnC,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,qBAAqB,CAAC,IAAI;gBAChD,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC;gBACnC,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC,CACxC,CAAC;IACJ,MAAM,wBAAwB,GAC5B,aAAa;QACb,CACE,qBAAqB;YACnB,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC7D,WAAW,CAAC,IAAI,IAAI,cAAc;gBAClC,aAAa,IAAI,cAAc;YACjC,CAAC,CAAC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,CACxC,CAAC;IACJ,MAAM,qBAAqB,GACzB,aAAa;QACb,aAAa;QACb,SAAS,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACtC,MAAM,WAAW,GACf,aAAa;QACb,QAAQ,CAAC,IAAI,GAAG,CAAC,mBAAmB,CAAC,EAAE,WAAW,CAAC,CAAC;IACtD,MAAM,gBAAgB,GACpB,KAAK,KAAK,IAAI;QACd,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAC,KAAK,kBAAkB;QAC1D,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,cAAc;QAClD,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,aAAa;QAChD,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,eAAe;QACpD,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,aAAa;QAChD,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,aAAa;QAChD,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,UAAU,CAAC;IAC7C,MAAM,eAAe,GACnB,KAAK,KAAK,IAAI;QACd,KAAK,CAAC,iBAAiB,KAAK,IAAI;QAChC,KAAK,CAAC,iBAAiB,KAAK,IAAI,CAAC;IACnC,MAAM,WAAW,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClF,MAAM,UAAU,GAAG,WAAW,EAAE,OAAO,IAAI,KAAK,CAAC;IAEjD,MAAM,MAAM,GAAG;QACb,yBAAyB,EAAE,sBAAsB;QACjD,aAAa,EAAE,YAAY;QAC3B,WAAW,EAAE,UAAU;QACvB,gBAAgB,EAAE,eAAe,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC;QACpE,cAAc,EACZ,aAAa;YACb,CAAC,QAAQ,KAAK,IAAI,IAAI,uBAAuB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;QAC5E,gBAAgB,EAAE,eAAe;QACjC,cAAc,EACZ,aAAa;YACb,CAAC,QAAQ,KAAK,IAAI,IAAI,uBAAuB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;QAC5E,0BAA0B,EAAE,uBAAuB;QACnD,qBAAqB,EAAE,mBAAmB;QAC1C,yBAAyB,EAAE,uBAAuB;QAClD,0BAA0B,EAAE,wBAAwB;QACpD,uBAAuB,EAAE,qBAAqB;QAC9C,YAAY,EAAE,WAAW;QACzB,mBAAmB,EAAE,iBAAiB;QACtC,kBAAkB,EAAE,gBAAgB;QACpC,iBAAiB,EAAE,eAAe;KACnC,CAAC;IAEF,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,CAAC,sBAAsB;YAAE,MAAM,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;QAClF,IAAI,CAAC,YAAY;YAAE,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;aACzD,IAAI,KAAK,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;aACvE,IAAI,CAAC,UAAU;YAAE,MAAM,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QAC9F,IAAI,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;aACnG,IAAI,CAAC,aAAa;YAAE,MAAM,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;QACzG,IAAI,CAAC,eAAe;YAAE,MAAM,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;aAC/D,IAAI,CAAC,aAAa;YAAE,MAAM,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;QACzG,IAAI,eAAe,IAAI,aAAa,IAAI,CAAC,uBAAuB;YAAE,MAAM,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAC;QACzJ,IAAI,eAAe,IAAI,aAAa,IAAI,CAAC,mBAAmB;YAAE,MAAM,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;QACnI,IAAI,eAAe,IAAI,aAAa,IAAI,CAAC,uBAAuB;YAAE,MAAM,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QAC1I,IAAI,eAAe,IAAI,aAAa,IAAI,CAAC,wBAAwB;YAAE,MAAM,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;QAClI,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC/D,MAAM,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,eAAe,IAAI,eAAe,IAAI,aAAa,IAAI,aAAa,IAAI,CAAC,qBAAqB,EAAE,CAAC;YACnG,MAAM,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,eAAe,IAAI,eAAe,IAAI,aAAa,IAAI,aAAa,IAAI,CAAC,WAAW,EAAE,CAAC;YACzF,MAAM,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,YAAY,IAAI,UAAU,IAAI,eAAe,IAAI,aAAa,IAAI,eAAe,IAAI,aAAa,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC5H,MAAM,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;QACtF,CAAC;QACD,IAAI,YAAY,IAAI,UAAU,IAAI,CAAC,eAAe,EAAE,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IAED,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrD,MAAM,OAAO,GAAG,CAAC,YAAY;QAC3B,CAAC,CAAC,iEAAiE;QACnE,CAAC,CAAC,EAAE;YACF,CAAC,CAAC,+BAA+B,kBAAkB,IAAI,kBAAkB,cAAc,aAAa,wBAAwB,aAAa,cAAc,aAAa,GAAG;YACvK,CAAC,CAAC,qBAAqB,MAAM,CAAC,CAAC,CAAC,IAAI,+BAA+B,EAAE,CAAC;IAE1E,OAAO;QACL,EAAE;QACF,QAAQ,EAAE,YAAY;QACtB,OAAO;QACP,MAAM,EAAE;YACN,oBAAoB,EAAE,kBAAkB;YACxC,mBAAmB,EAAE,kBAAkB;YACvC,eAAe,EAAE,cAAc;YAC/B,cAAc,EAAE,aAAa;YAC7B,cAAc,EAAE,aAAa;YAC7B,cAAc,EAAE,aAAa;YAC7B,WAAW,EAAE,UAAU;YACvB,gBAAgB,EAAE,eAAe;SAClC;QACD,MAAM;QACN,MAAM;KACP,CAAC;AACJ,CAAC"}

package/dist/lib/validate-kb.d.ts

@@ -0,0 +1,81 @@
+export interface KnowledgeBaseValidationSummary {
+    config_present: boolean;
+    config_valid: boolean;
+    config_type_match: boolean;
+    summary_frontmatter_valid: boolean;
+    abstracts_valid: boolean;
+    invalid_frontmatter: number;
+    short_abstracts: number;
+    broken_links: number;
+}
+export interface KnowledgeBaseSummarizeValidation {
+    ok: boolean;
+    required: boolean;
+    summary: string;
+    counts: {
+        source_total: number;
+        source_covered: number;
+        summarized: number;
+        to_summarize: number;
+        invalid_frontmatter: number;
+        short_abstracts: number;
+        inventory_total: number;
+    };
+    checks: {
+        config_present: boolean;
+        config_valid: boolean;
+        config_type_match: boolean;
+        summaries_present: boolean;
+        state_present: boolean;
+        state_valid: boolean;
+        inventory_present: boolean;
+        inventory_valid: boolean;
+        inventory_complete: boolean;
+        inventory_matches_summaries: boolean;
+        state_covers_summaries: boolean;
+        full_source_coverage: boolean;
+        summary_frontmatter_valid: boolean;
+        abstracts_valid: boolean;
+    };
+    errors: string[];
+}
+export interface KnowledgeBaseCompileValidation {
+    ok: boolean;
+    required: boolean;
+    summary: string;
+    counts: {
+        source_total: number;
+        summarized: number;
+        compiled: number;
+        inventory_total: number;
+        frontmatter_scanned: number;
+        abstracts_read: number;
+        full_reads: number;
+        entity_files: number;
+        claim_files: number;
+        index_files: number;
+        outputs: number;
+    };
+    checks: {
+        config_present: boolean;
+        config_valid: boolean;
+        config_type_match: boolean;
+        summarize_complete: boolean;
+        state_present: boolean;
+        state_valid: boolean;
+        inventory_present: boolean;
+        inventory_valid: boolean;
+        inventory_complete: boolean;
+        inventory_matches_summaries: boolean;
+        frontmatter_inventory_complete: boolean;
+        abstracts_cover_summaries: boolean;
+        synced_complete: boolean;
+        outputs_present: boolean;
+        links_valid: boolean;
+    };
+    errors: string[];
+}
+export declare function validateKnowledgeBase(dirPath: string): KnowledgeBaseValidationSummary;
+export declare function validateKnowledgeBaseSummarize(dirPath: string): KnowledgeBaseSummarizeValidation;
+export declare function validateKnowledgeBaseCompile(dirPath: string): KnowledgeBaseCompileValidation;
+//# sourceMappingURL=validate-kb.d.ts.map