Files
trex-core/tests/application/test_sell_pricing.py
T
genichinandClaude Opus 4.8 7d727824dc feat(slot): BAT-030 — 자산 중심 cutover 완성 (dcy-020 BAT-δ, REQ-056·057·062·064·065)
M1 literal inactive 전면화: SlotState 5-state(idle/closed 별칭 제거),
마이그레이션 010(CHECK 교체+행 rewrite), ops_checks 를 transition_log 기반 재작성.
M2 집행 매도 수량 브로커 정본(D3): dispatch 매도 qty=broker hldg_qty,
미러 fallback 없음, 브로커 0 → skip+WARN, 리스트 기반 dispatch(head-block 방지).
M3 컬럼 drop + legacy pool 제거: 마이그레이션 011(trading_date·entry_count DROP),
repo 계약 instance 스코프 개편(집행 큐 포함), preallocation 폐기(데몬 7스레드),
admission 자산 중심 단일 경로(slot_id 정본), capacity 재정의(available=M−active),
daily_symbol_entries 코드 경로 제거.
M4 cutover 도구(D1·D4): trex-core-cutover(전체 rebuild, preflight/브로커 carry-over/
--allow-unmapped/--promote-unique/dry-run) + PG 리허설 테스트 8건.
M5 baseline 마감: data-model/runtime-flows/project-structure/interface-contract
자산 중심 최종 갱신 + run-trex-core-daemon 스킬 정합.

검증: 단위 367 passed + ruff clean; PG-gated 29 passed(010/011 round-trip·드리프트
가드·cutover 리허설); RabbitMQ 21 passed; run-the-app e2e(test DB+실 MQ, M=1):
reconcile 슬롯 생성→slot_id 매수→dedup→capacity_full→fill→already_active→
매도→inactive(자산 바인딩 보존)→영구 슬롯 재활성 전 구간 green.
실 cutover 는 운영자 실행(REL 단계, D4).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-06-10 15:16:15 +09:00

124 lines
5.1 KiB
Python

"""Sell-order pricing tests (dcy-012 / issue #10).
Verifies the slot's side-agnostic ``limit_price`` drives dispatch and that a buy
limit never leaks into the sell order (the entry_price-reuse bug). A recording
paper broker captures each OrderRequest so order_type/limit_price are asserted
directly. Critical: the bug only reproduces on a LIMIT-buy slot (limit_price
populated), so every scenario enters via a limit buy.
"""
from __future__ import annotations
from trex_core.adapters.broker.paper import PaperBroker
from trex_core.adapters.persistence.in_memory_intent_store import InMemoryIntentStore
from trex_core.application.execution import ExecutionService
from trex_core.application.intents import BuyIntent, IntentService, SellIntent
from trex_core.domain.slot import SlotService, SlotState
from trex_core.domain.slot.in_memory_repository import InMemorySlotRepository
class _RecordingPaper(PaperBroker):
"""PaperBroker that records every submitted OrderRequest."""
def __init__(self, **kw) -> None:
super().__init__(**kw)
self.requests = []
def submit_order(self, req):
self.requests.append(req)
return super().submit_order(req)
def _wire(broker):
repo = InMemorySlotRepository()
svc = SlotService(repo)
intents = IntentService(svc, repo, InMemoryIntentStore(),
resolve_symbol=lambda pid: "005930")
execution = ExecutionService(svc, repo, broker)
repo.reconcile_universe("default", {"PF-1"})
return repo, svc, intents, execution
def _limit_buy_to_holding(intents, execution, *, entry_price=1000):
"""Admit a LIMIT buy (entry_price set) and run to holding."""
d = intents.submit_buy(
BuyIntent(
intent_id="b1", portfolio_id="PF-1",
symbol="005930", qty=10, entry_price=entry_price,
)
)
execution.run_once() # dispatch buy + fill -> holding
return d.slot_id
def test_limit_buy_then_market_sell_does_not_reuse_buy_limit():
"""S-1 (a): the core bug — limit-buy slot sells at MARKET, not the buy limit."""
broker = _RecordingPaper(fill_after_polls=0)
repo, svc, intents, execution = _wire(broker)
sid = _limit_buy_to_holding(intents, execution)
# buy went out as a limit order at the entry price
buy_req = broker.requests[0]
assert buy_req.side == "buy" and buy_req.order_type == "00" and buy_req.limit_price == 1000
# holding slot's limit_price is cleared (no buy-limit leak)
assert repo.fetch_slot(sid).limit_price is None
intents.submit_sell(SellIntent(intent_id="s1", slot_id=sid)) # no price => market
execution.run_once() # dispatch sell + fill -> closed
sell_req = broker.requests[1]
assert sell_req.side == "sell"
assert sell_req.order_type == "01" # market, NOT "00"
assert sell_req.limit_price is None # buy entry price NOT reused
assert repo.fetch_slot(sid).status is SlotState.INACTIVE
def test_limit_buy_then_limit_sell_uses_intent_price():
"""S-1 (b): a sell intent that carries a price dispatches as a limit order."""
broker = _RecordingPaper(fill_after_polls=0)
repo, svc, intents, execution = _wire(broker)
sid = _limit_buy_to_holding(intents, execution)
intents.submit_sell(SellIntent(intent_id="s1", slot_id=sid, limit_price=2000))
assert repo.fetch_slot(sid).limit_price == 2000 # set on pending_sell entry
execution.run_once()
sell_req = broker.requests[1]
assert sell_req.side == "sell"
assert sell_req.order_type == "00" # limit
assert sell_req.limit_price == 2000 # the intent's price, not the buy entry
def test_safety_sell_dispatches_at_market():
"""S-2: SlotService.sell (no price) => market sell, slot closes (no pending_sell trap)."""
broker = _RecordingPaper(fill_after_polls=0)
repo, svc, intents, execution = _wire(broker)
sid = _limit_buy_to_holding(intents, execution)
svc.sell(sid, actor="safety_sell", reason="stop_loss") # autonomous, no price
assert repo.fetch_slot(sid).status is SlotState.PENDING_SELL
assert repo.fetch_slot(sid).limit_price is None
execution.run_once()
sell_req = broker.requests[1]
assert sell_req.order_type == "01" and sell_req.limit_price is None
assert repo.fetch_slot(sid).status is SlotState.INACTIVE
def test_market_buy_slot_sells_at_market_regression():
"""S-1 (c): market-buy slot (entry_price=None) keeps selling at market."""
broker = _RecordingPaper(fill_after_polls=0)
repo, svc, intents, execution = _wire(broker)
intents.submit_buy(
BuyIntent(
intent_id="b1", portfolio_id="PF-1",
symbol="005930", qty=10, entry_price=None, # market buy
)
)
execution.run_once()
buy_req = broker.requests[0]
assert buy_req.order_type == "01" and buy_req.limit_price is None
sid = repo.fetch_slot # noqa: F841 - keep readability
# find the holding slot
holding = next(s for s in repo._slots.values() if s.status is SlotState.HOLDING)
intents.submit_sell(SellIntent(intent_id="s1", slot_id=holding.slot_id))
execution.run_once()
sell_req = broker.requests[1]
assert sell_req.order_type == "01" and sell_req.limit_price is None