aura-code 0.5.0 → 0.10.1

package/dist/kanban/types.js

@@ -1,6 +1,14 @@
 "use strict";
 // ─────────────────────────────────────────────────────────────────────────────
-// Kanban Board Pipeline Types
+// Kanban Board Types (merged: local board types + remote pipeline types)
 // ─────────────────────────────────────────────────────────────────────────────
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.PRIORITY_ORDER = exports.DEFAULT_COLUMNS = void 0;
+exports.DEFAULT_COLUMNS = ['backlog', 'todo', 'in-progress', 'review', 'done'];
+exports.PRIORITY_ORDER = {
+    critical: 4,
+    high: 3,
+    medium: 2,
+    low: 1,
+};
 //# sourceMappingURL=types.js.map

package/dist/kanban/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/kanban/types.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,8BAA8B;AAC9B,gFAAgF"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/kanban/types.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yEAAyE;AACzE,gFAAgF;;;AAyBnE,QAAA,eAAe,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAU,CAAC;AAEhF,QAAA,cAAc,GAAiC;IAC1D,QAAQ,EAAE,CAAC;IACX,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,CAAC;IACT,GAAG,EAAE,CAAC;CACP,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,191 @@
+"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}${r.status === 'drifted' && r.foundLine ? ` → :${r.foundLine}` : ''}</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.missing.length === 0
+            ? `All ${report.results.length} claims hold — ${report.drifted.length} stale anchor(s), content verified (run npm run repair-anchors).`
+            : `${report.verifiedCount + report.drifted.length}/${report.results.length} claims hold — ${report.missing.length} missing, ${report.drifted.length} drifted anchors.`;
+    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,0CAkHC;AAlMD,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,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE;yBAC9F,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,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAC3B,CAAC,CAAC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,kBAAkB,MAAM,CAAC,OAAO,CAAC,MAAM,kEAAkE;YACvI,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,kBAAkB,MAAM,CAAC,OAAO,CAAC,MAAM,aAAa,MAAM,CAAC,OAAO,CAAC,MAAM,mBAAmB,CAAC;IAE3K,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;

package/dist/machina/render-terminal.js

