@snoai/memory 0.0.0-stage → 1.0.0

package/drizzle/0016_task_lifecycle_legacy_migration.sql

@@ -0,0 +1,144 @@
+ALTER TABLE `nodix_active_task_evidence` RENAME TO `nodix_active_task_evidence_v15`;
+--> statement-breakpoint
+ALTER TABLE `nodix_active_task_transitions` RENAME TO `nodix_active_task_transitions_v15`;
+--> statement-breakpoint
+ALTER TABLE `nodix_active_task_revisions` RENAME TO `nodix_active_task_revisions_v15`;
+--> statement-breakpoint
+ALTER TABLE `nodix_active_task_instances` RENAME TO `nodix_active_task_instances_v15`;
+--> statement-breakpoint
+CREATE TABLE `nodix_active_task_instances` (
+	`project_id` text NOT NULL,
+	`active_task_id` text NOT NULL,
+	`opening_command_id` text,
+	`canonical_tuple_json` text NOT NULL,
+	`identity_state` text NOT NULL CHECK (`identity_state` IN ('normal', 'unresolved')),
+	`status` text NOT NULL CHECK (`status` IN ('active', 'completed', 'removed')),
+	`created_at_ms` integer NOT NULL,
+	`terminal_at_ms` integer,
+	`legacy_row_locators_json` text,
+	`preserved_lifecycle_events_json` text,
+	`provenance_json` text,
+	`binding_evidence_json` text,
+	PRIMARY KEY (`project_id`, `active_task_id`),
+	UNIQUE (`project_id`, `opening_command_id`),
+	FOREIGN KEY (`project_id`, `opening_command_id`)
+		REFERENCES `nodix_task_lifecycle_commands` (`project_id`, `command_id`)
+) WITHOUT ROWID;
+--> statement-breakpoint
+INSERT INTO `nodix_active_task_instances`(
+	`project_id`, `active_task_id`, `opening_command_id`, `canonical_tuple_json`,
+	`identity_state`, `status`, `created_at_ms`, `terminal_at_ms`
+)
+SELECT
+	`project_id`, `active_task_id`, `opening_command_id`, `canonical_tuple_json`,
+	`identity_state`, `status`, `created_at_ms`, `terminal_at_ms`
+FROM `nodix_active_task_instances_v15`;
+--> statement-breakpoint
+CREATE TABLE `nodix_active_task_revisions` (
+	`project_id` text NOT NULL,
+	`active_task_revision_id` text NOT NULL,
+	`active_task_id` text NOT NULL,
+	`creating_command_id` text,
+	`canonical_tuple_json` text NOT NULL,
+	`description` text NOT NULL,
+	`occurrence_anchors_json` text NOT NULL,
+	`revision_details_json` text NOT NULL,
+	`created_at_ms` integer NOT NULL,
+	`is_current` integer NOT NULL CHECK (`is_current` IN (0, 1)),
+	`legacy_row_locator` text,
+	PRIMARY KEY (`project_id`, `active_task_revision_id`),
+	UNIQUE (`project_id`, `active_task_id`, `creating_command_id`),
+	FOREIGN KEY (`project_id`, `active_task_id`)
+		REFERENCES `nodix_active_task_instances` (`project_id`, `active_task_id`),
+	FOREIGN KEY (`project_id`, `creating_command_id`)
+		REFERENCES `nodix_task_lifecycle_commands` (`project_id`, `command_id`)
+) WITHOUT ROWID;
+--> statement-breakpoint
+INSERT INTO `nodix_active_task_revisions`(
+	`project_id`, `active_task_revision_id`, `active_task_id`, `creating_command_id`,
+	`canonical_tuple_json`, `description`, `occurrence_anchors_json`,
+	`revision_details_json`, `created_at_ms`, `is_current`
+)
+SELECT
+	`project_id`, `active_task_revision_id`, `active_task_id`, `creating_command_id`,
+	`canonical_tuple_json`, `description`, `occurrence_anchors_json`,
+	`revision_details_json`, `created_at_ms`, `is_current`
+FROM `nodix_active_task_revisions_v15`;
+--> statement-breakpoint
+CREATE TABLE `nodix_active_task_transitions` (
+	`project_id` text NOT NULL,
+	`command_id` text NOT NULL,
+	`active_task_id` text NOT NULL,
+	`transition_kind` text NOT NULL CHECK (`transition_kind` IN ('open', 'refine', 'complete', 'remove')),
+	`from_status` text CHECK (`from_status` IS NULL OR `from_status` IN ('active', 'completed', 'removed')),
+	`to_status` text NOT NULL CHECK (`to_status` IN ('active', 'completed', 'removed')),
+	`effective_at_ms` integer NOT NULL,
+	PRIMARY KEY (`project_id`, `command_id`),
+	FOREIGN KEY (`project_id`, `command_id`)
+		REFERENCES `nodix_task_lifecycle_commands` (`project_id`, `command_id`),
+	FOREIGN KEY (`project_id`, `active_task_id`)
+		REFERENCES `nodix_active_task_instances` (`project_id`, `active_task_id`)
+) WITHOUT ROWID;
+--> statement-breakpoint
+CREATE TABLE `nodix_active_task_evidence` (
+	`project_id` text NOT NULL,
+	`command_id` text NOT NULL,
+	`active_task_id` text,
+	`evidence_memory_id` text,
+	`source_assertion_json` text NOT NULL,
+	`outcome` text NOT NULL,
+	`diagnostics_json` text NOT NULL,
+	`linked_at_ms` integer NOT NULL,
+	PRIMARY KEY (`project_id`, `command_id`),
+	FOREIGN KEY (`project_id`, `command_id`)
+		REFERENCES `nodix_task_lifecycle_commands` (`project_id`, `command_id`),
+	FOREIGN KEY (`project_id`, `active_task_id`)
+		REFERENCES `nodix_active_task_instances` (`project_id`, `active_task_id`)
+) WITHOUT ROWID;
+--> statement-breakpoint
+INSERT INTO `nodix_active_task_transitions`
+SELECT * FROM `nodix_active_task_transitions_v15`;
+--> statement-breakpoint
+INSERT INTO `nodix_active_task_evidence`
+SELECT * FROM `nodix_active_task_evidence_v15`;
+--> statement-breakpoint
+DROP TABLE `nodix_active_task_transitions_v15`;
+--> statement-breakpoint
+DROP TABLE `nodix_active_task_evidence_v15`;
+--> statement-breakpoint
+DROP TABLE `nodix_active_task_revisions_v15`;
+--> statement-breakpoint
+DROP TABLE `nodix_active_task_instances_v15`;
+--> statement-breakpoint
+CREATE UNIQUE INDEX `nodix_idx_active_task_current_revision`
+ON `nodix_active_task_revisions` (`project_id`, `active_task_id`)
+WHERE `is_current` = 1;
+--> statement-breakpoint
+CREATE TABLE `nodix_active_task_migration_evidence` (
+	`project_id` text NOT NULL,
+	`legacy_row_locator` text NOT NULL,
+	`active_task_id` text NOT NULL,
+	`command_id` text,
+	`source_row_json` text NOT NULL,
+	`revision_role` text NOT NULL CHECK (`revision_role` IN ('current', 'terminal_non_current', 'evidence_only')),
+	`preserved_unbound` integer NOT NULL CHECK (`preserved_unbound` IN (0, 1)),
+	PRIMARY KEY (`project_id`, `legacy_row_locator`),
+	FOREIGN KEY (`project_id`, `active_task_id`)
+		REFERENCES `nodix_active_task_instances` (`project_id`, `active_task_id`),
+	FOREIGN KEY (`project_id`, `command_id`)
+		REFERENCES `nodix_task_lifecycle_commands` (`project_id`, `command_id`)
+) WITHOUT ROWID;
+--> statement-breakpoint
+CREATE TABLE `nodix_active_task_migration_manifests` (
+	`manifest_id` text NOT NULL PRIMARY KEY,
+	`manifest_hash` text NOT NULL,
+	`input_store_hash` text NOT NULL,
+	`state_hash` text NOT NULL,
+	`applied_at_ms` integer NOT NULL
+) WITHOUT ROWID;
+--> statement-breakpoint
+CREATE INDEX `nodix_idx_active_task_instances_projection`
+ON `nodix_active_task_instances` (`project_id`, `status`, `created_at_ms`, `active_task_id`);
+--> statement-breakpoint
+CREATE INDEX `nodix_idx_active_task_evidence_instance`
+ON `nodix_active_task_evidence` (`project_id`, `active_task_id`);

