@ramplab/generator 0.1.0

package/dist/resolveAnchors.d.ts

@@ -0,0 +1,142 @@
+import type { Anchor, LabSpec } from '@ramplab/spec';
+/**
+ * Anchor resolution — mechanical grounding enforcement (PLAN.md §3).
+ *
+ * `resolveAnchors(spec, repoDir)` checks every anchor in the spec's base
+ * content against the actual repository directory:
+ *
+ * - the anchored file exists (repo-relative; paths that escape `repoDir`
+ *   never resolve),
+ * - the line range, if given, is valid against the file's real line count,
+ * - the symbol, if given, matches textually inside the anchored region.
+ *
+ * v1 is deliberately textual and language-agnostic — no parsers, no
+ * tree-sitter. A "symbol match" is a token-boundary substring match, which
+ * works uniformly across TS, Ruby, Go, Python, Java, C#, Dart, Kotlin,
+ * Swift, ... (tree-sitter-backed resolution is a v2 option).
+ *
+ * The function is deterministic and pure over `(spec, directory)`: no
+ * globals, no clock, no mutation of the input spec. Given the same spec and
+ * the same directory contents it always returns the same result.
+ */
+/** Why an individual anchor did or did not resolve. */
+export type AnchorStatus = 'resolved' | 'file-missing' | 'lines-out-of-range' | 'symbol-not-found';
+/**
+ * What to do with teachable units whose anchors fail to resolve:
+ * - `drop` (default): remove the unit from the returned base spec — the
+ *   grounding constraint is enforced structurally.
+ * - `flag`: keep the spec intact and only report — for review flows where
+ *   a human decides.
+ */
+export type ResolutionPolicy = 'drop' | 'flag';
+/** Per-teachable-unit outcome, reflecting the active policy. */
+export type UnitOutcome = 'resolved' | 'dropped' | 'flagged';
+/** The resolution verdict for one anchor of one base widget. */
+export interface AnchorResolution {
+    moduleId: string;
+    widgetId: string;
+    /**
+     * Ordinal of the anchor within its widget, in deterministic walk order.
+     * For widgets with a single top-level `anchors` array (callouts) this is
+     * the array index; nested carriers (system-map nodes/edges, data-model
+     * annotations) are walked depth-first in spec order.
+     */
+    anchorIndex: number;
+    /** JSON path of the anchor within its widget (e.g. `["nodes", 0, "anchors", 1]`). */
+    anchorPath: (string | number)[];
+    /** The anchor as checked (fingerprint populated when resolved). */
+    anchor: Anchor;
+    status: AnchorStatus;
+    /** Human-readable explanation of the status. */
+    detail: string;
+    /**
+     * `sha256:<hex>` content hash of the anchored region (the line range if
+     * given, otherwise the whole file), only present when resolved. Line
+     * endings are normalized to `\n` before hashing so fingerprints are
+     * stable across checkout conventions.
+     */
+    fingerprint?: string;
+}
+/**
+ * The verdict for one teachable unit (a base widget). A unit is resolved
+ * only if *every* one of its anchors resolved — each claim's grounding must
+ * check out.
+ */
+export interface UnitResolution {
+    moduleId: string;
+    widgetId: string;
+    outcome: UnitOutcome;
+    anchors: AnchorResolution[];
+}
+export interface ResolutionSummary {
+    totalAnchors: number;
+    resolvedAnchors: number;
+    totalUnits: number;
+    resolvedUnits: number;
+    /** Units dropped or flagged, depending on policy. */
+    unresolvedUnits: number;
+}
+/** Structured report of a full resolution pass over a spec's base content. */
+export interface ResolutionReport {
+    policy: ResolutionPolicy;
+    /** Every anchor checked, in spec order. */
+    anchors: AnchorResolution[];
+    /** Every teachable unit (base widget), in spec order. */
+    units: UnitResolution[];
+    summary: ResolutionSummary;
+}
+export interface ResolveAnchorsOptions {
+    /** @default 'drop' */
+    policy?: ResolutionPolicy;
+}
+export interface ResolveAnchorsResult {
+    /**
+     * The spec after resolution. Resolved anchors carry fingerprints. Under
+     * the `drop` policy, unresolved units are removed from their modules;
+     * under `flag` the structure is untouched. The human overlay is never
+     * modified — only the machine-owned base is subject to grounding
+     * enforcement.
+     */
+    spec: LabSpec;
+    report: ResolutionReport;
+}
+/**
+ * Resolve every base-content anchor in `spec` against the repository at
+ * `repoDir`, enforcing the grounding constraint per the chosen policy.
+ */
+export declare function resolveAnchors(spec: LabSpec, repoDir: string, options?: ResolveAnchorsOptions): ResolveAnchorsResult;
+/**
+ * The content an anchor points at, or why it could not be read. The failure
+ * kinds mirror the mechanical {@link AnchorStatus} values (symbol matching is
+ * a separate concern layered on top by `resolveAnchor`).
+ */
+export type AnchorRegion = {
+    kind: 'ok';
+    text: string;
+} | {
+    kind: 'file-missing';
+    detail: string;
+} | {
+    kind: 'lines-out-of-range';
+    detail: string;
+};
+/** Share one cache across many {@link readAnchorRegion} calls over one repo. */
+export declare function createAnchorFileCache(): AnchorFileCache;
+export type AnchorFileCache = Map<string, LoadedFile>;
+/**
+ * Read the actual repository content an anchor points at: the line range if
+ * given, otherwise the whole file. Line endings are normalized to `\n`. This
+ * is the single anchor-region reader — anchor resolution fingerprints what it
+ * returns, and the verify stage shows it to the adversarial verifier — so
+ * both stages are guaranteed to be looking at the same bytes.
+ */
+export declare function readAnchorRegion(anchor: Pick<Anchor, 'file' | 'lines'>, repoDir: string, cache?: AnchorFileCache): AnchorRegion;
+export type LoadedFile = {
+    kind: 'ok';
+    lines: string[];
+    lineCount: number;
+} | {
+    kind: 'missing';
+    detail: string;
+};
+//# sourceMappingURL=resolveAnchors.d.ts.map

