rig-constellation 0.1.0

package/generated/.manifest

@@ -0,0 +1,57 @@
+{
+  "version": 1,
+  "files": {
+    "core/anchors-registry.ts": "beb53c35680dc34b",
+    "core/migrations.ts": "314120cca2471a13",
+    "core/schema.sql": "52ebe9156c8a633a",
+    "installer/claude.instructions.md": "b3dba5ffef028fbc",
+    "installer/claude.permissions.json": "3b9a29a1fc774419",
+    "installer/codex.instructions.md": "85f4bcec18733e6f",
+    "installer/codex.permissions.json": "3b9a29a1fc774419",
+    "installer/cursor.instructions.md": "550ff29bf8608ce3",
+    "installer/cursor.permissions.json": "3b9a29a1fc774419",
+    "installer/opencode.instructions.md": "a7298c966bbcbe7a",
+    "installer/opencode.permissions.json": "3b9a29a1fc774419",
+    "installer/openrouter.instructions.md": "54b3cccb03080c78",
+    "installer/openrouter.permissions.json": "3b9a29a1fc774419",
+    "mcp/handlers-index.ts": "8aa59ae4f775091f",
+    "mcp/handlers/rig_add_alias.handler.ts": "f416a8a5c90f1ca7",
+    "mcp/handlers/rig_add_node.handler.ts": "c002f1cdb5230a2f",
+    "mcp/handlers/rig_aliases.handler.ts": "c4838d5742f03c4a",
+    "mcp/handlers/rig_annotate.handler.ts": "bfd7d8611cb0106e",
+    "mcp/handlers/rig_callees.handler.ts": "41945f900c2a4718",
+    "mcp/handlers/rig_callers.handler.ts": "9d932f214b57fc15",
+    "mcp/handlers/rig_chain.handler.ts": "768d2fc35319d4e5",
+    "mcp/handlers/rig_cluster.handler.ts": "c3aee5953d2db840",
+    "mcp/handlers/rig_cold.handler.ts": "ca376ea14df0b3af",
+    "mcp/handlers/rig_context.handler.ts": "53dad4af1fcda2ab",
+    "mcp/handlers/rig_critical_path.handler.ts": "51888df0e863b044",
+    "mcp/handlers/rig_dep_conflicts.handler.ts": "40470cd696f6a140",
+    "mcp/handlers/rig_deps.handler.ts": "29828a670d3468c0",
+    "mcp/handlers/rig_drill.handler.ts": "a61c46a4d0249b45",
+    "mcp/handlers/rig_drop_waypoint.handler.ts": "d4e35fe8c8bca709",
+    "mcp/handlers/rig_explore.handler.ts": "5fad1a5e7b4b40ef",
+    "mcp/handlers/rig_files.handler.ts": "d8db41d00f84be60",
+    "mcp/handlers/rig_focus.handler.ts": "902ecccf8e5e4fcf",
+    "mcp/handlers/rig_hotspots.handler.ts": "d4addbb2c46a3ef0",
+    "mcp/handlers/rig_hub_of.handler.ts": "b3c4fbaf118765f0",
+    "mcp/handlers/rig_hubs.handler.ts": "28c66afae61993c1",
+    "mcp/handlers/rig_impact.handler.ts": "6294509669d3b4e4",
+    "mcp/handlers/rig_neighbors.handler.ts": "e0fbefc0c732850f",
+    "mcp/handlers/rig_node.handler.ts": "061d2328c65ddad1",
+    "mcp/handlers/rig_phantom_imports.handler.ts": "6396c7b6e250f627",
+    "mcp/handlers/rig_promote.handler.ts": "7fcd3cad0ec86f95",
+    "mcp/handlers/rig_propose_edge.handler.ts": "1c57558cafcc96b4",
+    "mcp/handlers/rig_pull.handler.ts": "cf008f36c6ab829b",
+    "mcp/handlers/rig_relevant_skills.handler.ts": "78d3a69c4e735ab1",
+    "mcp/handlers/rig_search.handler.ts": "ca32b0de149f8a73",
+    "mcp/handlers/rig_session_token.handler.ts": "14d7e8c940ccffa8",
+    "mcp/handlers/rig_status.handler.ts": "ddf2754733594794",
+    "mcp/handlers/rig_subscribe.handler.ts": "92746a3928399606",
+    "mcp/handlers/rig_undo.handler.ts": "2addb3a0315adb0d",
+    "mcp/handlers/rig_unused_deps.handler.ts": "79d099728b1a2de6",
+    "mcp/handlers/rig_waypoints.handler.ts": "29f87f767a3b27e2",
+    "mcp/tools-manifest.json": "3196cbb161d16e2d",
+    "web/ws-events.ts": "e974a13abab1e2c2"
+  }
+}

package/generated/core/anchors-registry.ts