@@ -0,0 +1,99 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.renderMachinaTerminal = renderMachinaTerminal;
+const chalk_1 = __importDefault(require("chalk"));
+const spec_js_1 = require("./spec.js");
+const C = {
+    heading: chalk_1.default.hex('#cc785c').bold,
+    text: chalk_1.default.hex('#ede0cc'),
+    muted: chalk_1.default.hex('#8a7768'),
+    dim: chalk_1.default.hex('#4e3d30'),
+    good: chalk_1.default.hex('#5a9e6e'),
+    warn: chalk_1.default.hex('#b15439'),
+    math: chalk_1.default.hex('#9e6ecc'),
+};
+const COMPONENT_LABEL = {
+    S: 'S (state space)',
+    P: 'P (primitives)',
+    O: 'O (oracle)',
+    delta: 'δ (transition fn)',
+    s0: 's₀ (initial state)',
+    limit: 'limit / invariant',
+};
+function statusGlyph(status) {
+    if (status === 'verified')
+        return C.good('✓');
+    if (status === 'drifted')
+        return C.warn('⚠');
+    return C.warn('✗');
+}
+function renderMachinaTerminal(report) {
+    const lines = [];
+    lines.push('');
+    lines.push(C.heading('  Machina — the Abstract Agent Machine'));
+    lines.push('');
+    lines.push(C.text(wrapText(spec_js_1.AAM_PREAMBLE, 76, '  ')));
+    lines.push('');
+    lines.push(C.muted('  The tuple'));
+    lines.push(`    ${C.math('AAM = (S, P, O, δ, s₀)')}`);
+    lines.push('');
+    lines.push(`    ${C.heading('S')}   ${C.text('state space — conversation history + loop counters')}`);
+    lines.push(`    ${C.heading('P')}   ${C.text('primitives — the finite, fixed set of tool calls')}`);
+    lines.push(`    ${C.heading('O')}   ${C.text('the oracle — swappable: LLM, human, rules, or another AAM')}`);
+    lines.push(`    ${C.heading('δ')}   ${C.text('transition — δ(s, O(s)) → s′, gated by the safety check')}`);
+    lines.push(`    ${C.heading('s₀')}  ${C.text("initial state — empty history + the user's task")}`);
+    lines.push('');
+    lines.push(C.muted('  Grounding — claims checked against the live source tree'));
+    for (const r of report.results) {
+        const label = COMPONENT_LABEL[r.component].padEnd(18);
+        lines.push(`    ${statusGlyph(r.status)} ${C.dim(label)} ${C.text(r.file + ':' + r.line)}`);
+        lines.push(`        ${C.muted(r.description)}`);
+        if (r.status === 'drifted') {
+            lines.push(`        ${C.warn(`content OK — anchor stale: recorded :${r.line}, now at :${r.foundLine}`)}`);
+        }
+        else if (r.status === 'missing') {
+            lines.push(`        ${C.warn(`expected "${r.mustContain}" — found: ${r.actualLine || '(file missing)'}`)}`);
+        }
+    }
+    lines.push('');
+    if (report.drifted.length === 0 && report.missing.length === 0) {
+        lines.push(C.good(`  All ${report.verifiedCount} structural claims verified against the current source.`));
+    }
+    else if (report.missing.length === 0) {
+        lines.push(C.warn(`  All ${report.results.length} claims hold — ${report.drifted.length} stale anchor(s) ` +
+            `(content moved, line numbers didn't follow). Run \`npm run repair-anchors\` to re-anchor.`));
+    }
+    else {
+        lines.push(C.warn(`  ${report.verifiedCount + report.drifted.length}/${report.results.length} claims hold — ` +
+            `${report.missing.length} missing, ${report.drifted.length} stale anchors. ` +
+            `The code genuinely changed; this spec needs updating.`));
+    }
+    lines.push('');
+    lines.push(C.muted('  Why "unlimited" has a price'));
+    lines.push(C.text(wrapText(spec_js_1.AAM_LIMITS_NOTE, 76, '  ')));
+    lines.push('');
+    lines.push(C.muted('  :machina --html  writes the full writeup + diagram to docs/machina.html'));
+    lines.push('');
+    return lines.join('\n');
+}
+function wrapText(text, width, indent) {
+    const words = text.split(/\s+/);
+    const out = [];
+    let line = '';
+    for (const w of words) {
+        if ((line + ' ' + w).trim().length > width) {
+            out.push(indent + line.trim());
+            line = w;
+        }
+        else {
+            line += ' ' + w;
+        }
+    }
+    if (line.trim())
+        out.push(indent + line.trim());
+    return out.join('\n');
+}
+//# sourceMappingURL=render-terminal.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"render-terminal.js","sourceRoot":"","sources":["../../src/machina/render-terminal.ts"],"names":[],"mappings":";;;;;AA6BA,sDAsDC;AAnFD,kDAA0B;AAC1B,uCAA0D;AAG1D,MAAM,CAAC,GAAG;IACR,OAAO,EAAE,eAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI;IAClC,IAAI,EAAE,eAAK,CAAC,GAAG,CAAC,SAAS,CAAC;IAC1B,KAAK,EAAE,eAAK,CAAC,GAAG,CAAC,SAAS,CAAC;IAC3B,GAAG,EAAE,eAAK,CAAC,GAAG,CAAC,SAAS,CAAC;IACzB,IAAI,EAAE,eAAK,CAAC,GAAG,CAAC,SAAS,CAAC;IAC1B,IAAI,EAAE,eAAK,CAAC,GAAG,CAAC,SAAS,CAAC;IAC1B,IAAI,EAAE,eAAK,CAAC,GAAG,CAAC,SAAS,CAAC;CAC3B,CAAC;AAEF,MAAM,eAAe,GAA6C;IAChE,CAAC,EAAE,iBAAiB;IACpB,CAAC,EAAE,gBAAgB;IACnB,CAAC,EAAE,YAAY;IACf,KAAK,EAAE,mBAAmB;IAC1B,EAAE,EAAE,oBAAoB;IACxB,KAAK,EAAE,mBAAmB;CAC3B,CAAC;AAEF,SAAS,WAAW,CAAC,MAA6B;IAChD,IAAI,MAAM,KAAK,UAAU;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7C,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED,SAAgB,qBAAqB,CAAC,MAA0B;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAY,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,oDAAoD,CAAC,EAAE,CAAC,CAAC;IACtG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,kDAAkD,CAAC,EAAE,CAAC,CAAC;IACpG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,2DAA2D,CAAC,EAAE,CAAC,CAAC;IAC7G,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,yDAAyD,CAAC,EAAE,CAAC,CAAC;IAC3G,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,iDAAiD,CAAC,EAAE,CAAC,CAAC;IACnG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,2DAA2D,CAAC,CAAC,CAAC;IACjF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5F,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAChD,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5G,CAAC;aAAM,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,WAAW,cAAc,CAAC,CAAC,UAAU,IAAI,gBAAgB,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,aAAa,yDAAyD,CAAC,CAAC,CAAC;IAC7G,CAAC;SAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CACf,SAAS,MAAM,CAAC,OAAO,CAAC,MAAM,kBAAkB,MAAM,CAAC,OAAO,CAAC,MAAM,mBAAmB;YACxF,2FAA2F,CAC5F,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CACf,KAAK,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,iBAAiB;YAC3F,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,aAAa,MAAM,CAAC,OAAO,CAAC,MAAM,kBAAkB;YAC5E,uDAAuD,CACxD,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,yBAAe,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,2EAA2E,CAAC,CAAC,CAAC;IACjG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAa,EAAE,MAAc;IAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;YAC3C,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/B,IAAI,GAAG,CAAC,CAAC;QACX,CAAC;aAAM,CAAC;YACN,IAAI,IAAI,GAAG,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAChD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC"}

