# Caller-guided complete source-fill observations — 2026-10-09

Compiler candidate: `e115bb775e6a8a418dbb85eba13c16c606836f8f`,
[PR 1391](https://github.com/kimjooyoon/meta-ontology-go/pull/1391).
The compiler PR run `37815359521`, attempt 1, passed all six canonical checks and
its proof job. The original proof ZIP artifact `11567518822` was 11,157 bytes,
SHA-256 `e1aef56843e3a4a44ea1cacbea08196e64afa0b8e5d0826133f731b790fcf7c6`.
Its download digest matched GitHub metadata. The compiler proof verifier accepted
the proof/receipt, and explicit checks bound all six jobs to this head, base
`772acf4abaa93c01e666909e1c8b9029406f003a`, PR 1391 and this run/attempt.
The live open/clean/mergeable PR tuple was checked before expected-head squash.
It merged to dev `e37a34cff9998d4b69c464e8647958a7662bf5b4`; the tested/merged
file trees matched. Post-merge dev CI `37818420393` was started; its completion
is not asserted here. Compiler main and the installed public 0.6.13 archive
still precede this feature. Promotion and a subsequent binary release remain
separate work.

Workbench tested head: `c23d2c1d78eb74d7879ce37bfcbdd62d11f68202`,
[PR 36](https://github.com/kimjooyoon/gooo-ecosystem-workbench/pull/36).
Its pull-request run `37815833443` passed. The original downloaded artifact
`11567775471` was 9,750,627 bytes with SHA-256
`bfa698cf5d9ba3dc6818b17efa3eddfb3dd9c8312309f056e8a528377f65ae02`.
The ZIP hash matched GitHub metadata before extraction. The retained tar contains
the new source-fill observations and compiler identity from that artifact.

The exact-number Go recount confirmed four feedback rounds, seven total
combinations, one unchanged counterexample added, final 4/4, and no new replay
inference. The mixed program used three combinations and one initial graph-model
prediction. Selected sources and all final trace values matched the local runs.
Only record ordering used the unchanged own model; fill assignment order was
deterministic. Source-local holdouts remain separate from local training counts.

Workbench merged to `e27064428bd9006417f6ff3e98dcbe175acd9249`; the tested and
merged file trees matched. Post-merge main run `37816605253` also passed.

The two selected ordinary Gooo sources were additionally executed with the
installed public 0.6.13 CLI (`772acf4a`). Both reproduced the same four exact
outputs with zero runtime model calls. The two compressed output files and the
public binary's build identity are retained here. These ordinary-source reuse
runs are separate from the four fresh constructions and two saved replays in
the [local publication](https://github.com/kimjooyoon/gooo-ecosystem-workbench/tree/e27064428bd9006417f6ff3e98dcbe175acd9249/publication/caller-source-fill-20261009).

`verify-ci.go` compares exact values and source bytes; it expects the extracted
CI root and original local observation directory. Its result is in
`workbench-recount.txt`. Raw local runs, frozen expectations and the independent
recount command are in the workbench publication. Local race logs and the live
run/artifact/premerge/merge JSON records are also retained.

These observations cover two related programs and supplied finite cases. Timings
were uncontrolled local observations with concurrent tests, documented with raw
CPU time and RSS in the workbench. No new model was trained or uploaded.