Verify · 002-downstream-consumers

Downstream consumers

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 002-downstream-consumers; 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

./gradlew build

./gradlew test --tests '*DownstreamConsumersTest' --tests '*DataAccessRulesTest' --tests '*PnlRevaluerTest' --tests '*GrantBackstopTest'

DownstreamConsumersTest books t-1 AAPL +100 through PositionService and asserts RiskExposureView reads 100 before book() returns; PnlRevaluerTest delivers the same PositionChanged twice and asserts one revaluation

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, T-101, T-102
SC-002	US2	T-200

3 · Observables trace

Every reliability NFR, traced to its SLO (objective, window, SLI, signal) and — for a quantified NFR with none — a loud gap. The instrumentation evidence below grounds it in the real run.

NFR	Objective	SLI	Signal
NFR-001	n/a