Repository navigation
selected window: declare 1.3-parity, not 1.3, until a completeness proof exists (1.6.1) - #401
Merged
Merged
Conversation
…eness proof (fails on 1e48cfd)
…(EN-115) Update docs/pages/report-schema.md, docs/pages/public-contract.md, docker/README.md and README.md so the image declares selected-window contract revision 1.3-parity (["1.3-parity"] on a supported runtime and [] otherwise), covering value ownership through strategy_value_invalid, engine_command_value_invalid, report_result_invalid and report_post_execution_failed, value parity with the 1.4.0 reference on tested cases, and no completeness claim. Add the 1.6.1 — Unreleased entry to CHANGELOG.md (EN-115: no completeness proof). VERSION stays untouched. Replaces the 1.3 capability sentences introduced by 868aa65 and 517a1b4 (following 47184e5): - docs/pages/report-schema.md (868aa65): "The engine/codegen 1.6.0 image declares selected-window contract revision 1.3, meaning complete value ownership with strategy_value_invalid, engine_command_value_invalid, report_result_invalid and report_post_execution_failed." and "The --capabilities-json probe's capabilities.selected_window_contract_revisions is ["1.3"] for a supported runtime and [] otherwise." - docs/pages/public-contract.md (517a1b4, 868aa65): "It declares selected-window contract revision 1.3 (["1.3"] under capabilities.selected_window_contract_revisions when the runtime supports selected windows and [] otherwise) and extends typed failures across source value admission (strategy_value_invalid), derived execution and settlement arithmetic (engine_command_value_invalid), non-finite canonical trade or summary doubles (report_result_invalid) and post-boundary serialization faults (report_post_execution_failed), without changing C layouts or PF_ABI_VERSION 4." - README.md (517a1b4, 868aa65): "The release notes cover selected-window contract revision 1.3, typed failures across source values, engine arithmetic and report production, finite trade and summary doubles, and the documentation, test, CI and benchmark updates since 1.5.0.", "The engine/codegen 1.6.0 image advertises selected-window contract revision 1.3 through docker/run_json.py --capabilities-json: value ownership through strategy_value_invalid, engine_command_value_invalid, report_result_invalid and report_post_execution_failed.", "capabilities.selected_window_contract_revisions is ["1.3"] when the runtime supports selected windows and [] otherwise; see the capability table and report schema." and the v1.6.0 Releases bullet ("selected-window contract revision 1.3"). - docker/README.md (517a1b4, 868aa65): "The engine/codegen 1.6.0 image's run_json.py --so <strategy.so> --capabilities-json probe declares revision 1.3, covering value ownership through strategy_value_invalid, engine_command_value_invalid, report_result_invalid and report_post_execution_failed." and the selected_window_contract_revisions table row.
Update the 1.6.1 selected-window documentation added in 17087c5: - CHANGELOG.md: say 'as 1.5.0 declared' and note that a build declaring 1.3-parity cannot be promoted to a stable app pin (pinned only as a prerelease 1.6.1-rc.N, and only a completeness proof EN-115 allows '1.3' again). - README.md, docker/README.md, docs/pages/report-schema.md, docs/pages/public-contract.md: qualify the 1.3-parity declaration as from 1.6.1 (unreleased) and replace 'covering value ownership through' with 'emits the four typed codes'. - README.md: restore the v1.6.0 Releases bullet's shipped-tag opening and note that 1.6.0 declared contract revision 1.3; corrected to 1.3-parity in 1.6.1.
Resolve docs/pages/report-schema.md: keep #400's fact that the published 1.6.0 image declares 1.3, and this branch's 1.6.1 1.3-parity declaration; drop the "covering value ownership" wording the #401 review flagged. Co-Authored-By: Claude Opus 5.5 (1M context) <[email protected]>
luisleo526
added a commit
that referenced
this pull request
Oct 17, 2026
Resolve CHANGELOG.md: this branch's preflight-timings line joins the 1.6.1 — Unreleased section #401 opened, instead of a separate Unreleased heading, since it ships in the same release. Co-Authored-By: Claude Opus 5.5 (1M context) <[email protected]>
luisleo526
added a commit
that referenced
this pull request
Oct 17, 2026
* docs: the 1.6.1-rc.1 release candidate notes Prepare the 1.6.1-rc.1 changelog entry dated 2026-10-17, carrying forward the reviewed 1.6.1 — Unreleased section (b148979, c818585) and naming all pull requests merged since v1.6.0 (#398, #400, #401, #402). Update the two CHANGELOG section anchor links in README.md and docs/pages/public-contract.md introduced by b148979 from #161--unreleased to #161-rc1--2026-10-17 while keeping the current final release and pair lines on 1.6.0. * docs: drop the hpo-candidate pairing line from the 1.6.1-rc.1 entry (review of #403) No pineforge-hpo release candidate exists yet and the reviewed 1.6.1 entry did not claim one. Co-Authored-By: Claude Opus 5.5 (1M context) <[email protected]> --------- Co-authored-by: HaoLiangWen <[email protected]> Co-authored-by: Claude Opus 5.5 (1M context) <[email protected]>
This was referenced Oct 18, 2026
Merged
luisleo526
added a commit
that referenced
this pull request
Oct 19, 2026
…teness proof (1.6.2) (#412) Reverts the declaration of b148979 ("selected window: declare 1.3-parity, not 1.3, until a completeness proof exists (1.6.1)", #401) now that the EN-115 completeness proof exists: `run_json.py --capabilities-json` declares `["1.3"]` again for a supported runtime and `[]` otherwise, and 1.3-parity stays the parity build's literal (a tuple holding both is refused). Docs: README.md, docker/README.md, docs/pages/public-contract.md and docs/pages/report-schema.md restore "is `["1.3"]` when the runtime supports selected windows" and replace b148979's sentence "From 1.6.1 (unreleased), the image declares `1.3-parity` instead" with the per-version history: 1.5.0 and engine 1.6.1 (released without a hub image) declare 1.3-parity, the published 1.6.0 image declared 1.3, and from 1.6.2 the image declares 1.3 with the proof. CHANGELOG: an Unreleased entry above main's 1.6.1 entry. Tests (red first on the parity literal): tests/test_run_json_selected_window.py, the literal-once and mutation guards; tests/test_selected_window_routes.cpp comment. Replaces PR #410 (same tree; one commit so check_doc_reverts can see the naming of b148979 on the commit that changes its text). Co-authored-by: Claude Opus 5.5 (1M context) <[email protected]>
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
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.
Engine 1.6.1: stop claiming more than is proven (L6 ruling 10-17, EN-115).
Since #388 the image declared selected-window contract revision
["1.3"]. Under amendment 6,1.3pairs only with value_ownershipcomplete, and no completeness proof has run (EN-115). The honest claim, as in 1.5.0, is1.3-paritywithparity_with_reference. The app, the s9 smoke kit and receipt-assemble all refuse["1.3"]with a parity receipt, so selected windows have no receipt path on 1.6.0.["1.3-parity"].docker/selected_window_report.pyCONTRACT_REVISIONS = ("1.3-parity",), comments/docstring without the completeness claim; tests updated by that substitution only.1.6.1 — Unreleased.The hub's docker/HARNESS-SHA256SUMS picks up the new harness hash at the hub 1.6.1 release sync. Paired with codegen 1.6.1 (compile fixes) and hpo 1.6.1.
🤖 Generated with Claude Code