niceeval 0.16.3-canary.99 → 0.17.1

package/dist/record/sqlite/legacy-schema-018.d.mts

@@ -0,0 +1,6 @@
+/**
+ * Frozen ProjectDatabase 0.18 schema. Keep the SQL bytes stable:
+ * they own the historical format fingerprint.
+ * The disjoint namespace fences writers prepared against the 0.17 tables.
+ */
+export declare const RECORD_SQLITE_018_BASELINE_SQL = "\nCREATE TABLE ne18_record_metadata (\n  singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n  format TEXT NOT NULL,\n  storage_revision INTEGER NOT NULL CHECK (storage_revision > 0),\n  storage_generation TEXT NOT NULL,\n  schema_fingerprint TEXT NOT NULL CHECK (length(schema_fingerprint) = 64),\n  created_at TEXT NOT NULL,\n  barrier_state TEXT NOT NULL CHECK (barrier_state IN ('open','draining','portable')),\n  portable_generation TEXT,\n  portable_revision INTEGER CHECK (portable_revision IS NULL OR portable_revision >= 0),\n  portable_gate_id TEXT,\n  record_payload BLOB,\n  record_digest TEXT,\n  CHECK ((record_payload IS NULL) = (record_digest IS NULL)),\n  CHECK (record_digest IS NULL OR length(record_digest) = 64),\n  CHECK ((barrier_state = 'portable') = (portable_generation IS NOT NULL)),\n  CHECK ((barrier_state = 'portable') = (portable_revision IS NOT NULL)),\n  CHECK ((barrier_state = 'open') = (portable_gate_id IS NULL))\n) STRICT;\nCREATE TABLE ne18_coordination_state (\n  singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n  revision INTEGER NOT NULL CHECK (revision >= 0),\n  operational_generation TEXT NOT NULL,\n  next_writer_sequence INTEGER NOT NULL CHECK (next_writer_sequence > 0),\n  writer_ticket_id TEXT,\n  writer_sequence INTEGER CHECK (writer_sequence IS NULL OR writer_sequence > 0),\n  writer_host TEXT,\n  writer_pid INTEGER CHECK (writer_pid IS NULL OR writer_pid > 0),\n  writer_boot_id TEXT,\n  writer_process_start TEXT,\n  writer_deadline INTEGER CHECK (writer_deadline IS NULL OR writer_deadline > 0),\n  writer_enqueued_at INTEGER CHECK (writer_enqueued_at IS NULL OR writer_enqueued_at > 0),\n  writer_nonce TEXT,\n  writer_admitted_at INTEGER CHECK (writer_admitted_at IS NULL OR writer_admitted_at > 0),\n  writer_lease_expires_at INTEGER CHECK (writer_lease_expires_at IS NULL OR writer_lease_expires_at > 0),\n  barrier_id TEXT,\n  barrier_nonce TEXT,\n  barrier_host TEXT,\n  barrier_pid INTEGER CHECK (barrier_pid IS NULL OR barrier_pid > 0),\n  barrier_boot_id TEXT,\n  barrier_process_start TEXT,\n  barrier_deadline INTEGER CHECK (barrier_deadline IS NULL OR barrier_deadline > 0),\n  barrier_requested_at INTEGER CHECK (barrier_requested_at IS NULL OR barrier_requested_at > 0),\n  barrier_lease_expires_at INTEGER CHECK (barrier_lease_expires_at IS NULL OR barrier_lease_expires_at > 0),\n  barrier_status TEXT CHECK (barrier_status IS NULL OR barrier_status IN ('requested','active')),\n  barrier_active_at INTEGER CHECK (barrier_active_at IS NULL OR barrier_active_at > 0),\n  CHECK ((writer_ticket_id IS NULL) = (writer_sequence IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_host IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_pid IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_boot_id IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_process_start IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_deadline IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_enqueued_at IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_nonce IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_admitted_at IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_lease_expires_at IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_nonce IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_host IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_pid IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_boot_id IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_process_start IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_deadline IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_requested_at IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_lease_expires_at IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_status IS NULL)),\n  CHECK (\n    (barrier_status IS NULL AND barrier_active_at IS NULL) OR\n    (barrier_status = 'requested' AND barrier_active_at IS NULL) OR\n    (barrier_status = 'active' AND barrier_active_at IS NOT NULL)\n  )\n) STRICT;\nCREATE TABLE ne18_coordination_tickets (\n  ticket_id TEXT PRIMARY KEY,\n  sequence INTEGER NOT NULL UNIQUE CHECK (sequence > 0),\n  host TEXT NOT NULL,\n  pid INTEGER NOT NULL CHECK (pid > 0),\n  boot_id TEXT NOT NULL,\n  process_start TEXT NOT NULL,\n  deadline INTEGER NOT NULL CHECK (deadline > 0),\n  enqueued_at INTEGER NOT NULL CHECK (enqueued_at > 0)\n) STRICT;\nCREATE TABLE ne18_runs (\n  run_id TEXT PRIMARY KEY,\n  status TEXT NOT NULL CHECK (status IN ('open','sealing','sealed')),\n  writer_generation TEXT NOT NULL,\n  started_at TEXT NOT NULL,\n  core_payload BLOB,\n  core_digest TEXT CHECK (core_digest IS NULL OR length(core_digest) = 64),\n  mutation_sequence INTEGER NOT NULL DEFAULT 0 CHECK (mutation_sequence >= 0),\n  candidate_seal_identity TEXT CHECK (candidate_seal_identity IS NULL OR length(candidate_seal_identity) = 64),\n  candidate_seal_entry_count INTEGER CHECK (candidate_seal_entry_count IS NULL OR candidate_seal_entry_count >= 0),\n  candidate_seal_staged_count INTEGER NOT NULL DEFAULT 0 CHECK (candidate_seal_staged_count >= 0),\n  logical_seal_identity TEXT,\n  CHECK ((core_payload IS NULL) = (core_digest IS NULL)),\n  CHECK ((candidate_seal_identity IS NULL) = (candidate_seal_entry_count IS NULL)),\n  CHECK ((status = 'open') = (candidate_seal_identity IS NULL)),\n  CHECK (candidate_seal_entry_count IS NULL OR candidate_seal_staged_count <= candidate_seal_entry_count),\n  CHECK (status != 'open' OR candidate_seal_staged_count = 0),\n  CHECK ((status = 'sealed') = (logical_seal_identity IS NOT NULL)),\n  CHECK (status = 'open' OR core_payload IS NOT NULL)\n) STRICT;\nCREATE TABLE ne18_slots (\n  run_id TEXT NOT NULL REFERENCES ne18_runs(run_id) ON DELETE CASCADE,\n  slot_id TEXT NOT NULL,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  core_payload BLOB NOT NULL,\n  core_digest TEXT NOT NULL CHECK (length(core_digest) = 64),\n  PRIMARY KEY (run_id, slot_id),\n  UNIQUE (run_id, ordinal)\n) STRICT;\nCREATE TABLE ne18_attempts (\n  origin_run_id TEXT NOT NULL REFERENCES ne18_runs(run_id) ON DELETE CASCADE,\n  attempt_id TEXT NOT NULL,\n  attempt_locator TEXT NOT NULL CHECK (length(attempt_locator) = 14 AND substr(attempt_locator,1,2) = '@1'),\n  publication_state TEXT NOT NULL DEFAULT 'staging' CHECK (publication_state IN ('staging','sealing','published')),\n  core_payload BLOB,\n  core_digest TEXT CHECK (core_digest IS NULL OR length(core_digest) = 64),\n  CHECK ((core_payload IS NULL) = (core_digest IS NULL)),\n  PRIMARY KEY (origin_run_id, attempt_id)\n) STRICT;\nCREATE TABLE ne18_members (\n  target_run_id TEXT NOT NULL,\n  slot_id TEXT NOT NULL,\n  origin_run_id TEXT,\n  attempt_id TEXT,\n  action TEXT NOT NULL CHECK (action IN ('executed','carried','accepted','not-dispatched','interrupted')),\n  core_payload BLOB NOT NULL,\n  core_digest TEXT NOT NULL CHECK (length(core_digest) = 64),\n  PRIMARY KEY (target_run_id, slot_id),\n  CHECK (\n    (action IN ('executed','carried','accepted') AND origin_run_id IS NOT NULL AND attempt_id IS NOT NULL) OR\n    (action IN ('not-dispatched','interrupted') AND origin_run_id IS NULL AND attempt_id IS NULL)\n  ),\n  FOREIGN KEY (target_run_id, slot_id) REFERENCES ne18_slots(run_id, slot_id) ON DELETE CASCADE\n) STRICT;\nCREATE TABLE ne18_attachments (\n  attachment_id TEXT PRIMARY KEY,\n  owner_kind TEXT NOT NULL CHECK (owner_kind IN ('run','attempt')),\n  owner_run_id TEXT NOT NULL REFERENCES ne18_runs(run_id) ON DELETE CASCADE,\n  owner_attempt_id TEXT,\n  family TEXT NOT NULL,\n  family_revision INTEGER NOT NULL CHECK (family_revision > 0),\n  logical_identity TEXT,\n  canonical_payload BLOB,\n  canonical_digest TEXT CHECK (canonical_digest IS NULL OR length(canonical_digest) = 64),\n  logical_inventory BLOB,\n  inventory_digest TEXT CHECK (inventory_digest IS NULL OR length(inventory_digest) = 64),\n  CHECK ((canonical_payload IS NULL) = (canonical_digest IS NULL)),\n  CHECK ((logical_inventory IS NULL) = (inventory_digest IS NULL)),\n  CHECK ((owner_kind = 'run' AND owner_attempt_id IS NULL) OR (owner_kind = 'attempt' AND owner_attempt_id IS NOT NULL)),\n  UNIQUE (owner_kind, owner_run_id, owner_attempt_id, family),\n  FOREIGN KEY (owner_run_id, owner_attempt_id) REFERENCES ne18_attempts(origin_run_id, attempt_id) ON DELETE CASCADE\n) STRICT;\nCREATE TABLE ne18_attachment_references (\n  attachment_id TEXT NOT NULL REFERENCES ne18_attachments(attachment_id) ON DELETE CASCADE,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  target_owner_kind TEXT NOT NULL CHECK (target_owner_kind IN ('run','attempt')),\n  target_family TEXT NOT NULL,\n  canonical_payload BLOB NOT NULL,\n  reference_digest TEXT NOT NULL CHECK (length(reference_digest) = 64),\n  PRIMARY KEY (attachment_id, ordinal)\n) STRICT;\nCREATE TABLE ne18_collection_items (\n  attachment_id TEXT NOT NULL REFERENCES ne18_attachments(attachment_id) ON DELETE CASCADE,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  logical_identity TEXT NOT NULL,\n  canonical_payload BLOB NOT NULL,\n  canonical_digest TEXT NOT NULL CHECK (length(canonical_digest) = 64),\n  PRIMARY KEY (attachment_id, ordinal),\n  UNIQUE (attachment_id, logical_identity)\n) STRICT;\nCREATE TABLE ne18_contents (\n  content_id TEXT PRIMARY KEY,\n  attachment_id TEXT NOT NULL REFERENCES ne18_attachments(attachment_id) ON DELETE CASCADE,\n  logical_handle TEXT NOT NULL,\n  byte_length INTEGER CHECK (byte_length IS NULL OR byte_length >= 0),\n  overall_digest TEXT CHECK (overall_digest IS NULL OR length(overall_digest) = 64),\n  chunk_count INTEGER CHECK (chunk_count IS NULL OR chunk_count >= 0),\n  CHECK ((byte_length IS NULL) = (overall_digest IS NULL) AND (overall_digest IS NULL) = (chunk_count IS NULL)),\n  UNIQUE (attachment_id, logical_handle)\n) STRICT;\nCREATE TABLE ne18_content_chunks (\n  content_id TEXT NOT NULL REFERENCES ne18_contents(content_id) ON DELETE CASCADE,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  bytes BLOB NOT NULL CHECK (length(bytes) <= 262144),\n  chunk_digest TEXT NOT NULL CHECK (length(chunk_digest) = 64),\n  PRIMARY KEY (content_id, ordinal)\n) STRICT;\nCREATE TABLE ne18_run_seal_entries (\n  run_id TEXT NOT NULL REFERENCES ne18_runs(run_id) ON DELETE CASCADE,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  entry_kind TEXT NOT NULL CHECK (entry_kind IN ('record','run','slot','member','attempt','attachment','attachment-reference','collection-item','content','content-chunk')),\n  logical_identity TEXT NOT NULL,\n  digest TEXT NOT NULL CHECK (length(digest) = 64),\n  PRIMARY KEY (run_id, ordinal),\n  UNIQUE (run_id, entry_kind, logical_identity)\n) STRICT;\nCREATE INDEX ne18_attachments_owner_family ON ne18_attachments(owner_kind, owner_run_id, owner_attempt_id, family);\nCREATE UNIQUE INDEX ne18_attachments_owner_family_unique ON ne18_attachments(owner_kind, owner_run_id, coalesce(owner_attempt_id,''), family);\nCREATE INDEX ne18_members_origin_attempt ON ne18_members(origin_run_id, attempt_id, target_run_id);\nCREATE INDEX ne18_attempts_locator ON ne18_attempts(attempt_locator, origin_run_id, attempt_id);\nCREATE INDEX ne18_references_target_family ON ne18_attachment_references(target_owner_kind, target_family);\nCREATE INDEX ne18_content_chunks_page ON ne18_content_chunks(content_id, ordinal);\nCREATE INDEX ne18_coordination_tickets_fifo ON ne18_coordination_tickets(sequence);\nCREATE TRIGGER ne18_coordination_ticket_barrier_insert BEFORE INSERT ON ne18_coordination_tickets WHEN (SELECT barrier_state FROM ne18_record_metadata WHERE singleton=1)!='open' BEGIN SELECT RAISE(ABORT, 'ProjectDatabase writer barrier is not open'); END;\nCREATE TRIGGER ne18_coordination_writer_barrier_update BEFORE UPDATE ON ne18_coordination_state WHEN NEW.writer_ticket_id IS NOT NULL AND (SELECT barrier_state FROM ne18_record_metadata WHERE singleton=1)!='open' BEGIN SELECT RAISE(ABORT, 'ProjectDatabase writer barrier is not open'); END;\nCREATE TRIGGER ne18_runs_sealed_update BEFORE UPDATE ON ne18_runs WHEN OLD.status = 'sealed' BEGIN SELECT RAISE(ABORT, 'sealed run is immutable'); END;\nCREATE TRIGGER ne18_runs_sealed_delete BEFORE DELETE ON ne18_runs WHEN OLD.status = 'sealed' BEGIN SELECT RAISE(ABORT, 'sealed run is immutable'); END;\nCREATE TRIGGER ne18_slots_sealed_insert BEFORE INSERT ON ne18_slots WHEN (SELECT status FROM ne18_runs WHERE run_id = NEW.run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_slots_sealed_update BEFORE UPDATE ON ne18_slots WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_slots_sealed_delete BEFORE DELETE ON ne18_slots WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attempts_sealed_insert BEFORE INSERT ON ne18_attempts WHEN (SELECT status FROM ne18_runs WHERE run_id = NEW.origin_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attempts_sealed_update BEFORE UPDATE ON ne18_attempts WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.origin_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attempts_sealed_delete BEFORE DELETE ON ne18_attempts WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.origin_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_members_sealed_insert BEFORE INSERT ON ne18_members WHEN (SELECT status FROM ne18_runs WHERE run_id = NEW.target_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_members_sealed_update BEFORE UPDATE ON ne18_members WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.target_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_members_sealed_delete BEFORE DELETE ON ne18_members WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.target_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attachments_sealed_insert BEFORE INSERT ON ne18_attachments WHEN (SELECT status FROM ne18_runs WHERE run_id = NEW.owner_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attachments_attempt_published_insert BEFORE INSERT ON ne18_attachments WHEN NEW.owner_kind='attempt' AND (SELECT publication_state FROM ne18_attempts WHERE origin_run_id=NEW.owner_run_id AND attempt_id=NEW.owner_attempt_id)='published' BEGIN SELECT RAISE(ABORT, 'published attempt is immutable'); END;\nCREATE TRIGGER ne18_attachments_sealed_update BEFORE UPDATE ON ne18_attachments WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.owner_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attachments_attempt_published_update BEFORE UPDATE ON ne18_attachments WHEN OLD.owner_kind='attempt' AND (SELECT publication_state FROM ne18_attempts WHERE origin_run_id=OLD.owner_run_id AND attempt_id=OLD.owner_attempt_id)='published' BEGIN SELECT RAISE(ABORT, 'published attempt is immutable'); END;\nCREATE TRIGGER ne18_attachments_sealed_delete BEFORE DELETE ON ne18_attachments WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.owner_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attachments_attempt_published_delete BEFORE DELETE ON ne18_attachments WHEN OLD.owner_kind='attempt' AND (SELECT publication_state FROM ne18_attempts WHERE origin_run_id=OLD.owner_run_id AND attempt_id=OLD.owner_attempt_id)='published' BEGIN SELECT RAISE(ABORT, 'published attempt is immutable'); END;\nCREATE TRIGGER ne18_references_sealed_insert BEFORE INSERT ON ne18_attachment_references WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=NEW.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_references_sealed_update BEFORE UPDATE ON ne18_attachment_references WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_references_sealed_delete BEFORE DELETE ON ne18_attachment_references WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_items_sealed_insert BEFORE INSERT ON ne18_collection_items WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=NEW.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_items_sealed_update BEFORE UPDATE ON ne18_collection_items WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_items_sealed_delete BEFORE DELETE ON ne18_collection_items WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_contents_sealed_insert BEFORE INSERT ON ne18_contents WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=NEW.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_contents_sealed_update BEFORE UPDATE ON ne18_contents WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_contents_sealed_delete BEFORE DELETE ON ne18_contents WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_chunks_sealed_insert BEFORE INSERT ON ne18_content_chunks WHEN (SELECT r.status FROM ne18_contents c JOIN ne18_attachments a ON a.attachment_id=c.attachment_id JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE c.content_id=NEW.content_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_chunks_sealed_update BEFORE UPDATE ON ne18_content_chunks WHEN (SELECT r.status FROM ne18_contents c JOIN ne18_attachments a ON a.attachment_id=c.attachment_id JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE c.content_id=OLD.content_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_chunks_sealed_delete BEFORE DELETE ON ne18_content_chunks WHEN (SELECT r.status FROM ne18_contents c JOIN ne18_attachments a ON a.attachment_id=c.attachment_id JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE c.content_id=OLD.content_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_seal_entries_sealed_insert BEFORE INSERT ON ne18_run_seal_entries WHEN (SELECT status FROM ne18_runs WHERE run_id = NEW.run_id) != 'sealing' BEGIN SELECT RAISE(ABORT, 'Seal candidates require sealing state'); END;\nCREATE TRIGGER ne18_seal_entries_sealed_update BEFORE UPDATE ON ne18_run_seal_entries BEGIN SELECT RAISE(ABORT, 'Seal entries are immutable'); END;\nCREATE TRIGGER ne18_seal_entries_sealed_delete BEFORE DELETE ON ne18_run_seal_entries WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'Seal entries are immutable'); END;\n\n\nCREATE TABLE ne18_run_publication_clock (\n  singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n  revision INTEGER NOT NULL CHECK (revision >= 0)\n) STRICT;\nCREATE TABLE ne18_run_resources (\n  run_id TEXT PRIMARY KEY,\n  invocation_id TEXT NOT NULL,\n  experiment_id TEXT NOT NULL,\n  started_at TEXT NOT NULL,\n  initial_writer_generation TEXT NOT NULL,\n  current_writer_generation TEXT NOT NULL,\n  terminal_state TEXT CHECK (terminal_state IS NULL OR terminal_state IN ('completed','interrupted','failed')),\n  completed_at TEXT,\n  created_revision INTEGER NOT NULL UNIQUE CHECK (created_revision > 0),\n  close_revision INTEGER UNIQUE CHECK (close_revision IS NULL OR close_revision > created_revision),\n  CHECK ((terminal_state IS NULL) = (completed_at IS NULL)),\n  CHECK ((terminal_state IS NULL) = (close_revision IS NULL))\n) STRICT;\nCREATE TABLE ne18_run_expected_slots (\n  run_id TEXT NOT NULL REFERENCES ne18_run_resources(run_id) ON DELETE RESTRICT,\n  slot_id TEXT NOT NULL,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  eval_id TEXT NOT NULL,\n  attempt_ordinal INTEGER NOT NULL CHECK (attempt_ordinal >= 0),\n  execution_identity_digest TEXT NOT NULL CHECK (length(execution_identity_digest) = 64),\n  PRIMARY KEY (run_id, slot_id),\n  UNIQUE (run_id, ordinal)\n) STRICT;\nCREATE TABLE ne18_attempt_publications (\n  attempt_id TEXT PRIMARY KEY,\n  attempt_locator TEXT NOT NULL CHECK (length(attempt_locator) = 14 AND substr(attempt_locator,1,2) = '@1'),\n  origin_run_id TEXT NOT NULL,\n  origin_slot_id TEXT NOT NULL,\n  closure_payload BLOB NOT NULL,\n  closure_digest TEXT NOT NULL CHECK (length(closure_digest) = 64),\n  published_revision INTEGER NOT NULL UNIQUE CHECK (published_revision > 0),\n  FOREIGN KEY (origin_run_id, origin_slot_id) REFERENCES ne18_run_expected_slots(run_id, slot_id) ON DELETE RESTRICT\n) STRICT;\nCREATE TABLE ne18_run_slot_bindings (\n  target_run_id TEXT NOT NULL,\n  slot_id TEXT NOT NULL,\n  attempt_id TEXT NOT NULL REFERENCES ne18_attempt_publications(attempt_id) ON DELETE RESTRICT,\n  origin_run_id TEXT NOT NULL,\n  origin_slot_id TEXT NOT NULL,\n  attempt_publication_revision INTEGER NOT NULL CHECK (attempt_publication_revision > 0),\n  action TEXT NOT NULL CHECK (action IN ('executed','carried','accepted')),\n  binding_revision INTEGER NOT NULL UNIQUE CHECK (binding_revision > 0),\n  PRIMARY KEY (target_run_id, slot_id),\n  FOREIGN KEY (target_run_id, slot_id) REFERENCES ne18_run_expected_slots(run_id, slot_id) ON DELETE RESTRICT,\n  FOREIGN KEY (origin_run_id, origin_slot_id) REFERENCES ne18_run_expected_slots(run_id, slot_id) ON DELETE RESTRICT\n) STRICT;\nCREATE TABLE ne18_run_slot_absences (\n  run_id TEXT NOT NULL,\n  slot_id TEXT NOT NULL,\n  reason TEXT NOT NULL CHECK (reason IN ('early-exit-satisfied','budget-exhausted','stopped-by-failure','interrupted-before-publication','dispatch-failed')),\n  absence_revision INTEGER NOT NULL CHECK (absence_revision > 0),\n  PRIMARY KEY (run_id, slot_id),\n  FOREIGN KEY (run_id, slot_id) REFERENCES ne18_run_expected_slots(run_id, slot_id) ON DELETE RESTRICT\n) STRICT;\nCREATE TABLE ne18_run_recoveries (\n  run_id TEXT PRIMARY KEY REFERENCES ne18_run_resources(run_id) ON DELETE RESTRICT,\n  previous_writer_generation TEXT NOT NULL,\n  recovery_writer_generation TEXT NOT NULL,\n  evidence_kind TEXT NOT NULL,\n  evidence_identity TEXT NOT NULL,\n  evidence_observed_at TEXT NOT NULL,\n  recovery_revision INTEGER NOT NULL UNIQUE CHECK (recovery_revision > 0)\n) STRICT;\nCREATE TABLE ne18_run_deletion_tombstones (\n  run_id TEXT PRIMARY KEY REFERENCES ne18_run_resources(run_id) ON DELETE RESTRICT,\n  terminal_state TEXT NOT NULL CHECK (terminal_state IN ('completed','interrupted','failed')),\n  deleted_at TEXT NOT NULL,\n  deletion_revision INTEGER NOT NULL UNIQUE CHECK (deletion_revision > 0)\n) STRICT;\nCREATE INDEX ne18_run_resources_list ON ne18_run_resources(created_revision, run_id);\nCREATE INDEX ne18_run_resources_invocation ON ne18_run_resources(invocation_id, created_revision, run_id);\nCREATE INDEX ne18_attempt_publications_origin ON ne18_attempt_publications(origin_run_id, origin_slot_id);\nCREATE INDEX ne18_attempt_publications_locator ON ne18_attempt_publications(attempt_locator, origin_run_id, attempt_id);\nCREATE INDEX ne18_run_slot_bindings_attempt ON ne18_run_slot_bindings(attempt_id, target_run_id, slot_id);\nCREATE INDEX ne18_run_deletion_revision ON ne18_run_deletion_tombstones(deletion_revision, run_id);\nINSERT INTO ne18_run_publication_clock(singleton,revision) VALUES (1,0);\n\n\nCREATE TABLE ne18_invocation_sessions (\n  invocation_id TEXT PRIMARY KEY,\n  state TEXT NOT NULL CHECK (state IN ('active','recovering','completed','interrupted','failed')),\n  owner_id TEXT NOT NULL,\n  owner_generation INTEGER NOT NULL CHECK (owner_generation > 0),\n  owner_host TEXT NOT NULL,\n  owner_pid INTEGER NOT NULL CHECK (owner_pid > 0),\n  owner_boot_id TEXT NOT NULL,\n  owner_process_start TEXT NOT NULL,\n  started_at TEXT NOT NULL,\n  heartbeat_at TEXT NOT NULL,\n  active_projection BLOB,\n  recovering_at TEXT,\n  closed_at TEXT,\n  terminal_projection BLOB,\n  CHECK ((state IN ('completed','interrupted','failed')) = (closed_at IS NOT NULL)),\n  CHECK ((state IN ('completed','interrupted','failed')) = (terminal_projection IS NOT NULL)),\n  CHECK (state IN ('active','recovering') OR active_projection IS NULL),\n  CHECK ((state = 'recovering') = (recovering_at IS NOT NULL))\n) STRICT;\nCREATE TABLE ne18_invocation_session_experiments (\n  invocation_id TEXT NOT NULL REFERENCES ne18_invocation_sessions(invocation_id) ON DELETE RESTRICT,\n  experiment_id TEXT NOT NULL,\n  run_id TEXT NOT NULL UNIQUE REFERENCES ne18_run_resources(run_id) ON DELETE RESTRICT,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  PRIMARY KEY (invocation_id, experiment_id),\n  UNIQUE (invocation_id, ordinal)\n) STRICT;\nCREATE TABLE ne18_invocation_session_queued_attempts (\n  invocation_id TEXT NOT NULL REFERENCES ne18_invocation_sessions(invocation_id) ON DELETE RESTRICT,\n  attempt_id TEXT NOT NULL,\n  run_id TEXT NOT NULL REFERENCES ne18_run_resources(run_id) ON DELETE RESTRICT,\n  slot_id TEXT NOT NULL,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  PRIMARY KEY (invocation_id, attempt_id),\n  UNIQUE (invocation_id, ordinal),\n  FOREIGN KEY (run_id, slot_id) REFERENCES ne18_run_expected_slots(run_id, slot_id) ON DELETE RESTRICT\n) STRICT;\nCREATE TABLE ne18_case_locks (\n  case_id TEXT PRIMARY KEY,\n  owner_id TEXT NOT NULL,\n  owner_generation INTEGER NOT NULL CHECK (owner_generation > 0),\n  owner_host TEXT NOT NULL,\n  owner_pid INTEGER NOT NULL CHECK (owner_pid > 0),\n  owner_boot_id TEXT NOT NULL,\n  owner_process_start TEXT NOT NULL,\n  acquired_at TEXT NOT NULL,\n  heartbeat_at TEXT NOT NULL\n) STRICT;\nCREATE INDEX ne18_invocation_sessions_state ON ne18_invocation_sessions(state, started_at, invocation_id);\nCREATE INDEX ne18_invocation_session_experiments_invocation ON ne18_invocation_session_experiments(invocation_id, ordinal);\nCREATE INDEX ne18_invocation_session_queued_attempts_run ON ne18_invocation_session_queued_attempts(run_id, slot_id);\nCREATE INDEX ne18_case_locks_owner ON ne18_case_locks(owner_id, owner_generation);\nCREATE TABLE ne18_teardown_obligations (\n  obligation_id TEXT PRIMARY KEY,\n  experiment_id TEXT NOT NULL,\n  owner_pid INTEGER NOT NULL CHECK (owner_pid > 0),\n  owner_host TEXT NOT NULL,\n  generation INTEGER NOT NULL DEFAULT 1 CHECK (generation > 0),\n  payload BLOB NOT NULL,\n  UNIQUE (experiment_id, owner_pid)\n) STRICT;\nCREATE TABLE ne18_shared_state_generations (\n  state_key TEXT NOT NULL,\n  generation INTEGER NOT NULL CHECK (generation > 0),\n  parent_generation INTEGER NOT NULL CHECK (parent_generation >= 0),\n  state_kind TEXT NOT NULL CHECK (state_kind IN ('active','recovering','free')),\n  owner_token TEXT NOT NULL,\n  owner_pid INTEGER NOT NULL CHECK (owner_pid > 0),\n  owner_host TEXT NOT NULL,\n  owner_process_identity TEXT NOT NULL,\n  heartbeat_at TEXT NOT NULL,\n  payload BLOB NOT NULL,\n  PRIMARY KEY (state_key, generation),\n  CHECK (parent_generation = generation - 1)\n) STRICT;\nCREATE TABLE ne18_kept_sandboxes (\n  entry_id TEXT PRIMARY KEY,\n  provider TEXT NOT NULL,\n  sandbox_id TEXT NOT NULL,\n  kept_at TEXT NOT NULL,\n  operation_generation INTEGER NOT NULL DEFAULT 0 CHECK (operation_generation >= 0),\n  payload BLOB NOT NULL,\n  UNIQUE (provider, sandbox_id)\n) STRICT;\nCREATE TABLE ne18_kept_sandbox_operation_leases (\n  entry_id TEXT PRIMARY KEY REFERENCES ne18_kept_sandboxes(entry_id) ON DELETE CASCADE,\n  generation INTEGER NOT NULL CHECK (generation > 0),\n  token TEXT NOT NULL,\n  holder TEXT NOT NULL,\n  owner_pid INTEGER NOT NULL CHECK (owner_pid > 0),\n  owner_host TEXT NOT NULL,\n  owner_process_identity TEXT NOT NULL,\n  operation TEXT NOT NULL,\n  acquired_at TEXT NOT NULL,\n  ttl_ms INTEGER NOT NULL CHECK (ttl_ms > 0)\n) STRICT;\nCREATE INDEX ne18_teardown_obligations_experiment ON ne18_teardown_obligations(experiment_id, owner_pid);\nCREATE INDEX ne18_shared_state_generations_head ON ne18_shared_state_generations(state_key, generation DESC);\nCREATE INDEX ne18_kept_sandboxes_kept_at ON ne18_kept_sandboxes(kept_at, entry_id);\n\n\nCREATE TABLE ne18_migration_state (\n  singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n  state TEXT NOT NULL CHECK (state IN ('committed','ready')),\n  source_format TEXT,\n  source_digest TEXT CHECK (source_digest IS NULL OR length(source_digest) = 64),\n  CHECK ((source_format IS NULL) = (source_digest IS NULL)),\n  CHECK (state != 'committed' OR source_format IS NOT NULL)\n) STRICT;";

