feat: AADL integration — schema, adapter, WASM rendering, architecture dogfood

.github/workflows/ci.yml

@@ -168,11 +168,11 @@ jobs:
 
   # ── MSRV check ──────────────────────────────────────────────────────
   msrv:
-    name: MSRV (1.85)
+    name: MSRV (1.89)
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: dtolnay/rust-toolchain@1.85.0
+      - uses: dtolnay/rust-toolchain@1.89.0
       - uses: Swatinem/rust-cache@v2
       - run: cargo check --all
 

.gitignore

@@ -3,3 +3,7 @@
 *.swo
 .DS_Store
 .claude/worktrees/
+
+# WASM binary assets (built or downloaded, not committed)
+rivet-cli/assets/wasm/*.wasm
+rivet-cli/assets/wasm/js/

.rivet/agent-context.md

@@ -0,0 +1,95 @@
+# Rivet Agent Context
+
+Auto-generated by `rivet context` — do not edit.
+
+## Project
+
+- **Name:** rivet
+- **Version:** 0.1.0
+- **Schemas:** common, dev, aadl
+- **Sources:** artifacts (generic-yaml)
+- **Docs:** docs, arch
+- **Results:** results
+
+## Artifacts
+
+| Type | Count | Example IDs |
+|------|-------|-------------|
+| aadl-component | 21 | ARCH-SYS-001, ARCH-SYS-002, ARCH-CORE-001 |
+| design-decision | 10 | DD-001, DD-002, DD-003 |
+| feature | 30 | FEAT-001, FEAT-002, FEAT-003 |
+| requirement | 16 | REQ-001, REQ-002, REQ-003 |
+| **Total** | **77** | |
+
+## Schema
+
+- **`aadl-analysis-result`** — Output of a spar analysis pass  
+  Required fields: analysis-name, severity
+- **`aadl-component`** — AADL component type or implementation imported from spar  
+  Required fields: category, aadl-package
+- **`aadl-flow`** — End-to-end flow with latency bounds  
+  Required fields: flow-kind
+- **`design-decision`** — An architectural or design decision with rationale  
+  Required fields: rationale
+- **`feature`** — A user-visible capability or feature  
+  Required fields: (none)
+- **`requirement`** — A functional or non-functional requirement  
+  Required fields: (none)
+
+### Link Types
+
+- `allocated-to` (inverse: `allocated-from`)
+- `constrained-by` (inverse: `constrains`)
+- `depends-on` (inverse: `depended-on-by`)
+- `derives-from` (inverse: `derived-into`)
+- `implements` (inverse: `implemented-by`)
+- `mitigates` (inverse: `mitigated-by`)
+- `modeled-by` (inverse: `models`)
+- `refines` (inverse: `refined-by`)
+- `satisfies` (inverse: `satisfied-by`)
+- `traces-to` (inverse: `traced-from`)
+- `verifies` (inverse: `verified-by`)
+
+## Traceability Rules
+
+| Rule | Source Type | Severity | Description |
+|------|------------|----------|-------------|
+| requirement-coverage | requirement | warning | Every requirement should be satisfied by at least one design decision or feature |
+| decision-justification | design-decision | error | Every design decision must link to at least one requirement |
+| aadl-component-has-allocation | aadl-component | info | AADL component should trace to a requirement or architecture element |
+
+## Coverage
+
+**Overall: 100.0%**
+
+| Rule | Source Type | Covered | Total | % |
+|------|------------|---------|-------|---|
+| requirement-coverage | requirement | 16 | 16 | 100.0% |
+| decision-justification | design-decision | 10 | 10 | 100.0% |
+| aadl-component-has-allocation | aadl-component | 21 | 21 | 100.0% |
+
+## Validation
+
+0 errors, 0 warnings
+
+## Documents
+
+4 documents loaded
+
+## Commands
+
+```bash
+rivet validate              # validate all artifacts
+rivet list                  # list all artifacts
+rivet list -t <type>        # filter by type
+rivet stats                 # artifact counts + orphans
+rivet coverage              # traceability coverage report
+rivet matrix --from X --to Y  # traceability matrix
+rivet diff --base A --head B  # compare artifact sets
+rivet schema list           # list schema types
+rivet schema show <type>    # show type details
+rivet schema rules          # list traceability rules
+rivet export -f generic-yaml  # export as YAML
+rivet serve                 # start dashboard on :3000
+rivet context               # regenerate this file
+```