Repository navigation
Order-shapes receipt: lowered order-call facts for closing-time order processing - #178
Merged
Merged
Conversation
luisleo526
force-pushed
the
lv/fu20-pooc-admission
branch
from
October 5, 2026 23:54
a62253a to
d04248d
Compare
luisleo526
added a commit
that referenced
this pull request
Oct 6, 2026
* docs: changelog and version scoping for 1.3.0 1.3.0 pairs only with engine v1.3.0. The changelog section takes in the Unreleased note and covers #173, #178, #179, #177, #174 and #175: the confirmed-bar receipt and what engine v1.3.0's live runner does with it, the capability receipt's request entries now read from the lowering, the order-shapes receipt, which no engine reads yet, the checked settings fix for string dropdowns with built-in constants (now supported=false where 1.2.0 wrote an integer code or published the input as supported), the PineForge Source License 1.2, and the pairing and migration steps. The Python and JSON contract is unchanged; the engine's report harness is the same file as in v1.2.0, so no report key changes. The README, AGENTS.md / CLAUDE.md, CONTRIBUTING.md, LEGAL.md, docs/PUBLIC_CONTRACT.md, docs/pine-cap-activation.md and npm/README.md name 1.3.0 where they named 1.2.0 as the current release or pair, the pairing table gets a 1.3.0 row, the "unreleased (after 1.2.0)" markers name 1.3.0, and the license badge reads 1.2. The release scoreboard sentence and the pf markers are left to the release lane. Measured for 1.3.0: the engine's 325 corpus sources and the 277 gate fixtures, each in a fresh process, transpile to 1.2.0's C++ byte for byte once the confirmed-bar and order-shapes functions are removed (13 refusals, same messages), with transpile_full results and transpile_json envelopes without cpp equal to 1.2.0's, each in under 0.1 s on CPython 3.14.6 on an Apple M4 Max. The tutorial run of the quick-start C++ against engine main 7a1f01c0 (Linux x86_64, GCC 13) prints 9 trades and +738.20, and 13 trades with the old sizing declared, as 1.2.0 with engine v1.2.0 does. Co-Authored-By: Claude Opus 5.5 (1M context) <[email protected]> * docs: release 1.3.0's grades in the README and the changelog, from the facts tokens The README's release sentence moves to the releases[1.3.0] tokens and its main-scoreboard lines re-render, and the 1.3.0 changelog says which registry baseline grades the release and why that baseline is the release's code, all rendered from pineforge-release facts/facts.json at ff21de0 (#32). Co-Authored-By: Claude Opus 5.5 (1M context) <[email protected]> --------- 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.
Adds a compiled order-shapes receipt to every generated strategy. The live runner can then decide, from facts, which closing-time order processing (
process_orders_on_close) shapes it can run identically in a confirmed-bar stream. Codegen only records facts; the runner owns admission. The generated trading code is unchanged.What is emitted
strategy_order_shapes_api_version()returns1;strategy_order_shapes_receipt(...)uses the same buffer protocol as the checked-settings receipt and returns canonical JSON with sorted keys and no NaN.strategy.*order call site, recorded at its lowering branch:absent,literal,never_naormaybe_na. "Absent" is defined per parameter by its lowered default (qty_type=-1,oca_type=0,oca_name="", exitqty_percent=100,strategy.orderqty=0). A literalnaand an omitted leg classify identically.strategy.orderIDs. No literal ID strings are emitted.host_reads: the host members the generated body reads, recorded at emission through every buffer mutator. A whole-TU token scan is only a cross-check.settingsecho of the emitted constructor statements.unmodeled: everystrategy.*call that did not go through a modeled lowering, such asstrategy.risk.*.The existing capability and confirmed-bar receipts are byte-identical, including the frozen
ordersfield.Evidence
-n 16): 5,850 passed, 39 skipped, 1 failed. The failure is missingset_recorded_seriesin a host-member table; it fails identically on basec1df8a6and is unrelated.host_readssuperset check: 0 missing members across 2,644 generated TUs.45ff165anda62253a.The runner-side policy that reads this receipt ships in a separate engine change.
🤖 Generated with Claude Code