package/dist/record/sqlite/legacy-schema-018.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Frozen ProjectDatabase 0.18 schema. Keep the SQL bytes stable:
+ * they own the historical format fingerprint.
+ * The disjoint namespace fences writers prepared against the 0.17 tables.
+ */
+export declare const RECORD_SQLITE_018_BASELINE_SQL = "\nCREATE TABLE ne18_record_metadata (\n  singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n  format TEXT NOT NULL,\n  storage_revision INTEGER NOT NULL CHECK (storage_revision > 0),\n  storage_generation TEXT NOT NULL,\n  schema_fingerprint TEXT NOT NULL CHECK (length(schema_fingerprint) = 64),\n  created_at TEXT NOT NULL,\n  barrier_state TEXT NOT NULL CHECK (barrier_state IN ('open','draining','portable')),\n  portable_generation TEXT,\n  portable_revision INTEGER CHECK (portable_revision IS NULL OR portable_revision >= 0),\n  portable_gate_id TEXT,\n  record_payload BLOB,\n  record_digest TEXT,\n  CHECK ((record_payload IS NULL) = (record_digest IS NULL)),\n  CHECK (record_digest IS NULL OR length(record_digest) = 64),\n  CHECK ((barrier_state = 'portable') = (portable_generation IS NOT NULL)),\n  CHECK ((barrier_state = 'portable') = (portable_revision IS NOT NULL)),\n  CHECK ((barrier_state = 'open') = (portable_gate_id IS NULL))\n) STRICT;\nCREATE TABLE ne18_coordination_state (\n  singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n  revision INTEGER NOT NULL CHECK (revision >= 0),\n  operational_generation TEXT NOT NULL,\n  next_writer_sequence INTEGER NOT NULL CHECK (next_writer_sequence > 0),\n  writer_ticket_id TEXT,\n  writer_sequence INTEGER CHECK (writer_sequence IS NULL OR writer_sequence > 0),\n  writer_host TEXT,\n  writer_pid INTEGER CHECK (writer_pid IS NULL OR writer_pid > 0),\n  writer_boot_id TEXT,\n  writer_process_start TEXT,\n  writer_deadline INTEGER CHECK (writer_deadline IS NULL OR writer_deadline > 0),\n  writer_enqueued_at INTEGER CHECK (writer_enqueued_at IS NULL OR writer_enqueued_at > 0),\n  writer_nonce TEXT,\n  writer_admitted_at INTEGER CHECK (writer_admitted_at IS NULL OR writer_admitted_at > 0),\n  writer_lease_expires_at INTEGER CHECK (writer_lease_expires_at IS NULL OR writer_lease_expires_at > 0),\n  barrier_id TEXT,\n  barrier_nonce TEXT,\n  barrier_host TEXT,\n  barrier_pid INTEGER CHECK (barrier_pid IS NULL OR barrier_pid > 0),\n  barrier_boot_id TEXT,\n  barrier_process_start TEXT,\n  barrier_deadline INTEGER CHECK (barrier_deadline IS NULL OR barrier_deadline > 0),\n  barrier_requested_at INTEGER CHECK (barrier_requested_at IS NULL OR barrier_requested_at > 0),\n  barrier_lease_expires_at INTEGER CHECK (barrier_lease_expires_at IS NULL OR barrier_lease_expires_at > 0),\n  barrier_status TEXT CHECK (barrier_status IS NULL OR barrier_status IN ('requested','active')),\n  barrier_active_at INTEGER CHECK (barrier_active_at IS NULL OR barrier_active_at > 0),\n  CHECK ((writer_ticket_id IS NULL) = (writer_sequence IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_host IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_pid IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_boot_id IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_process_start IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_deadline IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_enqueued_at IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_nonce IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_admitted_at IS NULL)),\n  CHECK ((writer_ticket_id IS NULL) = (writer_lease_expires_at IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_nonce IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_host IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_pid IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_boot_id IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_process_start IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_deadline IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_requested_at IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_lease_expires_at IS NULL)),\n  CHECK ((barrier_id IS NULL) = (barrier_status IS NULL)),\n  CHECK (\n    (barrier_status IS NULL AND barrier_active_at IS NULL) OR\n    (barrier_status = 'requested' AND barrier_active_at IS NULL) OR\n    (barrier_status = 'active' AND barrier_active_at IS NOT NULL)\n  )\n) STRICT;\nCREATE TABLE ne18_coordination_tickets (\n  ticket_id TEXT PRIMARY KEY,\n  sequence INTEGER NOT NULL UNIQUE CHECK (sequence > 0),\n  host TEXT NOT NULL,\n  pid INTEGER NOT NULL CHECK (pid > 0),\n  boot_id TEXT NOT NULL,\n  process_start TEXT NOT NULL,\n  deadline INTEGER NOT NULL CHECK (deadline > 0),\n  enqueued_at INTEGER NOT NULL CHECK (enqueued_at > 0)\n) STRICT;\nCREATE TABLE ne18_runs (\n  run_id TEXT PRIMARY KEY,\n  status TEXT NOT NULL CHECK (status IN ('open','sealing','sealed')),\n  writer_generation TEXT NOT NULL,\n  started_at TEXT NOT NULL,\n  core_payload BLOB,\n  core_digest TEXT CHECK (core_digest IS NULL OR length(core_digest) = 64),\n  mutation_sequence INTEGER NOT NULL DEFAULT 0 CHECK (mutation_sequence >= 0),\n  candidate_seal_identity TEXT CHECK (candidate_seal_identity IS NULL OR length(candidate_seal_identity) = 64),\n  candidate_seal_entry_count INTEGER CHECK (candidate_seal_entry_count IS NULL OR candidate_seal_entry_count >= 0),\n  candidate_seal_staged_count INTEGER NOT NULL DEFAULT 0 CHECK (candidate_seal_staged_count >= 0),\n  logical_seal_identity TEXT,\n  CHECK ((core_payload IS NULL) = (core_digest IS NULL)),\n  CHECK ((candidate_seal_identity IS NULL) = (candidate_seal_entry_count IS NULL)),\n  CHECK ((status = 'open') = (candidate_seal_identity IS NULL)),\n  CHECK (candidate_seal_entry_count IS NULL OR candidate_seal_staged_count <= candidate_seal_entry_count),\n  CHECK (status != 'open' OR candidate_seal_staged_count = 0),\n  CHECK ((status = 'sealed') = (logical_seal_identity IS NOT NULL)),\n  CHECK (status = 'open' OR core_payload IS NOT NULL)\n) STRICT;\nCREATE TABLE ne18_slots (\n  run_id TEXT NOT NULL REFERENCES ne18_runs(run_id) ON DELETE CASCADE,\n  slot_id TEXT NOT NULL,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  core_payload BLOB NOT NULL,\n  core_digest TEXT NOT NULL CHECK (length(core_digest) = 64),\n  PRIMARY KEY (run_id, slot_id),\n  UNIQUE (run_id, ordinal)\n) STRICT;\nCREATE TABLE ne18_attempts (\n  origin_run_id TEXT NOT NULL REFERENCES ne18_runs(run_id) ON DELETE CASCADE,\n  attempt_id TEXT NOT NULL,\n  attempt_locator TEXT NOT NULL CHECK (length(attempt_locator) = 14 AND substr(attempt_locator,1,2) = '@1'),\n  publication_state TEXT NOT NULL DEFAULT 'staging' CHECK (publication_state IN ('staging','sealing','published')),\n  core_payload BLOB,\n  core_digest TEXT CHECK (core_digest IS NULL OR length(core_digest) = 64),\n  CHECK ((core_payload IS NULL) = (core_digest IS NULL)),\n  PRIMARY KEY (origin_run_id, attempt_id)\n) STRICT;\nCREATE TABLE ne18_members (\n  target_run_id TEXT NOT NULL,\n  slot_id TEXT NOT NULL,\n  origin_run_id TEXT,\n  attempt_id TEXT,\n  action TEXT NOT NULL CHECK (action IN ('executed','carried','accepted','not-dispatched','interrupted')),\n  core_payload BLOB NOT NULL,\n  core_digest TEXT NOT NULL CHECK (length(core_digest) = 64),\n  PRIMARY KEY (target_run_id, slot_id),\n  CHECK (\n    (action IN ('executed','carried','accepted') AND origin_run_id IS NOT NULL AND attempt_id IS NOT NULL) OR\n    (action IN ('not-dispatched','interrupted') AND origin_run_id IS NULL AND attempt_id IS NULL)\n  ),\n  FOREIGN KEY (target_run_id, slot_id) REFERENCES ne18_slots(run_id, slot_id) ON DELETE CASCADE\n) STRICT;\nCREATE TABLE ne18_attachments (\n  attachment_id TEXT PRIMARY KEY,\n  owner_kind TEXT NOT NULL CHECK (owner_kind IN ('run','attempt')),\n  owner_run_id TEXT NOT NULL REFERENCES ne18_runs(run_id) ON DELETE CASCADE,\n  owner_attempt_id TEXT,\n  family TEXT NOT NULL,\n  family_revision INTEGER NOT NULL CHECK (family_revision > 0),\n  logical_identity TEXT,\n  canonical_payload BLOB,\n  canonical_digest TEXT CHECK (canonical_digest IS NULL OR length(canonical_digest) = 64),\n  logical_inventory BLOB,\n  inventory_digest TEXT CHECK (inventory_digest IS NULL OR length(inventory_digest) = 64),\n  CHECK ((canonical_payload IS NULL) = (canonical_digest IS NULL)),\n  CHECK ((logical_inventory IS NULL) = (inventory_digest IS NULL)),\n  CHECK ((owner_kind = 'run' AND owner_attempt_id IS NULL) OR (owner_kind = 'attempt' AND owner_attempt_id IS NOT NULL)),\n  UNIQUE (owner_kind, owner_run_id, owner_attempt_id, family),\n  FOREIGN KEY (owner_run_id, owner_attempt_id) REFERENCES ne18_attempts(origin_run_id, attempt_id) ON DELETE CASCADE\n) STRICT;\nCREATE TABLE ne18_attachment_references (\n  attachment_id TEXT NOT NULL REFERENCES ne18_attachments(attachment_id) ON DELETE CASCADE,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  target_owner_kind TEXT NOT NULL CHECK (target_owner_kind IN ('run','attempt')),\n  target_family TEXT NOT NULL,\n  canonical_payload BLOB NOT NULL,\n  reference_digest TEXT NOT NULL CHECK (length(reference_digest) = 64),\n  PRIMARY KEY (attachment_id, ordinal)\n) STRICT;\nCREATE TABLE ne18_collection_items (\n  attachment_id TEXT NOT NULL REFERENCES ne18_attachments(attachment_id) ON DELETE CASCADE,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  logical_identity TEXT NOT NULL,\n  canonical_payload BLOB NOT NULL,\n  canonical_digest TEXT NOT NULL CHECK (length(canonical_digest) = 64),\n  PRIMARY KEY (attachment_id, ordinal),\n  UNIQUE (attachment_id, logical_identity)\n) STRICT;\nCREATE TABLE ne18_contents (\n  content_id TEXT PRIMARY KEY,\n  attachment_id TEXT NOT NULL REFERENCES ne18_attachments(attachment_id) ON DELETE CASCADE,\n  logical_handle TEXT NOT NULL,\n  byte_length INTEGER CHECK (byte_length IS NULL OR byte_length >= 0),\n  overall_digest TEXT CHECK (overall_digest IS NULL OR length(overall_digest) = 64),\n  chunk_count INTEGER CHECK (chunk_count IS NULL OR chunk_count >= 0),\n  CHECK ((byte_length IS NULL) = (overall_digest IS NULL) AND (overall_digest IS NULL) = (chunk_count IS NULL)),\n  UNIQUE (attachment_id, logical_handle)\n) STRICT;\nCREATE TABLE ne18_content_chunks (\n  content_id TEXT NOT NULL REFERENCES ne18_contents(content_id) ON DELETE CASCADE,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  bytes BLOB NOT NULL CHECK (length(bytes) <= 262144),\n  chunk_digest TEXT NOT NULL CHECK (length(chunk_digest) = 64),\n  PRIMARY KEY (content_id, ordinal)\n) STRICT;\nCREATE TABLE ne18_run_seal_entries (\n  run_id TEXT NOT NULL REFERENCES ne18_runs(run_id) ON DELETE CASCADE,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  entry_kind TEXT NOT NULL CHECK (entry_kind IN ('record','run','slot','member','attempt','attachment','attachment-reference','collection-item','content','content-chunk')),\n  logical_identity TEXT NOT NULL,\n  digest TEXT NOT NULL CHECK (length(digest) = 64),\n  PRIMARY KEY (run_id, ordinal),\n  UNIQUE (run_id, entry_kind, logical_identity)\n) STRICT;\nCREATE INDEX ne18_attachments_owner_family ON ne18_attachments(owner_kind, owner_run_id, owner_attempt_id, family);\nCREATE UNIQUE INDEX ne18_attachments_owner_family_unique ON ne18_attachments(owner_kind, owner_run_id, coalesce(owner_attempt_id,''), family);\nCREATE INDEX ne18_members_origin_attempt ON ne18_members(origin_run_id, attempt_id, target_run_id);\nCREATE INDEX ne18_attempts_locator ON ne18_attempts(attempt_locator, origin_run_id, attempt_id);\nCREATE INDEX ne18_references_target_family ON ne18_attachment_references(target_owner_kind, target_family);\nCREATE INDEX ne18_content_chunks_page ON ne18_content_chunks(content_id, ordinal);\nCREATE INDEX ne18_coordination_tickets_fifo ON ne18_coordination_tickets(sequence);\nCREATE TRIGGER ne18_coordination_ticket_barrier_insert BEFORE INSERT ON ne18_coordination_tickets WHEN (SELECT barrier_state FROM ne18_record_metadata WHERE singleton=1)!='open' BEGIN SELECT RAISE(ABORT, 'ProjectDatabase writer barrier is not open'); END;\nCREATE TRIGGER ne18_coordination_writer_barrier_update BEFORE UPDATE ON ne18_coordination_state WHEN NEW.writer_ticket_id IS NOT NULL AND (SELECT barrier_state FROM ne18_record_metadata WHERE singleton=1)!='open' BEGIN SELECT RAISE(ABORT, 'ProjectDatabase writer barrier is not open'); END;\nCREATE TRIGGER ne18_runs_sealed_update BEFORE UPDATE ON ne18_runs WHEN OLD.status = 'sealed' BEGIN SELECT RAISE(ABORT, 'sealed run is immutable'); END;\nCREATE TRIGGER ne18_runs_sealed_delete BEFORE DELETE ON ne18_runs WHEN OLD.status = 'sealed' BEGIN SELECT RAISE(ABORT, 'sealed run is immutable'); END;\nCREATE TRIGGER ne18_slots_sealed_insert BEFORE INSERT ON ne18_slots WHEN (SELECT status FROM ne18_runs WHERE run_id = NEW.run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_slots_sealed_update BEFORE UPDATE ON ne18_slots WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_slots_sealed_delete BEFORE DELETE ON ne18_slots WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attempts_sealed_insert BEFORE INSERT ON ne18_attempts WHEN (SELECT status FROM ne18_runs WHERE run_id = NEW.origin_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attempts_sealed_update BEFORE UPDATE ON ne18_attempts WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.origin_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attempts_sealed_delete BEFORE DELETE ON ne18_attempts WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.origin_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_members_sealed_insert BEFORE INSERT ON ne18_members WHEN (SELECT status FROM ne18_runs WHERE run_id = NEW.target_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_members_sealed_update BEFORE UPDATE ON ne18_members WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.target_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_members_sealed_delete BEFORE DELETE ON ne18_members WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.target_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attachments_sealed_insert BEFORE INSERT ON ne18_attachments WHEN (SELECT status FROM ne18_runs WHERE run_id = NEW.owner_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attachments_attempt_published_insert BEFORE INSERT ON ne18_attachments WHEN NEW.owner_kind='attempt' AND (SELECT publication_state FROM ne18_attempts WHERE origin_run_id=NEW.owner_run_id AND attempt_id=NEW.owner_attempt_id)='published' BEGIN SELECT RAISE(ABORT, 'published attempt is immutable'); END;\nCREATE TRIGGER ne18_attachments_sealed_update BEFORE UPDATE ON ne18_attachments WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.owner_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attachments_attempt_published_update BEFORE UPDATE ON ne18_attachments WHEN OLD.owner_kind='attempt' AND (SELECT publication_state FROM ne18_attempts WHERE origin_run_id=OLD.owner_run_id AND attempt_id=OLD.owner_attempt_id)='published' BEGIN SELECT RAISE(ABORT, 'published attempt is immutable'); END;\nCREATE TRIGGER ne18_attachments_sealed_delete BEFORE DELETE ON ne18_attachments WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.owner_run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_attachments_attempt_published_delete BEFORE DELETE ON ne18_attachments WHEN OLD.owner_kind='attempt' AND (SELECT publication_state FROM ne18_attempts WHERE origin_run_id=OLD.owner_run_id AND attempt_id=OLD.owner_attempt_id)='published' BEGIN SELECT RAISE(ABORT, 'published attempt is immutable'); END;\nCREATE TRIGGER ne18_references_sealed_insert BEFORE INSERT ON ne18_attachment_references WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=NEW.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_references_sealed_update BEFORE UPDATE ON ne18_attachment_references WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_references_sealed_delete BEFORE DELETE ON ne18_attachment_references WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_items_sealed_insert BEFORE INSERT ON ne18_collection_items WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=NEW.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_items_sealed_update BEFORE UPDATE ON ne18_collection_items WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_items_sealed_delete BEFORE DELETE ON ne18_collection_items WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_contents_sealed_insert BEFORE INSERT ON ne18_contents WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=NEW.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_contents_sealed_update BEFORE UPDATE ON ne18_contents WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_contents_sealed_delete BEFORE DELETE ON ne18_contents WHEN (SELECT r.status FROM ne18_attachments a JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE a.attachment_id=OLD.attachment_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_chunks_sealed_insert BEFORE INSERT ON ne18_content_chunks WHEN (SELECT r.status FROM ne18_contents c JOIN ne18_attachments a ON a.attachment_id=c.attachment_id JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE c.content_id=NEW.content_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_chunks_sealed_update BEFORE UPDATE ON ne18_content_chunks WHEN (SELECT r.status FROM ne18_contents c JOIN ne18_attachments a ON a.attachment_id=c.attachment_id JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE c.content_id=OLD.content_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_chunks_sealed_delete BEFORE DELETE ON ne18_content_chunks WHEN (SELECT r.status FROM ne18_contents c JOIN ne18_attachments a ON a.attachment_id=c.attachment_id JOIN ne18_runs r ON r.run_id=a.owner_run_id WHERE c.content_id=OLD.content_id) != 'open' BEGIN SELECT RAISE(ABORT, 'run closure is immutable'); END;\nCREATE TRIGGER ne18_seal_entries_sealed_insert BEFORE INSERT ON ne18_run_seal_entries WHEN (SELECT status FROM ne18_runs WHERE run_id = NEW.run_id) != 'sealing' BEGIN SELECT RAISE(ABORT, 'Seal candidates require sealing state'); END;\nCREATE TRIGGER ne18_seal_entries_sealed_update BEFORE UPDATE ON ne18_run_seal_entries BEGIN SELECT RAISE(ABORT, 'Seal entries are immutable'); END;\nCREATE TRIGGER ne18_seal_entries_sealed_delete BEFORE DELETE ON ne18_run_seal_entries WHEN (SELECT status FROM ne18_runs WHERE run_id = OLD.run_id) != 'open' BEGIN SELECT RAISE(ABORT, 'Seal entries are immutable'); END;\n\n\nCREATE TABLE ne18_run_publication_clock (\n  singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n  revision INTEGER NOT NULL CHECK (revision >= 0)\n) STRICT;\nCREATE TABLE ne18_run_resources (\n  run_id TEXT PRIMARY KEY,\n  invocation_id TEXT NOT NULL,\n  experiment_id TEXT NOT NULL,\n  started_at TEXT NOT NULL,\n  initial_writer_generation TEXT NOT NULL,\n  current_writer_generation TEXT NOT NULL,\n  terminal_state TEXT CHECK (terminal_state IS NULL OR terminal_state IN ('completed','interrupted','failed')),\n  completed_at TEXT,\n  created_revision INTEGER NOT NULL UNIQUE CHECK (created_revision > 0),\n  close_revision INTEGER UNIQUE CHECK (close_revision IS NULL OR close_revision > created_revision),\n  CHECK ((terminal_state IS NULL) = (completed_at IS NULL)),\n  CHECK ((terminal_state IS NULL) = (close_revision IS NULL))\n) STRICT;\nCREATE TABLE ne18_run_expected_slots (\n  run_id TEXT NOT NULL REFERENCES ne18_run_resources(run_id) ON DELETE RESTRICT,\n  slot_id TEXT NOT NULL,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  eval_id TEXT NOT NULL,\n  attempt_ordinal INTEGER NOT NULL CHECK (attempt_ordinal >= 0),\n  execution_identity_digest TEXT NOT NULL CHECK (length(execution_identity_digest) = 64),\n  PRIMARY KEY (run_id, slot_id),\n  UNIQUE (run_id, ordinal)\n) STRICT;\nCREATE TABLE ne18_attempt_publications (\n  attempt_id TEXT PRIMARY KEY,\n  attempt_locator TEXT NOT NULL CHECK (length(attempt_locator) = 14 AND substr(attempt_locator,1,2) = '@1'),\n  origin_run_id TEXT NOT NULL,\n  origin_slot_id TEXT NOT NULL,\n  closure_payload BLOB NOT NULL,\n  closure_digest TEXT NOT NULL CHECK (length(closure_digest) = 64),\n  published_revision INTEGER NOT NULL UNIQUE CHECK (published_revision > 0),\n  FOREIGN KEY (origin_run_id, origin_slot_id) REFERENCES ne18_run_expected_slots(run_id, slot_id) ON DELETE RESTRICT\n) STRICT;\nCREATE TABLE ne18_run_slot_bindings (\n  target_run_id TEXT NOT NULL,\n  slot_id TEXT NOT NULL,\n  attempt_id TEXT NOT NULL REFERENCES ne18_attempt_publications(attempt_id) ON DELETE RESTRICT,\n  origin_run_id TEXT NOT NULL,\n  origin_slot_id TEXT NOT NULL,\n  attempt_publication_revision INTEGER NOT NULL CHECK (attempt_publication_revision > 0),\n  action TEXT NOT NULL CHECK (action IN ('executed','carried','accepted')),\n  binding_revision INTEGER NOT NULL UNIQUE CHECK (binding_revision > 0),\n  PRIMARY KEY (target_run_id, slot_id),\n  FOREIGN KEY (target_run_id, slot_id) REFERENCES ne18_run_expected_slots(run_id, slot_id) ON DELETE RESTRICT,\n  FOREIGN KEY (origin_run_id, origin_slot_id) REFERENCES ne18_run_expected_slots(run_id, slot_id) ON DELETE RESTRICT\n) STRICT;\nCREATE TABLE ne18_run_slot_absences (\n  run_id TEXT NOT NULL,\n  slot_id TEXT NOT NULL,\n  reason TEXT NOT NULL CHECK (reason IN ('early-exit-satisfied','budget-exhausted','stopped-by-failure','interrupted-before-publication','dispatch-failed')),\n  absence_revision INTEGER NOT NULL CHECK (absence_revision > 0),\n  PRIMARY KEY (run_id, slot_id),\n  FOREIGN KEY (run_id, slot_id) REFERENCES ne18_run_expected_slots(run_id, slot_id) ON DELETE RESTRICT\n) STRICT;\nCREATE TABLE ne18_run_recoveries (\n  run_id TEXT PRIMARY KEY REFERENCES ne18_run_resources(run_id) ON DELETE RESTRICT,\n  previous_writer_generation TEXT NOT NULL,\n  recovery_writer_generation TEXT NOT NULL,\n  evidence_kind TEXT NOT NULL,\n  evidence_identity TEXT NOT NULL,\n  evidence_observed_at TEXT NOT NULL,\n  recovery_revision INTEGER NOT NULL UNIQUE CHECK (recovery_revision > 0)\n) STRICT;\nCREATE TABLE ne18_run_deletion_tombstones (\n  run_id TEXT PRIMARY KEY REFERENCES ne18_run_resources(run_id) ON DELETE RESTRICT,\n  terminal_state TEXT NOT NULL CHECK (terminal_state IN ('completed','interrupted','failed')),\n  deleted_at TEXT NOT NULL,\n  deletion_revision INTEGER NOT NULL UNIQUE CHECK (deletion_revision > 0)\n) STRICT;\nCREATE INDEX ne18_run_resources_list ON ne18_run_resources(created_revision, run_id);\nCREATE INDEX ne18_run_resources_invocation ON ne18_run_resources(invocation_id, created_revision, run_id);\nCREATE INDEX ne18_attempt_publications_origin ON ne18_attempt_publications(origin_run_id, origin_slot_id);\nCREATE INDEX ne18_attempt_publications_locator ON ne18_attempt_publications(attempt_locator, origin_run_id, attempt_id);\nCREATE INDEX ne18_run_slot_bindings_attempt ON ne18_run_slot_bindings(attempt_id, target_run_id, slot_id);\nCREATE INDEX ne18_run_deletion_revision ON ne18_run_deletion_tombstones(deletion_revision, run_id);\nINSERT INTO ne18_run_publication_clock(singleton,revision) VALUES (1,0);\n\n\nCREATE TABLE ne18_invocation_sessions (\n  invocation_id TEXT PRIMARY KEY,\n  state TEXT NOT NULL CHECK (state IN ('active','recovering','completed','interrupted','failed')),\n  owner_id TEXT NOT NULL,\n  owner_generation INTEGER NOT NULL CHECK (owner_generation > 0),\n  owner_host TEXT NOT NULL,\n  owner_pid INTEGER NOT NULL CHECK (owner_pid > 0),\n  owner_boot_id TEXT NOT NULL,\n  owner_process_start TEXT NOT NULL,\n  started_at TEXT NOT NULL,\n  heartbeat_at TEXT NOT NULL,\n  active_projection BLOB,\n  recovering_at TEXT,\n  closed_at TEXT,\n  terminal_projection BLOB,\n  CHECK ((state IN ('completed','interrupted','failed')) = (closed_at IS NOT NULL)),\n  CHECK ((state IN ('completed','interrupted','failed')) = (terminal_projection IS NOT NULL)),\n  CHECK (state IN ('active','recovering') OR active_projection IS NULL),\n  CHECK ((state = 'recovering') = (recovering_at IS NOT NULL))\n) STRICT;\nCREATE TABLE ne18_invocation_session_experiments (\n  invocation_id TEXT NOT NULL REFERENCES ne18_invocation_sessions(invocation_id) ON DELETE RESTRICT,\n  experiment_id TEXT NOT NULL,\n  run_id TEXT NOT NULL UNIQUE REFERENCES ne18_run_resources(run_id) ON DELETE RESTRICT,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  PRIMARY KEY (invocation_id, experiment_id),\n  UNIQUE (invocation_id, ordinal)\n) STRICT;\nCREATE TABLE ne18_invocation_session_queued_attempts (\n  invocation_id TEXT NOT NULL REFERENCES ne18_invocation_sessions(invocation_id) ON DELETE RESTRICT,\n  attempt_id TEXT NOT NULL,\n  run_id TEXT NOT NULL REFERENCES ne18_run_resources(run_id) ON DELETE RESTRICT,\n  slot_id TEXT NOT NULL,\n  ordinal INTEGER NOT NULL CHECK (ordinal >= 0),\n  PRIMARY KEY (invocation_id, attempt_id),\n  UNIQUE (invocation_id, ordinal),\n  FOREIGN KEY (run_id, slot_id) REFERENCES ne18_run_expected_slots(run_id, slot_id) ON DELETE RESTRICT\n) STRICT;\nCREATE TABLE ne18_case_locks (\n  case_id TEXT PRIMARY KEY,\n  owner_id TEXT NOT NULL,\n  owner_generation INTEGER NOT NULL CHECK (owner_generation > 0),\n  owner_host TEXT NOT NULL,\n  owner_pid INTEGER NOT NULL CHECK (owner_pid > 0),\n  owner_boot_id TEXT NOT NULL,\n  owner_process_start TEXT NOT NULL,\n  acquired_at TEXT NOT NULL,\n  heartbeat_at TEXT NOT NULL\n) STRICT;\nCREATE INDEX ne18_invocation_sessions_state ON ne18_invocation_sessions(state, started_at, invocation_id);\nCREATE INDEX ne18_invocation_session_experiments_invocation ON ne18_invocation_session_experiments(invocation_id, ordinal);\nCREATE INDEX ne18_invocation_session_queued_attempts_run ON ne18_invocation_session_queued_attempts(run_id, slot_id);\nCREATE INDEX ne18_case_locks_owner ON ne18_case_locks(owner_id, owner_generation);\nCREATE TABLE ne18_teardown_obligations (\n  obligation_id TEXT PRIMARY KEY,\n  experiment_id TEXT NOT NULL,\n  owner_pid INTEGER NOT NULL CHECK (owner_pid > 0),\n  owner_host TEXT NOT NULL,\n  generation INTEGER NOT NULL DEFAULT 1 CHECK (generation > 0),\n  payload BLOB NOT NULL,\n  UNIQUE (experiment_id, owner_pid)\n) STRICT;\nCREATE TABLE ne18_shared_state_generations (\n  state_key TEXT NOT NULL,\n  generation INTEGER NOT NULL CHECK (generation > 0),\n  parent_generation INTEGER NOT NULL CHECK (parent_generation >= 0),\n  state_kind TEXT NOT NULL CHECK (state_kind IN ('active','recovering','free')),\n  owner_token TEXT NOT NULL,\n  owner_pid INTEGER NOT NULL CHECK (owner_pid > 0),\n  owner_host TEXT NOT NULL,\n  owner_process_identity TEXT NOT NULL,\n  heartbeat_at TEXT NOT NULL,\n  payload BLOB NOT NULL,\n  PRIMARY KEY (state_key, generation),\n  CHECK (parent_generation = generation - 1)\n) STRICT;\nCREATE TABLE ne18_kept_sandboxes (\n  entry_id TEXT PRIMARY KEY,\n  provider TEXT NOT NULL,\n  sandbox_id TEXT NOT NULL,\n  kept_at TEXT NOT NULL,\n  operation_generation INTEGER NOT NULL DEFAULT 0 CHECK (operation_generation >= 0),\n  payload BLOB NOT NULL,\n  UNIQUE (provider, sandbox_id)\n) STRICT;\nCREATE TABLE ne18_kept_sandbox_operation_leases (\n  entry_id TEXT PRIMARY KEY REFERENCES ne18_kept_sandboxes(entry_id) ON DELETE CASCADE,\n  generation INTEGER NOT NULL CHECK (generation > 0),\n  token TEXT NOT NULL,\n  holder TEXT NOT NULL,\n  owner_pid INTEGER NOT NULL CHECK (owner_pid > 0),\n  owner_host TEXT NOT NULL,\n  owner_process_identity TEXT NOT NULL,\n  operation TEXT NOT NULL,\n  acquired_at TEXT NOT NULL,\n  ttl_ms INTEGER NOT NULL CHECK (ttl_ms > 0)\n) STRICT;\nCREATE INDEX ne18_teardown_obligations_experiment ON ne18_teardown_obligations(experiment_id, owner_pid);\nCREATE INDEX ne18_shared_state_generations_head ON ne18_shared_state_generations(state_key, generation DESC);\nCREATE INDEX ne18_kept_sandboxes_kept_at ON ne18_kept_sandboxes(kept_at, entry_id);\n\n\nCREATE TABLE ne18_migration_state (\n  singleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n  state TEXT NOT NULL CHECK (state IN ('committed','ready')),\n  source_format TEXT,\n  source_digest TEXT CHECK (source_digest IS NULL OR length(source_digest) = 64),\n  CHECK ((source_format IS NULL) = (source_digest IS NULL)),\n  CHECK (state != 'committed' OR source_format IS NOT NULL)\n) STRICT;";

