Proof-of-concept for a proposal to agenticsnz/unsorry: an additive, reproducible dev
container that mirrors the environment Gate A trusts in CI (Ubuntu + elan-pinned Lean +
mathlib binary cache + Python + gh). Docker-first, runs unchanged under Podman.
These files are validated end-to-end (build + Gate A --wfail + Gate B + agent.sh --self-test
67/67) on Podman/WSL2. They are shared here for inspection — happy to open a proper PR on request.
Additive DevX only: no change to Gate A, Gate B, the claims substrate, AISP records, or agent
behaviour. The image bakes in no repository sources and no secrets.