package/drizzle/0017_unplaced_candidates.sql

@@ -0,0 +1,15 @@
+CREATE TABLE `nodix_unplaced_memory_candidates` (
+	`id` text PRIMARY KEY NOT NULL,
+	`project_id` text NOT NULL,
+	`category` text NOT NULL,
+	`text` text NOT NULL,
+	`raw_candidate_json` text NOT NULL,
+	`disposition_reason` text NOT NULL,
+	`dispositioned_at_ms` integer NOT NULL,
+	`session_key` text,
+	`dedupe_hash` text NOT NULL
+);
+--> statement-breakpoint
+CREATE INDEX `nodix_idx_unplaced_project_reason` ON `nodix_unplaced_memory_candidates` (`project_id`,`disposition_reason`);
+--> statement-breakpoint
+CREATE UNIQUE INDEX `nodix_idx_unplaced_dedupe` ON `nodix_unplaced_memory_candidates` (`project_id`,`dedupe_hash`);

package/drizzle/0018_rem_batch_chassis.sql

@@ -0,0 +1,71 @@
+CREATE TABLE IF NOT EXISTS `nodix_rem_relation_ledger` (
+	`row_id` text PRIMARY KEY NOT NULL,
+	`content_hash` text NOT NULL,
+	`state` text NOT NULL CHECK (`state` IN ('transition', 'stale-current', 'pure-negation')),
+	`owner` text DEFAULT 'none' NOT NULL CHECK (`owner` IN ('restate', 'verdict', 'none')),
+	`claim_ts` text,
+	`classified_at` text NOT NULL
+);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_scan_generations` (
+	`generation_id` text PRIMARY KEY NOT NULL,
+	`corpus_snapshot_hash` text NOT NULL,
+	`pairing_config_hash` text NOT NULL,
+	`max_llm_calls` integer NOT NULL CHECK (`max_llm_calls` >= 0),
+	`max_tokens` integer NOT NULL CHECK (`max_tokens` >= 0),
+	`llm_calls_used` integer DEFAULT 0 NOT NULL,
+	`tokens_used` integer DEFAULT 0 NOT NULL,
+	`pending_stages_json` text DEFAULT '[]' NOT NULL
+);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_scan_pairs` (
+	`generation_id` text NOT NULL,
+	`pair_id` text NOT NULL,
+	`left_row_id` text NOT NULL,
+	`right_row_id` text NOT NULL,
+	`sort_key` text NOT NULL,
+	`claim_state` text DEFAULT 'unvisited' NOT NULL
+		CHECK (`claim_state` IN ('unvisited', 'claimed', 'done')),
+	`invocation_id` text,
+	`claimed_at` text,
+	`checkpoint` text,
+	`verdict` text,
+	`actions_applied` integer DEFAULT 0 NOT NULL CHECK (`actions_applied` IN (0, 1)),
+	`budget_reserved` integer DEFAULT 0 NOT NULL CHECK (`budget_reserved` IN (0, 1)),
+	`reserved_tokens` integer DEFAULT 0 NOT NULL CHECK (`reserved_tokens` >= 0),
+	PRIMARY KEY (`generation_id`, `pair_id`),
+	FOREIGN KEY (`generation_id`) REFERENCES `nodix_rem_scan_generations`(`generation_id`)
+);
+--> statement-breakpoint
+CREATE INDEX IF NOT EXISTS `rem_scan_pairs_cursor`
+	ON `nodix_rem_scan_pairs` (`generation_id`, `claim_state`, `sort_key`, `pair_id`);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_journal` (
+	`sequence` integer PRIMARY KEY AUTOINCREMENT NOT NULL,
+	`job_id` text NOT NULL,
+	`job_type` text NOT NULL CHECK (`job_type` IN ('rem-verdict', 'rem-restate')),
+	`stage` text NOT NULL,
+	`outcome` text NOT NULL
+		CHECK (`outcome` IN ('done', 'failed', 'disabled', 'pending', 'refused')),
+	`pairs_scanned` integer DEFAULT 0 NOT NULL,
+	`verdicts` integer DEFAULT 0 NOT NULL,
+	`actions_applied` integer DEFAULT 0 NOT NULL,
+	`reason` text,
+	CHECK (`outcome` NOT IN ('failed', 'refused') OR length(trim(`reason`)) > 0)
+);
+--> statement-breakpoint
+CREATE INDEX IF NOT EXISTS `rem_journal_job_sequence` ON `nodix_rem_journal` (`job_id`, `sequence`);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_recovery_history` (
+	`recovery_handle` text PRIMARY KEY NOT NULL,
+	`row_id` text NOT NULL,
+	`operation_kind` text NOT NULL CHECK (`operation_kind` IN ('lane', 'text-version', 'mark')),
+	`prior_row_image` text NOT NULL,
+	`prior_content_hash` text NOT NULL,
+	`expected_post_hash` text NOT NULL,
+	`reason` text NOT NULL CHECK (length(trim(`reason`)) > 0),
+	`mutation_ts` text NOT NULL,
+	`restored_at` text
+);
+--> statement-breakpoint
+CREATE INDEX IF NOT EXISTS `rem_recovery_history_row` ON `nodix_rem_recovery_history` (`row_id`);

