A new post attachment type beside polls: the composer gains a Start
Opinion War builder (same disabled-inputs opt-in as the poll builder)
that names exactly two factions; the battle runs for exactly 7 days
from post creation. Members join a side, may defect at any time
(damage already dealt stays with the faction it was dealt to), and
fight once per 24 hours per battle. A fight spends 25 Code Farm coins
and deals deterministic level-weighted damage: 100 + 10 * min(level,
20) HP, so a newcomer deals 110 and a veteran caps at 300 - no
randomness anywhere.
The battle renders on the post card as a CSS pixel-art battlefield
(box-shadow sprites: castles, faction flags, marching soldiers, a
flickering campfire; steps() animation, disabled under reduced motion)
with live HP bars, a countdown, the viewer's faction strip, top
contributors and an event ticker. Live frames ride pub/sub on
public.battle.{uid} via a relay on the service-lock owner, with the
durable opinion_war_events trail (per-war atomic seq) as the source of
truth and a 15s incremental poller as fallback. /battles lists battles
with active/ended/mine filters, search and pagination.
Every mutation is a conditional UPDATE via conditional_update_row: the
fight sequence claims the cooldown first, then spends coins, then lands
the damage, compensating earlier steps on any later refusal so a crash
costs a turn, never coins. Resolution is lazy on read (no cron):
an exactly-once CAS computes the winner in the statement, awards XP
(participation, winner bonus, top damage dealer bonus; draws pay
participation only), emits the result event and notifies fighters. The
OpinionWarService backstop resolves unviewed wars and sends
fight-ready notifications, exactly-once via a marker CAS.
Fan-out: battle notification type, four badges, audit keys
(battle.create/join/switch/fight/resolve), Devii actions (join/fight
confirm-gated), API docs group, docs prose page, sitemap and topnav
entries, REPORTABLE_TARGETS registration, post-delete cascades,
README and nested CLAUDE.md documentation.
Verified with the four-layer procedure: property checks over the full
damage domain, 1200-step stateful fuzz (hp-sum invariant, coins never
negative, resolved totals frozen), and real 8-process races proving
exactly-once semantics for concurrent fights, double-spends across two
wars, resolution XP and double-joins. Persisted tests in
tests/unit/services/opinionwar, tests/api/battles, tests/e2e/battles
and tests/api/posts/create.py.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
83 lines
1.7 KiB
Python
83 lines
1.7 KiB
Python
# retoor <retoor@molodetz.nl>
|
|
|
|
from __future__ import annotations
|
|
|
|
from typing import Optional
|
|
|
|
from devplacepy.schemas.base import _Out
|
|
|
|
|
|
class WarPersonOut(_Out):
|
|
uid: str = ""
|
|
username: str = ""
|
|
avatar_seed: Optional[str] = None
|
|
level: int = 1
|
|
|
|
|
|
class WarContributorOut(WarPersonOut):
|
|
faction: str = ""
|
|
hp: int = 0
|
|
|
|
|
|
class WarEventOut(_Out):
|
|
seq: int = 0
|
|
kind: str = ""
|
|
message: str = ""
|
|
faction: str = ""
|
|
created_at: str = ""
|
|
hp_a: Optional[int] = None
|
|
hp_b: Optional[int] = None
|
|
damage: Optional[int] = None
|
|
winner: Optional[str] = None
|
|
|
|
|
|
class WarViewerOut(_Out):
|
|
faction: str = ""
|
|
hp: int = 0
|
|
rank: int = 0
|
|
fight_count: int = 0
|
|
last_fight_at: str = ""
|
|
next_fight_at: str = ""
|
|
can_fight: bool = False
|
|
|
|
|
|
class WarOut(_Out):
|
|
uid: str = ""
|
|
post_uid: str = ""
|
|
post_url: str = ""
|
|
post_title: str = ""
|
|
author: Optional[WarPersonOut] = None
|
|
faction_a: str = ""
|
|
faction_b: str = ""
|
|
hp_a: int = 0
|
|
hp_b: int = 0
|
|
pct_a: int = 50
|
|
pct_b: int = 50
|
|
leader: str = ""
|
|
fighter_count: int = 0
|
|
status: str = "active"
|
|
winner: str = ""
|
|
winner_label: str = ""
|
|
created_at: str = ""
|
|
ends_at: str = ""
|
|
ends_in: str = ""
|
|
resolved_at: str = ""
|
|
last_seq: int = 0
|
|
fight_cost: int = 0
|
|
top_contributors: list[WarContributorOut] = []
|
|
recent_events: list[WarEventOut] = []
|
|
viewer: Optional[WarViewerOut] = None
|
|
|
|
|
|
class BattlesOut(_Out):
|
|
battles: list[WarOut] = []
|
|
current_filter: str = "active"
|
|
counts: dict = {}
|
|
search: str = ""
|
|
pagination: dict = {}
|
|
|
|
|
|
class WarEventsOut(_Out):
|
|
events: list[WarEventOut] = []
|
|
status: str = ""
|