What belongs here.
Future entries will record runtime implementation decisions, measurements, proof results, and corrections. Each entry will keep its source revision, environment, evidence, and operating limits close to the finding.
For protocol-library work available now, use the HTTP and Postgres journals in the ecosystem rail.