Verify · 003-position-engine

Real-time position engine

How to run, demo, and verify this feature — aggregated from the spec and tasks, with a Run/Demo block grounded in the run that actually happened.

Generated from spec.html · tasks.html Derived status accepted (from spec.html — this view carries no status of its own) Read time

A derived view — regenerate with spectastic verify 003-position-engine; do not hand-edit. The trace links are aggregated from the bundle; only the Run/Demo block is authored, from the real run.

1 · Run / Demo

none — folded into the platform; exercised behind the platform's dark REST toggle

export JAVA_HOME="$(asdf where java temurin-21.0.9+10.0.LTS)" && mvn test -Dtest=PositionEngineTest,ReconcileToReplayTest

Fold buys and sells; PositionEngineTest shows net quantity, VWAP basis, and the sign-flip basis reset, a price tick marking a held instrument (and a verified no-op for an un-held one), and ReconcileToReplayTest shows the position state matches a full replay to the cent.

2 · Verification trace

Every success criterion, traced to its acceptance scenario and the test task that closes it.

Success criterion	Acceptance	Proof (tests)
SC-001	US1	T-100
SC-002	US2	T-200

3 · Observables trace

Every reliability NFR, traced to its SLO — objective, SLI, and golden signal.

NFR	Objective	SLI	Signal
NFR-001	p99 < 25 µs	fold one fill into net quantity and basis	latency
NFR-002	p99 < 15 µs	revalue one held instrument on a price tick	latency
NFR-003	99.999% of daily reconciliations bit-match replay	incremental-vs-replay position reconciliations matching to the cent	errors