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.
Pressure-testing Ota on PythiaLabs: decision evidence is not execution authority
An eleven-lane PythiaLabs exercise exposed a real formatting failure and Ota discovery defects, without confusing decision evidence, smoke tests, or CI results with execution authority.
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.