CI / OpenAPI is valid (push) Successful in 38s
CI / Go (push) Failing after 18m36s
CI / End-to-end (push) Failing after 18m54s
CI / Docker image builds (push) Successful in 7m27s
Documentation / build (push) Failing after 7m7s
Documentation / deploy (push) Skipped
Release / Build and publish image (push) Failing after 9m59s
Grunden er den samme som for postkassers kodeord og OAuth-tokens: en sikkerhedskopi kan hentes gennem fladen, og indtil nu bar hver eneste af dem hver eneste note i klartekst. Noter er dér, folk skriver kodeord og API-nøgler ned — det ved vi, fordi der ligger sådan nogle i den installation, det her blev bygget til. **Både titel og krop.** Titlen *er* første linje, så en forseglet krop ved siden af en læselig titel ville efterlade begyndelsen af hver eneste note i klartekst. **Og de to kopier gik med.** Det var derfor det ikke var gjort for længe siden: `notes_fts` indekserede kroppen, og den genererede `fold`-søjle bar en translittereret kopi af den. At forsegle kroppen og lade dem stå ville have været teater — en angriber med filen kunne læse hver note ud af indekset. Begge er væk, og tabellen er bygget om, fordi SQLite ikke kan fjerne en genereret søjle på plads. **Søgningen åbner teksten i Go.** Målt frem for gættet: tolv hundrede noter à 3,3 kB koster 33–43 ms pr. søgning, og fladen venter 250 ms efter sidste tastetryk, før den spørger — så det ligger inde i pausen. Tiden går ikke med at åbne konvolutterne; fire megabyte AES-GCM er få millisekunder. Den går med at folde og småskrive hver krop, og det er lineært: regn med omtrent 350 ms ved ti tusind noter. Dér er det den forkerte form, og svaret er da et nøglet indeks — hvis pris er, at præfiks- og delordssøgningen falder bort. bm25 forsvandt med indekset. Det, der er beholdt, er den halvdel, der betød mest: titlen vejer ti gange kroppen. Med et loft pr. ord, så en note, der nævner ordet fyrre gange, ikke slår en, der nævner alle ordene én gang — det er den fejl, en ren optælling laver, og den er let at lave og svær at få øje på. **En bagudfyldning ved opstart, ikke efterhånden.** Instansens indstillinger forsegles, når de skrives, og det er rigtigt for dem. For et arkiv på tolv hundrede importerede noter, som ingen redigerer igen, betyder "når de skrives" aldrig — og det er præcis dét arkiv, der er værd at forsegle. Idempotent, så den koster et gennemløb af id'er hver anden gang, og `updated_at` røres ikke: at lukke en konvolut om en note er ikke at skrive den, og et stempel med i aften ville kaste den rækkefølge væk, importen brugte en dag på at hente hjem. En fejl under bagudfyldningen stopper opstarten. Halvdelen af noterne lukket er ikke i stykker — `v1:`-præfikset gør, at begge slags kan læses — men en instans, der starter og lader som om den beskytter noget, den ikke gør, er værre end en, der siger fra. Hvad der stadig ligger åbent, står i SECURITY.md og på dokumentationssiden: opgavetitler, beskrivelser, kommentarer, og `note_links`, som røber hvilke projekter og opgaver en note peger på, men ikke hvad der står. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
339 lines
11 KiB
Go
339 lines
11 KiB
Go
// Package store owns the SQLite database: connection settings, schema migrations,
|
|
// and the query helpers the rest of verdande builds on.
|
|
package store
|
|
|
|
import (
|
|
"context"
|
|
"database/sql"
|
|
"embed"
|
|
"fmt"
|
|
"github.com/kristianwind/verdande/internal/secret"
|
|
"io/fs"
|
|
"path/filepath"
|
|
"runtime"
|
|
"sort"
|
|
"strings"
|
|
"time"
|
|
|
|
_ "modernc.org/sqlite" // pure-Go driver: no cgo, so the binary stays static
|
|
)
|
|
|
|
//go:embed migrations/*.sql
|
|
var migrationFS embed.FS
|
|
|
|
type DB struct {
|
|
*sql.DB
|
|
path string
|
|
|
|
// box seals the values that must not travel with a backup. Nil in the tests
|
|
// that do not care, where a secret is stored as itself — see Seal.
|
|
box *secret.Box
|
|
}
|
|
|
|
// UseSecrets gives the store the key it seals with. Called once at startup, before
|
|
// anything reads or writes settings.
|
|
//
|
|
// Separate from Open because the key comes from the environment or from a file
|
|
// beside the data, and a database that cannot be opened without it would make a
|
|
// misplaced key look like a corrupt disk.
|
|
func (db *DB) UseSecrets(box *secret.Box) { db.box = box }
|
|
|
|
// SealNotes lukker de noter, der stadig ligger åbne.
|
|
//
|
|
// Kaldes én gang ved opstart, efter nøglen er sat. Uden den ville kroppene blive
|
|
// forseglet efterhånden som de bliver *skrevet* — sådan som instansens
|
|
// indstillinger gør det — og for et arkiv på tolv hundrede importerede noter, som
|
|
// ingen redigerer igen, betyder det aldrig. En bagudfyldning er den eneste måde,
|
|
// den her ændring rent faktisk beskytter noget på.
|
|
//
|
|
// Idempotent: en note, der allerede er forseglet, kendes på sit præfiks og røres
|
|
// ikke. Så den kan køre ved hver opstart uden at koste andet end et gennemløb af
|
|
// id'er og en længde.
|
|
//
|
|
// Skriver med SQL frem for gennem SaveNote. SaveNote udleder titlen af kroppen og
|
|
// bygger links om, og begge dele er allerede rigtige her — det, der skal ske, er
|
|
// alene, at de to søjler skal skiftes ud med sig selv, lukket.
|
|
func (db *DB) SealNotes(ctx context.Context) (int, error) {
|
|
if db.box == nil {
|
|
return 0, nil
|
|
}
|
|
|
|
rows, err := db.QueryContext(ctx, `SELECT id, title, body FROM notes`)
|
|
if err != nil {
|
|
return 0, err
|
|
}
|
|
type open struct{ id, title, body string }
|
|
var pending []open
|
|
for rows.Next() {
|
|
var o open
|
|
if err := rows.Scan(&o.id, &o.title, &o.body); err != nil {
|
|
rows.Close()
|
|
return 0, err
|
|
}
|
|
if secret.IsSealed(o.body) && (o.title == "" || secret.IsSealed(o.title)) {
|
|
continue
|
|
}
|
|
pending = append(pending, o)
|
|
}
|
|
rows.Close()
|
|
if err := rows.Err(); err != nil {
|
|
return 0, err
|
|
}
|
|
if len(pending) == 0 {
|
|
return 0, nil
|
|
}
|
|
|
|
// Hele bunken i én transaktion. En halvt forseglet tabel er ikke i stykker —
|
|
// præfikset gør, at begge slags kan læses — men en afbrudt kørsel, der skal
|
|
// tages om, er lettere at ræsonnere om, når den enten skete eller ikke gjorde.
|
|
err = db.Tx(ctx, func(tx *sql.Tx) error {
|
|
for _, o := range pending {
|
|
title, err := db.sealValue(o.title)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
body, err := db.sealValue(o.body)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
// `updated_at` røres ikke. Det betyder "hvornår skrev dette program noten
|
|
// sidst", og at lukke en konvolut om den er ikke at skrive den — en
|
|
// bagudfyldning, der stemplede tolv hundrede noter med i aften, ville
|
|
// kaste den rækkefølge væk, importen brugte en dag på at hente hjem.
|
|
if _, err := tx.ExecContext(ctx,
|
|
`UPDATE notes SET title = ?, body = ? WHERE id = ?`, title, body, o.id); err != nil {
|
|
return err
|
|
}
|
|
}
|
|
return nil
|
|
})
|
|
if err != nil {
|
|
return 0, err
|
|
}
|
|
return len(pending), nil
|
|
}
|
|
|
|
// dsn is the connection string.
|
|
//
|
|
// SQLite is a single file, but it is being driven by an HTTP server with concurrent
|
|
// readers and a WebSocket fan-out, so the pragmas below matter more than usual:
|
|
// WAL lets readers run while a write is in flight, busy_timeout turns the "database
|
|
// is locked" race into a short wait, and foreign_keys is off by default in SQLite
|
|
// and has to be asked for on every connection.
|
|
//
|
|
// Its own function so the migration tests can open a database with exactly the
|
|
// pragmas production runs with.
|
|
func dsn(path string) string {
|
|
return "file:" + filepath.ToSlash(path) + "?" + strings.Join([]string{
|
|
"_pragma=journal_mode(WAL)",
|
|
"_pragma=busy_timeout(5000)",
|
|
"_pragma=foreign_keys(ON)",
|
|
"_pragma=synchronous(NORMAL)",
|
|
// Every write transaction takes the write lock up front.
|
|
//
|
|
// Without this, `BEGIN` is deferred: a transaction starts as a reader and
|
|
// asks for the write lock at its first UPDATE. SQLite refuses that upgrade
|
|
// with SQLITE_BUSY *immediately* and does not apply busy_timeout to it —
|
|
// backing off cannot help, because the transaction is already holding a
|
|
// read snapshot that the other writer is invalidating. So the timeout above
|
|
// looks like it covers writer contention and covers none of it: two people
|
|
// saving at the same moment get a 500 in two milliseconds.
|
|
//
|
|
// `immediate` takes the lock at BEGIN instead, where busy_timeout does
|
|
// apply and the second writer waits its turn. The driver leaves read-only
|
|
// transactions deferred, so readers still run concurrently.
|
|
"_txlock=immediate",
|
|
// Keep the temp b-trees FTS5 and ORDER BY build in memory rather than
|
|
// spilling them into the data volume.
|
|
"_pragma=temp_store(MEMORY)",
|
|
}, "&")
|
|
}
|
|
|
|
// Open prepares the database at path and brings the schema up to date.
|
|
func Open(path string) (*DB, error) {
|
|
sqlDB, err := sql.Open("sqlite", dsn(path))
|
|
if err != nil {
|
|
return nil, fmt.Errorf("open sqlite: %w", err)
|
|
}
|
|
|
|
// SQLite serialises writes whatever the pool does, so this is sized for readers.
|
|
// In WAL mode they run concurrently with a write in flight, and busy_timeout
|
|
// absorbs the contention between writers.
|
|
//
|
|
// Not 1. A single connection makes the pool a lock, and any code that runs a
|
|
// query while an earlier *sql.Rows is still open then waits forever for a
|
|
// connection it is itself holding — a deadlock rather than a slow query, and
|
|
// one that only appears once a list has rows in it. The store closes its result
|
|
// sets before querying again, and this leaves room for the mistake to be slow
|
|
// instead of fatal if it is ever made again.
|
|
sqlDB.SetMaxOpenConns(max(4, runtime.NumCPU()))
|
|
sqlDB.SetMaxIdleConns(4)
|
|
sqlDB.SetConnMaxLifetime(time.Hour)
|
|
|
|
if err := sqlDB.PingContext(context.Background()); err != nil {
|
|
sqlDB.Close()
|
|
return nil, fmt.Errorf("ping sqlite: %w", err)
|
|
}
|
|
|
|
db := &DB{DB: sqlDB, path: path}
|
|
if err := db.migrate(context.Background()); err != nil {
|
|
sqlDB.Close()
|
|
return nil, err
|
|
}
|
|
return db, nil
|
|
}
|
|
|
|
func (db *DB) Path() string { return db.path }
|
|
|
|
// rebuildMarker opts a migration out of foreign key enforcement for the length of
|
|
// its transaction.
|
|
//
|
|
// SQLite cannot alter a column's foreign key action, so changing one means
|
|
// rebuilding the table: copy it, drop the original, rename the copy back. With
|
|
// foreign keys on, the drop is a cascading delete — every row in every table that
|
|
// references `tasks` would go with it, which is the opposite of what a migration
|
|
// that exists to *stop* losing rows should do. `PRAGMA foreign_keys` is a no-op
|
|
// inside a transaction, so it has to be set on the connection before BEGIN; that
|
|
// is why migrations run on a connection of their own rather than on the pool.
|
|
//
|
|
// `PRAGMA foreign_key_check` runs before the commit, so a rebuild that leaves a
|
|
// dangling reference fails the migration instead of writing it.
|
|
const rebuildMarker = "-- verdande:rebuild-tables"
|
|
|
|
// migrate applies every embedded migration that has not run yet, in filename order,
|
|
// each inside its own transaction. A migration that fails leaves the schema at the
|
|
// last version that succeeded rather than half-applied.
|
|
//
|
|
// Everything here runs on one connection: a migration marked with rebuildMarker
|
|
// needs a pragma to hold across its transaction, and a pragma only applies to the
|
|
// connection it was issued on.
|
|
func (db *DB) migrate(ctx context.Context) error {
|
|
conn, err := db.Conn(ctx)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
defer conn.Close()
|
|
|
|
if _, err := conn.ExecContext(ctx, `
|
|
CREATE TABLE IF NOT EXISTS schema_migrations (
|
|
name TEXT PRIMARY KEY,
|
|
applied_at INTEGER NOT NULL
|
|
)`); err != nil {
|
|
return fmt.Errorf("create schema_migrations: %w", err)
|
|
}
|
|
|
|
applied := map[string]bool{}
|
|
rows, err := conn.QueryContext(ctx, `SELECT name FROM schema_migrations`)
|
|
if err != nil {
|
|
return fmt.Errorf("read schema_migrations: %w", err)
|
|
}
|
|
for rows.Next() {
|
|
var name string
|
|
if err := rows.Scan(&name); err != nil {
|
|
rows.Close()
|
|
return err
|
|
}
|
|
applied[name] = true
|
|
}
|
|
rows.Close()
|
|
if err := rows.Err(); err != nil {
|
|
return err
|
|
}
|
|
|
|
entries, err := fs.Glob(migrationFS, "migrations/*.sql")
|
|
if err != nil {
|
|
return err
|
|
}
|
|
sort.Strings(entries)
|
|
|
|
for _, entry := range entries {
|
|
name := filepath.Base(entry)
|
|
if applied[name] {
|
|
continue
|
|
}
|
|
body, err := migrationFS.ReadFile(entry)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
if err := db.applyMigration(ctx, conn, name, string(body)); err != nil {
|
|
return err
|
|
}
|
|
}
|
|
return nil
|
|
}
|
|
|
|
func (db *DB) applyMigration(ctx context.Context, conn *sql.Conn, name, body string) error {
|
|
if strings.Contains(body, rebuildMarker) {
|
|
if _, err := conn.ExecContext(ctx, `PRAGMA foreign_keys = OFF`); err != nil {
|
|
return fmt.Errorf("migration %s: disable foreign keys: %w", name, err)
|
|
}
|
|
// Back on whatever happens below: this connection goes back to the pool.
|
|
defer conn.ExecContext(ctx, `PRAGMA foreign_keys = ON`)
|
|
}
|
|
|
|
tx, err := conn.BeginTx(ctx, nil)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
if _, err := tx.ExecContext(ctx, body); err != nil {
|
|
tx.Rollback()
|
|
return fmt.Errorf("migration %s: %w", name, err)
|
|
}
|
|
if strings.Contains(body, rebuildMarker) {
|
|
if err := foreignKeyCheck(ctx, tx); err != nil {
|
|
tx.Rollback()
|
|
return fmt.Errorf("migration %s: %w", name, err)
|
|
}
|
|
}
|
|
if _, err := tx.ExecContext(ctx,
|
|
`INSERT INTO schema_migrations (name, applied_at) VALUES (?, unixepoch())`, name); err != nil {
|
|
tx.Rollback()
|
|
return fmt.Errorf("record migration %s: %w", name, err)
|
|
}
|
|
if err := tx.Commit(); err != nil {
|
|
return fmt.Errorf("commit migration %s: %w", name, err)
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// foreignKeyCheck reports the first row that references something that is not
|
|
// there. It names the table and the rowid, because a rebuild that drops rows on the
|
|
// floor is otherwise indistinguishable from one that worked.
|
|
func foreignKeyCheck(ctx context.Context, tx *sql.Tx) error {
|
|
rows, err := tx.QueryContext(ctx, `PRAGMA foreign_key_check`)
|
|
if err != nil {
|
|
return fmt.Errorf("foreign key check: %w", err)
|
|
}
|
|
defer rows.Close()
|
|
if rows.Next() {
|
|
var table, parent string
|
|
var rowid sql.NullInt64
|
|
var fkid int
|
|
if err := rows.Scan(&table, &rowid, &parent, &fkid); err != nil {
|
|
return fmt.Errorf("foreign key check: %w", err)
|
|
}
|
|
return fmt.Errorf("foreign key check: %s row %d references a missing %s",
|
|
table, rowid.Int64, parent)
|
|
}
|
|
return rows.Err()
|
|
}
|
|
|
|
// Tx runs fn inside a transaction, rolling back on error or panic.
|
|
func (db *DB) Tx(ctx context.Context, fn func(*sql.Tx) error) error {
|
|
tx, err := db.BeginTx(ctx, nil)
|
|
if err != nil {
|
|
return err
|
|
}
|
|
defer func() {
|
|
if p := recover(); p != nil {
|
|
tx.Rollback()
|
|
panic(p)
|
|
}
|
|
}()
|
|
if err := fn(tx); err != nil {
|
|
tx.Rollback()
|
|
return err
|
|
}
|
|
return tx.Commit()
|
|
}
|