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    "live_kit_room" VARCHAR NOT NULL
 40);
 41
 42CREATE TABLE "projects" (
 43    "id" INTEGER PRIMARY KEY,
 44    "room_id" INTEGER REFERENCES rooms (id),
 45    "host_user_id" INTEGER REFERENCES users (id) NOT NULL,
 46    "host_connection_id" INTEGER NOT NULL
 47);
 48
 49CREATE TABLE "worktrees" (
 50    "project_id" INTEGER NOT NULL REFERENCES projects (id) ON DELETE CASCADE,
 51    "id" INTEGER NOT NULL,
 52    "root_name" VARCHAR NOT NULL,
 53    "abs_path" VARCHAR NOT NULL,
 54    "visible" BOOL NOT NULL,
 55    "scan_id" INTEGER NOT NULL,
 56    "is_complete" BOOL NOT NULL,
 57    PRIMARY KEY(project_id, id)
 58);
 59CREATE INDEX "index_worktrees_on_project_id" ON "worktrees" ("project_id");
 60
 61CREATE TABLE "worktree_entries" (
 62    "project_id" INTEGER NOT NULL,
 63    "worktree_id" INTEGER NOT NULL,
 64    "id" INTEGER NOT NULL,
 65    "is_dir" BOOL NOT NULL,
 66    "path" VARCHAR NOT NULL,
 67    "inode" INTEGER NOT NULL,
 68    "mtime_seconds" INTEGER NOT NULL,
 69    "mtime_nanos" INTEGER NOT NULL,
 70    "is_symlink" BOOL NOT NULL,
 71    "is_ignored" BOOL NOT NULL,
 72    PRIMARY KEY(project_id, worktree_id, id),
 73    FOREIGN KEY(project_id, worktree_id) REFERENCES worktrees (project_id, id) ON DELETE CASCADE
 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    "project_id" INTEGER NOT NULL,
 79    "worktree_id" INTEGER NOT NULL,
 80    "path" VARCHAR NOT NULL,
 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    FOREIGN KEY(project_id, worktree_id) REFERENCES worktrees (project_id, id) ON DELETE CASCADE
 86);
 87CREATE INDEX "index_worktree_diagnostic_summaries_on_project_id_and_worktree_id" ON "worktree_diagnostic_summaries" ("project_id", "worktree_id");
 88
 89CREATE TABLE "language_servers" (
 90    "id" INTEGER NOT NULL,
 91    "project_id" INTEGER NOT NULL REFERENCES projects (id) ON DELETE CASCADE,
 92    "name" VARCHAR NOT NULL,
 93    PRIMARY KEY(project_id, id)
 94);
 95CREATE INDEX "index_language_servers_on_project_id" ON "language_servers" ("project_id");
 96
 97CREATE TABLE "project_collaborators" (
 98    "id" INTEGER PRIMARY KEY,
 99    "project_id" INTEGER NOT NULL REFERENCES projects (id) ON DELETE CASCADE,
100    "connection_id" INTEGER NOT NULL,
101    "user_id" INTEGER NOT NULL,
102    "replica_id" INTEGER NOT NULL,
103    "is_host" BOOLEAN NOT NULL
104);
105CREATE INDEX "index_project_collaborators_on_project_id" ON "project_collaborators" ("project_id");
106CREATE UNIQUE INDEX "index_project_collaborators_on_project_id_and_replica_id" ON "project_collaborators" ("project_id", "replica_id");
107
108CREATE TABLE "room_participants" (
109    "id" INTEGER PRIMARY KEY,
110    "room_id" INTEGER NOT NULL REFERENCES rooms (id),
111    "user_id" INTEGER NOT NULL REFERENCES users (id),
112    "answering_connection_id" INTEGER,
113    "location_kind" INTEGER,
114    "location_project_id" INTEGER REFERENCES projects (id),
115    "initial_project_id" INTEGER REFERENCES projects (id),
116    "calling_user_id" INTEGER NOT NULL REFERENCES users (id),
117    "calling_connection_id" INTEGER NOT NULL
118);
119CREATE UNIQUE INDEX "index_room_participants_on_user_id" ON "room_participants" ("user_id");