# Gooo 0.6.12 public release and local use

Compiler PR 1385 merged as `4a0cfdd8b23f8ace5f1ad1e0d29bc35c6e61c32c`.
The checked PR head was `6d656a75cf608f732e8e8716c1080714462bb6c7`; its tree
equals the merged source. Original proof artifact 11555880237 from run
37785688770 was SHA256-checked and verified with the repository proof verifier.
The proof binds PR 1385, its head/base, attempt 1 and six successful canonical
checks. The overall CI and premerge state were successful and clean.

Push-to-dev readiness 37788767767 passed all four native platforms and eligibility
7/7. Publication run 37789414013 succeeded. The annotated tag `v0.6.12-dev`
resolves to the exact merged source; the release is a published development
prerelease with nine assets and eight checksum entries.

The downloaded macOS arm64 archive SHA256 is
`ecf543e91efd14a3a6f5c989b75997168c932aa04b03a6579084ddf28aaae6dc`.
Its bytes and the four downloaded JSON payloads were checked against SHA256SUMS;
the checksum-file bytes were checked against GitHub's asset digest. All nine
asset names and metadata digests were compared with the release contract.
Other platform archive bytes were verified by the publication workflow rather
than downloaded again to this machine.

The archive contained one executable. Its clean build identity reports source
4a0cfdd8, Go 1.27.1 and decision runtime v0.2.26-experimental. The installed
executable was byte-identical to that download. `installed-build.json` records
the installed identity.

The public executable then ran both Gooo-driven construction loops and the
unchanged own model. Both reached the same program and 7/7 evaluation outputs;
saved model replay and the Gooo diagnosis of that replay used no new prediction.
Original observations are in `../joint-loop-20261008/`.

The original final publication ZIP is retained and SHA256-checked:
`877486bfec08c5939b486ff5311f2dc1762d443c60252b7e8a44764215f2c095`.
`publication.json` reports `PUBLISHED / EXACT`, nine assets and eight checksum
entries.

Main promotion PR 1386 passed its six canonical checks, source-bound promotion
authorization and overall CI run 37789282075. Original proof artifact 11555894227
was downloaded and verified; ZIP SHA256:
`2664f0967a2fddbaba51772c9420efeacbb32057486f6d13514c6a45d69fdd5c`.
The proof binds head `2b31dd0474845675dbb8ea78bd6ef00268c6e93f`, base
`57105d8e839e59f264589aab33e5c5f3ac3c70d8`, live dev 4a0cfdd8 and the matching
dev/snapshot trees. Normal merge used the expected head after confirming live
dev and clean, mergeable PR state. Main is now
`c754ccf7da8120afc1fddf781ddd458b34bf3aef`; its file tree equals the public release
source. The original proof, run and premerge/merge records are in `main-promotion/`.