1608 lines
86 KiB
Python
1608 lines
86 KiB
Python
#!/usr/bin/env python3
|
|
"""OSRS Codex validator — the gate for every codex/**.yaml entry.
|
|
|
|
Runs:
|
|
1. JSON-Schema validation (schemas/entry.schema.json)
|
|
2. Cross-field consistency checks the schema can't express:
|
|
- state_machine `next`/transition targets must be declared states
|
|
- `initial` must be a declared state
|
|
- duplicate action ids / step names
|
|
- status:verified entries with `verified:` older than --stale-days
|
|
=> WARNING (entry should be re-verified, not dropped)
|
|
- `best_practice` lines whose source starts with "researched"
|
|
=> WARNING (citation TODO — file a follow-up issue)
|
|
- Mining model (pickaxe gates + run-mode contract) — STRUCTURED
|
|
checks on the declared `pickaxe_tiers` / `pickaxe_examples` /
|
|
`mining_modes` / `mine_sites` blocks (owner guidance 2026-08-28):
|
|
* pickaxe tier values must match the canonical F2P table exactly
|
|
(Mining = usability gate, Attack = equip gate only, roll ticks,
|
|
and the explicit rank tie-break for equal Mining gates — Mining 1
|
|
selects iron over bronze, equipped at Attack 1);
|
|
* every pickaxe_examples row is recomputed (select highest tier
|
|
whose mining_level <= mining, tie-break by rank; equipped = attack
|
|
>= that tier's attack_level; expected_slots = 28 equipped / 27
|
|
carried) and must match the declared expectation — the pinned
|
|
1-Attack/41-Mining account must select and CARRY rune and the
|
|
1-Attack/1-Mining account must select and EQUIP iron;
|
|
* both run modes must be declared with the correct inventory
|
|
policy (fast-xp = drop, banked-income = bank) and only
|
|
reference declared, selectable sites whose policy matches;
|
|
* a selectable banked site with respawn >= 120 s MUST model
|
|
world hopping (world_hop: true AND a hop_world action in the
|
|
entry) — long-respawn sites are not executable otherwise;
|
|
* a selectable site whose access is Wilderness is rejected
|
|
(PK hazard cannot be hand-waved);
|
|
* modeled_ores_per_hour must not exceed the cadence ceiling
|
|
3600 / (rolls_per_ore x 2.7s rune delay midpoint);
|
|
* the entry's economy.xp_per_hour (fast-xp headline) must sit
|
|
within 2% of the fastest declared fast-xp site's modelled
|
|
ores/hr x its ore xp.
|
|
- GE-margin entries (tags include flipping and/or merchanting —
|
|
the unambiguous margin signals): the 2% GE convenience fee is
|
|
rounded DOWN to whole coins per item and capped at 5,000,000 GP
|
|
per item, so net_per_cycle MUST equal
|
|
income - min(floor(0.02*income), 5_000_000) - cost.
|
|
Fractional-tax arithmetic (0.98*sell - buy) and uncapped tax
|
|
(6M on a 300M sale) are errors.
|
|
NOTE: the generic `ge` tag alone does NOT gate this rule — a
|
|
training/processing/procurement entry may legitimately carry
|
|
`ge` while its income/cost model has nothing to do with flip tax.
|
|
- GE-flip lifecycle (flipping/merchanting entries): the 4h buy-limit
|
|
ledger (limit_used / limit_resets_at) is DISTINCT from offer
|
|
expiry — a limit-window reset never cancels an offer and cancelling
|
|
never renews the limit; every slot is an independent asynchronous
|
|
sub-state machine (canonical set: free / buy-open /
|
|
buy-filled-awaiting-collect / buy-cancelled-awaiting-collect /
|
|
ready-to-sell / sell-open / sell-filled-awaiting-collect /
|
|
sell-cancelled-awaiting-collect / ready-to-requote / closed) driven
|
|
by a global scheduler pass that never touches unrelated slots;
|
|
ge_cancel moves filled items, refunded CASH, unsold units and
|
|
proceeds to the GE collection box for a separate ge_collect;
|
|
per-slot conservation is SIDE-AWARE (buy: quoted units =
|
|
filled + still_open + cancelled_unfilled and acquired items =
|
|
filled ONLY — the unfilled/cancelled quantity is cash, never
|
|
refunded units; sell: quoted = sold + still_open + returned_unsold)
|
|
with phase gates (a full buy cannot sell before collection, a full
|
|
sell cannot close before proceeds collection);
|
|
closed has ONE outgoing transition — the archival release
|
|
``closed -> free`` — so a completed cycle's physical GE slot
|
|
returns to free for the next flip instead of stranding forever
|
|
(governor 10471); the two-rotation reuse regression proves a slot
|
|
completes buy/collect/sell/collect, archives the first ledger, and
|
|
places a second buy in the same slot without loss, duplication, or
|
|
mutation of the archived record;
|
|
economy.ceiling_gp_per_hour is the TYPED economic ceiling and
|
|
0 <= gp_per_hour_low <= gp_per_hour_high <= ceiling.
|
|
- Regression fixtures (--selftest): a fractional-tax flipping
|
|
entry must FAIL; an above-cap high-value flip with the
|
|
correctly capped-tax net must PASS; a non-margin entry carrying
|
|
only `ge` plus a non-flip tag must PASS; plus per-slot scheduler
|
|
dispatch, conservation, buy-limit and nesting fixtures.
|
|
3. Global id uniqueness across the whole codex tree.
|
|
|
|
Exit codes: 0 = clean (warnings ok), 1 = validation errors.
|
|
|
|
Usage: python3 tools/validate.py [--stale-days 30] [--selftest]
|
|
--selftest: run the committed regression fixtures only (no tree scan)
|
|
"""
|
|
|
|
import datetime
|
|
import json
|
|
import math
|
|
import re
|
|
import sys
|
|
from pathlib import Path
|
|
|
|
import jsonschema
|
|
import yaml
|
|
|
|
ROOT = Path(__file__).resolve().parent.parent
|
|
SCHEMA = json.loads((ROOT / "schemas" / "entry.schema.json").read_text())
|
|
CODEX = ROOT / "codex"
|
|
STALE_DAYS = 30
|
|
|
|
# Canonical F2P pickaxe table (OSRS wiki pickaxe pages, verified 2026-08-28):
|
|
# mining_level = which pickaxe can be USED; attack_level = only whether it can
|
|
# be EQUIPPED; roll_ticks = ore roll interval (ticks x 0.6 s);
|
|
# rank = explicit tier order used as the SELECTION tie-break for equal
|
|
# Mining gates (bronze and iron both open at Mining 1 -> Mining 1 = iron,
|
|
# per the owner decision on governor review 10476).
|
|
CANONICAL_PICKAXES = {
|
|
"bronze-pickaxe": {"mining_level": 1, "attack_level": 1, "roll_ticks": 8, "rank": 1},
|
|
"iron-pickaxe": {"mining_level": 1, "attack_level": 1, "roll_ticks": 7, "rank": 2},
|
|
"steel-pickaxe": {"mining_level": 6, "attack_level": 5, "roll_ticks": 6, "rank": 3},
|
|
"mithril-pickaxe": {"mining_level": 21, "attack_level": 20, "roll_ticks": 5, "rank": 4},
|
|
"adamant-pickaxe": {"mining_level": 31, "attack_level": 30, "roll_ticks": 4, "rank": 5},
|
|
"rune-pickaxe": {"mining_level": 41, "attack_level": 40, "roll_ticks": 3, "rank": 6},
|
|
}
|
|
# a2 anti_ban delay midpoint [1800, 3600] ms — the paced roll-attempt cadence
|
|
# the rate model derives from (rune anchor; see mining-f2p.yaml economy).
|
|
RUNE_DELAY_MID_S = 2.7
|
|
XP_TOLERANCE = 0.02
|
|
|
|
|
|
def load_entries():
|
|
out = []
|
|
for p in CODEX.rglob("*.yaml"):
|
|
if p.name.startswith("_"): # dataset files (e.g. _f2p-alch-catalog.yaml)
|
|
continue
|
|
out.append(p)
|
|
return sorted(out)
|
|
|
|
|
|
def select_pickaxe(mining_level, tiers):
|
|
"""Highest eligible tier by the two-gate rule: among tiers whose
|
|
mining_level gate the account meets, the highest RANK wins (rank is
|
|
the explicit tie-break for equal Mining gates — bronze and iron both
|
|
open at Mining 1, so Mining 1 deterministically selects iron)."""
|
|
best, best_key = None, None
|
|
for tid, tdef in (tiers or {}).items():
|
|
if not isinstance(tdef, dict):
|
|
continue
|
|
gate = tdef.get("mining_level")
|
|
if not isinstance(gate, int) or gate > mining_level:
|
|
continue
|
|
rank = tdef.get("rank")
|
|
key = (rank if isinstance(rank, int) else gate, gate)
|
|
if best_key is None or key > best_key:
|
|
best, best_key = tid, key
|
|
return best
|
|
|
|
|
|
def select_fast_site(mining_level, modes, sites):
|
|
"""Deterministic fast-xp site selection (mining_selections recompute):
|
|
highest ore XP among eligible selectable fast-xp sites whose
|
|
mining_level <= level; tie-break lexicographic site id (copper/tin share
|
|
an XP+level tie). Returns the site id or None."""
|
|
best_xp, cands = -1, []
|
|
for sid in (modes.get("fast-xp", {}).get("sites", []) or []):
|
|
sdef = sites.get(sid)
|
|
if not isinstance(sdef, dict) or sdef.get("selectable") is not True:
|
|
continue
|
|
ml, xp = sdef.get("mining_level"), sdef.get("xp")
|
|
if isinstance(ml, int) and isinstance(xp, (int, float)) and ml <= mining_level:
|
|
if xp > best_xp:
|
|
best_xp, cands = xp, [sid]
|
|
elif xp == best_xp:
|
|
cands.append(sid)
|
|
return sorted(cands)[0] if cands else None
|
|
|
|
|
|
def mining_model_errors(rel, data):
|
|
"""STRUCTURED mining-model gates (owner guidance 2026-08-28; replaces the
|
|
earlier phrase-search checks, which could pass on comments alone)."""
|
|
errors = []
|
|
tiers = data.get("pickaxe_tiers")
|
|
if tiers is None:
|
|
return errors # non-mining entry — not gated
|
|
if not isinstance(tiers, dict):
|
|
return [f"{rel}: 'pickaxe_tiers' must be a mapping of tier id -> gates"]
|
|
|
|
# --- 1. canonical tier values (exact) ---
|
|
for tid, canon in CANONICAL_PICKAXES.items():
|
|
got = tiers.get(tid)
|
|
if not isinstance(got, dict):
|
|
errors.append(
|
|
f"{rel}: pickaxe tier '{tid}' missing from pickaxe_tiers "
|
|
f"(canonical F2P table: mining {canon['mining_level']} use / "
|
|
f"attack {canon['attack_level']} equip / {canon['roll_ticks']} ticks)")
|
|
continue
|
|
for key, want in canon.items():
|
|
if got.get(key) != want:
|
|
errors.append(
|
|
f"{rel}: pickaxe tier '{tid}' {key}={got.get(key)}; canonical "
|
|
f"value is {want} (Mining = usability gate, Attack = equip "
|
|
f"gate ONLY, roll_ticks = ore roll interval)")
|
|
for tid in tiers:
|
|
if tid not in CANONICAL_PICKAXES:
|
|
errors.append(f"{rel}: pickaxe_tiers declares unknown tier '{tid}'")
|
|
|
|
# --- 2. examples recomputed from the DECLARED tiers (two-gate proof) ---
|
|
examples = data.get("pickaxe_examples")
|
|
if not isinstance(examples, list) or not examples:
|
|
errors.append(f"{rel}: pickaxe_examples must declare at least one account "
|
|
f"example for the two-gate selection proof")
|
|
else:
|
|
has_141 = has_11 = False
|
|
for ex in examples:
|
|
if not isinstance(ex, dict):
|
|
continue
|
|
atk, mng = ex.get("attack"), ex.get("mining")
|
|
if atk == 1 and mng == 41:
|
|
has_141 = True
|
|
if atk == 1 and mng == 1:
|
|
has_11 = True
|
|
chosen = select_pickaxe(mng, tiers)
|
|
if chosen is None:
|
|
errors.append(f"{rel}: example '{ex.get('account')}' (Mining {mng}) "
|
|
f"has no eligible pickaxe tier")
|
|
continue
|
|
tdef = tiers.get(chosen) or {}
|
|
should_equip = atk >= tdef.get("attack_level", 10**9)
|
|
if ex.get("expected_tier") != chosen:
|
|
errors.append(
|
|
f"{rel}: example '{ex.get('account')}' (Attack {atk}/Mining "
|
|
f"{mng}) expects tier '{ex.get('expected_tier')}' but the "
|
|
f"Mining-use gate selects '{chosen}'")
|
|
if ex.get("expected_equipped") != should_equip:
|
|
errors.append(
|
|
f"{rel}: example '{ex.get('account')}' (Attack {atk}/Mining "
|
|
f"{mng}) expects equipped={ex.get('expected_equipped')} but "
|
|
f"the Attack-equip gate on '{chosen}' says equipped={should_equip}")
|
|
# capacity proof: equipped pickaxe -> 28 ore slots, carried -> 27
|
|
want_slots = 28 if should_equip else 27
|
|
if ex.get("expected_slots") is None:
|
|
errors.append(
|
|
f"{rel}: example '{ex.get('account')}' must declare "
|
|
f"expected_slots ({want_slots} for tier '{chosen}' "
|
|
f"equipped={should_equip})")
|
|
elif ex.get("expected_slots") != want_slots:
|
|
errors.append(
|
|
f"{rel}: example '{ex.get('account')}' expects "
|
|
f"expected_slots={ex.get('expected_slots')} but the "
|
|
f"declared pickaxe '{chosen}' equipped={should_equip} "
|
|
f"gives {want_slots} ore slots (28 equipped / 27 carried)")
|
|
if not has_141:
|
|
errors.append(
|
|
f"{rel}: pickaxe_examples must include the owner-mandated "
|
|
f"1-Attack/41-Mining account (selects, carries, and uses a rune "
|
|
f"pickaxe — equipped=false)")
|
|
if not has_11:
|
|
errors.append(
|
|
f"{rel}: pickaxe_examples must include the 1-Attack/1-Mining "
|
|
f"account (owner decision on governor review 10476: bronze and "
|
|
f"iron share the Mining-1 gate, the rank tie-break selects "
|
|
f"IRON, and Attack 1 equips it — equipped=true, 28 ore slots)")
|
|
|
|
# --- 3. run-mode contract ---
|
|
modes = data.get("mining_modes")
|
|
sites = data.get("mine_sites")
|
|
if not isinstance(modes, dict) or not isinstance(sites, dict):
|
|
errors.append(f"{rel}: a mining entry must declare both 'mining_modes' "
|
|
f"and 'mine_sites' blocks")
|
|
return errors
|
|
if modes.get("fast-xp", {}).get("inventory_policy") != "drop":
|
|
errors.append(f"{rel}: mining_modes.fast-xp.inventory_policy must be "
|
|
f"'drop' (powermine drops every load — never banks)")
|
|
if modes.get("banked-income", {}).get("inventory_policy") != "bank":
|
|
errors.append(f"{rel}: mining_modes.banked-income.inventory_policy must "
|
|
f"be 'bank'")
|
|
|
|
def site_errors(site_id, where, want_policy):
|
|
out = []
|
|
sdef = sites.get(site_id)
|
|
if not isinstance(sdef, dict):
|
|
out.append(f"{rel}: {where} references '{site_id}' which is not "
|
|
f"declared in mine_sites")
|
|
return out
|
|
if sdef.get("selectable") is not True:
|
|
out.append(f"{rel}: {where} references '{site_id}' which is marked "
|
|
f"selectable: false (not an eligible target)")
|
|
if sdef.get("inventory_policy") != want_policy:
|
|
out.append(f"{rel}: {where} site '{site_id}' has inventory_policy "
|
|
f"'{sdef.get('inventory_policy')}' but the mode requires "
|
|
f"'{want_policy}'")
|
|
if sdef.get("selectable") is True and any(
|
|
not str(sdef.get(k, "")).strip() for k in ("access", "safety", "route")):
|
|
out.append(f"{rel}: selectable site '{site_id}' must carry access, "
|
|
f"safety and route descriptions")
|
|
return out
|
|
|
|
for sid in modes.get("fast-xp", {}).get("sites", []) or []:
|
|
errors += site_errors(sid, "mining_modes.fast-xp.sites", "drop")
|
|
for sid in modes.get("banked-income", {}).get("targets", []) or []:
|
|
errors += site_errors(sid, "mining_modes.banked-income.targets", "bank")
|
|
|
|
# --- 4. per-site execitability: long respawn, wilderness, rate ceiling ---
|
|
verbs = [a.get("verb") for a in data.get("actions", [])]
|
|
for sid, sdef in sites.items():
|
|
if not isinstance(sdef, dict):
|
|
continue
|
|
if sdef.get("selectable") is True:
|
|
access = str(sdef.get("access", "")).lower()
|
|
if "wilderness" in access:
|
|
errors.append(f"{rel}: selectable site '{sid}' is in the "
|
|
f"Wilderness (PK hazard) — it must be selectable: "
|
|
f"false, not silently exposed")
|
|
respawn = sdef.get("respawn_seconds")
|
|
if isinstance(respawn, (int, float)) and respawn >= 120:
|
|
if sdef.get("world_hop") is not True:
|
|
errors.append(f"{rel}: selectable site '{sid}' has a "
|
|
f"{respawn}s respawn — long-respawn sites need "
|
|
f"world_hop: true (the wiki's 120+ ores/hr "
|
|
f"assumes hopping worlds); without hopping the "
|
|
f"ceiling is ~30 ores/hr")
|
|
elif "hop_world" not in verbs:
|
|
errors.append(f"{rel}: site '{sid}' declares world_hop: true "
|
|
f"but the entry has no hop_world action — "
|
|
f"world hopping must be executable")
|
|
rolls = sdef.get("rolls_per_ore")
|
|
modeled = sdef.get("modeled_ores_per_hour")
|
|
if isinstance(rolls, (int, float)) and isinstance(modeled, (int, float)):
|
|
ceiling = 3600.0 / (rolls * RUNE_DELAY_MID_S)
|
|
if modeled > ceiling * (1 + 1e-9):
|
|
errors.append(
|
|
f"{rel}: site '{sid}' models {modeled} ores/hr but the "
|
|
f"cadence ceiling at rolls_per_ore {rolls} is {ceiling:.0f} "
|
|
f"(3600 / (rolls_per_ore x 2.7 s)) — the rate exceeds what "
|
|
f"the declared click policy can produce")
|
|
|
|
# --- 4b. GE tool purchase must be executable end to end ---
|
|
gev = set(v for v in verbs if v in {
|
|
"ge_open", "ge_buy", "ge_offers_done", "ge_collect", "ge_sell"})
|
|
if "ge_buy" in gev:
|
|
for must, why in (("ge_open", "open the exchange before placing an offer"),
|
|
("ge_offers_done", "wait one BOUNDED fill window"),
|
|
("ge_collect", "collect the item / refund the gp on timeout")):
|
|
if must not in gev:
|
|
errors.append(
|
|
f"{rel}: ge_buy must be part of an executable GE loop — "
|
|
f"missing '{must}' ({why}); a resting offer must never be "
|
|
f"retried indefinitely")
|
|
elif gev:
|
|
if "ge_open" not in gev:
|
|
errors.append(
|
|
f"{rel}: GE verbs {sorted(gev)} require a ge_open action — "
|
|
f"the GE flow must start by opening the exchange")
|
|
|
|
# --- 4c. below-15 copper/tin path must be structurally arming-able ---
|
|
min_level = (data.get("accounts") or {}).get("min_level")
|
|
fx_levels = []
|
|
for sid in (modes.get("fast-xp", {}).get("sites", []) or []):
|
|
sdef = sites.get(sid)
|
|
if isinstance(sdef, dict) and sdef.get("selectable") is True:
|
|
ml = sdef.get("mining_level")
|
|
if isinstance(ml, int):
|
|
fx_levels.append(ml)
|
|
if isinstance(min_level, int) and min_level < 15:
|
|
if not fx_levels:
|
|
errors.append(
|
|
f"{rel}: min_level {min_level} (<15) but fast-xp has no "
|
|
f"structured selectable site")
|
|
else:
|
|
fmin = min(fx_levels)
|
|
if fmin > 14:
|
|
errors.append(
|
|
f"{rel}: fast-xp sites all require Mining >= {fmin} but "
|
|
f"the entry claims a copper/tin below-15 path (min_level "
|
|
f"{min_level}) — add a structured low-level (<=14) "
|
|
f"fallback site or raise min_level")
|
|
if fmin > min_level:
|
|
errors.append(
|
|
f"{rel}: the lowest fast-xp site requires Mining {fmin} "
|
|
f"but min_level is {min_level} — a level-{min_level} "
|
|
f"account cannot arm a fast-xp run")
|
|
|
|
# --- 4d. mining_selections pins (deterministic, recomputed) ---
|
|
sel = data.get("mining_selections")
|
|
if not isinstance(sel, dict) or not isinstance(sel.get("fast_xp"), list) \
|
|
or not sel["fast_xp"]:
|
|
errors.append(
|
|
f"{rel}: mining entries must declare mining_selections.fast_xp "
|
|
f"(level -> expected_site pins, recomputed by the validator)")
|
|
else:
|
|
rows = {}
|
|
for r in sel["fast_xp"]:
|
|
lvl = r.get("level") if isinstance(r, dict) else None
|
|
if not isinstance(lvl, int) or lvl < 1:
|
|
errors.append(
|
|
f"{rel}: mining_selections.fast_xp rows need a positive "
|
|
f"integer 'level'")
|
|
continue
|
|
rows[lvl] = r
|
|
if isinstance(min_level, int) and min_level <= 14:
|
|
for lvl in (1, 14):
|
|
if lvl not in rows:
|
|
errors.append(
|
|
f"{rel}: mining_selections.fast_xp must pin level "
|
|
f"{lvl} (a below-15 account must have a structured, "
|
|
f"selectable fast-xp site)")
|
|
for lvl, r in rows.items():
|
|
got = select_fast_site(lvl, modes, sites)
|
|
if got is None:
|
|
errors.append(
|
|
f"{rel}: no eligible selectable fast-xp site at level "
|
|
f"{lvl} — the low-level (copper/tin) fallback is missing")
|
|
elif r.get("expected_site") != got:
|
|
errors.append(
|
|
f"{rel}: mining_selections level {lvl} expects site "
|
|
f"'{r.get('expected_site')}' but the selection rule "
|
|
f"picks '{got}'")
|
|
|
|
# --- 5. fast-xp headline xp rate consistent with the modelled sites ---
|
|
eco = data.get("economy")
|
|
xph = eco.get("xp_per_hour") if isinstance(eco, dict) else None
|
|
if isinstance(xph, (int, float)):
|
|
best = None
|
|
for sid in modes.get("fast-xp", {}).get("sites", []) or []:
|
|
sdef = sites.get(sid)
|
|
if not isinstance(sdef, dict):
|
|
continue
|
|
rate = sdef.get("modeled_ores_per_hour") or 0
|
|
xpv = (sdef.get("xp") or 0) * rate
|
|
if best is None or xpv > best:
|
|
best = xpv
|
|
if best:
|
|
if abs(xph - best) / best > XP_TOLERANCE:
|
|
errors.append(
|
|
f"{rel}: economy.xp_per_hour {xph} is not the fast-xp "
|
|
f"modelled policy rate (expected ~{best:.0f} = fastest "
|
|
f"fast-xp site's modelled ores/hr x ore xp; tolerance "
|
|
f"{XP_TOLERANCE:.0%})")
|
|
return errors
|
|
|
|
|
|
def _with_runite(sites):
|
|
"""Fixture helper: the `good` site set plus a non-selectable Wilderness
|
|
runite row (hyphenated id so the declared reference resolves)."""
|
|
out = dict(sites)
|
|
out["runite-wilderness"] = {
|
|
"ore": "Runite ore", "ore_id": 451, "mining_level": 85, "xp": 125,
|
|
"rock_count": 2, "respawn_seconds": 720, "rolls_per_ore": 3.0,
|
|
"modeled_ores_per_hour": 0, "world_hop": False, "selectable": False,
|
|
"inventory_policy": "bank", "access": "Wilderness (PK risk)",
|
|
"safety": "out of scope", "route": "not selectable"}
|
|
return out
|
|
|
|
|
|
def run_selftest(verbose=False):
|
|
"""Committed regression fixtures for the structured mining gates."""
|
|
errors = []
|
|
|
|
def check(name, passed):
|
|
if verbose:
|
|
print(f"SELFTEST {'PASS' if passed else 'FAIL'} {name}")
|
|
if not passed:
|
|
errors.append(f"selftest: {name}")
|
|
|
|
canon = {k: dict(v) for k, v in CANONICAL_PICKAXES.items()} # deep copy — fixtures below must never mutate the module table
|
|
good_examples = [
|
|
{"account": "1-Attack/1-Mining", "attack": 1, "mining": 1,
|
|
"expected_tier": "iron-pickaxe", "expected_equipped": True,
|
|
"expected_slots": 28},
|
|
{"account": "1-Attack/41-Mining", "attack": 1, "mining": 41,
|
|
"expected_tier": "rune-pickaxe", "expected_equipped": False,
|
|
"expected_slots": 27},
|
|
{"account": "40-Attack/70-Mining", "attack": 40, "mining": 70,
|
|
"expected_tier": "rune-pickaxe", "expected_equipped": True,
|
|
"expected_slots": 28},
|
|
{"account": "5-Attack/30-Mining", "attack": 5, "mining": 30,
|
|
"expected_tier": "mithril-pickaxe", "expected_equipped": False,
|
|
"expected_slots": 27},
|
|
]
|
|
sites = {
|
|
"al-kharid-powermine": {"ore": "Iron ore", "ore_id": 440, "mining_level": 15,
|
|
"xp": 35, "rock_count": 3, "respawn_seconds": 5.4, "rolls_per_ore": 1.33,
|
|
"modeled_ores_per_hour": 803, "world_hop": False, "selectable": True,
|
|
"inventory_policy": "drop", "access": "combat 29+", "safety": "gate",
|
|
"route": "drop in place"},
|
|
"se-varrock-copper": {"ore": "Copper ore", "ore_id": 436, "mining_level": 1,
|
|
"xp": 17.5, "rock_count": 2, "respawn_seconds": 5.4, "rolls_per_ore": 1.6,
|
|
"modeled_ores_per_hour": 360, "world_hop": False, "selectable": True,
|
|
"inventory_policy": "drop", "access": "safe", "safety": "none",
|
|
"route": "drop in place"},
|
|
"se-varrock-tin": {"ore": "Tin ore", "ore_id": 438, "mining_level": 1,
|
|
"xp": 17.5, "rock_count": 2, "respawn_seconds": 5.4, "rolls_per_ore": 1.6,
|
|
"modeled_ores_per_hour": 360, "world_hop": False, "selectable": True,
|
|
"inventory_policy": "drop", "access": "safe", "safety": "none",
|
|
"route": "drop in place"},
|
|
"se-varrock-bank": {"ore": "Iron ore", "ore_id": 440, "mining_level": 15,
|
|
"xp": 35, "rock_count": 2, "respawn_seconds": 5.4, "rolls_per_ore": 1.33,
|
|
"modeled_ores_per_hour": 713, "world_hop": False, "selectable": True,
|
|
"inventory_policy": "bank", "access": "safe", "safety": "none",
|
|
"route": "east Varrock bank 30s"},
|
|
"al-kharid-south-adamantite": {"ore": "Adamantite ore", "ore_id": 449,
|
|
"mining_level": 70, "xp": 95, "rock_count": 2, "respawn_seconds": 240,
|
|
"rolls_per_ore": 2.0, "modeled_ores_per_hour": 120, "world_hop": True,
|
|
"selectable": True, "inventory_policy": "bank", "access": "south rocks",
|
|
"safety": "banked locally", "route": "bank 25s + hop_world"},
|
|
}
|
|
good = {"accounts": {"min_level": 1},
|
|
"pickaxe_tiers": canon, "pickaxe_examples": good_examples,
|
|
"mining_modes": {"fast-xp": {"inventory_policy": "drop",
|
|
"ore_policy": "iron 15+ / copper/tin under 15",
|
|
"sites": ["al-kharid-powermine",
|
|
"se-varrock-copper",
|
|
"se-varrock-tin"]},
|
|
"banked-income": {"inventory_policy": "bank",
|
|
"targets": ["se-varrock-bank",
|
|
"al-kharid-south-adamantite"],
|
|
"stop": "gp target"}},
|
|
"mining_selections": {"fast_xp": [
|
|
{"level": 1, "expected_site": "se-varrock-copper"},
|
|
{"level": 14, "expected_site": "se-varrock-copper"}]},
|
|
"mine_sites": sites,
|
|
"actions": [{"id": "a1", "step": "hop-world", "verb": "hop_world",
|
|
"on_fail": "retry"}],
|
|
"economy": {"xp_per_hour": 28100}}
|
|
check("canonical pickaxe tiers + recomputed examples pass",
|
|
mining_model_errors("ok.yaml", good) == [])
|
|
|
|
# pickaxe tier value mismatch
|
|
bad_tiers = dict(canon)
|
|
bad_tiers["rune-pickaxe"] = {"mining_level": 41, "attack_level": 45, "roll_ticks": 3}
|
|
errs = mining_model_errors("bad.yaml", {**good, "pickaxe_tiers": bad_tiers})
|
|
check("rune equip gate value 45 != canonical 40 is rejected",
|
|
any("rune-pickaxe" in e and "attack_level" in e for e in errs))
|
|
|
|
# 1-Attack/41-Mining must carry rune — declared expectation is enforced
|
|
bad_141 = {"account": "1-Attack/41-Mining", "attack": 1, "mining": 41,
|
|
"expected_tier": "rune-pickaxe", "expected_equipped": True,
|
|
"expected_slots": 27}
|
|
errs = mining_model_errors("bad2.yaml", {**good, "pickaxe_examples": [bad_141]})
|
|
check("1-Attack/41-Mining example expecting equipped=True is rejected (equip gate: Attack 1 < 40)",
|
|
any("equipped=True" in e and "equipped=False" in e for e in errs))
|
|
errs = mining_model_errors("bad3.yaml", {**good, "pickaxe_examples": [
|
|
{"account": "40-Attack/70-Mining", "attack": 40, "mining": 70,
|
|
"expected_tier": "rune-pickaxe", "expected_equipped": True,
|
|
"expected_slots": 28}]})
|
|
check("missing the 1-Attack/41-Mining example is rejected (owner-mandated)",
|
|
any("1-Attack/41-Mining" in e for e in errs))
|
|
|
|
# level-1 tie-break (governor review 10476, owner decision 2026-08-29):
|
|
# Mining 1 must select IRON (rank tie-break over bronze) and EQUIP it
|
|
# (attack gate 1) with 28 ore slots — the old bronze-canonical model is
|
|
# rejected on three independent axes
|
|
tie_bronze = {"account": "1-Attack/1-Mining", "attack": 1, "mining": 1,
|
|
"expected_tier": "bronze-pickaxe", "expected_equipped": True,
|
|
"expected_slots": 28}
|
|
errs = mining_model_errors("f18.yaml", {**good, "pickaxe_examples":
|
|
[x for x in good_examples if x["mining"] != 1] + [tie_bronze]})
|
|
check("Mining 1 expecting the bronze pickaxe is rejected (rank tie-break selects iron)",
|
|
any("'bronze-pickaxe'" in e and "selects 'iron-pickaxe'" in e for e in errs))
|
|
tie_carry = {"account": "1-Attack/1-Mining", "attack": 1, "mining": 1,
|
|
"expected_tier": "iron-pickaxe", "expected_equipped": False,
|
|
"expected_slots": 27}
|
|
errs = mining_model_errors("f19.yaml", {**good, "pickaxe_examples":
|
|
[x for x in good_examples if x["mining"] != 1] + [tie_carry]})
|
|
check("1-Attack/1-Mining expecting a CARRIED iron pickaxe is rejected (Attack 1 >= iron's attack gate 1 -> equipped)",
|
|
any("equipped=True" in e and "equipped=False" in e for e in errs) or
|
|
any("gives 28 ore slots" in e for e in errs))
|
|
tie_slots = {"account": "1-Attack/1-Mining", "attack": 1, "mining": 1,
|
|
"expected_tier": "iron-pickaxe", "expected_equipped": True,
|
|
"expected_slots": 27}
|
|
errs = mining_model_errors("f20.yaml", {**good, "pickaxe_examples":
|
|
[x for x in good_examples if x["mining"] != 1] + [tie_slots]})
|
|
check("1-Attack/1-Mining with 27 slots while equipped is rejected (equipped iron = 28 ore slots)",
|
|
any("28 equipped / 27 carried" in e for e in errs))
|
|
no_11 = {**good, "pickaxe_examples":
|
|
[x for x in good_examples if not (x["attack"] == 1 and x["mining"] == 1)]}
|
|
errs = mining_model_errors("f21.yaml", no_11)
|
|
check("missing the 1-Attack/1-Mining fixture is rejected (owner-mandated tie-break proof)",
|
|
any("1-Attack/1-Mining" in e for e in errs))
|
|
bad_tiers2 = {k: dict(v) for k, v in canon.items()}
|
|
del bad_tiers2["iron-pickaxe"]["rank"]
|
|
errs = mining_model_errors("f22.yaml", {**good, "pickaxe_tiers": bad_tiers2})
|
|
check("a pickaxe tier missing the rank field is rejected (tie-break must be explicit)",
|
|
any("iron-pickaxe" in e and "rank" in e for e in errs))
|
|
|
|
# mode contract
|
|
errs = mining_model_errors("bad4.yaml", {**good, "mining_modes": {
|
|
"fast-xp": {"inventory_policy": "bank",
|
|
"ore_policy": "iron", "sites": ["al-kharid-powermine"]},
|
|
"banked-income": {"inventory_policy": "bank", "targets": ["se-varrock-bank"],
|
|
"stop": "gp target"}}})
|
|
check("fast-xp mode with inventory_policy bank is rejected",
|
|
any("fast-xp.inventory_policy" in e for e in errs))
|
|
errs = mining_model_errors("bad5.yaml", {**good, "mining_modes": {
|
|
"fast-xp": {"inventory_policy": "drop", "ore_policy": "iron",
|
|
"sites": ["al-kharid-powermine"]},
|
|
"banked-income": {"inventory_policy": "bank",
|
|
"targets": ["runite-wilderness"], "stop": "gp target"}},
|
|
"mine_sites": _with_runite(sites)})
|
|
check("banked-income targeting a selectable:false site is rejected",
|
|
any("selectable: false" in e for e in errs))
|
|
errs = mining_model_errors("bad6.yaml", {**good, "mining_modes": {
|
|
"fast-xp": {"inventory_policy": "drop", "ore_policy": "iron",
|
|
"sites": ["nope-mine"]},
|
|
"banked-income": {"inventory_policy": "bank", "targets": ["se-varrock-bank"],
|
|
"stop": "gp target"}}})
|
|
check("mode referencing an undeclared site is rejected",
|
|
any("not declared in mine_sites" in e for e in errs))
|
|
|
|
# long-respawn / wilderness / hop executability
|
|
no_hop = {**good, "mine_sites": dict(sites, al_kharid_south_adamantite={
|
|
**sites["al-kharid-south-adamantite"], "world_hop": False})}
|
|
errs = mining_model_errors("bad7.yaml", no_hop)
|
|
check("selectable 240s-respawn site without world_hop is rejected",
|
|
any("world_hop: true" in e for e in errs))
|
|
hop_no_action = {**good, "actions": [{"id": "a1", "step": "mine-stuff",
|
|
"verb": "click_object", "on_fail": "retry"}]}
|
|
errs = mining_model_errors("bad8.yaml", hop_no_action)
|
|
check("world_hop site without a hop_world action is rejected",
|
|
any("hop_world action" in e for e in errs))
|
|
wild = {**good, "mine_sites": dict(sites, wildy={"ore": "Runite ore",
|
|
"ore_id": 451, "mining_level": 85, "xp": 125, "rock_count": 2,
|
|
"respawn_seconds": 720, "rolls_per_ore": 3.0, "modeled_ores_per_hour": 0,
|
|
"world_hop": False, "selectable": True, "inventory_policy": "bank",
|
|
"access": "Wilderness level 46 (PK risk)", "safety": "none",
|
|
"route": "wilderness"})}
|
|
errs = mining_model_errors("bad9.yaml", wild)
|
|
check("selectable Wilderness site is rejected",
|
|
any("Wilderness" in e and "selectable" in e for e in errs))
|
|
|
|
# rate ceiling
|
|
over = {**good, "mine_sites": dict(sites, al_kharid_south_adamantite={
|
|
**sites["al-kharid-south-adamantite"], "modeled_ores_per_hour": 839})}
|
|
errs = mining_model_errors("bad10.yaml", over)
|
|
check("adamantite 839 ores/hr exceeds the 2.0-roll cadence ceiling (~666) and is rejected",
|
|
any("cadence ceiling" in e for e in errs))
|
|
|
|
# headline xp consistency
|
|
errs = mining_model_errors("bad11.yaml", {**good, "economy": {"xp_per_hour": 32400}})
|
|
check("xp_per_hour 32,400 != modelled fast-xp rate (~28,105) is rejected",
|
|
any("xp_per_hour" in e for e in errs))
|
|
errs = mining_model_errors("ok2.yaml", {**good, "economy": {"xp_per_hour": 28000}})
|
|
check("xp_per_hour 28,000 within 2% of the modelled fast-xp rate 28,105 passes",
|
|
errs == [])
|
|
|
|
# below-15 fallback + mining_selections pins (governor bounce 5)
|
|
no_fallback = {**good, "mining_modes": {
|
|
"fast-xp": {"inventory_policy": "drop", "ore_policy": "iron 15+ only",
|
|
"sites": ["al-kharid-powermine"]},
|
|
"banked-income": {"inventory_policy": "bank", "targets": ["se-varrock-bank",
|
|
"al-kharid-south-adamantite"], "stop": "gp target"}}}
|
|
errs = mining_model_errors("f14.yaml", no_fallback)
|
|
check("min_level 1 with iron-only fast-xp sites (no copper/tin fallback) is rejected",
|
|
any("below-15" in e for e in errs))
|
|
wrongpin = {**good, "mining_selections": {"fast_xp": [
|
|
{"level": 1, "expected_site": "se-varrock-tin"},
|
|
{"level": 14, "expected_site": "se-varrock-copper"}]}}
|
|
errs = mining_model_errors("f15.yaml", wrongpin)
|
|
check("mining_selections level-1 expected site mismatching the recomputed selection is rejected",
|
|
any("selection rule picks" in e for e in errs))
|
|
no_pin14 = {**good, "mining_selections": {"fast_xp": [
|
|
{"level": 1, "expected_site": "se-varrock-copper"}]}}
|
|
errs = mining_model_errors("f16.yaml", no_pin14)
|
|
check("mining_selections missing the level-14 pin is rejected when min_level < 15",
|
|
any("pin level 14" in e for e in errs))
|
|
ge_no_open = {**good, "actions": [
|
|
{"id": "a1", "step": "buy-pick", "verb": "ge_buy", "on_fail": "retry"},
|
|
{"id": "a2", "step": "hop-world", "verb": "hop_world", "on_fail": "retry"}]}
|
|
errs = mining_model_errors("f17.yaml", ge_no_open)
|
|
check("ge_buy without ge_open / ge_offers_done / ge_collect is rejected",
|
|
any("ge_open" in e for e in errs))
|
|
|
|
return errors
|
|
MARGIN_TAGS = {"flipping", "merchanting"}
|
|
|
|
|
|
def ge_floor_tax_error(rel, data):
|
|
"""GE floor-tax gate for a single entry.
|
|
|
|
Applies ONLY to the unambiguous margin tags (flipping/merchanting).
|
|
The generic `ge` tag is not proof that income_per_cycle is a taxed
|
|
GE resale: a training/processing/procurement entry may carry `ge`
|
|
while modeling unrelated income/cost, so it must not be gated by
|
|
this rule. Returns an error message, or None when the entry is not
|
|
gated or its floored-tax arithmetic is correct.
|
|
|
|
Wiki: "The 2% tax rounds down to the nearest whole number, so items
|
|
sold for below 50 coins have a tax of less than one coin" — per-item
|
|
net MUST use the floored tax, never 0.98*sell - buy. The fee is also
|
|
capped at 5,000,000 GP per item (per-item cap, documented in the
|
|
flip-candidates best_practice/risk), so tax = min(floor(0.02*sell),
|
|
5_000_000). Owner decision 2026-08-28: one global formula for all
|
|
entries (option A), no per-entry tax-model discriminator.
|
|
"""
|
|
tags = {str(t).lower() for t in data.get("tags", [])}
|
|
if not tags & MARGIN_TAGS:
|
|
return None
|
|
eco = data.get("economy") or {}
|
|
if not all(k in eco for k in ("income_per_cycle", "cost_per_cycle", "net_per_cycle")):
|
|
return None
|
|
sell, buy = eco["income_per_cycle"], eco["cost_per_cycle"]
|
|
tax = min(math.floor(sell * 0.02), 5_000_000)
|
|
expected = sell - tax - buy
|
|
if eco["net_per_cycle"] != expected:
|
|
return (
|
|
f"{rel}: net_per_cycle {eco['net_per_cycle']} != capped floored-tax "
|
|
f"model {expected} (sell {sell} - min(floor({sell}*0.02), 5_000_000)"
|
|
f"={tax} - buy {buy}); "
|
|
f"GE tax rounds down per item and is capped at 5,000,000 GP per item "
|
|
f"— fractional 0.98*sell - buy and uncapped tax are invalid")
|
|
return None
|
|
|
|
|
|
def alch_worked_example_regression(rel, data, raw_text):
|
|
"""One-cast model worked-example regression (owner guidance 2026-08-28,
|
|
PR #8 repair, merged via origin/main during branch reconciliation):
|
|
entries with the
|
|
MONOTONIC, INDEPENDENT counters — breaks every 550 casts (1,100, 1,650,
|
|
...) regardless of restocks, and restocks every 901 casts (1,802, ...),
|
|
so restocking never resets or shifts the break counter. Scoped to
|
|
entries that declare the one-cast model AND carry a worked example, so
|
|
unrelated entries are untouched.
|
|
"""
|
|
ruco = data.get("run_control") or {}
|
|
if "one cast" not in str(ruco.get("iteration", "")):
|
|
return []
|
|
if "worked example" not in raw_text.lower():
|
|
return []
|
|
errs = []
|
|
if "1,452" in raw_text:
|
|
errs.append(f"{rel}: worked example resets the break interval at a restock "
|
|
f"(cast 1,452 = 901 + restarted interval) — breaks must stay "
|
|
f"monotonic at 550/1,100/1,650 independently of restocks")
|
|
for marker, label in (("550", "break #1 (cast 550)"),
|
|
("901", "restock #1 (cast 901)"),
|
|
("1,100", "break #2 (cast 1,100)"),
|
|
("1,650", "break #3 (cast 1,650)"),
|
|
("1,802", "restock #2 (cast 1,802)")):
|
|
if marker not in raw_text:
|
|
errs.append(f"{rel}: worked example missing monotonic counter pin "
|
|
f"{label} — breaks/restocks must be pinned literally")
|
|
return errs
|
|
|
|
|
|
def _loss_reserve_stop(initial_capital, total_assets, reserve):
|
|
"""Loss-reserve stop comparator in the pinned direction (owner guidance
|
|
2026-08-29, governor review 10361, PR #8): stop fires only when the
|
|
loss EXCEEDS the reserve, i.e. when (initial capital - total assets)
|
|
> reserve. A loss makes the LHS positive; a profit (total assets >
|
|
initial capital) makes it negative and can never fire this stop. The
|
|
reversed 'total assets - initial capital' form is invalid because it
|
|
is negative exactly when a loss exists.
|
|
"""
|
|
return (initial_capital - total_assets) > reserve
|
|
|
|
|
|
def alch_accounting_regression(rel, data, raw_text):
|
|
"""Loss-reserve + fill-price accounting regression (owner guidance
|
|
2026-08-29 for governor review 10361, PR #8): the low-alch-members
|
|
entry must express the loss-reserve stop in the correct direction
|
|
EVERYWHERE ('initial capital - total assets > 162,990'), the reversed
|
|
sign form must never reappear, and the realized GP/hour bounds must be
|
|
derived from the declared fill-price scenarios (A live-low -3.00/cast
|
|
vs B max allowed +5% fill -30.15/cast), exposing the +5% fill loss
|
|
instead of recycling the live-low margin. Includes below/at/above
|
|
boundary fixtures and a profit-side negative regression for the
|
|
comparator itself. Scoped to the members low-alchemy entry only.
|
|
"""
|
|
if data.get("id") != "low-alch-members":
|
|
return []
|
|
errs = []
|
|
|
|
# 1. comparator boundary fixtures (pure function, entry's own constants)
|
|
INIT, RESERVE = 1_308_290, 162_990 # entry capital / 6-batch reserve
|
|
fixtures = [
|
|
("below (loss 162,989)", INIT - 162_989, False),
|
|
("at boundary (loss 162,990, strict >)", INIT - 162_990, False),
|
|
("above (loss 162,991)", INIT - 162_991, True),
|
|
("profit side (assets 50,000 above initial)", INIT + 50_000, False),
|
|
("breakeven (assets == initial)", INIT, False),
|
|
]
|
|
for label, total_assets, expect in fixtures:
|
|
got = _loss_reserve_stop(INIT, total_assets, RESERVE)
|
|
if got != expect:
|
|
errs.append(f"{rel}: loss-reserve comparator fixture '{label}' "
|
|
f"returned {got}, expected {expect}")
|
|
|
|
# 2. entry direction: correct form present, reversed form absent
|
|
if "initial capital - total assets > 162,990" not in raw_text:
|
|
errs.append(f"{rel}: loss-reserve stop must be expressed as "
|
|
f"'initial capital - total assets > 162,990' everywhere")
|
|
if "total assets - initial capital" in raw_text:
|
|
errs.append(f"{rel}: loss-reserve stop uses the reversed sign form — "
|
|
f"on a loss it is negative and can never exceed the "
|
|
f"reserve; use 'initial capital - total assets > 162,990'")
|
|
|
|
# 3. realized GP bounds must come from the fill-price scenarios
|
|
eco = data.get("economy", {})
|
|
if eco.get("gp_per_hour_low") != -29463:
|
|
errs.append(f"{rel}: gp_per_hour_low must be -29,463 (max-fill "
|
|
f"scenario B -30.15/cast x session-fast 977.2 casts/hr "
|
|
f"= -29,462.6), got {eco.get('gp_per_hour_low')}")
|
|
if eco.get("gp_per_hour_high") != -1758:
|
|
errs.append(f"{rel}: gp_per_hour_high must be -1,758 (live-low "
|
|
f"scenario A -3.00/cast x session-slow 585.9 casts/hr "
|
|
f"= -1,757.7), got {eco.get('gp_per_hour_high')}")
|
|
for pin, label in (("-30.15", "max-fill per-cast loss -30.15"),
|
|
("570.15", "max-fill per-cast cost 570.15"),
|
|
("423.15", "max-fill candidate price 423.15")):
|
|
if pin not in raw_text:
|
|
errs.append(f"{rel}: economy FILL-PRICE SCENARIOS missing {label} "
|
|
f"({pin}) — the +5% accepted-fill scenario must be "
|
|
f"declared so the realized GP bounds cannot silently "
|
|
f"revert to the live-low-only margin")
|
|
return errs
|
|
|
|
|
|
# --- GE-flip lifecycle gates (owner guidance 2026-08-28, governor 10323 + 10390) ---
|
|
# Canonical per-slot sub-states: each GE slot is an INDEPENDENT asynchronous
|
|
# machine driven by a global scheduler pass; a pass never closes or advances
|
|
# a slot it did not touch. A COMPLETED offer leaves its assets in the GE
|
|
# collection box until ge_collect: fully filled buys and sells each get an
|
|
# explicit *-filled-awaiting-collect state (governor 10390 finding 2).
|
|
SLOT_SUB_STATES = [
|
|
"free", # no offer, nothing held
|
|
"buy-open", # resting buy offer (partial fills keep resting)
|
|
"buy-filled-awaiting-collect", # buy FULLY filled — units sit in the GE collection box until ge_collect
|
|
"buy-cancelled-awaiting-collect", # aborted buy: bought units + refunded CASH in the box
|
|
"ready-to-sell", # units in hand (ge_collect'ed), sell edge positive
|
|
"sell-open", # resting sell offer (partial sells tracked)
|
|
"sell-filled-awaiting-collect", # sell FULLY filled — proceeds sit in the box until ge_collect
|
|
"sell-cancelled-awaiting-collect", # aborted sell: proceeds + unsold units in the box
|
|
"ready-to-requote", # collected units/refunds; requote or abandon
|
|
"closed", # completed cycle: ledger reconciled + ARCHIVED; the physical slot is released to free via the closed -> free archival transition (governor 10471)
|
|
]
|
|
# Dispatch table: the pure action a slot in a given sub-state needs this pass.
|
|
SLOT_DISPATCH = {
|
|
"free": "quote",
|
|
"buy-open": None, # resting; fill/abort decided by policies
|
|
"buy-filled-awaiting-collect": "collect",
|
|
"buy-cancelled-awaiting-collect": "collect",
|
|
"ready-to-sell": "sell",
|
|
"sell-open": None, # resting; fill/abort decided by policies
|
|
"sell-filled-awaiting-collect": "collect",
|
|
"sell-cancelled-awaiting-collect": "collect",
|
|
"ready-to-requote": "requote",
|
|
"closed": "release", # archival release: closed -> free (governor 10471)
|
|
}
|
|
|
|
|
|
def scheduler_dispatch(sub_state):
|
|
"""The pending action for one slot in one scheduler pass, or None.
|
|
|
|
A None (resting) slot is left completely untouched — the pass must not
|
|
close, advance, or mutate it. This is the property the worked-example
|
|
regression proves. A 'closed' slot is NOT resting: its completed
|
|
cycle's ledger was archived at ge_collect time and the pass releases
|
|
the physical slot to free ('release' = the closed -> free archival
|
|
transition), so the slot can run another flip instead of stranding
|
|
forever (governor 10471). Resting states are buy-open / sell-open
|
|
only.
|
|
"""
|
|
return SLOT_DISPATCH.get(sub_state)
|
|
|
|
|
|
# Side-aware GE bucket names (governor 10390 finding 4).
|
|
# BUY: the player commits CASH; acquired items are `filled` ONLY — the
|
|
# unfilled/cancelled quantity is an unspent-CASH refund, never "refunded
|
|
# units". SELL: the player holds units; sold units yield proceeds.
|
|
BUY_UNIT_BUCKETS = ["filled", "still_open", "cancelled_unfilled"]
|
|
SELL_UNIT_BUCKETS = ["sold", "still_open", "returned_unsold"]
|
|
# Physically impossible co-occurrences per side (cancel is atomic: a live
|
|
# offer has no remainder once cancelled).
|
|
IMPOSSIBLE_UNIT_PAIRS = {
|
|
"buy": [("still_open", "cancelled_unfilled")],
|
|
"sell": [("still_open", "returned_unsold")],
|
|
}
|
|
|
|
|
|
def conservation_violations(record):
|
|
"""Side-aware per-slot GE conservation (governor 10390 finding 4).
|
|
|
|
record: {
|
|
'side': 'buy'|'sell', # REQUIRED — the ledger is
|
|
'quoted': {item: qty}, # side-aware
|
|
**unit buckets (side-specific): # {item: qty}
|
|
'cash_quoted': int, # BUY: cash committed
|
|
'spent'/'still_committed'/'refunded': int, # BUY cash partition
|
|
'proceeds_in_box'/'cash_collected': int, # SELL proceeds
|
|
'sub_state': str, # phase gate input
|
|
}
|
|
|
|
BUY invariants:
|
|
- unit partition: quoted == filled + still_open + cancelled_unfilled
|
|
per item;
|
|
- ACQUIRED ITEMS == filled ONLY: any sell-side unit bucket (sold /
|
|
returned_unsold) or a 'refunded' unit bucket on a buy record is a
|
|
violation — the unfilled/cancelled quantity is CASH (phantom
|
|
"refunded units" guard);
|
|
- cash partition: cash_quoted == spent + still_committed + refunded
|
|
(the unspent remainder of a buy is the cash refund);
|
|
- no item may be both still_open and cancelled_unfilled (cancel is
|
|
atomic).
|
|
SELL invariants:
|
|
- unit partition: quoted == sold + still_open + returned_unsold per
|
|
item;
|
|
- no item may be both still_open and returned_unsold (cancel is
|
|
atomic); sold + still_open IS legal (partial sell rest).
|
|
Shared: no negative quantities.
|
|
"""
|
|
out = []
|
|
side = record.get("side", "buy")
|
|
if side not in ("buy", "sell"):
|
|
out.append(f"record side {side!r} must be 'buy' or 'sell'")
|
|
return out
|
|
buckets = BUY_UNIT_BUCKETS if side == "buy" else SELL_UNIT_BUCKETS
|
|
foreign = {"filled", "still_open", "cancelled_unfilled", "sold",
|
|
"returned_unsold"} - set(buckets)
|
|
for b in sorted(foreign):
|
|
if record.get(b):
|
|
out.append(
|
|
f"{side} ledger uses {b} units — invalid for side {side}: "
|
|
f"buy-side unfilled/cancelled quantity is CASH "
|
|
f"(refunded), never {b} units; sell-side units partition "
|
|
f"into sold/still_open/returned_unsold")
|
|
if side == "buy":
|
|
# A unit map under a CASH field is the phantom-items guard: a buy's
|
|
# unfilled/cancelled quantity is an unspent-CASH refund, never
|
|
# "refunded units" (governor 10390 finding 4).
|
|
for c in ("cash_quoted", "spent", "still_committed", "refunded"):
|
|
if isinstance(record.get(c), dict):
|
|
out.append(
|
|
f"buy ledger carries {c} as units — the unfilled/"
|
|
f"cancelled quantity of a buy is CASH (refunded), "
|
|
f"never {c} units (phantom items)")
|
|
for b in buckets:
|
|
for item in record.get(b, {}):
|
|
q = record[b][item]
|
|
if q < 0:
|
|
out.append(f"item '{item}' bucket {b} is negative ({q})")
|
|
quoted = record.get("quoted", {})
|
|
for item, qq in quoted.items():
|
|
if qq < 0:
|
|
out.append(f"item '{item}' quoted is negative ({qq})")
|
|
total = sum(record.get(b, {}).get(item, 0) for b in buckets)
|
|
if total != qq:
|
|
out.append(
|
|
f"item '{item}' quoted {qq} != "
|
|
f"{' + '.join(buckets)} ({total})")
|
|
in_b = {b for b in buckets if item in record.get(b, {})}
|
|
for a, b in IMPOSSIBLE_UNIT_PAIRS[side]:
|
|
if (a in in_b and b in in_b
|
|
and record.get(a, {}).get(item)
|
|
and record.get(b, {}).get(item)):
|
|
out.append(
|
|
f"item '{item}' appears in both {a} and {b} — "
|
|
f"physically impossible (a cancelled offer has no "
|
|
f"live remainder)")
|
|
if side == "buy":
|
|
cash_fields = ["cash_quoted", "spent", "still_committed", "refunded"]
|
|
for c in cash_fields:
|
|
if isinstance(record.get(c), (int, float)) and record[c] < 0:
|
|
out.append(f"{c} is negative ({record[c]})")
|
|
cash_vals = {c: record.get(c) for c in cash_fields}
|
|
if all(isinstance(v, (int, float)) for v in cash_vals.values()):
|
|
if cash_vals["cash_quoted"] != (
|
|
cash_vals["spent"] + cash_vals["still_committed"]
|
|
+ cash_vals["refunded"]):
|
|
out.append(
|
|
f"buy cash quoted {cash_vals['cash_quoted']} != spent "
|
|
f"{cash_vals['spent']} + still_committed "
|
|
f"{cash_vals['still_committed']} + refunded "
|
|
f"{cash_vals['refunded']} — the unspent remainder of a "
|
|
f"buy is the CASH refund")
|
|
else:
|
|
for c in ("proceeds_in_box", "cash_collected"):
|
|
if record.get(c, 0) < 0:
|
|
out.append(f"{c} is negative ({record[c]})")
|
|
return out
|
|
|
|
|
|
def slot_phase_violations(record):
|
|
"""Phase gates (governor 10390 finding 4): assets may not be reused or
|
|
a slot closed before the GE collection box is withdrawn.
|
|
|
|
- 'buy-filled-awaiting-collect': filled must equal quoted (fully
|
|
filled) and NOTHING may have been sold yet — a full buy that sells
|
|
before ge_collect is a violation (owned units cannot leave the
|
|
collection box early).
|
|
- 'sell-filled-awaiting-collect': sold units require proceeds_in_box
|
|
> 0 — proceeds arrive in the box as units fill and only leave via
|
|
ge_collect.
|
|
- 'closed': nothing may remain uncollected — proceeds_in_box must be
|
|
0 and no cancelled/returned units may still be in the box (a full
|
|
sell may not close before proceeds collection).
|
|
"""
|
|
out = []
|
|
sub = record.get("sub_state")
|
|
side = record.get("side", "buy")
|
|
sold = sum((record.get("sold") or {}).values())
|
|
filled = sum((record.get("filled") or {}).values())
|
|
quoted = sum((record.get("quoted") or {}).values())
|
|
if side == "buy" and sub == "buy-filled-awaiting-collect":
|
|
if sold:
|
|
out.append(
|
|
"buy-filled-awaiting-collect slot has sold units — a full "
|
|
"buy cannot sell before ge_collect")
|
|
if filled != quoted:
|
|
out.append(
|
|
f"buy-filled-awaiting-collect slot is not fully filled "
|
|
f"(filled {filled} != quoted {quoted})")
|
|
if sub == "sell-filled-awaiting-collect" and sold and not record.get("proceeds_in_box"):
|
|
out.append(
|
|
"sell-filled-awaiting-collect slot has sold units but no "
|
|
"proceeds_in_box — proceeds arrive in the collection box on "
|
|
"fill and leave only via ge_collect")
|
|
if sub == "closed":
|
|
if record.get("proceeds_in_box"):
|
|
out.append(
|
|
"closed slot still has proceeds_in_box — a full sell may "
|
|
"not close before proceeds collection (ge_collect first)")
|
|
cancelled = sum((record.get("cancelled_unfilled") or {}).values())
|
|
returned = sum((record.get("returned_unsold") or {}).values())
|
|
if cancelled or returned:
|
|
out.append(
|
|
"closed slot still holds cancelled/returned units — "
|
|
"collect them before closing the slot")
|
|
return out
|
|
|
|
|
|
def buy_capacity_ok(limit_used, limit, qty_requested):
|
|
"""The 4h buy-limit ledger (governor 10323 finding 1): the limit resets
|
|
4h after the FIRST unit was bought; cancelling an offer does NOT renew
|
|
it, so a requote before the reset cannot buy beyond the remaining
|
|
capacity. Returns True when limit_used + qty_requested <= limit.
|
|
"""
|
|
return limit_used + qty_requested <= limit
|
|
|
|
|
|
# Deterministic ledger frames for ONE physical GE slot across TWO full
|
|
# flips (governor 10471): the fixture walks a complete buy/collect/
|
|
# sell/collect cycle, archives the first ledger at `closed`, releases the
|
|
# physical slot to `free`, and opens a SECOND buy in the SAME slot. Every
|
|
# frame must satisfy both conservation checks; the archived first-cycle
|
|
# record must survive rotation 2 untouched (no loss, duplication, or
|
|
# mutation). Prices: Rune arrowtips buy 223 / sell 244 / tax
|
|
# min(floor(244*0.02), 5M) = 4 / proceeds 2,440,000 (snapshot 2026-08-27,
|
|
# matches the worked example).
|
|
_CYCLE_ITEM = "Rune arrowtips"
|
|
|
|
_CYCLE_FRAMES = [
|
|
# (sub_state, ledger) — ledger is side-aware and conservation-clean.
|
|
("free", {"side": "buy", "quoted": {}, "filled": {}, "still_open": {},
|
|
"cancelled_unfilled": {}, "cash_quoted": 0, "spent": 0,
|
|
"still_committed": 0, "refunded": 0}),
|
|
("buy-open", {"side": "buy", "quoted": {_CYCLE_ITEM: 10_000},
|
|
"filled": {}, "still_open": {_CYCLE_ITEM: 10_000},
|
|
"cancelled_unfilled": {}, "cash_quoted": 2_230_000,
|
|
"spent": 0, "still_committed": 2_230_000, "refunded": 0}),
|
|
("buy-filled-awaiting-collect",
|
|
{"side": "buy", "quoted": {_CYCLE_ITEM: 10_000},
|
|
"filled": {_CYCLE_ITEM: 10_000}, "still_open": {},
|
|
"cancelled_unfilled": {}, "cash_quoted": 2_230_000,
|
|
"spent": 2_230_000, "still_committed": 0, "refunded": 0}),
|
|
("ready-to-sell",
|
|
{"side": "buy", "quoted": {_CYCLE_ITEM: 10_000},
|
|
"filled": {_CYCLE_ITEM: 10_000}, "still_open": {},
|
|
"cancelled_unfilled": {}, "cash_quoted": 2_230_000,
|
|
"spent": 2_230_000, "still_committed": 0, "refunded": 0}),
|
|
("sell-open", {"side": "sell", "quoted": {_CYCLE_ITEM: 10_000},
|
|
"sold": {}, "still_open": {_CYCLE_ITEM: 10_000},
|
|
"returned_unsold": {}, "proceeds_in_box": 0,
|
|
"cash_collected": 0}),
|
|
("sell-filled-awaiting-collect",
|
|
{"side": "sell", "quoted": {_CYCLE_ITEM: 10_000},
|
|
"sold": {_CYCLE_ITEM: 10_000}, "still_open": {},
|
|
"returned_unsold": {}, "proceeds_in_box": 2_440_000,
|
|
"cash_collected": 0}),
|
|
("closed", {"side": "sell", "quoted": {_CYCLE_ITEM: 10_000},
|
|
"sold": {_CYCLE_ITEM: 10_000}, "still_open": {},
|
|
"returned_unsold": {}, "proceeds_in_box": 0,
|
|
"cash_collected": 2_440_000}), # ARCHIVED here
|
|
("free", {"side": "buy", "quoted": {}, "filled": {}, "still_open": {},
|
|
"cancelled_unfilled": {}, "cash_quoted": 0, "spent": 0,
|
|
"still_committed": 0, "refunded": 0}), # released: physical slot reusable
|
|
# rotation 2: the SAME physical slot opens a second buy (ledger reset;
|
|
# the archived rotation-1 record above must remain untouched).
|
|
("buy-open", {"side": "buy", "quoted": {_CYCLE_ITEM: 10_000},
|
|
"filled": {}, "still_open": {_CYCLE_ITEM: 10_000},
|
|
"cancelled_unfilled": {}, "cash_quoted": 2_230_000,
|
|
"spent": 0, "still_committed": 2_230_000, "refunded": 0}),
|
|
]
|
|
|
|
# The canonical complete flip cycle: rotation 1 (buy/collect/sell/collect)
|
|
# plus the archival release and the start of rotation 2.
|
|
_CYCLE_PATH = [f[0] for f in _CYCLE_FRAMES]
|
|
|
|
# Index of the `closed` frame (archived ledger) and the frames around it.
|
|
_CLOSED_IDX = _CYCLE_PATH.index("closed")
|
|
|
|
|
|
def slot_reuse_violations(transitions):
|
|
"""Two-rotation slot-reuse regression (governor 10471).
|
|
|
|
Walks ``_CYCLE_PATH`` through the entry's ``slot_transitions`` and
|
|
validates every ledger frame against both conservation gates. A
|
|
``closed`` state with no outgoing transition (or one that does not
|
|
release to ``free``) strands the physical GE slot after one flip —
|
|
the exact defect this regression exists to forbid. Errors are
|
|
returned as a list of strings.
|
|
"""
|
|
out = []
|
|
for a, b in zip(_CYCLE_PATH, _CYCLE_PATH[1:]):
|
|
if b not in (transitions.get(a) or []):
|
|
out.append(
|
|
f"slot cycle: transition {a} -> {b} is missing — a completed "
|
|
f"flip must end by releasing the physical slot to free "
|
|
f"(archival release closed -> free), otherwise the slot "
|
|
f"performs one flip and then becomes permanently unusable")
|
|
for state, record in _CYCLE_FRAMES:
|
|
rec = dict(record, sub_state=state)
|
|
con = conservation_violations(rec)
|
|
if con:
|
|
out.append(f"slot cycle: conservation fails at '{state}': {con}")
|
|
ph = slot_phase_violations(rec)
|
|
if ph:
|
|
out.append(f"slot cycle: phase gate fails at '{state}': {ph}")
|
|
return out
|
|
|
|
|
|
def archived_ledger_preserved_after_second_buy():
|
|
"""The rotation-1 archived ledger survives rotation 2 intact.
|
|
|
|
``closed`` archives a deep copy of the completed cycle's ledger; when
|
|
the same physical slot is released to free and opens a second buy, the
|
|
archived record must be bit-for-bit unchanged (no loss, duplication,
|
|
or mutation) while the live ledger is a fresh empty record.
|
|
"""
|
|
archived = json.loads(json.dumps(_CYCLE_FRAMES[_CLOSED_IDX][1]))
|
|
archived_state = _CYCLE_FRAMES[_CLOSED_IDX][0]
|
|
live = {k: (dict(v) if isinstance(v, dict) else v)
|
|
for k, v in _CYCLE_FRAMES[-1][1].items()} # rotation-2 buy-open ledger
|
|
if archived != _CYCLE_FRAMES[_CLOSED_IDX][1]:
|
|
return ["slot cycle: archived rotation-1 ledger was MUTATED by rotation 2"]
|
|
if archived_state != "closed":
|
|
return [f"slot cycle: unexpected archived state {archived_state!r}"]
|
|
# The live ledger at rotation-2 buy-open must be a fresh record, not a
|
|
# copy of the archived one: quoted cash/units belong to rotation 2.
|
|
if live.get("cash_quoted") != 2_230_000 or live.get("proceeds_in_box"):
|
|
return ["slot cycle: rotation-2 live ledger is not a fresh record"]
|
|
return []
|
|
|
|
|
|
def ge_lifecycle_errors(rel, data):
|
|
"""GE-flip lifecycle gates (flipping/merchanting entries only):
|
|
|
|
- the 4h buy-limit ledger is distinct from offer expiry: the entry must
|
|
declare a limit_ledger + an independent quote_age_policy;
|
|
- the slot model is per-slot asynchronous: slot_state_machine must
|
|
declare exactly the canonical sub-states, valid transitions, a
|
|
scheduler_iteration, persisted_state, conservation and break_resume;
|
|
'closed' is NOT a sink: it must release the physical slot via the
|
|
archival transition closed -> free, and the committed two-rotation
|
|
reuse regression (slot_reuse_violations) must pass;
|
|
- rates: ceiling_gp_per_hour is the typed economic ceiling and
|
|
0 <= gp_per_hour_low <= gp_per_hour_high <= ceiling.
|
|
"""
|
|
errors = []
|
|
tags = {str(t).lower() for t in data.get("tags", [])}
|
|
if not tags & MARGIN_TAGS:
|
|
return errors
|
|
eco = data.get("economy") or {}
|
|
# --- typed ceiling vs realized bounds ---
|
|
ceil = eco.get("ceiling_gp_per_hour")
|
|
if not isinstance(ceil, (int, float)) or ceil <= 0:
|
|
errors.append(f"{rel}: flipping entries must declare "
|
|
f"economy.ceiling_gp_per_hour (the typed 4h buy-limit "
|
|
f"economic ceiling, distinct from realized rates)")
|
|
return errors
|
|
low, high = eco.get("gp_per_hour_low"), eco.get("gp_per_hour_high")
|
|
for name, val in (("gp_per_hour_low", low), ("gp_per_hour_high", high)):
|
|
if not isinstance(val, (int, float)) or val < 0:
|
|
errors.append(f"{rel}: {name} must be a non-negative realized "
|
|
f"scenario bound")
|
|
if isinstance(low, (int, float)) and isinstance(high, (int, float)) \
|
|
and isinstance(ceil, (int, float)):
|
|
if not (low <= high <= ceil):
|
|
errors.append(
|
|
f"{rel}: realized bounds must nest under the ceiling: "
|
|
f"0 <= gp_per_hour_low {low} <= gp_per_hour_high {high} "
|
|
f"<= ceiling_gp_per_hour {ceil}")
|
|
# --- per-slot asynchronous model ---
|
|
ssm = data.get("slot_state_machine") or {}
|
|
if not isinstance(ssm, dict):
|
|
errors.append(f"{rel}: flipping entries must declare a "
|
|
f"slot_state_machine block (per-slot asynchronous sub-states)")
|
|
return errors
|
|
declared = [str(s) for s in ssm.get("sub_states", [])]
|
|
if sorted(declared) != sorted(SLOT_SUB_STATES):
|
|
errors.append(
|
|
f"{rel}: slot_state_machine.sub_states must be exactly the canonical "
|
|
f"set: {', '.join(SLOT_SUB_STATES)} (got: {', '.join(declared) or 'none'})")
|
|
trans = ssm.get("slot_transitions") or {}
|
|
if not isinstance(trans, dict):
|
|
errors.append(f"{rel}: slot_state_machine.slot_transitions must be a mapping")
|
|
trans = {}
|
|
for from_s, tos in trans.items():
|
|
if from_s not in SLOT_SUB_STATES:
|
|
errors.append(f"{rel}: slot transition from unknown sub-state '{from_s}'")
|
|
for to_s in tos if isinstance(tos, list) else []:
|
|
if to_s not in SLOT_SUB_STATES:
|
|
errors.append(f"{rel}: slot transition '{from_s}' -> unknown "
|
|
f"sub-state '{to_s}'")
|
|
for state in SLOT_SUB_STATES:
|
|
if not trans.get(state):
|
|
errors.append(f"{rel}: slot sub-state '{state}' has no transitions "
|
|
f"— every state must be able to advance; a closed "
|
|
f"slot must release the physical slot via the "
|
|
f"archival closed -> free transition (governor 10471)")
|
|
if list(trans.get("closed") or []) != ["free"]:
|
|
errors.append(f"{rel}: 'closed' must have exactly the archival release "
|
|
f"['free'] — a closed slot with no outgoing transition "
|
|
f"performs one flip and then becomes permanently "
|
|
f"unusable (governor 10471)")
|
|
whens = [str(w) for w in ssm.get("slot_transition_whens", []) or []]
|
|
for w in whens:
|
|
arrow = w.split("->")
|
|
if len(arrow) != 2 or arrow[0].strip() not in SLOT_SUB_STATES \
|
|
or arrow[1].strip().split(":")[0].strip() not in SLOT_SUB_STATES:
|
|
errors.append(f"{rel}: slot_transition_whens entry '{w}' must be "
|
|
f"'from -> to: condition' with canonical sub-states")
|
|
for field in ("scheduler_iteration", "quote_age_policy", "persisted_state",
|
|
"limit_ledger", "conservation", "break_resume"):
|
|
if not str(ssm.get(field, "")).strip():
|
|
errors.append(f"{rel}: slot_state_machine.{field} must be declared")
|
|
# Two-rotation reuse regression (governor 10471): every flipping entry's
|
|
# encoded machine must complete buy/collect/sell/collect, release the
|
|
# physical slot to free, and support a second buy in the same slot.
|
|
errors += [f"{rel}: {e}" for e in slot_reuse_violations(trans)]
|
|
return errors
|
|
|
|
|
|
def run_flip_selftest(verbose=False):
|
|
"""Regression fixtures for the GE floor-tax + GE-flip lifecycle gates
|
|
(merged from PR #7 / main reconciliation); returns error strings."""
|
|
errors = []
|
|
|
|
def check(name, passed):
|
|
if verbose:
|
|
print(f"SELFTEST {'PASS' if passed else 'FAIL'} {name}")
|
|
if not passed:
|
|
errors.append(f"selftest: {name}")
|
|
|
|
fixtures = [
|
|
# name, tags, economy, expect_error
|
|
("fractional-tax flipping entry", ["flipping"],
|
|
{"income_per_cycle": 244, "cost_per_cycle": 223, "net_per_cycle": 16.12}, True),
|
|
# 5000 - floor(5000*0.02) - 3000 = 1900 != 2000: this fixture's
|
|
# economics deliberately do NOT satisfy the flip equation, so the
|
|
# old `ge`-tag scoping would false-positive on it (2000 != 1900).
|
|
("non-margin entry with only 'ge' + 'processing'", ["ge", "processing"],
|
|
{"income_per_cycle": 5000, "cost_per_cycle": 3000, "net_per_cycle": 2000}, False),
|
|
("correctly-floored flipping entry", ["flipping", "merchanting"],
|
|
{"income_per_cycle": 244, "cost_per_cycle": 223, "net_per_cycle": 17}, False),
|
|
# sell 300,000,000 -> uncapped floor tax is 6,000,000; the per-item
|
|
# cap makes it 5,000,000, so the correct net is 1,000,000. The old
|
|
# uncapped rule demanded net=0 and rejected this valid entry.
|
|
("high-value flip above the 5,000,000 GP per-item tax cap",
|
|
["flipping"],
|
|
{"income_per_cycle": 300_000_000, "cost_per_cycle": 294_000_000,
|
|
"net_per_cycle": 1_000_000}, False),
|
|
]
|
|
for name, tags, eco, expect_error in fixtures:
|
|
rel = f"selftest/{name}"
|
|
got_error = ge_floor_tax_error(rel, {"tags": tags, "economy": eco}) is not None
|
|
passed = got_error == expect_error
|
|
if verbose:
|
|
print(f"SELFTEST {'PASS' if passed else 'FAIL'} {name}")
|
|
if not passed:
|
|
errors.append(
|
|
f"selftest: '{name}' expected "
|
|
f"{'an error' if expect_error else 'no error'} but got "
|
|
f"{'an error' if got_error else 'no error'}")
|
|
|
|
# --- per-slot scheduler dispatch: the worked example as a regression ---
|
|
# Governor 10323 finding 3 + owner: reproduce the simultaneous
|
|
# partial-buy / full-buy-fill / no-fill-buy case and prove no
|
|
# unrelated slot is closed or advanced. Under governor 10390 finding 2
|
|
# a FULL buy fill goes to buy-filled-awaiting-collect (assets sit in
|
|
# the GE collection box) — the pass dispatches ge_collect, it never
|
|
# lets the slot sell directly.
|
|
slot_states = {"arrowtips": "buy-open", # partial fill 4,000/10,000 — resting
|
|
"iron": "buy-filled-awaiting-collect", # full fill — ge_collect this pass
|
|
"cosmic": "buy-open"} # no fill, edge positive — resting
|
|
dispatched = {name: scheduler_dispatch(s) for name, s in slot_states.items()}
|
|
ok = dispatched == {"arrowtips": None, "iron": "collect", "cosmic": None}
|
|
check("worked example: partial-buy + full-buy-fill + no-fill slots dispatch only the iron slot to ge_collect; unrelated slots stay untouched",
|
|
ok)
|
|
check("resting slots (buy-open) are never closed or advanced by a pass",
|
|
dispatched.get("arrowtips") is None and dispatched.get("cosmic") is None)
|
|
check("a fully filled buy must pass through buy-filled-awaiting-collect (ge_collect) before any sell",
|
|
scheduler_dispatch("buy-filled-awaiting-collect") == "collect"
|
|
and scheduler_dispatch("sell-filled-awaiting-collect") == "collect"
|
|
and scheduler_dispatch("ready-to-sell") == "sell")
|
|
|
|
# --- side-aware conservation invariants (finding 4) ---
|
|
# BUY balanced snapshot mirroring the worked example t1: 10,000 Rune
|
|
# arrowtips quoted @ 223; 4,000 filled (units in the GE collection
|
|
# box), 6,000 still open on the resting offer; cash 2,230,000 =
|
|
# spent 892,000 + still_committed 1,338,000 + refunded 0.
|
|
buy_partial = {
|
|
"side": "buy",
|
|
"quoted": {"Rune arrowtips": 10_000},
|
|
"filled": {"Rune arrowtips": 4_000},
|
|
"still_open": {"Rune arrowtips": 6_000},
|
|
"cancelled_unfilled": {},
|
|
"cash_quoted": 2_230_000, "spent": 892_000,
|
|
"still_committed": 1_338_000, "refunded": 0,
|
|
}
|
|
check("conservation: BUY side — partial fill splits units into filled + still_open and cash into spent + still_committed (partition sums hold, zero violations)",
|
|
conservation_violations(buy_partial) == [])
|
|
buy_cancelled = dict(buy_partial, still_open={},
|
|
cancelled_unfilled={"Rune arrowtips": 6_000},
|
|
still_committed=0, refunded=1_338_000)
|
|
check("conservation: BUY side — a cancelled partial buy carries filled units + refunded CASH (still_open -> cancelled_unfilled + refunded), zero violations",
|
|
conservation_violations(buy_cancelled) == [])
|
|
phantom_rec = dict(buy_cancelled, refunded={"Rune arrowtips": 6_000})
|
|
check("conservation: BUY side — 'refunded UNITS' on a buy is a phantom (unfilled/cancelled quantity is CASH): violation",
|
|
any("CASH" in v or "invalid for side" in v
|
|
for v in conservation_violations(phantom_rec)))
|
|
sold_on_buy = dict(buy_partial, sold={"Rune arrowtips": 4_000})
|
|
check("conservation: BUY side — a full buy that sells before ge_collect (sold units on a buy ledger) is a violation",
|
|
any("invalid for side" in v for v in conservation_violations(sold_on_buy)))
|
|
buy_cash_bad = dict(buy_partial, still_committed=1_380_000)
|
|
check("conservation: BUY side — cash partition mismatch (spent + still_committed + refunded != cash_quoted) is a violation",
|
|
any("cash quoted" in v for v in conservation_violations(buy_cash_bad)))
|
|
# SELL balanced: 10,000 sold @ 157, proceeds 1,570,000 in the box.
|
|
sell_full = {
|
|
"side": "sell",
|
|
"quoted": {"Iron bar": 10_000},
|
|
"sold": {"Iron bar": 10_000},
|
|
"still_open": {}, "returned_unsold": {},
|
|
"proceeds_in_box": 1_570_000, "cash_collected": 0,
|
|
}
|
|
check("conservation: SELL side — full sell partitions sold + still_open + returned_unsold, proceeds in the box (zero violations)",
|
|
conservation_violations(sell_full) == [])
|
|
sell_partial = dict(sell_full, sold={"Iron bar": 4_000},
|
|
still_open={"Iron bar": 6_000},
|
|
proceeds_in_box=628_000)
|
|
check("conservation: SELL side — a partial sell legitimately spans sold + still_open (zero violations)",
|
|
conservation_violations(sell_partial) == [])
|
|
sell_dup = dict(sell_full, sold={"Iron bar": 6_000},
|
|
still_open={"Iron bar": 3_000},
|
|
returned_unsold={"Iron bar": 1_000})
|
|
check("conservation: SELL side — units both in a live offer AND returned (impossible pair) is a violation",
|
|
any("both still_open and returned_unsold" in v
|
|
for v in conservation_violations(sell_dup)))
|
|
over_rec = dict(buy_partial, filled={"Rune arrowtips": 7_000})
|
|
check("conservation: over-reported buckets break the quoted partition (sum 13,000 != quoted 10,000)",
|
|
any("quoted 10000 !=" in v for v in conservation_violations(over_rec)))
|
|
neg_rec = dict(sell_full, sold={"Iron bar": -1})
|
|
check("conservation: a negative bucket is a violation",
|
|
any("negative" in v for v in conservation_violations(neg_rec)))
|
|
|
|
# --- phase gates (finding 4: assets cannot be reused/closed pre-collect) ---
|
|
check("phase gate: a full buy that sells before ge_collect (buy-filled-awaiting-collect with sold units) is rejected",
|
|
any("cannot sell before ge_collect" in v
|
|
for v in slot_phase_violations(dict(buy_partial, sub_state="buy-filled-awaiting-collect",
|
|
filled={"Rune arrowtips": 10_000}, still_open={},
|
|
sold={"Rune arrowtips": 10_000}))))
|
|
check("phase gate: a full sell that closes before proceeds collection (closed with proceeds_in_box > 0) is rejected",
|
|
any("before proceeds collection" in v
|
|
for v in slot_phase_violations(dict(sell_full, sub_state="closed"))))
|
|
check("phase gate: a sell-filled-awaiting-collect slot with sold units but no proceeds_in_box is rejected",
|
|
any("no proceeds_in_box" in v
|
|
for v in slot_phase_violations(dict(sell_full, sub_state="sell-filled-awaiting-collect",
|
|
proceeds_in_box=0))))
|
|
check("phase gate: a closed slot that has been fully collected (no proceeds_in_box, no cancelled/returned units) passes",
|
|
slot_phase_violations(dict(sell_full, sub_state="closed",
|
|
proceeds_in_box=0, cash_collected=1_570_000)) == [])
|
|
|
|
# --- 4h buy-limit ledger vs offer expiry (finding 1) ---
|
|
check("buy limit: a requote within the remaining capacity is allowed (4,000 used of 10,000 -> 6,000)",
|
|
buy_capacity_ok(limit_used=4000, limit=10000, qty_requested=6000))
|
|
check("buy limit: a requote beyond the remaining capacity is blocked (6,001 > 6,000 remaining)",
|
|
not buy_capacity_ok(limit_used=4000, limit=10000, qty_requested=6001))
|
|
check("buy limit: a cancelled offer does NOT renew the limit (10,000 used of 10,000 -> any requote blocked before reset)",
|
|
not buy_capacity_ok(limit_used=10000, limit=10000, qty_requested=1))
|
|
|
|
# --- structured lifecycle gates (findings 1-5 + governor 10390) ---
|
|
margin_tags = ["flipping"]
|
|
ssm_ok = {
|
|
"sub_states": SLOT_SUB_STATES,
|
|
"slot_transitions": {
|
|
"free": ["buy-open"],
|
|
"buy-open": ["buy-filled-awaiting-collect",
|
|
"buy-cancelled-awaiting-collect"],
|
|
"buy-filled-awaiting-collect": ["ready-to-sell", "free"],
|
|
"buy-cancelled-awaiting-collect": ["ready-to-sell", "ready-to-requote", "free"],
|
|
"ready-to-sell": ["sell-open"],
|
|
"sell-open": ["sell-filled-awaiting-collect",
|
|
"sell-cancelled-awaiting-collect"],
|
|
"sell-filled-awaiting-collect": ["closed"],
|
|
"sell-cancelled-awaiting-collect": ["ready-to-requote", "closed"],
|
|
"ready-to-requote": ["buy-open", "sell-open", "free"],
|
|
"closed": ["free"], # archival release: physical slot reusable (governor 10471)
|
|
},
|
|
"slot_transition_whens": [
|
|
"free -> buy-open: quote placed",
|
|
"buy-open -> buy-filled-awaiting-collect: offer FULLY filled — units sit in the GE collection box until ge_collect",
|
|
"buy-open -> buy-cancelled-awaiting-collect: abort on stale edge (margin no longer positive) or strategy reallocation — never on the 4h limit reset",
|
|
"buy-filled-awaiting-collect -> ready-to-sell: ge_collect withdrawn units; sell edge positive",
|
|
"buy-filled-awaiting-collect -> free: ge_collect withdrawn; margin gone, slot released",
|
|
"buy-cancelled-awaiting-collect -> ready-to-sell: collected, sell edge positive",
|
|
"buy-cancelled-awaiting-collect -> ready-to-requote: collected; margin positive and capacity remains",
|
|
"buy-cancelled-awaiting-collect -> free: collected, full cash refund, slot freed",
|
|
"ready-to-sell -> sell-open: sell offer placed",
|
|
"sell-open -> sell-filled-awaiting-collect: sell FULLY filled — proceeds sit in the box until ge_collect",
|
|
"sell-open -> sell-cancelled-awaiting-collect: abort on stale edge or strategy reallocation",
|
|
"sell-filled-awaiting-collect -> closed: proceeds collected and ledger reconciled + ARCHIVED",
|
|
"sell-cancelled-awaiting-collect -> ready-to-requote: collected, requote",
|
|
"sell-cancelled-awaiting-collect -> closed: collected, ledger archived, slot closed (exit taken)",
|
|
"closed -> free: archival release — completed cycle's ledger stays archived; the physical GE slot is reusable for the next flip",
|
|
"ready-to-requote -> buy-open: requoted buy",
|
|
"ready-to-requote -> sell-open: requoted sell",
|
|
"ready-to-requote -> free: abandoned",
|
|
],
|
|
"scheduler_iteration": "one pass over all slots; dispatch pending actions only",
|
|
"quote_age_policy": "offers rest while the scanned margin stays positive; aborted only on a stale edge or strategy reallocation — the 4h limit reset never cancels an offer",
|
|
"persisted_state": "per-slot record: sub-state + side-aware quoted/filled/sold/collected buckets",
|
|
"limit_ledger": "limit_used + first_fill_ts + limit_resets_at, independent of offer expiry; cancellation never renews it",
|
|
"conservation": "side-aware: buy quoted units = filled + still_open + cancelled_unfilled and acquired items = filled only; sell quoted = sold + still_open + returned_unsold",
|
|
"break_resume": "breaks between passes; state persists in the per-slot record",
|
|
}
|
|
flip_ok = {"tags": margin_tags, "economy": {
|
|
"income_per_cycle": 244, "cost_per_cycle": 223, "net_per_cycle": 17,
|
|
"ceiling_gp_per_hour": 149500, "gp_per_hour_low": 102600,
|
|
"gp_per_hour_high": 138800}, "slot_state_machine": ssm_ok}
|
|
check("flip lifecycle: ceiling + nested realized bounds + canonical 10-state slot machine passes",
|
|
ge_lifecycle_errors("ok.yaml", flip_ok) == [])
|
|
errs = ge_lifecycle_errors("bad.yaml", {"tags": margin_tags, "economy": {
|
|
"income_per_cycle": 244, "cost_per_cycle": 223, "net_per_cycle": 17,
|
|
"ceiling_gp_per_hour": 149500, "gp_per_hour_low": 160000,
|
|
"gp_per_hour_high": 138800}})
|
|
check("flip lifecycle: realized low above the ceiling is rejected (bounds must nest)",
|
|
any("nest" in e for e in errs))
|
|
errs = ge_lifecycle_errors("bad2.yaml", {"tags": margin_tags, "economy": {
|
|
"income_per_cycle": 244, "cost_per_cycle": 223, "net_per_cycle": 17,
|
|
"gp_per_hour_low": 0, "gp_per_hour_high": 138800}})
|
|
check("flip lifecycle: missing typed ceiling field is rejected",
|
|
any("ceiling_gp_per_hour" in e for e in errs))
|
|
errs = ge_lifecycle_errors("bad3.yaml", dict(flip_ok, slot_state_machine=dict(
|
|
ssm_ok, sub_states=["free", "buy-open"])))
|
|
check("flip lifecycle: non-canonical sub-state set is rejected",
|
|
any("canonical" in e for e in errs))
|
|
errs = ge_lifecycle_errors("bad4.yaml", dict(flip_ok, slot_state_machine=dict(
|
|
ssm_ok, slot_transitions={"free": ["buy-open"],
|
|
"buy-open": ["ready-to-sell",
|
|
"buy-cancelled-awaiting-collect"]},
|
|
slot_transition_whens=ssm_ok["slot_transition_whens"][:4])))
|
|
check("flip lifecycle: a sub-state without transitions (ready-to-sell missing) is rejected",
|
|
any("no transitions" in e for e in errs))
|
|
errs = ge_lifecycle_errors("bad5.yaml", dict(flip_ok, slot_state_machine=dict(
|
|
ssm_ok, slot_transitions=dict(ssm_ok["slot_transitions"], closed=[]))))
|
|
check("flip lifecycle: a 'closed' sink (no archival release) is rejected — the physical slot would perform one flip and strand",
|
|
any("archival release" in e for e in errs))
|
|
|
|
# --- slot reuse through rotations (governor 10471) ---
|
|
check("slot cycle: the archival release closed -> free is a dispatched scheduler action",
|
|
scheduler_dispatch("closed") == "release")
|
|
check("slot reuse: one full buy/collect/sell/collect lifecycle completes and the SAME physical slot opens a second buy (two-rotation walk passes)",
|
|
slot_reuse_violations(ssm_ok["slot_transitions"]) == [])
|
|
check("slot reuse: the rotation-1 archived ledger survives rotation 2 intact (no loss, duplication, or mutation)",
|
|
archived_ledger_preserved_after_second_buy() == [])
|
|
sink_trans = dict(ssm_ok["slot_transitions"], closed=[])
|
|
check("slot reuse: a machine whose closed has no outgoing transition FAILS the two-rotation regression (one flip, then permanently unusable)",
|
|
any("permanently unusable" in v
|
|
for v in slot_reuse_violations(sink_trans)))
|
|
closed_no_free = dict(ssm_ok["slot_transitions"], closed=["ready-to-sell"])
|
|
check("slot reuse: a closed that does not release to free FAILS the two-rotation regression",
|
|
any("closed -> free" in v
|
|
for v in slot_reuse_violations(closed_no_free)))
|
|
|
|
return errors
|
|
|
|
|
|
def main():
|
|
global STALE_DAYS
|
|
if "--stale-days" in sys.argv:
|
|
STALE_DAYS = int(sys.argv[sys.argv.index("--stale-days") + 1])
|
|
|
|
errors, warnings = [], []
|
|
if "--selftest" in sys.argv:
|
|
errors += run_selftest(verbose=True)
|
|
errors += run_flip_selftest(verbose=True)
|
|
print(f"RESULT: selftest, {len(errors)} errors, 0 warnings")
|
|
return 1 if errors else 0
|
|
|
|
# The fixes themselves are gated: both regression suites run on every
|
|
# invocation (mining model + GE flip lifecycle), not just --selftest.
|
|
errors += run_selftest(verbose=False)
|
|
errors += run_flip_selftest(verbose=False)
|
|
entries = load_entries()
|
|
if not entries:
|
|
print("ERROR: no codex entries found under codex/")
|
|
return 1
|
|
|
|
ids = {}
|
|
today = datetime.date.today()
|
|
|
|
for path in entries:
|
|
rel = str(path.relative_to(ROOT))
|
|
try:
|
|
data = yaml.safe_load(path.read_text())
|
|
except yaml.YAMLError as e:
|
|
errors.append(f"{rel}: YAML parse error: {e}")
|
|
continue
|
|
|
|
# 1. schema
|
|
v = jsonschema.Draft7Validator(SCHEMA)
|
|
for err in sorted(v.iter_errors(data), key=lambda e: list(e.path)):
|
|
loc = "/".join(str(p) for p in err.path) or "(root)"
|
|
errors.append(f"{rel} [{loc}]: {err.message}")
|
|
if errors and errors[-1].startswith(rel):
|
|
# schema already broke; cross-checks on a broken doc are noise
|
|
continue
|
|
|
|
eid = data.get("id", rel)
|
|
if eid in ids:
|
|
errors.append(f"{rel}: duplicate entry id '{eid}' (also in {ids[eid]})")
|
|
ids[eid] = rel
|
|
|
|
# 2. state machine consistency
|
|
sm = data.get("state_machine", {})
|
|
states = sm.get("states", {})
|
|
declared = set(states)
|
|
terminals = set(sm.get("terminal", []))
|
|
for sname, sdef in states.items():
|
|
if sname not in terminals and not sdef.get("next"):
|
|
errors.append(f"{rel}: non-terminal state '{sname}' has no 'next'")
|
|
for nxt in sdef.get("next", []):
|
|
if nxt not in declared:
|
|
errors.append(f"{rel}: state '{sname}' next->'{nxt}' not declared")
|
|
if sm.get("initial") not in declared:
|
|
errors.append(f"{rel}: initial state '{sm.get('initial')}' not declared")
|
|
for t in sm.get("transitions", []):
|
|
if t["from"] not in declared:
|
|
errors.append(f"{rel}: transition from '{t['from']}' not declared")
|
|
if t["to"] not in declared:
|
|
errors.append(f"{rel}: transition to '{t['to']}' not declared")
|
|
for term in sm.get("terminal", []):
|
|
if term not in declared:
|
|
errors.append(f"{rel}: terminal '{term}' not declared")
|
|
|
|
# one-cast worked-example regression (owner guidance 2026-08-28,
|
|
# PR #8): monotonic break/restock counters, scoped to the one-cast model
|
|
errors += alch_worked_example_regression(rel, data, path.read_text())
|
|
|
|
# loss-reserve direction + fill-price GP bound regression (owner
|
|
# guidance 2026-08-29 for governor 10361, PR #8), scoped to
|
|
# low-alch-members
|
|
errors += alch_accounting_regression(rel, data, path.read_text())
|
|
|
|
# action id/step uniqueness
|
|
a_ids = [a["id"] for a in data["actions"]]
|
|
a_steps = [a["step"] for a in data["actions"]]
|
|
if len(a_ids) != len(set(a_ids)):
|
|
errors.append(f"{rel}: duplicate action ids")
|
|
if len(a_steps) != len(set(a_steps)):
|
|
errors.append(f"{rel}: duplicate action step names")
|
|
|
|
# 2b. structured mining-model gates (pickaxe gates + run-mode contract)
|
|
errors += mining_model_errors(rel, data)
|
|
|
|
# GE-margin floor-tax arithmetic (see ge_floor_tax_error): scoped to
|
|
# the unambiguous margin tags flipping/merchanting. The generic `ge`
|
|
# tag alone must not gate this rule — alchemy/processing/procurement
|
|
# entries can carry `ge` with income unrelated to a taxed GE resale.
|
|
err = ge_floor_tax_error(rel, data)
|
|
if err:
|
|
errors.append(err)
|
|
# GE-flip lifecycle gates (per-slot async model, 4h limit ledger vs
|
|
# offer expiry, typed ceiling vs realized scenario bounds).
|
|
errors += ge_lifecycle_errors(rel, data)
|
|
|
|
# 3. staleness / research TODOs
|
|
if data.get("status") == "verified":
|
|
try:
|
|
vdate = datetime.date.fromisoformat(data["verified"])
|
|
age = (today - vdate).days
|
|
if age > STALE_DAYS:
|
|
warnings.append(
|
|
f"{rel}: status=verified but facts are {age}d old "
|
|
f"(> {STALE_DAYS}d) — re-verify or drop to status:stale")
|
|
except ValueError:
|
|
pass
|
|
for line in data.get("best_practice", {}).get("equipment", []) + \
|
|
data.get("best_practice", {}).get("techniques", []):
|
|
if str(line.get("source", "")).startswith("researched"):
|
|
warnings.append(
|
|
f"{rel}: best_practice '{line.get('item') or line.get('name')}' "
|
|
f"carries a 'researched' source — citation TODO, file follow-up")
|
|
|
|
# report
|
|
for w in warnings:
|
|
print(f"WARN {w}")
|
|
for e in errors:
|
|
print(f"ERROR {e}")
|
|
print(f"RESULT: {len(entries)} entries, {len(errors)} errors, {len(warnings)} warnings")
|
|
return 1 if errors else 0
|
|
|
|
|
|
if __name__ == "__main__":
|
|
sys.exit(main())
|