aura-code 0.5.0 → 0.6.3

package/dist/dream/reconcile.js

@@ -0,0 +1,303 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.reconcileDreams = reconcileDreams;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const SECTIONS = ['lessons', 'patterns', 'openThreads'];
+function formatBulletsForPrompt(dreams) {
+    const blocks = [];
+    for (const section of SECTIONS) {
+        const label = section === 'openThreads' ? 'Open threads' : section.charAt(0).toUpperCase() + section.slice(1);
+        const bullets = [];
+        for (const dream of dreams) {
+            for (const b of dream[section]) {
+                const tag = b.tag ? `[${b.tag}] ` : '';
+                bullets.push(`  - (${b.sourceDate}) ${tag}${b.text}`);
+            }
+        }
+        if (bullets.length > 0) {
+            blocks.push(`### ${label}\n${bullets.join('\n')}`);
+        }
+    }
+    return blocks.join('\n\n');
+}
+function buildReconciliationPrompt(dreams) {
+    const system = `You are Aura's memory reconciliation system. You are given ALL bullets from ${dreams.length} dream files (the agent's nightly consolidation journal), grouped by section (Lessons, Patterns, Open threads). Each bullet is prefixed with its source date.
+
+Your job: produce a RECONCILED memory — the current best understanding — by analyzing all bullets across all dreams.
+
+For each bullet in your output, assign exactly ONE verdict:
+
+- KEEP: unique claim, no overlap with others, retained as-is.
+- STRENGTHEN: the same claim (or very similar) appeared in multiple dreams. Cite all dates.
+- MERGE: two related but distinct claims combined into one clearer statement. Cite both source dates.
+- SUPERSEDE: a newer claim replaces an older one (the old one is outdated). Cite both dates and state which is old vs new.
+- CONFLICT: two claims contradict each other. Surface BOTH — do NOT resolve. State what conflicts with what.
+- DROP: exact duplicate of another bullet already in the output. Do not include it.
+
+IMPORTANT RULES:
+- Do NOT invent new claims. Only work with what's in the input.
+- Do NOT silently merge contradictions. If something changed, mark it CONFLICT or SUPERSEDE.
+- Prefer CONFLICT over SUPERSEDE when you're unsure which is more current.
+- Tags like [tooling], [bug], [todo] should be preserved when present.
+- Open threads marked [todo] should be kept unless explicitly resolved by a later dream's lesson.
+
+Respond with ONLY a JSON array. No markdown fences, no preamble, no explanation.
+
+Each element:
+{
+  "section": "lessons" | "patterns" | "openThreads",
+  "tag": "optional tag without brackets, or null",
+  "text": "the reconciled bullet text",
+  "action": "KEEP" | "STRENGTHEN" | "MERGE" | "SUPERSEDE" | "CONFLICT" | "DROP",
+  "sourceDates": ["2026-06-24", "2026-06-26"],
+  "conflictsWith": { "text": "the opposing claim", "date": "2026-06-24" } // only for CONFLICT, otherwise omit
+}`;
+    const user = `Here are all ${dreams.length} dreams' bullets:\n\n${formatBulletsForPrompt(dreams)}`;
+    return { system, user };
+}
+const VALID_ACTIONS = new Set(['KEEP', 'STRENGTHEN', 'MERGE', 'SUPERSEDE', 'CONFLICT', 'DROP']);
+function parseVerdicts(raw, totalDreams) {
+    // Strip markdown fences if the model wrapped the JSON
+    let cleaned = raw.trim();
+    if (cleaned.startsWith('```')) {
+        cleaned = cleaned.replace(/^```(?:json)?\s*\n?/, '').replace(/\n?```\s*$/, '');
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(cleaned);
+    }
+    catch {
+        // Try to extract a JSON array from the response
+        const match = cleaned.match(/\[[\s\S]*\]/);
+        if (!match)
+            return [];
+        try {
+            parsed = JSON.parse(match[0]);
+        }
+        catch {
+            return [];
+        }
+    }
+    if (!Array.isArray(parsed))
+        return [];
+    const results = [];
+    for (const v of parsed) {
+        if (!v.text || !v.section || !v.action)
+            continue;
+        const action = v.action.toUpperCase();
+        if (!VALID_ACTIONS.has(action))
+            continue;
+        if (action === 'DROP')
+            continue; // dropped bullets don't appear in output
+        if (!SECTIONS.includes(v.section))
+            continue;
+        const sourceDates = Array.isArray(v.sourceDates) ? v.sourceDates.filter(d => typeof d === 'string') : [];
+        const confidence = totalDreams > 0 ? Math.round((sourceDates.length / totalDreams) * 100) / 100 : 0;
+        const bullet = {
+            section: v.section,
+            tag: (typeof v.tag === 'string' && v.tag.trim()) ? v.tag.trim() : undefined,
+            text: v.text.trim(),
+            action,
+            annotation: buildAnnotation(action, sourceDates, v.conflictsWith),
+            sourceDates,
+            confidence,
+        };
+        if (action === 'CONFLICT' && v.conflictsWith && typeof v.conflictsWith.text === 'string') {
+            bullet.conflictsWith = {
+                text: v.conflictsWith.text.trim(),
+                date: typeof v.conflictsWith.date === 'string' ? v.conflictsWith.date : 'unknown',
+            };
+        }
+        results.push(bullet);
+    }
+    return results;
+}
+function buildAnnotation(action, sourceDates, conflict) {
+    const dates = sourceDates.join(', ');
+    switch (action) {
+        case 'KEEP':
+            return sourceDates.length === 1 ? `from ${dates}` : `from ${dates}`;
+        case 'STRENGTHEN':
+            return `from ${sourceDates[0]}, strengthened ${sourceDates.slice(1).join(', ')}`;
+        case 'MERGE':
+            return `merged from ${dates}`;
+        case 'SUPERSEDE':
+            return sourceDates.length >= 2
+                ? `superseded ${sourceDates[0]}, current from ${sourceDates[sourceDates.length - 1]}`
+                : `superseded, current from ${dates}`;
+        case 'CONFLICT':
+            return conflict?.date ? `conflicts with ${conflict.date}` : `conflicting claims from ${dates}`;
+        case 'DROP':
+            return 'dropped';
+    }
+}
+// ── Output formatting ────────────────────────────────────────────────────────
+function buildReconciledMd(bullets, totalDreams) {
+    const now = new Date().toISOString().slice(0, 10);
+    // Frontmatter
+    const avgConfidence = bullets.length > 0
+        ? Math.round((bullets.reduce((s, b) => s + b.confidence, 0) / bullets.length) * 100) / 100
+        : 0;
+    const frontmatter = [
+        '---',
+        `generated: ${now}`,
+        `source_dreams: ${totalDreams}`,
+        `total_beliefs: ${bullets.length}`,
+        `average_confidence: ${avgConfidence}`,
+        `last_reconciliation: ${now}`,
+        '---',
+    ].join('\n');
+    // Group by section
+    const bySection = {
+        lessons: [],
+        patterns: [],
+        openThreads: [],
+    };
+    for (const b of bullets)
+        bySection[b.section].push(b);
+    // Render each section
+    const renderBullets = (items) => {
+        if (items.length === 0)
+            return '- none\n';
+        return items
+            .map(b => {
+            const tag = b.tag ? `[${b.tag}] ` : '';
+            const conf = ` (confidence: ${b.confidence})`;
+            return `- ${tag}${b.text} *${b.annotation}*${conf}`;
+        })
+            .join('\n') + '\n';
+    };
+    // Separate conflicts section
+    const conflicts = bullets.filter(b => b.action === 'CONFLICT');
+    const conflictsSection = conflicts.length > 0
+        ? '\n## Conflicts\n\n' + conflicts.map(b => {
+            const against = b.conflictsWith
+                ? `"${b.conflictsWith.text}" (${b.conflictsWith.date})`
+                : 'unknown prior belief';
+            return `- **${b.text}** vs ${against}`;
+        }).join('\n') + '\n'
+        : '';
+    // Stats summary
+    const actionCounts = {};
+    for (const b of bullets)
+        actionCounts[b.action] = (actionCounts[b.action] ?? 0) + 1;
+    const statsLine = Object.entries(actionCounts)
+        .map(([k, v]) => `${v} ${k}`)
+        .join(', ');
+    return [
+        frontmatter,
+        '',
+        `# Aura — Reconciled Memory`,
+        '',
+        `> Projected from ${totalDreams} dream(s). ${statsLine}.`,
+        '',
+        '## Lessons',
+        '',
+        renderBullets(bySection.lessons),
+        '## Patterns',
+        '',
+        renderBullets(bySection.patterns),
+        '## Open threads',
+        '',
+        renderBullets(bySection.openThreads),
+        conflictsSection,
+        '---',
+        '',
+        '*Generated by Aura Code · dream reconciliation · event-sourced memory.*',
+    ].join('\n');
+}
+function buildLogSection(bullets, totalDreams) {
+    const actionCounts = {};
+    for (const b of bullets)
+        actionCounts[b.action] = (actionCounts[b.action] ?? 0) + 1;
+    const statsLine = Object.entries(actionCounts)
+        .map(([k, v]) => `${v} ${k}`)
+        .join(', ');
+    const conflicts = bullets.filter(b => b.action === 'CONFLICT');
+    const conflictLines = conflicts.length > 0
+        ? '\n' + conflicts.map(b => {
+            const vs = b.conflictsWith ? ` vs "${b.conflictsWith.text}" (${b.conflictsWith.date})` : '';
+            return `- CONFLICT: "${b.text}"${vs}`;
+        }).join('\n')
+        : '';
+    return [
+        `\n## Reconciliation`,
+        '',
+        `> Reconciled ${totalDreams} dream(s): ${statsLine}.`,
+        `> Projection written to \`dreams/.reconciled.md\`.`,
+        conflictLines,
+    ].join('\n').trimEnd() + '\n';
+}
+// ── Public API ───────────────────────────────────────────────────────────────
+/**
+ * Run memory reconciliation across all existing dreams.
+ *
+ * Called by `runDream()` after the new dream is written, gated at ≥3 dreams.
+ * If this fails, the dream file is still intact — reconciliation is
+ * enhancement, not critical path.
+ *
+ * @returns The result, or null if reconciliation was skipped or failed.
+ */
+async function reconcileDreams(opts) {
+    const { projectRoot, provider, dreams } = opts;
+    if (dreams.length < 3)
+        return null; // 3-dream gate
+    const totalDreams = dreams.length;
+    const { system, user } = buildReconciliationPrompt(dreams);
+    let rawResponse;
+    try {
+        const res = await provider.complete(system, [{ role: 'user', content: user }], []);
+        rawResponse = (res.text ?? '').trim();
+        if (!rawResponse)
+            return null;
+    }
+    catch {
+        return null; // reconciliation is best-effort
+    }
+    const bullets = parseVerdicts(rawResponse, totalDreams);
+    if (bullets.length === 0)
+        return null;
+    const reconciledMd = buildReconciledMd(bullets, totalDreams);
+    const logSection = buildLogSection(bullets, totalDreams);
+    // Write .reconciled.md
+    const dir = path.join(projectRoot, 'dreams');
+    fs.mkdirSync(dir, { recursive: true });
+    const outPath = path.join(dir, '.reconciled.md');
+    fs.writeFileSync(outPath, reconciledMd);
+    return { bullets, totalDreams, reconciledMd, logSection };
+}
+//# sourceMappingURL=reconcile.js.map

