1. Bot Identity
| Layer | Strategy Strategy |
|---|
| Bot class | Alpha Strategy |
|---|
| Authority | Trade |
|---|
| Status | PLANNED |
|---|
| Readiness | Spec started |
|---|
| Runs before | Risk guardrail pipeline |
|---|
| Runs after | Observation bus / internal analytics |
|---|
| Applies to | Polymarket binary markets with an identified off-platform reference (sportsbook, futures, poll) sharing identical resolution rules, where the basis exceeds min_basis_bps after fees |
|---|
| Default mode | shadow_only |
|---|
| User-visible | Advanced details only |
|---|
| Developer owner | Polytraders core — Strategy pod |
|---|
2. Purpose
BasisTrader identifies and trades the price basis between a Polymarket market and an off-platform reference (sportsbook line, futures price, or consensus poll) when the resolution rules of both platforms are provably identical. The bot buys the Polymarket leg when it is cheap relative to the reference and the basis exceeds min_basis_bps after fees.
3. Why This Bot Matters
Reference instrument diverges post-entry due to rule change
If the off-platform reference changes its resolution criteria after the basis trade is entered, the position is no longer hedged and becomes an unprotected directional bet.
Stale input data
Acting on stale signals for BasisTrader produces trades based on outdated market conditions, generating adverse fills.
Emitting OrderIntents while KillSwitch is active bypasses risk controls.
No worked examples on this bot yet. Worked examples are optional but strongly recommended — they turn an abstract failure mode into something a developer can verify in a fixture.
6. Parameter Guide
| Parameter | Default | Warning | Hard | What it controls |
|---|
| min_basis_bps | 150 | 75 | 25 | Minimum basis in bps between Polymarket and the reference instrument required to emit an OrderIntent. |
| require_rule_parity | True | None | None | Both Polymarket and the reference must have provably identical resolution rules before trading. Locked true. |
| max_position_per_leg | 400 | 600 | 800 | Maximum pUSD per leg of the basis trade. |
| halt_on_reference_stale | True | None | None | If true, halt all basis trades when the reference instrument price is stale (> 30s). |
7. Detailed Parameter Instructions
min_basis_bps
What it means
Minimum basis in bps between Polymarket and the reference instrument required to emit an OrderIntent.
Default
{ "min_basis_bps": 150 }
Why this default matters
150 bps provides margin after fees on both legs (~50 bps each).
Threshold logic
| Condition | Action |
|---|
| >= 150 bps | EMIT IOC basis trade |
| 75–150 bps | WARN BT_BASIS_MARGINAL; halve size |
| < 25 bps | SKIP BT_NO_BASIS |
Developer check
if basis_bps < params.hard: return skip('BT_NO_BASIS')
User-facing English
The basis was too small after fees to justify a trade.
require_rule_parity
What it means
Both Polymarket and the reference must have provably identical resolution rules before trading. Locked true.
Default
{ "require_rule_parity": true }
Why this default matters
Without rule parity the basis is not a true hedge; trading on it creates directional risk.
Threshold logic
| Condition | Action |
|---|
| rules differ | HARD_REJECT BT_RULE_MISMATCH |
Developer check
if not rules_match(pm, reference): return skip('BT_RULE_MISMATCH')
User-facing English
The resolution rules differ between platforms — basis trade blocked.
max_position_per_leg
What it means
Maximum pUSD per leg of the basis trade.
Default
{ "max_position_per_leg": 400 }
Why this default matters
400 pUSD limits single-leg exposure in the basis pair.
Threshold logic
| Condition | Action |
|---|
| <= 400 pUSD | Normal sizing |
| > 800 pUSD | Reject config |
Developer check
if params.max_position_per_leg > params.hard: raise ConfigError('PARAMETER_CHANGE_REQUIRES_APPROVAL')
User-facing English
Position size capped at per-leg maximum.
halt_on_reference_stale
What it means
If true, halt all basis trades when the reference instrument price is stale (> 30s).
Default
{ "halt_on_reference_stale": true }
Why this default matters
Stale reference prices create phantom basis gaps that evaporate before the Polymarket order lands.
Threshold logic
| Condition | Action |
|---|
| reference stale > 30s | HARD_REJECT BT_REFERENCE_STALE |
Developer check
if reference_age_s > 30: return skip('BT_REFERENCE_STALE')
User-facing English
The reference instrument price was too old to trade on.
8. Default Configuration
{
"bot_id": "strat.basistrader",
"version": "0.1.0",
"mode": "shadow_only",
"defaults": {
"min_basis_bps": 150,
"require_rule_parity": true,
"max_position_per_leg": 400,
"halt_on_reference_stale": true
},
"locked": {
"min_basis_bps": {
"min": 25
},
"max_position_per_leg": {
"min": 800
}
}
}
9. Implementation Flow
- Check KillSwitch; if active, emit no OrderIntents.
- FETCH BasisTrader analytics signal from internal engine.
- IF signal below hard floor: SKIP, emit sampled DecisionReport BT_NO_EDGE.
- FETCH clob_public market status; skip if closed or resolved.
- FETCH ws_market book; compute current mid and available depth.
- IF signal < warning threshold: WARN BT_MARGINAL; reduce size 50%.
- Compute order size = min(max_size_param, available_depth).
- EMIT IOC OrderIntent with builder code.
- EMIT DecisionReport with intent_emitted=true, reason=BT_TRADE.
10. Reference Implementation
Pseudocode is language-agnostic. FETCH = read input. EMIT = produce output. IF/THEN/ELSE = decision. Translate directly to TypeScript, Python, Go, or Rust.
FUNCTION onSignalUpdate(market_id, signal):
ks = FETCH internal.killswitch.status
IF ks.active: RETURN
// Hard floor gate
IF signal.score < params.min_basis_bps_hard:
IF random() < 0.01:
EMIT DecisionReport(intent_emitted=false, reason='BT_NO_EDGE')
RETURN
mkt = FETCH clob_public.GET('/markets/' + market_id)
IF mkt.closed OR mkt.resolved: RETURN
// Warning threshold check
sizeMultiplier = 0.5 IF signal.score < params.min_basis_bps_warn ELSE 1.0
IF sizeMultiplier < 1.0: WARN('BT_MARGINAL')
// Book snapshot
book = FETCH ws_market.book(market_id)
mid = (book.best_bid + book.best_ask) / 2
depth = FETCH clob_public.depth(market_id)
// Size computation
orderSize = toPusdUnits(min(params.require_rule_parity * sizeMultiplier, depth.available))
EMIT OrderIntent(market=market_id, outcome='YES', side='buy', price=mid,
size_pUSD=orderSize, tif='IOC', builder=internalBuilderCode)
EMIT DecisionReport(intent_emitted=true, signal_score=signal.score,
reason='BT_TRADE')
SDK calls used
ws_market.subscribe('book', [market_id])fetchClobPublic('/markets/' + market_id)internal.analyticsEngine.signal(market_id)buildOrderTypedData(orderParams, {name:'CTFExchange', version:'2', chainId:137})internal.builder_code
Complexity: O(1) per signal update per market
11. Wire Examples
Input — what arrives on the wire
BasisTrader analytics signal — internal (analytics engine)
{
"market_id": "0xbasistra000000000000000000000000000000000000000000000000000000000001",
"signal_score": "0.75",
"received_at_ms": 1746790800000
}
Output — what the bot emits
OrderIntent — BasisTrader IOC buy YES
{
"intent_id": "oi_01HBT0000001A",
"market_id": "0xbasistra000000000000000000000000000000000000000000000000000000000001",
"outcome": "YES",
"side": "buy",
"price": "0.540",
"size_pUSD": "200.00",
"tif": "IOC",
"builder": {
"code": "0x706f6c7974726164657273000000000000000000000000000000000000000000",
"fee_bps": 25
},
"decision": {
"signal_score": 0.75,
"reasons": [
"BT_TRADE"
]
}
}
12. Decision Logic
APPROVE
All gates passed, KillSwitch inactive, market open. Emit IOC OrderIntent.
RESHAPE_REQUIRED
Not applicable — reshaping handled by downstream Risk guardrail.
REJECT
Signal below hard floor; stale data; market closed; KillSwitch active.
WARNING_ONLY
Signal in warning zone triggers 50% size reduction.
13. Standard Decision Output
This bot returns a OrderIntent object. See OrderIntent schema.
{
"intent_id": "oi_01HBT0000001A",
"trace_id": "tr_01HBT000TR001",
"market_id": "0xbasistra000000000000000000000000000000000000000000000000000000000001",
"outcome": "YES",
"side": "buy",
"price": "0.540",
"size_pUSD": "200.00",
"tif": "IOC",
"post_only": false,
"builder": {
"code": "0x706f6c7974726164657273000000000000000000000000000000000000000000",
"fee_bps": 25
},
"negrisk_aware": false,
"decision": {
"signal_score": 0.75,
"reasons": [
"BT_TRADE"
]
},
"comment": "fees are operator-set at match time in V2 \u2014 feeRateBps is NOT on the signed order"
}
14. Reason Codes
| Code | Severity | Meaning | Action | User-facing message |
|---|
BT_TRADE | INFO | All gates passed. IOC OrderIntent emitted for BasisTrader. | Emit IOC OrderIntent. | A BasisTrader trade was placed. |
BT_MARGINAL | WARN | Edge is within the warning threshold; size reduced 50%. | Emit at 50% size; log warning. | A small edge was found; a reduced-size BasisTrader trade was placed. |
BT_NO_EDGE | INFO | Edge below hard floor. Skipping. | Skip; emit sampled DecisionReport. | The edge was too small to justify a trade. |
BT_RULE_MISMATCH | HARD_REJECT | Resolution rules differ between Polymarket and reference instrument. | Skip; no OrderIntent. | The resolution rules differ — basis trade blocked. |
BT_REFERENCE_STALE | HARD_REJECT | Reference instrument price is stale (> 30s). | Skip; no OrderIntent. | The reference price was too old for a basis trade. |
BT_HARD_REJECT | HARD_REJECT | A critical gate condition blocked the trade (stale data, kill switch, or hard parameter breach). | Skip; no OrderIntent. | A safety condition blocked the trade. |
KILL_SWITCH_ACTIVE | HARD_REJECT | Global kill switch is active. | Skip all markets; no OrderIntents emitted. | Trading is currently paused. |
15. Metrics & Logs
Metrics emitted
| Metric | Type | Unit | Labels | Meaning |
|---|
polytraders_strat_basistrader_decisions_total | counter | count | verdict, reason_code | Total evaluation cycles by verdict and reason code. |
polytraders_strat_basistrader_signal_score | histogram | score | | Distribution of analytics signal scores at evaluation. |
polytraders_strat_basistrader_intents_emitted_total | counter | count | outcome | Total IOC OrderIntents emitted. |
polytraders_strat_basistrader_eval_latency_ms | histogram | milliseconds | | Latency from signal receipt to OrderIntent emit. |
Alerts
| Alert | Condition | Severity | Runbook |
|---|
BasisTraderStaleFeed | rate(polytraders_strat_basistrader_decisions_total{reason_code='STALE_MARKET_DATA'}[5m]) > 0.1 | warn | #runbook-basistrader-stale |
BasisTraderKillSwitch | rate(polytraders_strat_basistrader_decisions_total{reason_code='KILL_SWITCH_ACTIVE'}[1m]) > 0 | page | #runbook-killswitch |
BasisTraderNoEdge | rate(polytraders_strat_basistrader_decisions_total{verdict='skip',reason_code='BT_NO_EDGE'}[10m]) / rate(polytraders_strat_basistrader_decisions_total[10m]) > 0.95 | warn | #runbook-basistrader-edge |
16. Developer Reporting
{
"bot_id": "strat.basistrader",
"market_id": "0xbasistra000000000000000000000000000000000000000000000000000000000001",
"signal_score": 0.75,
"intent_emitted": true,
"reason": "BT_TRADE",
"emitted_at_ms": 1746790800000
}
17. Plain-English Reporting
| Situation | User-facing explanation |
|---|
| BasisTrader trade placed | The BasisTrader strategy detected a suitable opportunity and placed a trade. |
| Edge too small — no trade | The signal was below the minimum threshold. No trade was placed. |
| Safety gate active — no trade | A safety condition (stale data, kill switch, or parameter limit) blocked the trade. |
18. Failure-Mode Block
| main_failure_mode | If the off-platform reference changes its resolution criteria after the basis trade is entered, the position is no longer hedged and becomes an unprotected directional bet. |
|---|
| false_positive_risk | Signal mis-fires when market conditions change rapidly, producing trades that quickly move against the BasisTrader thesis. |
|---|
| false_negative_risk | Hard floor set too conservatively misses genuine opportunities. |
|---|
| safe_fallback | If ws_market feed stale or analytics signal unavailable, skip without emitting any OrderIntent. |
|---|
| required_dependencies | ws_market, clob_public, internal BasisTrader analytics engine, KillSwitch, internal builder code |
|---|
19. Failure-Injection Recipes
| Scenario | How to inject | Expected behaviour | Recovery |
|---|
SIGNAL_UNAVAILABLE | Cut internal analytics engine connection | | Automatic when engine reconnects. |
HARD_FLOOR_BREACH | Inject signal below hard floor | | Automatic on next valid signal. |
KILL_SWITCH_ON | Set killswitch.active=true | | Automatic on manual KillSwitch reset. |
20. State & Persistence
Cold-start recovery
On cold start, signals rebuilt from next analytics engine poll.
21. Concurrency & Idempotency
| Aspect | Specification |
|---|
| Execution model | actor-per-market |
| Max in-flight | 25 |
| Idempotency key | intent_id |
| Per-call timeout (ms) | 300 |
| Backpressure strategy | drop oldest signal per market_id when queue > 2 |
| Locking / mutual exclusion | per-market_id mutex for signal state |
22. Dependencies
Depends on (must run first)
| Bot | Why | Contract |
|---|
| risk.kill_switch | Checked first; blocks all intent emission when active. | |
Emits to (downstream consumers)
External services
| Service | Endpoint | SLA assumed | On failure |
|---|
| Polymarket CLOB WebSocket (ws_market) | | best-effort | |
| Internal BasisTrader analytics engine | | internal SLA | |
23. Security Surfaces
Abuse vectors considered
- Signal injection to produce false BasisTrader trades
- Order sizing parameter manipulation to exceed position limits
Mitigations
- BasisTrader analytics signals sourced from authenticated internal engine only
- Hard limits on position size enforced before OrderIntent emission
- Builder code injected from secure internal config
24. Polymarket V2 Compatibility
| Aspect | Value |
|---|
| CLOB version | v2 |
| Collateral asset | pUSD |
| EIP-712 Exchange domain version | 2 |
| Aware of builderCode field | yes |
| Aware of negative-risk markets | no |
| Multi-chain ready | no |
| SDK used | py-clob-client-v2 |
| Settlement contract | CTFExchangeV2 |
| Notes | Bot not yet implemented; designed against V2 schema (pUSD, builder codes, V2 EIP-712 domain). feeRateBps not present on any signed OrderIntent. |
API surfaces declared
clob_publicclob_authws_marketinternal
Networks supported
polygon
25. Versioning & Migration
| Field | Value |
|---|
| spec | 2.0.0 |
| implementation | 0.1.0 |
| schema | 2 |
| released | None |
| planned_release | Q3-2026 |
Migration history
| Date | From | To | Reason | Action taken |
|---|
| 2026-04-28 | n/a | v2-spec | Spec drafted post-CLOB-V2 cutover; bot not yet implemented | Designed against V2 schema (pUSD, builder codes, V2 EIP-712 domain) |
26. Acceptance Tests
Unit Tests
| Test | Setup | Expected result |
|---|
| Emit IOC when signal=0.75 and all gates pass | standard config | IOC OrderIntent; reason=BT_TRADE |
| Skip when signal below hard floor | signal=below_hard | No OrderIntent; sampled reason=BT_NO_EDGE |
| Skip when KillSwitch active | killswitch.active=true | No OrderIntents emitted |
Integration Tests
| Test | Expected result |
|---|
| Full cycle: signal → computation → IOC OrderIntent on Polygon testnet | Order has builder.code, no feeRateBps, EIP-712 domain v2 |
Property Tests
| Property | Required behaviour |
|---|
| Bot never emits OrderIntent when KillSwitch is active | Always true |
| feeRateBps never present on any signed OrderIntent | Always true |
27. Operational Runbook
BasisTrader incidents are typically stale analytics feeds or kill-switch activations. Hard-floor skips are normal.
On-call actions
| Alert | First step | Diagnosis | Mitigation | Escalate to |
|---|
BasisTraderStaleFeed | | | | |
BasisTraderKillSwitch | | | | |
BasisTraderNoEdge | | | | |
Manual overrides
Healthcheck
GET /internal/health/basistrader -> 200 if Analytics engine active; signal age < 60s; KillSwitch inactive.. Red: Analytics engine down or KillSwitch active..
29. Developer Checklist
Ready-to-ship score: 27/27 sections complete · 100%
| Requirement | Status |
|---|
| Purpose defined | ✓ done |
| Required inputs listed | ✓ done |
| Parameters defined | ✓ done |
| Defaults defined | ✓ done |
| Warning thresholds defined | ✓ done |
| Hard thresholds defined | ✓ done |
| Safe fallback defined | ✓ done |
| Structured output defined | ✓ done |
| Developer log defined | ✓ done |
| Plain-English explanation | ✓ done |
| Unit tests defined | ✓ done |
| Integration tests defined | ✓ done |
| Property tests defined | ✓ done |
| Failure-mode block complete | ✓ done |
| Reference implementation pseudocode | ✓ done |
| Wire examples (input + output) | ✓ done |
| Reason codes listed | ✓ done |
| Metrics & logs defined | ✓ done |
| State & persistence defined | ✓ done |
| Concurrency & idempotency defined | ✓ done |
| Dependencies declared | ✓ done |
| Security surfaces declared | ✓ done |
| Polymarket V2 compatibility declared | ✓ done |
| Version & migration history declared | ✓ done |
| Operational runbook defined | ✓ done |
| Promotion gates defined | ✓ done |
| Failure-injection recipes defined | ✓ done |