@plazmodium/odin 0.3.2-beta

package/README.md

@@ -0,0 +1,306 @@
+# Odin Runtime
+
+A single-install MCP server that gives your AI coding agent an 11-phase development workflow with built-in quality gates, skill resolution, review checks, learnings, and release archival.
+
+## Quick Start
+
+### 1. Install
+
+Preferred published-package flow after the first npm publish:
+
+```bash
+npx -y @plazmodium/odin init --project-root /path/to/your/project --tool opencode --write-mcp
+```
+
+Current repo-checkout flow that works today:
+
+```bash
+cd runtime
+npm install
+npm run build
+```
+
+### 2. Bootstrap your project
+
+```bash
+# Published-package MCP command snippets after the first npm publish
+npx -y @plazmodium/odin init --project-root /path/to/your/project --tool amp --write-mcp
+npx -y @plazmodium/odin init --project-root /path/to/your/project --tool opencode --write-mcp
+
+# Source-checkout snippets while working from odin-workflow today
+npm run init:project -- --project-root /path/to/your/project --tool amp --distribution source --write-mcp
+npm run init:project -- --project-root /path/to/your/project --tool codex --distribution source --write-mcp
+```
+
+This creates:
+- `.odin/config.yaml` — runtime configuration (commit this)
+- `.odin/skills/` — project-local skill overrides (commit this)
+- `.env.example` — required environment variables (commit this)
+- Your harness config file (`opencode.json`, `.mcp.json`, or `.codex/config.toml`, depending on tool)
+
+Important: Odin bootstraps with `runtime.mode: in_memory` by default so MCP wiring can work without external services. Switch `.odin/config.yaml` to `runtime.mode: supabase` when you are ready for persistent workflow state.
+
+Until `@plazmodium/odin` is actually published, use the repo-checkout `--distribution source` flow shown above.
+
+If you are the maintainer preparing that publish, use [`../docs/guides/NPM-PUBLISH.md`](../docs/guides/NPM-PUBLISH.md).
+
+### 3. Add your database credentials
+
+```bash
+cp .env.example .env
+# Edit .env with your database credentials
+```
+
+Use the project root `.env` or `.env.local` file that lives next to `opencode.json` / `.mcp.json` / `.odin/`. Odin does not read env files from nested app directories.
+
+Runtime config is loaded once at server startup. If you change `.env`, `.env.local`, or `.odin/config.yaml`, restart the Odin MCP server before retrying tools.
+
+Odin uses two database paths today:
+
+- **Direct PostgreSQL** (any provider — Neon, Railway, self-hosted, local Supabase Postgres, etc.) for `odin.apply_migrations`:
+  ```env
+  DATABASE_URL=postgresql://user:password@host:5432/dbname
+  ```
+
+- **Supabase runtime + management API** for full persistent Odin workflow state plus archival:
+  ```env
+  SUPABASE_URL=https://your-project.supabase.co
+  SUPABASE_SECRET_KEY=your-secret-key
+  SUPABASE_ACCESS_TOKEN=your-management-api-access-token
+  ```
+
+`DATABASE_URL` takes priority inside `odin.apply_migrations`. It does not replace Supabase-backed workflow state for the main runtime.
+
+### 4. Start using Odin
+
+Your AI agent now has these tools available:
+
+| Tool | Purpose |
+|------|---------|
+| `odin.start_feature` | Create a feature in the workflow |
+| `odin.get_next_phase` | Ask "what should happen next?" |
+| `odin.prepare_phase_context` | Get the full working bundle for a phase |
+| `odin.get_development_eval_status` | Inspect focused development-eval state for a feature |
+| `odin.record_phase_artifact` | Register a phase output (PRD, spec, tasks, etc.) |
+| `odin.submit_claim` | Submit a watched-agent claim for policy and watcher verification |
+| `odin.record_commit` | Persist git commit metadata for a feature |
+| `odin.record_pr` | Persist pull request metadata for dashboard/git tracking |
+| `odin.record_merge` | Persist that a human merged the feature PR |
+| `odin.record_quality_gate` | Persist an explicit workflow quality gate decision |
+| `odin.record_eval_plan` | Persist a structured Architect `eval_plan` artifact |
+| `odin.record_eval_run` | Persist a structured Reviewer/Integrator `eval_run` artifact |
+| `odin.record_phase_result` | Record phase completion, blocking, or rework |
+| `odin.run_review_checks` | Run security/review scans via Semgrep |
+| `odin.run_policy_checks` | Run deterministic policy checks for submitted claims |
+| `odin.verify_design` | Run formal design verification (TLA+ model checking) on a `.machine.ts` DSL file |
+| `odin.capture_learning` | Capture a reusable learning with semantic domain matching |
+| `odin.get_feature_status` | Inspect feature state with workflow details |
+| `odin.verify_claims` | Check claim verification status |
+| `odin.get_claims_needing_review` | List claims waiting for watcher review |
+| `odin.record_watcher_review` | Record the watcher verdict for an escalated claim |
+| `odin.archive_feature_release` | Archive release artifacts to Supabase Storage |
+| `odin.explore_knowledge` | Explore knowledge clusters, cross-domain bridges, and domain stats |
+| `odin.apply_migrations` | Apply pending database migrations (auto-detects existing schema) |
+
+## Configuration
+
+Odin uses two files:
+
+**`.odin/config.yaml`** (committed) — project-level config with env var interpolation:
+
+```yaml
+runtime:
+  mode: in_memory       # quick-start mode; switch to "supabase" for persistent workflow state
+
+database:
+  url: ${DATABASE_URL}  # used by odin.apply_migrations for direct PostgreSQL
+
+supabase:
+  url: ${SUPABASE_URL}
+  secret_key: ${SUPABASE_SECRET_KEY}
+
+skills:
+  paths:
+    - .odin/skills
+  auto_detect: true
+
+review:
+  provider: semgrep
+
+formal_verification:
+  provider: none           # set to "tla-precheck" after installing Java 17+ and `npm install -D tla-precheck`
+  timeout_seconds: 120
+
+archive:
+  provider: none
+```
+
+**`.env`** (uncommitted) — secret values:
+
+```env
+# Option A: Direct PostgreSQL for odin.apply_migrations
+DATABASE_URL=postgresql://user:password@host:5432/dbname
+
+# Option B: Supabase runtime + management API
+SUPABASE_URL=https://your-project.supabase.co
+SUPABASE_SECRET_KEY=your-secret-key
+SUPABASE_ACCESS_TOKEN=your-management-api-access-token
+```
+
+### Runtime Modes
+
+- **`supabase`** — Full persistent workflow state backed by Supabase. Requires `SUPABASE_URL` and `SUPABASE_SECRET_KEY`. Enable `archive.provider: supabase` when you want release archival too.
+- **`in_memory`** — Zero-dependency smoke-test mode. State is lost when the process exits. Useful for testing MCP wiring and prompt flow before provisioning Supabase.
+
+> **Note on `DATABASE_URL`**: today it powers `odin.apply_migrations`, including local PostgreSQL or local Supabase Postgres access. The main Odin workflow runtime still uses the Supabase workflow-state adapter when `runtime.mode: supabase`.
+
+## Optional: TLA+ Design Verification
+
+`odin.verify_design` is optional and stays disabled while `formal_verification.provider` is `none`.
+
+Install it in the **target project Odin runs against**, not in the runtime package:
+
+```bash
+# In your target project root
+npm install -D tla-precheck
+```
+
+Requirements and setup:
+
+- Install **Java 17+** locally for the TLC model checker
+- Install `tla-precheck` as a dev dependency in the target project so Odin can resolve it from `node_modules/.bin`
+- Enable it in `.odin/config.yaml`
+
+```yaml
+formal_verification:
+  provider: tla-precheck
+  timeout_seconds: 120
+```
+
+Typical usage:
+
+1. Create a state-machine file such as `specs/BILLING-001/subscription.machine.ts`
+2. Ask Odin to run `odin.verify_design` with that relative `machine_path`
+3. Review the result in Architect/Guardian before implementation
+
+If Java or `tla-precheck` is missing, Odin returns an `UNAVAILABLE` / `NOT_CONFIGURED` result for design verification instead of enabling it silently.
+
+## Development Evals
+
+Odin also supports a lightweight **Development Evals** workflow track:
+
+- Architect records `eval_plan` via `odin.record_eval_plan` (or `odin.record_phase_artifact`)
+- Guardian records `eval_readiness` via `odin.record_quality_gate`
+- Reviewer records `eval_run` via `odin.record_eval_run` (or `odin.record_phase_artifact`)
+- Integrator may append a later `eval_run` via `odin.record_eval_run` when runtime verification materially changes the result
+
+These artifacts are surfaced in `odin.prepare_phase_context` and `odin.get_feature_status`.
+
+When Development Evals are relevant, `odin.prepare_phase_context` returns a richer `development_evals` block with:
+
+- `expected_artifacts` — which eval artifact(s) this phase is expected to produce now
+- `expected_gate` — which eval gate this phase is expected to decide now
+- `status_summary` — current eval state the harness should keep visible
+- `harness_prompt_block` — phase-specific prompt lines the harness should append verbatim to the active agent prompt
+
+Recommended harness behavior:
+
+```text
+1. Call odin.prepare_phase_context(...)
+2. Build the agent prompt from:
+   - context.agent.role_summary
+   - context.agent.constraints
+   - context.development_evals.harness_prompt_block
+3. Keep context.development_evals.status_summary visible to the operator
+4. Do not treat eval instructions as a replacement for formal verification, Semgrep, tests, runtime checks, or watcher checks
+```
+
+Canonical eval-aware orchestration snippet:
+
+```text
+When orchestrating Odin phases:
+1. Call odin.prepare_phase_context({ feature_id, phase, agent_name }).
+2. Build the active agent prompt from:
+   - context.agent.role_summary
+   - context.agent.constraints
+   - context.development_evals.harness_prompt_block
+3. Use odin.get_development_eval_status({ feature_id }) when you need focused eval state.
+4. Record eval artifacts/gates with odin.record_eval_plan, odin.record_eval_run, and odin.record_quality_gate.
+5. Never let Development Evals override odin.verify_design, odin.run_review_checks, tests, runtime verification, or watcher checks.
+```
+
+If the harness wants a focused eval-only read path instead of parsing `odin.get_feature_status`, call:
+
+```text
+odin.get_development_eval_status({ feature_id: "FEAT-001" })
+```
+
+This returns the current Development Eval mode, latest `eval_plan`, latest `eval_run`, open `eval_readiness` gate (if any), and recent eval artifact history.
+
+**Important**: Development Evals are additive. They do **not** replace `odin.verify_design`, `odin.run_review_checks`, Builder/Integrator test verification, or watched-claim verification.
+
+## Project-Local Skills
+
+Drop skill files into `.odin/skills/` to override or extend built-in skills:
+
+```text
+.odin/skills/
+  my-framework/
+    SKILL.md
+```
+
+Odin resolves project-local skills with higher precedence than built-in skills when names match.
+
+## Memory Palace: Semantic Learning Propagation
+
+Odin's learning system uses **semantic domain matching** to automatically route learnings to the right knowledge targets (skills, agent definitions, AGENTS.md).
+
+### How it works
+
+1. **Capture with tags**: When calling `odin.capture_learning`, agents provide `domain_tags` — conceptual keywords describing what the learning is about (e.g., `["nextjs", "fetch-cache", "supabase"]`)
+2. **Domain matching**: The runtime matches tags against a **knowledge domain registry** derived from skill frontmatter. Each skill's `name`, `compatible_with`, `depends_on`, `category`, and `description` generate keyword tiers (strong + weak)
+3. **Auto-targeting**: Matches passing both gates (≥ 1 strong keyword hit AND ≥ 0.60 relevance) are auto-declared as propagation targets. Weaker matches are returned as suggestions
+4. **Cross-feature corridors**: `odin.prepare_phase_context` retrieves related learnings from other features that share propagation targets, with tag intersection fallback
+5. **Resonance ranking**: Related learnings are ranked by domain density, corroboration (same-category learnings from different features), and recency — never modifying `confidence_score`
+
+### Exploration
+
+Use `odin.explore_knowledge` to inspect knowledge clusters:
+- Learnings grouped by domain
+- Cross-domain bridges (learnings appearing in multiple domains)
+- Domain density stats
+- Unmatched tags (tags that matched zero domains)
+
+### Adding a domain
+
+Adding a new skill with proper frontmatter (`name`, `description`, `category`, `compatible_with`, `depends_on`) **automatically creates a new knowledge domain** — zero configuration, zero migration.
+
+## Development
+
+```bash
+npm run type-check    # Check types without emitting
+npm run build         # Compile TypeScript to dist/
+npm test              # Run tests
+npm start             # Start the MCP server (stdio)
+npm run dev           # Watch mode
+```
+
+## Architecture
+
+Odin presents **one MCP server** (`odin`) to your AI agent. Internally it uses adapter seams for different concerns:
+
+- **WorkflowStateAdapter** — Supabase-backed feature/phase state
+- **SqlExecutor** — Provider-agnostic SQL execution (direct PostgreSQL or Supabase Management API)
+- **ArchiveAdapter** — Supabase Storage for release archives (direct upload, no Edge Function needed)
+- **ReviewAdapter** — Semgrep for security/code review
+- **FormalVerificationAdapter** — TLA+ model checking via [tla-precheck](https://github.com/kingbootoshi/tla-precheck) (opt-in)
+- **SkillAdapter** — Filesystem-based skill resolution (built-in + project-local)
+
+Providers are internal implementation details — your agent only sees `odin.*` tools.
+
+## Requirements
+
+- Node.js >= 18
+- PostgreSQL database — any provider: Supabase, Neon, Railway, self-hosted, etc. (for `supabase` runtime mode)
+- Semgrep (optional, for review checks — falls back to Docker if local binary not found)
+- Java 17+ and [tla-precheck](https://github.com/kingbootoshi/tla-precheck) (optional, for formal design verification — install as a devDependency in your target project)

package/dist/adapters/archive/supabase.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Supabase Archive Adapter
+ * Version: 0.2.0
+ *
+ * Uploads archive files directly to Supabase Storage using the service_role
+ * client. No Edge Function required.
+ */
+import type { RuntimeConfig } from '../../config.js';
+import type { ArchiveUploadResult, FeatureArchiveRecord } from '../../types.js';
+import type { ArchiveAdapter, RecordArchiveInput, UploadArchiveInput } from './types.js';
+export declare class SupabaseArchiveAdapter implements ArchiveAdapter {
+    private readonly db;
+    constructor(config: RuntimeConfig);
+    uploadArchive(input: UploadArchiveInput): Promise<ArchiveUploadResult>;
+    recordArchive(input: RecordArchiveInput): Promise<FeatureArchiveRecord>;
+    listArchives(feature_id: string): Promise<FeatureArchiveRecord[]>;
+    private ensureBucket;
+}
+//# sourceMappingURL=supabase.d.ts.map

package/dist/adapters/archive/supabase.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"supabase.d.ts","sourceRoot":"","sources":["../../../src/adapters/archive/supabase.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,KAAK,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,KAAK,EAAE,cAAc,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAwCzF,qBAAa,sBAAuB,YAAW,cAAc;IAC3D,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAiB;gBAExB,MAAM,EAAE,aAAa;IAW3B,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAoCtE,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,oBAAoB,CAAC;IA2BvE,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,EAAE,CAAC;YAczD,YAAY;CAY3B"}

package/dist/adapters/archive/supabase.js

@@ -0,0 +1,121 @@
+/**
+ * Supabase Archive Adapter
+ * Version: 0.2.0
+ *
+ * Uploads archive files directly to Supabase Storage using the service_role
+ * client. No Edge Function required.
+ */
+import { createClient } from '@supabase/supabase-js';
+const STORAGE_BUCKET = 'feature-archives';
+function requireArchiveConfig(config) {
+    const url = config.supabase?.url;
+    const secret_key = config.supabase?.secret_key;
+    if (!url || !secret_key) {
+        throw new Error('Supabase archive adapter requires SUPABASE_URL and SUPABASE_SECRET_KEY.');
+    }
+    return { url, secret_key };
+}
+function toArchiveRecord(row) {
+    return {
+        id: String(row.id),
+        feature_id: String(row.feature_id),
+        storage_path: String(row.storage_path),
+        summary: String(row.summary),
+        files_archived: Array.isArray(row.files_archived)
+            ? row.files_archived.map((value) => String(value))
+            : [],
+        total_size_bytes: Number(row.total_size_bytes ?? 0),
+        spec_snapshot: row.spec_snapshot,
+        release_version: row.release_version == null ? undefined : String(row.release_version),
+        release_notes: row.release_notes == null ? undefined : String(row.release_notes),
+        archived_at: String(row.archived_at),
+        archived_by: String(row.archived_by),
+    };
+}
+export class SupabaseArchiveAdapter {
+    db;
+    constructor(config) {
+        const { url, secret_key } = requireArchiveConfig(config);
+        this.db = createClient(url, secret_key, {
+            auth: {
+                autoRefreshToken: false,
+                persistSession: false,
+            },
+        });
+    }
+    async uploadArchive(input) {
+        await this.ensureBucket();
+        const folder = `${input.feature_id}`;
+        const files_uploaded = [];
+        const errors = [];
+        let total_size_bytes = 0;
+        for (const file of input.files) {
+            const path = `${folder}/${file.name}`;
+            const content = new TextEncoder().encode(file.content);
+            total_size_bytes += content.byteLength;
+            const { error } = await this.db.storage
+                .from(STORAGE_BUCKET)
+                .upload(path, content, {
+                contentType: 'text/markdown',
+                upsert: true,
+            });
+            if (error != null) {
+                errors.push(`${file.name}: ${error.message}`);
+            }
+            else {
+                files_uploaded.push(file.name);
+            }
+        }
+        return {
+            success: errors.length === 0,
+            storage_path: folder,
+            files_uploaded,
+            total_size_bytes,
+            errors: errors.length > 0 ? errors : undefined,
+        };
+    }
+    async recordArchive(input) {
+        const { data, error } = await this.db
+            .from('feature_archives')
+            .upsert({
+            feature_id: input.feature_id,
+            storage_path: input.storage_path,
+            summary: input.summary,
+            files_archived: input.files_archived,
+            total_size_bytes: input.total_size_bytes,
+            spec_snapshot: input.spec_snapshot,
+            release_version: input.release_version ?? null,
+            release_notes: input.release_notes ?? null,
+            archived_by: input.archived_by,
+        }, { onConflict: 'feature_id' })
+            .select('*')
+            .single();
+        if (error != null || data == null) {
+            throw new Error(`Failed to record feature archive: ${error?.message ?? 'No result returned.'}`);
+        }
+        return toArchiveRecord(data);
+    }
+    async listArchives(feature_id) {
+        const { data, error } = await this.db
+            .from('feature_archives')
+            .select('*')
+            .eq('feature_id', feature_id)
+            .order('archived_at', { ascending: false });
+        if (error != null || data == null) {
+            return [];
+        }
+        return data.map(toArchiveRecord);
+    }
+    async ensureBucket() {
+        const { data } = await this.db.storage.getBucket(STORAGE_BUCKET);
+        if (data != null)
+            return;
+        const { error } = await this.db.storage.createBucket(STORAGE_BUCKET, {
+            public: false,
+        });
+        if (error != null && !error.message.includes('already exists')) {
+            throw new Error(`Failed to create storage bucket "${STORAGE_BUCKET}": ${error.message}`);
+        }
+    }
+}
+//# sourceMappingURL=supabase.js.map

package/dist/adapters/archive/supabase.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"supabase.js","sourceRoot":"","sources":["../../../src/adapters/archive/supabase.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAuB,MAAM,uBAAuB,CAAC;AAQ1E,MAAM,cAAc,GAAG,kBAAkB,CAAC;AAE1C,SAAS,oBAAoB,CAAC,MAAqB;IAIjD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC;IACjC,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC;IAE/C,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,yEAAyE,CAC1E,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,eAAe,CAAC,GAAe;IACtC,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QAClC,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC;QACtC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;QAC5B,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;YAC/C,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAClD,CAAC,CAAC,EAAE;QACN,gBAAgB,EAAE,MAAM,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,CAAC;QACnD,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,eAAe,EAAE,GAAG,CAAC,eAAe,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC;QACtF,aAAa,EAAE,GAAG,CAAC,aAAa,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC;QAChF,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC;QACpC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC;KACrC,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,sBAAsB;IAChB,EAAE,CAAiB;IAEpC,YAAY,MAAqB;QAC/B,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAEzD,IAAI,CAAC,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE;YACtC,IAAI,EAAE;gBACJ,gBAAgB,EAAE,KAAK;gBACvB,cAAc,EAAE,KAAK;aACtB;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,KAAyB;QAC3C,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;QAE1B,MAAM,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;QACrC,MAAM,cAAc,GAAa,EAAE,CAAC;QACpC,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,gBAAgB,GAAG,CAAC,CAAC;QAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,GAAG,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvD,gBAAgB,IAAI,OAAO,CAAC,UAAU,CAAC;YAEvC,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO;iBACpC,IAAI,CAAC,cAAc,CAAC;iBACpB,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE;gBACrB,WAAW,EAAE,eAAe;gBAC5B,MAAM,EAAE,IAAI;aACb,CAAC,CAAC;YAEL,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;YAChD,CAAC;iBAAM,CAAC;gBACN,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QAED,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YAC5B,YAAY,EAAE,MAAM;YACpB,cAAc;YACd,gBAAgB;YAChB,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;SAC/C,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,KAAyB;QAC3C,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE;aAClC,IAAI,CAAC,kBAAkB,CAAC;aACxB,MAAM,CACL;YACE,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,eAAe,EAAE,KAAK,CAAC,eAAe,IAAI,IAAI;YAC9C,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,IAAI;YAC1C,WAAW,EAAE,KAAK,CAAC,WAAW;SAC/B,EACD,EAAE,UAAU,EAAE,YAAY,EAAE,CAC7B;aACA,MAAM,CAAC,GAAG,CAAC;aACX,MAAM,EAAE,CAAC;QAEZ,IAAI,KAAK,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,EAAE,OAAO,IAAI,qBAAqB,EAAE,CAAC,CAAC;QAClG,CAAC;QAED,OAAO,eAAe,CAAC,IAAkB,CAAC,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,UAAkB;QACnC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE;aAClC,IAAI,CAAC,kBAAkB,CAAC;aACxB,MAAM,CAAC,GAAG,CAAC;aACX,EAAE,CAAC,YAAY,EAAE,UAAU,CAAC;aAC5B,KAAK,CAAC,aAAa,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAE9C,IAAI,KAAK,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YAClC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAQ,IAAqB,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACrD,CAAC;IAEO,KAAK,CAAC,YAAY;QACxB,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACjE,IAAI,IAAI,IAAI,IAAI;YAAE,OAAO;QAEzB,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,cAAc,EAAE;YACnE,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;QAEH,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,oCAAoC,cAAc,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;CACF"}

package/dist/adapters/archive/types.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Archive Adapter Types
+ * Version: 0.1.0
+ */
+import type { ArchiveFile, ArchiveUploadResult, FeatureArchiveRecord } from '../../types.js';
+export interface UploadArchiveInput {
+    feature_id: string;
+    files: ArchiveFile[];
+}
+export interface RecordArchiveInput {
+    feature_id: string;
+    storage_path: string;
+    summary: string;
+    files_archived: string[];
+    total_size_bytes: number;
+    spec_snapshot: unknown;
+    release_version?: string;
+    release_notes?: string;
+    archived_by: string;
+}
+export interface ArchiveAdapter {
+    uploadArchive(input: UploadArchiveInput): Promise<ArchiveUploadResult>;
+    recordArchive(input: RecordArchiveInput): Promise<FeatureArchiveRecord>;
+    listArchives(feature_id: string): Promise<FeatureArchiveRecord[]>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/adapters/archive/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/adapters/archive/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE7F,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,WAAW,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,gBAAgB,EAAE,MAAM,CAAC;IACzB,aAAa,EAAE,OAAO,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACvE,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACxE,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,EAAE,CAAC,CAAC;CACnE"}

package/dist/adapters/archive/types.js

@@ -0,0 +1,6 @@
+/**
+ * Archive Adapter Types
+ * Version: 0.1.0
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/adapters/archive/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/adapters/archive/types.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/adapters/formal-verification/tla-precheck.d.ts

@@ -0,0 +1,22 @@
+/**
+ * TLA+ PreCheck Adapter
+ * Version: 0.1.0
+ */
+import type { FormalVerificationAdapter, MachineVerificationResult, VerifyDesignRequest } from './types.js';
+/**
+ * tla-precheck `check` writes two JSON blobs to stdout separated by a text line.
+ * Extract the last valid JSON object (the verification result).
+ */
+export declare function extractLastJson(stdout: string): string | null;
+export declare function parseCliOutput(stdout: string, machine_path: string): MachineVerificationResult;
+export declare class TlaPreCheckAdapter implements FormalVerificationAdapter {
+    private readonly project_root;
+    private readonly timeout_ms;
+    private readonly trace_dir;
+    constructor(project_root: string, timeout_seconds?: number);
+    isAvailable(): Promise<boolean>;
+    verifyDesign(request: VerifyDesignRequest): Promise<MachineVerificationResult>;
+    private resolveBinaryPath;
+    private writeTraceLogs;
+}
+//# sourceMappingURL=tla-precheck.d.ts.map

package/dist/adapters/formal-verification/tla-precheck.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tla-precheck.d.ts","sourceRoot":"","sources":["../../../src/adapters/formal-verification/tla-precheck.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH,OAAO,KAAK,EACV,yBAAyB,EAEzB,yBAAyB,EACzB,mBAAmB,EACpB,MAAM,YAAY,CAAC;AAuEpB;;;GAGG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAmB7D;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,yBAAyB,CAmE9F;AAED,qBAAa,kBAAmB,YAAW,yBAAyB;IAClE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAS;IACtC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;gBAEvB,YAAY,EAAE,MAAM,EAAE,eAAe,GAAE,MAAY;IAMzD,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC;IAsB/B,YAAY,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,yBAAyB,CAAC;IAkHpF,OAAO,CAAC,iBAAiB;YAIX,cAAc;CAS7B"}