forked from retoor/devplacepy
blindxfishandClaude Fable 5
80956ce0f4
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>
79 lines
2.0 KiB
Python
79 lines
2.0 KiB
Python
# retoor <retoor@molodetz.nl>
|
|
|
|
import time
|
|
|
|
import requests
|
|
|
|
from devplacepy.database import get_table, refresh_snapshot
|
|
from tests.conftest import BASE_URL
|
|
|
|
JSON = {"Accept": "application/json"}
|
|
_counter_battles = [0]
|
|
|
|
|
|
def _session_battles():
|
|
_counter_battles[0] += 1
|
|
name = f"war{int(time.time() * 1000)}{_counter_battles[0]}"
|
|
s = requests.Session()
|
|
s.post(
|
|
f"{BASE_URL}/auth/signup",
|
|
data={
|
|
"username": name,
|
|
"email": f"{name}@t.dev",
|
|
"password": "secret123",
|
|
"confirm_password": "secret123",
|
|
"birth_date": "1990-01-01",
|
|
"accept_terms": "1",
|
|
},
|
|
allow_redirects=True,
|
|
)
|
|
return s, name
|
|
|
|
|
|
def _create_war_post(session, title, faction_a="Tabs", faction_b="Spaces"):
|
|
r = session.post(
|
|
f"{BASE_URL}/posts/create",
|
|
data={
|
|
"content": "Opinion War host post content for tests.",
|
|
"title": title,
|
|
"topic": "question",
|
|
"war_faction_a": faction_a,
|
|
"war_faction_b": faction_b,
|
|
},
|
|
allow_redirects=False,
|
|
)
|
|
slug = r.headers["location"].split("/posts/")[-1]
|
|
refresh_snapshot()
|
|
post = get_table("posts").find_one(slug=slug)
|
|
war = get_table("opinion_wars").find_one(post_uid=post["uid"])
|
|
return post, war
|
|
|
|
|
|
def _war_row(war_uid):
|
|
refresh_snapshot()
|
|
return get_table("opinion_wars").find_one(uid=war_uid)
|
|
|
|
|
|
def _fighter_row(war_uid, user_uid):
|
|
refresh_snapshot()
|
|
return get_table("opinion_war_fighters").find_one(
|
|
war_uid=war_uid, user_uid=user_uid
|
|
)
|
|
|
|
|
|
def _user_row(username):
|
|
refresh_snapshot()
|
|
return get_table("users").find_one(username=username)
|
|
|
|
|
|
def _join(session, war_uid, faction):
|
|
return session.post(
|
|
f"{BASE_URL}/battles/{war_uid}/join",
|
|
data={"faction": faction},
|
|
headers=JSON,
|
|
)
|
|
|
|
|
|
def _fight(session, war_uid):
|
|
return session.post(f"{BASE_URL}/battles/{war_uid}/fight", headers=JSON)
|