Export the version the binary was published as, not the manifest
Every ATIF trajectory exported from a released build claimed to come from
`0.1.0`. Releases have been 0.0.1, 0.0.2 and 0.0.3, and `0.1.0` is the one
version that was published and withdrawn -- so the traces named the single
version that must never be attributed to anything, and named it on every
export.
`openagents_cli::VERSION` already carries the published name:
`ops/release-cli.sh` threads it in through `OPENAGENTS_CLI_RELEASE_VERSION`,
and the crate manifest is the fallback for a build that is not a release.
`main.rs` and both sites in `interactive.rs` read it. `export.rs` was missed
when they were changed, and kept reading `env!("CARGO_PKG_VERSION")`, which
is the manifest's `0.1.0` whatever the binary was shipped as.
The assertion added here is honest about its own limits, which the comment
records. Under a plain `cargo test` both expressions are the same string, so
it passes against the bug as happily as against the fix; it holds the intent
and catches a literal creeping back in. What separates them is a release
build, where they differ by construction:
OPENAGENTS_CLI_RELEASE_VERSION=9.9.9 cargo test -p coder-lite \
--test export_atif
Verified adversarially: that run against the old line fails with
left `"0.1.0"`, right `"9.9.9"`, and passes against the new one.
`cargo test -p coder-lite`: 696 passed, 0 failed, 3 ignored.
Export the version the binary was published as, not the manifest
Deploy story
What this commit did to the running system — joined from the forge receipt chain, the part a commit page elsewhere cannot show.
- pushed
- by user · WAL seq 268 · 2026-08-26T16:01:17.043493Z
Changed files
-
modified
crates/coder-lite/src/export.rs -
modified
crates/coder-lite/tests/export_atif.rs
Diff
2 files changed, +25 -1
crates/coder-lite/src/export.rs modified +1 -1
crates/coder-lite/tests/export_atif.rs modified +24
@@ -88,5 +88,29 @@ fn export_writes_an_atif_document_for_a_constructor_built_transcript() {
| 88 | 88 |
|
| 89 | 89 |
|
| 90 | 90 |
|
| 91 |
|
|
| 92 |
|
|
| 93 |
|
|
| 94 |
|
|
| 95 |
|
|
| 96 |
|
|
| 97 |
|
|
| 98 |
|
|
| 99 |
|
|
| 100 |
|
|
| 101 |
|
|
| 102 |
|
|
| 103 |
|
|
| 104 |
|
|
| 105 |
|
|
| 106 |
|
|
| 107 |
|
|
| 108 |
|
|
| 109 |
|
|
| 110 |
|
|
| 111 |
|
|
| 112 |
|
|
| 113 |
|
|
| 114 |
|
|
| 91 | 115 |
|
| 92 | 116 |
|