this repo has no description
tangled.org
1package db
2
3import (
4 "context"
5 "database/sql"
6 "fmt"
7 "log"
8 "reflect"
9 "strings"
10
11 _ "github.com/mattn/go-sqlite3"
12)
13
14type DB struct {
15 *sql.DB
16}
17
18type Execer interface {
19 Query(query string, args ...any) (*sql.Rows, error)
20 QueryContext(ctx context.Context, query string, args ...any) (*sql.Rows, error)
21 QueryRow(query string, args ...any) *sql.Row
22 QueryRowContext(ctx context.Context, query string, args ...any) *sql.Row
23 Exec(query string, args ...any) (sql.Result, error)
24 ExecContext(ctx context.Context, query string, args ...any) (sql.Result, error)
25 Prepare(query string) (*sql.Stmt, error)
26 PrepareContext(ctx context.Context, query string) (*sql.Stmt, error)
27}
28
29func Make(dbPath string) (*DB, error) {
30 db, err := sql.Open("sqlite3", dbPath)
31 if err != nil {
32 return nil, err
33 }
34 _, err = db.Exec(`
35 pragma journal_mode = WAL;
36 pragma synchronous = normal;
37 pragma foreign_keys = on;
38 pragma temp_store = memory;
39 pragma mmap_size = 30000000000;
40 pragma page_size = 32768;
41 pragma auto_vacuum = incremental;
42 pragma busy_timeout = 5000;
43
44 create table if not exists registrations (
45 id integer primary key autoincrement,
46 domain text not null unique,
47 did text not null,
48 secret text not null,
49 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
50 registered text
51 );
52 create table if not exists public_keys (
53 id integer primary key autoincrement,
54 did text not null,
55 name text not null,
56 key text not null,
57 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
58 unique(did, name, key)
59 );
60 create table if not exists repos (
61 id integer primary key autoincrement,
62 did text not null,
63 name text not null,
64 knot text not null,
65 rkey text not null,
66 at_uri text not null unique,
67 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
68 unique(did, name, knot, rkey)
69 );
70 create table if not exists collaborators (
71 id integer primary key autoincrement,
72 did text not null,
73 repo integer not null,
74 foreign key (repo) references repos(id) on delete cascade
75 );
76 create table if not exists follows (
77 user_did text not null,
78 subject_did text not null,
79 rkey text not null,
80 followed_at text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
81 primary key (user_did, subject_did),
82 check (user_did <> subject_did)
83 );
84 create table if not exists issues (
85 id integer primary key autoincrement,
86 owner_did text not null,
87 repo_at text not null,
88 issue_id integer not null,
89 title text not null,
90 body text not null,
91 open integer not null default 1,
92 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
93 issue_at text,
94 unique(repo_at, issue_id),
95 foreign key (repo_at) references repos(at_uri) on delete cascade
96 );
97 create table if not exists comments (
98 id integer primary key autoincrement,
99 owner_did text not null,
100 issue_id integer not null,
101 repo_at text not null,
102 comment_id integer not null,
103 comment_at text not null,
104 body text not null,
105 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
106 unique(issue_id, comment_id),
107 foreign key (repo_at, issue_id) references issues(repo_at, issue_id) on delete cascade
108 );
109 create table if not exists pulls (
110 -- identifiers
111 id integer primary key autoincrement,
112 pull_id integer not null,
113
114 -- at identifiers
115 repo_at text not null,
116 owner_did text not null,
117 rkey text not null,
118 pull_at text,
119
120 -- content
121 title text not null,
122 body text not null,
123 target_branch text not null,
124 state integer not null default 0 check (state in (0, 1, 2)), -- open, merged, closed
125
126 -- meta
127 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
128
129 -- constraints
130 unique(repo_at, pull_id),
131 foreign key (repo_at) references repos(at_uri) on delete cascade
132 );
133
134 -- every pull must have atleast 1 submission: the initial submission
135 create table if not exists pull_submissions (
136 -- identifiers
137 id integer primary key autoincrement,
138 pull_id integer not null,
139
140 -- at identifiers
141 repo_at text not null,
142
143 -- content, these are immutable, and require a resubmission to update
144 round_number integer not null default 0,
145 patch text,
146
147 -- meta
148 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
149
150 -- constraints
151 unique(repo_at, pull_id, round_number),
152 foreign key (repo_at, pull_id) references pulls(repo_at, pull_id) on delete cascade
153 );
154
155 create table if not exists pull_comments (
156 -- identifiers
157 id integer primary key autoincrement,
158 pull_id integer not null,
159 submission_id integer not null,
160
161 -- at identifiers
162 repo_at text not null,
163 owner_did text not null,
164 comment_at text not null,
165
166 -- content
167 body text not null,
168
169 -- meta
170 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
171
172 -- constraints
173 foreign key (repo_at, pull_id) references pulls(repo_at, pull_id) on delete cascade,
174 foreign key (submission_id) references pull_submissions(id) on delete cascade
175 );
176
177 create table if not exists _jetstream (
178 id integer primary key autoincrement,
179 last_time_us integer not null
180 );
181
182 create table if not exists repo_issue_seqs (
183 repo_at text primary key,
184 next_issue_id integer not null default 1
185 );
186
187 create table if not exists repo_pull_seqs (
188 repo_at text primary key,
189 next_pull_id integer not null default 1
190 );
191
192 create table if not exists stars (
193 id integer primary key autoincrement,
194 starred_by_did text not null,
195 repo_at text not null,
196 rkey text not null,
197 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
198 foreign key (repo_at) references repos(at_uri) on delete cascade,
199 unique(starred_by_did, repo_at)
200 );
201
202 create table if not exists reactions (
203 id integer primary key autoincrement,
204 reacted_by_did text not null,
205 thread_at text not null,
206 kind text not null,
207 rkey text not null,
208 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
209 unique(reacted_by_did, thread_at, kind)
210 );
211
212 create table if not exists emails (
213 id integer primary key autoincrement,
214 did text not null,
215 email text not null,
216 verified integer not null default 0,
217 verification_code text not null,
218 last_sent text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
219 is_primary integer not null default 0,
220 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
221 unique(did, email)
222 );
223
224 create table if not exists artifacts (
225 -- id
226 id integer primary key autoincrement,
227 did text not null,
228 rkey text not null,
229
230 -- meta
231 repo_at text not null,
232 tag binary(20) not null,
233 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
234
235 -- data
236 blob_cid text not null,
237 name text not null,
238 size integer not null default 0,
239 mimetype string not null default "*/*",
240
241 -- constraints
242 unique(did, rkey), -- record must be unique
243 unique(repo_at, tag, name), -- for a given tag object, each file must be unique
244 foreign key (repo_at) references repos(at_uri) on delete cascade
245 );
246
247 create table if not exists profile (
248 -- id
249 id integer primary key autoincrement,
250 did text not null,
251
252 -- data
253 description text not null,
254 include_bluesky integer not null default 0,
255 location text,
256
257 -- constraints
258 unique(did)
259 );
260 create table if not exists profile_links (
261 -- id
262 id integer primary key autoincrement,
263 did text not null,
264
265 -- data
266 link text not null,
267
268 -- constraints
269 foreign key (did) references profile(did) on delete cascade
270 );
271 create table if not exists profile_stats (
272 -- id
273 id integer primary key autoincrement,
274 did text not null,
275
276 -- data
277 kind text not null check (kind in (
278 "merged-pull-request-count",
279 "closed-pull-request-count",
280 "open-pull-request-count",
281 "open-issue-count",
282 "closed-issue-count",
283 "repository-count"
284 )),
285
286 -- constraints
287 foreign key (did) references profile(did) on delete cascade
288 );
289 create table if not exists profile_pinned_repositories (
290 -- id
291 id integer primary key autoincrement,
292 did text not null,
293
294 -- data
295 at_uri text not null,
296
297 -- constraints
298 unique(did, at_uri),
299 foreign key (did) references profile(did) on delete cascade,
300 foreign key (at_uri) references repos(at_uri) on delete cascade
301 );
302
303 create table if not exists oauth_requests (
304 id integer primary key autoincrement,
305 auth_server_iss text not null,
306 state text not null,
307 did text not null,
308 handle text not null,
309 pds_url text not null,
310 pkce_verifier text not null,
311 dpop_auth_server_nonce text not null,
312 dpop_private_jwk text not null
313 );
314
315 create table if not exists oauth_sessions (
316 id integer primary key autoincrement,
317 did text not null,
318 handle text not null,
319 pds_url text not null,
320 auth_server_iss text not null,
321 access_jwt text not null,
322 refresh_jwt text not null,
323 dpop_pds_nonce text,
324 dpop_auth_server_nonce text not null,
325 dpop_private_jwk text not null,
326 expiry text not null
327 );
328
329 create table if not exists punchcard (
330 did text not null,
331 date text not null, -- yyyy-mm-dd
332 count integer,
333 primary key (did, date)
334 );
335
336 create table if not exists spindles (
337 id integer primary key autoincrement,
338 owner text not null,
339 instance text not null,
340 verified text, -- time of verification
341 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
342
343 unique(owner, instance)
344 );
345
346 create table if not exists spindle_members (
347 -- identifiers for the record
348 id integer primary key autoincrement,
349 did text not null,
350 rkey text not null,
351
352 -- data
353 instance text not null,
354 subject text not null,
355 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
356
357 -- constraints
358 unique (did, instance, subject)
359 );
360
361 create table if not exists pipelines (
362 -- identifiers
363 id integer primary key autoincrement,
364 knot text not null,
365 rkey text not null,
366
367 repo_owner text not null,
368 repo_name text not null,
369
370 -- every pipeline must be associated with exactly one commit
371 sha text not null check (length(sha) = 40),
372 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
373
374 -- trigger data
375 trigger_id integer not null,
376
377 unique(knot, rkey),
378 foreign key (trigger_id) references triggers(id) on delete cascade
379 );
380
381 create table if not exists triggers (
382 -- primary key
383 id integer primary key autoincrement,
384
385 -- top-level fields
386 kind text not null,
387
388 -- pushTriggerData fields
389 push_ref text,
390 push_new_sha text check (length(push_new_sha) = 40),
391 push_old_sha text check (length(push_old_sha) = 40),
392
393 -- pullRequestTriggerData fields
394 pr_source_branch text,
395 pr_target_branch text,
396 pr_source_sha text check (length(pr_source_sha) = 40),
397 pr_action text
398 );
399
400 create table if not exists pipeline_statuses (
401 -- identifiers
402 id integer primary key autoincrement,
403 spindle text not null,
404 rkey text not null,
405
406 -- referenced pipeline. these form the (did, rkey) pair
407 pipeline_knot text not null,
408 pipeline_rkey text not null,
409
410 -- content
411 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
412 workflow text not null,
413 status text not null,
414 error text,
415 exit_code integer not null default 0,
416
417 unique (spindle, rkey),
418 foreign key (pipeline_knot, pipeline_rkey)
419 references pipelines (knot, rkey)
420 on delete cascade
421 );
422
423 create table if not exists repo_languages (
424 -- identifiers
425 id integer primary key autoincrement,
426
427 -- repo identifiers
428 repo_at text not null,
429 ref text not null,
430 is_default_ref integer not null default 0,
431
432 -- language breakdown
433 language text not null,
434 bytes integer not null check (bytes >= 0),
435
436 unique(repo_at, ref, language)
437 );
438
439 create table if not exists signups_inflight (
440 id integer primary key autoincrement,
441 email text not null unique,
442 invite_code text not null,
443 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now'))
444 );
445
446 create table if not exists migrations (
447 id integer primary key autoincrement,
448 name text unique
449 );
450 `)
451 if err != nil {
452 return nil, err
453 }
454
455 // run migrations
456 runMigration(db, "add-description-to-repos", func(tx *sql.Tx) error {
457 tx.Exec(`
458 alter table repos add column description text check (length(description) <= 200);
459 `)
460 return nil
461 })
462
463 runMigration(db, "add-rkey-to-pubkeys", func(tx *sql.Tx) error {
464 // add unconstrained column
465 _, err := tx.Exec(`
466 alter table public_keys
467 add column rkey text;
468 `)
469 if err != nil {
470 return err
471 }
472
473 // backfill
474 _, err = tx.Exec(`
475 update public_keys
476 set rkey = ''
477 where rkey is null;
478 `)
479 if err != nil {
480 return err
481 }
482
483 return nil
484 })
485
486 runMigration(db, "add-rkey-to-comments", func(tx *sql.Tx) error {
487 _, err := tx.Exec(`
488 alter table comments drop column comment_at;
489 alter table comments add column rkey text;
490 `)
491 return err
492 })
493
494 runMigration(db, "add-deleted-and-edited-to-issue-comments", func(tx *sql.Tx) error {
495 _, err := tx.Exec(`
496 alter table comments add column deleted text; -- timestamp
497 alter table comments add column edited text; -- timestamp
498 `)
499 return err
500 })
501
502 runMigration(db, "add-source-info-to-pulls-and-submissions", func(tx *sql.Tx) error {
503 _, err := tx.Exec(`
504 alter table pulls add column source_branch text;
505 alter table pulls add column source_repo_at text;
506 alter table pull_submissions add column source_rev text;
507 `)
508 return err
509 })
510
511 runMigration(db, "add-source-to-repos", func(tx *sql.Tx) error {
512 _, err := tx.Exec(`
513 alter table repos add column source text;
514 `)
515 return err
516 })
517
518 // disable foreign-keys for the next migration
519 // NOTE: this cannot be done in a transaction, so it is run outside [0]
520 //
521 // [0]: https://sqlite.org/pragma.html#pragma_foreign_keys
522 db.Exec("pragma foreign_keys = off;")
523 runMigration(db, "recreate-pulls-column-for-stacking-support", func(tx *sql.Tx) error {
524 _, err := tx.Exec(`
525 create table pulls_new (
526 -- identifiers
527 id integer primary key autoincrement,
528 pull_id integer not null,
529
530 -- at identifiers
531 repo_at text not null,
532 owner_did text not null,
533 rkey text not null,
534
535 -- content
536 title text not null,
537 body text not null,
538 target_branch text not null,
539 state integer not null default 0 check (state in (0, 1, 2, 3)), -- closed, open, merged, deleted
540
541 -- source info
542 source_branch text,
543 source_repo_at text,
544
545 -- stacking
546 stack_id text,
547 change_id text,
548 parent_change_id text,
549
550 -- meta
551 created text not null default (strftime('%Y-%m-%dT%H:%M:%SZ', 'now')),
552
553 -- constraints
554 unique(repo_at, pull_id),
555 foreign key (repo_at) references repos(at_uri) on delete cascade
556 );
557
558 insert into pulls_new (
559 id, pull_id,
560 repo_at, owner_did, rkey,
561 title, body, target_branch, state,
562 source_branch, source_repo_at,
563 created
564 )
565 select
566 id, pull_id,
567 repo_at, owner_did, rkey,
568 title, body, target_branch, state,
569 source_branch, source_repo_at,
570 created
571 FROM pulls;
572
573 drop table pulls;
574 alter table pulls_new rename to pulls;
575 `)
576 return err
577 })
578 db.Exec("pragma foreign_keys = on;")
579
580 // run migrations
581 runMigration(db, "add-spindle-to-repos", func(tx *sql.Tx) error {
582 tx.Exec(`
583 alter table repos add column spindle text;
584 `)
585 return nil
586 })
587
588 return &DB{db}, nil
589}
590
591type migrationFn = func(*sql.Tx) error
592
593func runMigration(d *sql.DB, name string, migrationFn migrationFn) error {
594 tx, err := d.Begin()
595 if err != nil {
596 return err
597 }
598 defer tx.Rollback()
599
600 var exists bool
601 err = tx.QueryRow("select exists (select 1 from migrations where name = ?)", name).Scan(&exists)
602 if err != nil {
603 return err
604 }
605
606 if !exists {
607 // run migration
608 err = migrationFn(tx)
609 if err != nil {
610 log.Printf("Failed to run migration %s: %v", name, err)
611 return err
612 }
613
614 // mark migration as complete
615 _, err = tx.Exec("insert into migrations (name) values (?)", name)
616 if err != nil {
617 log.Printf("Failed to mark migration %s as complete: %v", name, err)
618 return err
619 }
620
621 // commit the transaction
622 if err := tx.Commit(); err != nil {
623 return err
624 }
625
626 log.Printf("migration %s applied successfully", name)
627 } else {
628 log.Printf("skipped migration %s, already applied", name)
629 }
630
631 return nil
632}
633
634type filter struct {
635 key string
636 arg any
637 cmp string
638}
639
640func newFilter(key, cmp string, arg any) filter {
641 return filter{
642 key: key,
643 arg: arg,
644 cmp: cmp,
645 }
646}
647
648func FilterEq(key string, arg any) filter { return newFilter(key, "=", arg) }
649func FilterNotEq(key string, arg any) filter { return newFilter(key, "<>", arg) }
650func FilterGte(key string, arg any) filter { return newFilter(key, ">=", arg) }
651func FilterLte(key string, arg any) filter { return newFilter(key, "<=", arg) }
652func FilterIs(key string, arg any) filter { return newFilter(key, "is", arg) }
653func FilterIsNot(key string, arg any) filter { return newFilter(key, "is not", arg) }
654func FilterIn(key string, arg any) filter { return newFilter(key, "in", arg) }
655
656func (f filter) Condition() string {
657 rv := reflect.ValueOf(f.arg)
658 kind := rv.Kind()
659
660 // if we have `FilterIn(k, [1, 2, 3])`, compile it down to `k in (?, ?, ?)`
661 if kind == reflect.Slice || kind == reflect.Array {
662 if rv.Len() == 0 {
663 // always false
664 return "1 = 0"
665 }
666
667 placeholders := make([]string, rv.Len())
668 for i := range placeholders {
669 placeholders[i] = "?"
670 }
671
672 return fmt.Sprintf("%s %s (%s)", f.key, f.cmp, strings.Join(placeholders, ", "))
673 }
674
675 return fmt.Sprintf("%s %s ?", f.key, f.cmp)
676}
677
678func (f filter) Arg() []any {
679 rv := reflect.ValueOf(f.arg)
680 kind := rv.Kind()
681 if kind == reflect.Slice || kind == reflect.Array {
682 if rv.Len() == 0 {
683 return nil
684 }
685
686 out := make([]any, rv.Len())
687 for i := range rv.Len() {
688 out[i] = rv.Index(i).Interface()
689 }
690 return out
691 }
692
693 return []any{f.arg}
694}