package/dist/resolveAnchors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolveAnchors.d.ts","sourceRoot":"","sources":["../src/resolveAnchors.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAErD;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,uDAAuD;AACvD,MAAM,MAAM,YAAY,GACpB,UAAU,GACV,cAAc,GACd,oBAAoB,GACpB,kBAAkB,CAAC;AAEvB;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,MAAM,CAAC;AAE/C,gEAAgE;AAChE,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;AAE7D,gEAAgE;AAChE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;;OAKG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB,qFAAqF;IACrF,UAAU,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IAChC,mEAAmE;IACnE,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,YAAY,CAAC;IACrB,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC;IACf;;;;;OAKG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,WAAW,CAAC;IACrB,OAAO,EAAE,gBAAgB,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB;IAChC,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,qDAAqD;IACrD,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,8EAA8E;AAC9E,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,gBAAgB,CAAC;IACzB,2CAA2C;IAC3C,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,yDAAyD;IACzD,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,OAAO,EAAE,iBAAiB,CAAC;CAC5B;AAED,MAAM,WAAW,qBAAqB;IACpC,sBAAsB;IACtB,MAAM,CAAC,EAAE,gBAAgB,CAAC;CAC3B;AAED,MAAM,WAAW,oBAAoB;IACnC;;;;;;OAMG;IACH,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,gBAAgB,CAAC;CAC1B;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,qBAA0B,GAClC,oBAAoB,CA6CtB;AAuED;;;;GAIG;AACH,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5B;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,oBAAoB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnD,gFAAgF;AAChF,wBAAgB,qBAAqB,IAAI,eAAe,CAEvD;AAED,MAAM,MAAM,eAAe,GAAG,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAEtD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,EACtC,OAAO,EAAE,MAAM,EACf,KAAK,GAAE,eAAyC,GAC/C,YAAY,CAmBd;AAMD,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC"}

package/dist/resolveAnchors.js