package/drizzle/0019_profile_recovery_entries.sql

@@ -0,0 +1,17 @@
+CREATE TABLE `nodix_profile_recovery_entries` (
+	`entry_id` text PRIMARY KEY NOT NULL,
+	`mutation_attempt_id` text NOT NULL,
+	`removed_row_id` text NOT NULL,
+	`project_id` text NOT NULL,
+	`profile_fact_id` text NOT NULL,
+	`section_name` text NOT NULL,
+	`removed_value` text NOT NULL,
+	`removed_at_ms` integer NOT NULL,
+	FOREIGN KEY (`removed_row_id`) REFERENCES `nodix_memories`(`id`) ON UPDATE no action ON DELETE cascade
+);
+--> statement-breakpoint
+CREATE INDEX `nodix_idx_profile_recovery_lineage`
+	ON `nodix_profile_recovery_entries` (`project_id`, `profile_fact_id`, `removed_at_ms`);
+--> statement-breakpoint
+CREATE INDEX `nodix_idx_profile_recovery_attempt`
+	ON `nodix_profile_recovery_entries` (`mutation_attempt_id`);

package/drizzle/0020_rem_scan_retry_progress.down.sql

@@ -0,0 +1,14 @@
+-- Schema rollback: removes the retry columns so the paired forward migration can run again.
+DROP INDEX `rem_scan_pairs_progress`;
+--> statement-breakpoint
+DROP TABLE `nodix_rem_scan_invocations`;
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_scan_pairs` DROP COLUMN `inherited_from_generation_id`;
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_scan_pairs` DROP COLUMN `refusal_reason`;
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_scan_pairs` DROP COLUMN `progress_state`;
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_scan_pairs` DROP COLUMN `attempt_count`;
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_scan_pairs` DROP COLUMN `budget_invocation_id`;

package/drizzle/0020_rem_scan_retry_progress.sql

@@ -0,0 +1,24 @@
+ALTER TABLE `nodix_rem_scan_pairs` ADD COLUMN `budget_invocation_id` text;
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_scan_pairs` ADD COLUMN `attempt_count` integer DEFAULT 0 NOT NULL
+	CHECK (`attempt_count` >= 0);
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_scan_pairs` ADD COLUMN `progress_state` text DEFAULT 'pending' NOT NULL
+	CHECK (`progress_state` IN ('pending', 'refused', 'closed', 'exhausted'));
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_scan_pairs` ADD COLUMN `refusal_reason` text;
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_scan_pairs` ADD COLUMN `inherited_from_generation_id` text;
+--> statement-breakpoint
+CREATE INDEX IF NOT EXISTS `rem_scan_pairs_progress`
+	ON `nodix_rem_scan_pairs` (`generation_id`, `progress_state`, `sort_key`, `pair_id`);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_scan_invocations` (
+	`generation_id` text NOT NULL,
+	`invocation_id` text NOT NULL,
+	`llm_calls_used` integer DEFAULT 0 NOT NULL,
+	`tokens_used` integer DEFAULT 0 NOT NULL,
+	`created_at` text NOT NULL,
+	PRIMARY KEY (`generation_id`, `invocation_id`),
+	FOREIGN KEY (`generation_id`) REFERENCES `nodix_rem_scan_generations`(`generation_id`)
+);

