Skip to content

Build the standalone native resting-order state machine - #246

Merged
luisleo526 merged 5 commits into
mainfrom
refactor/native-resting-state-machine-20260912
Sep 12, 2026
Merged

luisleo526 merged 5 commits into
mainfrom
refactor/native-resting-state-machine-20260912

Conversation

@luisleo526

@luisleo526 luisleo526 commented Sep 12, 2026 •

Copy link
Copy Markdown
Collaborator

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, replace and cancel commands.

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-only native_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, tree e209c89035ec884774f8f3e68e1dc118f26aaf51:

  • Full local suite: 326 tests passed, zero failed; one WebSocket test skipped because the selected macOS libcurl lacks WebSocket support. All nine final PR CI checks passed, including Linux/macOS, sanitizers, and the native live runner.
  • Independent native witness ledger maps every v5 V/C/T/O/G/S/P requirement to host, core, or type evidence. Runtime, ABI/hash, test-oracle, and final scope reviews are GREEN. Concrete regression witnesses cover every discovered defect.
  • Cloud experiment 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.
  • Actual gate 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.
  • The sanitizer ABI test now supplies historical v12 RTTI without disabling checks. The existing crash-recovery test uses a fresh writer process, preserves abrupt-exit recovery assertions, and passed 50 consecutive runs.

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.

@luisleo526
luisleo526 marked this pull request as ready for review September 12, 2026 17:10
@luisleo526
luisleo526 merged commit e60e571 into main Sep 12, 2026
9 checks passed
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>
@luisleo526
luisleo526 deleted the refactor/native-resting-state-machine-20260912 branch October 5, 2026 02:44
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