Skip to content

selected window: declare 1.3-parity, not 1.3, until a completeness proof exists (1.6.1) - #401

Merged
luisleo526 merged 6 commits into
mainfrom
core/161-engine
Oct 17, 2026
Merged

luisleo526 merged 6 commits into
mainfrom
core/161-engine

Conversation

@luisleo526

Copy link
Copy Markdown
Collaborator

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.3 pairs only with value_ownership complete, and no completeness proof has run (EN-115). The honest claim, as in 1.5.0, is 1.3-parity with parity_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.

  • 1949e4f: a red test, failing on 1e48cfd: the probe must declare exactly ["1.3-parity"].
  • fd024fd: docker/selected_window_report.py CONTRACT_REVISIONS = ("1.3-parity",), comments/docstring without the completeness claim; tests updated by that substitution only.
  • 17087c5: docs (README, docker/README, public-contract, report-schema) and CHANGELOG 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

HaoLiangWen and others added 6 commits October 17, 2026 13:53
…(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
luisleo526 merged commit b148979 into main Oct 17, 2026
20 checks passed
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
luisleo526 deleted the core/161-engine branch October 17, 2026 09:17
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]>
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]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant