@dahch/muninn 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Daniel Hernández
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,153 @@
-# Temporary Holding Version
+# Muninn
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+Persistent **semantic and symbol memory** for AI coding agents.
+
+Muninn stores the things a coding session learns — architectural decisions, conventions,
+discoveries, bugfixes — next to the symbols they refer to, in a single SQLite file that lives
+with the project. It speaks **MCP** so any agent can save and query it, and it exposes the same
+engine as a plain Node/Bun library and a CLI.
+
+It used to live inside [Huginn](https://github.com/dahch/huginn); it is now an independent
+package with no dependency on the orchestrator.
+
+## What it gives you
+
+- **Observations with categories** — `decision`, `convention`, `discovery`, `bugfix`,
+  `architecture` — searchable with SQLite **FTS5 + BM25** ranking.
+- **A symbol graph** — the TypeScript Compiler API extracts files, functions, classes,
+  interfaces and modules from your sources, plus the `imports`/`calls`/`extends`/`implements`/
+  `references` edges between them, and links observations to symbols.
+- **MCP tools** for agents: `muninn_context`, `muninn_save`, `muninn_search`,
+  `muninn_link_symbol`, `muninn_inspect_symbol`, `muninn_verify_contract`, `muninn_stats`.
+- **Contract verification** — the same TypeScript execution-contract check as a CLI command
+  (`muninn check`) and as the `muninn_verify_contract` MCP tool.
+- **JSONL sync** — export/import the whole memory as portable line-delimited JSON.
+- **Local-first and self-contained** — no embeddings, no network, no server: one SQLite file
+  and one process.
+
+## Install
+
+```sh
+npm install -g @dahch/muninn     # CLI + MCP server
+# or as a library
+npm install @dahch/muninn
+```
+
+Requires Node.js >= 20 (or Bun).
+
+## CLI
+
+```sh
+muninn memory init   [--db <path>] [--project <path>]
+muninn memory search <query> [--category <cat>] [--limit <n>] [--project <path>]
+muninn memory sync   [--import] [--file <path>] [--project <path>]
+muninn memory index  [files...] [--project <path>] [--db <path>]
+
+muninn check [files...] [--project <path>]
+
+muninn mcp run [--db <path>] [--project <path>]
+```
+
+The database resolves to `<git-root>/.huginn/muninn.db` inside a repository and to
+`~/.huginn/muninn.db` outside one. `--db` overrides it; `:memory:` is accepted for tests.
+Both the database file and the project record are resolved from the **same** root, so
+`--project X` can never write into another project's database.
+
+## MCP
+
+Register Muninn with any MCP-capable agent. For example, a Claude Code / Codex / Cursor config
+(`mcpServers`):
+
+```json
+{
+  "mcpServers": {
+    "muninn": {
+      "command": "muninn",
+      "args": ["mcp", "run", "--project", "/absolute/path/to/repo"]
+    }
+  }
+}
+```
+
+OpenCode uses the same shape under the `mcp` key with `"type": "local"` and a `command` array.
+Huginn's `huginn setup` writes this for you in every runtime it knows about.
+
+```sh
+muninn mcp run --project .
+```
+
+## Library
+
+```ts
+import { MemoryService, indexFilesIntoMuninn } from "@dahch/muninn";
+
+const memory = new MemoryService({ projectRoot: process.cwd() });
+
+memory.saveObservation({
+  category: "decision",
+  title: "Auth is a port",
+  content: "Tokens are validated behind an AuthPort so the transport can change.",
+  symbols: ["src/auth/port.ts"],
+});
+
+indexFilesIntoMuninn(memory, ["src/auth/port.ts"], { projectRoot: process.cwd() });
+
+for (const hit of memory.search({ query: "token validation", limit: 5 })) {
+  console.log(hit.category, hit.title, hit.rank);
+}
+
+memory.close();
+```
+
+Subpath entry points are available for narrower imports:
+
+| Import | Contents |
+|---|---|
+| `@dahch/muninn` | everything below |
+| `@dahch/muninn/db` | SQLite client, schema, path resolution, project records |
+| `@dahch/muninn/service` | `MemoryService` (save, search, context, linking, sync, stats) |
+| `@dahch/muninn/indexer` | AST symbol/dependency extraction and indexing |
+| `@dahch/muninn/mcp` | MCP server, tool registry, bounded stdio transport |
+| `@dahch/muninn/contracts` | TypeScript contract verification |
+| `@dahch/muninn/util` | terminal-text sanitizer |
+
+## Security notes
+
+- Every path Muninn writes to — the SQLite file and the JSONL export — is screened: a symlink on
+  the final component is refused, and a project-relative path must resolve inside the project, so
+  a repository cannot redirect the write outside itself (the `src/util/path-safety.ts` rule, with
+  the tests in `test/db.test.ts` and `test/service.test.ts`).
+- The MCP stdio transport is bounded and survives a dead parent instead of crashing or hanging.
+- MCP tool inputs are validated with zod; unknown tools and bad arguments fail closed.
+
+## Development
+
+The design of the engine — SQLite/FTS5 schema, service core, MCP server, CLI, contract verifier and
+AST indexer — is documented in [`DESIGN.md`](./DESIGN.md), moved here from the orchestrator's design
+document when Muninn became its own package.
+
+```sh
+npm ci
+npm run build      # tsc -> dist/ (+ schema.sql, +x cli.js)
+npm test           # vitest run (storage, service, indexer, MCP, CLI)
+npm run typecheck  # tsc --noEmit
+bun run src/cli.ts memory init --project .
+```
+
+Publishing is tag-driven, but only once the package exists. The **first** publish is manual, from a
+logged-in machine, because npm's trusted publishing attaches to a package page that has to exist first:
+
+```sh
+npm login
+npm run build && npm publish   # 0.1.0, once
+```
+
+After that, configure the trusted publisher on npm (repository `dahch/muninn`, workflow
+`publish.yml`) and tagged releases need no token at all: `git tag v0.1.1 && git push origin v0.1.1`
+runs the workflow, which checks the tag against `package.json`, builds, tests and publishes over
+OIDC. A run whose version is already on npm skips the publish step and refreshes the GitHub release
+instead, so re-tagging to fix a message stays safe.
+
+## License
+
+MIT © Daniel Hernández

package/dist/cli.d.ts

@@ -0,0 +1,23 @@
+#!/usr/bin/env node
+export declare const VERSION = "0.1.0";
+export interface ParsedArgs {
+    [key: string]: string | boolean | undefined | string[];
+    _command?: string;
+    _positional?: string;
+    _positionals?: string[];
+}
+/**
+ * Parses argv into flags plus positionals.
+ *
+ * The first bare word is `_command`; every later bare word is appended to
+ * `_positionals` (and mirrored in `_positional` as the last one), which is what
+ * lets `memory search "vector search"` keep a multi-word query intact.
+ */
+export declare function parseArgs(argv: string[]): ParsedArgs;
+export declare function usage(): string;
+/**
+ * Runs the CLI. Exported (rather than inlined) so tests can drive it with an
+ * explicit argv and assert on the routed handler.
+ */
+export declare function main(argv: string[]): Promise<void>;
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AAoBA,eAAO,MAAM,OAAO,UAAU,CAAC;AAE/B,MAAM,WAAW,UAAU;IACzB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,EAAE,CAAC;IACvD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAiBD;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,UAAU,CA8BpD;AAED,wBAAgB,KAAK,IAAI,MAAM,CAoB9B;AAED;;;GAGG;AACH,wBAAsB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CA+DxD"}

package/dist/cli.js

@@ -0,0 +1,170 @@
+#!/usr/bin/env node
+/**
+ * `muninn` — command-line surface for the Muninn memory engine.
+ *
+ * Three commands, one per consumer:
+ *
+ * - `muninn memory …` — init / search / sync / index the project database.
+ * - `muninn mcp run`  — the stdio MCP server an agent runtime registers.
+ * - `muninn check …`  — TypeScript execution-contract verification, the same
+ *   pass the MCP `muninn_verify_contract` tool performs.
+ *
+ * The parser and the usage text are deliberately small and dependency-free:
+ * this file is the only part of Muninn that has to be stable for other tools to
+ * embed it.
+ */
+import { realpathSync } from "node:fs";
+import { fileURLToPath } from "node:url";
+import { handleMcpCommand, handleMemoryCommand } from "./commands/memory.js";
+import { handleCheckCommand } from "./commands/check.js";
+export const VERSION = "0.1.0";
+/**
+ * Flags that never consume the next argv entry as their value. `--import` is the
+ * one that matters in practice: `muninn memory sync --import backup.jsonl` must
+ * leave `backup.jsonl` as a positional, not swallow it into the flag.
+ */
+const BOOLEAN_FLAGS = new Set([
+    "-h",
+    "--help",
+    "-v",
+    "--version",
+    "--import",
+    "--json",
+    "--quiet",
+]);
+/**
+ * Parses argv into flags plus positionals.
+ *
+ * The first bare word is `_command`; every later bare word is appended to
+ * `_positionals` (and mirrored in `_positional` as the last one), which is what
+ * lets `memory search "vector search"` keep a multi-word query intact.
+ */
+export function parseArgs(argv) {
+    const out = { _positionals: [] };
+    for (let i = 0; i < argv.length; i++) {
+        const arg = argv[i];
+        if (arg.startsWith("-") && arg !== "-") {
+            const eq = arg.indexOf("=");
+            let key = arg;
+            let value = true;
+            if (eq !== -1) {
+                key = arg.slice(0, eq);
+                value = arg.slice(eq + 1);
+            }
+            else if (!BOOLEAN_FLAGS.has(key)) {
+                const next = argv[i + 1];
+                if (next !== undefined &&
+                    (!next.startsWith("-") || /^-\d+(\.\d+)?$/.test(next))) {
+                    value = next;
+                    i++;
+                }
+            }
+            out[key] = value;
+        }
+        else if (out._command === undefined) {
+            out._command = arg;
+        }
+        else {
+            out._positional = arg;
+            out._positionals.push(arg);
+        }
+    }
+    return out;
+}
+export function usage() {
+    return `muninn — persistent semantic and symbol memory for coding agents.
+
+Usage:
+  muninn memory init [--db <path>] [--project <path>]
+  muninn memory search <query> [--category <cat>] [--limit <n>] [--project <path>]
+  muninn memory sync [--import] [--file <path>] [--project <path>]
+  muninn memory index [files...] [--project <path>] [--db <path>]
+  muninn check [files...] [--project <path>]
+  muninn mcp run [--db <path>] [--project <path>]
+
+Commands:
+  memory  query and manage the persistent codebase memory (init, search, sync, index)
+  mcp     start the Muninn MCP server for agent memory integration (run)
+  check   verify TypeScript execution contracts and pre-emit diagnostics
+
+Storage:
+  The database resolves to <git-root>/.huginn/muninn.db inside a repository and
+  to ~/.huginn/muninn.db outside one. --db overrides it (":memory:" is accepted).
+`;
+}
+/**
+ * Runs the CLI. Exported (rather than inlined) so tests can drive it with an
+ * explicit argv and assert on the routed handler.
+ */
+export async function main(argv) {
+    const args = parseArgs(argv);
+    const command = args._command;
+    if (args["--version"] === true || args["-v"] === true || command === "version") {
+        console.log(`muninn ${VERSION}`);
+        return;
+    }
+    if (command === undefined ||
+        command === "help" ||
+        command === "--help" ||
+        args["--help"] === true ||
+        args["-h"] === true) {
+        console.log(usage());
+        return;
+    }
+    if (command === "memory") {
+        const positionals = args._positionals ?? [];
+        const subcommand = typeof positionals[0] === "string"
+            ? positionals[0]
+            : typeof args._positional === "string"
+                ? args._positional
+                : undefined;
+        await handleMemoryCommand(subcommand, args, positionals.slice(1));
+        return;
+    }
+    if (command === "mcp") {
+        const positionals = args._positionals ?? [];
+        const subcommand = typeof positionals[0] === "string"
+            ? positionals[0]
+            : typeof args._positional === "string"
+                ? args._positional
+                : undefined;
+        await handleMcpCommand(subcommand, args);
+        return;
+    }
+    if (command === "check") {
+        const positionals = args._positionals ?? [];
+        const files = positionals.length > 0
+            ? positionals
+            : typeof args._positional === "string" && args._positional !== "check"
+                ? [args._positional]
+                : [];
+        await handleCheckCommand(files, args);
+        return;
+    }
+    console.error(`Unknown command: ${command}`);
+    console.log(usage());
+    process.exitCode = 1;
+}
+/**
+ * True only when this module is the process entry point — under `node dist/cli.js`,
+ * `bun dist/cli.js` or the installed `muninn` bin — and false when a test or a
+ * consumer merely imports it.
+ */
+function isDirectRun() {
+    const entry = process.argv[1];
+    if (!entry)
+        return false;
+    try {
+        return realpathSync(entry) === realpathSync(fileURLToPath(import.meta.url));
+    }
+    catch {
+        return false;
+    }
+}
+if (isDirectRun()) {
+    main(process.argv.slice(2)).catch((err) => {
+        console.error(`muninn: ${err instanceof Error ? err.message : String(err)}`);
+        process.exitCode = 1;
+    });
+}
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEzD,MAAM,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC;AAS/B;;;;GAIG;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,IAAI;IACJ,QAAQ;IACR,IAAI;IACJ,WAAW;IACX,UAAU;IACV,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,IAAc;IACtC,MAAM,GAAG,GAAe,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,GAAG,EAAE,CAAC;YACvC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,GAAG,GAAG,GAAG,CAAC;YACd,IAAI,KAAK,GAAqB,IAAI,CAAC;YACnC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBACd,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACvB,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5B,CAAC;iBAAM,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACzB,IACE,IAAI,KAAK,SAAS;oBAClB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACtD,CAAC;oBACD,KAAK,GAAG,IAAI,CAAC;oBACb,CAAC,EAAE,CAAC;gBACN,CAAC;YACH,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACnB,CAAC;aAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACtC,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,WAAW,GAAG,GAAG,CAAC;YACrB,GAAG,CAAC,YAAyB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,KAAK;IACnB,OAAO;;;;;;;;;;;;;;;;;;CAkBR,CAAC;AACF,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,IAAI,CAAC,IAAc;IACvC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;IAE9B,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/E,OAAO,CAAC,GAAG,CAAC,UAAU,OAAO,EAAE,CAAC,CAAC;QACjC,OAAO;IACT,CAAC;IAED,IACE,OAAO,KAAK,SAAS;QACrB,OAAO,KAAK,MAAM;QAClB,OAAO,KAAK,QAAQ;QACpB,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI;QACvB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EACnB,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QACrB,OAAO;IACT,CAAC;IAED,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,MAAM,WAAW,GAAI,IAAI,CAAC,YAAqC,IAAI,EAAE,CAAC;QACtE,MAAM,UAAU,GACd,OAAO,WAAW,CAAC,CAAC,CAAC,KAAK,QAAQ;YAChC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YAChB,CAAC,CAAC,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ;gBACpC,CAAC,CAAC,IAAI,CAAC,WAAW;gBAClB,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,mBAAmB,CACvB,UAAU,EACV,IAAoD,EACpD,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CACrB,CAAC;QACF,OAAO;IACT,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACtB,MAAM,WAAW,GAAI,IAAI,CAAC,YAAqC,IAAI,EAAE,CAAC;QACtE,MAAM,UAAU,GACd,OAAO,WAAW,CAAC,CAAC,CAAC,KAAK,QAAQ;YAChC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YAChB,CAAC,CAAC,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ;gBACpC,CAAC,CAAC,IAAI,CAAC,WAAW;gBAClB,CAAC,CAAC,SAAS,CAAC;QAClB,MAAM,gBAAgB,CAAC,UAAU,EAAE,IAAoD,CAAC,CAAC;QACzF,OAAO;IACT,CAAC;IAED,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,MAAM,WAAW,GAAI,IAAI,CAAC,YAAqC,IAAI,EAAE,CAAC;QACtE,MAAM,KAAK,GACT,WAAW,CAAC,MAAM,GAAG,CAAC;YACpB,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ,IAAI,IAAI,CAAC,WAAW,KAAK,OAAO;gBACpE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;gBACpB,CAAC,CAAC,EAAE,CAAC;QACX,MAAM,kBAAkB,CAAC,KAAK,EAAE,IAAoD,CAAC,CAAC;QACtF,OAAO;IACT,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,oBAAoB,OAAO,EAAE,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IACrB,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;AACvB,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW;IAClB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,KAAK,CAAC,KAAK,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,IAAI,WAAW,EAAE,EAAE,CAAC;IAClB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAY,EAAE,EAAE;QACjD,OAAO,CAAC,KAAK,CAAC,WAAW,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7E,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/commands/check.d.ts

@@ -0,0 +1,3 @@
+export declare function printCheckUsage(): void;
+export declare function handleCheckCommand(files: string[], args: Record<string, string | boolean | undefined>): Promise<void>;
+//# sourceMappingURL=check.d.ts.map

package/dist/commands/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAIA,wBAAgB,eAAe,IAAI,IAAI,CAStC;AAED,wBAAsB,kBAAkB,CACtC,KAAK,EAAE,MAAM,EAAE,EACf,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC,GACjD,OAAO,CAAC,IAAI,CAAC,CAyDf"}

package/dist/commands/check.js

@@ -0,0 +1,56 @@
+import path from "node:path";
+import chalk from "chalk";
+import { verifyTypeScriptContracts } from "../contracts/compiler.js";
+export function printCheckUsage() {
+    console.log(`muninn check — Static TypeScript execution contract verification
+
+Usage:
+  muninn check [files...] [--project <path>]
+
+Options:
+  --project <path>  Target project root containing tsconfig.json (default: cwd)
+`);
+}
+export async function handleCheckCommand(files, args) {
+    if (args["--help"] || args["-h"]) {
+        printCheckUsage();
+        return;
+    }
+    const projectRoot = typeof args["--project"] === "string"
+        ? path.resolve(args["--project"])
+        : typeof args["--root"] === "string"
+            ? path.resolve(args["--root"])
+            : process.cwd();
+    const targetFiles = files.length > 0 ? files : undefined;
+    const result = verifyTypeScriptContracts(projectRoot, targetFiles);
+    if (result.valid) {
+        console.log(chalk.green(`✔ TypeScript contracts verified: 0 errors (${result.diagnostics.length} diagnostic(s)).`));
+        if (result.diagnostics.length > 0) {
+            console.log(chalk.yellow("\nDiagnostics:"));
+            for (const d of result.diagnostics) {
+                const loc = chalk.dim(`${d.filePath}:${d.line}:${d.character}`);
+                const code = chalk.yellow(`[${d.code}]`);
+                const category = chalk.yellow(d.category.toUpperCase());
+                console.log(`- ${loc} ${code} ${category}: ${d.message}`);
+                if (d.snippet) {
+                    console.log(chalk.dim(d.snippet) + "\n");
+                }
+            }
+        }
+        return;
+    }
+    console.error(chalk.red.bold(`✖ TypeScript contracts check failed with ${result.errorsCount} error(s):\n`));
+    for (const d of result.diagnostics) {
+        const loc = chalk.cyan(`${d.filePath}:${d.line}:${d.character}`);
+        const code = chalk.yellow(`[${d.code}]`);
+        const category = d.category === "error"
+            ? chalk.red("ERROR")
+            : chalk.yellow(d.category.toUpperCase());
+        console.error(`- ${loc} ${code} ${category}: ${d.message}`);
+        if (d.snippet) {
+            console.error(chalk.dim(d.snippet) + "\n");
+        }
+    }
+    process.exitCode = 1;
+}
+//# sourceMappingURL=check.js.map

package/dist/commands/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAErE,MAAM,UAAU,eAAe;IAC7B,OAAO,CAAC,GAAG,CAAC;;;;;;;CAOb,CAAC,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,KAAe,EACf,IAAkD;IAElD,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,eAAe,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IAED,MAAM,WAAW,GACf,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,QAAQ;QACnC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,QAAQ;YAClC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9B,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;IAEtB,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACzD,MAAM,MAAM,GAAG,yBAAyB,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAEnE,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,GAAG,CACT,KAAK,CAAC,KAAK,CACT,8CAA8C,MAAM,CAAC,WAAW,CAAC,MAAM,kBAAkB,CAC1F,CACF,CAAC;QACF,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACnC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;gBAChE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;gBACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;gBACxD,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,IAAI,IAAI,QAAQ,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC1D,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;oBACd,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;gBAC3C,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO;IACT,CAAC;IAED,OAAO,CAAC,KAAK,CACX,KAAK,CAAC,GAAG,CAAC,IAAI,CACZ,4CAA4C,MAAM,CAAC,WAAW,cAAc,CAC7E,CACF,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QACzC,MAAM,QAAQ,GACZ,CAAC,CAAC,QAAQ,KAAK,OAAO;YACpB,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;YACpB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;QAC7C,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,IAAI,IAAI,QAAQ,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IAED,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;AACvB,CAAC"}

package/dist/commands/memory.d.ts

@@ -0,0 +1,6 @@
+export declare function findSourceFiles(dir: string): string[];
+export declare function printMemoryUsage(): void;
+export declare function printMcpUsage(): void;
+export declare function handleMemoryCommand(subcommand: string | undefined, args: Record<string, string | boolean | undefined>, positionals?: string[]): Promise<void>;
+export declare function handleMcpCommand(subcommand: string | undefined, args: Record<string, string | boolean | undefined>): Promise<void>;
+//# sourceMappingURL=memory.d.ts.map

package/dist/commands/memory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../../src/commands/memory.ts"],"names":[],"mappings":"AA6BA,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAwBrD;AAED,wBAAgB,gBAAgB,IAAI,IAAI,CAevC;AAED,wBAAgB,aAAa,IAAI,IAAI,CASpC;AAED,wBAAsB,mBAAmB,CACvC,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC,EAClD,WAAW,CAAC,EAAE,MAAM,EAAE,GACrB,OAAO,CAAC,IAAI,CAAC,CAkKf;AAsDD,wBAAsB,gBAAgB,CACpC,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC,GACjD,OAAO,CAAC,IAAI,CAAC,CA8Ef"}