1CREATE TABLE "users" (
  2    "id" INTEGER PRIMARY KEY,
  3    "github_login" VARCHAR,
  4    "admin" BOOLEAN,
  5    "email_address" VARCHAR(255) DEFAULT NULL,
  6    "invite_code" VARCHAR(64),
  7    "invite_count" INTEGER NOT NULL DEFAULT 0,
  8    "inviter_id" INTEGER REFERENCES users (id),
  9    "connected_once" BOOLEAN NOT NULL DEFAULT false,
 10    "created_at" TIMESTAMP NOT NULL DEFAULT now,
 11    "metrics_id" VARCHAR(255),
 12    "github_user_id" INTEGER
 13);
 14CREATE UNIQUE INDEX "index_users_github_login" ON "users" ("github_login");
 15CREATE UNIQUE INDEX "index_invite_code_users" ON "users" ("invite_code");
 16CREATE INDEX "index_users_on_email_address" ON "users" ("email_address");
 17CREATE INDEX "index_users_on_github_user_id" ON "users" ("github_user_id");
 18
 19CREATE TABLE "access_tokens" (
 20    "id" INTEGER PRIMARY KEY,
 21    "user_id" INTEGER REFERENCES users (id),
 22    "hash" VARCHAR(128)
 23);
 24CREATE INDEX "index_access_tokens_user_id" ON "access_tokens" ("user_id");
 25
 26CREATE TABLE "contacts" (
 27    "id" INTEGER PRIMARY KEY,
 28    "user_id_a" INTEGER REFERENCES users (id) NOT NULL,
 29    "user_id_b" INTEGER REFERENCES users (id) NOT NULL,
 30    "a_to_b" BOOLEAN NOT NULL,
 31    "should_notify" BOOLEAN NOT NULL,
 32    "accepted" BOOLEAN NOT NULL
 33);
 34CREATE UNIQUE INDEX "index_contacts_user_ids" ON "contacts" ("user_id_a", "user_id_b");
 35CREATE INDEX "index_contacts_user_id_b" ON "contacts" ("user_id_b");
 36
 37CREATE TABLE "rooms" (
 38    "id" INTEGER PRIMARY KEY,
 39    "version" INTEGER NOT NULL,
 40    "live_kit_room" VARCHAR NOT NULL
 41);
 42
 43CREATE TABLE "projects" (
 44    "id" INTEGER PRIMARY KEY,
 45    "room_id" INTEGER REFERENCES rooms (id),
 46    "host_user_id" INTEGER REFERENCES users (id) NOT NULL,
 47    "host_connection_id" INTEGER NOT NULL
 48);
 49
 50CREATE TABLE "worktrees" (
 51    "id" INTEGER NOT NULL,
 52    "project_id" INTEGER NOT NULL REFERENCES projects (id),
 53    "root_name" VARCHAR NOT NULL,
 54    "abs_path" VARCHAR NOT NULL,
 55    "visible" BOOL NOT NULL,
 56    "scan_id" INTEGER NOT NULL,
 57    "is_complete" BOOL NOT NULL,
 58    PRIMARY KEY(project_id, id)
 59);
 60CREATE INDEX "index_worktrees_on_project_id" ON "worktrees" ("project_id");
 61
 62CREATE TABLE "worktree_entries" (
 63    "id" INTEGER NOT NULL,
 64    "project_id" INTEGER NOT NULL REFERENCES projects (id),
 65    "worktree_id" INTEGER NOT NULL REFERENCES worktrees (id),
 66    "is_dir" BOOL NOT NULL,
 67    "path" VARCHAR NOT NULL,
 68    "inode" INTEGER NOT NULL,
 69    "mtime_seconds" INTEGER NOT NULL,
 70    "mtime_nanos" INTEGER NOT NULL,
 71    "is_symlink" BOOL NOT NULL,
 72    "is_ignored" BOOL NOT NULL,
 73    PRIMARY KEY(project_id, worktree_id, id)
 74);
 75CREATE INDEX "index_worktree_entries_on_project_id_and_worktree_id" ON "worktree_entries" ("project_id", "worktree_id");
 76
 77CREATE TABLE "worktree_diagnostic_summaries" (
 78    "path" VARCHAR NOT NULL,
 79    "project_id" INTEGER NOT NULL REFERENCES projects (id),
 80    "worktree_id" INTEGER NOT NULL REFERENCES worktrees (id),
 81    "language_server_id" INTEGER NOT NULL,
 82    "error_count" INTEGER NOT NULL,
 83    "warning_count" INTEGER NOT NULL,
 84    PRIMARY KEY(project_id, worktree_id, path)
 85);
 86CREATE INDEX "index_worktree_diagnostic_summaries_on_project_id_and_worktree_id" ON "worktree_diagnostic_summaries" ("project_id", "worktree_id");
 87
 88CREATE TABLE "language_servers" (
 89    "id" INTEGER NOT NULL,
 90    "project_id" INTEGER NOT NULL REFERENCES projects (id),
 91    "name" VARCHAR NOT NULL,
 92    PRIMARY KEY(project_id, id)
 93);
 94CREATE INDEX "index_language_servers_on_project_id" ON "language_servers" ("project_id");
 95
 96CREATE TABLE "project_collaborators" (
 97    "id" INTEGER PRIMARY KEY,
 98    "project_id" INTEGER NOT NULL REFERENCES projects (id),
 99    "connection_id" INTEGER NOT NULL,
100    "user_id" INTEGER NOT NULL,
101    "replica_id" INTEGER NOT NULL,
102    "is_host" BOOLEAN NOT NULL
103);
104CREATE INDEX "index_project_collaborators_on_project_id" ON "project_collaborators" ("project_id");
105CREATE UNIQUE INDEX "index_project_collaborators_on_project_id_and_replica_id" ON "project_collaborators" ("project_id", "replica_id");
106
107CREATE TABLE "room_participants" (
108    "id" INTEGER PRIMARY KEY,
109    "room_id" INTEGER NOT NULL REFERENCES rooms (id),
110    "user_id" INTEGER NOT NULL REFERENCES users (id),
111    "answering_connection_id" INTEGER,
112    "location_kind" INTEGER,
113    "location_project_id" INTEGER REFERENCES projects (id),
114    "initial_project_id" INTEGER REFERENCES projects (id),
115    "calling_user_id" INTEGER NOT NULL REFERENCES users (id),
116    "calling_connection_id" INTEGER NOT NULL
117);
118CREATE UNIQUE INDEX "index_room_participants_on_user_id" ON "room_participants" ("user_id");