# Text operations development integration

PR #1371 merged into dev as `463f3f7f9a9d79252b75a11978e884e71e1ea760`
on 2026-10-08. Its tested source was
`4eefd6b7dcbc1269fc9bb0bf528146b01b0eb561`; the tested and merged trees match.

Run `37731716028`, attempt 1, passed the six canonical jobs. The exact-head
governance, `dev-ci-proof.json` and `dev-provenance-receipt.jsonl` verified with
`scripts/ci-proof --require-pass` (exit 0). Downloaded proof artifact
`11530127896`, named `ci-proof-37731716028-1`, matched GitHub's archive SHA256:
`339fce2831904ec233fae3fae82f38fa756cff515b51ce9a3c481e9550c241d9`.
The proof bundle digest is
`ed2bf6aaf9019062a77581669359fc28c94a2afbafc55c6dfdac7056ac564ab5`.

Fresh PR state was OPEN, CLEAN and MERGEABLE, with no failing or pending checks;
its base and live dev both equaled `86b182da4543efa24ea5bcb504e7b13ea1449c39`.
The normal squash merge used the expected tested head. `dev-merge.json` records
GitHub's resulting merge identity.

The subsequent main PR is #1372. Its snapshot
`f33c07e5f0ad86e5fa86eea7ecde01733d5dbac4` has tree
`1d926ba9f19280faa31773386626baf3825e0734`, equal to dev, and sole parent
`38e72414108ef42893c3750300483028a407c6d0`, the main head at creation.
Its own CI run `37733345412` passed. Artifact `11531003916` matched GitHub's ZIP
SHA256 `7eb0c7d1728dfeabb8ff2fdba85965fc3c53d4c70c9deec3d6252b99a3bf0a7f`.
Exact-snapshot governance, proof and receipt verification returned PASS, including
promotion authorization with digest
`539594bfda45bad311a80c2fff18c2888661bbd53dd1d6a2a81d6a7a7a32b00e`.
Live dev/main refs, tree identity and ahead=1/behind=0 were checked again. Fresh
PR state was OPEN, CLEAN and MERGEABLE with no failed or pending checks. The
normal expected-head squash merge produced main
`42edaf14f698b1697f55bf441bde3356a6774754` at 2026-10-08T05:57:10Z.
`main-ci-proof.json`, `main-provenance-receipt.jsonl` and `main-merge.json` retain
the corresponding records. The released 0.6.8 binary remains at its earlier source.