implementer
e52b19b1e7
CI / Frozen lockfile install (pull_request) Successful in 56s
CI / Secrets not embedded (E00-S02-T08) (pull_request) Successful in 25s
CI / Database-postgres import isolation (E00-S03-T02) (pull_request) Successful in 28s
CI / Migration ledger (E00-S03-T03) (pull_request) Successful in 42s
CI / Compose config (E00-S03-T01) (pull_request) Successful in 29s
Static assertions on the committed ledger source (idempotent table DDL, parameterized idempotent record, has/applied queries, driver-boundary re-export, CI enforcement) with mutation probes proving non-vacuousness; docker-gated real-stack probe migrates an empty database (isolated compose project + host port) and confirms the ledger exists, the applied migrations are recorded, and a re-run records nothing twice. New additive database-postgres-ledger CI job gates the criterion on every PR.