@ramplab/generator 0.1.0

package/dist/verifyStage.js

@@ -0,0 +1,461 @@
+import { z } from 'zod';
+import { parseLabSpec, } from '@ramplab/spec';
+import { extractJson } from './mapStage.js';
+import { mapWithConcurrency } from './pipeline.js';
+import { createAnchorFileCache, readAnchorRegion } from './resolveAnchors.js';
+/**
+ * The verify stage (PLAN.md §3–§4): adversarial grounding enforcement.
+ *
+ * Anchor resolution proves a claim *points at real code*; this stage proves
+ * the claim is *true of that code*. An independent verifier agent receives
+ * each machine-generated claim together with the ACTUAL content of its
+ * anchored regions (read via the same `readAnchorRegion` that resolution
+ * fingerprints, so verifier and resolver see identical bytes) and tries to
+ * REFUTE it. Per-claim verdicts: `verified` | `refuted` | `unverifiable`,
+ * each with a reason. Anything not verified is dropped from the base spec —
+ * the overlay (human tribal knowledge) is never touched.
+ *
+ * **Batching (deliberate):** one verifier call per module, covering every
+ * claim in that module's widgets. Per-claim calls would cost one agent
+ * invocation per sentence of the lab; per-module batches keep the call count
+ * at the same order as the author fan-out (which produced the claims in the
+ * first place), keep each prompt's code context focused on one subsystem's
+ * files, and still yield strictly per-claim verdicts because the output
+ * contract demands exactly one verdict per listed claim id. Batches run in
+ * parallel under the same worker-pool/concurrency cap as authoring.
+ *
+ * **Drop semantics:** the unit of removal is the whole teachable widget —
+ * consistent with `UnitResolution` granularity in anchor resolution — with
+ * one refinement: a quiz drops only the failed question, and the quiz widget
+ * itself only when no questions remain. A module emptied by drops is removed
+ * (the spec schema demands ≥1 widget-bearing structure stays parseable) and
+ * recorded in the report.
+ *
+ * **Failure policy (consistent with the author stage):** a batch whose
+ * verifier output is still invalid after bounded retries fails the whole
+ * stage with an error naming the module — verification is a grounding
+ * guarantee, so there is no silent-skip mode. Other in-flight batches finish
+ * first so all failures are reported at once.
+ */
+/** Default cap on concurrent verifier agents. */
+export const DEFAULT_VERIFY_CONCURRENCY = 4;
+/** Raised when at least one module batch never produced valid verdicts. */
+export class VerifyStageError extends Error {
+    failures;
+    constructor(failures) {
+        const detail = failures
+            .map((f) => `- module "${f.moduleId}" failed after ${f.attempts} attempt` +
+            `${f.attempts === 1 ? '' : 's'}:\n${indent(f.lastFailure)}`)
+            .join('\n');
+        super(`Verify stage failed: ${failures.length} module batch` +
+            `${failures.length === 1 ? '' : 'es'} did not produce valid verdicts.\n${detail}`);
+        this.name = 'VerifyStageError';
+        this.failures = failures;
+    }
+}
+function indent(text) {
+    return text
+        .split('\n')
+        .map((line) => `    ${line}`)
+        .join('\n');
+}
+export async function runVerifyStage(runner, repoDir, options) {
+    const concurrency = Math.max(1, options.concurrency ?? DEFAULT_VERIFY_CONCURRENCY);
+    const skip = new Set((options.flaggedUnits ?? []).map((u) => unitKey(u.moduleId, u.widgetId)));
+    const fileCache = createAnchorFileCache();
+    const batches = options.spec.base.modules
+        .map((module) => ({
+        module,
+        claims: collectModuleClaims(module).filter((claim) => !skip.has(unitKey(claim.moduleId, claim.widgetId))),
+    }))
+        .filter((batch) => batch.claims.length > 0);
+    const outcomes = await mapWithConcurrency(batches, concurrency, (batch) => verifyBatch(runner, repoDir, batch.module.id, batch.claims, {
+        model: options.model,
+        maxRetries: options.maxRetries ?? 1,
+        fileCache,
+    }));
+    let costUsd;
+    const attempts = {};
+    const claims = [];
+    const failures = [];
+    for (const outcome of outcomes) {
+        if (outcome.costUsd !== undefined) {
+            costUsd = (costUsd ?? 0) + outcome.costUsd;
+        }
+        if (outcome.attempts > 0) {
+            attempts[outcome.moduleId] = outcome.attempts;
+        }
+        if (outcome.failure !== undefined) {
+            failures.push(outcome.failure);
+        }
+        else {
+            claims.push(...outcome.verdicts);
+        }
+    }
+    if (failures.length > 0) {
+        throw new VerifyStageError(failures);
+    }
+    const { spec, drops } = applyVerdicts(options.spec, claims);
+    const verified = claims.filter((c) => c.verdict === 'verified').length;
+    const report = {
+        claims,
+        drops,
+        summary: {
+            totalClaims: claims.length,
+            verified,
+            refuted: claims.filter((c) => c.verdict === 'refuted').length,
+            unverifiable: claims.filter((c) => c.verdict === 'unverifiable').length,
+            passRate: claims.length === 0 ? 1 : verified / claims.length,
+        },
+    };
+    return { spec, report, attempts, costUsd };
+}
+// ---------------------------------------------------------------------------
+// Claim extraction (one entry per machine-generated teachable statement)
+// ---------------------------------------------------------------------------
+/** Extract every claim carried by a module's widgets, in spec order. */
+export function collectModuleClaims(module) {
+    const claims = [];
+    for (const widget of module.widgets) {
+        collectWidgetClaims(module.id, widget, claims);
+    }
+    return claims;
+}
+function collectWidgetClaims(moduleId, widget, out) {
+    const add = (part, claim, anchors, questionId) => {
+        out.push({
+            moduleId,
+            widgetId: widget.id,
+            claimId: `${widget.id}#${part}`,
+            claim,
+            anchors,
+            ...(questionId !== undefined ? { questionId } : {}),
+        });
+    };
+    switch (widget.type) {
+        case 'callout':
+            add('body', widget.title !== undefined ? `${widget.title}: ${widget.body}` : widget.body, widget.anchors);
+            return;
+        case 'code-walkthrough':
+            widget.steps.forEach((step, index) => {
+                add(`step-${index + 1}`, `Walkthrough step ${index + 1} (excerpt lines ${step.lines.start}-${step.lines.end}): ${step.commentary.body}`, step.commentary.anchors);
+            });
+            return;
+        case 'code-figure':
+            add('caption', widget.caption.body, widget.caption.anchors);
+            return;
+        case 'quiz':
+            for (const question of widget.questions) {
+                const correct = question.options.find((o) => o.id === question.correctOptionId);
+                add(`question-${question.id}`, `Quiz question: ${question.prompt}\n` +
+                    `Claimed correct answer: ${correct?.label ?? question.correctOptionId}\n` +
+                    `Explanation: ${question.explanation.body}`, question.explanation.anchors, question.id);
+            }
+            return;
+        case 'system-map':
+            for (const node of widget.nodes) {
+                if (node.description !== undefined) {
+                    add(`node-${node.id}`, `System-map node "${node.label}": ${node.description}`, node.anchors ?? []);
+                }
+            }
+            widget.edges.forEach((edge, index) => {
+                if (edge.label !== undefined) {
+                    add(`edge-${index + 1}`, `System-map edge ${edge.from} -> ${edge.to}: ${edge.label}`, edge.anchors ?? []);
+                }
+            });
+            return;
+        case 'state-machine':
+            for (const state of widget.states) {
+                if (state.description !== undefined) {
+                    add(`state-${state.id}`, `State "${state.label}": ${state.description.body}`, state.description.anchors);
+                }
+            }
+            widget.transitions.forEach((transition, index) => {
+                if (transition.commentary !== undefined) {
+                    add(`transition-${index + 1}`, `Transition ${transition.from} -> ${transition.to} on "${transition.trigger}": ${transition.commentary.body}`, transition.commentary.anchors);
+                }
+            });
+            return;
+        case 'pipeline':
+            for (const stage of widget.stages) {
+                if (stage.description !== undefined) {
+                    add(`stage-${stage.id}`, `Pipeline stage "${stage.label}": ${stage.description.body}`, stage.description.anchors);
+                }
+            }
+            return;
+        case 'data-model':
+            collectDataModelClaims(widget.nodes, [], add);
+            return;
+        case 'decision-table':
+            widget.rules.forEach((rule, index) => {
+                add(`rule-${index + 1}`, `Decision rule ${index + 1} (outcome "${rule.outcome}"): ${rule.explanation.body}`, rule.explanation.anchors);
+            });
+            if (widget.defaultOutcome?.explanation !== undefined) {
+                add('default-outcome', `Default outcome "${widget.defaultOutcome.outcome}": ${widget.defaultOutcome.explanation.body}`, widget.defaultOutcome.explanation.anchors);
+            }
+            return;
+        default:
+            assertNever(widget);
+    }
+}
+function collectDataModelClaims(nodes, path, add) {
+    for (const node of nodes) {
+        const nodePath = [...path, node.name];
+        if (node.annotation !== undefined) {
+            add(`field-${nodePath.join('.')}`, `Data-model field "${nodePath.join('.')}" (${node.type}): ${node.annotation.body}`, node.annotation.anchors);
+        }
+        if (node.children !== undefined) {
+            collectDataModelClaims(node.children, nodePath, add);
+        }
+    }
+}
+function assertNever(value) {
+    throw new Error(`verifyStage: unhandled widget shape ${JSON.stringify(value)}`);
+}
+async function verifyBatch(runner, repoDir, moduleId, claims, config) {
+    // Render every claim with the actual anchored code. A claim none of whose
+    // anchors can be read (possible only if the repo changed between anchor
+    // resolution and now, or under the `flag` policy misuse) is mechanically
+    // unverifiable — there is nothing to check it against.
+    const mechanical = new Map();
+    const checkable = [];
+    for (const claim of claims) {
+        const rendered = renderClaim(claim, repoDir, config.fileCache);
+        if (rendered.readableAnchors === 0) {
+            mechanical.set(claim.claimId, {
+                ...claim,
+                verdict: 'unverifiable',
+                reason: `None of the claim's anchors could be read: ${rendered.problems.join('; ')}`,
+            });
+        }
+        else {
+            checkable.push(rendered);
+        }
+    }
+    const finish = (byId, attempts, costUsd) => ({
+        moduleId,
+        verdicts: claims.map((claim) => {
+            const verdict = mechanical.get(claim.claimId) ?? byId.get(claim.claimId);
+            /* v8 ignore next 3 -- parseVerdicts guarantees full coverage */
+            if (verdict === undefined) {
+                throw new Error(`verifyStage: missing verdict for claim "${claim.claimId}"`);
+            }
+            return verdict;
+        }),
+        attempts,
+        costUsd,
+    });
+    if (checkable.length === 0) {
+        return finish(new Map(), 0, undefined);
+    }
+    const basePrompt = buildVerifyPrompt(moduleId, checkable);
+    const maxAttempts = 1 + Math.max(0, config.maxRetries);
+    let costUsd;
+    let lastFailure = 'no attempt was made';
+    for (let attempt = 1; attempt <= maxAttempts; attempt++) {
+        const prompt = attempt === 1 ? basePrompt : `${basePrompt}\n\n${retryPreamble(lastFailure)}`;
+        const response = await runner.runStage({
+            stage: 'verify',
+            model: config.model,
+            repoDir,
+            prompt,
+            attempt,
+        });
+        if (response.costUsd !== undefined) {
+            costUsd = (costUsd ?? 0) + response.costUsd;
+        }
+        const outcome = parseVerdicts(response.output, checkable.map((c) => c.claim));
+        if (outcome.ok) {
+            return finish(outcome.byId, attempt, costUsd);
+        }
+        lastFailure = outcome.failure;
+    }
+    return {
+        moduleId,
+        verdicts: [],
+        attempts: maxAttempts,
+        costUsd,
+        failure: { moduleId, attempts: maxAttempts, lastFailure },
+    };
+}
+// ---------------------------------------------------------------------------
+// Verifier output contract
+// ---------------------------------------------------------------------------
+const verdictEntrySchema = z.object({
+    claimId: z.string().min(1),
+    verdict: z.enum(['verified', 'refuted', 'unverifiable']),
+    reason: z.string().min(1, 'every verdict needs a non-empty reason'),
+});
+const verifyResponseSchema = z.object({
+    verdicts: z.array(verdictEntrySchema),
+});
+/**
+ * Parse the verifier's text as the verdict payload and enforce exact claim
+ * coverage: one verdict per listed claim id — no omissions, extras, or
+ * duplicates. Any problem becomes a `failure` string feeding the retry.
+ */
+function parseVerdicts(output, claims) {
+    const json = extractJson(output);
+    if (json === undefined) {
+        return { ok: false, failure: 'The output did not contain a parseable JSON object.' };
+    }
+    const parsed = verifyResponseSchema.safeParse(json);
+    if (!parsed.success) {
+        return { ok: false, failure: z.prettifyError(parsed.error) };
+    }
+    const claimsById = new Map(claims.map((claim) => [claim.claimId, claim]));
+    const byId = new Map();
+    const problems = [];
+    for (const entry of parsed.data.verdicts) {
+        const claim = claimsById.get(entry.claimId);
+        if (claim === undefined) {
+            problems.push(`verdict for unknown claim id "${entry.claimId}"`);
+            continue;
+        }
+        if (byId.has(entry.claimId)) {
+            problems.push(`duplicate verdict for claim id "${entry.claimId}"`);
+            continue;
+        }
+        byId.set(entry.claimId, { ...claim, verdict: entry.verdict, reason: entry.reason });
+    }
+    for (const claim of claims) {
+        if (!byId.has(claim.claimId)) {
+            problems.push(`missing verdict for claim id "${claim.claimId}"`);
+        }
+    }
+    if (problems.length > 0) {
+        return {
+            ok: false,
+            failure: `The verdicts must cover exactly the listed claim ids:\n${problems.map((p) => `- ${p}`).join('\n')}`,
+        };
+    }
+    return { ok: true, byId };
+}
+function renderClaim(claim, repoDir, fileCache) {
+    const parts = [
+        `### Claim ${claim.claimId}`,
+        `Widget: "${claim.widgetId}"`,
+        `Claim: ${claim.claim}`,
+    ];
+    let readableAnchors = 0;
+    const problems = [];
+    claim.anchors.forEach((anchor, index) => {
+        const where = [
+            anchor.file,
+            anchor.lines !== undefined ? `lines ${anchor.lines.start}-${anchor.lines.end}` : undefined,
+            anchor.symbol !== undefined ? `symbol "${anchor.symbol}"` : undefined,
+        ]
+            .filter((part) => part !== undefined)
+            .join(', ');
+        const region = readAnchorRegion(anchor, repoDir, fileCache);
+        if (region.kind === 'ok') {
+            readableAnchors += 1;
+            parts.push(`Anchor ${index + 1} — ${where}:`, '```', region.text, '```');
+        }
+        else {
+            problems.push(region.detail);
+            parts.push(`Anchor ${index + 1} — ${where}: could not be read (${region.detail})`);
+        }
+    });
+    return { claim, text: parts.join('\n'), readableAnchors, problems };
+}
+function retryPreamble(failure) {
+    return (`IMPORTANT — your previous attempt was rejected because it did not ` +
+        `validate against the verdict schema:\n\n${failure}\n\n` +
+        `Fix these problems and respond again with ONLY the corrected JSON object.`);
+}
+function buildVerifyPrompt(moduleId, rendered) {
+    return `You are the adversarial verifier for a codebase onboarding lab about the repository in your working directory. A previous authoring pass produced the claims below; your job is to try to REFUTE each one against the code it cites.
+
+Each claim is followed by the ACTUAL content of every code region its anchors point at, read directly from the repository. Judge the claim against that code. You may use the read-only tools available to you (Read, Glob, Grep) to examine surrounding context, but the cited code is the evidence that counts. Do not modify anything.
+
+Be skeptical — a claim earns "verified" only if the anchored code actually substantiates it:
+- "verified": the anchored code substantiates the claim.
+- "refuted": the anchored code contradicts the claim (wrong behavior, wrong name, wrong direction, wrong answer).
+- "unverifiable": the anchored code neither supports nor contradicts the claim — it is about something else, or the claim asserts things the code cannot show.
+
+Claims from module "${moduleId}":
+
+${rendered.map((r) => r.text).join('\n\n')}
+
+When you are done, respond with ONLY a single JSON object (no prose before or after) with exactly this shape:
+
+{
+  "verdicts": [
+    { "claimId": "<claim id from above>", "verdict": "verified" | "refuted" | "unverifiable", "reason": "<1-2 sentences>" }
+  ]
+}
+
+Hard requirements — the JSON is machine-validated and rejected on any violation:
+- Exactly one verdict per claim id listed above: no omissions, no extras, no duplicates, ids copied verbatim.
+- "verdict" is exactly one of "verified", "refuted", "unverifiable".
+- "reason" is non-empty: for "verified", name what in the code substantiates the claim; for "refuted" or "unverifiable", say precisely why. Claims that are not verified are dropped from the lab, and your reasons are shown to the lab's maintainer.`;
+}
+// ---------------------------------------------------------------------------
+// Applying verdicts (drops + structural cleanup)
+// ---------------------------------------------------------------------------
+/**
+ * Remove every unit with a non-verified claim, without mutating the input:
+ * quiz questions individually (the quiz widget only when emptied), whole
+ * widgets otherwise, and modules that end up widget-less. The overlay is
+ * untouched. The result is revalidated through `parseLabSpec` — the same
+ * single validation path the assemble stage uses.
+ */
+function applyVerdicts(spec, claims) {
+    const failedByUnit = new Map();
+    for (const claim of claims) {
+        if (claim.verdict === 'verified')
+            continue;
+        const key = unitKey(claim.moduleId, claim.widgetId);
+        const list = failedByUnit.get(key) ?? [];
+        list.push(claim);
+        failedByUnit.set(key, list);
+    }
+    const drops = { widgets: [], questions: [], modules: [] };
+    const out = structuredClone(spec);
+    for (const module of out.base.modules) {
+        module.widgets = module.widgets.filter((widget) => {
+            const failures = failedByUnit.get(unitKey(module.id, widget.id));
+            if (failures === undefined)
+                return true;
+            const reasons = failures.map((f) => `${f.claimId}: ${f.verdict} — ${f.reason}`);
+            if (widget.type === 'quiz') {
+                const failedQuestions = new Map(failures.map((f) => [f.questionId, f]));
+                widget.questions = widget.questions.filter((question) => {
+                    const failure = failedQuestions.get(question.id);
+                    if (failure === undefined)
+                        return true;
+                    drops.questions.push({
+                        moduleId: module.id,
+                        widgetId: widget.id,
+                        questionId: question.id,
+                        reason: `${failure.verdict} — ${failure.reason}`,
+                    });
+                    return false;
+                });
+                if (widget.questions.length > 0)
+                    return true;
+                // Every question failed: the widget itself goes.
+                drops.widgets.push({ moduleId: module.id, widgetId: widget.id, reasons });
+                return false;
+            }
+            drops.widgets.push({ moduleId: module.id, widgetId: widget.id, reasons });
+            return false;
+        });
+    }
+    drops.modules = out.base.modules
+        .filter((module) => module.widgets.length === 0)
+        .map((module) => module.id);
+    out.base.modules = out.base.modules.filter((module) => module.widgets.length > 0);
+    if (out.base.modules.length === 0) {
+        throw new Error('Verification dropped every module in the lab — no machine-generated claim survived. ' +
+            'Refusing to emit an empty spec; regenerate with better anchoring or review the verifier reasons in the report.');
+    }
+    // Single validation path: a JSON round-trip plus parseLabSpec guarantees
+    // the post-drop spec is exactly what a consumer would load from disk.
+    return { spec: parseLabSpec(JSON.parse(JSON.stringify(out))), drops };
+}
+function unitKey(moduleId, widgetId) {
+    return `${moduleId} ${widgetId}`;
+}
+//# sourceMappingURL=verifyStage.js.map