package/dist/dream/reconcile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconcile.js","sourceRoot":"","sources":["../../src/dream/reconcile.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwUA,0CAmCC;AA3WD,uCAAyB;AACzB,2CAA6B;AA4D7B,MAAM,QAAQ,GAAc,CAAC,SAAS,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;AAEnE,SAAS,sBAAsB,CAAC,MAAqB;IACnD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,OAAO,KAAK,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAkB,EAAE,CAAC;gBAChD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,KAAK,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAqB;IACtD,MAAM,MAAM,GAAG,+EAA+E,MAAM,CAAC,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA8B3G,CAAC;IAED,MAAM,IAAI,GAAG,gBAAgB,MAAM,CAAC,MAAM,wBAAwB,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;IAEnG,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC1B,CAAC;AAaD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAgB,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;AAE/G,SAAS,aAAa,CAAC,GAAW,EAAE,WAAmB;IACrD,sDAAsD;IACtD,IAAI,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,IAAI,MAAoB,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,gDAAgD;QAChD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM;YAAE,SAAS;QACjD,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,WAAW,EAAmB,CAAC;QACvD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QACzC,IAAI,MAAM,KAAK,MAAM;YAAE,SAAS,CAAC,yCAAyC;QAC1E,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAkB,CAAC;YAAE,SAAS;QAEvD,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzG,MAAM,UAAU,GAAG,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAEpG,MAAM,MAAM,GAAqB;YAC/B,OAAO,EAAE,CAAC,CAAC,OAAkB;YAC7B,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;YAC3E,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;YACnB,MAAM;YACN,UAAU,EAAE,eAAe,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,aAAa,CAAC;YACjE,WAAW;YACX,UAAU;SACX,CAAC;QAEF,IAAI,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,aAAa,IAAI,OAAO,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzF,MAAM,CAAC,aAAa,GAAG;gBACrB,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE;gBACjC,IAAI,EAAE,OAAO,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;aAClF,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CACtB,MAAqB,EACrB,WAAqB,EACrB,QAAkD;IAElD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC;QACtE,KAAK,YAAY;YACf,OAAO,QAAQ,WAAW,CAAC,CAAC,CAAC,kBAAkB,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,KAAK,OAAO;YACV,OAAO,eAAe,KAAK,EAAE,CAAC;QAChC,KAAK,WAAW;YACd,OAAO,WAAW,CAAC,MAAM,IAAI,CAAC;gBAC5B,CAAC,CAAC,cAAc,WAAW,CAAC,CAAC,CAAC,kBAAkB,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE;gBACrF,CAAC,CAAC,4BAA4B,KAAK,EAAE,CAAC;QAC1C,KAAK,UAAU;YACb,OAAO,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,kBAAkB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,2BAA2B,KAAK,EAAE,CAAC;QACjG,KAAK,MAAM;YACT,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF,SAAS,iBAAiB,CAAC,OAA2B,EAAE,WAAmB;IACzE,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAElD,cAAc;IACd,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG;QAC1F,CAAC,CAAC,CAAC,CAAC;IACN,MAAM,WAAW,GAAG;QAClB,KAAK;QACL,cAAc,GAAG,EAAE;QACnB,kBAAkB,WAAW,EAAE;QAC/B,kBAAkB,OAAO,CAAC,MAAM,EAAE;QAClC,uBAAuB,aAAa,EAAE;QACtC,wBAAwB,GAAG,EAAE;QAC7B,KAAK;KACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,mBAAmB;IACnB,MAAM,SAAS,GAAwC;QACrD,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,EAAE;KAChB,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEtD,sBAAsB;IACtB,MAAM,aAAa,GAAG,CAAC,KAAyB,EAAU,EAAE;QAC1D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,UAAU,CAAC;QAC1C,OAAO,KAAK;aACT,GAAG,CAAC,CAAC,CAAC,EAAE;YACP,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,UAAU,GAAG,CAAC;YAC9C,OAAO,KAAK,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QACtD,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACvB,CAAC,CAAC;IAEF,6BAA6B;IAC7B,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC/D,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC;QAC3C,CAAC,CAAC,oBAAoB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACzC,MAAM,OAAO,GAAG,CAAC,CAAC,aAAa;gBAC7B,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,MAAM,CAAC,CAAC,aAAa,CAAC,IAAI,GAAG;gBACvD,CAAC,CAAC,sBAAsB,CAAC;YAC3B,OAAO,OAAO,CAAC,CAAC,IAAI,SAAS,OAAO,EAAE,CAAC;QACzC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI;QACpB,CAAC,CAAC,EAAE,CAAC;IAEP,gBAAgB;IAChB,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACpF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;SAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO;QACL,WAAW;QACX,EAAE;QACF,4BAA4B;QAC5B,EAAE;QACF,oBAAoB,WAAW,cAAc,SAAS,GAAG;QACzD,EAAE;QACF,YAAY;QACZ,EAAE;QACF,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC;QAChC,aAAa;QACb,EAAE;QACF,aAAa,CAAC,SAAS,CAAC,QAAQ,CAAC;QACjC,iBAAiB;QACjB,EAAE;QACF,aAAa,CAAC,SAAS,CAAC,WAAW,CAAC;QACpC,gBAAgB;QAChB,KAAK;QACL,EAAE;QACF,yEAAyE;KAC1E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,eAAe,CAAC,OAA2B,EAAE,WAAmB;IACvE,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACpF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;SAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC/D,MAAM,aAAa,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC;QACxC,CAAC,CAAC,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACzB,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,IAAI,MAAM,CAAC,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5F,OAAO,gBAAgB,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QACxC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACb,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO;QACL,qBAAqB;QACrB,EAAE;QACF,gBAAgB,WAAW,cAAc,SAAS,GAAG;QACrD,oDAAoD;QACpD,aAAa;KACd,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC;AAChC,CAAC;AAED,gFAAgF;AAEhF;;;;;;;;GAQG;AACI,KAAK,UAAU,eAAe,CAAC,IAKrC;IACC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAE/C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,eAAe;IAEnD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAE3D,IAAI,WAAmB,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACnF,WAAW,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC,CAAC,gCAAgC;IAC/C,CAAC;IAED,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACxD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,MAAM,YAAY,GAAG,iBAAiB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAEzD,uBAAuB;IACvB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IAC7C,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC;IACjD,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAExC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AAC5D,CAAC"}