package/dist/machina/repair.d.ts

@@ -0,0 +1,23 @@
+export interface AnchorUpdate {
+    id: string;
+    from: number;
+    to: number;
+}
+export interface RepairResult {
+    /** Anchors rewritten in spec.ts. */
+    updated: AnchorUpdate[];
+    /** Claims whose content is genuinely missing — not repairable, real drift. */
+    failing: string[];
+}
+/**
+ * Pure rewrite: for each update, find the claim object by its id and replace
+ * its `line: <from>` with `line: <to>`. An update whose recorded line no
+ * longer matches the source is skipped rather than guessed at.
+ */
+export declare function rewriteSpecAnchors(source: string, updates: AnchorUpdate[]): string;
+/**
+ * Verify all claims, then rewrite the stale anchors in src/machina/spec.ts.
+ * Returns what was rewritten and which claims are genuinely failing (those
+ * cannot be repaired — the content is gone, the spec itself must change).
+ */
+export declare function repairAnchors(repoRoot?: string): RepairResult;

package/dist/machina/repair.js

@@ -0,0 +1,98 @@
+"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.rewriteSpecAnchors = rewriteSpecAnchors;
+exports.repairAnchors = repairAnchors;
+/**
+ * Explicit anchor repair for AAM_CLAIMS — deliberately NOT part of verify.
+ *
+ * verify.ts is a read-only check: it reports stale anchors (status
+ * 'drifted') but never touches source. This module is the separate, opt-in
+ * path that rewrites spec.ts's line numbers to match where each claim's
+ * content actually lives now. Run it via `npm run repair-anchors`.
+ */
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const verify_js_1 = require("./verify.js");
+/**
+ * Pure rewrite: for each update, find the claim object by its id and replace
+ * its `line: <from>` with `line: <to>`. An update whose recorded line no
+ * longer matches the source is skipped rather than guessed at.
+ */
+function rewriteSpecAnchors(source, updates) {
+    let out = source;
+    for (const u of updates) {
+        const idIdx = out.indexOf(`id: '${u.id}'`);
+        if (idIdx === -1)
+            continue;
+        const after = out.slice(idIdx);
+        const m = after.match(/line:\s*(\d+)/);
+        if (!m || Number(m[1]) !== u.from)
+            continue;
+        out = out.slice(0, idIdx) + after.replace(/line:\s*\d+/, `line: ${u.to}`);
+    }
+    return out;
+}
+/**
+ * Verify all claims, then rewrite the stale anchors in src/machina/spec.ts.
+ * Returns what was rewritten and which claims are genuinely failing (those
+ * cannot be repaired — the content is gone, the spec itself must change).
+ */
+function repairAnchors(repoRoot = (0, verify_js_1.resolveAuraRepoRoot)()) {
+    const report = (0, verify_js_1.verifyAamClaims)(repoRoot);
+    const updated = report.drifted
+        .filter(r => typeof r.foundLine === 'number')
+        .map(r => ({ id: r.id, from: r.line, to: r.foundLine }));
+    if (updated.length > 0) {
+        const specPath = path.join(repoRoot, 'src', 'machina', 'spec.ts');
+        const source = fs.readFileSync(specPath, 'utf8');
+        fs.writeFileSync(specPath, rewriteSpecAnchors(source, updated));
+    }
+    return { updated, failing: report.missing.map(r => r.id) };
+}
+// Direct-run entry (`node dist/machina/repair.js`). Guarded so the module
+// also loads under ESM-transformed test runners where `require` is undefined.
+if (typeof require !== 'undefined' && require.main === module) {
+    const { updated, failing } = repairAnchors();
+    for (const u of updated)
+        console.log(`re-anchored '${u.id}': line ${u.from} → ${u.to}`);
+    if (updated.length === 0)
+        console.log('All anchors exact — nothing to repair.');
+    if (failing.length > 0) {
+        console.error(`Not repairable (content genuinely missing): ${failing.join(', ')} — the spec itself needs updating.`);
+        process.exitCode = 1;
+    }
+}
+//# sourceMappingURL=repair.js.map