package/dist/verifyStage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyStage.js","sourceRoot":"","sources":["../src/verifyStage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,YAAY,GAMb,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAwC,MAAM,eAAe,CAAC;AACzF,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAwB,MAAM,qBAAqB,CAAC;AAEpG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,iDAAiD;AACjD,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAiH5C,2EAA2E;AAC3E,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IAChC,QAAQ,CAAgC;IAEjD,YAAY,QAAuC;QACjD,MAAM,MAAM,GAAG,QAAQ;aACpB,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,aAAa,CAAC,CAAC,QAAQ,kBAAkB,CAAC,CAAC,QAAQ,UAAU;YAC7D,GAAG,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAC9D;aACA,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,KAAK,CACH,wBAAwB,QAAQ,CAAC,MAAM,eAAe;YACpD,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,qCAAqC,MAAM,EAAE,CACpF,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;QAC/B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,IAAI;SACR,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC;SAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,MAAmB,EACnB,OAAe,EACf,OAA2B;IAE3B,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,WAAW,IAAI,0BAA0B,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,IAAI,GAAG,CAClB,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CACzE,CAAC;IACF,MAAM,SAAS,GAAG,qBAAqB,EAAE,CAAC;IAE1C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;SACtC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAChB,MAAM;QACN,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,MAAM,CACxC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAC9D;KACF,CAAC,CAAC;SACF,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAE9C,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CACxE,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE;QAC1D,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,CAAC;QACnC,SAAS;KACV,CAAC,CACH,CAAC;IAEF,IAAI,OAA2B,CAAC;IAChC,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAClC,OAAO,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;QAC7C,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC;QAChD,CAAC;QACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IACvE,MAAM,MAAM,GAAuB;QACjC,MAAM;QACN,KAAK;QACL,OAAO,EAAE;YACP,WAAW,EAAE,MAAM,CAAC,MAAM;YAC1B,QAAQ;YACR,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM;YAC7D,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,MAAM;YACvE,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,MAAM,CAAC,MAAM;SAC7D;KACF,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC7C,CAAC;AAED,8EAA8E;AAC9E,yEAAyE;AACzE,8EAA8E;AAE9E,wEAAwE;AACxE,MAAM,UAAU,mBAAmB,CAAC,MAAiB;IACnD,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,mBAAmB,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAgB,EAChB,MAAkB,EAClB,GAAwB;IAExB,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,OAAiB,EAAE,UAAmB,EAAQ,EAAE;QACxF,GAAG,CAAC,IAAI,CAAC;YACP,QAAQ;YACR,QAAQ,EAAE,MAAM,CAAC,EAAE;YACnB,OAAO,EAAE,GAAG,MAAM,CAAC,EAAE,IAAI,IAAI,EAAE;YAC/B,KAAK;YACL,OAAO;YACP,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpD,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,SAAS;YACZ,GAAG,CACD,MAAM,EACN,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAC5E,MAAM,CAAC,OAAO,CACf,CAAC;YACF,OAAO;QACT,KAAK,kBAAkB;YACrB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACnC,GAAG,CACD,QAAQ,KAAK,GAAG,CAAC,EAAE,EACnB,oBAAoB,KAAK,GAAG,CAAC,mBAAmB,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,EAC9G,IAAI,CAAC,UAAU,CAAC,OAAO,CACxB,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,OAAO;QACT,KAAK,aAAa;YAChB,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAC5D,OAAO;QACT,KAAK,MAAM;YACT,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;gBACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,eAAe,CAAC,CAAC;gBAChF,GAAG,CACD,YAAY,QAAQ,CAAC,EAAE,EAAE,EACzB,kBAAkB,QAAQ,CAAC,MAAM,IAAI;oBACnC,2BAA2B,OAAO,EAAE,KAAK,IAAI,QAAQ,CAAC,eAAe,IAAI;oBACzE,gBAAgB,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,EAC7C,QAAQ,CAAC,WAAW,CAAC,OAAO,EAC5B,QAAQ,CAAC,EAAE,CACZ,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,YAAY;YACf,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBAChC,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;oBACnC,GAAG,CACD,QAAQ,IAAI,CAAC,EAAE,EAAE,EACjB,oBAAoB,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,WAAW,EAAE,EACtD,IAAI,CAAC,OAAO,IAAI,EAAE,CACnB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACnC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBAC7B,GAAG,CACD,QAAQ,KAAK,GAAG,CAAC,EAAE,EACnB,mBAAmB,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,KAAK,EAAE,EAC3D,IAAI,CAAC,OAAO,IAAI,EAAE,CACnB,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;YACH,OAAO;QACT,KAAK,eAAe;YAClB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClC,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;oBACpC,GAAG,CACD,SAAS,KAAK,CAAC,EAAE,EAAE,EACnB,UAAU,KAAK,CAAC,KAAK,MAAM,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,EACnD,KAAK,CAAC,WAAW,CAAC,OAAO,CAC1B,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;gBAC/C,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBACxC,GAAG,CACD,cAAc,KAAK,GAAG,CAAC,EAAE,EACzB,cAAc,UAAU,CAAC,IAAI,OAAO,UAAU,CAAC,EAAE,QAAQ,UAAU,CAAC,OAAO,MAAM,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,EAC7G,UAAU,CAAC,UAAU,CAAC,OAAO,CAC9B,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;YACH,OAAO;QACT,KAAK,UAAU;YACb,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClC,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;oBACpC,GAAG,CACD,SAAS,KAAK,CAAC,EAAE,EAAE,EACnB,mBAAmB,KAAK,CAAC,KAAK,MAAM,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,EAC5D,KAAK,CAAC,WAAW,CAAC,OAAO,CAC1B,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO;QACT,KAAK,YAAY;YACf,sBAAsB,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;YAC9C,OAAO;QACT,KAAK,gBAAgB;YACnB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACnC,GAAG,CACD,QAAQ,KAAK,GAAG,CAAC,EAAE,EACnB,iBAAiB,KAAK,GAAG,CAAC,cAAc,IAAI,CAAC,OAAO,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,EAClF,IAAI,CAAC,WAAW,CAAC,OAAO,CACzB,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,IAAI,MAAM,CAAC,cAAc,EAAE,WAAW,KAAK,SAAS,EAAE,CAAC;gBACrD,GAAG,CACD,iBAAiB,EACjB,oBAAoB,MAAM,CAAC,cAAc,CAAC,OAAO,MAAM,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,EAAE,EAC/F,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,OAAO,CAC1C,CAAC;YACJ,CAAC;YACD,OAAO;QACT;YACE,WAAW,CAAC,MAAM,CAAC,CAAC;IACxB,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAA+B,EAC/B,IAAuB,EACvB,GAA6D;IAE7D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAClC,GAAG,CACD,SAAS,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAC7B,qBAAqB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,EAClF,IAAI,CAAC,UAAU,CAAC,OAAO,CACxB,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAChC,sBAAsB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAY;IAC/B,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAClF,CAAC;AAqBD,KAAK,UAAU,WAAW,CACxB,MAAmB,EACnB,OAAe,EACf,QAAgB,EAChB,MAAoC,EACpC,MAAmB;IAEnB,0EAA0E;IAC1E,wEAAwE;IACxE,yEAAyE;IACzE,uDAAuD;IACvD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;IACnD,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/D,IAAI,QAAQ,CAAC,eAAe,KAAK,CAAC,EAAE,CAAC;YACnC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE;gBAC5B,GAAG,KAAK;gBACR,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,8CAA8C,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACrF,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,IAA+B,EAAE,QAAgB,EAAE,OAA2B,EAAgB,EAAE,CAAC,CAAC;QAChH,QAAQ;QACR,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YAC7B,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACzE,gEAAgE;YAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,2CAA2C,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;YAC/E,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC;QACF,QAAQ;QACR,OAAO;KACR,CAAC,CAAC;IAEH,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,GAAG,EAAE,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAEvD,IAAI,OAA2B,CAAC;IAChC,IAAI,WAAW,GAAG,qBAAqB,CAAC;IAExC,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC;QACxD,MAAM,MAAM,GACV,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,OAAO,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;QAEhF,MAAM,QAAQ,GAAkB,MAAM,MAAM,CAAC,QAAQ,CAAC;YACpD,KAAK,EAAE,QAAQ;YACf,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,OAAO;YACP,MAAM;YACN,OAAO;SACR,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;QAC9C,CAAC;QAED,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9E,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC;YACf,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAChD,CAAC;QACD,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;IAChC,CAAC;IAED,OAAO;QACL,QAAQ;QACR,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,WAAW;QACrB,OAAO;QACP,OAAO,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE;KAC1D,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IACxD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,wCAAwC,CAAC;CACpE,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;CACtC,CAAC,CAAC;AAMH;;;;GAIG;AACH,SAAS,aAAa,CAAC,MAAc,EAAE,MAAoC;IACzE,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,qDAAqD,EAAE,CAAC;IACvF,CAAC;IACD,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/D,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC7C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,iCAAiC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;YACjE,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,mCAAmC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;YACnE,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,iCAAiC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,0DAA0D,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAC9G,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAcD,SAAS,WAAW,CAClB,KAAwB,EACxB,OAAe,EACf,SAA0B;IAE1B,MAAM,KAAK,GAAG;QACZ,aAAa,KAAK,CAAC,OAAO,EAAE;QAC5B,YAAY,KAAK,CAAC,QAAQ,GAAG;QAC7B,UAAU,KAAK,CAAC,KAAK,EAAE;KACxB,CAAC;IACF,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACtC,MAAM,KAAK,GAAG;YACZ,MAAM,CAAC,IAAI;YACX,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS;YAC1F,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,SAAS;SACtE;aACE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;aACpC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAC5D,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,eAAe,IAAI,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,GAAG,CAAC,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3E,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,GAAG,CAAC,MAAM,KAAK,wBAAwB,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QACrF,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AACtE,CAAC;AAED,SAAS,aAAa,CAAC,OAAe;IACpC,OAAO,CACL,oEAAoE;QACpE,2CAA2C,OAAO,MAAM;QACxD,2EAA2E,CAC5E,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAgB,EAAE,QAAkC;IAC7E,OAAO;;;;;;;;;sBASa,QAAQ;;EAE5B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;;;;;;;;;;;;;uPAa6M,CAAC;AACxP,CAAC;AAED,8EAA8E;AAC9E,iDAAiD;AACjD,8EAA8E;AAE9E;;;;;;GAMG;AACH,SAAS,aAAa,CACpB,IAAa,EACb,MAA+B;IAE/B,MAAM,YAAY,GAAG,IAAI,GAAG,EAA0B,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,OAAO,KAAK,UAAU;YAAE,SAAS;QAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjB,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,KAAK,GAAsB,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC7E,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAElC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACtC,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;YAChD,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YACjE,IAAI,QAAQ,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAEhF,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3B,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAU,CAAC,CAChD,CAAC;gBACF,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE;oBACtD,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;oBACjD,IAAI,OAAO,KAAK,SAAS;wBAAE,OAAO,IAAI,CAAC;oBACvC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC;wBACnB,QAAQ,EAAE,MAAM,CAAC,EAAE;wBACnB,QAAQ,EAAE,MAAM,CAAC,EAAE;wBACnB,UAAU,EAAE,QAAQ,CAAC,EAAE;wBACvB,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,MAAM,OAAO,CAAC,MAAM,EAAE;qBACjD,CAAC,CAAC;oBACH,OAAO,KAAK,CAAC;gBACf,CAAC,CAAC,CAAC;gBACH,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC7C,iDAAiD;gBACjD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;gBAC1E,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;YAC1E,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO;SAC7B,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC9B,GAAG,CAAC,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAElF,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CACb,sFAAsF;YACpF,gHAAgH,CACnH,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,sEAAsE;IACtE,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,OAAO,CAAC,QAAgB,EAAE,QAAgB;IACjD,OAAO,GAAG,QAAQ,IAAI,QAAQ,EAAE,CAAC;AACnC,CAAC"}

package/package.json

@@ -0,0 +1,47 @@
+{
+  "name": "@ramplab/generator",
+  "version": "0.1.0",
+  "private": false,
+  "type": "module",
+  "description": "The RampLab pipeline: reads a repository, writes an edition of it, and mechanically resolves every code anchor against the source so nothing unverifiable survives.",
+  "keywords": [
+    "ramplab",
+    "onboarding",
+    "claude",
+    "code-analysis"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "dependencies": {
+    "@anthropic-ai/claude-agent-sdk": "^0.3.201",
+    "zod": "^4.4.3",
+    "@ramplab/spec": "0.1.0"
+  },
+  "devDependencies": {
+    "@types/node": "^26.1.0",
+    "typescript": "^6.0.3",
+    "vitest": "^4.1.9"
+  },
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ramplab/press.git"
+  },
+  "homepage": "https://library.ramplab.dev/cli/",
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test": "vitest run",
+    "live": "pnpm run build && node dist/live.js"
+  }
+}