package/dist/record/sqlite/legacy-schema-018.js

@@ -0,0 +1,6 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./legacy-schema-018.cjs");
+const __niceevalExport0 = __niceevalCanonical["RECORD_SQLITE_018_BASELINE_SQL"];
+export { __niceevalExport0 as RECORD_SQLITE_018_BASELINE_SQL };
+//# sourceMappingURL=legacy-schema-018.js.map

package/dist/record/sqlite/legacy-schema-018.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacy-schema-018.js","sources":[],"names":[],"mappings":""}

package/dist/record/sqlite/migration.cjs

@@ -5,6 +5,8 @@ exports.projectDatabaseMigrationBackupPath = projectDatabaseMigrationBackupPath;
 exports.migrateHostOwnedProjectDatabase = migrateHostOwnedProjectDatabase;
 const node_crypto_1 = require("node:crypto");
 const node_fs_1 = require("node:fs");
+const effect_1 = require("effect");
+const core_ts_1 = require("../codec/core.cjs");
 const node_path_1 = require("node:path");
 const node_sqlite_1 = require("node:sqlite");
 const legacy_run_context_ts_1 = require("../codec/legacy-run-context.cjs");
@@ -19,7 +21,14 @@ const LEGACY_FORMATS = new Set([
     "niceeval.project-database/0.15",
     "niceeval.project-database/0.16",
     "niceeval.project-database/0.17",
+    "niceeval.project-database/0.18",
 ]);