@@ -0,0 +1,242 @@
+import { createHash } from 'node:crypto';
+import { readFileSync, statSync } from 'node:fs';
+import { isAbsolute, resolve, sep } from 'node:path';
+/**
+ * Resolve every base-content anchor in `spec` against the repository at
+ * `repoDir`, enforcing the grounding constraint per the chosen policy.
+ */
+export function resolveAnchors(spec, repoDir, options = {}) {
+    const policy = options.policy ?? 'drop';
+    const repoRoot = resolve(repoDir);
+    const fileCache = new Map();
+    const units = [];
+    const allAnchors = [];
+    for (const module of spec.base.modules) {
+        for (const widget of module.widgets) {
+            const anchors = collectAnchorRefs(widget).map((ref, anchorIndex) => resolveAnchor(ref.anchor, {
+                repoRoot,
+                fileCache,
+                moduleId: module.id,
+                widgetId: widget.id,
+                anchorIndex,
+                anchorPath: ref.path,
+            }));
+            const unitResolved = anchors.every((a) => a.status === 'resolved');
+            units.push({
+                moduleId: module.id,
+                widgetId: widget.id,
+                outcome: unitResolved ? 'resolved' : policy === 'drop' ? 'dropped' : 'flagged',
+                anchors,
+            });
+            allAnchors.push(...anchors);
+        }
+    }
+    const report = {
+        policy,
+        anchors: allAnchors,
+        units,
+        summary: {
+            totalAnchors: allAnchors.length,
+            resolvedAnchors: allAnchors.filter((a) => a.status === 'resolved').length,
+            totalUnits: units.length,
+            resolvedUnits: units.filter((u) => u.outcome === 'resolved').length,
+            unresolvedUnits: units.filter((u) => u.outcome !== 'resolved').length,
+        },
+    };
+    return { spec: buildOutputSpec(spec, report), report };
+}
+function resolveAnchor(anchor, ctx) {
+    const base = {
+        moduleId: ctx.moduleId,
+        widgetId: ctx.widgetId,
+        anchorIndex: ctx.anchorIndex,
+        anchorPath: ctx.anchorPath,
+    };
+    const fail = (status, detail) => ({
+        ...base,
+        anchor: cloneAnchor(anchor),
+        status,
+        detail,
+    });
+    const loaded = readAnchorRegion(anchor, ctx.repoRoot, ctx.fileCache);
+    if (loaded.kind !== 'ok') {
+        return fail(loaded.kind, loaded.detail);
+    }
+    const region = loaded.text;
+    if (anchor.symbol !== undefined && !symbolPattern(anchor.symbol).test(region)) {
+        const where = anchor.lines
+            ? `lines ${anchor.lines.start}-${anchor.lines.end} of "${anchor.file}"`
+            : `"${anchor.file}"`;
+        return fail('symbol-not-found', `Symbol "${anchor.symbol}" not found in ${where}.`);
+    }
+    const fingerprint = `sha256:${createHash('sha256').update(region, 'utf8').digest('hex')}`;
+    const resolvedAnchor = cloneAnchor(anchor);
+    resolvedAnchor.fingerprint = fingerprint;
+    return {
+        ...base,
+        anchor: resolvedAnchor,
+        status: 'resolved',
+        detail: anchor.lines
+            ? `Resolved lines ${anchor.lines.start}-${anchor.lines.end} of "${anchor.file}".`
+            : `Resolved "${anchor.file}".`,
+        fingerprint,
+    };
+}
+/**
+ * Textual, language-agnostic symbol matching: the symbol must appear in the
+ * region as a whole token — not embedded inside a longer identifier (so
+ * "greet" never matches "greeting"). Symbols containing punctuation (Ruby's
+ * `empty?`, operators, etc.) are matched literally.
+ */
+function symbolPattern(symbol) {
+    const escaped = symbol.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    return new RegExp(`(?<![A-Za-z0-9_$])${escaped}(?![A-Za-z0-9_$])`);
+}
+/** Share one cache across many {@link readAnchorRegion} calls over one repo. */
+export function createAnchorFileCache() {
+    return new Map();
+}
+/**
+ * Read the actual repository content an anchor points at: the line range if
+ * given, otherwise the whole file. Line endings are normalized to `\n`. This
+ * is the single anchor-region reader — anchor resolution fingerprints what it
+ * returns, and the verify stage shows it to the adversarial verifier — so
+ * both stages are guaranteed to be looking at the same bytes.
+ */
+export function readAnchorRegion(anchor, repoDir, cache = createAnchorFileCache()) {
+    const repoRoot = resolve(repoDir);
+    const file = loadFile(anchor.file, repoRoot, cache);
+    if (file.kind === 'missing') {
+        return { kind: 'file-missing', detail: file.detail };
+    }
+    let regionLines = file.lines;
+    if (anchor.lines) {
+        const { start, end } = anchor.lines;
+        if (end > file.lineCount || start > file.lineCount) {
+            return {
+                kind: 'lines-out-of-range',
+                detail: `Line range ${start}-${end} exceeds "${anchor.file}" (${file.lineCount} line${file.lineCount === 1 ? '' : 's'}).`,
+            };
+        }
+        regionLines = file.lines.slice(start - 1, end);
+    }
+    return { kind: 'ok', text: regionLines.join('\n') };
+}
+function loadFile(relPath, repoRoot, cache) {
+    const cached = cache.get(relPath);
+    if (cached)
+        return cached;
+    const loaded = loadFileUncached(relPath, repoRoot);
+    cache.set(relPath, loaded);
+    return loaded;
+}
+function loadFileUncached(relPath, repoRoot) {
+    if (isAbsolute(relPath)) {
+        return { kind: 'missing', detail: `Anchor file "${relPath}" must be repo-relative, not absolute.` };
+    }
+    const absPath = resolve(repoRoot, relPath);
+    if (absPath !== repoRoot && !absPath.startsWith(repoRoot + sep)) {
+        return { kind: 'missing', detail: `Anchor file "${relPath}" escapes the repository root.` };
+    }
+    let raw;
+    try {
+        const stat = statSync(absPath);
+        if (!stat.isFile()) {
+            return { kind: 'missing', detail: `Anchor path "${relPath}" is not a regular file.` };
+        }
+        raw = readFileSync(absPath, 'utf8');
+    }
+    catch {
+        return { kind: 'missing', detail: `Anchor file "${relPath}" does not exist in the repository.` };
+    }
+    // Normalize line endings so line counts and fingerprints are identical
+    // across CRLF/LF checkouts of the same content.
+    const normalized = raw.replace(/\r\n?/g, '\n');
+    const lines = normalized.split('\n');
+    // A trailing newline does not start an extra line ("a\n" is one line).
+    const lineCount = lines[lines.length - 1] === '' ? lines.length - 1 : lines.length;
+    return { kind: 'ok', lines, lineCount };
+}
+// ---------------------------------------------------------------------------
+// Output spec construction
+// ---------------------------------------------------------------------------
+/**
+ * Build the returned spec without mutating the input: fingerprints stamped
+ * onto resolved anchors, and (under `drop`) unresolved units filtered out of
+ * their modules. Module and overlay structure is otherwise preserved.
+ */
+function buildOutputSpec(spec, report) {
+    const out = structuredClone(spec);
+    const outcomeByUnit = new Map();
+    for (const unit of report.units) {
+        outcomeByUnit.set(unitKey(unit.moduleId, unit.widgetId), unit.outcome);
+    }
+    const fingerprintByAnchor = new Map();
+    for (const res of report.anchors) {
+        if (res.fingerprint !== undefined) {
+            fingerprintByAnchor.set(anchorKey(res.moduleId, res.widgetId, res.anchorIndex), res.fingerprint);
+        }
+    }
+    for (const module of out.base.modules) {
+        if (report.policy === 'drop') {
+            module.widgets = module.widgets.filter((widget) => outcomeByUnit.get(unitKey(module.id, widget.id)) !== 'dropped');
+        }
+        for (const widget of module.widgets) {
+            // Same deterministic walk as during resolution, so ordinals line up.
+            collectAnchorRefs(widget).forEach((ref, index) => {
+                const fingerprint = fingerprintByAnchor.get(anchorKey(module.id, widget.id, index));
+                if (fingerprint !== undefined) {
+                    ref.anchor.fingerprint = fingerprint;
+                }
+            });
+        }
+    }
+    return out;
+}
+function unitKey(moduleId, widgetId) {
+    return `${moduleId}${widgetId}`;
+}
+function anchorKey(moduleId, widgetId, anchorIndex) {
+    return `${unitKey(moduleId, widgetId)}${anchorIndex}`;
+}
+function cloneAnchor(anchor) {
+    return structuredClone(anchor);
+}
+function isAnchorLike(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        typeof value.file === 'string');
+}
+/**
+ * Collect every anchor a widget carries, wherever it lives: top-level
+ * `anchors` arrays (callouts), nested carriers (system-map nodes/edges,
+ * data-model annotations at any depth), and single-anchor `source` fields.
+ * Structural rather than per-widget-type, so new widget shapes are covered
+ * automatically as long as they keep the schema's `anchors`/`source` naming.
+ * Depth-first in spec order — deterministic for a given spec.
+ */
+function collectAnchorRefs(value, path = [], out = []) {
+    if (Array.isArray(value)) {
+        value.forEach((item, index) => collectAnchorRefs(item, [...path, index], out));
+        return out;
+    }
+    if (value === null || typeof value !== 'object') {
+        return out;
+    }
+    for (const [key, child] of Object.entries(value)) {
+        if (key === 'anchors' && Array.isArray(child)) {
+            child.forEach((anchor, index) => {
+                if (isAnchorLike(anchor))
+                    out.push({ anchor, path: [...path, key, index] });
+            });
+        }
+        else if (key === 'source' && isAnchorLike(child)) {
+            out.push({ anchor: child, path: [...path, key] });
+        }
+        else {
+            collectAnchorRefs(child, [...path, key], out);
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=resolveAnchors.js.map

package/dist/resolveAnchors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolveAnchors.js","sourceRoot":"","sources":["../src/resolveAnchors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAsHrD;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAa,EACb,OAAe,EACf,UAAiC,EAAE;IAEnC,MAAM,MAAM,GAAqB,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAC;IAEhD,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,UAAU,GAAuB,EAAE,CAAC;IAE1C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACvC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CACjE,aAAa,CAAC,GAAG,CAAC,MAAM,EAAE;gBACxB,QAAQ;gBACR,SAAS;gBACT,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,WAAW;gBACX,UAAU,EAAE,GAAG,CAAC,IAAI;aACrB,CAAC,CACH,CAAC;YACF,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;YACnE,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;gBAC9E,OAAO;aACR,CAAC,CAAC;YACH,UAAU,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAqB;QAC/B,MAAM;QACN,OAAO,EAAE,UAAU;QACnB,KAAK;QACL,OAAO,EAAE;YACP,YAAY,EAAE,UAAU,CAAC,MAAM;YAC/B,eAAe,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;YACzE,UAAU,EAAE,KAAK,CAAC,MAAM;YACxB,aAAa,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,MAAM;YACnE,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,MAAM;SACtE;KACF,CAAC;IAEF,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;AACzD,CAAC;AAeD,SAAS,aAAa,CAAC,MAAc,EAAE,GAAkB;IACvD,MAAM,IAAI,GAAG;QACX,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,UAAU,EAAE,GAAG,CAAC,UAAU;KAC3B,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,MAAyC,EAAE,MAAc,EAAoB,EAAE,CAAC,CAAC;QAC7F,GAAG,IAAI;QACP,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC;QAC3B,MAAM;QACN,MAAM;KACP,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IACrE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;IAE3B,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK;YACxB,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,MAAM,CAAC,IAAI,GAAG;YACvE,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC;QACvB,OAAO,IAAI,CAAC,kBAAkB,EAAE,WAAW,MAAM,CAAC,MAAM,kBAAkB,KAAK,GAAG,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,WAAW,GAAG,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1F,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,cAAc,CAAC,WAAW,GAAG,WAAW,CAAC;IACzC,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE,cAAc;QACtB,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,MAAM,CAAC,KAAK;YAClB,CAAC,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,QAAQ,MAAM,CAAC,IAAI,IAAI;YACjF,CAAC,CAAC,aAAa,MAAM,CAAC,IAAI,IAAI;QAChC,WAAW;KACZ,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CAAC,MAAc;IACnC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC9D,OAAO,IAAI,MAAM,CAAC,qBAAqB,OAAO,mBAAmB,CAAC,CAAC;AACrE,CAAC;AAgBD,gFAAgF;AAChF,MAAM,UAAU,qBAAqB;IACnC,OAAO,IAAI,GAAG,EAAE,CAAC;AACnB,CAAC;AAID;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAsC,EACtC,OAAe,EACf,QAAyB,qBAAqB,EAAE;IAEhD,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IACvD,CAAC;IAED,IAAI,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7B,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;QACpC,IAAI,GAAG,GAAG,IAAI,CAAC,SAAS,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YACnD,OAAO;gBACL,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE,cAAc,KAAK,IAAI,GAAG,aAAa,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI;aAC1H,CAAC;QACJ,CAAC;QACD,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACtD,CAAC;AAUD,SAAS,QAAQ,CACf,OAAe,EACf,QAAgB,EAChB,KAA8B;IAE9B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnD,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC3B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAe,EAAE,QAAgB;IACzD,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,OAAO,wCAAwC,EAAE,CAAC;IACtG,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,GAAG,GAAG,CAAC,EAAE,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,OAAO,gCAAgC,EAAE,CAAC;IAC9F,CAAC;IAED,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YACnB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,OAAO,0BAA0B,EAAE,CAAC;QACxF,CAAC;QACD,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,OAAO,qCAAqC,EAAE,CAAC;IACnG,CAAC;IAED,uEAAuE;IACvE,gDAAgD;IAChD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,uEAAuE;IACvE,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;IACnF,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC1C,CAAC;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAa,EAAE,MAAwB;IAC9D,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAElC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YAClC,mBAAmB,CAAC,GAAG,CACrB,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC,EACtD,GAAG,CAAC,WAAW,CAChB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACtC,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC7B,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CACpC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAC3E,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACpC,qEAAqE;YACrE,iBAAiB,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;gBAC/C,MAAM,WAAW,GAAG,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;gBACpF,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC9B,GAAG,CAAC,MAAM,CAAC,WAAW,GAAG,WAAW,CAAC;gBACvC,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,OAAO,CAAC,QAAgB,EAAE,QAAgB;IACjD,OAAO,GAAG,QAAQ,IAAI,QAAQ,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,QAAgB,EAAE,QAAgB,EAAE,WAAmB;IACxE,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,WAAW,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,WAAW,CAAC,MAAc;IACjC,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AAaD,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAQ,KAA4B,CAAC,IAAI,KAAK,QAAQ,CACvD,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,iBAAiB,CACxB,KAAc,EACd,OAA4B,EAAE,EAC9B,MAAmB,EAAE;IAErB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/E,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9C,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;gBAC9B,IAAI,YAAY,CAAC,MAAM,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;YAC9E,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YACnD,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC;aAAM,CAAC;YACN,iBAAiB,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/verifyStage.d.ts

@@ -0,0 +1,150 @@
+import { type Anchor, type LabModule, type LabSpec } from '@ramplab/spec';
+import { type ModelRunner } from './pipeline.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 declare const DEFAULT_VERIFY_CONCURRENCY = 4;
+/** The three per-claim verdicts. Only `verified` keeps a claim in the lab. */
+export type ClaimVerdictValue = 'verified' | 'refuted' | 'unverifiable';
+/** One machine-generated claim, extracted from a base widget. */
+export interface VerificationClaim {
+    moduleId: string;
+    widgetId: string;
+    /**
+     * Stable claim id, unique within its module batch:
+     * `<widgetId>#<part>` (e.g. `greet-walkthrough#step-1`,
+     * `greetings-quiz#question-q-greet-return`).
+     */
+    claimId: string;
+    /** For quiz claims: the question id, so drops can target the question. */
+    questionId?: string;
+    /** The claim text shown to the verifier. */
+    claim: string;
+    /** The anchors grounding the claim, as they appear in the spec. */
+    anchors: Anchor[];
+}
+/** A claim plus its verdict — one row of the verification report. */
+export interface ClaimVerdict extends VerificationClaim {
+    verdict: ClaimVerdictValue;
+    /** The verifier's justification (or the mechanical reason). */
+    reason: string;
+}
+export interface VerificationDroppedWidget {
+    moduleId: string;
+    widgetId: string;
+    /** One entry per failed claim: `<claimId>: <verdict> — <reason>`. */
+    reasons: string[];
+}
+export interface VerificationDroppedQuestion {
+    moduleId: string;
+    widgetId: string;
+    questionId: string;
+    reason: string;
+}
+export interface VerificationDrops {
+    /** Whole widgets removed (any failed claim; quizzes only when emptied). */
+    widgets: VerificationDroppedWidget[];
+    /** Individual quiz questions removed. */
+    questions: VerificationDroppedQuestion[];
+    /** Modules removed because verification left them without widgets. */
+    modules: string[];
+}
+export interface VerificationSummary {
+    totalClaims: number;
+    verified: number;
+    refuted: number;
+    unverifiable: number;
+    /** `verified / totalClaims`; 1 when there were no claims to check. */
+    passRate: number;
+}
+/** Structured report of a full verification pass over a spec's base content. */
+export interface VerificationReport {
+    /** Every claim checked, in spec order, with its verdict and reason. */
+    claims: ClaimVerdict[];
+    drops: VerificationDrops;
+    summary: VerificationSummary;
+}
+export interface VerifyStageOptions {
+    model: string;
+    /** The assembled, anchor-resolved spec whose base content is on trial. */
+    spec: LabSpec;
+    /**
+     * Units already flagged by anchor resolution (the `flag` policy keeps
+     * them for human review). Verification skips them: their grounding failed
+     * mechanically, so there is no anchored code to check the claim against,
+     * and dropping them here would defeat the review-flow policy.
+     */
+    flaggedUnits?: readonly {
+        moduleId: string;
+        widgetId: string;
+    }[];
+    /**
+     * How many times to re-prompt a batch after invalid verifier output.
+     * @default 1
+     */
+    maxRetries?: number;
+    /**
+     * Max verifier agents in flight at once.
+     * @default 4
+     */
+    concurrency?: number;
+}
+export interface VerifyStageResult {
+    /** The spec with every non-verified unit dropped, revalidated. */
+    spec: LabSpec;
+    report: VerificationReport;
+    /**
+     * Verifier attempts per module batch (1 = first output was valid).
+     * Modules whose claims never needed a model call are absent.
+     */
+    attempts: Record<string, number>;
+    /** Summed cost across all batches and attempts, if the runner reports it. */
+    costUsd: number | undefined;
+}
+/** One batch's terminal failure inside the verify stage. */
+export interface VerifyBatchFailure {
+    moduleId: string;
+    attempts: number;
+    lastFailure: string;
+}
+/** Raised when at least one module batch never produced valid verdicts. */
+export declare class VerifyStageError extends Error {
+    readonly failures: readonly VerifyBatchFailure[];
+    constructor(failures: readonly VerifyBatchFailure[]);
+}
+export declare function runVerifyStage(runner: ModelRunner, repoDir: string, options: VerifyStageOptions): Promise<VerifyStageResult>;
+/** Extract every claim carried by a module's widgets, in spec order. */
+export declare function collectModuleClaims(module: LabModule): VerificationClaim[];
+//# sourceMappingURL=verifyStage.d.ts.map

package/dist/verifyStage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyStage.d.ts","sourceRoot":"","sources":["../src/verifyStage.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,MAAM,EAGX,KAAK,SAAS,EACd,KAAK,OAAO,EACb,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAsB,KAAK,WAAW,EAAsB,MAAM,eAAe,CAAC;AAGzF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,iDAAiD;AACjD,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAE5C,8EAA8E;AAC9E,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,SAAS,GAAG,cAAc,CAAC;AAExE,iEAAiE;AACjE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,OAAO,EAAE,MAAM,CAAC;IAChB,0EAA0E;IAC1E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,4CAA4C;IAC5C,KAAK,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,qEAAqE;AACrE,MAAM,WAAW,YAAa,SAAQ,iBAAiB;IACrD,OAAO,EAAE,iBAAiB,CAAC;IAC3B,+DAA+D;IAC/D,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,qEAAqE;IACrE,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,2EAA2E;IAC3E,OAAO,EAAE,yBAAyB,EAAE,CAAC;IACrC,yCAAyC;IACzC,SAAS,EAAE,2BAA2B,EAAE,CAAC;IACzC,sEAAsE;IACtE,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,mBAAmB;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,sEAAsE;IACtE,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,gFAAgF;AAChF,MAAM,WAAW,kBAAkB;IACjC,uEAAuE;IACvE,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,KAAK,EAAE,iBAAiB,CAAC;IACzB,OAAO,EAAE,mBAAmB,CAAC;CAC9B;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,IAAI,EAAE,OAAO,CAAC;IACd;;;;;OAKG;IACH,YAAY,CAAC,EAAE,SAAS;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjE;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,iBAAiB;IAChC,kEAAkE;IAClE,IAAI,EAAE,OAAO,CAAC;IACd,MAAM,EAAE,kBAAkB,CAAC;IAC3B;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,6EAA6E;IAC7E,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC;CAC7B;AAED,4DAA4D;AAC5D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,2EAA2E;AAC3E,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;gBAErC,QAAQ,EAAE,SAAS,kBAAkB,EAAE;CAepD;AASD,wBAAsB,cAAc,CAClC,MAAM,EAAE,WAAW,EACnB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAAC,iBAAiB,CAAC,CA2D5B;AAMD,wEAAwE;AACxE,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,EAAE,CAM1E"}