@@ -0,0 +1,70 @@
+// GENERATED FILE — DO NOT EDIT.
+// Source: .contracts/anchors/cluster.contract.ts, .contracts/anchors/code-symbol.contract.ts, .contracts/anchors/conversation-waypoint.contract.ts, .contracts/anchors/declared-dependency.contract.ts, .contracts/anchors/markdown-section.contract.ts, .contracts/anchors/skill.contract.ts
+// Edit the .contract.ts file(s), then run `bun run gen`.
+
+export interface AnchorTypeMeta {
+  type: string;
+  description: string;
+  extractor: 'tree-sitter' | 'custom' | 'manual';
+  ui: { icon: string; color: string; label_field: string; detail_fields?: string[] };
+  allowed_edges: { outgoing?: string[]; incoming?: string[] };
+  embeddable: boolean;
+  embedding_text: string[];
+}
+
+export const ANCHOR_REGISTRY: Record<string, AnchorTypeMeta> = {
+  'cluster': {
+    type: 'cluster',
+    description: "AI-curated grouping of related anchors; created by rig_cluster",
+    extractor: 'manual',
+    ui: {"icon":"layers","color":"c-violet","label_field":"name","detail_fields":["rationale","members"]},
+    allowed_edges: {"outgoing":["contains"],"incoming":["references"]},
+    embeddable: true,
+    embedding_text: ["name","rationale"],
+  },
+  'code-symbol': {
+    type: 'code-symbol',
+    description: "A function, class, method, or other code-level identifier",
+    extractor: 'tree-sitter',
+    ui: {"icon":"function","color":"c-teal","label_field":"name","detail_fields":["qualified_name","file_path","signature"]},
+    allowed_edges: {"outgoing":["calls","imports","extends","implements","contains","references"],"incoming":["calls","extends","implements","contains","references"]},
+    embeddable: true,
+    embedding_text: ["name","qualified_name","docstring","signature"],
+  },
+  'conversation-waypoint': {
+    type: 'conversation-waypoint',
+    description: "A discrete decision/observation/constraint/open-question/principle marker dropped by the AI during a session. Carries an analogy + summary + refs into the graph so future sessions can rehydrate the reasoning thread.",
+    extractor: 'manual',
+    ui: {"icon":"flag","color":"c-cyan","label_field":"title","detail_fields":["type","summary","analogy","key_terms"]},
+    allowed_edges: {"outgoing":["waypoint_succeeds","waypoint_references"],"incoming":["waypoint_succeeds"]},
+    embeddable: true,
+    embedding_text: ["title","summary","analogy","key_terms"],
+  },
+  'declared-dependency': {
+    type: 'declared-dependency',
+    description: "A dependency declared in a package-manifest file (package.json, requirements.txt, pyproject.toml, etc.). Carries its version spec + dev/runtime classification on the node.",
+    extractor: 'custom',
+    ui: {"icon":"package","color":"c-violet","label_field":"name","detail_fields":["spec","manifest_path","source"]},
+    allowed_edges: {"outgoing":["resolves_to"],"incoming":["manifest_declares","imports_package"]},
+    embeddable: false,
+    embedding_text: [],
+  },
+  'markdown-section': {
+    type: 'markdown-section',
+    description: "A heading inside a markdown document; nests by ATX heading level",
+    extractor: 'custom',
+    ui: {"icon":"heading","color":"c-amber","label_field":"name","detail_fields":["heading_path","file_path","level"]},
+    allowed_edges: {"outgoing":["contains","references"],"incoming":["contains","references"]},
+    embeddable: true,
+    embedding_text: ["name","heading_path"],
+  },
+  'skill': {
+    type: 'skill',
+    description: "An AI-callable tool exposed by the MCP server (e.g. rig_pull, rig_search). Seeded from the tools-manifest at session startup.",
+    extractor: 'manual',
+    ui: {"icon":"wrench","color":"c-fuchsia","label_field":"name","detail_fields":["tier","summary"]},
+    allowed_edges: {"outgoing":["references"],"incoming":["references","invoked_in_session"]},
+    embeddable: true,
+    embedding_text: ["name","description","summary"],
+  },
+};

package/generated/core/migrations.ts