+function historicalPrefix(kind) {
+    return kind === "legacy-018" ? "ne18_" : kind === "legacy-017" ? "ne_" : "";
+}
+function sourcePrefix(format) {
+    return format === "niceeval.project-database/0.18" ? "ne18_" : format === "niceeval.project-database/0.17" ? "ne_" : "";
+}
 const READ_DENIED = new Set([
     node_sqlite_1.constants.SQLITE_ATTACH,
     node_sqlite_1.constants.SQLITE_DETACH,
@@ -126,6 +135,16 @@ const expected017SchemaRows = (() => {
         db.close();
     }
 })();
+const expected018SchemaRows = (() => {
+    const db = new node_sqlite_1.DatabaseSync(":memory:", { allowExtension: false, defensive: true, readBigInts: true });
+    try {
+        db.exec(schema_ts_1.RECORD_SQLITE_018_BASELINE_SQL);
+        return Object.freeze(schemaRows(db));
+    }
+    finally {
+        db.close();
+    }
+})();
 const expectedCurrentSchemaRows = (() => {
     const db = new node_sqlite_1.DatabaseSync(":memory:", { allowExtension: false, defensive: true, readBigInts: true });
     try {
@@ -142,7 +161,9 @@ function historicalSchemaKind(db) {
         return "legacy-015-016";
     if (actual.length === expected017SchemaRows.length && actual.every((row, index) => row === expected017SchemaRows[index]))
         return "legacy-017";
-    fail("historical database objects do not match an exact 0.15/0.16/0.17 schema allowlist");
+    if (actual.length === expected018SchemaRows.length && actual.every((row, index) => row === expected018SchemaRows[index]))
+        return "legacy-018";
+    fail("historical database objects do not match an exact 0.15/0.16/0.17/0.18 schema allowlist");
 }
 function exactSchemaKind(db) {
     const actual = schemaRows(db);
@@ -152,6 +173,8 @@ function exactSchemaKind(db) {
     if (actual.length === expected017SchemaRows.length && actual.every((row, index) => row === expected017SchemaRows[index])) {
         return "legacy-017";
     }
+    if (actual.length === expected018SchemaRows.length && actual.every((row, index) => row === expected018SchemaRows[index]))
+        return "legacy-018";
     if (actual.length === expectedCurrentSchemaRows.length && actual.every((row, index) => row === expectedCurrentSchemaRows[index])) {
         return "current";
     }
@@ -213,7 +236,7 @@ function updatePart(hash, value) {
 /** Exact typed digest of every legacy table row, independent of SQLite page layout. */
 function legacyFactsDigest(db, kind) {
     const hash = (0, node_crypto_1.createHash)("sha256").update("niceeval.project-database.legacy-facts/v1\0");
-    const tables = kind === "legacy-017" ? schema_ts_1.RECORD_SQLITE_017_TABLE_NAMES : schema_ts_1.RECORD_SQLITE_LEGACY_TABLE_NAMES;
+    const tables = kind === "legacy-018" ? schema_ts_1.RECORD_SQLITE_018_TABLE_NAMES : kind === "legacy-017" ? schema_ts_1.RECORD_SQLITE_017_TABLE_NAMES : schema_ts_1.RECORD_SQLITE_LEGACY_TABLE_NAMES;
     for (const table of tables) {
         hash.update(`${table}\0`);
         const columns = db.prepare(`PRAGMA table_info("${table}")`).all();
@@ -236,7 +259,7 @@ function legacyFactsDigest(db, kind) {
 }
 function projectDatabaseMigrationBackupPath(path, format) {
     const version = format.slice(format.lastIndexOf("/") + 1);
-    return `${path}.pre-0.18-from-${version}.backup`;
+    return `${path}.pre-0.19-from-${version}.backup`;
 }
 function configure(db) {
     db.enableLoadExtension(false);
@@ -257,7 +280,7 @@ function openRaw(path, readOnly, timeout) {
 }
 function legacyIdentity(db) {
     const kind = historicalSchemaKind(db);
-    const prefix = kind === "legacy-017" ? "ne_" : "";
+    const prefix = historicalPrefix(kind);
     const row = db.prepare(`SELECT * FROM ${prefix}record_metadata WHERE singleton=1`).get();
     if (row === undefined)
         fail("legacy record_metadata singleton is missing");
@@ -265,14 +288,16 @@ function legacyIdentity(db) {
     if (!LEGACY_FORMATS.has(format))
         fail(`ProjectDatabase format ${format} is not auto-migratable`);
     const legacyFormat = format;
-    if ((legacyFormat === "niceeval.project-database/0.17") !== (kind === "legacy-017")) {
+    if (sourcePrefix(legacyFormat) !== prefix) {
         fail(`ProjectDatabase ${legacyFormat} does not match its exact historical schema`);
     }
     if (integer(row.storage_revision, "record_metadata.storage_revision") !== 1)
         fail("legacy storage revision is unsupported");
-    const expectedFingerprint = legacyFormat === "niceeval.project-database/0.17"
-        ? schema_ts_1.RECORD_SQLITE_017_FINGERPRINT
-        : schema_ts_1.RECORD_SQLITE_LEGACY_FINGERPRINTS[legacyFormat];
+    const expectedFingerprint = legacyFormat === "niceeval.project-database/0.18"
+        ? schema_ts_1.RECORD_SQLITE_018_FINGERPRINT
+        : legacyFormat === "niceeval.project-database/0.17"
+            ? schema_ts_1.RECORD_SQLITE_017_FINGERPRINT
+            : schema_ts_1.RECORD_SQLITE_LEGACY_FINGERPRINTS[legacyFormat];
     if (text(row.schema_fingerprint, "record_metadata.schema_fingerprint") !== expectedFingerprint) {
         fail("legacy schema fingerprint does not match its format");
     }
@@ -283,17 +308,17 @@ function legacyIdentity(db) {
     if (coordination === undefined || text(coordination.operational_generation, "coordination_state.operational_generation") !== text(row.storage_generation, "record_metadata.storage_generation")) {
         fail("legacy coordination generation does not match record metadata");
     }
-    if (legacyFormat === "niceeval.project-database/0.17") {
-        const migration = db.prepare("SELECT state FROM ne_migration_state WHERE singleton=1").get();
+    if (kind === "legacy-017" || kind === "legacy-018") {
+        const migration = db.prepare(`SELECT state FROM ${prefix}migration_state WHERE singleton=1`).get();
         const state = migration === undefined ? "missing" : text(migration.state, "migration_state.state");
         if (state !== "ready") {
-            fail(`historical ProjectDatabase 0.17 migration state is ${state}; open it with the original NiceEval version and finish recovery before upgrading`);
+            fail(`historical ProjectDatabase ${legacyFormat} migration state is ${state}; open it with the original NiceEval version and finish recovery before upgrading`);
         }
     }
     return Object.freeze({ format: legacyFormat, digest: legacyFactsDigest(db, kind) });
 }
 function assertLegacyIdle(db, format) {
-    const prefix = format === "niceeval.project-database/0.17" ? "ne_" : "";
+    const prefix = sourcePrefix(format);
     const metadata = db.prepare(`SELECT barrier_state FROM ${prefix}record_metadata WHERE singleton=1`).get();
     const coordination = db.prepare(`SELECT writer_ticket_id,barrier_id FROM ${prefix}coordination_state WHERE singleton=1`).get();
     const work = db.prepare(`SELECT
@@ -313,7 +338,7 @@ function assertLegacyIdle(db, format) {
     }
 }
 function assertLegacyPortable(db, format) {
-    const prefix = format === "niceeval.project-database/0.17" ? "ne_" : "";
+    const prefix = sourcePrefix(format);
     const metadata = db.prepare(`SELECT barrier_state,portable_generation,portable_revision,storage_generation
     FROM ${prefix}record_metadata WHERE singleton=1`).get();
     const coordination = db.prepare(`SELECT writer_ticket_id,barrier_id FROM ${prefix}coordination_state WHERE singleton=1`)
@@ -344,9 +369,9 @@ const LEGACY_READ_ALIAS_TABLES = [
     "attempt_publications",
 ];
 function installLegacyReadAliases(db, kind) {
-    const sourcePrefix = kind === "legacy-017" ? "ne_" : "";
+    const sourcePrefix = historicalPrefix(kind);
     for (const table of LEGACY_READ_ALIAS_TABLES) {
-        db.exec(`CREATE TEMP VIEW "ne18_${table}" AS SELECT * FROM main."${sourcePrefix}${table}"`);
+        db.exec(`CREATE TEMP VIEW "ne19_${table}" AS SELECT * FROM main."${sourcePrefix}${table}"`);
     }
     db.exec(schema_ts_1.RECORD_SQLITE_PREPARED_SEAL_TEMP_SQL);
 }
@@ -377,9 +402,11 @@ function admitPrivatePortable(path, deadlineEpochMs) {
         if (kind !== "current") {
             const identity = legacyIdentity(db);
             assertLegacyPortable(db, identity.format);
-            validateLegacySeals(connection, kind === "legacy-017" ? "ne_" : "");
+            validateLegacySeals(connection, historicalPrefix(kind));
             if (identity.format === "niceeval.project-database/0.17")
                 validateFrozen017Payloads(connection);
+            if (identity.format === "niceeval.project-database/0.18")
+                validate018Closures(connection);
             return;
         }
         (0, database_ts_1.validateExactSchema)(connection);
@@ -481,7 +508,32 @@ function copyTable(db, table, sourcePrefix, overrides = {}) {
     const names = columns(db, sourceTable);
     const target = names.map((name) => `"${name}"`).join(",");
     const source = names.map((name) => overrides[name] ?? `"${name}"`).join(",");
-    db.exec(`INSERT INTO "ne18_${table}"(${target}) SELECT ${source} FROM "${sourceTable}"`);
+    db.exec(`INSERT INTO "ne19_${table}"(${target}) SELECT ${source} FROM "${sourceTable}"`);
+}
+function copyRunTable(db, format, prefix, overrides) {
+    const names = columns(db, `${prefix}runs`);
+    const target = [...names, "experiment_id"].map((name) => `"${name}"`).join(",");
+    const values = names.map((name) => overrides[name] ?? "?").concat("?").join(",");
+    const insert = db.prepare(`INSERT INTO ne19_runs(${target}) VALUES (${values})`);
+    for (const row of db.prepare(`SELECT * FROM ${prefix}runs ORDER BY run_id`).iterate()) {
+        if (!(row.core_payload instanceof Uint8Array) || (0, node_crypto_1.createHash)("sha256").update(row.core_payload).digest("hex") !== text(row.core_digest, "runs.core_digest")) {
+            fail("historical Run Core bytes do not match their digest");
+        }
+        const bytes = format === "niceeval.project-database/0.18" ? row.core_payload : (0, legacy_run_context_ts_1.migrateLegacyRunBytes)(format, row.core_payload).bytes;
+        const decoded = (0, core_ts_1.decodeRunDocument)(JSON.parse(new TextDecoder("utf-8", { fatal: true }).decode(bytes)));
+        if (effect_1.Result.isFailure(decoded) || decoded.success.runId !== text(row.run_id, "runs.run_id"))
+            fail("historical Run Core identity is invalid");
+        insert.run(...names.filter((name) => overrides[name] === undefined).map((name) => row[name]), decoded.success.experimentId);
+    }
+}
+function validate018Closures(connection) {
+    for (const row of connection.db.prepare("SELECT attempt_id,origin_run_id,closure_payload,closure_digest FROM ne19_attempt_publications").iterate()) {
+        if (!(row.closure_payload instanceof Uint8Array) || (0, node_crypto_1.createHash)("sha256").update(row.closure_payload).digest("hex") !== text(row.closure_digest, "closure_digest"))
+            fail("0.18 Attempt closure digest is invalid");
+        const decoded = (0, core_ts_1.decodeAttemptPublicationClosure)(JSON.parse(new TextDecoder("utf-8", { fatal: true }).decode(row.closure_payload)));
+        if (effect_1.Result.isFailure(decoded) || decoded.success.originRun.runId !== text(row.origin_run_id, "origin_run_id"))
+            fail("0.18 Attempt closure identity is invalid");
+    }
 }
 function equalEntry(row, entry, ordinal) {
     return integer(row.ordinal, "run_seal_entries.ordinal") === ordinal &&
@@ -515,7 +567,7 @@ function sameBytes(left, right) {
 /** Runs the independently frozen 0.17 codecs without rewriting historical bytes. */
 function validateFrozen017Payloads(connection) {
     const format = "niceeval.project-database/0.17";
-    for (const row of connection.db.prepare("SELECT run_id,core_payload,core_digest FROM ne18_runs ORDER BY run_id").iterate()) {
+    for (const row of connection.db.prepare("SELECT run_id,core_payload,core_digest FROM ne19_runs ORDER BY run_id").iterate()) {
         if (!(row.core_payload instanceof Uint8Array))
             fail("historical 0.17 Run core_payload is not bytes");
         const storedDigest = text(row.core_digest, "runs.core_digest");
@@ -526,7 +578,7 @@ function validateFrozen017Payloads(connection) {
         }
     }
     for (const row of connection.db.prepare(`SELECT attempt_id,origin_run_id,closure_payload,closure_digest
-    FROM ne18_attempt_publications ORDER BY attempt_id`).iterate()) {
+    FROM ne19_attempt_publications ORDER BY attempt_id`).iterate()) {
         if (!(row.closure_payload instanceof Uint8Array))
             fail("historical 0.17 Attempt closure_payload is not bytes");
         const storedDigest = text(row.closure_digest, "attempt_publications.closure_digest");
@@ -538,7 +590,7 @@ function validateFrozen017Payloads(connection) {
     }
 }
 function transformPayloads(connection, format, runIds) {
-    for (const row of connection.db.prepare("SELECT run_id,core_payload,core_digest FROM ne18_runs ORDER BY run_id").iterate()) {
+    for (const row of connection.db.prepare("SELECT run_id,core_payload,core_digest FROM ne19_runs ORDER BY run_id").iterate()) {
         if (!(row.core_payload instanceof Uint8Array))
             fail("legacy Run core_payload is not bytes");
         const sourceDigest = (0, node_crypto_1.createHash)("sha256").update(row.core_payload).digest("hex");
@@ -547,11 +599,11 @@ function transformPayloads(connection, format, runIds) {
         const migrated = (0, legacy_run_context_ts_1.migrateLegacyRunBytes)(format, row.core_payload);
         if (migrated.runId !== text(row.run_id, "runs.run_id"))
             fail("legacy Run payload identity differs from its row");
-        connection.db.prepare("UPDATE ne18_runs SET core_payload=?,core_digest=? WHERE run_id=?")
+        connection.db.prepare("UPDATE ne19_runs SET core_payload=?,core_digest=? WHERE run_id=?")
             .run(migrated.bytes, migrated.digest, migrated.runId);
     }
     for (const row of connection.db.prepare(`SELECT attempt_id,origin_run_id,closure_payload,closure_digest
-    FROM ne18_attempt_publications ORDER BY attempt_id`).iterate()) {
+    FROM ne19_attempt_publications ORDER BY attempt_id`).iterate()) {
         if (!(row.closure_payload instanceof Uint8Array))
             fail("legacy Attempt closure_payload is not bytes");
         const sourceDigest = (0, node_crypto_1.createHash)("sha256").update(row.closure_payload).digest("hex");
@@ -560,62 +612,69 @@ function transformPayloads(connection, format, runIds) {
         const migrated = (0, legacy_run_context_ts_1.migrateLegacyClosureBytes)(format, row.closure_payload);
         if (migrated.originRunId !== text(row.origin_run_id, "attempt_publications.origin_run_id"))
             fail("legacy Attempt closure origin differs from its row");
-        connection.db.prepare("UPDATE ne18_attempt_publications SET closure_payload=?,closure_digest=? WHERE attempt_id=?")
+        connection.db.prepare("UPDATE ne19_attempt_publications SET closure_payload=?,closure_digest=? WHERE attempt_id=?")
             .run(migrated.bytes, migrated.digest, text(row.attempt_id, "attempt_publications.attempt_id"));
     }
     sealCurrentRuns(connection, runIds);
 }
 function sealCurrentRuns(connection, runIds) {
-    const insert = connection.db.prepare(`INSERT INTO ne18_run_seal_entries(run_id,ordinal,entry_kind,logical_identity,digest)
+    const insert = connection.db.prepare(`INSERT INTO ne19_run_seal_entries(run_id,ordinal,entry_kind,logical_identity,digest)
     VALUES (?,?,?,?,?)`);
     for (const runId of runIds) {
         const entries = (0, storage_ts_1.collectRunSealEntries)(connection, runId);
         const identity = (0, seal_ts_1.exactLogicalSealIdentity)(entries);
-        connection.db.prepare(`UPDATE ne18_runs SET status='sealing',candidate_seal_identity=?,candidate_seal_entry_count=?,
+        connection.db.prepare(`UPDATE ne19_runs SET status='sealing',candidate_seal_identity=?,candidate_seal_entry_count=?,
       candidate_seal_staged_count=0,logical_seal_identity=NULL WHERE run_id=? AND status='open'`).run(identity, entries.length, runId);
         entries.forEach((entry, ordinal) => insert.run(runId, ordinal, entry.kind, entry.logicalIdentity, entry.digest));
-        connection.db.prepare(`UPDATE ne18_runs SET status='sealed',candidate_seal_staged_count=?,logical_seal_identity=?
+        connection.db.prepare(`UPDATE ne19_runs SET status='sealed',candidate_seal_staged_count=?,logical_seal_identity=?
       WHERE run_id=? AND status='sealing'`).run(entries.length, identity, runId);
     }
 }
 function convertLocked(connection, format, digest) {
     const db = connection.db;
-    const sourcePrefix = format === "niceeval.project-database/0.17" ? "ne_" : "";
+    const prefix = sourcePrefix(format);
     db.exec("PRAGMA defer_foreign_keys=ON");
     db.exec(schema_ts_1.RECORD_SQLITE_BASELINE_SQL);
-    copyTable(db, "record_metadata", sourcePrefix);
-    db.prepare(`UPDATE ne18_record_metadata SET format=?,storage_revision=?,schema_fingerprint=? WHERE singleton=1`)
+    copyTable(db, "record_metadata", prefix);
+    db.prepare(`UPDATE ne19_record_metadata SET format=?,storage_revision=?,schema_fingerprint=? WHERE singleton=1`)
         .run(types_ts_1.RECORD_SQLITE_FORMAT, types_ts_1.RECORD_SQLITE_STORAGE_REVISION, schema_ts_1.RECORD_SQLITE_BASELINE_FINGERPRINT);
-    db.prepare(`INSERT INTO ne18_migration_state(singleton,state,source_format,source_digest) VALUES (1,'committed',?,?)`)
+    db.prepare(`INSERT INTO ne19_migration_state(singleton,state,source_format,source_digest) VALUES (1,'committed',?,?)`)
         .run(format, digest);
     for (const table of COPY_ORDER) {
         if (table === "runs") {
-            copyTable(db, table, sourcePrefix, { status: "'open'", candidate_seal_identity: "NULL", candidate_seal_entry_count: "NULL", candidate_seal_staged_count: "0", logical_seal_identity: "NULL" });
+            copyRunTable(db, format, prefix, { status: "'open'", candidate_seal_identity: "NULL", candidate_seal_entry_count: "NULL", candidate_seal_staged_count: "0", logical_seal_identity: "NULL" });
         }
         else if (table === "attempts") {
-            copyTable(db, table, sourcePrefix, { publication_state: "'staging'" });
+            copyTable(db, table, prefix, { publication_state: "'staging'" });
         }
         else if (table === "run_publication_clock") {
-            db.exec(`UPDATE ne18_run_publication_clock SET revision=(SELECT revision FROM ${sourcePrefix}run_publication_clock WHERE singleton=1)
+            db.exec(`UPDATE ne19_run_publication_clock SET revision=(SELECT revision FROM ${prefix}run_publication_clock WHERE singleton=1)
         WHERE singleton=1`);
         }
         else {
-            copyTable(db, table, sourcePrefix);
+            copyTable(db, table, prefix);
         }
     }
-    const runIds = validateLegacySeals(connection, sourcePrefix);
-    if (format === "niceeval.project-database/0.17") {
-        validateFrozen017Payloads(connection);
-        db.exec(`UPDATE ne18_attempts SET publication_state=(SELECT publication_state FROM ne_attempts old
-      WHERE old.origin_run_id=ne18_attempts.origin_run_id AND old.attempt_id=ne18_attempts.attempt_id)`);
+    const runIds = validateLegacySeals(connection, prefix);
+    if (format === "niceeval.project-database/0.17" || format === "niceeval.project-database/0.18") {
+        if (format === "niceeval.project-database/0.17")
+            validateFrozen017Payloads(connection);
+        else
+            validate018Closures(connection);
+        db.exec(`UPDATE ne19_attempts SET publication_state=(SELECT publication_state FROM ${prefix}attempts old
+      WHERE old.origin_run_id=ne19_attempts.origin_run_id AND old.attempt_id=ne19_attempts.attempt_id)`);
         sealCurrentRuns(connection, runIds);
     }
     else {
-        db.exec(`UPDATE ne18_attempts SET publication_state=(SELECT publication_state FROM attempts old
-      WHERE old.origin_run_id=ne18_attempts.origin_run_id AND old.attempt_id=ne18_attempts.attempt_id)`);
+        db.exec(`UPDATE ne19_attempts SET publication_state=(SELECT publication_state FROM attempts old
+      WHERE old.origin_run_id=ne19_attempts.origin_run_id AND old.attempt_id=ne19_attempts.attempt_id)`);
         transformPayloads(connection, format, runIds);
     }
-    const oldTables = format === "niceeval.project-database/0.17" ? schema_ts_1.RECORD_SQLITE_017_TABLE_NAMES : schema_ts_1.RECORD_SQLITE_LEGACY_TABLE_NAMES;
+    const mismatch = db.prepare(`SELECT 1 FROM ne19_runs r JOIN ne19_run_resources resource USING(run_id)
+    WHERE r.experiment_id != resource.experiment_id LIMIT 1`).get();
+    if (mismatch !== undefined)
+        fail("Run Core experimentId differs from its resource");
+    const oldTables = format === "niceeval.project-database/0.18" ? schema_ts_1.RECORD_SQLITE_018_TABLE_NAMES : format === "niceeval.project-database/0.17" ? schema_ts_1.RECORD_SQLITE_017_TABLE_NAMES : schema_ts_1.RECORD_SQLITE_LEGACY_TABLE_NAMES;
     for (const table of [...oldTables].reverse())
         db.exec(`DROP TABLE "${table}"`);
     (0, database_ts_1.validateExactSchema)(connection);
@@ -625,11 +684,11 @@ function convertLocked(connection, format, digest) {
         fail("converted ProjectDatabase has a foreign-key violation");
 }
 function currentState(db) {
-    const present = db.prepare(`SELECT count(*) AS count FROM sqlite_schema WHERE type='table' AND name='ne18_record_metadata'`).get();
-    if (integer(present.count, "sqlite_schema.ne18_record_metadata") === 0)
+    const present = db.prepare(`SELECT count(*) AS count FROM sqlite_schema WHERE type='table' AND name='ne19_record_metadata'`).get();
+    if (integer(present.count, "sqlite_schema.ne19_record_metadata") === 0)
         return undefined;
     return db.prepare(`SELECT m.format,m.storage_revision,m.schema_fingerprint,s.state,s.source_format,s.source_digest
-    FROM ne18_record_metadata m JOIN ne18_migration_state s ON s.singleton=m.singleton WHERE m.singleton=1`).get();
+    FROM ne19_record_metadata m JOIN ne19_migration_state s ON s.singleton=m.singleton WHERE m.singleton=1`).get();
 }
 function verifyCommitted(path, format, digest) {
     assertBackup(projectDatabaseMigrationBackupPath(path, format), format, digest);
@@ -653,7 +712,7 @@ function markReady(path, format, digest) {
     const db = openRaw(path, false, 5000);
     try {
         db.exec("BEGIN IMMEDIATE");
-        const changed = db.prepare(`UPDATE ne18_migration_state SET state='ready'
+        const changed = db.prepare(`UPDATE ne19_migration_state SET state='ready'
       WHERE singleton=1 AND state='committed' AND source_format=? AND source_digest=?`).run(format, digest);
         if (Number(changed.changes) !== 1)
             fail("committed migration marker changed before readiness publication");