Repository navigation
Document current-attempt report ownership for the 1.5.0 pair - #194
Merged
Merged
Conversation
Add "A report belongs to the call that returned it" to the public contract, a pointer in the README's run section and an Unreleased changelog note. A call the engine refuses without beginning gets the empty report, never an earlier run's rows; a run that began and then failed keeps its partial rows; the explicit stream snapshot keeps the owner's rows; recorded outputs keep their own record of the last run that began. Callers read the error text, the error code and the run status, because a refusal before the engine admits the begin leaves the status at its earlier value. A batch or reentrant begin over a live stream latches Failed and a repeated stream begin does not; a configure time calendar failure leaves the run-number high-water where a failure inside the begin has already moved it. The text is framed as the contract of an engine fix that is not yet released: it names no release number and states that engine v1.4.0 does not carry it. Markdown only; no source, fixture, version, lock or workflow file changes. Rebased onto main 6c8eadb (#193), which added the 1.5.0 diagnostic notes. The changelog note now sits under its own "Planned 1.4.0-line patch — Unreleased" heading after main's unchanged "1.5.0 — Unreleased" section, and its opening is scoped to this documentation change: it adds no Python, JSON, diagnostic or emitted-C++ change, keeps the 1.5.0 diagnostics separate and names no tag, date or version. The contract's availability paragraph now says the report fix itself changes neither the generated C++ nor the transpiler's Python and JSON contract, so it does not contradict the "since 1.5.0" text beside it. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
The report-ownership notes were drafted as a planned 1.4.0-line patch. The paired engine's report fix is planned for 1.5.0, so the notes now sit in a Documentation subsection of the 1.5.0 entry, and the entry's opening names that scope. The codegen change stays diagnostics only. Only CHANGELOG.md changes: README.md and docs/PUBLIC_CONTRACT.md are byte-identical to the reviewed commit 531755a. Co-Authored-By: Claude Haiku 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What this documents
Reports belong to the current engine attempt. This change states that contract for the transpiler's users, under the planned 1.5.0 entry, beside the diagnostic notes already filed there:
The behaviour itself is the engine fix that landed on the engine's main branch; nothing in the transpiler changes.
Scope
Three Markdown files only:
CHANGELOG.md,README.mdanddocs/PUBLIC_CONTRACT.md(116 additions, 4 deletions). Every non-Markdown file equalsmain. No emitted source, runtime, package or version change; no release claim: the entry stays under1.5.0 — Unreleased.Evidence
🤖 Generated with Claude Code
https://claude.ai/code/session_01Ko17oHtRco8iZ9vJptBAj8