@@ -0,0 +1,79 @@
+// GENERATED FILE — DO NOT EDIT.
+// Source: .contracts/migrations/v1.contract.ts, .contracts/migrations/v2.contract.ts, .contracts/migrations/v3.contract.ts, .contracts/migrations/v4.contract.ts, .contracts/migrations/v5.contract.ts, .contracts/migrations/v6.contract.ts, .contracts/migrations/v7.contract.ts, .contracts/migrations/v8.contract.ts, .contracts/migrations/v9.contract.ts, .contracts/migrations/v10.contract.ts, .contracts/migrations/v11.contract.ts
+// Edit the .contract.ts file(s), then run `bun run gen`.
+
+export interface Migration {
+  version: number;
+  description: string;
+  forward: string;
+  rollback: string;
+}
+
+export const MIGRATIONS: readonly Migration[] = [
+  {
+    version: 1,
+    description: "Initial Rig schema: nodes, structural + semantic edges, embeddings, activations, FTS5",
+    forward: "CREATE TABLE IF NOT EXISTS schema_versions (\n  version INTEGER PRIMARY KEY,\n  applied_at INTEGER NOT NULL\n);\n\nCREATE TABLE IF NOT EXISTS files (\n  id INTEGER PRIMARY KEY AUTOINCREMENT,\n  path TEXT NOT NULL UNIQUE,\n  mtime INTEGER NOT NULL,\n  hash TEXT NOT NULL\n);\nCREATE INDEX IF NOT EXISTS idx_files_path ON files(path);\n\nCREATE TABLE IF NOT EXISTS nodes (\n  id TEXT PRIMARY KEY,\n  type TEXT NOT NULL,\n  name TEXT NOT NULL,\n  data TEXT NOT NULL,\n  pull_score REAL DEFAULT 0,\n  created_at INTEGER NOT NULL,\n  updated_at INTEGER NOT NULL\n);\nCREATE INDEX IF NOT EXISTS idx_nodes_type ON nodes(type);\nCREATE INDEX IF NOT EXISTS idx_nodes_name ON nodes(name);\n\nCREATE TABLE IF NOT EXISTS edges (\n  src TEXT NOT NULL,\n  dst TEXT NOT NULL,\n  kind TEXT NOT NULL,\n  provenance TEXT NOT NULL,\n  created_at INTEGER NOT NULL,\n  PRIMARY KEY (src, dst, kind),\n  FOREIGN KEY (src) REFERENCES nodes(id) ON DELETE CASCADE,\n  FOREIGN KEY (dst) REFERENCES nodes(id) ON DELETE CASCADE\n);\nCREATE INDEX IF NOT EXISTS idx_edges_src ON edges(src);\nCREATE INDEX IF NOT EXISTS idx_edges_dst ON edges(dst);\nCREATE INDEX IF NOT EXISTS idx_edges_provenance ON edges(provenance);\n\nCREATE TABLE IF NOT EXISTS edges_semantic (\n  src TEXT NOT NULL,\n  dst TEXT NOT NULL,\n  weight REAL NOT NULL,\n  provenance TEXT NOT NULL,\n  rationale TEXT,\n  created_at INTEGER NOT NULL,\n  PRIMARY KEY (src, dst, provenance),\n  FOREIGN KEY (src) REFERENCES nodes(id) ON DELETE CASCADE,\n  FOREIGN KEY (dst) REFERENCES nodes(id) ON DELETE CASCADE\n);\nCREATE INDEX IF NOT EXISTS idx_edges_semantic_src ON edges_semantic(src);\nCREATE INDEX IF NOT EXISTS idx_edges_semantic_dst ON edges_semantic(dst);\n\nCREATE TABLE IF NOT EXISTS embeddings (\n  node_id TEXT PRIMARY KEY,\n  model TEXT NOT NULL,\n  dim INTEGER NOT NULL,\n  vector BLOB NOT NULL,\n  FOREIGN KEY (node_id) REFERENCES nodes(id) ON DELETE CASCADE\n);\n\nCREATE TABLE IF NOT EXISTS activations (\n  node_id TEXT NOT NULL,\n  ts INTEGER NOT NULL,\n  source TEXT NOT NULL\n);\nCREATE INDEX IF NOT EXISTS idx_activations_node_ts ON activations(node_id, ts);\n\nCREATE TABLE IF NOT EXISTS unresolved_refs (\n  id INTEGER PRIMARY KEY AUTOINCREMENT,\n  src TEXT NOT NULL,\n  target_name TEXT NOT NULL,\n  file_path TEXT NOT NULL,\n  line INTEGER NOT NULL\n);\n\nCREATE VIRTUAL TABLE IF NOT EXISTS nodes_fts USING fts5(\n  name, qualified_name, node_id UNINDEXED\n);\n\nCREATE TRIGGER IF NOT EXISTS nodes_after_insert AFTER INSERT ON nodes BEGIN\n  INSERT INTO nodes_fts(name, qualified_name, node_id)\n  VALUES (\n    NEW.name,\n    COALESCE(json_extract(NEW.data, '$.qualifiedName'), NEW.name),\n    NEW.id\n  );\nEND;\n\nCREATE TRIGGER IF NOT EXISTS nodes_after_update AFTER UPDATE ON nodes BEGIN\n  DELETE FROM nodes_fts WHERE node_id = OLD.id;\n  INSERT INTO nodes_fts(name, qualified_name, node_id)\n  VALUES (\n    NEW.name,\n    COALESCE(json_extract(NEW.data, '$.qualifiedName'), NEW.name),\n    NEW.id\n  );\nEND;\n\nCREATE TRIGGER IF NOT EXISTS nodes_after_delete AFTER DELETE ON nodes BEGIN\n  DELETE FROM nodes_fts WHERE node_id = OLD.id;\nEND;",
+    rollback: "DROP TRIGGER IF EXISTS nodes_after_delete;\nDROP TRIGGER IF EXISTS nodes_after_update;\nDROP TRIGGER IF EXISTS nodes_after_insert;\nDROP TABLE IF EXISTS nodes_fts;\nDROP TABLE IF EXISTS unresolved_refs;\nDROP TABLE IF EXISTS activations;\nDROP TABLE IF EXISTS embeddings;\nDROP TABLE IF EXISTS edges_semantic;\nDROP TABLE IF EXISTS edges;\nDROP TABLE IF EXISTS nodes;\nDROP TABLE IF EXISTS files;\nDROP TABLE IF EXISTS schema_versions;",
+  },
+  {
+    version: 2,
+    description: "Phase 3 read-write: pending_edges, mutation_log, provenance triggers",
+    forward: "CREATE TABLE IF NOT EXISTS pending_edges (\n  id INTEGER PRIMARY KEY AUTOINCREMENT,\n  src TEXT NOT NULL REFERENCES nodes(id) ON DELETE CASCADE,\n  dst TEXT NOT NULL REFERENCES nodes(id) ON DELETE CASCADE,\n  kind TEXT NOT NULL DEFAULT 'related',\n  weight REAL NOT NULL DEFAULT 0.5,\n  provenance TEXT NOT NULL,\n  rationale TEXT NOT NULL,\n  proposed_at INTEGER NOT NULL,\n  session_id TEXT NOT NULL,\n  status TEXT NOT NULL CHECK(status IN ('pending','accepted','rejected'))\n);\nCREATE INDEX IF NOT EXISTS idx_pending_edges_status ON pending_edges(status);\nCREATE INDEX IF NOT EXISTS idx_pending_edges_session ON pending_edges(session_id);\n\nCREATE TABLE IF NOT EXISTS mutation_log (\n  id INTEGER PRIMARY KEY AUTOINCREMENT,\n  ts INTEGER NOT NULL,\n  session_id TEXT NOT NULL,\n  kind TEXT NOT NULL,\n  payload TEXT NOT NULL,\n  actor TEXT NOT NULL\n);\nCREATE INDEX IF NOT EXISTS idx_mutation_log_session_ts ON mutation_log(session_id, ts);\nCREATE INDEX IF NOT EXISTS idx_mutation_log_ts ON mutation_log(ts);\n\nCREATE TRIGGER IF NOT EXISTS edges_provenance_nonempty\n  BEFORE INSERT ON edges\n  WHEN NEW.provenance IS NULL OR NEW.provenance = ''\n  BEGIN\n    SELECT RAISE(ABORT, 'edges: provenance required');\n  END;\n\nCREATE TRIGGER IF NOT EXISTS edges_semantic_provenance_nonempty\n  BEFORE INSERT ON edges_semantic\n  WHEN NEW.provenance IS NULL OR NEW.provenance = ''\n  BEGIN\n    SELECT RAISE(ABORT, 'edges_semantic: provenance required');\n  END;\n\nCREATE TRIGGER IF NOT EXISTS pending_edges_provenance_nonempty\n  BEFORE INSERT ON pending_edges\n  WHEN NEW.provenance IS NULL OR NEW.provenance = ''\n  BEGIN\n    SELECT RAISE(ABORT, 'pending_edges: provenance required');\n  END;\n\nCREATE TRIGGER IF NOT EXISTS pending_edges_rationale_nonempty\n  BEFORE INSERT ON pending_edges\n  WHEN NEW.rationale IS NULL OR NEW.rationale = ''\n  BEGIN\n    SELECT RAISE(ABORT, 'pending_edges: rationale required');\n  END;",
+    rollback: "DROP TRIGGER IF EXISTS pending_edges_rationale_nonempty;\nDROP TRIGGER IF EXISTS pending_edges_provenance_nonempty;\nDROP TRIGGER IF EXISTS edges_semantic_provenance_nonempty;\nDROP TRIGGER IF EXISTS edges_provenance_nonempty;\nDROP TABLE IF EXISTS mutation_log;\nDROP TABLE IF EXISTS pending_edges;",
+  },
+  {
+    version: 3,
+    description: "Phase 3.5 A1: hub-and-spoke topology — is_hub + hubness on nodes",
+    forward: "ALTER TABLE nodes ADD COLUMN is_hub INTEGER NOT NULL DEFAULT 0;\nALTER TABLE nodes ADD COLUMN hubness REAL NOT NULL DEFAULT 0;\nALTER TABLE nodes ADD COLUMN hub_explicit INTEGER NOT NULL DEFAULT 0;\nCREATE INDEX IF NOT EXISTS idx_nodes_is_hub ON nodes(is_hub) WHERE is_hub = 1;\nCREATE INDEX IF NOT EXISTS idx_nodes_hubness ON nodes(hubness DESC);",
+    rollback: "DROP INDEX IF EXISTS idx_nodes_hubness;\nDROP INDEX IF EXISTS idx_nodes_is_hub;\n-- SQLite cannot DROP COLUMN before 3.35; rollback is destructive (table recreate).\n-- Left as a no-op for forward-only deployments.",
+  },
+  {
+    version: 4,
+    description: "Phase 3.5 A3: aliases table + FTS5 union for canonical-anchor resolution",
+    forward: "CREATE TABLE IF NOT EXISTS aliases (\n  node_id TEXT NOT NULL REFERENCES nodes(id) ON DELETE CASCADE,\n  alias TEXT NOT NULL,\n  provenance TEXT NOT NULL,\n  rationale TEXT,\n  created_at INTEGER NOT NULL,\n  PRIMARY KEY (node_id, alias)\n);\nCREATE INDEX IF NOT EXISTS idx_aliases_alias ON aliases(alias);\n\nCREATE VIRTUAL TABLE IF NOT EXISTS aliases_fts USING fts5(\n  alias, node_id UNINDEXED, tokenize = 'unicode61'\n);\n\nCREATE TRIGGER IF NOT EXISTS aliases_after_insert AFTER INSERT ON aliases BEGIN\n  INSERT INTO aliases_fts(alias, node_id) VALUES (NEW.alias, NEW.node_id);\nEND;\n\nCREATE TRIGGER IF NOT EXISTS aliases_after_delete AFTER DELETE ON aliases BEGIN\n  DELETE FROM aliases_fts WHERE node_id = OLD.node_id AND alias = OLD.alias;\nEND;\n\nCREATE TRIGGER IF NOT EXISTS aliases_provenance_nonempty\n  BEFORE INSERT ON aliases\n  WHEN NEW.provenance IS NULL OR NEW.provenance = ''\n  BEGIN\n    SELECT RAISE(ABORT, 'aliases: provenance required');\n  END;",
+    rollback: "DROP TRIGGER IF EXISTS aliases_provenance_nonempty;\nDROP TRIGGER IF EXISTS aliases_after_delete;\nDROP TRIGGER IF EXISTS aliases_after_insert;\nDROP TABLE IF EXISTS aliases_fts;\nDROP INDEX IF EXISTS idx_aliases_alias;\nDROP TABLE IF EXISTS aliases;",
+  },
+  {
+    version: 5,
+    description: "A3.5 perf: text_hash on embeddings lets re-index skip unchanged nodes",
+    forward: "ALTER TABLE embeddings ADD COLUMN text_hash TEXT NOT NULL DEFAULT '';",
+    rollback: "-- SQLite cannot DROP COLUMN before 3.35; intentional no-op.",
+  },
+  {
+    version: 6,
+    description: "A4-lite: community_id column on nodes for label-propagation clustering",
+    forward: "ALTER TABLE nodes ADD COLUMN community_id INTEGER NOT NULL DEFAULT 0;\nCREATE INDEX IF NOT EXISTS idx_nodes_community ON nodes(community_id);",
+    rollback: "DROP INDEX IF EXISTS idx_nodes_community;\n-- SQLite cannot DROP COLUMN before 3.35; intentional no-op.",
+  },
+  {
+    version: 7,
+    description: "Scope nodes_after_update FTS trigger to name + data columns",
+    forward: "DROP TRIGGER IF EXISTS nodes_after_update;\nCREATE TRIGGER nodes_after_update AFTER UPDATE OF name, data ON nodes BEGIN\n  DELETE FROM nodes_fts WHERE node_id = OLD.id;\n  INSERT INTO nodes_fts(name, qualified_name, node_id)\n  VALUES (\n    NEW.name,\n    COALESCE(json_extract(NEW.data, '$.qualifiedName'), NEW.name),\n    NEW.id\n  );\nEND;",
+    rollback: "DROP TRIGGER IF EXISTS nodes_after_update;\nCREATE TRIGGER nodes_after_update AFTER UPDATE ON nodes BEGIN\n  DELETE FROM nodes_fts WHERE node_id = OLD.id;\n  INSERT INTO nodes_fts(name, qualified_name, node_id)\n  VALUES (\n    NEW.name,\n    COALESCE(json_extract(NEW.data, '$.qualifiedName'), NEW.name),\n    NEW.id\n  );\nEND;",
+  },
+  {
+    version: 8,
+    description: "C1: session_id + query_hash columns on activations",
+    forward: "ALTER TABLE activations ADD COLUMN session_id TEXT;\nALTER TABLE activations ADD COLUMN query_hash TEXT;\nCREATE INDEX IF NOT EXISTS idx_activations_query_hash ON activations(query_hash);\nCREATE INDEX IF NOT EXISTS idx_activations_session ON activations(session_id);",
+    rollback: "DROP INDEX IF EXISTS idx_activations_session;\nDROP INDEX IF EXISTS idx_activations_query_hash;\n-- SQLite cannot DROP COLUMN before 3.35; intentional no-op for older runtimes.",
+  },
+  {
+    version: 9,
+    description: "B1: sessions table for waypoint provenance",
+    forward: "CREATE TABLE IF NOT EXISTS sessions (\n  id TEXT PRIMARY KEY,\n  started_at INTEGER NOT NULL,\n  last_seen INTEGER NOT NULL,\n  title TEXT,\n  context_model TEXT\n);\nCREATE INDEX IF NOT EXISTS idx_sessions_last_seen ON sessions(last_seen DESC);",
+    rollback: "DROP INDEX IF EXISTS idx_sessions_last_seen;\nDROP TABLE IF EXISTS sessions;",
+  },
+  {
+    version: 10,
+    description: "A2 follow-up: kind column on unresolved_refs for phantom-import detection",
+    forward: "ALTER TABLE unresolved_refs ADD COLUMN kind TEXT;\nCREATE INDEX IF NOT EXISTS idx_unresolved_kind_target ON unresolved_refs(kind, target_name);",
+    rollback: "DROP INDEX IF EXISTS idx_unresolved_kind_target;\n-- SQLite cannot DROP COLUMN before 3.35; intentional no-op.",
+  },
+  {
+    version: 11,
+    description: "E1: source_urls JSON column on pending_edges",
+    forward: "ALTER TABLE pending_edges ADD COLUMN source_urls TEXT;",
+    rollback: "-- SQLite cannot DROP COLUMN before 3.35; intentional no-op.",
+  },
+];

