Repository navigation
Build the standalone native resting-order state machine - #246
Merged
Merged
Conversation
luisleo526
marked this pull request as ready for review
September 12, 2026 17:10
luisleo526
added a commit
that referenced
this pull request
Sep 14, 2026
…commit view, FX curve (R4-B) (#251) * Freeze the epoch-14 native provider header closure from f736676 Track the exact 55-file include closure of the last engine_script_run_v14 commit (PR #250 squash f736676, tree c69421f) as a fixture, authenticated per file by size, SHA-256 and Git blob, before any epoch-15 edit begins. The preparation tool will build the real immutable source with each profile's compiler and configuration; nothing here is wired yet. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013y1CvsXqLFMRgAW7TXJQMs * Rename native epochs to v15/v4 and wire the frozen v14 provider Rename engine/host and order namespaces, the host capability macro, and consumer/broker/stream identity markers without changing engine behavior or existing C++ numeric assertions. Preserve the six measured files and normalize only the identity header's stale namespace comment. Generalize the ABI fence to the reviewed v13/v14-to-v15 pairs, pin the Phase-0 header bytes, and derive authenticated provider owners and each caller's order shape. Prepare and verify the frozen f736676 v14 archive alongside e60, 0e, v13 and current v15, including unchanged-driver links. Stage complete execution-terms/FX callers and the named negative compile control behind the Phase-1c readiness gate. Activate the authenticated v14 compile control, retain all old order-v1 pairs, and update registered Python mirrors, CMake receipts, CI diagnostics and epoch documentation. Validation: ci_preflight passed; full Release ci_verify passed all 334 registered tests with zero failures/skips; the unregistered native-feed mirror passed 5 tests. The five-archive matrix passed 49 compiles and 118 links. R-EPOCH matches the 16 recorded historical/control residuals. Co-Authored-By: Codex gpt-6-astra <noreply@openai.com> * Add the native FX-curve value header and its validation Add NativeFxCurve v1 values, ordered validation, and the total length-prefixed FNV digest. Register the source and validation/digest test, plus exact ownership, include-freedom, and introduced-at controls. Contract: §3.4, §6, §7 1a, Appendix C rows 32 and 40, amendment A5. Co-Authored-By: Codex gpt-6-astra <noreply@openai.com> * Add native_order_v4 execution terms core with deferred sizing and exact reversal Add the v4 order terms surface, deferred allowance and authenticated binding receipts, exact reversal and whole-close accounting, durable receipt hashing, ABI shape pins, and core witnesses. Contract: §3.1, §4.1–§4.2, §6, §7 (landing 1b), §8 (A-T1, A-T3, A-T4, A-T4d, A-R5, A-R6, A-S2, A-S3, A-S4, A-H1, A-1). Co-Authored-By: Codex gpt-6-astra <noreply@openai.com> * Declare the v15 native host terms, precommit and FX-curve surface Add the complete v15 host values, identity resolver and precommit defaults, plus Ready-only FX-curve staging with a durable continuation-hash fold. Register the five phase-1 seed witnesses, re-pin the host ABI bytes, and activate the V15 ABI controls and mirrors. Contract: §3.2, §3.5, §4.4, §6, §7 (Landing 1c), A-1, A-A2. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Pin the A-R6 reversal accounting witnesses fully Fully assert reversal allowance and remaining projections, including the absorbed-turnover witness. Contract rules: §3.1, §4.2, §8 A-R6, §9 A-0. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Implement native execution terms coordinator Add the W2 resolver, matcher provenance, plan dispatch, precommit, and FX activation seams under R4-B §§3.2, 3.3, 3.5, 4.1–4.4, 5, and amendment A1/A2.\n\nA6: append and hash the durable shared_cursor_collision receipt field. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Add native terms coordinator witnesses Exercise host-sized terms, provenance collisions, reversal/whole-close plans, precommit barriers, FX activation, and durable replay/serializer branches under R4-B §7–§8 and amendments A1–A4. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Cover native terms provenance and serialization Add test-only oracle, current terms facts, deferred cancellation, collision replay, projection barriers, and executable replay/market/calendar serializer controls for R4-B §7–§10 and amendments A1–A4. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Validate native host terms before receipt Reject invalid opening-shape values and limit-breaching host prices before receipt installation under R4-B §4.1. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Expand native terms acceptance matrix Add literal W2 coordinator witnesses for R4-B §8 terms, reversal, precommit, FX, provenance, and post-hook rows. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Add literal W2 terms acceptance rows Cover expanded R4-B §8 terms, price provenance, reversal, precommit, FX, and hash/replay witnesses in the assigned W2 test files. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Broaden W2 acceptance witnesses Add queued cancellation, price-kind, price-boundary, exact reversal, barrier, and fresh-replay acceptance rows required by R4-B §8. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Complete W2 replay and serializer controls Add assigned W2 provenance, precommit barrier, replay hash, and calendar binary64 serializer acceptance coverage under R4-B §7–§8. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Strengthen current facts and FX sink coverage Add all current fact-shape comparisons and native candidate timestamp sink witnesses for assigned R4-B W2 rows. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Exercise precommit cycle exhaustion boundary Add the W2 A-P4 pre-effects cycle-exhaustion witness with zero validator calls. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Fix native terms review defects Address zero-unit nonpositive terms, callback activation timestamp, provenance invalidation, and complete TermsResolved serializer coverage per W2 review D1-D3. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Complete durable terms serialization and replay tests Serialize complete TermsResolved identities/projections and add real market/calendar lifecycle plus appended-history replay witnesses for D3/D4. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Preserve zero-unit terms across price fences Ensure valid HostSized zero terminals install their receipt and NoEffect even at nonpositive or limit-side prices. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * docs: correct carried FX rollover support Correct the public C ABI documentation to state that carried 1× long and short positions are supported while leveraged positions fail closed. Contract: §3.4, §6, §11, Appendix C row 35. Co-Authored-By: Codex gpt-6-astra <noreply@openai.com> * Add native FX curve C ABI transport Add the Ready-only FX curve C entry, runtime export inventory, and direct and dynamic C caller coverage. Extend the v15 ownership and exact-count ABI fences with registered mirrors. Contract: §3.4, §6, §7; A-F1, A-A1, A-A2, A-E2. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * docs: describe native execution terms v15 Document the R4-B native terms, exact reversal, precommit, FX-curve, ABI transition, and runner examples. Contract: §3.2, §3.4, §3.6, §6, §7 W4, §11; A-E1, A-E2. Co-Authored-By: Codex gpt-6-astra <noreply@openai.com> * test: add native selected strategy example Add the v15 selected native runner module, its dynamic batch/stream test, and the final ABI/example documentation refinements. Contract: §7 W4, §8 fail-before protocol, A-E1, A-E2, and R-EPOCH. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * docs: correct the native refactor progress record Record PR #247 and PR #248 as completed R3 milestones, and separate PR #246 historical epoch-13 state from the current R4-B baseline. Contract: §6 R-EPOCH rule 3; Appendix A; A-E2. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * docs: add native refactor worker guidance Apply the root-authored worker guidance patches for the R4-B integration. Contract: R4-B §§0, 7, 8, 9. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * fix: re-pin reviewed native ABI headers Re-pin the recorded A6 native_order and integrated native_host bytes after phase-3 review. Contract: R4-B §§6–7; amendment A6. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> * Drop identity attempted terms and complete the terms acceptance rows Repair the explicit identity ReverseTo rejection metadata and add literal A-T5, A-T6, A-T9, A-S2, A-P1, and A-F7 witnesses. Contract: §3.1, §4.1-§4.4, §8; A-T5, A-T6, A-T9, A-S2, A-P1, A-F7. Co-Authored-By: Codex gpt-5.6-terra <noreply@openai.com> --------- Co-authored-by: Claude Fable 5.1 <noreply@anthropic.com> Co-authored-by: Codex gpt-6-astra <noreply@openai.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
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.
Native strategies previously had queued market actions but no persistent resting-order lifecycle. This PR adds that state machine to the standalone C++ host: limit, stop, stop-limit and trailing requests; partial execution with capacity per input point; owner-bound children; and causal group cancellation/reduction through general
submit,replaceandcancelcommands.Confirmed OHLC and forward ticks use the same working-request core. Matching chooses the earliest remaining price crossing, preserves exact reached prices across rescans, and keeps observed gaps distinct from modeled continuous paths. Committed opening events establish child ownership and quantity. Cycle changes, replacement, exhaustion, group effects and dependency cleanup have deterministic terminal behavior.
The existing physical lot book remains the accounting authority. Scoped closes preserve unrelated lots and historical costs with one current fee per execution. Typed immutable events retain partial quantities, activation, ownership, receipts and failure prefixes; failed runs require discard/replay.
Requests/core/events use
native_order_v2; identity values remain v1. Engine, pending, host and consumer C++ boundaries move together to epoch13, with broker/stream hash domains and old return-onlynative_events()link controls. C ABI4 prefixes and current calendar/session/timezone/DST/timeframe support are preserved. Complete Pine policy lowering remains codegen/adapter work in R4.Validation on exact final candidate
c57e8687d91027df09474b414369162e47b94bbb, treee209c89035ec884774f8f3e68e1dc118f26aaf51:exp-native-r2-c57e868-20260912: 72/72 cases, 4,190/4,190 probes, both provider executions successful. Zero full-grade, raw-trade, substantive-verifier, configuration, metadata, or coverage differences against the accepted R2a reference. Raw verifier metadata differences are retained under the existing comparator rules.pineforge-pr-gate-n976j: FAIL, target.not-positive only. Unchanged compatibility is accepted under the standing neutral-refactor authorization; no PASS receipt or baseline promotion is claimed.Squash merge must preserve the exact reviewed/measured tree. R3/R3b accounting consolidation, R4 source-policy ownership, final audit, and the later parity campaign remain subsequent roadmap work.