# Dependent source editing integration, 2026-10-08

Compiler source: e6150a231f44aedb6e7414e71bfe56b7a5de0cb2.
Workbench source: 5c7a9b3076c18d5a77d08880b3d3a5c4627d8693.
Experiment runner/oracle freeze: e2cb19a. Original plan/source: cd2d3d6, with
newline JSON escaping corrected in 7438d23 before observing the new model task.

Local compiler checks on macOS arm64 / Go 1.27.1:

The initial selection-escaping error and original package-primitive error are
retained as JSON. Both occurred before the new-model observation. The first was
a source fixture escaping correction; the second exposed the compiler call
resolution gap. Neither is scored as a model outcome.

- go vet ./...: exit 0.
- Focused workspace primitive native/race/replay: exit 0, 6.735 seconds.
- Whole repository go test ./...: exit 1. Preserve the full compressed log.
  It includes unsupported namespace replacement on darwin, a symlink diagnostic
  expectation, source-splitter failures, and native child execution timeouts.
- Subsequent serial checks of workspaceexecution, bodyexecution and cmd/gooo:
  exit 0, 25.898 / 37.352 / 42.285 seconds respectively. This does not make the
  failed whole-repository run pass or establish a cause for every failure.
- Billing language check: exit 0.

Workbench go vet ./... and native go test -race ./... passed. Root package time
was 113.157 seconds; the full log is in its public publication directory.
The eight-run study completed on a clean compiler build and retained all
partial outcomes, 542 input tuples and independent oracle comparisons.
Public evidence and hashes:
https://github.com/kimjooyoon/gooo-ecosystem-workbench/tree/5c7a9b3076c18d5a77d08880b3d3a5c4627d8693/publication/dependent-splice-20261008

## Remote verification and merge

Compiler PR run 37756659536 completed successfully, including all six canonical
jobs and proof bundle. Original proof artifact 11540374649 has ZIP SHA256
`a773842c0912e37d46c88cee087cbbced7c91c18e2d7de615947f668b8ec2ec7`.
The downloaded v5 proof names PR 1378, head e6150a23, base 6c4a2b14, run attempt 1,
decision PASS. The local proof verifier with --require-pass returned exit 0.
The compiler PR was squash-merged to dev 04a6c4331e381df334b6f062f5ae03ca23c81a32.
Its tree and the checked PR tree are both 81c860aeba9dcc79a2648148bdb98f4948962a03.

Workbench PR run 37757736970 completed successfully. Artifact 11541256196 has
ZIP SHA256 `18827535376f8a012c536a28ad12fc35cf820c30d587e35b8acef269155b66ab`.
The original archive and API digest metadata are retained here. The comparison
script checks all eight construction summaries, all 144 native/replay batch
outputs, both package edit outputs and both edited Gooo executions against the
local archive. Exact predictions, rankings, finite outcomes and actual outputs
match between macOS arm64 and Linux CI. Timing and platform build metadata are
excluded from equality.

Workbench PR 27 was merged to main 8ed738d15e2d60bee21ee1d6d6ed29041989df61.
Both merge and tested PR trees are 5afafb5a7450040d16ecfbbadc11cdbfcd43ec48.
Main CI run 37758242240 also passed. Compiler dev run 37758581332 has been
dispatched; its ongoing state is separate from the completed PR proof.

To repeat the comparison, extract the public local evidence.tar.gz into
`<root>/study`, and the retained workbench-ci-artifact.zip into `<root>/ci`.
Run `sh verify-ci.sh <root>`. See SHA256SUMS for this integration archive.

The installed released compiler remains 0.6.9-dev. Promotion of this fix to main
and a new released binary are subsequent work, with separate verification.