package/dist/machina/repair.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repair.js","sourceRoot":"","sources":["../../src/machina/repair.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8BA,gDAWC;AAOD,sCAaC;AA7DD;;;;;;;GAOG;AACH,uCAAyB;AACzB,2CAA6B;AAC7B,2CAAmE;AAenE;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,MAAc,EAAE,OAAuB;IACxE,IAAI,GAAG,GAAG,MAAM,CAAC;IACjB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,SAAS;QAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACvC,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI;YAAE,SAAS;QAC5C,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAgB,aAAa,CAAC,WAAmB,IAAA,+BAAmB,GAAE;IACpE,MAAM,MAAM,GAAG,IAAA,2BAAe,EAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,OAAO,GAAmB,MAAM,CAAC,OAAO;SAC3C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC;SAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,SAAU,EAAE,CAAC,CAAC,CAAC;IAE5D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACjD,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,0EAA0E;AAC1E,8EAA8E;AAC9E,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;IAC9D,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,aAAa,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACxF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;IAChF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,KAAK,CAAC,+CAA+C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;QACrH,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC;AACH,CAAC"}

package/dist/machina/spec.d.ts

@@ -0,0 +1,61 @@
+/**
+ * `:machina` — the Abstract Agent Machine (AAM).
+ *
+ * This module states a formal model of what `aura-code` *is*, independent of
+ * which LLM happens to be plugged in, and then checks every structural claim
+ * it makes against the real source tree at run time (see verify.ts). A spec
+ * that asserts "the main loop is at loop.ts:127" and never re-checks that
+ * line drifts silently as the code changes — this one refuses to.
+ *
+ * ── The model ──────────────────────────────────────────────────────────────
+ * AAM is the 5-tuple  (S, P, O, δ, s0):
+ *
+ *   S   — state space. A state is the full conversation history plus loop
+ *         counters: s = (history, turns, usage). Every run lives inside S.
+ *   P   — primitives. The finite, fixed set of tool definitions the machine
+ *         can invoke (read_file, run_command, edit, ...). P is finite and
+ *         enumerable — this is NOT where unboundedness comes from.
+ *   O   — the oracle. A function history -> {text, tool_calls, stop_reason}.
+ *         The oracle is the ONLY part of the tuple that is swappable: it can
+ *         be an LLM, a human, a rule table, or another AAM run recursively.
+ *         Swapping the oracle does not change S, P, δ, or s0.
+ *   δ   — the transition function. δ(s, o(s)) -> s'. Concretely: take the
+ *         oracle's output, run it through the safety gate, execute any tool
+ *         calls against P, fold the results back into history, and check
+ *         halting conditions.
+ *   s0  — the initial state: empty history + the user's task as the first
+ *         message.
+ *
+ * ── Why this matters, precisely ────────────────────────────────────────────
+ * Because δ can simulate a Turing machine's transition function (the oracle
+ * can be made to emit "move tape head" tool calls and the primitives can
+ * implement a tape as a file), AAM is Turing-complete *in principle*, for
+ * an UNBOUNDED machine (infinite turns, infinite context). Turing-completeness
+ * is the ceiling for computability — a quantum computer does not raise this
+ * ceiling; it changes the *complexity* of specific problems (factoring,
+ * search), not which problems are solvable at all. So "make the oracle
+ * quantum" would be a speed upgrade to O, not a power upgrade to the tuple.
+ *
+ * Turing-completeness has a cost the spec must not hide: the Halting Problem
+ * is undecidable for an unbounded AAM — there is no general procedure that
+ * decides, for an arbitrary task, whether the loop ever stops. This is
+ * exactly why real aura-code is NOT the unbounded machine: maxTurns and the
+ * context compactor are deliberate, finite approximations that trade a
+ * sliver of theoretical power for guaranteed termination. The unbounded
+ * machine is elegant on paper and undecidable in practice; the bounded
+ * machine is what you can actually run.
+ */
+export interface VerifiableClaim {
+    id: string;
+    /** Which part of the formal tuple this claim grounds. */
+    component: 'S' | 'P' | 'O' | 'delta' | 's0' | 'limit';
+    description: string;
+    file: string;
+    /** 1-indexed line number expected to contain `mustContain`. */
+    line: number;
+    /** A short, exact substring expected at that line — the actual verification check. */
+    mustContain: string;
+}
+export declare const AAM_CLAIMS: VerifiableClaim[];
+export declare const AAM_PREAMBLE: string;
+export declare const AAM_LIMITS_NOTE: string;