package/dist/machina/index.d.ts

@@ -0,0 +1,16 @@
+import { type VerificationReport } from './verify.js';
+export interface MachinaRunResult {
+    report: VerificationReport;
+    terminalOutput: string;
+    htmlPath?: string;
+}
+/**
+ * Run `:machina` — verify the AAM's structural claims against aura-code's
+ * own source tree (not the user's current project — see resolveAuraRepoRoot)
+ * and render the result. If `writeHtml` is true, also write a standalone
+ * `docs/machina.html` to the user's current project root for easy sharing.
+ */
+export declare function runMachina(opts: {
+    outputRoot: string;
+    writeHtml?: boolean;
+}): MachinaRunResult;

package/dist/machina/index.js

@@ -0,0 +1,61 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runMachina = runMachina;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const verify_js_1 = require("./verify.js");
+const render_terminal_js_1 = require("./render-terminal.js");
+const render_html_js_1 = require("./render-html.js");
+/**
+ * Run `:machina` — verify the AAM's structural claims against aura-code's
+ * own source tree (not the user's current project — see resolveAuraRepoRoot)
+ * and render the result. If `writeHtml` is true, also write a standalone
+ * `docs/machina.html` to the user's current project root for easy sharing.
+ */
+function runMachina(opts) {
+    const repoRoot = (0, verify_js_1.resolveAuraRepoRoot)();
+    const report = (0, verify_js_1.verifyAamClaims)(repoRoot);
+    const terminalOutput = (0, render_terminal_js_1.renderMachinaTerminal)(report);
+    if (!opts.writeHtml) {
+        return { report, terminalOutput };
+    }
+    const dir = path.join(opts.outputRoot, 'docs');
+    fs.mkdirSync(dir, { recursive: true });
+    const htmlPath = path.join(dir, 'machina.html');
+    fs.writeFileSync(htmlPath, (0, render_html_js_1.wrapMachinaHtml)(report));
+    return { report, terminalOutput, htmlPath };
+}
+//# sourceMappingURL=index.js.map

