Engineering note
Engineering notes on repo readiness, execution governance, and AI agents.
These notes cover the hard edges: contract boundaries, workflow proof, runtime topology, and the repo shapes that expose drift between humans, CI, and agents.
Ota on Eris: What the Execution Evidence Proved
A bounded Eris verification slice passed on native and container lanes. The maintainer declined adoption. Both outcomes matter: execution evidence must stay scoped, and another tool must earn its upkeep.
Ota on dbmask: Proving a Synthetic PostgreSQL Masking Lane
A merged dbmask integration shows how a declared Ota task, direct database assertions, and a negative control can make one PostgreSQL result reviewable.
V12: Effect-Bound Refusal Assurance Starts Before Execution
V12 gives Ota a bounded, typed path from a declared database change to a verified refusal before the selected execution closure starts, without mistaking that negative evidence for provider authority or successful mutation.
Pressure-testing Ota on Dagger: generated SDK lineage and bounded engine truth
A focused Dagger pressure slice models generated TypeScript SDK lineage and replay authority, verifies release-asset fulfillment and admission, and records where execution stops at Dagger's managed-engine boundary.
Pressure-testing Ota on EventCatalog: generated artifact lineage across sibling consumers
A generated Langium artifact is useful only when its real sibling consumer builds through the complete declared closure. EventCatalog pressure-tested that boundary with released Ota across three operating systems.
Pressure-testing Ota on cloud.devenv.sh with Nix and devenv
A hosted Linux and macOS matrix tested how Ota models Nix as launcher and devenv as orchestrator, while keeping execution and mutation claims bounded.
Pressure-testing Ota candidates on GitButler: exact source spelling is evidence
GitButler exposed a cross-platform source-identity mismatch and proved that candidate evidence must respect exact repository path spelling.
Pressure-testing Ota on Flagr: native and container Go verification with honest boundaries
Flagr pressured released Ota 1.6.25 across native and container Go verification, managed Compose lifecycle proof, refusal canaries, and contract-to-CI drift without turning local evidence into a deployment claim.