# Rejected fill construction: public CI evidence

Workbench PR 38 was tested at `53d92511dd22b8f0f669627c1d435263b8a0d941`
and normally squash-merged to `a4ee93693916e00591fc7222e1881762a393400c`.
The file trees match. Its pinned compiler is clean
`a6eac63de3ee602faec8788f503a2b2975bbe17b`, Go 1.27.1.

Public PR CI: https://github.com/kimjooyoon/gooo-ecosystem-workbench/actions/runs/37830672630

The original artifact 11573192841 (10,261,894 bytes) was downloaded and verified
against GitHub's digest:
`sha256:3e4900a4847255680ea88a134120af0cfee5912af6d0d9313ea099b6f99dac9b`.
The archive here retains only this experiment's original CI files, compiler build
identity and the six-run recount. Its own digest is in `FILES.sha256`.

The actual Gooo loop has five rounds and thirteen attempts: five rejected
combinations and eight combinations that reached native execution. Every executable
combination is independently run twice by the compiler; the combination count is
not a count of child processes. Repeated attempts in later rounds remain counted.
The original source and boundary counterexample were preserved. Final separate
evaluation was 4/4 with zero new inference during replay. Exact final delivery
traces, including large integers, and selected source match the local macOS run.

`verify-workbench.go` was run from the workbench repository at the tested tree,
passing the extracted CI directory and retained local experiment directory as its
two arguments. It imports the workbench reader and additionally compares original
cases and exact values using `json.Number`. `workbench-ci-verification.txt` records
the result. Earlier compiler full CI and release state remain documented separately
in Current-Status; this workbench evidence does not assert a new binary release.

## Compiler merge

Compiler PR 1394 passed the six canonical checks in
https://github.com/kimjooyoon/meta-ontology-go/actions/runs/37830530043
at `a6eac63de3ee602faec8788f503a2b2975bbe17b`. The original proof artifact
11574790663 (11,227 bytes) matched
`sha256:4c631fb0ab78a9443929e87f4c44cf4e41e1ca96d9441d2c0c7b38f7c244567a`.
The compiler's proof verifier accepted it, including all six exact-head jobs,
the PR/base tuple and its provenance receipt. GitHub then normally squash-merged
it to dev `c38201f2bebe401736ac1cb759c002480b7589c3`; the trees match.

The first macOS arm64 platform job completed native verification but its artifact
upload failed with ENOTFOUND. The original failure log is retained. Retrying failed
jobs in readiness run 37830529881 succeeded at attempt 2, with four platform
receipts and eligibility 7/7. The small eligibility artifact 11573808558 matched
`sha256:531c4734284abde2cd3d1f8d54946662b05724cb691aec34a652f942fb98020c`.
The 160 MB aggregate archive was not downloaded; this record relies on the retained
eligibility and successful platform workflow for those existing release cases.

Main promotion PR 1395 carries exactly dev tree
`cd4b19921904eb69b591e4484bede9f8f4459014` and sole parent
`27f81c5901cdbe0ce61263cfe5399eb112daf17d`. Its candidate is
`3f1da68e6f3d4f97e08bb9be9c82974d63eb340e`. Promotion CI 37833672963 passed.
Original proof artifact 11575842514 (11,763 bytes) matched
`sha256:f3919a18f36822c6f91c9113b2da805787927b9b0c77cdd413355855c12e2a66`.
The verifier accepted its provenance and all six exact-head canonical jobs.
Before normal expected-head squash merge, the live dev/main refs, sole parent,
exact tree, ahead=1/behind=0 topology and PASS promotion authorization were
checked. Main is now `cc49903dcd6efec96171cda0ea0bf2ad81016941`; its tree equals
the source dev tree above. No new binary was published by this promotion.

Workbench post-merge main CI 37831919695 also passed at `a4ee9369`.