package/drizzle/0021_rem_two_facet_storage.down.sql

@@ -0,0 +1,14 @@
+-- Destructive schema rollback: discards all facet text and facet recovery snapshots.
+-- A later forward migration rebuilds current facets from primary-row text and silently loses
+-- every applied current-state rewrite. Use only before any such rewrite or with an external backup.
+DROP TABLE IF EXISTS `nodix_rem_facet_recovery`;
+--> statement-breakpoint
+DROP INDEX IF EXISTS `rem_memory_facets_by_facet`;
+--> statement-breakpoint
+DROP TRIGGER IF EXISTS `rem_memory_facets_after_insert`;
+--> statement-breakpoint
+DROP TRIGGER IF EXISTS `rem_memory_facets_after_text_update`;
+--> statement-breakpoint
+DROP TABLE IF EXISTS `nodix_rem_memory_facets`;
+--> statement-breakpoint
+ALTER TABLE `nodix_memory_chunks` DROP COLUMN `facet`;

package/drizzle/0021_rem_two_facet_storage.sql

@@ -0,0 +1,42 @@
+CREATE TABLE IF NOT EXISTS `nodix_rem_memory_facets` (
+	`memory_id` text NOT NULL,
+	`facet` text NOT NULL CHECK (`facet` IN ('current', 'history')),
+	`text` text NOT NULL,
+	`updated_at_ms` integer NOT NULL,
+	PRIMARY KEY (`memory_id`, `facet`),
+	FOREIGN KEY (`memory_id`) REFERENCES `nodix_memories`(`id`) ON DELETE CASCADE
+);
+--> statement-breakpoint
+INSERT OR IGNORE INTO `nodix_rem_memory_facets` (`memory_id`, `facet`, `text`, `updated_at_ms`)
+	SELECT `id`, 'current', `text`, `timestamp` FROM `nodix_memories`;
+--> statement-breakpoint
+CREATE TRIGGER IF NOT EXISTS `rem_memory_facets_after_insert`
+AFTER INSERT ON `nodix_memories`
+BEGIN
+	INSERT INTO `nodix_rem_memory_facets` (`memory_id`, `facet`, `text`, `updated_at_ms`)
+		VALUES (NEW.`id`, 'current', NEW.`text`, NEW.`timestamp`);
+END;
+--> statement-breakpoint
+CREATE TRIGGER IF NOT EXISTS `rem_memory_facets_after_text_update`
+AFTER UPDATE OF `text` ON `nodix_memories`
+BEGIN
+	INSERT INTO `nodix_rem_memory_facets` (`memory_id`, `facet`, `text`, `updated_at_ms`)
+		VALUES (NEW.`id`, 'current', NEW.`text`, NEW.`timestamp`)
+	ON CONFLICT(`memory_id`, `facet`) DO UPDATE SET
+		`text` = excluded.`text`, `updated_at_ms` = excluded.`updated_at_ms`;
+END;
+--> statement-breakpoint
+CREATE INDEX IF NOT EXISTS `rem_memory_facets_by_facet`
+	ON `nodix_rem_memory_facets` (`facet`, `memory_id`);
+--> statement-breakpoint
+ALTER TABLE `nodix_memory_chunks`
+	ADD COLUMN `facet` text NOT NULL DEFAULT 'current' CHECK (`facet` IN ('current', 'history'));
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_facet_recovery` (
+	`recovery_handle` text PRIMARY KEY,
+	`prior_facets_json` text NOT NULL,
+	`prior_chunk_facets_json` text NOT NULL,
+	`expected_facets_json` text NOT NULL,
+	`expected_chunk_facets_json` text NOT NULL,
+	FOREIGN KEY (`recovery_handle`) REFERENCES `nodix_rem_recovery_history`(`recovery_handle`)
+);

package/drizzle/0022_rem_facet_chunk_versions.down.sql

@@ -0,0 +1,4 @@
+DROP INDEX IF EXISTS `nodix_idx_memory_chunks_memory_facet`;
+--> statement-breakpoint
+CREATE UNIQUE INDEX `nodix_idx_memory_chunks_memory`
+	ON `nodix_memory_chunks` (`memory_id`, `chunk_index`);

package/drizzle/0022_rem_facet_chunk_versions.sql

@@ -0,0 +1,4 @@
+DROP INDEX IF EXISTS `nodix_idx_memory_chunks_memory`;
+--> statement-breakpoint
+CREATE UNIQUE INDEX IF NOT EXISTS `nodix_idx_memory_chunks_memory_facet`
+	ON `nodix_memory_chunks` (`memory_id`, `facet`, `chunk_index`);

package/drizzle/0023_rem_defect_ledger.sql

@@ -0,0 +1,40 @@
+CREATE TABLE IF NOT EXISTS `nodix_rem_pair_stage_budgets` (
+	`generation_id` text NOT NULL,
+	`pair_id` text NOT NULL,
+	`stage` text NOT NULL,
+	`invocation_id` text NOT NULL,
+	`reserved_tokens` integer NOT NULL CHECK (`reserved_tokens` >= 0),
+	`idempotency_key` text NOT NULL,
+	PRIMARY KEY (`generation_id`, `pair_id`, `stage`),
+	FOREIGN KEY (`generation_id`, `pair_id`) REFERENCES `nodix_rem_scan_pairs`(`generation_id`, `pair_id`),
+	FOREIGN KEY (`generation_id`, `invocation_id`) REFERENCES `nodix_rem_scan_invocations`(`generation_id`, `invocation_id`)
+);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_journal_next` (
+	`sequence` integer PRIMARY KEY AUTOINCREMENT,
+	`job_id` text NOT NULL,
+	`job_type` text NOT NULL CHECK (`job_type` IN ('rem-verdict', 'rem-restate')),
+	`stage` text NOT NULL,
+	`outcome` text NOT NULL CHECK (`outcome` IN ('done', 'failed', 'disabled', 'pending', 'refused', 'no-action')),
+	`pairs_scanned` integer NOT NULL DEFAULT 0,
+	`verdicts` integer NOT NULL DEFAULT 0,
+	`actions_applied` integer NOT NULL DEFAULT 0,
+	`reason` text,
+	`row_id` text,
+	`pair_id` text,
+	CHECK (`outcome` NOT IN ('failed', 'refused') OR length(trim(`reason`)) > 0)
+);
+--> statement-breakpoint
+INSERT INTO `nodix_rem_journal_next`(
+	`sequence`, `job_id`, `job_type`, `stage`, `outcome`, `pairs_scanned`, `verdicts`,
+	`actions_applied`, `reason`
+)
+	SELECT `sequence`, `job_id`, `job_type`, `stage`, `outcome`, `pairs_scanned`, `verdicts`,
+		`actions_applied`, `reason`
+	FROM `nodix_rem_journal`;
+--> statement-breakpoint
+DROP TABLE `nodix_rem_journal`;
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_journal_next` RENAME TO `nodix_rem_journal`;
+--> statement-breakpoint
+CREATE INDEX IF NOT EXISTS `rem_journal_job_sequence` ON `nodix_rem_journal` (`job_id`, `sequence`);

package/drizzle/0024_rem_unbuilt_foundations.down.sql

@@ -0,0 +1,13 @@
+DROP TABLE IF EXISTS `nodix_rem_verdict_observations`;
+--> statement-breakpoint
+DROP TABLE IF EXISTS `nodix_rem_batch_summaries`;
+--> statement-breakpoint
+DROP TABLE IF EXISTS `nodix_rem_generation_transitions`;
+--> statement-breakpoint
+DROP TABLE IF EXISTS `nodix_rem_census_rows`;
+--> statement-breakpoint
+DROP INDEX IF EXISTS `rem_write_attempts_outcome`;
+--> statement-breakpoint
+DROP TABLE IF EXISTS `nodix_rem_write_attempts`;
+--> statement-breakpoint
+DROP TABLE IF EXISTS `nodix_rem_write_verdicts`;

package/drizzle/0024_rem_unbuilt_foundations.sql

@@ -0,0 +1,65 @@
+CREATE TABLE IF NOT EXISTS `nodix_rem_write_verdicts` (
+	`evidence_id` text PRIMARY KEY NOT NULL,
+	`winner_row_id` text NOT NULL,
+	`loser_row_id` text NOT NULL,
+	`target_row_id` text NOT NULL,
+	`retired_fact_atoms_json` text NOT NULL,
+	`recorded_at` text NOT NULL
+);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_write_attempts` (
+	`attempt_id` text PRIMARY KEY NOT NULL,
+	`job_id` text NOT NULL,
+	`stage` text NOT NULL,
+	`row_id` text NOT NULL,
+	`writer` text NOT NULL,
+	`attempt_ordinal` integer NOT NULL CHECK (`attempt_ordinal` > 0),
+	`outcome` text NOT NULL CHECK (`outcome` IN ('pending', 'succeeded', 'failed', 'refused', 'degraded')),
+	`reason_code` text,
+	`pre_write_content_sha256` text NOT NULL,
+	`proposed_text_sha256` text NOT NULL,
+	`evidence_id` text NOT NULL,
+	`configuration_sha256` text NOT NULL,
+	`post_write_content_sha256` text,
+	`opened_at` text NOT NULL,
+	`closed_at` text
+);
+--> statement-breakpoint
+CREATE INDEX IF NOT EXISTS `rem_write_attempts_outcome` ON `nodix_rem_write_attempts` (`outcome`, `opened_at`);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_census_rows` (
+	`row_id` text PRIMARY KEY NOT NULL,
+	`write_identity_sha256` text,
+	`candidate_set_sha256` text,
+	`generation_id` text,
+	`corpus_sha256` text,
+	`embedder_sha256` text,
+	`configuration_sha256` text
+);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_generation_transitions` (
+	`sequence` integer PRIMARY KEY AUTOINCREMENT NOT NULL,
+	`outgoing_generation_id` text NOT NULL,
+	`incoming_generation_id` text NOT NULL,
+	`recorded_at` text NOT NULL
+);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_batch_summaries` (
+	`batch_id` text PRIMARY KEY NOT NULL,
+	`generation_id` text UNIQUE,
+	`calls` integer NOT NULL DEFAULT 0,
+	`tokens` integer NOT NULL DEFAULT 0,
+	`pairCount` integer NOT NULL DEFAULT 0,
+	`closeCount` integer NOT NULL DEFAULT 0,
+	`refusalCount` integer NOT NULL DEFAULT 0,
+	`verdict_distribution_json` text NOT NULL DEFAULT '{}',
+	`pre_truncation_count` integer,
+	`emitted_count` integer
+);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS `nodix_rem_verdict_observations` (
+	`pair_id` text PRIMARY KEY NOT NULL,
+	`audit_kind` text NOT NULL CHECK (`audit_kind` IN ('VERDICT', 'SAMPLE')),
+	`persisted_verdict` text,
+	`raw_value` text NOT NULL
+);

package/drizzle/0025_rem_journal_operation_constraint.sql

@@ -0,0 +1,28 @@
+CREATE TABLE `nodix_rem_journal_next` (
+	`sequence` integer PRIMARY KEY AUTOINCREMENT,
+	`job_id` text NOT NULL,
+	`job_type` text NOT NULL,
+	`stage` text NOT NULL,
+	`outcome` text NOT NULL CHECK (`outcome` IN ('done', 'failed', 'disabled', 'pending', 'refused', 'no-action')),
+	`row_id` text,
+	`pair_id` text,
+	`pairs_scanned` integer NOT NULL DEFAULT 0,
+	`verdicts` integer NOT NULL DEFAULT 0,
+	`actions_applied` integer NOT NULL DEFAULT 0,
+	`reason` text,
+	CHECK (`outcome` NOT IN ('failed', 'refused') OR length(trim(`reason`)) > 0)
+);
+--> statement-breakpoint
+INSERT INTO `nodix_rem_journal_next`(
+	`sequence`, `job_id`, `job_type`, `stage`, `outcome`, `row_id`, `pair_id`,
+	`pairs_scanned`, `verdicts`, `actions_applied`, `reason`
+)
+	SELECT `sequence`, `job_id`, `job_type`, `stage`, `outcome`, `row_id`, `pair_id`,
+		`pairs_scanned`, `verdicts`, `actions_applied`, `reason`
+	FROM `nodix_rem_journal`;
+--> statement-breakpoint
+DROP TABLE `nodix_rem_journal`;
+--> statement-breakpoint
+ALTER TABLE `nodix_rem_journal_next` RENAME TO `nodix_rem_journal`;
+--> statement-breakpoint
+CREATE INDEX `rem_journal_job_sequence` ON `nodix_rem_journal` (`job_id`, `sequence`);

package/drizzle/0026_rem_journal_detail.sql

@@ -0,0 +1 @@
+ALTER TABLE `nodix_rem_journal` ADD COLUMN `detail` text;

package/drizzle/0027_legacy_nodix_namespace.sql

@@ -0,0 +1,3 @@
+-- The runtime migration entry point performs the conditional object rename before
+-- Drizzle records this marker. Static SQLite SQL cannot conditionally ALTER TABLE.
+SELECT 1;

package/drizzle/0028_memory_timezone.sql

@@ -0,0 +1,23 @@
+ALTER TABLE nodix_memories
+ADD COLUMN timezone TEXT NOT NULL DEFAULT '__missing_timezone__';
+--> statement-breakpoint
+
+UPDATE nodix_memories
+SET timezone = 'UTC'
+WHERE timezone = '__missing_timezone__';
+--> statement-breakpoint
+
+CREATE TRIGGER nodix_memories_timezone_required_before_insert
+BEFORE INSERT ON nodix_memories
+WHEN NEW.timezone = '__missing_timezone__' OR trim(NEW.timezone) = ''
+BEGIN
+  SELECT RAISE(ABORT, 'timezone is required');
+END;
+--> statement-breakpoint
+
+CREATE TRIGGER nodix_memories_timezone_required_before_update
+BEFORE UPDATE OF timezone ON nodix_memories
+WHEN NEW.timezone = '__missing_timezone__' OR trim(NEW.timezone) = ''
+BEGIN
+  SELECT RAISE(ABORT, 'timezone is required');
+END;

package/drizzle/0029_rem_write_hash_symmetry.sql

@@ -0,0 +1,17 @@
+-- The recovery record's expected_post_hash and the verified-write guard's post-write hash were
+-- computed in two packages over two different column sets. Adding the memories.timezone column
+-- made them disagree, so every REM text-version write refused AFTER its transaction had already
+-- committed. The field list is now pinned in one place and stamped with its version: rows written
+-- before this migration carry version 1, whose hash nothing can recompute, and readers branch on
+-- the version instead of comparing against a value that can never match.
+ALTER TABLE nodix_rem_recovery_history
+ADD COLUMN row_hash_version INTEGER NOT NULL DEFAULT 1;
+--> statement-breakpoint
+
+-- Crash recovery decided whether a committed write had landed by comparing the row's content_hash
+-- (text AND metadata) against proposed_text_sha256 (text only). A REM update always writes
+-- rem_update_* metadata, so those two never matched and a write that had committed was recorded as
+-- failed forever. The expected content hash is now stamped on the attempt inside the same
+-- transaction that performs the write, so a crash cannot leave them disagreeing.
+ALTER TABLE nodix_rem_write_attempts
+ADD COLUMN expected_post_content_sha256 TEXT;

package/drizzle/0030_atomic_memory_additive.sql

@@ -0,0 +1,105 @@
+ALTER TABLE nodix_memories ADD COLUMN subject TEXT;
+--> statement-breakpoint
+ALTER TABLE nodix_memories ADD COLUMN attribute TEXT;
+--> statement-breakpoint
+ALTER TABLE nodix_memories ADD COLUMN valid_from INTEGER;
+--> statement-breakpoint
+ALTER TABLE nodix_memories ADD COLUMN valid_until INTEGER;
+--> statement-breakpoint
+ALTER TABLE nodix_memories ADD COLUMN maturity TEXT;
+--> statement-breakpoint
+ALTER TABLE nodix_memories ADD COLUMN source TEXT;
+--> statement-breakpoint
+ALTER TABLE nodix_memories ADD COLUMN extractor_version TEXT;
+--> statement-breakpoint
+
+CREATE INDEX nodix_idx_memories_project_subject_attribute
+ON nodix_memories(project_id, subject, attribute);
+--> statement-breakpoint
+CREATE INDEX nodix_idx_memories_project_valid_time
+ON nodix_memories(project_id, valid_from, valid_until);
+--> statement-breakpoint
+CREATE INDEX nodix_idx_memories_project_maturity
+ON nodix_memories(project_id, maturity);
+--> statement-breakpoint
+CREATE INDEX nodix_idx_memories_project_source
+ON nodix_memories(project_id, source);
+--> statement-breakpoint
+CREATE INDEX nodix_idx_memories_project_extractor_version
+ON nodix_memories(project_id, extractor_version);
+--> statement-breakpoint
+CREATE INDEX nodix_idx_memories_project_derived_from
+ON nodix_memories(project_id, derived_from);
+--> statement-breakpoint
+CREATE INDEX nodix_idx_memories_project_importance
+ON nodix_memories(project_id, importance);
+--> statement-breakpoint
+
+CREATE TABLE nodix_memory_relations (
+  source_card_id TEXT NOT NULL REFERENCES nodix_memories(id) ON DELETE CASCADE,
+  subject TEXT NOT NULL,
+  predicate TEXT NOT NULL CHECK (predicate IN (
+    'IS_A',
+    'WORKS_ON',
+    'NEEDS',
+    'PREFERS',
+    'FORBIDS',
+    'USES',
+    'DEPENDS_ON',
+    'CAUSED',
+    'FIXED_BY',
+    'DECIDED',
+    'SUPERSEDES',
+    'GOVERNED_BY',
+    'OWNED_BY',
+    'MEMBER_OF',
+    'LOCATED_AT',
+    'HAS_SKILL',
+    'INTERESTED_IN',
+    'HAS_ACCOUNT',
+    'HAS_OCCUPATION',
+    'HAS_METRIC',
+    'WORKS_AT',
+    'ATTENDED',
+    'MENTIONS'
+  )),
+  object TEXT NOT NULL,
+  created_at INTEGER NOT NULL,
+  UNIQUE(source_card_id, subject, predicate, object)
+);
+--> statement-breakpoint
+CREATE INDEX nodix_idx_memory_relations_subject
+ON nodix_memory_relations(subject);
+--> statement-breakpoint
+CREATE INDEX nodix_idx_memory_relations_object
+ON nodix_memory_relations(object);
+--> statement-breakpoint
+
+CREATE TABLE nodix_memory_suppressions (
+  project_id TEXT NOT NULL,
+  subject TEXT,
+  attribute TEXT,
+  content_hash TEXT,
+  created_at INTEGER NOT NULL,
+  CHECK (
+    (
+      subject IS NOT NULL AND length(trim(subject)) > 0
+      AND attribute IS NOT NULL AND length(trim(attribute)) > 0
+      AND content_hash IS NULL
+    )
+    OR
+    (
+      subject IS NULL
+      AND attribute IS NULL
+      AND content_hash IS NOT NULL AND length(trim(content_hash)) > 0
+    )
+  )
+);
+--> statement-breakpoint
+CREATE UNIQUE INDEX nodix_idx_memory_suppressions_key
+ON nodix_memory_suppressions(project_id, subject, attribute)
+WHERE subject IS NOT NULL AND attribute IS NOT NULL;
+--> statement-breakpoint
+CREATE UNIQUE INDEX nodix_idx_memory_suppressions_content
+ON nodix_memory_suppressions(project_id, content_hash)
+WHERE content_hash IS NOT NULL;