package/dist/machina/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/machina/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkBA,gCAeC;AAjCD,uCAAyB;AACzB,2CAA6B;AAC7B,2CAA4F;AAC5F,6DAA6D;AAC7D,qDAAmD;AAQnD;;;;;GAKG;AACH,SAAgB,UAAU,CAAC,IAAiD;IAC1E,MAAM,QAAQ,GAAG,IAAA,+BAAmB,GAAE,CAAC;IACvC,MAAM,MAAM,GAAG,IAAA,2BAAe,EAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,IAAA,0CAAqB,EAAC,MAAM,CAAC,CAAC;IAErD,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACpC,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/C,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAChD,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAA,gCAAe,EAAC,MAAM,CAAC,CAAC,CAAC;IAEpD,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC;AAC9C,CAAC"}

package/dist/machina/render-html.d.ts

@@ -0,0 +1,2 @@
+import type { VerificationReport } from './verify.js';
+export declare function wrapMachinaHtml(report: VerificationReport): string;

package/dist/machina/render-html.js

@@ -0,0 +1,189 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.wrapMachinaHtml = wrapMachinaHtml;
+const spec_js_1 = require("./spec.js");
+function esc(s) {
+    return s.replace(/&/g, '&amp;').replace(/</g, '&lt;').replace(/>/g, '&gt;').replace(/"/g, '&quot;');
+}
+const COMPONENT_LABEL = {
+    S: 'S — state space',
+    P: 'P — primitives',
+    O: 'O — oracle',
+    delta: 'δ — transition',
+    s0: 's₀ — initial state',
+    limit: 'limit / invariant',
+};
+/**
+ * A static SVG of the AAM tuple: s₀ feeding the loop, δ consulting O each
+ * iteration, gated by the safety check, looping back into S, with the
+ * compaction/maxTurns limits drawn as a boundary around the whole loop.
+ * Deliberately diagrammatic rather than data-driven (there is exactly one
+ * AAM, not a variable-size collection like the :rem graph) — fixed layout,
+ * no dependency on claim count.
+ */
+function buildTupleSvg() {
+    return `<svg viewBox="0 0 760 360" xmlns="http://www.w3.org/2000/svg" class="machina-graph">
+  <rect x="40" y="30" width="680" height="260" rx="16" class="bound-box" />
+  <text x="60" y="58" class="bound-label">finite machine — maxTurns, context compaction</text>
+
+  <circle cx="140" cy="180" r="46" class="node s0-node" />
+  <text x="140" y="175" class="node-label" text-anchor="middle">s₀</text>
+  <text x="140" y="193" class="node-sub" text-anchor="middle">task + ∅</text>
+
+  <circle cx="330" cy="180" r="50" class="node delta-node" />
+  <text x="330" y="174" class="node-label" text-anchor="middle">δ</text>
+  <text x="330" y="192" class="node-sub" text-anchor="middle">transition</text>
+
+  <circle cx="540" cy="100" r="42" class="node oracle-node" />
+  <text x="540" y="95" class="node-label" text-anchor="middle">O</text>
+  <text x="540" y="113" class="node-sub" text-anchor="middle">oracle</text>
+
+  <circle cx="540" cy="260" r="38" class="node safety-node" />
+  <text x="540" y="256" class="node-label" text-anchor="middle">safety</text>
+  <text x="540" y="272" class="node-sub" text-anchor="middle">gate</text>
+
+  <line x1="186" y1="180" x2="280" y2="180" class="edge edge-start" marker-end="url(#arrow)" />
+  <line x1="372" y1="160" x2="498" y2="110" class="edge edge-oracle" marker-end="url(#arrow)" />
+  <line x1="500" y1="130" x2="378" y2="172" class="edge edge-oracle-back" marker-end="url(#arrow)" />
+  <line x1="375" y1="195" x2="502" y2="245" class="edge edge-safety" marker-end="url(#arrow)" />
+  <line x1="505" y1="230" x2="378" y2="190" class="edge edge-safety-back" marker-end="url(#arrow)" />
+  <path d="M 330 230 C 330 290, 220 290, 175 215" class="edge edge-loop" marker-end="url(#arrow)" fill="none" />
+  <text x="250" y="305" class="loop-label">loop: s′ → s, until done or T_max</text>
+
+  <defs>
+    <marker id="arrow" markerWidth="9" markerHeight="9" refX="7" refY="4" orient="auto">
+      <path d="M0,0 L8,4 L0,8 z" class="arrow-head" />
+    </marker>
+  </defs>
+</svg>`;
+}
+function buildClaimsTable(report) {
+    const rows = report.results.map(r => {
+        const ok = r.status === 'verified';
+        const cls = ok ? 'ok' : (r.status === 'drifted' ? 'drift' : 'missing');
+        const glyph = ok ? '✓' : (r.status === 'drifted' ? '⚠' : '✗');
+        return `<tr class="${cls}">
+      <td class="glyph">${glyph}</td>
+      <td class="comp">${esc(COMPONENT_LABEL[r.component])}</td>
+      <td class="loc"><code>${esc(r.file)}:${r.line}</code></td>
+      <td class="desc">${esc(r.description)}</td>
+    </tr>`;
+    }).join('\n');
+    return `<table class="claims-table">
+    <thead><tr><th></th><th>Component</th><th>Location</th><th>What's grounded there</th></tr></thead>
+    <tbody>${rows}</tbody>
+  </table>`;
+}
+function wrapMachinaHtml(report) {
+    const allOk = report.drifted.length === 0 && report.missing.length === 0;
+    const statusLine = allOk
+        ? `All ${report.verifiedCount} structural claims verified against the current source.`
+        : `${report.verifiedCount}/${report.results.length} verified — ${report.drifted.length} drifted, ${report.missing.length} missing.`;
+    return `<!DOCTYPE html>
+<html lang="en">
+<head>
+<meta charset="UTF-8">
+<meta name="viewport" content="width=device-width, initial-scale=1.0">
+<title>Machina — the Abstract Agent Machine</title>
+<style>
+  :root {
+    --bg: #fdf6f0; --card: #fffaf5; --text: #3e2f24; --muted: #8a7768;
+    --accent: #cc785c; --accent-2: #5a9e6e; --accent-3: #9e6ecc; --border: #e8d5c8;
+    --code-bg: #f4ede6; --hr: #e0cebc; --warn: #b15439;
+    --shadow: 0 2px 12px rgba(62,47,36,0.06); --radius: 12px;
+    --serif: 'Georgia', 'Times New Roman', serif;
+    --sans: 'Inter', system-ui, -apple-system, 'Segoe UI', sans-serif;
+    --mono: 'JetBrains Mono', 'Fira Code', 'Consolas', monospace;
+  }
+  @media (prefers-color-scheme: dark) {
+    :root {
+      --bg: #1e1b18; --card: #26221e; --text: #ede0cc; --muted: #9e8e80;
+      --accent: #e08a6e; --accent-2: #6db880; --accent-3: #b48ee0; --border: #3a322a;
+      --code-bg: #2c2722; --hr: #3a322a; --warn: #e0876e;
+      --shadow: 0 2px 12px rgba(0,0,0,0.25);
+    }
+  }
+  * { box-sizing: border-box; margin: 0; padding: 0; }
+  body { background: var(--bg); color: var(--text); font-family: var(--serif); line-height: 1.75; font-size: 18px; }
+  .container { max-width: 860px; margin: 0 auto; padding: 3rem 1.5rem 5rem; }
+  .hero { text-align: center; padding: 2.5rem 0 2rem; border-bottom: 2px solid var(--border); margin-bottom: 2.5rem; }
+  .hero .badge { display: inline-block; background: var(--accent-3); color: #fff; font-family: var(--sans); font-size: 0.7rem; font-weight: 700; letter-spacing: 0.12em; text-transform: uppercase; padding: 0.3em 1em; border-radius: 100px; margin-bottom: 1.25rem; }
+  .hero h1 { font-family: var(--sans); font-size: 2.2rem; font-weight: 700; line-height: 1.25; letter-spacing: -0.02em; margin-bottom: 0.5rem; }
+  .hero .meta { font-family: var(--sans); font-size: 0.85rem; color: var(--muted); }
+  .card { background: var(--card); border: 1px solid var(--border); border-radius: var(--radius); box-shadow: var(--shadow); padding: 2.25rem 2.75rem; margin-bottom: 2rem; }
+  @media (max-width: 700px) { .card { padding: 1.25rem; border-radius: 8px; } .hero h1 { font-size: 1.6rem; } .container { padding: 1.5rem 0.75rem 3rem; } }
+  .card h2 { font-family: var(--sans); font-size: 1.3rem; color: var(--accent); border-bottom: 2px solid var(--border); padding-bottom: 0.5rem; margin-bottom: 1.25rem; }
+  .tuple { font-family: var(--mono); font-size: 1.3rem; text-align: center; color: var(--accent-3); margin: 1rem 0 1.5rem; }
+  .tuple-defs { font-family: var(--sans); font-size: 0.95rem; }
+  .tuple-defs dt { font-weight: 700; color: var(--accent); float: left; width: 2.4rem; }
+  .tuple-defs dd { margin: 0 0 0.75rem 2.4rem; color: var(--text); }
+  .machina-graph { width: 100%; height: auto; display: block; margin: 1rem 0; }
+  .bound-box { fill: none; stroke: var(--border); stroke-width: 2; stroke-dasharray: 6 5; }
+  .bound-label { font-family: var(--sans); font-size: 11px; fill: var(--muted); }
+  .node { stroke-width: 2; fill: var(--card); }
+  .s0-node { stroke: var(--accent-2); }
+  .delta-node { stroke: var(--accent); }
+  .oracle-node { stroke: var(--accent-3); }
+  .safety-node { stroke: var(--warn); }
+  .node-label { font-family: var(--sans); font-size: 16px; font-weight: 700; fill: var(--text); }
+  .node-sub { font-family: var(--sans); font-size: 10px; fill: var(--muted); }
+  .edge { stroke: var(--muted); stroke-width: 1.6; opacity: 0.7; }
+  .edge-loop { stroke: var(--accent); stroke-width: 2; }
+  .arrow-head { fill: var(--muted); }
+  .loop-label { font-family: var(--sans); font-size: 11px; fill: var(--muted); }
+  p.prose { font-family: var(--sans); font-size: 1rem; color: var(--text); margin-bottom: 0.75rem; }
+  .claims-table { width: 100%; border-collapse: collapse; font-family: var(--sans); font-size: 0.88rem; }
+  .claims-table th { text-align: left; color: var(--muted); font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.06em; padding: 0.5rem 0.6rem; border-bottom: 2px solid var(--border); }
+  .claims-table td { padding: 0.55rem 0.6rem; border-bottom: 1px solid var(--hr); vertical-align: top; }
+  .claims-table .glyph { width: 1.5rem; text-align: center; }
+  .claims-table tr.ok .glyph { color: var(--accent-2); }
+  .claims-table tr.drift .glyph, .claims-table tr.missing .glyph { color: var(--warn); }
+  .claims-table code { font-family: var(--mono); font-size: 0.82em; background: var(--code-bg); padding: 0.1em 0.35em; border-radius: 4px; }
+  .status-line { font-family: var(--sans); font-weight: 600; padding: 0.75rem 1rem; border-radius: 8px; margin-bottom: 1.25rem; }
+  .status-line.ok { background: color-mix(in srgb, var(--accent-2) 15%, transparent); color: var(--accent-2); }
+  .status-line.warn { background: color-mix(in srgb, var(--warn) 15%, transparent); color: var(--warn); }
+  .footer { text-align: center; margin-top: 1rem; font-family: var(--sans); font-size: 0.8rem; color: var(--muted); opacity: 0.7; }
+</style>
+</head>
+<body>
+<div class="container">
+  <header class="hero">
+    <div class="badge">Aura &middot; Machina</div>
+    <h1>The Abstract Agent Machine</h1>
+    <div class="meta">A formal model of what aura-code is, independent of which oracle is plugged in</div>
+  </header>
+
+  <section class="card">
+    <p class="prose">${esc(spec_js_1.AAM_PREAMBLE)}</p>
+    <div class="tuple">AAM = (S, P, O, δ, s₀)</div>
+    <dl class="tuple-defs">
+      <dt>S</dt><dd>State space — conversation history plus loop counters. Every run lives inside S.</dd>
+      <dt>P</dt><dd>Primitives — the finite, fixed set of tool calls the machine can invoke. Finite and enumerable.</dd>
+      <dt>O</dt><dd>The oracle — the only swappable part of the tuple. LLM, human, rule table, or another AAM run recursively. Swapping O leaves S, P, δ, s₀ unchanged.</dd>
+      <dt>δ</dt><dd>Transition function — δ(s, O(s)) → s′: consult the oracle, run its output through the safety gate, execute tool calls against P, fold results into history.</dd>
+      <dt>s₀</dt><dd>Initial state — empty history plus the user's task as the first message.</dd>
+    </dl>
+  </section>
+
+  <section class="card">
+    <h2>The loop, diagrammed</h2>
+    ${buildTupleSvg()}
+  </section>
+
+  <section class="card">
+    <h2>Grounding — verified against the live source</h2>
+    <div class="status-line ${allOk ? 'ok' : 'warn'}">${esc(statusLine)}</div>
+    ${buildClaimsTable(report)}
+  </section>
+
+  <section class="card">
+    <h2>Why "unlimited" has a price</h2>
+    <p class="prose">${esc(spec_js_1.AAM_LIMITS_NOTE)}</p>
+  </section>
+
+  <footer class="footer"><p>Generated by Aura Code &middot; :machina &middot; claims verified against the checked-out source tree</p></footer>
+</div>
+</body>
+</html>`;
+}
+//# sourceMappingURL=render-html.js.map

package/dist/machina/render-html.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-html.js","sourceRoot":"","sources":["../../src/machina/render-html.ts"],"names":[],"mappings":";;AAgFA,0CAgHC;AAhMD,uCAA0D;AAG1D,SAAS,GAAG,CAAC,CAAS;IACpB,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AACtG,CAAC;AAED,MAAM,eAAe,GAA6C;IAChE,CAAC,EAAE,iBAAiB;IACpB,CAAC,EAAE,gBAAgB;IACnB,CAAC,EAAE,YAAY;IACf,KAAK,EAAE,gBAAgB;IACvB,EAAE,EAAE,oBAAoB;IACxB,KAAK,EAAE,mBAAmB;CAC3B,CAAC;AAEF;;;;;;;GAOG;AACH,SAAS,aAAa;IACpB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAiCF,CAAC;AACR,CAAC;AAED,SAAS,gBAAgB,CAAC,MAA0B;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC;QACnC,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACvE,MAAM,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9D,OAAO,cAAc,GAAG;0BACF,KAAK;yBACN,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;8BAC5B,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI;yBAC1B,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;UACjC,CAAC;IACT,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO;;aAEI,IAAI;WACN,CAAC;AACZ,CAAC;AAED,SAAgB,eAAe,CAAC,MAA0B;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,KAAK;QACtB,CAAC,CAAC,OAAO,MAAM,CAAC,aAAa,yDAAyD;QACtF,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,eAAe,MAAM,CAAC,OAAO,CAAC,MAAM,aAAa,MAAM,CAAC,OAAO,CAAC,MAAM,WAAW,CAAC;IAEtI,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;uBA2Ec,GAAG,CAAC,sBAAY,CAAC;;;;;;;;;;;;;MAalC,aAAa,EAAE;;;;;8BAKS,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC;MACjE,gBAAgB,CAAC,MAAM,CAAC;;;;;uBAKP,GAAG,CAAC,yBAAe,CAAC;;;;;;QAMnC,CAAC;AACT,CAAC"}

package/dist/machina/render-terminal.d.ts

@@ -0,0 +1,2 @@
+import type { VerificationReport } from './verify.js';
+export declare function renderMachinaTerminal(report: VerificationReport): string;