ced4568andClaude Sonnet 5
62241d26d2
New Phase 1 Platform database — PostgreSQL, separate from the Lab image's own SQLite (which keeps its current students/progress data untouched, decision #2 / correction C in docs/LAB_ARCHITECTURE.md). Schema (platform/provisioner/migrations/): - lab_hosts: the abstraction that keeps Docker connectivity out of code — endpoint (unix:// or tcp://+TLS), enabled flag. Phase 1 ships one row. - environments: environment_id (UUID), student_id (opaque external identifier, no FK — students table isn't in this database yet), lab_host_id (real FK), status, routing_token (CSPRNG via crypto.randomBytes, opaque), container/ network identity, resource limits, lifecycle timestamps. - environment_events: append-only audit trail, one row per lifecycle transition, never logs the routing token in plaintext (see lifecycle.js's redact()). File-based migration runner (db.js) matching the check-before-alter idempotency pattern already used in the Lab image's backend/server.js, applied on every Provisioner boot. Resource limits and the lab_hosts seed are config files (config/resource-policy.yaml, config/lab-hosts.seed.yaml), not database tables — there's no admin UI to manage them via a database yet, so a DB-backed policy table would just be a write path nothing uses. Co-Authored-By: Claude Sonnet 5 <[email protected]>
17 lines
840 B
SQL
17 lines
840 B
SQL
-- lab_hosts — correction D: the abstraction that keeps Docker connectivity out of code.
|
|
-- See docs/LAB_ARCHITECTURE.md §3/§4 and docs/PHASE1_PLATFORM_FOUNDATION.md §2.
|
|
|
|
CREATE TABLE IF NOT EXISTS lab_hosts (
|
|
lab_host_id TEXT PRIMARY KEY,
|
|
display_name TEXT NOT NULL,
|
|
endpoint TEXT NOT NULL, -- 'unix:///var/run/docker.sock' (dev) or
|
|
-- 'tcp://10.x.x.x:2376' (prod, TLS-verified)
|
|
tls_ca_path TEXT, -- null for the local-socket dev case
|
|
tls_cert_path TEXT,
|
|
tls_key_path TEXT,
|
|
enabled BOOLEAN NOT NULL DEFAULT true,
|
|
created_at TIMESTAMPTZ NOT NULL DEFAULT now()
|
|
-- Future (not Phase 1): capacity/status columns for real scheduling once there's more
|
|
-- than one host. Phase 1 selects "the one enabled row" — no scheduler.
|
|
);
|