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 where resolution rule ambiguity score exceeds min_ambiguity_score and the market price underweights the probability of an N/A or disputed resolution |
|---|
| Default mode | shadow_only |
|---|
| User-visible | Advanced details only |
|---|
| Developer owner | Polytraders core — Strategy pod |
|---|
2. Purpose
Rule-Risk Discount fades Polymarket binary markets where the resolution rule is ambiguous and the current market price does not reflect that ambiguity risk. When a market's price implies high certainty but the resolution rule has a significant ambiguity score, the bot takes the opposite position to capture the mean-reversion when uncertainty is priced in.
3. Why This Bot Matters
Ambiguity resolves faster than expected
The resolution oracle definitively resolves the ambiguous rule before the expected uncertainty is priced in, moving the market against the fade position.
Stale input data
Acting on stale signals for Rule-Risk Discount 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_ambiguity_score | 0.4 | 0.25 | 0.15 | Minimum resolution rule ambiguity score (0–1) required before the bot considers a rule-risk fade trade. |
| max_position_per_market | 300 | 500 | 700 | Maximum pUSD exposure per market for rule-risk fade trades. |
| require_human_signoff | True | None | None | If true, each new rule-risk fade target requires one-time human approval. |
| auto_pull_on_dispute_loss | True | None | None | If true, automatically exit (pull) the position if a UMA dispute resolves against the expected direction. |
7. Detailed Parameter Instructions
min_ambiguity_score
What it means
Minimum resolution rule ambiguity score (0–1) required before the bot considers a rule-risk fade trade.
Default
{ "min_ambiguity_score": 0.4 }
Why this default matters
0.40 ensures the ambiguity is material enough to affect resolution probability.
Threshold logic
| Condition | Action |
|---|
| >= 0.40 | Allow rule-risk fade evaluation |
| 0.25–0.40 | WARN RRD_LOW_AMBIGUITY; halve size |
| < 0.15 | SKIP RRD_AMBIGUITY_BELOW_FLOOR |
Developer check
if ambiguity_score < params.hard: return skip('RRD_AMBIGUITY_BELOW_FLOOR')
User-facing English
The resolution rule ambiguity was not material enough for a rule-risk trade.
max_position_per_market
What it means
Maximum pUSD exposure per market for rule-risk fade trades.
Default
{ "max_position_per_market": 300 }
Why this default matters
300 pUSD limits single-market ambiguity exposure.
Threshold logic
| Condition | Action |
|---|
| <= 300 pUSD | Normal sizing |
| > 700 pUSD | Reject config |
Developer check
if params.max_position_per_market > params.hard: raise ConfigError('PARAMETER_CHANGE_REQUIRES_APPROVAL')
User-facing English
Position size capped at per-market maximum.
require_human_signoff
What it means
If true, each new rule-risk fade target requires one-time human approval.
Default
{ "require_human_signoff": true }
Why this default matters
Prevents automated fading on novel ambiguity types without review.
Threshold logic
| Condition | Action |
|---|
| not approved | HARD_REJECT RRD_NOT_APPROVED |
Developer check
if require_human_signoff and not approved: return skip('RRD_NOT_APPROVED')
User-facing English
This market has not been approved for automated rule-risk trading.
auto_pull_on_dispute_loss
What it means
If true, automatically exit (pull) the position if a UMA dispute resolves against the expected direction.
Default
{ "auto_pull_on_dispute_loss": true }
Why this default matters
Limits downside when the ambiguity scenario plays out adversely.
Threshold logic
| Condition | Action |
|---|
| dispute loss detected | Emit exit OrderIntent if true |
Developer check
if auto_pull_on_dispute_loss and dispute_adverse: emit exit
User-facing English
The position was automatically closed after an adverse dispute outcome.
8. Default Configuration
{
"bot_id": "strat.rule_risk_discount",
"version": "0.1.0",
"mode": "shadow_only",
"defaults": {
"min_ambiguity_score": 0.4,
"max_position_per_market": 300,
"require_human_signoff": true,
"auto_pull_on_dispute_loss": true
},
"locked": {
"min_ambiguity_score": {
"min": 0.15
},
"max_position_per_market": {
"min": 700
}
}
}
9. Implementation Flow
- Check KillSwitch; if active, emit no OrderIntents.
- FETCH Rule-Risk Discount analytics signal from internal engine.
- IF signal below hard floor: SKIP, emit sampled DecisionReport RRD_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 RRD_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=RRD_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_ambiguity_score_hard:
IF random() < 0.01:
EMIT DecisionReport(intent_emitted=false, reason='RRD_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_ambiguity_score_warn ELSE 1.0
IF sizeMultiplier < 1.0: WARN('RRD_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.max_position_per_market * 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='RRD_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
Rule-Risk Discount analytics signal — internal (analytics engine)
{
"market_id": "0xrulerisk000000000000000000000000000000000000000000000000000000000001",
"signal_score": "0.75",
"received_at_ms": 1746790800000
}
Output — what the bot emits
OrderIntent — Rule-Risk Discount IOC buy YES
{
"intent_id": "oi_01HRRD0000001A",
"market_id": "0xrulerisk000000000000000000000000000000000000000000000000000000000001",
"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": [
"RRD_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_01HRRD0000001A",
"trace_id": "tr_01HRRD000TR001",
"market_id": "0xrulerisk000000000000000000000000000000000000000000000000000000000001",
"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": [
"RRD_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 |
|---|
RRD_TRADE | INFO | All gates passed. IOC OrderIntent emitted for Rule-Risk Discount. | Emit IOC OrderIntent. | A Rule-Risk Discount trade was placed. |
RRD_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 Rule-Risk Discount trade was placed. |
RRD_NO_EDGE | INFO | Edge below hard floor. Skipping. | Skip; emit sampled DecisionReport. | The edge was too small to justify a trade. |
RRD_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_ruleriskdiscount_decisions_total | counter | count | verdict, reason_code | Total evaluation cycles by verdict and reason code. |
polytraders_strat_ruleriskdiscount_signal_score | histogram | score | | Distribution of analytics signal scores at evaluation. |
polytraders_strat_ruleriskdiscount_intents_emitted_total | counter | count | outcome | Total IOC OrderIntents emitted. |
polytraders_strat_ruleriskdiscount_eval_latency_ms | histogram | milliseconds | | Latency from signal receipt to OrderIntent emit. |
Alerts
| Alert | Condition | Severity | Runbook |
|---|
RuleRiskDiscountStaleFeed | rate(polytraders_strat_ruleriskdiscount_decisions_total{reason_code='STALE_MARKET_DATA'}[5m]) > 0.1 | warn | #runbook-rule-risk-discount-stale |
RuleRiskDiscountKillSwitch | rate(polytraders_strat_ruleriskdiscount_decisions_total{reason_code='KILL_SWITCH_ACTIVE'}[1m]) > 0 | page | #runbook-killswitch |
RuleRiskDiscountNoEdge | rate(polytraders_strat_ruleriskdiscount_decisions_total{verdict='skip',reason_code='RRD_NO_EDGE'}[10m]) / rate(polytraders_strat_ruleriskdiscount_decisions_total[10m]) > 0.95 | warn | #runbook-rule-risk-discount-edge |
16. Developer Reporting
{
"bot_id": "strat.rule_risk_discount",
"market_id": "0xrulerisk000000000000000000000000000000000000000000000000000000000001",
"signal_score": 0.75,
"intent_emitted": true,
"reason": "RRD_TRADE",
"emitted_at_ms": 1746790800000
}
17. Plain-English Reporting
| Situation | User-facing explanation |
|---|
| Rule-Risk Discount trade placed | The Rule-Risk Discount 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 | The resolution oracle definitively resolves the ambiguous rule before the expected uncertainty is priced in, moving the market against the fade position. |
|---|
| false_positive_risk | Signal mis-fires when market conditions change rapidly, producing trades that quickly move against the Rule-Risk Discount 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 Rule-Risk Discount 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 Rule-Risk Discount analytics engine | | internal SLA | |
23. Security Surfaces
Abuse vectors considered
- Signal injection to produce false Rule-Risk Discount trades
- Order sizing parameter manipulation to exceed position limits
Mitigations
- Rule-Risk Discount 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_marketonchaininternal
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=RRD_TRADE |
| Skip when signal below hard floor | signal=below_hard | No OrderIntent; sampled reason=RRD_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
Rule-Risk Discount 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 |
|---|
RuleRiskDiscountStaleFeed | | | | |
RuleRiskDiscountKillSwitch | | | | |
RuleRiskDiscountNoEdge | | | | |
Manual overrides
Healthcheck
GET /internal/health/rule-risk-discount -> 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 |