# Native guide aligned with accepted graph consumer

2026-10-10 KST. [Compiler PR1428](https://github.com/kimjooyoon/meta-ontology-go/pull/1428)
corrects the old one-record workbench paragraph in docs/composition-plan-inspection.md.
The guide now links accepted workbench0d7d30a9, compiler sourcea15, two runnable
commands and finite public results. Typed-path joint construction and public
release22's missing body-plan remain explicit.

Candidate `ce45d2bcb8a7089eba1eb4e73309f31dde871be0` was normally squashed with
the expected head into dev `e25959dc54e913740fdbdf4656452341d2246fac`.
The accepted tree equals the tested candidate tree, with sole parent
`a15b413412ad7b465a0567fb1db4de5706a8c2a8`. Actual diff:25 additions/3 deletions
in one Markdown file. The original description estimated27 additions; it was
retained unchanged before and after merge. No production, schema, stable ID,
generated marker, CI policy, protection or model changed. No reset/rebase/force.

## Original machine evidence

[Original run37958745152](https://github.com/kimjooyoon/meta-ontology-go/actions/runs/37958745152),
attempt1, pull_request, exact candidate, .github/workflows/ci.yml: terminal SUCCESS,
all12 jobs SUCCESS. It was never cancelled, restarted or rerun. Check suite
102848993040 contains exactly one successful current-head check for each of the
six canonical names: gofmt, go vet, go test, go test -race, Semantic conformance,
CI policy. Raw run/jobs/check-suite responses are retained here.

Proof artifact11631730091, ZIP11,156 bytes, SHA256
`985e7cb0ead5853327246bb939a9fc460de1fdf5276d6903984379194a03f20b`,
matches the remote digest. proof.zip and extracted proof/ retain the original
bundle. v5 PASS binds PR1428, candidatece45, basea15/dev, run37958745152,
attempt1 and exact checkout. The existing local proof/receipt verifier passed
read-only before merge (empty successful compiler-docs-proof-local-verification.txt).
Large execution artifacts were not downloaded.

Completed original unit and race job logs were fetched once each and compressed
unchanged, without gzip timestamps, then byte-compared:

| Log | Original bytes / SHA256 | Gzip bytes / SHA256 |
| --- | --- | --- |
| Unit | 214,508 / `0f41c0b20d1a7e483729f07eef3bece4e01a4f41039aeef5550a3f4999a80783` | 34,340 / `d15e9a8ad7ec252613dfa15bbb5e9ac195dc4fd615285af88db3fa4649d73fd2` |
| Race | 214,531 / `681d1cbaddf73a97dc7293841a7236ef53bb4d7458fc9b0c4db443dc73c43e83` | 34,489 / `44a7de0325d195aba8c8c9586e1203ba4f0b7030efee289616c5620ec1b7ef6e` |

## Runtime and public scope

This correction changes prose only. Installed gooo-dev remains clean sourcea15,
Go1.27.2 / SDK0.2.26, and preserves the existing saved graph source binding.
Installed gooo-workbench remains clean0d7d30a9. Its original and post-merge CI,
actual own-model/deterministic/fill/typed/input-only execution and byte-compared
installation are in the [graph acceptance record](../workbench-full-graph-merged-20261010/README.md).
Public compiler release22/d3 remains unchanged. New native release and typed-path
whole-program reconstruction are subsequent tasks.