package/generated/core/schema.sql

@@ -0,0 +1,241 @@
+-- GENERATED FILE — DO NOT EDIT.
+-- Source: .contracts/migrations/v1.contract.ts, .contracts/migrations/v2.contract.ts, .contracts/migrations/v3.contract.ts, .contracts/migrations/v4.contract.ts, .contracts/migrations/v5.contract.ts, .contracts/migrations/v6.contract.ts, .contracts/migrations/v7.contract.ts, .contracts/migrations/v8.contract.ts, .contracts/migrations/v9.contract.ts, .contracts/migrations/v10.contract.ts, .contracts/migrations/v11.contract.ts
+-- Edit the .contract.ts file(s), then run `bun run gen`.
+
+-- v1: Initial Rig schema: nodes, structural + semantic edges, embeddings, activations, FTS5
+CREATE TABLE IF NOT EXISTS schema_versions (
+  version INTEGER PRIMARY KEY,
+  applied_at INTEGER NOT NULL
+);
+
+CREATE TABLE IF NOT EXISTS files (
+  id INTEGER PRIMARY KEY AUTOINCREMENT,
+  path TEXT NOT NULL UNIQUE,
+  mtime INTEGER NOT NULL,
+  hash TEXT NOT NULL
+);
+CREATE INDEX IF NOT EXISTS idx_files_path ON files(path);
+
+CREATE TABLE IF NOT EXISTS nodes (
+  id TEXT PRIMARY KEY,
+  type TEXT NOT NULL,
+  name TEXT NOT NULL,
+  data TEXT NOT NULL,
+  pull_score REAL DEFAULT 0,
+  created_at INTEGER NOT NULL,
+  updated_at INTEGER NOT NULL
+);
+CREATE INDEX IF NOT EXISTS idx_nodes_type ON nodes(type);
+CREATE INDEX IF NOT EXISTS idx_nodes_name ON nodes(name);
+
+CREATE TABLE IF NOT EXISTS edges (
+  src TEXT NOT NULL,
+  dst TEXT NOT NULL,
+  kind TEXT NOT NULL,
+  provenance TEXT NOT NULL,
+  created_at INTEGER NOT NULL,
+  PRIMARY KEY (src, dst, kind),
+  FOREIGN KEY (src) REFERENCES nodes(id) ON DELETE CASCADE,
+  FOREIGN KEY (dst) REFERENCES nodes(id) ON DELETE CASCADE
+);
+CREATE INDEX IF NOT EXISTS idx_edges_src ON edges(src);
+CREATE INDEX IF NOT EXISTS idx_edges_dst ON edges(dst);
+CREATE INDEX IF NOT EXISTS idx_edges_provenance ON edges(provenance);
+
+CREATE TABLE IF NOT EXISTS edges_semantic (
+  src TEXT NOT NULL,
+  dst TEXT NOT NULL,
+  weight REAL NOT NULL,
+  provenance TEXT NOT NULL,
+  rationale TEXT,
+  created_at INTEGER NOT NULL,
+  PRIMARY KEY (src, dst, provenance),
+  FOREIGN KEY (src) REFERENCES nodes(id) ON DELETE CASCADE,
+  FOREIGN KEY (dst) REFERENCES nodes(id) ON DELETE CASCADE
+);
+CREATE INDEX IF NOT EXISTS idx_edges_semantic_src ON edges_semantic(src);
+CREATE INDEX IF NOT EXISTS idx_edges_semantic_dst ON edges_semantic(dst);
+
+CREATE TABLE IF NOT EXISTS embeddings (
+  node_id TEXT PRIMARY KEY,
+  model TEXT NOT NULL,
+  dim INTEGER NOT NULL,
+  vector BLOB NOT NULL,
+  FOREIGN KEY (node_id) REFERENCES nodes(id) ON DELETE CASCADE
+);
+
+CREATE TABLE IF NOT EXISTS activations (
+  node_id TEXT NOT NULL,
+  ts INTEGER NOT NULL,
+  source TEXT NOT NULL
+);
+CREATE INDEX IF NOT EXISTS idx_activations_node_ts ON activations(node_id, ts);
+
+CREATE TABLE IF NOT EXISTS unresolved_refs (
+  id INTEGER PRIMARY KEY AUTOINCREMENT,
+  src TEXT NOT NULL,
+  target_name TEXT NOT NULL,
+  file_path TEXT NOT NULL,
+  line INTEGER NOT NULL
+);
+
+CREATE VIRTUAL TABLE IF NOT EXISTS nodes_fts USING fts5(
+  name, qualified_name, node_id UNINDEXED
+);
+
+CREATE TRIGGER IF NOT EXISTS nodes_after_insert AFTER INSERT ON nodes BEGIN
+  INSERT INTO nodes_fts(name, qualified_name, node_id)
+  VALUES (
+    NEW.name,
+    COALESCE(json_extract(NEW.data, '$.qualifiedName'), NEW.name),
+    NEW.id
+  );
+END;
+
+CREATE TRIGGER IF NOT EXISTS nodes_after_update AFTER UPDATE ON nodes BEGIN
+  DELETE FROM nodes_fts WHERE node_id = OLD.id;
+  INSERT INTO nodes_fts(name, qualified_name, node_id)
+  VALUES (
+    NEW.name,
+    COALESCE(json_extract(NEW.data, '$.qualifiedName'), NEW.name),
+    NEW.id
+  );
+END;
+
+CREATE TRIGGER IF NOT EXISTS nodes_after_delete AFTER DELETE ON nodes BEGIN
+  DELETE FROM nodes_fts WHERE node_id = OLD.id;
+END;
+
+-- v2: Phase 3 read-write: pending_edges, mutation_log, provenance triggers
+CREATE TABLE IF NOT EXISTS pending_edges (
+  id INTEGER PRIMARY KEY AUTOINCREMENT,
+  src TEXT NOT NULL REFERENCES nodes(id) ON DELETE CASCADE,
+  dst TEXT NOT NULL REFERENCES nodes(id) ON DELETE CASCADE,
+  kind TEXT NOT NULL DEFAULT 'related',
+  weight REAL NOT NULL DEFAULT 0.5,
+  provenance TEXT NOT NULL,
+  rationale TEXT NOT NULL,
+  proposed_at INTEGER NOT NULL,
+  session_id TEXT NOT NULL,
+  status TEXT NOT NULL CHECK(status IN ('pending','accepted','rejected'))
+);
+CREATE INDEX IF NOT EXISTS idx_pending_edges_status ON pending_edges(status);
+CREATE INDEX IF NOT EXISTS idx_pending_edges_session ON pending_edges(session_id);
+
+CREATE TABLE IF NOT EXISTS mutation_log (
+  id INTEGER PRIMARY KEY AUTOINCREMENT,
+  ts INTEGER NOT NULL,
+  session_id TEXT NOT NULL,
+  kind TEXT NOT NULL,
+  payload TEXT NOT NULL,
+  actor TEXT NOT NULL
+);
+CREATE INDEX IF NOT EXISTS idx_mutation_log_session_ts ON mutation_log(session_id, ts);
+CREATE INDEX IF NOT EXISTS idx_mutation_log_ts ON mutation_log(ts);
+
+CREATE TRIGGER IF NOT EXISTS edges_provenance_nonempty
+  BEFORE INSERT ON edges
+  WHEN NEW.provenance IS NULL OR NEW.provenance = ''
+  BEGIN
+    SELECT RAISE(ABORT, 'edges: provenance required');
+  END;
+
+CREATE TRIGGER IF NOT EXISTS edges_semantic_provenance_nonempty
+  BEFORE INSERT ON edges_semantic
+  WHEN NEW.provenance IS NULL OR NEW.provenance = ''
+  BEGIN
+    SELECT RAISE(ABORT, 'edges_semantic: provenance required');
+  END;
+
+CREATE TRIGGER IF NOT EXISTS pending_edges_provenance_nonempty
+  BEFORE INSERT ON pending_edges
+  WHEN NEW.provenance IS NULL OR NEW.provenance = ''
+  BEGIN
+    SELECT RAISE(ABORT, 'pending_edges: provenance required');
+  END;
+
+CREATE TRIGGER IF NOT EXISTS pending_edges_rationale_nonempty
+  BEFORE INSERT ON pending_edges
+  WHEN NEW.rationale IS NULL OR NEW.rationale = ''
+  BEGIN
+    SELECT RAISE(ABORT, 'pending_edges: rationale required');
+  END;
+
+-- v3: Phase 3.5 A1: hub-and-spoke topology — is_hub + hubness on nodes
+ALTER TABLE nodes ADD COLUMN is_hub INTEGER NOT NULL DEFAULT 0;
+ALTER TABLE nodes ADD COLUMN hubness REAL NOT NULL DEFAULT 0;
+ALTER TABLE nodes ADD COLUMN hub_explicit INTEGER NOT NULL DEFAULT 0;
+CREATE INDEX IF NOT EXISTS idx_nodes_is_hub ON nodes(is_hub) WHERE is_hub = 1;
+CREATE INDEX IF NOT EXISTS idx_nodes_hubness ON nodes(hubness DESC);
+
+-- v4: Phase 3.5 A3: aliases table + FTS5 union for canonical-anchor resolution
+CREATE TABLE IF NOT EXISTS aliases (
+  node_id TEXT NOT NULL REFERENCES nodes(id) ON DELETE CASCADE,
+  alias TEXT NOT NULL,
+  provenance TEXT NOT NULL,
+  rationale TEXT,
+  created_at INTEGER NOT NULL,
+  PRIMARY KEY (node_id, alias)
+);
+CREATE INDEX IF NOT EXISTS idx_aliases_alias ON aliases(alias);
+
+CREATE VIRTUAL TABLE IF NOT EXISTS aliases_fts USING fts5(
+  alias, node_id UNINDEXED, tokenize = 'unicode61'
+);
+
+CREATE TRIGGER IF NOT EXISTS aliases_after_insert AFTER INSERT ON aliases BEGIN
+  INSERT INTO aliases_fts(alias, node_id) VALUES (NEW.alias, NEW.node_id);
+END;
+
+CREATE TRIGGER IF NOT EXISTS aliases_after_delete AFTER DELETE ON aliases BEGIN
+  DELETE FROM aliases_fts WHERE node_id = OLD.node_id AND alias = OLD.alias;
+END;
+
+CREATE TRIGGER IF NOT EXISTS aliases_provenance_nonempty
+  BEFORE INSERT ON aliases
+  WHEN NEW.provenance IS NULL OR NEW.provenance = ''
+  BEGIN
+    SELECT RAISE(ABORT, 'aliases: provenance required');
+  END;
+
+-- v5: A3.5 perf: text_hash on embeddings lets re-index skip unchanged nodes
+ALTER TABLE embeddings ADD COLUMN text_hash TEXT NOT NULL DEFAULT '';
+
+-- v6: A4-lite: community_id column on nodes for label-propagation clustering
+ALTER TABLE nodes ADD COLUMN community_id INTEGER NOT NULL DEFAULT 0;
+CREATE INDEX IF NOT EXISTS idx_nodes_community ON nodes(community_id);
+
+-- v7: Scope nodes_after_update FTS trigger to name + data columns
+DROP TRIGGER IF EXISTS nodes_after_update;
+CREATE TRIGGER nodes_after_update AFTER UPDATE OF name, data ON nodes BEGIN
+  DELETE FROM nodes_fts WHERE node_id = OLD.id;
+  INSERT INTO nodes_fts(name, qualified_name, node_id)
+  VALUES (
+    NEW.name,
+    COALESCE(json_extract(NEW.data, '$.qualifiedName'), NEW.name),
+    NEW.id
+  );
+END;
+
+-- v8: C1: session_id + query_hash columns on activations
+ALTER TABLE activations ADD COLUMN session_id TEXT;
+ALTER TABLE activations ADD COLUMN query_hash TEXT;
+CREATE INDEX IF NOT EXISTS idx_activations_query_hash ON activations(query_hash);
+CREATE INDEX IF NOT EXISTS idx_activations_session ON activations(session_id);
+
+-- v9: B1: sessions table for waypoint provenance
+CREATE TABLE IF NOT EXISTS sessions (
+  id TEXT PRIMARY KEY,
+  started_at INTEGER NOT NULL,
+  last_seen INTEGER NOT NULL,
+  title TEXT,
+  context_model TEXT
+);
+CREATE INDEX IF NOT EXISTS idx_sessions_last_seen ON sessions(last_seen DESC);
+
+-- v10: A2 follow-up: kind column on unresolved_refs for phantom-import detection
+ALTER TABLE unresolved_refs ADD COLUMN kind TEXT;
+CREATE INDEX IF NOT EXISTS idx_unresolved_kind_target ON unresolved_refs(kind, target_name);
+
+-- v11: E1: source_urls JSON column on pending_edges
+ALTER TABLE pending_edges ADD COLUMN source_urls TEXT;