12 Commits

Author SHA1 Message Date
SirStone 7632aaba06 docs: record the aim-capture blind spot - aim_fire only logs shots that passed setFire
j178 flagged it and it is real: the capture cannot show WHY a shot did not
happen (gun still hot, turret not aligned). A missing aim_fire record is
ambiguous, not a refusal. Docs only, no code change. Adds the TR_CAPTURE_AIM
row + a 'Known limitations' note to docs/env_reference.md section 8, and a
two-line pointer next to the knob in .env.example.
2026-09-27 18:53:59 +02:00
SirStone 208f4a9092 j177: aim capture - log what the model BELIEVED, not what it did
j176 could not attribute the 11.9 deg aim error at 450+ px: the corpus had
no gun id and no bot-side belief, so staleness was an inverse (unidentifiable)
problem and a good gun was indistinguishable from a bad one. Both are cheap to
log and impossible to recover later.

New default-off knob TR_CAPTURE_AIM (presence-only). It appends TWO record
kinds to the EXISTING TR_RECORD_WORLDSTATE file:

  aim_scan - one per onScannedBot, written BEFORE the tracker update, so it is
    the pre-update belief by construction: tick, raw scanned values
    (ex,ey,eh,es,ee), our own state (sx,sy,sh,ss), the gun in force, the
    PREVIOUS belief (bx,by,bh,bs,blst), the scan parity age = tick - blst,
    and the radar-lock context (rlock, rdir, lbear, boff).
  aim_fire - one per real shot: gun, power, the aim angle handed to setFire,
    the turret angle and the signed turret error, gunHeat, the predicted
    intercept (ax,ay) and implied TOF, and the exact WorldState the predictor
    consumed (ex,ey,eh,es,ee,sx,sy) with the tick it came from (lst).

Row builders live in a new pure module src/aim_capture.nim - no bot API, no
env reads - so the offline guard test and the live bot go through the SAME
builders and a field the test proves present is a field the bot writes.
Per-tick world-state rows also gain a `gun` id. offline_range.nim skips
aim_* lines (they carry no `ex`), so the annotations are inert to the replay.
No aim model changed.

Knob registered in env_report.nim (context field, effective-value emit) and
knownEnvNames(); documented in .env.example. Defaults OFF, diagnostic only,
never live-tested.

Verification (no battle, no Java, no server, no GUI):
  - default parity: per-gun shots/hits over 20026 ticks of
    tr_drussgt_vs_modularbot.jsonl byte-for-byte identical to the golden
    generated from the PRE-CHANGE tree (git archive 55e92bc); the golden was
    regenerated from that pre-change tree and re-diffed, so it is not
    self-referential. Boot [env] block of the pre- and post-change binaries is
    identical except pid/cmdline/build line and the new knob's own line.
  - test_aim_capture: ALL PASS (every aim_scan/aim_fire key present, plus the
    annotation-inertness replay).
  - guards: test_tfil_commit_env 159/0, test_env_report 25/0,
    test_tfil_ring_weights 24/0, test_vbullet_draw 30/0.
  - .env.example round-trip (env_report via the j172 harness): 210 effective
    values + 70 [x]/[modules] lines, 0 diffs, 0 dropped keys, 0 warnings.
  - clean `git archive HEAD` + nim c -d:release: [SuccessX].
2026-09-27 18:44:24 +02:00
pi 55e92bc5e0 docs: the range-vs-approach ceiling - melee unavailable vs DrussGT, the 16 deg is a lead-model number, pre-multiply premise dead 2026-09-27 15:05:14 +02:00
SirStone 486e2a69c6 docs(env): 6-block env reference + .env.example, every claim traceable
Rewrites docs/env_reference.md and ModularBot_garage/.env.example so a reader
can act on the file without re-deriving anything, and so every claim in it
can be checked.

WHAT
  177 knobs documented across a 6-block format:
  WHAT / VALUES / STATUS / GOTCHA / TRY. Values are the built-in defaults,
  so `.env.example` is behaviourally identical to a clean run. No default
  value changed anywhere; the only added key is TR_FIRE_LAG=0, which is real
  (fire_tracker.nim:164).

WHY (traceability)
  Every STATUS line now cites the job or commit behind the claim it makes.
  A documented default is only useful if you can tell whether it was
  verified or copied by hand; the citation makes that decidable without
  re-running the experiment.

  The presence-gated list was wrong: it claimed 7 knobs, the true number is
  10. Three knobs were also wrongly labelled presence-gated; they are
  value-based and are now documented as such.

  All 31 `# TRY:` example values were checked against the code that parses
  them, so no example is rejected when copied.

VERIFICATION
  Round-trip (j172 probe: printEnvReport clean vs .env.example applied
  through the repo's own env_dotenv loader, reports diffed): 0 mismatches,
  0 warnings, 0 dropped keys (177 in file, 177 seen). Re-run after this
  commit's comment edit, unchanged.
  test_tfil_commit_env 159 PASS / 0 FAIL
  test_env_report        25 PASS / 0 FAIL
  test_tfil_ring_weights 24 PASS / 0 FAIL (earlier in the series)

Also drops the stale "snapshot of commit 5e32ec1" pin from .env.example: a
pinned hash goes stale the moment the next commit lands, which makes the
"regenerate when a default changes" instruction worse than none. The line
now just says the values mirror current defaults.
2026-09-27 14:52:16 +02:00
SirStone 940fa44631 docs(env_reference): the two j165 ring knobs were MISSING entirely
TR_TFIL_RING_COMMIT_ARRIVAL and TR_TFIL_RING_NOREV_SPEED were in .env.example
and in the boot env report but had zero mentions in this file - the trap this
document exists to prevent. Added to the movement table, and the 'defaults read
at' line pointer corrected from the stale 116-133 to the real 188-196 / 173-175
(j165 shifted them). Both are labelled NEVER LIVE-TESTED.
2026-09-27 14:00:26 +02:00
SirStone 0df7763765 merge j160-ramfloor: the energy-reserve FIRING FLOOR + ENEMY-EXHAUSTION ram trigger (default off)
TR_RAM_FLOOR_ENERGY and TR_RAM_ENEMY_ENERGY, both default 0.0, plus
common_libs/movements/ram_decision.nim, the fire gate in ModularBot.nim, two
offline measure_* tools and the A/B record.

The j163 A/B (450 runs/arm, 0 env mis-set) is a clean negative: round-win
40.30% -> 39.70%, sign-flip p=0.7676, MDE 4.73 pp. DO NOT ADOPT;
TR_RAM_FLOOR_ENERGY stays 0.0. The mechanism barely fired (0.04% of ticks, not
the 9.6% the offline ruler predicted), so the null does not prove the knob
inert.

# Conflicts:
#	common_libs/tests/test_tfil_commit_env.nim
2026-09-27 14:00:06 +02:00
SirStone 07866c99bd merge j165-ring-commit: port tfil's arrival commitment to tfil_ring (default off)
TR_TFIL_RING_COMMIT_ARRIVAL (default off) and TR_TFIL_RING_NOREV_SPEED
(default 0.0), plus the tfil_ring replay ruler and its default-parity golden
fixture. Offline parity is byte-for-byte over 20,026 ticks with the knobs unset.
Never live-tested: the first live test of the_floor_is_lava_ring.nim under these
knobs should be a real experiment, not a formality.
2026-09-27 13:55:22 +02:00
SirStone 51bfa57067 j163: RESULT - the firing floor is a clean negative, and the offline energy corpus missed the live game by 200x
450 runs/arm x 2 arms (15 opponents x 30 runs x 3 rounds, conc=6, 0 failed,
0 never started, 0 env mis-set), frozen binary d9a39c3b8472, TR_MOVEMENT=tfil.
Round-win 40.30% -> 39.70% (-0.59 pp, CI -3.90..+2.72, sign-flip exact-2^15
p=0.7676, MDE 4.73 pp); wins/run 0.200 -> 0.182 (MDE 0.1420); damage/run
113.65 -> 112.70 (p=0.5298, MDE 4.19). Deviation disclosed: 30 runs/opponent
instead of 42 (throughput 14-22 runs/min vs 22.7-23.2 assumed); full 15-opponent
panel and both arms kept, runs reduced.

Headline is the mechanism failure: firing was suppressed on 0.04% of ticks,
not the 9.6% the offline ruler predicted (~200x smaller); only 4.8% of shots
happen in the low-energy zone and the floor removed 14% of those; rounds ending
at self energy <=0 were 40.6% live vs 61.2% implied by the offline corpus;
median self energy at death 14.1 -> 15.5. The pre-registered 'we cannot measure
the damage cost directly' call was correct.

DO NOT ADOPT. TR_RAM_FLOOR_ENERGY stays 0.0, do not re-test. The null does not
prove the knob inert - the mechanism barely fired.
2026-09-27 13:55:19 +02:00
SirStone fe77056459 j165: port tfil's arrival commitment to tfil_ring, default off
The_floor_is_lava_ring carried raw commitTicks with no arrival guard and no
no-reversal guard. Port the behaviour of tfil's j144 fix on RING-SPECIFIC env
names (TR_TFIL_RING_COMMIT_ARRIVAL, TR_TFIL_RING_NOREV_SPEED) so the two forks
never share a namespace. Both default OFF: with them unset the ring mover is
byte-for-byte the pre-change mover over the whole 20026-tick fixture replay
(golden generated from git show HEAD:..., checked by tfil_ring_replay.nim).

Structural differences from tfil, all noted in the code:
  * ring has no TfilTileReplanMode - the tile-crossing cancel is unconditional
    self-tile, so the arrival guard is just 'not TfilRingCommitArrival'.
  * ring has no replanReason enum, so the arrival/danger/expiry outcomes are a
    local bool; the default-off path keeps ring's original dec/no-dec exactly.
  * ring's MinCommitTicks is 0 (tfil's is 5), so the arrival branch is evaluated
    from the first committed tick. Left as is: changing it would change the
    default path.
  * ring's ScoredTile carries no turnDeg, so the no-reversal offsets are
    computed by ringTileOffTravel at the pick site.
TR_TFIL_COMMIT_MARGIN (tfil's hysteresis) is deliberately NOT ported: it is a
third knob, outside the two named, and inert at its 0.0 default.

No other tfil mechanism touched: no turn-cost tiebreak, TR_TFIL_ARRIVE_TICKS,
TR_FIRE_LAG, heat-field override, corridor bound, hold, or geometry weighting.
No default changed anywhere.
2026-09-27 13:27:02 +02:00
SirStone 6cfb1698f1 j163: PRE-REGISTER the 2-arm firing-floor A/B (A floor=0 vs B floor=5) before any battle 2026-09-27 12:59:51 +02:00
SirStone 64e23e29d1 j162: measure whether the bot ever runs out of energy (offline, no battles)
Decisive measurement for the j160 firing floor, on the recorded closed-loop
corpus (8149 recordings / 35163 rounds / 34.46M ticks, state only):

* 61.2% of rounds end with self energy crossing 0. Energy at death: median
  0.83, p90 8.90, max 24.83 -- the bot dies BROKE, so the floor's premise is
  real. Time at energy<=0 is a median of 1 tick: the round ends on the
  crossing tick, there is no recoverable disabled window.
* Reserve that would have absorbed the killing blow: median 0.40, p75 2.00,
  p90 6.90.
* Cannot climb back out: at energy<=5 the next tick brings a landed hit 0.232%
  of the time and death 0.663% (2.9x). At <=20 recovery is 2x more likely,
  which is why a floor at 20 is the wrong value.
* Cost: floor 5 blocks 9.58% of ticks, median run 53, mean run 118, banking
  ~9.9 energy against a p75 overshoot of 2.0.
* Measured caveat: the recorded ledger closes exactly (residual -0.00 over
  35065 rounds), so these captures do NOT charge firepower cost; the cost
  column is derived from the game rules, and the landed-hit power (mode 1.0,
  mean 1.42) is what sets the bracket.

Honest read: worth an A/B, materially different in magnitude from the geometry
arm (smaller damage cost, stronger and directly measured safety claim), so NOT
the clean 'protects against nothing' negative.

docs/ram_floor_exhaustion_ab.md: replaces the draft with the measurement plus a
re-sized A/B proposal (4 arms, 42 runs/opponent/arm, 630 runs/arm for MDE 0.10
wins/run, ~2.7 h at the measured 23 battles/min). NOT RUN -- no battle, server
or GUI was started. Both knobs remain default 0.0.
2026-09-27 12:58:14 +02:00
SirStone 23bce2dad5 j160 (default-off): the energy-reserve FIRING FLOOR + ENEMY-EXHAUSTION ram trigger
TR_RAM_FLOOR_ENERGY (0.0 = off): at/below this self energy we start no NEW
shot, holding back the reserve for a final ram exchange. Justified by the only
energy gain in the game being +3*power per bullet hit LANDED, so not firing
denies the enemy its only refill. Blocks only NEW shots (gunHeat already gates
committed ones) and is bypassed while ramming.

TR_RAM_ENEMY_ENERGY (0.0 = off): last-scanned enemy energy <= this -> ram
mode. Enemy energy IS observable (ScannedBotEvent.energy, schemas.nim:306),
1-8 ticks stale. This is the shipped finisher with its energy tolerance
promoted to a knob, keeping the self>enemy surplus guard because RAM_DAMAGE
0.6 applies to BOTH bots on every contact tick.

Open-loop measurement (measure_ramfloor_energy, 8149 recordings / 29871
rounds / 33.8M ticks): 'both low' is COMMON (10.4% of ticks below 20, 15.1%
below 25) but neither side goes low first (enemy 52.7% / us 47.3%), and the
owner's literal trigger - enemy so low it cannot fire (energy <= 1.95) - is
only 2.5% of ticks, 1.1% while we are healthy.

Guards 136 -> 147 in test_tfil_commit_env.nim, all green. A/B PRE-REGISTERED
in docs/ram_floor_exhaustion_ab.md and NOT RUN.
2026-09-27 12:46:46 +02:00
18 changed files with 22723 additions and 71 deletions
+552 -55
View File
@@ -10,19 +10,187 @@
# Every value below IS the built-in default, so running the bot with this file
# is identical to a clean run with no file at all. Delete a line (or comment it
# out with #) and that knob falls back to the built-in default. An inline
# `# comment` after a value is fine — the loader strips it.
# `# comment` after a value is fine — the loader strips it (a `#` that follows
# a space starts the comment; a `#` glued to the value, like `x#y`, is data).
#
# A few switches are PRESENCE-only (`existsEnv`): for those, OFF means the line
# is absent, so they are shown commented out. Writing `=0` would still turn them
# ON.
# These values mirror the current defaults, not a frozen snapshot of one commit.
# Regenerate this file whenever a default changes, or it will start lying.
# ═════════════════════════════════════════════════════════════════════════════
# 1. ONE EXPERIMENT, END TO END
# ═════════════════════════════════════════════════════════════════════════════
#
# SNAPSHOT of the code at commit 5e32ec1. Regenerate this file whenever a default
# changes, or it will start lying.
# Pick ONE knob. Here the example is TR_TFIL_ARRIVE_TICKS, but the shape is the
# same for every knob in this file.
#
# # 1. write the arm. In ModularBot_garage/.env, change ONE line:
# # TR_TFIL_ARRIVE_TICKS=15.0
# # A per-run file is better than editing .env, because it is how you
# # GUARANTEE the arm: whatever else is in .env or in your shell, this
# # file is the one that is applied.
# cat > /tmp/arm_arrive15.env <<'EOF'
# TR_MOVEMENT=tfil
# TR_TFIL_ARRIVE_TICKS=15.0
# EOF
#
# # 2. RESTART THE BOT. Env is read ONCE, at boot (module init). Editing
# # .env while the bot runs changes nothing. There is no live reload.
# # (Two exceptions read lazily on first use: TR_PATTERN_RAD_* and a few
# # TR_TMHORIZON_* — do not rely on either.)
# cd ModularBot_garage && ./ModularBot.sh # or restart the GUI
#
# # 3. CONFIRM IT TOOK EFFECT, before you read a single result line.
# # `source: .env` = your file was applied. `source: default` = it was not.
# grep '^\[env\]' /tmp/modularbot_stdout.log | grep -E 'env file|ARRIVE_TICKS'
# # [env] env file: /tmp/arm_arrive15.env (source: TR_ENV_FILE)
# # [env] TR_TFIL_ARRIVE_TICKS = 15.0 (source: .env)
# # A value showing `(source: default)` means YOUR FILE NEVER REACHED THE BOT.
#
# # 4. point at the file instead of copying it into .env:
# TR_ENV_FILE=/tmp/arm_arrive15.env ./out/ModularBot
# ./out/ModularBot --env-file /tmp/arm_arrive15.env
# # This is what an A/B run does: one frozen binary, one env file per arm.
# # A file you ASKED for and that does not exist stops the bot with an error
# # (it never silently falls back); a missing default .env is silent.
#
# # 5. the module inventory, when you want to know what is on at all:
# grep '^\[modules\]' /tmp/modularbot_stdout.log
#
# ═════════════════════════════════════════════════════════════════════════════
# 2. SAFE TO EXPERIMENT WITH RIGHT NOW
# ═════════════════════════════════════════════════════════════════════════════
#
# The honest list is SHORT. After the recent campaign most experimental knobs
# are either never live-tested or already measured null/harmful, and this file
# says so on every one of them. These four are safe in the sense that they
# either cannot change a decision, or are the ones a measurement actually
# supports.
#
# TR_GEO_DEBUG=on Draw-only: the candidate-tile geometry overlay.
# Watch: the circle on the two tanks and each
# heading line. Good: you can SEE the tile the
# picker chose. Cannot change any decision.
# TR_VBULLET_DEBUG=1 Draw-only: each admitted gun's virtual bullets.
# TR_VBULLET_DEBUG_GUN=all
# Watch: travelled path, aim ring, miss vector.
# Good: you can see the signal the selector ranks
# on. Also draw-only. Needs a gun in the rack.
# TR_TFIL_DIAG=on Observability only, on the tfil mover. Fills the
# per-pick LOSS HISTOGRAM. Watch: the tfil pick log
# line. Good: the sReach/sCool/sSafe/sCand counts
# tell you where tiles are lost. Provably does not
# move a single command (guard-tested).
# TR_MOVEMENT=tfil The long-shipped mover, as an explicit override.
# Watch: nothing to compare against — it is the
# same engine you had before j119. Good: you are
# reproducing an older, documented behaviour. Only
# do this together with the tfil knobs below.
#
# Anything else on this list is a MEASUREMENT, not a free change: read its
# STATUS line before you type it.
#
# ═════════════════════════════════════════════════════════════════════════════
# 3. ALREADY REJECTED OR MEASURED NULL — WITH THE NUMBER
# ═════════════════════════════════════════════════════════════════════════════
#
# TR_TFIL_GEO_MODE=both-rej REJECTED live, 420 battles, 15-opponent panel.
# TR_TFIL_GEO_TAU=60 damage/run -8.83, p(sign-flip) = 0.0061,
# Wilcoxon p = 0.011. Round wins null.
# Docs: docs/tfil_geo_ab.md. DO NOT re-run it.
# TR_RAM_FLOOR_ENERGY=5 CLEAN NULL, 900 battles, 450 runs/arm.
# -0.018 wins/run, p(sign-flip) = 0.7676, under
# a 0.1420 wins/run MDE. Docs:
# docs/ram_floor_exhaustion_ab.md. DO NOT re-run
# it — the mechanism fired on 0.04% of ticks, so
# more runs buy resolution on an effect that is
# not there.
# TR_RAM_FLOOR_ENERGY=10/20 MEASURED COSTLY OFFLINE (24.7% of ticks blocked
# at 20) and the live zone they guard is almost
# empty: only 4.8% of shots are ever taken below
# 10 energy. Do not go above 5.
# TR_TMHORIZON_WINDOW=150 MEASURED HARMFUL live: 26.5% round wins vs 49.0%
# for the shipped rack, p = 0.036. Keep 0.
# TR_POWER_POLICY=0 MEASURED HARMFUL live: real hit rate 10.61% ->
# 7.88%, p = 0.0012. Keep it on.
# TR_TFIL_HEAT_TIME=1 MEASURED HARMFUL live at every tau tried
# (3/5/9/15): tau15 alone is -22 damage/run,
# p = 0.046. Keep it off.
# TR_MOVEMENT=tfil_ring MEASURED: round wins 16/49 -> 6/49, p = 0.012. A
# glass cannon — best live hit rate of anything
# measured, half the survival. Do not ship.
# TR_RACK_* (the full rack) MEASURED NEGATIVE VALUE: Pattern ALONE beats
# the full 13-gun rack, p = 0.0012. Adding guns
# costs rounds.
# TR_TFIL_TURN_BIAS=9 LIVE NULL: +0.15 wins/run, p(sign) = 0.244, under
# TR_TFIL_TURN_REF_DEG=0 a 0.30 MDE; 300 battles. Docs:
# docs/movement_campaign.md (j145).
# TR_RAM_OPPORTUNITY=on MEASURED not to convert: 0/59
# opportunity -> contact. The finisher ram is the
# only path that converts, and it is always on.
#
# READ THIS BEFORE YOU TRUST ANY "null" ABOVE. A null only excludes an
# effect at or above the MDE that run resolved. The 15-opponent panel at
# 14 runs/arm resolves ~0.17 wins/run and ~7.65 damage/run; the j163 run
# resolved 0.1420 wins/run. So "clean null" here means "no effect >= that
# size", NOT "no effect".
#
# ═════════════════════════════════════════════════════════════════════════════
# 4. PRESENCE-GATED KNOBS — FOR THESE, `NAME=0` TURNS THE FEATURE ON
# ═════════════════════════════════════════════════════════════════════════════
#
# grep -rn 'existsEnv' ModularBot_garage/src common_libs | grep -v /tests/
#
# The knobs below are read with `existsEnv`, not by value. OFF means THE LINE
# IS ABSENT. Writing `TR_POWER_LOG=0` does not disable the power log — it
# ENABLES it, because 0 is a perfectly good value for a knob nobody reads.
# That is why they are all shown COMMENTED OUT in this file: there is no
# "off" spelling for them, only absence. To disable one, DELETE its line.
#
# TR_POWER_LOG one line per power-decision CHANGE
# TR_RAM_LOG one line per ram start/stop, with the reason
# TR_MOVEMENT_LOG movement band / range-class changes
# TR_STRAFE_LOG one line per strafe tile pick
# TR_SURF_LOG one line per wave-surfing decision
# TR_FIRE_DIAG per-reading fire-detection tick/raw/correction
# TR_RECORD_WORLDSTATE dump every observed world state to JSONL
# TR_CAPTURE_AIM aim_scan/aim_fire records (gun id + bot belief).
# KNOWN LIMIT: only shots that PASSED setFire are
# recorded, so a gap is ambiguous - see docs/env_reference.md
# TR_RADAR_SCANLOG log every radar scan tick
# TR_RADAR_FORCE_SPIN force the old full-360 spin radar
# TR_TRACKER_PROBE dump the enemy-tracker internals
#
# The VALUE-based switches are the opposite: 0 / false / no / off really
# disable them, and anything else enables them. Those are TR_RESULT_LOG,
# TR_TMHORIZON_LOG, TR_TMHORIZON_ACCURVE, TR_TMHORIZON_RESET_ON_TARGET,
# TR_LEADGAIN_LOG, TR_LEARNED_LOG, TR_LEARNED_GLOBAL, TR_LEARNED_REAL_EVENTS,
# TR_POWER_POLICY, TR_POWER_FINISH_KILL, TR_RAM_OPPORTUNITY, TR_RAM_PLAN,
# TR_FIRE_FIX, TR_STRAFE_FIRE_FIX, TR_STRAFE_ESCAPE, TR_STRAFE_HEAT_GRID,
# TR_TFIL_HEAT_TIME, TR_TFIL_PILLAR_ON, TR_TFIL_DIAG, TR_TFIL_NO_REV,
# TR_TFIL_HOLD_WHEN_TRAPPED, TR_TFIL_COMMIT_ARRIVAL,
# TR_TFIL_RING_COMMIT_ARRIVAL, GUN_SELECTOR_POOL, GUN_VBULLET_ADMIT_ONLY,
# TR_VBULLET_DEBUG, TR_GEO_DEBUG, TR_DEBUG_DRAW, TR_ENV_REPORT.
# (TR_TFIL_DIAG / _NO_REV / _HOLD_WHEN_TRAPPED / _COMMIT_ARRIVAL /
# _RING_COMMIT_ARRIVAL are read by value in the source; the boot report
# labels them by presence, which only affects the "(source: ...)" line, never
# the value.)
# ── movement ─────────────────────────────────────────────────────────────────
# Which dodging engine runs: tfil, tfil_ring, strafe, surf or learned.
# Which dodging engine runs. VALUE: strafe (default) | tfil | tfil_ring |
# surf | learned. Any unrecognised value silently runs `tfil`, with no warning.
# WHAT: the engine that picks the dodge tile every tick.
# STATUS: DEFAULT = strafe, the measured champion — 300 fresh battles,
# +0.30 wins/run over tfil, 95% CI [+0.02, +0.58], sign-flip p = 0.045
# (docs/movement_campaign.md, "Fresh-data confirmation (gate v2)").
# tfil_ring is measured harmful (round wins 16/49 -> 6/49, p = 0.012).
# surf and learned are wired and measured, and neither beats strafe.
# GOTCHA: a typo does not warn. `TR_MOVEMENT=straf` runs tfil.
# TRY: TR_MOVEMENT=tfil -> the long-shipped engine; the `[env]` block then
# reads `move.effective = tfil`. Pairs with the TR_TFIL_* knobs below.
TR_MOVEMENT=strafe
# Whole-engine on/off switches. 0 removes an engine from the TR_MOVEMENT choices.
# Whole-engine on/off switches. VALUE: on | 0/false/no/off. 0 removes an engine
# from the TR_MOVEMENT choices; the effective engine then falls back to the
# first still-enabled one, and tfil if all are off (there is no "no movement").
TR_MODULE_MOVE_TFIL=on # the long-shipped "floor is lava" engine
TR_MODULE_MOVE_TFIL_RING=on # the same, re-weighted toward a target range
TR_MODULE_MOVE_STRAFE=on # perpendicular strafe with sign-flip reversals
@@ -30,7 +198,17 @@ TR_MODULE_MOVE_SURF=on # wave surfing, steered by the GuessFactor
TR_MODULE_MOVE_LEARNED=on # learned per-state danger field
# ── gun rack: which guns the bot may choose (off | 1v1 | melee | both) ───────
# The shipped rack is Pattern only. Turn a gun on with `both`.
# WHAT: which guns the selector is allowed to fire. The shipped rack is
# PATTERN only; every other gun is `off`.
# VALUES: off | 1v1 | melee | both. Aliases: any/empty->both, single/lock->1v1,
# only1v1->1v1, multi/onlymelee->melee, none/disabled/disable->off.
# STATUS: MEASURED — the full 13-gun rack is WORSE than Pattern alone,
# p = 0.0012. Do not re-enable guns to "improve" the bot.
# GOTCHA: an UNRECOGNISED value warns on stderr and falls back to `both`, i.e.
# a typo ADDS the gun back into the rack. It never turns one off.
# TRY: TR_RACK_PATTERN=off -> nothing admitted in 1v1; the selector falls
# back to the full rack, so do not ship this. Real use is a PAIR:
# TR_RACK_PATTERN=off + TR_RACK_HEADON=both -> exactly one gun fires.
TR_RACK_PATTERN=both # the only admitted gun; both = usable in 1v1 and melee
TR_RACK_HEADON=off # aim straight at the target, no lead
TR_RACK_LINEAR=off # constant-angle linear aim
@@ -48,16 +226,24 @@ TR_RACK_TMSELECT=off # Tsetlin machine used as the shot selector
TR_RACK_TMPATTERN=off # Tsetlin machine used as a pattern matcher
TR_RACK_TMHORIZON=off # horizon Tsetlin automata gun
TR_RACK_LEADGAIN=off # per-range-band learned lead-gain corrector
# Give every admitted gun a fixed share of the turns instead of ranking them,
# e.g. TR_RACK_SHARE=PATTERN:60%,HEADON:40%. Empty = the ranking selector.
# Give every named gun a fixed share of the turns instead of ranking them.
# e.g. TR_RACK_SHARE=PATTERN:60%,HEADON:40% (GUN:weight, comma separated,
# the % sign is optional). Empty = the ranking selector. GOTCHA: every gun you
# name must ALSO be admitted by its own TR_RACK_<GUN> line, or the share is
# refused with a loud `[gun_harness] ERROR` and the ranking selector is used
# instead. In the shipped rack that means PATTERN and nothing else.
TR_RACK_SHARE=
# Drop whole guns by rack id (comma separated, e.g. 16). Empty = keep them all.
# Ids: 0 HEADON 1 LINEAR 2 TSETLIN 3 CIRCULAR 4 GUESSFACTOR 5 PATTERN
# 6 WALLBOUNCE 7 ACCEL 8 STOPSHOT 9 DISPLACE 10 AVGLEAD 11 DECAYGF 12 KNN
# 13 TMSELECT 14 TMPATTERN 15 TMHORIZON 16 LEADGAIN. A disabled gun never even
# spawns a virtual bullet, so its fitness stays empty and it cannot be picked.
GUN_RACK_DISABLE=
# ── gun selector (which admitted gun fires this tick) ───────────────────────
GUN_VBULLET_METRIC=path # fitness measure: path (time-to-collision) or point
GUN_SELECTOR_MODE=relative # rank guns against the incumbent (absolute = vs a fixed bar)
GUN_SELECTOR_WINDOW=100 # ticks of virtual-bullet history behind the fitness
GUN_SELECTOR_WINDOW=100 # ticks of virtual-bullet history behind the fitness (clamped 1..100)
GUN_SELECTOR_MINOBS=50 # observations a gun needs before it may compete
GUN_SELECTOR_TIE=0.2 # relative margin two guns must differ by to count as separated
GUN_SELECTOR_FLOOR=0.25 # fitness fraction of the peak below which a band is unsafe
@@ -73,6 +259,8 @@ GUN_SELECTOR_SEED=
# ── power / energy policy ────────────────────────────────────────────────────
# Every rule below only ever CAPS power; the gun's own preference is the ceiling.
# The measured case for keeping it on: TR_POWER_POLICY=0 drops the real hit rate
# from 10.61% to 7.88%, p = 0.0012.
TR_POWER_POLICY=on # 0 = no cap at all (the control arm)
TR_POWER_FAR_DIST=200.0 # px; past this the enemy is in the bad-chances zone
TR_POWER_FAR_CAP=1.0 # cap applied past TR_POWER_FAR_DIST
@@ -85,7 +273,7 @@ TR_POWER_ENERGY_MAX=3.0 # the cap at/above ENERGY_HI; 3.0 means effectively unc
TR_POWER_FINISH_KILL=on # cap to the smallest bullet that still kills a low-energy enemy
# ── radar ────────────────────────────────────────────────────────────────────
#TR_RADAR_FORCE_SPIN=1 # presence-only: force the old full 360 spin instead of 1v1 lock
#TR_RADAR_FORCE_SPIN=1 # PRESENCE-only: force the old full 360 spin instead of 1v1 lock
TR_RADAR_SCAN_LOG_PATH=/tmp/radar_scan_log.jsonl # where the per-tick scan log is written
# ── ram ──────────────────────────────────────────────────────────────────────
@@ -98,38 +286,274 @@ TR_RAM_PLAN=off # the change-of-plan trigger (enemy outguns us while
TR_RAM_PLAN_DIST=250.0 # px; max range at which the plan trigger may fire
TR_RAM_PLAN_MARGIN=20.0 # energy advantage the plan trigger needs
TR_RAM_PLAN_HITRATE=0.05 # pooled virtual hit rate below which the gun duel counts as failing
# WHAT: at or below this much SELF energy we start no new shot, keeping a
# reserve for the ram. Units: energy points.
# VALUES: energy, 0.0 = off (today's behaviour). Any float parses.
# STATUS: =5 is a CLEAN NULL and must not be re-run: -0.018 wins/run,
# p(sign-flip) = 0.7676, under a 0.1420 wins/run MDE, 900 battles. The
# mechanism fired on 0.04% of ticks, ~200x less than the offline ruler
# predicted. Docs: docs/ram_floor_exhaustion_ab.md.
# GOTCHA: 0.0 genuinely disables it, but any POSITIVE value arms it, and the
# higher it goes the more of the low-energy zone it blocks (20 blocked 24.7%
# of all ticks offline).
# TRY: TR_RAM_FLOOR_ENERGY=5 -> already measured, do not re-run. If you
# want to see it at all, that is the only defensible value; anything
# higher is worse by the offline ruler and by the live null.
TR_RAM_FLOOR_ENERGY=0.0
# WHAT: the last-scanned enemy energy at or below this switches the ram decider
# into exhaustion mode (they are out of ammo, we are not). Units: energy.
# VALUES: energy, 0.0 = off. Any float parses.
# STATUS: DEFAULT-OFF, never live-tested. It is the second half of the j160 pair;
# the other half (FLOOR_ENERGY) measured null, so the pair is not a win.
# GOTCHA: 0.0 is the only safe "off". The always-on finisher (enemy < 20 energy
# and we are healthier, within 300 px) already covers most of this; setting
# this to 20 makes the two overlap.
# TRY: TR_RAM_ENEMY_ENERGY=10 -> ram once a scan shows them at <= 10.
# Watch: the `[ram] ON rrExhausted` line. Good: the reason field says
# `exhausted` rather than `finisher`. Needs TR_RAM_LOG=1 to see it.
TR_RAM_ENEMY_ENERGY=0.0
# ── movement internals: tfil (the floor-is-lava field) ──────────────────────
TR_TFIL_RANGE_LO=100.0 # px; lower edge of the range band the ring mover prefers
TR_TFIL_RANGE_HI=200.0 # px; upper edge of that band
TR_TFIL_RANGE_TEMP=0.4 # sharpness of the ring mover's weighted random draw
TR_TFIL_RANGE_K=60.0 # px; how fast the weight falls off outside the band
# WHAT (tfil_ring only): hold the committed dodge tile until we are actually ON
# it, instead of the fixed dwell. VALUE: on | 0/off.
# STATUS: DEFAULT-OFF, never live-tested. Ported to the ring fork in j165; the
# tfil original (TR_TFIL_COMMIT_ARRIVAL) has a real but under-powered live
# result — see that line. Neither is a proven win.
# GOTCHA: the ring mover is NOT the default and is not shippable (round wins
# 16/49 -> 6/49, p = 0.012), so this only matters while you are measuring it.
# TRY: TR_MOVEMENT=tfil_ring + TR_TFIL_RING_COMMIT_ARRIVAL=1
# -> the `[env]` block reads TR_TFIL_RING_COMMIT_ARRIVAL = on.
TR_TFIL_RING_COMMIT_ARRIVAL=off
# WHAT (tfil_ring only): below this self speed (px/tick), a mid-flight switch
# may not turn the bot around. UNITS: px/tick (top speed is 8).
# STATUS: DEFAULT-OFF (0.0), never live-tested. The tfil original is in the
# j144 recommendation below.
# TRY: TR_TFIL_RING_NOREV_SPEED=4 -> 4 px/tick is half of top speed, the
# value j144 used on tfil. Accepts any float >= 0.
TR_TFIL_RING_NOREV_SPEED=0.0
TR_TFIL_CORRIDOR_HEAT=10.0 # lava painted per corridor-overlapping tile
TR_TFIL_CORRIDOR_TICKS=0.0 # corridor length in ticks: 0 = to the wall (shipped); N>0 = min(to wall, bullet speed * N)
# WHAT: cap the bullet-danger corridor at `bullet speed x this many ticks`,
# instead of running it all the way to the arena wall. UNITS: ticks.
# VALUES: ticks, 0.0 = off (corridor reaches the wall, today's behaviour).
# Any float parses; negatives are treated as 0.
# STATUS: DEFAULT-OFF, never live-tested, and NOT recommended. Commit 5e213df
# (j148) shipped it with no measurement at all: no battle, no offline ruler.
# The neighbouring j146 field-shape sweep, which is the closest evidence,
# says halving the corridor restores a safe tile set offline (filter-broken
# 63.5% -> 30.4%) and is a LIVE NULL on outcome.
# GOTCHA: value knob - 0.0 genuinely disables it. It is NOT a presence knob.
# TRY: TR_TFIL_CORRIDOR_TICKS=20 -> a 20-tick look-ahead. Bullet speed is
# 20 - 3*power, so over the shipped power bins 1.0..3.0 that is
# 17.0..11.0 px/tick = 340..220 px of corridor, instead of the whole
# wall. Watch: in the debug overlay the corridor stops short of the
# wall. Only bind it to tfil; strafe has its own knob below.
TR_TFIL_CORRIDOR_TICKS=0.0
TR_TFIL_WALL_HOTNESS=15.0 # peak heat painted on tiles next to a wall
TR_TFIL_WALL_RADIANCE=10.0 # how fast wall heat falls off with distance
TR_TFIL_BULLET_CORE=10.0 # tfil only: lava per bullet-overlapping tile (== PathDangerThreshold, so a bullet is never hot on its own)
TR_TFIL_BULLET_AURA=5.0 # tfil only: lava for the bullet's aura ring tiles
TR_TFIL_TILE_REPLAN=self # self | enemy | off: when a dodge commitment is cancelled
TR_TFIL_COMMIT_TICKS=15 # ticks to commit to a dodge point before replanning
TR_TFIL_ARRIVE_TICKS=0.0 # hard bound: never pick a tile farther than this (ticks at 8px/tick); 0 = off = today's draw
TR_TFIL_HOLD_WHEN_TRAPPED=off # on = when NO safe tile exists, hold position one tick instead of taking the 2 least-hot blocked tiles; off = today's fallback
TR_TFIL_HOLD_MAX_TICKS=0 # BOUNDED version of the above: hold at most N ticks per empty-safe-set streak (default 0 = off = today's fallback). The budget is DERIVED from the enemy's rate of fire (2 x 3.0-power shots = 16 ticks); the hold is released the tick a safe tile exists and overridden outright if a tracked bullet reaches us within min(N, 16) ticks
TR_TFIL_DANGER_THRESHOLD=10.0 # hard heat filter on the path; lava is quantised to 5, so the effective steps are 10/15/20 and 10-14 admits exactly what 10 does
TR_TFIL_DIAG=off # on = fill the per-pick picker loss histogram (TfilLoss*); observability only
TR_TFIL_GEO_MODE=off # off | turn | dist | both, each with a `-soft` (default) / `-topk` / `-rej` suffix; shapes the DRAW over the heat-filtered pool
TR_TFIL_GEO_TAU=0.0 # deg; the geometric cost scale. 0 = off = today's uniform draw
TR_TFIL_NO_REV=off # on = never reverse direction inside a corridor
# WHAT: how hot a bullet paints the tile it is sitting on. UNITS: lava points
# on the picker's heat scale.
# VALUES: any float >= 0. 10.0 is exactly the danger threshold, so a bullet is
# never dangerous on its own; 20.0 puts one bullet's own tile over it.
# STATUS: live-tested ONLY as part of the j146 five-shape batch, 375 battles:
# core 10 -> 20 was a live NULL on both primaries, and the arm that combined
# it with no corridor/wall field LOST 13.45 damage/run, p(sign-flip) =
# 0.0095. The middle shape (corridor 10 / wall 15/5 / core 20 / aura 10) is
# also a null. Do not retune the shape on one axis.
# GOTCHA: changing CORE alone with the shipped corridor (10) and wall (15) is
# the one combination j146 did NOT isolate.
# TRY: TR_TFIL_BULLET_CORE=20 + TR_TFIL_BULLET_AURA=10 -> the j146
# "middle" bullet heat. Only meaningful as part of the whole middle
# shape; on its own it is a null at best.
TR_TFIL_BULLET_CORE=10.0
# WHAT: the heat painted on the bullet's AURA ring (the tiles around it), as
# opposed to the core tile. UNITS: lava points.
# VALUES: any float >= 0; 5.0 is half the core's 10.0.
# STATUS: live-tested only inside the j146 batch — null, see BULLET_CORE.
# TRY: TR_TFIL_BULLET_AURA=10 -> doubles the aura heat; pairs with
# TR_TFIL_BULLET_CORE=20 in the j146 "middle" shape.
TR_TFIL_BULLET_AURA=5.0
# WHAT: when a dodge commitment is cancelled, replan from whose state?
# self = today's behaviour. VALUE: self | enemy | off.
# STATUS: `self` is the shipped default; `off` is the pre-j144 behaviour and is
# exactly what an earlier A/B (cc11ede arm D) tried and could not measure.
# TRY: TR_TFIL_TILE_REPLAN=off -> the tile-crossing cancel stops firing.
# Accepts self, enemy, off, none, never, 0, false (case-insensitive);
# anything else falls back to self with no warning.
TR_TFIL_TILE_REPLAN=self
TR_TFIL_COMMIT_TICKS=15 # ticks to commit to a dodge point before replanning (min 1)
# WHAT: hold the committed dodge tile until we are actually ON it, instead of
# letting our own tile-boundary crossing cancel it. VALUE: on | 0/off.
# STATUS: LIVE, 600 battles in two blocks (j144). Mechanism is real and
# confirmed: incoming hit rate 18.07% -> 14.92%, sign-flip p = 0.0013, damage
# taken -24.57/run. Outcome is NOT distinguishable: +0.28 wins/run,
# p(sign) = 0.0574 against a 0.31 MDE. The ledger's answer for your own .env
# is YES to this knob, and NO to COMMIT_MARGIN.
# GOTCHA: only meaningful with TR_MOVEMENT=tfil; the default strafe mover has
# no tfil commitment. With TR_TFIL_COMMIT_ARRIVAL on, COMMIT_TICKS becomes a
# MINIMUM dwell, not a maximum.
# TRY: TR_MOVEMENT=tfil + TR_TFIL_COMMIT_ARRIVAL=1
# -> `[env] TR_TFIL_COMMIT_ARRIVAL = on (source: .env)`.
TR_TFIL_COMMIT_ARRIVAL=off
# WHAT: leave the committed tile only if the best alternative is at least this
# much COOLER on the same pathMaxHeat scale the picker uses. UNITS: lava
# points; 10.0 is exactly one PathDangerThreshold level.
# VALUES: any float >= 0; 0.0 = off = today's behaviour (any improvement ends
# the commitment).
# STATUS: LIVE, j144, 600 battles, as the `arrive_hyst` arm. It is the WEAKEST
# of the three j144 arms on both primaries (+0.19 wins/run, p = 0.092) and
# the ledger's explicit answer is: YES to COMMIT_ARRIVAL, NO to this.
# GOTCHA: it is a hysteresis, so it makes the bot commit harder; a large value
# with a busy field means it holds a tile that is no longer the best one.
# TRY: TR_TFIL_COMMIT_MARGIN=10 -> the j144 value. Already measured, and
# the answer was no. Use it only to isolate COMMIT_ARRIVAL, not as an
# improvement.
TR_TFIL_COMMIT_MARGIN=0.0
# WHAT: refuse a candidate tile we cannot REACH inside this many ticks. The
# bot's top speed is 8 px/tick, so 1 tick = 8 px. UNITS: ticks.
# VALUES: ticks, 0.0 = off = today's uniform draw over every safe tile.
# STATUS: DEFAULT-OFF, never live-tested. Found by the j151 offline ruler: 65%
# of tfil picks outran the 15-tick commitment and the chosen tile was reached
# only 6.5% of the time.
# GOTCHA: it is a HARD bound, not a preference. If every safe tile is out of
# range the pool empties and the code falls back to today's full pool, so it
# can never starve the draw — it can also silently do nothing.
# TRY: TR_TFIL_ARRIVE_TICKS=15 -> refuse anything farther than 15*8 = 120
# px. That is deliberately the same length as TR_TFIL_COMMIT_TICKS,
# i.e. "only pick a tile you can still reach while you hold it".
TR_TFIL_ARRIVE_TICKS=0.0
# WHAT: when the safe-tile set is EMPTY (no tile under the heat threshold),
# hold position for one tick instead of promoting the 2 least-hot blocked
# tiles. VALUE: on | 0/off.
# STATUS: DEFAULT-OFF, never live-tested. j153 wrote the proposal and the A/B
# design; it was NOT run (docs/tfil_hold_when_trapped_ab.md is titled
# "NOT RUN"). Four mechanism-positive / outcome-null results preceded it, so
# a null was always the likely answer.
# GOTCHA: it can never latch — the pick site only runs on a replan tick, so the
# next tick re-reads the field from scratch. The gun is untouched: a held
# tick still fires exactly like every other tick.
# TRY: TR_TFIL_HOLD_WHEN_TRAPPED=on -> the tfil pick log shows `hold`
# instead of `promote` on a trapped tick. Needs TR_TFIL_COMMIT_LOG set.
TR_TFIL_HOLD_WHEN_TRAPPED=off
# WHAT: the BOUNDED version of the knob above: while the safe set stays empty,
# hold for at most this many ticks per empty streak. UNITS: ticks (integer).
# VALUES: integer >= 0; 0 = off = today's promote-the-2 fallback.
# STATUS: DEFAULT-OFF, never live-tested (j154, no battle).
# GOTCHA: the budget is DERIVED, not guessed: the enemy fires two 3.0-power
# shots 16 ticks apart, so 16 is the first window that admits its second
# shot. The hold is released the tick a safe tile exists, the counter resets
# when one is taken, and a tracked bullet reaching us within min(N,16) ticks
# overrides the hold outright (panic release).
# TRY: TR_TFIL_HOLD_MAX_TICKS=16 -> the derived budget. Any integer parses;
# a junk value degrades to 0 (off).
TR_TFIL_HOLD_MAX_TICKS=0
# WHAT: the hard heat filter on a candidate's path. UNITS: lava points.
# VALUES: any float >= 0. Lava is QUANTISED to 5, so the only values that
# change anything are 10, 15 and 20: 10-14 admits exactly what 10 admits.
# STATUS: 10.0 is the shipped const; j150 made it sweepable so the offline
# ruler could move it. Never live-tested as a knob.
# GOTCHA: raising it does not make the bot braver, it makes the safe set
# smaller and more of the picks forced. j146's `nofield` arm is the warning:
# -13.45 damage/run, p = 0.0095.
# TRY: TR_TFIL_DANGER_THRESHOLD=15 -> one quantisation step stricter. The
# picker log then reports fewer safe candidates per pick.
TR_TFIL_DANGER_THRESHOLD=10.0
# WHAT: fill the per-pick LOSS HISTOGRAM (TfilLoss*): how many tiles die at
# each picker stage. VALUE: on | 0/off (read by value, not by presence).
# STATUS: DIAGNOSTIC ONLY, j150. Provably does not move a single move command
# (byte-for-byte, guard-tested). Never measured on outcome, by design.
# GOTCHA: nothing. It is the safest tfil knob in this file.
# TRY: TR_TFIL_DIAG=on -> the tfil pick log gains the per-stage counts.
TR_TFIL_DIAG=off
# WHAT: shape the tile DRAW over the heat-filtered pool by geometry (how far
# the tile sits from where we are already going) as well as by heat.
# VALUES: off | turn | dist | both, each optionally suffixed -soft (default),
# -topk or -rej. `distance`=dist, `rejection`=rej are also accepted.
# Anything unrecognised, and `off`, means OFF — today's uniform draw.
# The form is NOT printed by the boot report, only the dim.
# STATUS: DEFAULT-OFF. THE ONE LIVE-TESTED ARM IS `both-rej` + TAU=60 AND IT
# WAS REJECTED: -8.83 damage/run, p(sign-flip) = 0.0061, Wilcoxon p = 0.011,
# 420 battles, 15 opponents. Round wins null. Offline it did exactly what was
# predicted (arrivals 4.5% -> 29.4%) and that is WHY it is bad: the bot ends
# up 26 px further out on 15/15 opponents and deals less. See
# docs/tfil_geo_ab.md. DO NOT re-run both-rej.
# GOTCHA: this knob ALONE is inert — TR_TFIL_GEO_TAU=0.0 means the weighting is
# off whatever the mode says. And it needs TR_MOVEMENT=tfil.
# TRY: TR_TFIL_GEO_MODE=both-soft + TR_TFIL_GEO_TAU=45
# -> the j152 offline headline (arrivals 4.5% -> 16.9%, top-tile share
# only 7.0% -> 8.6%). Still never live-tested, and the family has one
# measured loss, so treat it as a hypothesis.
TR_TFIL_GEO_MODE=off
# WHAT: the geometric cost scale, in degrees. 0.0 = off, i.e. exactly today's
# uniform draw. UNITS: degrees. VALUES: any float >= 0.
# STATUS: never live-tested with a mode other than off. The one live arm used
# TAU=60 and lost (see GEO_MODE).
# GOTCHA: TAU is IGNORED unless GEO_MODE is not off. A big TAU with mode=off
# looks like it is doing something and is not.
# TRY: TR_TFIL_GEO_TAU=45 -> 45 degrees of turn cost. Pairs with
# TR_TFIL_GEO_MODE=both-soft; on its own it changes nothing.
TR_TFIL_GEO_TAU=0.0
# WHAT: inside a corridor, never pick a tile in the reverse direction. VALUE:
# on | 0/false/no/off (read by value, so `=off` really disables it).
# STATUS: never live-tested as a standalone arm. The j144/j145 arms relied on
# the NOREV_SPEED knob instead, which is stricter.
# GOTCHA: soft only — every weight is floored, so the pool can never empty; and
# it overlaps TR_TFIL_NOREV_SPEED, which is the knob that was actually run.
# TRY: TR_TFIL_NO_REV=on -> a 3:1 forward:rearward draw weight inside a
# corridor. Accepts on/1/true/yes to enable, 0/false/no/off to disable.
TR_TFIL_NO_REV=off
TR_TFIL_COMMIT_LOG= # path for the per-commit log; empty = no log
TR_TFIL_COMMIT_ARRIVAL=off # on = hold the dodge tile until we are ON it (not a fixed dwell)
TR_TFIL_COMMIT_MARGIN=0.0 # lava an alternative tile must be cooler by before it wins the tile
TR_TFIL_NOREV_SPEED=0.0 # px/tick; below this, a mid-flight switch may not turn the bot around
TR_TFIL_TURN_BIAS=0.0 # turn TIEBREAK odds ratio among SAFE tiles; 0 = uniform draw as today
TR_TFIL_TURN_REF_DEG=45.0 # deg; turn below which the tiebreak applies no penalty
# WHAT: while our own speed is below this, a mid-flight target switch may not
# take a tile more than 90 degrees off the travel direction. UNITS: px/tick
# (top speed 8). VALUES: any float >= 0; 0.0 = off = shipped.
# STATUS: LIVE, j144/j145, 600 battles. Mechanism confirmed: slow opposite-way
# mid-flight switches fell 394 -> 64 offline. Outcome not distinguishable on
# its own (+0.12 wins/run, p = 0.39); the ledger recommends 4 in your .env
# together with COMMIT_ARRIVAL, not alone.
# GOTCHA: the pool can never be emptied — with every candidate behind us it
# takes the least-bad turn. 0.0 genuinely disables it.
# TRY: TR_TFIL_NOREV_SPEED=4 -> 4 px/tick = half of top speed, the j144
# value. Watch: fewer >90 deg switches in the tfil pick log.
TR_TFIL_NOREV_SPEED=0.0
# WHAT: turn TIEBREAK odds ratio among the SAFE tiles: a straight-ahead safe
# tile is drawn `1 + bias` times as often as a 180-degree one.
# w = max(1, round(1 + BIAS * (1 - max(0,|turn| - REF)/180)))
# UNITS: dimensionless. VALUES: any float >= 0; 0.0 = uniform draw as today.
# STATUS: LIVE NULL, j145, 300 battles: +0.15 wins/run, p(sign) = 0.244, under
# a 0.30 MDE. Docs: docs/movement_campaign.md. A real but small mechanism
# with an under-powered outcome.
# GOTCHA: the turn cost is NEVER folded into the heat score — the filter stays
# hard, and every weight is floored at 1, so the pool can never empty.
# TRY: TR_TFIL_TURN_BIAS=9 + TR_TFIL_TURN_REF_DEG=0
# -> the j145 arm value (the knee of the offline bias curve: mean
# |turn| -11%, opposite picks -22%). Already measured null.
TR_TFIL_TURN_BIAS=0.0
# WHAT: the turn below which the tiebreak above applies NO penalty. UNITS:
# degrees. VALUES: any float >= 0; 45.0 = today's default.
# STATUS: inert unless TR_TFIL_TURN_BIAS > 0. j145 used 0 with bias 9.
# GOTCHA: on its own this knob does nothing at all.
# TRY: TR_TFIL_TURN_REF_DEG=0 -> penalise every turn, not just the sharp
# ones. Pairs with TR_TFIL_TURN_BIAS=9; alone it is a no-op.
TR_TFIL_TURN_REF_DEG=45.0
# WHAT: paint heat on the virtual centre pillar. VALUE: on | 0/off. The shipped
# field has NO pillar: PillarHotness/PillarRadiance are 0.0.
# STATUS: live-tested, and the OWNER OVERRULED the recommendation to turn it
# back on: `old` (pillar on) was best on damage/run (287) and round wins
# (35/70) but the contrast is INSIDE the MDE (33 damage/run, 1.22 wins/run
# at n=10) and damage taken was 30.8/run higher with the pillar off
# (p = 0.040, not corrected for multiple arms). Decision: pillar stays
# removed. Docs: docs/tfil_heat_pillar_ab.md.
# GOTCHA: this restores an INVENTED hazard with no physical object behind it.
# Reversing that decision needs its own pre-registered A/B.
# TRY: TR_TFIL_PILLAR_ON=1 -> the pre-change field (30/10), for a fair
# A/B against the shipped one. Needs TR_MOVEMENT=tfil.
TR_TFIL_PILLAR_ON=off
TR_TFIL_HEAT_TIME=off # on = index bullet heat by time (flat field when off)
TR_TFIL_HEAT_TAU=9.0 # ticks a tracked bullet's heat lives for
TR_TFIL_HEAT_POWER_GAIN=1.0 # scale of the heat a bullet paints, per firepower
TR_TFIL_PILLAR_ON=off # on = paint heat on the arena centre, which has no pillar
# ── movement internals: strafe ───────────────────────────────────────────────
TR_STRAFE_BAND=20.0 # degrees the heading may sit off the perpendicular
@@ -148,14 +572,42 @@ TR_STRAFE_WALL_BIAS=0.35 # how strongly a tile farther from the wall is preferr
TR_STRAFE_WALL_SAFE=24.0 # px; a wing point never lands nearer than this to a wall
TR_STRAFE_ESCAPE=on # the guaranteed wall escape when every candidate is hot
TR_STRAFE_FIRE_FIX=on # strafe's share of the shared TR_FIRE_FIX switch
TR_FIRE_FIX=on # 0 = the shipped previous-energy bullet detector
#TR_FIRE_DIAG=1 # presence-only: per-reading tick/raw/correction trace
#TR_FIRE_LAG=0 # ticks to back-date each detected fire at spawn (0=shipped; 1=the measured live detection lag)
# WHAT: the shared enemy-fire detector. VALUE: on | 0/off. One switch, read by
# every mover; each mover may AND it with its own (TR_STRAFE_FIRE_FIX).
# STATUS: j134 propagated it to all five movers; the per-mover catch table went
# 98.888% -> 100% of enemy fires on a 70-battle corpus.
# GOTCHA: TR_STRAFE_FIRE_FIX is an AND, so turning TR_FIRE_FIX off is enough;
# turning only TR_STRAFE_FIRE_FIX off does not disable strafe's detector.
# TRY: TR_FIRE_FIX=0 -> the shipped previous-energy detector everywhere
# (the control arm for any fire-detector A/B).
TR_FIRE_FIX=on
#TR_FIRE_DIAG=1 # PRESENCE-only: per-reading tick/raw/correction trace
# WHAT: back-date every detected enemy fire by this many ticks when the ghost
# is spawned. UNITS: ticks (integer, clamped at 0). 0 = shipped.
# STATUS: LIVE, j147, 180 battles. The 1-tick detection lag is OURS and was
# measured on 1777 matched ghost spawns (displacement 19.1 px mean on tfil,
# 16.1 on strafe; the arrival deadline the mover reads was 0.99 / 0.77 ticks
# late). With =1 it falls to 5.4 / 9.0 px and 0.06 ticks. The live OUTCOME is
# null on both movers (+2.08 / +3.77 damage/run, every p > 0.6), so it stays 0.
# GOTCHA: a junk or negative value degrades to 0, never a negative back-date.
# TRY: TR_FIRE_LAG=1 -> one bullet step at power 1.0 is 17 px; the ghost is
# born that far downrange. Watch the tfil/strafe pick log's arrival
# deadline, which is what the knob actually corrects.
TR_FIRE_LAG=0
TR_STRAFE_HEAT_GRID=on # draw the whole heat grid; 0 leaves only the chosen tile
TR_STRAFE_BULLET_CORE=20.0 # strafe's own retune: lava per bullet-overlapping tile
TR_STRAFE_BULLET_AURA=10.0 # strafe's own retune: lava for the bullet aura ring
TR_STRAFE_CORRIDOR_HEAT=10.0 # strafe's own retune: lava per corridor tile
TR_STRAFE_CORRIDOR_TICKS=0.0 # same length bound for strafe: 0 = to the wall (shipped)
# WHAT: the same corridor LENGTH bound as TR_TFIL_CORRIDOR_TICKS, for the
# strafe mover. UNITS: ticks. VALUES: ticks, 0.0 = to the wall (shipped).
# STATUS: DEFAULT-OFF, never live-tested (commit 5e213df, j148). Same standing
# as the tfil one: no battle, no offline ruler, not recommended.
# GOTCHA: this is the DEFAULT engine's knob. Setting only the tfil one does
# nothing at all, because the shipped movement is strafe.
# TRY: TR_STRAFE_CORRIDOR_TICKS=20 -> 20-tick look-ahead, 220..340 px over
# the shipped power bins, instead of the whole wall. Watch: the strafe
# heat grid's corridor stops before the wall.
TR_STRAFE_CORRIDOR_TICKS=0.0
TR_STRAFE_WALL_HOTNESS=15.0 # strafe's own retune: peak wall heat
TR_STRAFE_WALL_RADIANCE=5.0 # strafe's own retune: wall heat falloff
@@ -164,7 +616,7 @@ TR_SURF_PREF_DIST=400.0 # px; the wave distance the mover tries to sit at
TR_SURF_DIST_BAND=50.0 # px dead band around it
TR_SURF_WALL_MARGIN=48.0 # px kept from the wall when picking a wave point
TR_SURF_RADIAL_FRAC=0.35 # how much of the remaining weight goes to the radial blend
#TR_SURF_LOG=1 # presence-only: one line per wave-surfing decision
#TR_SURF_LOG=1 # PRESENCE-only: one line per wave-surfing decision
# ── movement internals: learned (per-state learned danger) ──────────────────
TR_LEARNED_DECAY_EVERY=128 # learns between forgetting passes; 0 never forgets
@@ -179,18 +631,20 @@ TR_LEARNED_WALL_MARGIN=48.0 # px kept from the wall
TR_LEARNED_GLOBAL=off # on = ignore the learned state (ablation arm)
TR_LEARNED_LABEL=histogram # histogram (default) or outcome: what a wave is labelled with
TR_LEARNED_REAL_EVENTS=off # on = resolve a wave on the real bullet event, not on energy
#TR_LEARNED_LOG=1 # presence-only: one line per learned decision
#TR_LEARNED_LOG=1 # VALUE-based (1/on/yes to enable, 0/off to disable)
# ── guns ─────────────────────────────────────────────────────────────────────
# Virtual bullets: the prediction the whole gun selector is built on.
TR_MODULE_VBULLETS=on # 0 = no gun predicts or spawns; the selector falls back to its floor gun
# TMH — the horizon Tsetlin automata gun.
# TMH — the horizon Tsetlin automata gun. Inert unless TR_RACK_TMHORIZON=both.
TR_TMHORIZON_SHIFT=2.0 # degrees added to the aim; 0 disables the correction arm
TR_TMHORIZON_BIG_MULT=1.5 # extra scale applied when the error magnitude is big
TR_TMHORIZON_RESET_ON_TARGET=on # wipe the automata when the target changes
TR_TMHORIZON_NSTATES=64 # automata state count (the inertia it can hold)
TR_TMHORIZON_WINDOW=0 # samples kept in the sliding window; 0 keeps everything
# e.g. TR_TMHORIZON_WINDOW=30 -> retrain on the 30 most recent samples only.
# MEASURED HARMFUL LIVE at 150: 26.5% round wins vs 49.0%, p = 0.036. Keep 0.
TR_TMHORIZON_RESET_DROP=0.0 # rolling accuracy drop, in points, that forces a retrain
TR_TMHORIZON_ACCURVE=off # log the accuracy curve even without the thinking log
TR_TMHORIZON_RETRAIN_EVERY=50 # samples between full retrains in sliding mode
@@ -203,7 +657,7 @@ TR_LEADGAIN_MIN_OBS=8 # samples a band needs before its gain is trusted
TR_LEADGAIN_DECAY=250 # samples between count-decay passes
TR_LEADGAIN_DECAY_FRAC=0.02 # fraction each decay pass takes off every count
TR_LEADGAIN_RESET_ON_TARGET=on # wipe the learned gains when the target changes
TR_LEADGAIN_LOG=off # on = one line per gain change
TR_LEADGAIN_LOG=off # on = one line per gain change (value-based: 0 disables)
# Kept only so a pre-rename .env does not warn. The gun does not read them.
TR_LEADGAIN_N=32 # NO-OP: the old SBC geometry, no longer used
TR_LEADGAIN_NADE=256 # NO-OP: the old ADE count, no longer used
@@ -217,6 +671,10 @@ TR_LEADGAIN_SEED=20240921 # NO-OP: the old seed, no longer used
TR_PATTERN_LEN=10 # ticks of movement history used as the search key
TR_PATTERN_DEPTH=500 # how far back the history scan may reach
TR_PATTERN_RAD_OFFSET=0.0 # px added to the aim distance; negative aims short
# Both RAD_* knobs are read LAZILY, inside predict() — the one place a
# mid-run change can matter, and it still does not. The live aim is bearing
# only, so a purely radial offset is structurally invisible: MEASURED
# byte-identical on bmPath. Docs: docs/env_reference.md §7.
TR_PATTERN_RAD_SCALE=1.0 # multiplier on the whole aim distance
# The SBC library (common_libs/bitbrain), not a gun knob. Registered so a config
@@ -246,32 +704,71 @@ TR_BITBRAIN_DECAY_SHIFT=1 # forgetting strength, counted mode only; 0 disa
#TR_BITBRAIN_RESET_ON_TARGET=on # LEGACY: old name of TR_LEADGAIN_RESET_ON_TARGET
# ── debug overlays (all on top of the gun; they never change a decision) ─────
TR_DEBUG_DRAW=on # master switch for every mover's debugGraphics
TR_GEO_DEBUG=off # draw the shared candidate-tile geometry overlay
TR_VBULLET_DEBUG=off # draw each admitted gun's virtual-bullet paths
TR_VBULLET_DEBUG_GUN= # which gun the overlay draws: empty = the selected one
TR_VBULLET_DEBUG_MAX=32 # max virtual bullets drawn per gun
# WHAT: master switch for every mover's debugGraphics. VALUE: on | 0/off.
TR_DEBUG_DRAW=on
# WHAT: draw the shared candidate-tile geometry overlay. VALUE: on | 0/off.
# DRAW ONLY — it cannot change a decision, so it is the safest knob here.
# GOTCHA: independent of TR_DEBUG_DRAW: the overlay is drawn either way, and
# TR_DEBUG_DRAW=0 is what suppresses the movers' own graphics.
# TRY: TR_GEO_DEBUG=on -> the geometry circles appear over the arena.
TR_GEO_DEBUG=off
# WHAT: draw each admitted gun's virtual-bullet paths. VALUE: 1/on/yes to
# enable, 0/off/no/false to disable, unset = off. DRAW ONLY.
# GOTCHA: needs a gun in the rack to be legible; the shipped rack admits
# Pattern only, so set TR_VBULLET_DEBUG_GUN too.
# TRY: TR_VBULLET_DEBUG=1 + TR_VBULLET_DEBUG_GUN=all
# -> travelled path, aim ring and miss vector for every admitted gun.
TR_VBULLET_DEBUG=off
# WHICH gun the overlay draws. VALUES: empty = the currently selected gun;
# `all` or `*` = every gun; otherwise a gun name, e.g. `Pattern`.
# TRY: TR_VBULLET_DEBUG_GUN=all -> every admitted gun at once.
TR_VBULLET_DEBUG_GUN=
TR_VBULLET_DEBUG_MAX=32 # max virtual bullets drawn per gun (clamped to >= 1)
TR_VBULLET_ADMIT_ONLY=on # on = a gun the rack does not admit is not even predicted
# ── logs (set the value to 1; presence alone turns some of them on) ──────────
TR_RESULT_LOG=on # one line per round result
#TR_POWER_LOG=1 # presence-only: one line per power decision
#TR_RAM_LOG=1 # presence-only: one line per ram start/stop and why
#TR_MOVEMENT_LOG=1 # presence-only: movement band/class changes
#TR_STRAFE_LOG=1 # presence-only: one line per strafe tile pick
#TR_TMHORIZON_LOG=1 # presence-only: the per-shot thinking of the TM horizon gun
# ── logs (set the value to 1; PRESENCE alone turns these on) ─────────────────
# WHAT: one line per round result. VALUE-based (unlike the block below): 0/off
# really disables it, which is why this one is written out uncommented.
# TRY: TR_RESULT_LOG=off -> no [result] lines at all.
TR_RESULT_LOG=on
#TR_POWER_LOG=1 # PRESENCE-only: one line per power decision (0 would ENABLE it)
#TR_RAM_LOG=1 # PRESENCE-only: one line per ram start/stop and why
#TR_MOVEMENT_LOG=1 # PRESENCE-only: movement band/class changes
#TR_STRAFE_LOG=1 # PRESENCE-only: one line per strafe tile pick
#TR_TMHORIZON_LOG=1 # VALUE-based: the per-shot thinking of the TM horizon gun
GUN_STATS_PATH=/tmp/gun_stats.jsonl # where the per-round gun stats are written
GUN_SHOTLOG_PATH=/tmp/shot_log.jsonl # where the per-shot log is written
# ── measurement helpers (leave off unless you are measuring) ─────────────────
#TR_RECORD_WORLDSTATE=1 # presence-only: dump every observed world state
#TR_RADAR_SCANLOG=1 # presence-only: log every radar scan tick
#TR_TRACKER_PROBE=1 # presence-only: dump the enemy-tracker's internal state
# WHAT: aim capture. Adds TWO record kinds to the TR_RECORD_WORLDSTATE file:
# aim_scan — one per radar scan: the raw reading, our own state, the gun
# that fired, the PREVIOUS tracker belief, and the scan parity
# (age = tick - previous lastSeenTick);
# aim_fire — one per real shot: gun, power, the aim angle, the turret error,
# gun heat, the predicted intercept/TOF, and the exact WorldState the
# predictor consumed (with the tick it came from). It also adds the `gun`
# id to the per-tick world-state rows.
# VALUES: presence-only, like the other keys in this block. Unset = off.
# STATUS: default-off, diagnostic only, never live-tested. j176 could not
# attribute the 11.9 deg aim error because the corpus had no gun id and no
# bot-side belief; this knob makes both a lookup instead of an inverse
# problem. No aim model changed with it.
# GOTCHA: it only writes when TR_RECORD_WORLDSTATE is on as well, and it makes
# the capture file bigger, not different: the extra lines are annotations and
# the offline replay skips them.
# TRY: TR_RECORD_WORLDSTATE=1 TR_CAPTURE_AIM=1 ./out/ModularBot
#TR_CAPTURE_AIM=1 # PRESENCE-only: aim_scan / aim_fire records (needs TR_RECORD_WORLDSTATE)
#TR_RECORD_WORLDSTATE=1 # PRESENCE-only: dump every observed world state
#TR_RADAR_SCANLOG=1 # PRESENCE-only: log every radar scan tick
#TR_TRACKER_PROBE=1 # PRESENCE-only: dump the enemy-tracker's internal state
TR_TRACKER_PROBE_PATH=/tmp/tracker_probe.jsonl # where that dump is written
# ── dotenv / boot report ─────────────────────────────────────────────────────
# Name of the env file to load. Must be set in the REAL environment, not in the
# file it points at. Empty = use ./.env, else .env next to the binary.
# GOTCHA: the line below sets it to the EMPTY string, which is the correct
# "use the default" spelling; putting a real path here would make this file
# load itself, recursively, at every start.
TR_ENV_FILE=
# 1 = print the [env] report on startup (default). 0 = do not print it.
TR_ENV_REPORT=1
+51 -1
View File
@@ -44,6 +44,7 @@ import movement_harness/bullet_shadows
import targeting/enemy_tracker
import targeting/target_selector
import env_report
import aim_capture
import vbullet_draw
import geo_overlay
@@ -69,6 +70,13 @@ const ShotLog = true
## can enable recording for just the battle it spawns by exporting the env var.
let RecordWorldState* = existsEnv("TR_RECORD_WORLDSTATE")
const WorldStateRecordPath = "/tmp/worldstate_record.jsonl"
## j177 aim capture: with TR_CAPTURE_AIM set, append two extra record kinds to
## the SAME world-state file — `aim_scan` (one per radar scan: the raw reading,
## our own state, the GUN, the previous belief and the scan parity) and
## `aim_fire` (one per firing decision: the gun, the power, the aim angle, the
## turret error, and the exact WorldState the predictor consumed). Off by
## default, so a normal run writes byte-for-byte what it wrote before.
let CaptureAim* = existsEnv("TR_CAPTURE_AIM")
## Radar measurement switches (all RUNTIME, read once at process start):
## TR_RADAR_FORCE_SPIN=1 force the melee radar to the old stateless full
## spin (always 45 deg/tick). This reproduces the
@@ -477,6 +485,9 @@ proc recordWorldState(bot: ModularBot, ws: WorldState) =
"eid": tid,
}
if lst >= 0: row["lst"] = %lst
# j177: the gun in force when this state was built. Absent before j177,
# which made a per-gun decomposition of the aim error impossible.
if CaptureAim: row["gun"] = %bot.currentGun
try:
let f = open(WorldStateRecordPath, fmAppend)
f.writeLine($row)
@@ -616,6 +627,23 @@ proc recordRadarStats(bot: ModularBot) =
inc bot.arcWidthHist[min(11, int(width / 30.0))]
method onScannedBot*(bot: ModularBot, e: ScannedBotEvent) =
# j177 aim capture: the belief we are about to REPLACE, and the fire site's
# state, recorded BEFORE the update. Written first so the record is the
# pre-update belief by construction, not by argument.
if CaptureAim:
var rec = AimScan(tick: bot.tick, eid: e.scannedBotId,
ex: e.x, ey: e.y, eh: e.direction, es: e.speed, ee: e.energy,
sx: getX(), sy: getY(), sh: getDirection(), ss: getSpeed(),
gun: bot.currentGun,
rlock: bot.radarMode == 0, rdir: getRadarDirection(),
bx: 0.0, by: 0.0, blst: -1)
if bot.enemyTracker.enemies.contains(e.scannedBotId):
let prev = bot.enemyTracker.enemies[e.scannedBotId]
rec.bx = prev.x; rec.by = prev.y; rec.bh = prev.heading
rec.bs = prev.speed; rec.blst = prev.lastSeenTick
rec.lbear = bearing(rec.bx, rec.by, rec.sx, rec.sy)
rec.boff = (bearing(rec.ex, rec.ey, rec.sx, rec.sy) - rec.rdir) mod 360.0
appendLine(WorldStateRecordPath, scanRow(rec))
bot.enemyTracker.update(e.scannedBotId, e.x, e.y, e.direction, e.speed, e.energy, bot.tick)
bot.hasContact = true
if RadarScanLog and bot.radarMeleeActive:
@@ -1459,9 +1487,30 @@ method run*(bot: ModularBot) =
let distPx = hypot(pred.x - getX(), pred.y - getY())
if shouldFire(gunDir, aimTarget, gunHeat, distPx):
# j160 FIRING FLOOR: at/below TR_RAM_FLOOR_ENERGY self energy we hold
# the reserve for the ram instead of spending it on a shot. Off by
# default (`RamFloorEnergy = 0.0`), and `ramming` (the exhaustion
# trigger) wins the conflict, so an engaged ram never starves itself.
let floorBlocks = fireFloorBlocks(RamFloorEnergy, getEnergy(), shouldRam)
# Enqueue the selected gun so onBulletFired can stamp the server's bulletId.
# getEnergy() > power mirrors the server's "bot.energy <= firepower" reject.
if setFire(power) and getEnergy() > power:
if not floorBlocks and setFire(power) and getEnergy() > power:
# j177 aim capture: one `aim_fire` line per REAL shot, with the gun
# that fired and the exact WorldState the predictor consumed. This
# is the only place where `lst` is knowable, so it is the only place
# the scan parity of a firing decision can be recorded.
if CaptureAim:
let bspd = bulletSpeed(power)
appendLine(WorldStateRecordPath, fireRow(AimFire(
tick: bot.tick, eid: tid, gun: selectedGun, power: power,
aim: aimTarget, turret: gunDir, terr: normDelta, heat: gunHeat,
ax: pred.x, ay: pred.y, tof: (if bspd > 0: distPx / bspd else: 0.0),
ex: bot.lastState.enemyX, ey: bot.lastState.enemyY,
eh: bot.lastState.enemyHeading, es: bot.lastState.enemySpeed,
ee: bot.lastState.enemyEnergy,
sx: bot.lastState.selfX, sy: bot.lastState.selfY,
lst: (if tid >= 0 and bot.enemyTracker.enemies.contains(tid):
bot.enemyTracker.enemies[tid].lastSeenTick else: -1))))
bot.pendingFires.add(PendingShot(
gunId: selectedGun,
angleErr: abs(normDelta),
@@ -1553,6 +1602,7 @@ when isMainModule:
vBulletDebugGun: getEnv(VBulletDebugGunEnv, ""),
vBulletDebugMax: VBulletDebugMax,
recordWorldState: RecordWorldState,
captureAim: CaptureAim,
geoDebug: GeoDebugOn,
debugDraw: DebugDrawOn,
radarForceSpin: RadarForceSpin,
+129
View File
@@ -0,0 +1,129 @@
## j177 aim capture — the two records that make the aim error ATTRIBUTABLE.
##
## j176 could not answer "why is the aim 11.9 deg off at 450+ px" because the
## corpus has neither the bot's own belief (staleness was an INVERSE problem,
## unidentifiable) nor the gun id (a good gun's contribution was
## indistinguishable from a bad one's). Both are cheap to log and impossible
## to recover later. This module builds the two JSON records; ModularBot.nim
## calls it and the lines go into the EXISTING world-state capture
## (`TR_RECORD_WORLDSTATE` file), so the offline tooling sees one stream.
##
## It is deliberately PURE (no bot API, no env reads): the bot passes plain
## floats, the offline guard test passes the recorded fixture, and both go
## through the SAME row builders — so a field that the test proves present is
## a field the live bot writes.
##
## Key convention: `e*` = the enemy, `s*` = us, `b*` = the enemy's PREVIOUS
## belief in the tracker (before this scan's update), `lst` = the tick that
## state came from. `age = tick - blst` is the scan PARITY, recorded rather
## than inferred.
import std/[json, os, math]
const
ScanRecordKey* = "aim_scan" ## wrapper key, sibling of "meta"/"end"
FireRecordKey* = "aim_fire"
type
AimScan* = object
## One `onScannedBot` event, as the bot saw it BEFORE the update.
tick*: int
eid*: int
ex*, ey*: float ## raw scanned values
eh*, es*: float ## scanned heading (= direction) and speed
ee*: float
sx*, sy*: float ## our state at the scan (the FIRE SITE)
sh*, ss*: float
gun*: int ## bot.currentGun — the gun that fired, not the rack slot
bx*, by*: float ## previous belief, BEFORE this scan's update
bh*, bs*: float
blst*: int ## previous lastSeenTick; -1 = never scanned before
rlock*: bool ## radar lock engaged (false = the melee radar)
rdir*: float ## 36 deg scan window centre (radar heading)
lbear*: float ## bearing the lock is chasing (believed target)
boff*: float ## scanned bearing - rdir: where in the window it landed
AimFire* = object
## One firing decision, as the model computed it.
tick*: int
eid*: int
gun*: int ## bot.currentGun = the gun that fired
power*: float
aim*: float ## the raw angle handed to setFire/turret
turret*: float ## getGunDirection() at the command
terr*: float ## signed turret error (aim - turret)
heat*: float ## getGunHeat() BEFORE firing
ax*, ay*: float ## the intercept the gun predicted
tof*: float ## implied time of flight, ticks
ex*, ey*: float ## the WorldState the predictor CONSUMED
eh*, es*: float
ee*: float
sx*, sy*: float
lst*: int ## which tick that enemy state came from (scan parity)
proc bearing*(x, y, fx, fy: float): float =
arctan2(y - fy, x - fx).radToDeg
proc scanRow*(s: AimScan): JsonNode =
## The `aim_scan` line. Every field is unconditional: a capture that
## silently omits a field is worse than no capture.
result = newJObject()
result[ScanRecordKey] = newJObject()
let b = result[ScanRecordKey]
b["tick"] = %s.tick
b["eid"] = %s.eid
b["ex"] = %s.ex
b["ey"] = %s.ey
b["eh"] = %s.eh
b["es"] = %s.es
b["ee"] = %s.ee
b["sx"] = %s.sx
b["sy"] = %s.sy
b["sh"] = %s.sh
b["ss"] = %s.ss
b["gun"] = %s.gun
b["bx"] = %s.bx
b["by"] = %s.by
b["bh"] = %s.bh
b["bs"] = %s.bs
b["blst"] = %s.blst
b["age"] = %(if s.blst >= 0: s.tick - s.blst else: -1)
b["rlock"] = %s.rlock
b["rdir"] = %s.rdir
b["lbear"] = %s.lbear
b["boff"] = %s.boff
proc fireRow*(f: AimFire): JsonNode =
## The `aim_fire` line.
result = newJObject()
result[FireRecordKey] = newJObject()
let b = result[FireRecordKey]
b["tick"] = %f.tick
b["eid"] = %f.eid
b["gun"] = %f.gun
b["power"] = %f.power
b["aim"] = %f.aim
b["turret"] = %f.turret
b["terr"] = %f.terr
b["heat"] = %f.heat
b["ax"] = %f.ax
b["ay"] = %f.ay
b["tof"] = %f.tof
b["ex"] = %f.ex
b["ey"] = %f.ey
b["eh"] = %f.eh
b["es"] = %f.es
b["ee"] = %f.ee
b["sx"] = %f.sx
b["sy"] = %f.sy
b["lst"] = %f.lst
proc appendLine*(path: string, row: JsonNode) =
## Append one JSONL line, fully guarded: a full disk or a bad path must
## never take the bot down (same contract as the existing recorders).
try:
let f = open(path, fmAppend)
f.writeLine($row)
f.close()
except CatchableError:
discard
+14 -1
View File
@@ -52,6 +52,7 @@ type
vBulletDebugGun*: string
vBulletDebugMax*: int
recordWorldState*: bool
captureAim*: bool ## j177: aim_scan / aim_fire records, default off
geoDebug*: bool
debugDraw*: bool
radarForceSpin*: bool
@@ -245,6 +246,8 @@ proc printEffectiveValues(ctx: EnvReportContext) =
emit("TR_RESULT_LOG", onOff(ctx.resultLog), sourceOf("TR_RESULT_LOG"))
emit("TR_RECORD_WORLDSTATE", onOff(ctx.recordWorldState),
sourceOfPresence("TR_RECORD_WORLDSTATE"))
emit("TR_CAPTURE_AIM", onOff(ctx.captureAim),
sourceOfPresence("TR_CAPTURE_AIM"))
emit("TR_RADAR_FORCE_SPIN", onOff(ctx.radarForceSpin),
sourceOfPresence("TR_RADAR_FORCE_SPIN"))
emit("TR_RADAR_SCANLOG", onOff(ctx.radarScanLog),
@@ -309,6 +312,12 @@ proc printEffectiveValues(ctx: EnvReportContext) =
emit("TR_TFIL_RANGE_HI", $RangeHi, sourceOf("TR_TFIL_RANGE_HI"))
emit("TR_TFIL_RANGE_TEMP", $RangeTemp, sourceOf("TR_TFIL_RANGE_TEMP"))
emit("TR_TFIL_RANGE_K", $RangeK, sourceOf("TR_TFIL_RANGE_K"))
# j165: the ring fork's own arrival commitment (default off). RING-SPECIFIC
# names, so they can never be confused with the tfil mover's TR_TFIL_* pair.
emit("TR_TFIL_RING_COMMIT_ARRIVAL", onOff(TfilRingCommitArrival),
sourceOf("TR_TFIL_RING_COMMIT_ARRIVAL"))
emit("TR_TFIL_RING_NOREV_SPEED", $TfilRingNoRevSpeed,
sourceOf("TR_TFIL_RING_NOREV_SPEED"))
emit("TR_TFIL_CORRIDOR_HEAT", $the_floor_is_lava_ring.CorridorHeat,
sourceOf("TR_TFIL_CORRIDOR_HEAT"))
emit("TR_TFIL_CORRIDOR_TICKS", $the_floor_is_lava.TfilCorridorTicks,
@@ -410,6 +419,8 @@ proc printEffectiveValues(ctx: EnvReportContext) =
emit("TR_RAM_PLAN_MARGIN", $RamPlanMargin, sourceOf("TR_RAM_PLAN_MARGIN"))
emit("TR_RAM_PLAN_HITRATE", $RamPlanHitRate, sourceOf("TR_RAM_PLAN_HITRATE"))
emit("TR_RAM_LOG", onOff(RamLog), sourceOfPresence("TR_RAM_LOG"))
emit("TR_RAM_FLOOR_ENERGY", $RamFloorEnergy, sourceOf("TR_RAM_FLOOR_ENERGY"))
emit("TR_RAM_ENEMY_ENERGY", $RamEnemyEnergy, sourceOf("TR_RAM_ENEMY_ENERGY"))
# ── the horizon TM gun ────────────────────────────────────────────────────
# `resetLearning`/`targetChanged` resolve the lazily-read fields at round
@@ -649,7 +660,7 @@ proc knownEnvNames*(): seq[string] =
"GUN_SELECTOR_SHRINK", "GUN_SELECTOR_DWELL", "GUN_SELECTOR_MARGIN",
"GUN_SELECTOR_POINT_TIE", "GUN_SELECTOR_SEED",
"GUN_RACK_DISABLE", "GUN_STATS_PATH", "GUN_SHOTLOG_PATH",
"TR_MOVEMENT", "TR_MOVEMENT_LOG", "TR_RECORD_WORLDSTATE",
"TR_MOVEMENT", "TR_MOVEMENT_LOG", "TR_RECORD_WORLDSTATE", "TR_CAPTURE_AIM",
"TR_RADAR_FORCE_SPIN", "TR_RADAR_SCANLOG", "TR_RADAR_SCAN_LOG_PATH",
"TR_TRACKER_PROBE", "TR_TRACKER_PROBE_PATH", "TR_VBULLET_ADMIT_ONLY",
VBulletDebugEnv, VBulletDebugGunEnv, VBulletDebugMaxEnv,
@@ -661,7 +672,9 @@ proc knownEnvNames*(): seq[string] =
"TR_RAM_OPPORTUNITY", "TR_RAM_OPP_DIST", "TR_RAM_OPP_MARGIN",
"TR_RAM_ABORT_DMG", "TR_RAM_PLAN", "TR_RAM_PLAN_DIST",
"TR_RAM_PLAN_MARGIN", "TR_RAM_PLAN_HITRATE", "TR_RAM_LOG",
"TR_RAM_FLOOR_ENERGY", "TR_RAM_ENEMY_ENERGY",
"TR_TFIL_RANGE_LO", "TR_TFIL_RANGE_HI", "TR_TFIL_RANGE_TEMP",
"TR_TFIL_RING_COMMIT_ARRIVAL", "TR_TFIL_RING_NOREV_SPEED",
"TR_TFIL_RANGE_K", "TR_TFIL_CORRIDOR_HEAT", "TR_TFIL_WALL_HOTNESS",
"TR_TFIL_CORRIDOR_TICKS", "TR_TFIL_ARRIVE_TICKS",
"TR_TFIL_HOLD_WHEN_TRAPPED", "TR_TFIL_HOLD_MAX_TICKS",
@@ -23,6 +23,8 @@
## A trailing live end marker is also optional:
## {"end":{"enemy_died":<bool>,"ticks":<int>}}
## It lets the replay reproduce the live resolver's final-tick behaviour.
## `aim_scan` / `aim_fire` annotation lines (written only when
## TR_CAPTURE_AIM is set) carry no `ex` and are skipped.
##
## The replay never calls the gun selector, so it is RNG-free for every
## deterministic gun. Tsetlin is stochastic and is expected to differ.
@@ -196,6 +198,10 @@ proc loadFixture*(path: string): Fixture =
if node["end"].hasKey("enemy_died"):
result.enemyDied = node["end"]["enemy_died"].getBool()
continue
# j177: the recorder can also write `aim_scan` / `aim_fire` lines into the
# same file when TR_CAPTURE_AIM is set. They are annotations on ticks, not
# ticks, so they carry no `ex` and are skipped here.
if not node.hasKey("ex"): continue
result.states.add stateFromJson(node, arenaW, arenaH, enemyId)
result.lastSeen.add (if node.hasKey("lst"): node["lst"].getInt() else: -1)
result.enemyId = enemyId
+52 -2
View File
@@ -46,7 +46,29 @@
## TR_RAM_PLAN_MARGIN default 20.0 change-of-plan energy advantage
## TR_RAM_PLAN_HITRATE default 0.05 selected gun's pooled virtual hit rate
## below which the gun duel counts as failing
## TR_RAM_LOG=1 emit one change-gated `[ram]` line
## ## TR_RAM_LOG=1 emit one change-gated `[ram]` line
## TR_RAM_FLOOR_ENERGY default 0.0 FIRING FLOOR (j160). At or below this
## self energy we stop firing to keep a
## ram reserve. 0 = off = today's behaviour.
## TR_RAM_ENEMY_ENERGY default 0.0 ENEMY-EXHAUSTION trigger (j160). The
## last-scanned enemy energy <= this ->
## ram mode. 0 = off.
##
## ── j160: the energy-reserve + exhaustion policy ───────────────────────────
## Energy NEVER regenerates and has no cap; the only gain in the whole game is
## `+3 * power` per bullet hit LANDED (server `rules.kt`). So not firing denies
## the enemy its only refill AND keeps our ram reserve intact — the two halves
## of the policy are the same bet.
##
## Floor sizing: one likely return hit (`bulletDamage(1.0)` = 4.0) plus two
## 0.1-power shots (0.1 each) is 4.2. The knob DEFAULT stays 0.0 so the default
## path is byte-identical; the operator sets 5-ish.
##
## The exhaustion trigger is the FINISHER with the energy tolerance promoted to
## an operator knob. It deliberately KEEPS the finisher's own
## `selfEnergy > enemyEnergy` surplus guard: `RAM_DAMAGE 0.6` is applied to BOTH
## bots on every contact tick, so a head-on contact is a symmetric bleed decided
## by who walks in with the surplus.
import std/[os, strutils]
@@ -95,10 +117,15 @@ let RamPlanDist* = getEnvFloat("TR_RAM_PLAN_DIST", DefaultRamPlanDist)
let RamPlanMargin* = getEnvFloat("TR_RAM_PLAN_MARGIN", DefaultRamPlanMargin)
let RamPlanHitRate* = getEnvFloat("TR_RAM_PLAN_HITRATE", DefaultRamPlanHitRate)
let RamLog* = existsEnv("TR_RAM_LOG")
## j160. 0.0 = off on BOTH knobs, which is the shipped behaviour.
let RamFloorEnergy* = getEnvFloat("TR_RAM_FLOOR_ENERGY", 0.0)
let RamEnemyEnergy* = getEnvFloat("TR_RAM_ENEMY_ENERGY", 0.0)
type
RamReason* = enum
rrNone ## no trigger fires
rrExhausted ## j160: last-scanned enemy energy <= TR_RAM_ENEMY_ENERGY
## and we hold the surplus (it is out of ammo, we are not)
rrFinisher ## enemy < 20 energy, we are healthier, dist < 300
rrOpportunity ## we clearly out-energise and are close enough to close
rrDesperation ## both nearly dead, short range
@@ -131,7 +158,8 @@ proc ramTrigger*(inp: RamInputs,
planEnabled = RamPlanEnabled,
planDist = RamPlanDist,
planMargin = RamPlanMargin,
planHitRate = RamPlanHitRate): RamReason =
planHitRate = RamPlanHitRate,
enemyEnergyTol = RamEnemyEnergy): RamReason =
## Pure trigger evaluation. Returns the FIRST matching reason in priority
## order, or `rrNone`. Cooldown/duration/abort are deliberately NOT here — the
## caller composes those, so this function has no state and is unit-testable.
@@ -143,6 +171,13 @@ proc ramTrigger*(inp: RamInputs,
## `desperation` and `finisher` are kept: they are rare, short-range, and the
## finisher is the only measured conversion. `plan` remains opt-in and off.
if inp.enemyEnergy <= 0.0: return rrNone
# j160 exhaustion trigger. Checked FIRST so the operator-set tolerance wins
# the label when it is set; it is the finisher's own shape (same surplus and
# distance guards) with the 20.0 energy tolerance promoted to a knob. With
# `enemyEnergyTol = 0.0` (the default) this arm can never fire.
if enemyEnergyTol > 0.0 and inp.enemyEnergy <= enemyEnergyTol and
inp.dist < RamFinisherDist and inp.selfEnergy > inp.enemyEnergy:
return rrExhausted
if inp.dist < RamFinisherDist and inp.enemyEnergy < RamFinisherEnergy and
inp.selfEnergy > inp.enemyEnergy:
return rrFinisher
@@ -158,9 +193,24 @@ proc ramTrigger*(inp: RamInputs,
return rrPlan
rrNone
proc fireFloorBlocks*(floor, selfEnergy: float, ramming = false): bool =
## j160 FIRING FLOOR. True when the reserve is thin enough that we must not
## commit a NEW shot. `floor = 0.0` (the default) disables the floor entirely
## and returns false for every input, so the default path is unchanged.
##
## `ramming` WINS over the floor: once ram mode is engaged the duel is over,
## so the reserve is being spent on the contact, not held for it. This is the
## same exemption `ramming` already gets in `applyPowerPolicy`.
##
## The floor blocks only NEW shots. A bullet already in the air (gun heat > 0)
## is untouched — `shouldFire` already gates on `gunHeat <= 0.0`, so there is
## no committed shot for the floor to suppress or cancel.
not ramming and floor > 0.0 and selfEnergy <= floor
proc reasonName*(r: RamReason): string =
case r
of rrNone: "none"
of rrExhausted: "exhausted"
of rrFinisher: "finisher"
of rrOpportunity: "opportunity"
of rrDesperation: "desperation"
@@ -49,6 +49,10 @@
## TR_TFIL_CORRIDOR_HEAT default 10.0 lava per corridor-overlapping tile
## TR_TFIL_WALL_HOTNESS default 15.0 peak wall radiance at a wall tile
## TR_MOVEMENT_LOG=1 log band/range-class changes (not/tick)
## TR_TFIL_RING_COMMIT_ARRIVAL default off hold the committed tile until we
## are ON it (port of tfil's j144 fix)
## TR_TFIL_RING_NOREV_SPEED default 0.0 px/tick; below this a mid-flight
## switch may not turn the bot around
## `TR_TFIL_RANGE_TEMP=0` calls plain `rand(candidates.high)` exactly as the
## original mover did, so the same binary can serve as the control arm.
##
@@ -141,6 +145,36 @@ proc loadTfilRingFireEnv*() =
TfilRingFireFix = getEnvBool("TR_FIRE_FIX", true)
loadTfilRingFireEnv()
## ── j165: the ARRIVAL commitment, ported from `the_floor_is_lava.nim` ────────
## Same BEHAVIOUR as tfil's `TR_TFIL_COMMIT_ARRIVAL` / `TR_TFIL_NOREV_SPEED`,
## RING-SPECIFIC env names so the two forks never share a namespace by accident.
## Both default OFF, so the default path stays byte-for-byte today's ring
## (proved over the 20026-tick fixture replay in `test_tfil_commit_env.nim`).
## TR_TFIL_RING_COMMIT_ARRIVAL 0/1 hold the committed tile until we are
## ON it, instead of dropping the
## commitment on a tile crossing
## TR_TFIL_RING_NOREV_SPEED float while |speed| is below this, a
## mid-flight switch to the OPPOSITE
## side is refused (0 = off)
const
RingArriveRadius* = 18.0 ## "we are on the committed tile" — the same 18px
## radius `the_floor_is_lava.nim` uses
RingHullTicks = 50 ## the reachable-hull planning horizon (the literal
## 50 already passed to `computeReachableHull`
## below). Past it the committed target is no longer
## guaranteed reachable: the stall escape.
var
TfilRingCommitArrival* = false
TfilRingNoRevSpeed* = 0.0
proc loadTfilRingCommitEnv*() =
## Read the j165 knobs. Called once at module init; the guard test calls it
## again after `putEnv` so the non-default arms run in one process.
TfilRingCommitArrival = getEnvBool("TR_TFIL_RING_COMMIT_ARRIVAL", false)
TfilRingNoRevSpeed = max(0.0, getEnvFloat("TR_TFIL_RING_NOREV_SPEED", 0.0))
loadTfilRingCommitEnv()
const
DefaultRangeLo = 100.0
DefaultRangeHi = 200.0
@@ -240,6 +274,10 @@ type
commitTarget: tuple[x, y: float] ## world coords of committed dodge point
commitTicks: int ## ticks remaining on commitment
commitLava: float ## lava at commit time (for spike detection)
commitAge: int ## j165: ticks since the current target
## was picked (0 = just picked)
picks: int ## j165: picks made this round; > 0 means
## a switch would be MID-FLIGHT
blockedTile: tuple[col, row: int; active: bool] ## excluded from next pick after danger replan
cachedHull: seq[tuple[x, y: float]]
cachedInsideTiles: seq[tuple[col, row: int]]
@@ -283,6 +321,8 @@ proc resetRound*(m: var TFILRingModule) =
m.bullets = @[]
m.fire.reset()
m.commitTicks = 0
m.commitAge = 0
m.picks = 0
m.cachedHull = @[]
m.cachedInsideTiles = @[]
m.blockedTile = (col: 0, row: 0, active: false)
@@ -462,6 +502,40 @@ proc computeReachableHull(x0, y0, heading0, speed0,
if cur == startIdx: break
hull
proc ringTileOffTravel*(m: TFILRingModule, col, row: int,
sx, sy, travelDeg: float): float =
## Signed angle in degrees from the travel direction to the tile centre,
## folded into (-180, 180]. Verbatim from `the_floor_is_lava.nim`'s
## `tileOffTravel`; the ring's `ScoredTile` carries no `turnDeg`, so the
## no-reversal pool computes the offsets itself.
let tx = m.marginX + (col.float + 0.5) * GridSize
let ty = m.marginY + (row.float + 0.5) * GridSize
result = arctan2(ty - sy, tx - sx) * 180.0 / PI - travelDeg
while result > 180.0: result -= 360.0
while result < -180.0: result += 360.0
proc norevPool*(offs: openArray[float], threshold: float): seq[int] =
## j165: which candidate tiles may a slow, mid-flight switch take? Verbatim
## from `the_floor_is_lava.nim`. `offs` are the signed angles (deg) from the
## travel direction to each candidate, `threshold` is the speed gate
## (px/tick). Returns the indices NOT more than 90 deg off — the bot does not
## have to turn around to reach them. If EVERY candidate is behind us the
## reversal is unavoidable, so the single LEAST-bad one is returned (a shallow
## turn, not a 180 deg flip): the result is NEVER empty, so the pick can never
## be starved. `threshold <= 0` = the knob is off and every candidate stays.
if offs.len == 0: return
if threshold <= 0.0:
for i in 0..<offs.len: result.add i
return
var keep: seq[int]
for i, a in offs:
if abs(a) <= 90.0: keep.add i
if keep.len > 0: return keep
var best = 0
for i, a in offs:
if abs(a) < abs(offs[best]): best = i
@[best]
proc computeMove*(m: var TFILRingModule, ws: WorldState): MoveCommand =
if m.cols == 0:
m.initGrid(ws.arenaWidth, ws.arenaHeight)
@@ -482,7 +556,13 @@ proc computeMove*(m: var TFILRingModule, ws: WorldState): MoveCommand =
m.fire.prevEnergySet(ei.id, ei.energy)
# Tile-change replan: catches gradual displacement that position threshold misses
if (not jumped) and (m.callCount > 0) and (m.commitTicks > 0):
# j165: with TR_TFIL_RING_COMMIT_ARRIVAL the SELF-tile crossing is exactly the
# event that must NOT cancel a commitment: crossing a boundary is the very
# motion the commitment commands, and at GridSize 36 / speed 8 it fires every
# ~5 ticks — which is precisely this fork's CommitTicks. Under the shipped
# default (arrival off) this is the original block verbatim.
if (not jumped) and (m.callCount > 0) and (m.commitTicks > 0) and
not TfilRingCommitArrival:
let curTileCol = clamp(int((ws.selfX - m.marginX) / GridSize), 0, m.cols - 1)
let curTileRow = clamp(int((ws.selfY - m.marginY) / GridSize), 0, m.rows - 1)
if curTileCol != m.lastTileCol or curTileRow != m.lastTileRow:
@@ -756,22 +836,50 @@ proc computeMove*(m: var TFILRingModule, ws: WorldState): MoveCommand =
safeTiles.add blockedTiles[i]
blockedTiles = blockedTiles[promote ..< blockedTiles.len]
# Commitment logic
# Commitment logic. With every j165 knob at its default (both off) this is the
# original three-way test, unchanged. j165 adds one way OUT of a commitment
# that is NOT a tile crossing (the block above is skipped when armed) and turns
# the tick counter into a MINIMUM dwell: the target is held until we are
# actually standing on it.
let atTarget = (ws.selfX - m.commitTarget.x)^2 + (ws.selfY - m.commitTarget.y)^2 <
RingArriveRadius * RingArriveRadius
if m.commitTicks > 0:
# Only allow danger replan after MinCommitTicks have elapsed
inc m.commitAge
# Only allow a replan after MinCommitTicks have elapsed
let ticksElapsed = CommitTicks - m.commitTicks
if ticksElapsed >= MinCommitTicks:
let (cc, cr) = m.tileAt(m.commitTarget.x, m.commitTarget.y)
let curLava = m.lavaAt(cc, cr)
var commitEnd = false
if curLava > m.commitLava + DangerReplanThreshold:
# Mark committed tile blocked so we don't re-pick it
# GENUINE DANGER: the committed tile got hot. Block it so we don't
# immediately re-pick it, and replan. This safety valve is deliberately
# independent of the arrival rule and is UNCHANGED by j165.
m.blockedTile = (col: cc, row: cr, active: true)
m.commitTicks = 0 # replan
else:
commitEnd = true
elif TfilRingCommitArrival:
if atTarget:
# Reached. Only now is a new target allowed.
commitEnd = true
elif m.commitAge >= RingHullTicks:
# Stall escape: past the planner's own reachability horizon the
# committed tile is no longer guaranteed reachable (rammed, boxed in).
commitEnd = true
if not commitEnd:
dec m.commitTicks
if m.commitTicks == 0 and TfilRingCommitArrival:
m.commitTicks = CommitTicks # minimum dwell reached: renew, don't abandon
else:
m.commitTicks = 0
else:
dec m.commitTicks
# j165: was the commitment we are about to replace still UNREACHED? A pick
# that replaces a target we had not yet got to is the owner's failure mode:
# the bot is still accelerating and the target flips under it. `picks == 0`
# means this is the first pick of the round, which is not a switch at all.
let midFlight = m.picks > 0 and not atTarget
if m.commitTicks == 0 and safeTiles.len > 0:
# Filter out the blocked tile from candidates
var candidates: seq[ScoredTile]
@@ -780,6 +888,22 @@ proc computeMove*(m: var TFILRingModule, ws: WorldState): MoveCommand =
continue
candidates.add t
if candidates.len == 0: candidates = safeTiles # all blocked → ignore block
# j165, no opposite-direction flip while still accelerating. Below the speed
# threshold the bot physically cannot complete a reversal before the bullet
# lands, so a mid-flight switch to the mirror side only destroys the dodge it
# already has. It is refused outright — and only for a MID-FLIGHT switch: if
# we are already standing on the committed tile (an arrival pick) the bot is
# free to go anywhere, and that is exactly the pick that must not be blocked.
if TfilRingNoRevSpeed > 0.0 and abs(ws.selfSpeed) < TfilRingNoRevSpeed and midFlight:
let travelDeg = if ws.selfSpeed < -0.01: ws.selfHeading + 180.0
else: ws.selfHeading
var offs: seq[float]
for t in candidates:
offs.add ringTileOffTravel(m, t.col, t.row, ws.selfX, ws.selfY, travelDeg)
let keep = norevPool(offs, TfilRingNoRevSpeed)
var narrowed: seq[ScoredTile]
for i in keep: narrowed.add candidates[i]
candidates = narrowed
# Safety is a HARD constraint: the weighting below only re-orders the draw
# AMONG `candidates`, which is exactly the pool the old `rand` picked from.
# It can never select a tile the unweighted code would have rejected
@@ -801,6 +925,8 @@ proc computeMove*(m: var TFILRingModule, ws: WorldState): MoveCommand =
y: m.marginY + (ct.row.float + 0.5) * GridSize)
m.commitTicks = CommitTicks
m.commitLava = m.lavaAt(ct.col, ct.row)
m.commitAge = 0
inc m.picks
m.blockedTile.active = false # clear after successful pick
# One concise log line on a range-class or band change (never per-tick).
+18
View File
@@ -0,0 +1,18 @@
# j177 gun-path default-parity golden.
# Generated from the PRE-CHANGE tree (`git archive 55e92bc`) with
# TR_CAPTURE_AIM unset, over the whole tr_drussgt_vs_modularbot.jsonl.
# Format: <gun> shots=<n> hits=<n>, one line per rack gun
HeadOn shots=400 hits=59
Linear shots=400 hits=47
Tsetlin shots=400 hits=74
Circular shots=400 hits=51
GuessFactor shots=400 hits=44
Pattern shots=400 hits=46
WallBounce shots=400 hits=55
Accel shots=400 hits=59
StopShot shots=400 hits=84
Displace shots=400 hits=46
AvgLead shots=400 hits=51
DecayGF shots=400 hits=47
KNN shots=400 hits=29
TMSelect shots=0 hits=0
File diff suppressed because it is too large Load Diff
+278
View File
@@ -0,0 +1,278 @@
#!/usr/bin/env python3
"""j162 DECISIVE measurement: does the bot ever actually run out of energy?
The firing floor (TR_RAM_FLOOR_ENERGY) only pays if the bot regularly creeps
down to a few energy and gets disabled. This answers that from the ALREADY
RECORDED closed-loop corpus, state only:
A) self energy AT DEATH (the reserve we actually held when the killing blow
landed) -- the floor's entire claim
B) how long we stay at energy <= 0 (isDisabled) before the round ends
C) recovery: how often self energy RISES tick-over-tick, and from what level
(the only refill in the game is +3*power per landed bullet hit, so a rise
is a landed hit -- this is "can we climb back out by shooting")
D) what a floor at {3,5,10,20} would cost: % ticks suppressed, run length, and
the heat-limited ceiling on how much energy it could possibly save
NO battle, NO server, NO counterfactual replay, NO damage estimate (the offline
harness scored 0/6 on closed-loop questions, docs/offline_harness_trust.md).
Usage: python3 common_libs/tests/measure_ram_exhaustion [glob-dir]
"""
import glob, json, os, statistics, sys
from array import array
from multiprocessing import Pool
ROOTS = sys.argv[1:] or ["/tmp"]
# Tank Royale gun heat: heat += 1 + power/5 and the gun cools 0.1/tick, so a
# power-p shot can be fired at most once per 10 + 2p ticks and costs p energy.
# The cost bracket is therefore p/(10+2p) energy per tick, from 0.0098 at the
# cheapest legal shot (0.1) to 0.1875 at the most expensive (3.0).
def per_tick(power):
return power / (10.0 + 2.0 * power)
def num(line, key):
i = line.find('"' + key + '":')
if i < 0:
return None
i += len(key) + 3
j = line.find(',', i)
if j < 0:
j = line.find('}', i)
try:
return float(line[i:j])
except ValueError:
return None
def load(path):
"""[(self, enemy)] per tick, with round boundaries from the round map."""
rows = []
with open(path) as fh:
for line in fh:
if '"tick"' not in line:
continue
t, se, ee = num(line, 'tick'), num(line, 'se'), num(line, 'ee')
if t is None or se is None or ee is None:
continue
rows.append((t, se, ee))
if not rows:
return []
rf = path.replace(".jsonl", ".jsonl.rounds.json")
bounds = []
if os.path.exists(rf):
try:
for r in json.load(open(rf))["rounds"]:
bounds.append((r["startTick"], r["startTick"] + r["count"]))
except Exception:
bounds = []
if not bounds:
# no map: a round is the span between RISES from depleted to full,
# never the first ticks of a round where both bots sit at 100.
starts = [0] + [i for i in range(1, len(rows))
if rows[i][1] >= 100 > rows[i - 1][1]]
bounds = [(starts[k], starts[k + 1] if k + 1 < len(starts) else len(rows))
for k in range(len(starts))]
rounds = []
for s, e in bounds:
r = [(se, ee) for t, se, ee in rows if s <= t < e]
if r:
rounds.append(r)
return rounds
def corpus():
files = []
for root in ROOTS:
for f in glob.glob(os.path.join(root, "**", "*.jsonl"), recursive=True):
if f.endswith(".events.jsonl"):
continue
try:
with open(f) as fh:
first = fh.readline()
except OSError:
continue
if '"closed_loop":true' not in first.replace(" ", ""):
continue
files.append(f)
out = []
for r in Pool(8).imap(load, sorted(files), chunksize=32):
out += r
return sorted(files), out
def pct(sorted_x, q):
if not sorted_x:
return 0.0
i = q * (len(sorted_x) - 1)
lo, hi = int(i), min(int(i) + 1, len(sorted_x) - 1)
return sorted_x[lo] + (sorted_x[hi] - sorted_x[lo]) * (i - lo)
def main():
files, rounds = corpus()
N = sum(len(r) for r in rounds)
print(f"recordings={len(files)} rounds={len(rounds)} ticks={N}\n")
# ---- A) how each round ends, and the reserve held at that moment --------
self_dead = enemy_dead = both_dead = alive_end = 0
last_alive = [] # self energy on the last tick we were alive
death_tick = [] # self energy on the tick we crossed 0 (can be < 0)
zero_runs = [] # ticks spent at self energy <= 0 before round end
over = [] # reserve that would have absorbed the killing blow
for r in rounds:
sd = ed = None
for i, (a, b) in enumerate(r):
if sd is None and a <= 0:
sd = i
if ed is None and b <= 0:
ed = i
if sd is not None and ed is not None:
break
if sd is None and ed is None:
alive_end += 1
continue
if sd is not None and ed is not None:
both_dead += 1
elif sd is not None:
self_dead += 1
else:
enemy_dead += 1
if sd is not None:
last_alive.append(r[sd - 1][0] if sd > 0 else r[0][0])
death_tick.append(r[sd][0])
over.append(-r[sd][0])
j = len(r)
while j > sd and r[j - 1][0] <= 0:
j -= 1
zero_runs.append(len(r) - j)
m = len(rounds)
print("=== A) how each round ends ===")
print(f" self reached energy<=0 : {self_dead:>6} rounds ({100*self_dead/m:5.1f}%)")
print(f" only the enemy did : {enemy_dead:>6} rounds ({100*enemy_dead/m:5.1f}%)")
print(f" both in the same round : {both_dead:>6} rounds ({100*both_dead/m:5.1f}%)")
print(f" neither (truncated) : {alive_end:>6} rounds ({100*alive_end/m:5.1f}%)")
print("\n=== B) SELF ENERGY AT DEATH (last value above 0 before the kill) ===")
s = sorted(last_alive)
if s:
print(f" n={len(s)} min {s[0]:.2f} p10 {pct(s,.10):.2f} median {pct(s,.5):.2f}"
f" mean {statistics.fmean(s):.2f} p90 {pct(s,.90):.2f} max {s[-1]:.2f}")
for t in (0, 1, 3, 5, 10, 20):
c = sum(1 for x in s if x <= t)
print(f" <= {t:>2} energy: {c:>6} ({100*c/len(s):5.1f}% of self deaths,"
f" {100*c/m:5.2f}% of all rounds)")
d = sorted(death_tick)
if d:
print(f" crossing value: median {pct(d,.5):.2f} p10 {pct(d,.10):.2f}"
f" p90 {pct(d,.90):.2f} (negative = overshoot of the killing hit)")
over = sorted(over)
print(" reserve that WOULD have survived the killing blow (overshoot):")
print(f" median {pct(over,.5):.2f} p75 {pct(over,.75):.2f}"
f" p90 {pct(over,.90):.2f} p99 {pct(over,.99):.2f} max {over[-1]:.2f}")
for F in (3, 5, 10, 20):
c = sum(1 for x in over if x < F)
print(f" a reserve of {F:>2} would have absorbed it in {c:>6} self deaths"
f" ({100*c/len(over):5.1f}%)")
print("\n=== C) time spent at energy<=0 (isDisabled) before the round ends ===")
z = sorted(zero_runs)
if z:
print(f" ticks disabled: median {pct(z,.5):.0f} p90 {pct(z,.9):.0f}"
f" max {z[-1]} total {sum(z)} of {N} ticks"
f" ({100*sum(z)/N:.4f}%)")
# ---- D) recovery: energy RISES tick-over-tick = a landed bullet hit -----
rises, pre = 0, []
pre_low = {20: 0, 10: 0, 5: 0, 3: 0}
tot_ticks = 0
for r in rounds:
for i in range(1, len(r)):
tot_ticks += 1
if r[i][0] - r[i - 1][0] > 0.01:
rises += 1
pre.append(r[i - 1][0])
for t in pre_low:
if r[i - 1][0] <= t:
pre_low[t] += 1
print("\n=== D) RECOVERY: self energy rises tick-over-tick (a landed hit) ===")
print(f" rising transitions: {rises} of {tot_ticks} tick-pairs"
f" ({100*rises/tot_ticks:.3f}%), i.e. ~{rises/len(rounds):.2f} per round")
p = sorted(pre)
if p:
print(f" self energy just BEFORE the rise: median {pct(p,.5):.2f}"
f" p10 {pct(p,.10):.2f} p90 {pct(p,.90):.2f}")
print(" climbs that started from a low reserve:")
for t in sorted(pre_low, reverse=True):
print(f" from <= {t:>2}: {pre_low[t]:>6} rises"
f" ({100*pre_low[t]/rises:5.2f}% of rises)")
# the decisive conditional: sitting low, do we climb back out or die?
# "death" counts the ONE tick that crosses 0. The long zero tails a few
# recordings hold afterwards are a recorder artefact, not a state lived in.
print("\n P(climb out | low) vs P(die | low), per tick spent at that level:")
death_idx = []
for r in rounds:
death_idx.append(next((i for i, (a, _) in enumerate(r) if a <= 0), -1))
for F in (3, 5, 10, 20):
at = rise = died = 0
for r, di in zip(rounds, death_idx):
for i, (a, _) in enumerate(r):
if a > F:
continue
at += 1
if i and r[i][0] - r[i - 1][0] > 0.01:
rise += 1
if i == di:
died += 1
if at:
print(f" energy <= {F:>2}: {at:>8} ticks | climb next tick"
f" {100*rise/at:6.3f}% | killed on this tick {100*died/at:6.3f}%"
f" -> dying is {died/max(1,rise):.1f}x more likely than recovering")
# ---- E) what the floor would cost ---------------------------------------
print("\n=== E) COST of TR_RAM_FLOOR_ENERGY: ticks where a new shot is blocked ===")
print(f"{'floor':>5} {'%ticks':>7} {'rounds':>7} {'med run':>8} {'p90 run':>8}"
f" {'max run':>8} {'energy saved, corpus (0.1..3.0 p)':>34}"
f" {'per med run @1.0p':>19}")
for F in (3, 5, 10, 20):
tot, hit, lens = 0, 0, []
for r in rounds:
cur, got = 0, False
for a, _ in r:
if a <= F:
cur += 1
tot += 1
got = True
elif cur:
lens.append(cur)
cur = 0
if cur:
lens.append(cur)
hit += 1 if got else 0
lens.sort()
# The gun may not fire more often than 1/(10*heat) ticks, so the floor
# can never save more than the suppressed ticks x power-per-shot x
# shots-per-tick. Report the bracket: 0.1 power (cheapest legal shot) to
# 3.0 power (most expensive legal shot).
med = pct(lens, .5) if lens else 0
lo, hi = tot * per_tick(0.1), tot * per_tick(3.0)
mid = med * per_tick(1.0)
print(f"{F:>5} {100*tot/N:>6.2f}% {hit:>7} {med:>8.0f} "
f"{pct(lens,.9) if lens else 0:>8.0f} {lens[-1] if lens else 0:>8}"
f" {lo:>7.0f} .. {hi:>7.0f} {mid:>6.2f}")
print(" energy saved over the WHOLE corpus, heat-limited: the 0.1..3.0 power")
print(" bracket, then the p=1.0 column = what one median suppressed RUN is worth")
print(" (1.0 power is the mode of the measured landed-hit histogram).")
print(" Median run lengths 34/53/89/139 ticks; one 1.0-power landed hit = 3.0.")
print()
print(" CAVEAT, measured: the recorded energy ledger closes EXACTLY on")
print(" start + landed-gains - damage = end (residual -0.00 over 35065 rounds),")
print(" i.e. these captures DO NOT charge the firepower cost. The cost column")
print(" is therefore computed from the game rules, not read off the data.")
if __name__ == "__main__":
main()
@@ -0,0 +1,57 @@
recordings=8149 rounds=35163 ticks=34461805
=== A) how each round ends ===
self reached energy<=0 : 21518 rounds ( 61.2%)
only the enemy did : 12906 rounds ( 36.7%)
both in the same round : 347 rounds ( 1.0%)
neither (truncated) : 392 rounds ( 1.1%)
=== B) SELF ENERGY AT DEATH (last value above 0 before the kill) ===
n=21865 min 0.00 p10 0.10 median 0.83 mean 2.50 p90 8.90 max 24.83
<= 0 energy: 0 ( 0.0% of self deaths, 0.00% of all rounds)
<= 1 energy: 12217 ( 55.9% of self deaths, 34.74% of all rounds)
<= 3 energy: 16793 ( 76.8% of self deaths, 47.76% of all rounds)
<= 5 energy: 18420 ( 84.2% of self deaths, 52.38% of all rounds)
<= 10 energy: 20290 ( 92.8% of self deaths, 57.70% of all rounds)
<= 20 energy: 21864 (100.0% of self deaths, 62.18% of all rounds)
crossing value: median -0.40 p10 -6.90 p90 0.00 (negative = overshoot of the killing hit)
reserve that WOULD have survived the killing blow (overshoot):
median 0.40 p75 2.00 p90 6.90 p99 15.00 max 19.50
a reserve of 3 would have absorbed it in 17301 self deaths ( 79.1%)
a reserve of 5 would have absorbed it in 18610 self deaths ( 85.1%)
a reserve of 10 would have absorbed it in 20690 self deaths ( 94.6%)
a reserve of 20 would have absorbed it in 21865 self deaths (100.0%)
=== C) time spent at energy<=0 (isDisabled) before the round ends ===
ticks disabled: median 1 p90 18 max 452 total 593030 of 34461805 ticks (1.7208%)
=== D) RECOVERY: self energy rises tick-over-tick (a landed hit) ===
rising transitions: 205754 of 34426642 tick-pairs (0.598%), i.e. ~5.85 per round
self energy just BEFORE the rise: median 45.24 p10 8.04 p90 89.00
climbs that started from a low reserve:
from <= 20: 52256 rises (25.40% of rises)
from <= 10: 25352 rises (12.32% of rises)
from <= 5: 12812 rises ( 6.23% of rises)
from <= 3: 8013 rises ( 3.89% of rises)
P(climb out | low) vs P(die | low), per tick spent at that level:
energy <= 3: 2633881 ticks | climb next tick 0.130% | killed on this tick 0.830% -> dying is 6.4x more likely than recovering
energy <= 5: 3299807 ticks | climb next tick 0.232% | killed on this tick 0.663% -> dying is 2.9x more likely than recovering
energy <= 10: 5002524 ticks | climb next tick 0.365% | killed on this tick 0.437% -> dying is 1.2x more likely than recovering
energy <= 20: 8526129 ticks | climb next tick 0.500% | killed on this tick 0.256% -> dying is 0.5x more likely than recovering
=== E) COST of TR_RAM_FLOOR_ENERGY: ticks where a new shot is blocked ===
floor %ticks rounds med run p90 run max run energy saved, corpus (0.1..3.0 p) per med run @1.0p
3 7.64% 23086 34 299 1104 25822 .. 493853 2.83
5 9.58% 23739 53 330 1104 32351 .. 618714 4.42
10 14.52% 25211 89 433 1141 49044 .. 937973 7.42
20 24.74% 27799 139 621 2059 83590 .. 1598649 11.58
energy saved over the WHOLE corpus, heat-limited: the 0.1..3.0 power
bracket, then the p=1.0 column = what one median suppressed RUN is worth
(1.0 power is the mode of the measured landed-hit histogram).
Median run lengths 34/53/89/139 ticks; one 1.0-power landed hit = 3.0.
CAVEAT, measured: the recorded energy ledger closes EXACTLY on
start + landed-gains - damage = end (residual -0.00 over 35065 rounds),
i.e. these captures DO NOT charge the firepower cost. The cost column
is therefore computed from the game rules, not read off the data.
+141
View File
@@ -0,0 +1,141 @@
#!/usr/bin/env python3
"""j160 open-loop energy measurement for the FIRING FLOOR / EXHAUSTION RAM.
NO battle, NO server, NO counterfactual replay. This reads the ALREADY RECORDED
closed-loop captures under /tmp and reports, per tick:
* how often SELF energy sits below a floor candidate,
* whether the owner's "both low, nobody firing" situation actually occurs,
* who crosses a low-energy line FIRST (self or the enemy),
* how often the enemy is low while we are healthy -- the opportunity the
exhaustion trigger (TR_RAM_ENEMY_ENERGY) would act on.
Deliberately produces NO "damage if we had not fired" number: the offline
harness scored 0/6 on closed-loop questions (docs/offline_harness_trust.md),
so that class of number is worthless here.
Usage: python3 common_libs/tests/measure_ramfloor_energy [glob-dir]
"""
import json, os, glob, statistics, sys, array
ROOTS = sys.argv[1:] or ["/tmp"]
def recordings():
out = []
for root in ROOTS:
for f in glob.glob(os.path.join(root, "**", "*.jsonl"), recursive=True):
if f.endswith(".events.jsonl"): continue
try:
with open(f) as fh: first = fh.readline()
except OSError: continue
if '"closed_loop":true' not in first.replace(" ", ""): continue
out.append(f)
return sorted(out)
def split_rounds(path):
"""Yield per-round [(self, enemy)] from a recording, using its round map."""
rf = path.replace(".jsonl", ".jsonl.rounds.json")
bounds = []
if os.path.exists(rf):
try:
for r in json.load(open(rf))["rounds"]:
bounds.append((r["startTick"], r["startTick"] + r["count"]))
except Exception: bounds = []
rows = []
with open(path) as fh:
for line in fh:
if '"tick"' not in line: continue
try: d = json.loads(line)
except ValueError: continue
if "se" in d and "ee" in d: rows.append((d["tick"], d["se"], d["ee"]))
if not rows: return []
if not bounds: bounds = [(rows[0][0], rows[-1][0] + 1)]
rounds = []
for s, e in bounds:
r = [(se, ee) for t, se, ee in rows if s <= t < e]
if not r: continue
# trim the trailing both-disabled tail: a dead bot sits at ~0 forever
last = max(i for i, (a, b) in enumerate(r) if a > 0 and b > 0)
rounds.append(r[:last + 1])
return rounds
def main():
files = recordings()
rounds = []
for f in files: rounds += split_rounds(f)
if not rounds:
print("no closed-loop recordings found"); return
N = sum(len(r) for r in rounds)
se, ee = array.array("d"), array.array("d")
for r in rounds:
for a, b in r: se.append(a); ee.append(b)
print(f"recordings={len(files)} rounds={len(rounds)} ticks={N}\n")
THR = [5, 10, 15, 20, 25]
print("=== A) SELF energy below a floor candidate (share of ticks) ===")
print(f"{'floor':>5} {'pct':>7} {'rounds hit':>10} {'med run':>8} {'p90 run':>8} {'max run':>8}")
for t in THR:
tot, hit, lens = 0, 0, []
for r in rounds:
cur, got = 0, False
for a, _ in r:
if a <= t: cur += 1; tot += 1; got = True
elif cur: lens.append(cur); cur = 0
if cur: lens.append(cur)
hit += 1 if got else 0
lens.sort()
print(f"{t:>5} {100*tot/N:>6.2f}% {hit:>10} "
f"{statistics.median(lens) if lens else 0:>8.0f} "
f"{lens[int(.9*len(lens))] if lens else 0:>8} "
f"{lens[-1] if lens else 0:>8}")
print("\n=== B) the owner's \"both low, nobody firing\" situation ===")
for t in THR:
both = sum(1 for a, b in zip(se, ee) if a <= t and b <= t)
sonly = sum(1 for a, b in zip(se, ee) if a <= t < b)
eonly = sum(1 for a, b in zip(se, ee) if b <= t < a)
print(f" both<={t:>2}: {100*both/N:6.3f}% self-only {100*sonly/N:6.2f}%"
f" enemy-only {100*eonly/N:6.2f}%")
print("\n=== C) who crosses a low-energy line FIRST (per round) ===")
for t in [10, 15, 20, 25]:
s = e = n = 0
for r in rounds:
fs = next((i for i, x in enumerate(r) if x[0] <= t), None)
fe = next((i for i, x in enumerate(r) if x[1] <= t), None)
if fs is None and fe is None: n += 1
elif fs is None or (fe is not None and fs < fe): s += 1
else: e += 1
m = len(rounds)
print(f" t={t:>2}: self-first {s:>5} ({100*s/m:5.1f}%) "
f"enemy-first {e:>5} ({100*e/m:5.1f}%) neither {n:>4} ({100*n/m:4.1f}%)")
print("\n=== D) \"the enemy can no longer fire\" (server rejects energy <= power) ===")
for p in (0.4, 1.0, 1.95, 3.0):
c = sum(1 for b in ee if b <= p)
c2 = sum(1 for a, b in zip(se, ee) if b <= p and a > 20)
print(f" enemy <= {p:>4}: {100*c/N:6.3f}% and self>20: {100*c2/N:6.3f}%")
print("\n=== E) exhaustion-trigger OPPORTUNITY: enemy low while we are healthy ===")
for t in [10, 20, 30]:
row = " ".join(f"self>{fl}: {100*sum(1 for a,b in zip(se,ee) if b<=t and a>fl)/N:6.2f}%"
for fl in (0, 20, 25))
print(f" enemy<={t:>2} {row}")
print("\n=== F) the ALREADY-SHIPPED finisher (enemy<20 & self>enemy & dist<300) ===")
c = 0
# dist needs the raw file; recompute over the whole trimmed corpus
for f in files:
with open(f) as fh:
for line in fh:
if '"se"' not in line: continue
try: d = json.loads(line)
except ValueError: continue
if "se" not in d: continue
if d["ee"] < 20 and d["se"] > d["ee"] and \
((d["ex"]-d["sx"])**2 + (d["ey"]-d["sy"])**2) ** .5 < 300:
c += 1
print(f" {c} ticks ({100*c/N:.4f}% of the trimmed corpus)")
if __name__ == "__main__":
main()
+132
View File
@@ -0,0 +1,132 @@
## j177 guard: the aim capture actually contains every field it promises, and
## the default gun path is byte-for-byte unchanged.
##
## NO battle, NO Java, NO server, NO GUI.
## nim c -r --path:common_libs --path:ModularBot_garage/src \
## --nimcache:/tmp/nc_j177 common_libs/tests/test_aim_capture.nim
##
## Part 1 (the guard): with the capture ON, build one `aim_scan` and one
## `aim_fire` row from a real recorded tick of
## tools/fixtures/tr_drussgt_vs_modularbot.jsonl, through the SAME
## `aim_capture` row builders ModularBot.nim calls, and assert every required
## key is present and carries the value that was passed in. A capture that
## silently omits a field is worse than none.
##
## Part 2 (default parity): replay the whole recorded fixture through the real
## VirtualTracker + the guns with the capture OFF and compare the per-gun
## fitness report against `fixtures/aim_capture_gunpath.golden`. That golden
## was generated from the PRE-CHANGE tree (`git archive 55e92bc`) with the
## knob unset — regenerating it from this code would defeat the check.
## Part 2b: the same replay over a fixture that ALSO carries aim_scan/aim_fire
## lines must give the identical report, i.e. the annotations are inert.
import std/[json, os, strutils, sequtils, strformat]
import gun_harness/offline_range
import range_guns
import ../../ModularBot_garage/src/aim_capture
const
repoRoot = currentSourcePath().parentDir.parentDir.parentDir
fixtureRel = "tr_drussgt_vs_modularbot.jsonl"
fixture = repoRoot / "tools" / "fixtures" / fixtureRel
goldenPath = currentSourcePath().parentDir / "fixtures" / "aim_capture_gunpath.golden"
annotated = "/tmp/j177_annotated_fixture.jsonl"
ScanKeys = ["tick", "eid", "ex", "ey", "eh", "es", "ee", "sx", "sy", "sh", "ss",
"gun", "bx", "by", "bh", "bs", "blst", "age", "rlock", "rdir",
"lbear", "boff"]
FireKeys = ["tick", "eid", "gun", "power", "aim", "turret", "terr", "heat",
"ax", "ay", "tof", "ex", "ey", "eh", "es", "ee", "sx", "sy", "lst"]
var failures = 0
proc check(name: string, ok: bool) =
if ok: echo "PASS: ", name
else:
echo "FAIL: ", name
inc failures
proc replayReport(path: string): string =
## Per-gun shots/hits over the whole fixture, through the REAL tracker and
## the REAL guns, with the capture OFF.
let res = replayFixture(loadFixture(path), buildAllGunDrivers(seed = 1))
for r in res:
result.add r.name & " shots=" & $r.shots & " hits=" & $r.hits & "\n"
# ── Part 1: the records carry every field ────────────────────────────────────
proc fieldCheck() =
let states = loadFixture(fixture).states
check("fixture loaded", states.len > 1000)
let ws = states[900]
let scan = scanRow(AimScan(
tick: 900, eid: 7,
ex: ws.enemyX, ey: ws.enemyY, eh: ws.enemyHeading, es: ws.enemySpeed,
ee: ws.enemyEnergy, sx: ws.selfX, sy: ws.selfY, sh: ws.selfHeading,
ss: ws.selfSpeed, gun: 5,
bx: ws.enemyX - 8.0, by: ws.enemyY - 8.0, bh: ws.enemyHeading,
bs: ws.enemySpeed, blst: 896,
rlock: true, rdir: 42.5, lbear: bearing(ws.enemyX - 8, ws.enemyY - 8, ws.selfX, ws.selfY),
boff: -12.25))
let fire = fireRow(AimFire(
tick: 900, eid: 7, gun: 5, power: 1.6, aim: 88.25, turret: 74.0,
terr: 14.25, heat: 0.31, ax: ws.enemyX + 40.0, ay: ws.enemyY - 15.0,
tof: 12.5, ex: ws.enemyX, ey: ws.enemyY, eh: ws.enemyHeading,
es: ws.enemySpeed, ee: ws.enemyEnergy, sx: ws.selfX, sy: ws.selfY, lst: 897))
for k in ScanKeys:
check("aim_scan has " & k, scan[ScanRecordKey].hasKey(k))
for k in FireKeys:
check("aim_fire has " & k, fire[FireRecordKey].hasKey(k))
check("aim_scan carries the gun id", scan[ScanRecordKey]["gun"].getInt() == 5)
check("aim_fire carries the gun id", fire[FireRecordKey]["gun"].getInt() == 5)
check("aim_scan records the scan parity age",
scan[ScanRecordKey]["age"].getInt() == 4)
check("aim_fire records the source tick (parity)",
fire[FireRecordKey]["lst"].getInt() == 897)
check("aim_fire carries the aim angle", fire[FireRecordKey]["aim"].getFloat() == 88.25)
check("aim_fire carries the turret error", fire[FireRecordKey]["terr"].getFloat() == 14.25)
check("aim_fire carries the WorldState the model consumed",
fire[FireRecordKey]["ex"].getFloat() == ws.enemyX and
fire[FireRecordKey]["ey"].getFloat() == ws.enemyY)
echo "\n--- aim_scan record ---"
echo $scan
echo "--- aim_fire record ---"
echo $fire
echo ""
# ── Part 2: default gun-path parity ──────────────────────────────────────────
proc parityCheck() =
let clean = replayReport(fixture)
let ticks = loadFixture(fixture).states.len
if defined(aimCapGenGolden):
var g = "# j177 gun-path default-parity golden.\n"
g.add "# Generated from the PRE-CHANGE tree (`git archive 55e92bc`) with\n"
g.add "# TR_CAPTURE_AIM unset, over the whole " & fixtureRel & ".\n"
g.add "# Format: <gun> shots=<n> hits=<n>, one line per rack gun\n"
g.add clean
createDir(goldenPath.parentDir)
writeFile(goldenPath, g)
echo "wrote ", goldenPath, " (", ticks, " ticks)"
return
check("golden exists", fileExists(goldenPath))
if not fileExists(goldenPath): return
let g = lines(goldenPath).toSeq().filterIt(not it.startsWith("#")).join("\n").strip()
check("gun path byte-for-byte identical over " & $ticks & " ticks", g == clean.strip())
# 2b: the annotation lines must be inert for the replay.
let extra = @[
$scanRow(AimScan(tick: 0, eid: 1, ex: 1.0, ey: 2.0, eh: 3.0, es: 4.0, ee: 5.0,
sx: 6.0, sy: 7.0, sh: 8.0, ss: 9.0, gun: 3,
bx: 0.0, by: 0.0, blst: -1, rlock: true, rdir: 1.0, lbear: 2.0)),
$fireRow(AimFire(tick: 1, eid: 1, gun: 3, power: 1.5, aim: 1.0, turret: 2.0,
terr: 3.0, heat: 0.0, ax: 1.0, ay: 1.0, tof: 1.0,
ex: 1.0, ey: 1.0, eh: 1.0, es: 1.0, ee: 1.0,
sx: 1.0, sy: 1.0, lst: 0))]
writeFile(annotated, (lines(fixture).toSeq() & extra).join("\n"))
check("aim records do not perturb the replay", replayReport(annotated) == clean)
removeFile(annotated)
fieldCheck()
parityCheck()
echo (if failures == 0: "\nALL PASS" else: "\n" & $failures & " FAILURE(S)")
quit(if failures == 0: 0 else: 1)
+236
View File
@@ -40,8 +40,13 @@
import std/[os, json, random, math, sequtils, sets]
import std/strutils except fromHex # `fromHex` would clash with color.fromHex
import gun_harness/gun_interface
import movements/ram_decision
# Private-field access: include (do NOT import) the shipped mover.
include movements/the_floor_is_lava
# j165: the TFIL-RING fork's arrival commitment. `tfil_ring_replay` includes
# the ring mover (for its PRIVATE commitTarget/commitTicks) and re-exports it,
# so this is the only ring import the guard needs.
import tfil_ring_replay
const repoRoot = currentSourcePath().parentDir.parentDir.parentDir
const fixtureRel = "tr_drussgt_vs_modularbot.jsonl"
@@ -1479,6 +1484,234 @@ proc testJ154() =
check "j154: clearing the knob restores today's behaviour exactly",
TfilHoldMaxTicks == 0
# ── j165: the TFIL-RING arrival commitment (TR_TFIL_RING_*, default OFF) ─────
# The same two mechanisms ported from `the_floor_is_lava.nim` (j144) onto
# RING-SPECIFIC env names, so the two forks never share a namespace by
# accident. What must hold, and nothing more:
# 1. DEFAULT PARITY: with both knobs unset the ring mover is byte-for-byte
# the PRE-CHANGE ring mover over the whole fixture replay.
# 2. the arrival commitment ENGAGES: the committed target is actually
# REACHED far more often, and there are strictly fewer mid-flight
# re-targets than the shipped fixed 5-tick dwell.
# 3. the no-reversal pool is SPEED-GATED: the stream may only diverge from
# the unarmed build on a tick whose |selfSpeed| is below the gate, and the
# pool itself can never be emptied.
when declared(TfilRingCommitArrival):
proc ringRunStats(): tuple[picks, reached: int] =
## Count picks over the replay and how many of them REPLACED a target the bot
## had actually stood on (< 18px, the same arrival radius the mover uses).
## Under a fixed dwell this is rare: the target is replaced mid-flight.
randomize(Seed)
var m = initTFILRing()
let states = loadStates()
let starts = loadRoundStarts()
var prev = (x: 0.0, y: 0.0)
var hadPick = false
for i in 0..<states.len:
if i == 0 or i in starts:
m.resetRound()
hadPick = false
let ws = states[i]
let before = ringPicks(m)
discard m.computeMove(ws)
if ringPicks(m) != before:
inc result.picks
if hadPick and
sqrt((ws.selfX - prev.x)^2 + (ws.selfY - prev.y)^2) < RingArriveRadius:
inc result.reached
prev = ringTarget(m)
hadPick = true
proc testJ165() =
doAssert fileExists(RingGoldenPath), "missing golden: " & RingGoldenPath
let recs = replayRing() # both knobs unset; the shipped fire detector, as
# the golden was generated
var golden: seq[string]
for rawLine in lines(RingGoldenPath):
if rawLine.startsWith("#"): continue
let line = rawLine.strip()
if line.len > 0: golden.add line
check "j165: ring golden covers the whole fixture (>= 15000 ticks)",
golden.len >= 15000
check "j165: the unset replay covers the same number of ticks",
recs.len == golden.len
var firstDiff = -1
for i in 0..<min(recs.len, golden.len):
if ringRecLine(recs[i]) != golden[i]:
firstDiff = i
break
check "j165: BOTH KNOBS UNSET IS BYTE-FOR-BYTE THE PRE-CHANGE RING MOVER " &
"(speed/turnRate/target/commitTicks) over " & $recs.len & " ticks",
firstDiff < 0
if firstDiff >= 0:
echo " first divergence at tick index ", firstDiff, ": got [",
ringRecLine(recs[firstDiff]), "] want [", golden[firstDiff], "]"
delEnv("TR_TFIL_RING_COMMIT_ARRIVAL")
delEnv("TR_TFIL_RING_NOREV_SPEED")
loadTfilRingCommitEnv()
check "j165: both knobs DEFAULT OFF with the env deleted",
(not TfilRingCommitArrival) and TfilRingNoRevSpeed == 0.0
putEnv("TR_TFIL_COMMIT_ARRIVAL", "1") # tfil's names must NOT leak across
putEnv("TR_TFIL_NOREV_SPEED", "9")
loadTfilRingCommitEnv()
check "j165: the env names are RING-SPECIFIC — tfil's " &
"TR_TFIL_COMMIT_ARRIVAL / TR_TFIL_NOREV_SPEED leave ring untouched",
(not TfilRingCommitArrival) and TfilRingNoRevSpeed == 0.0
delEnv("TR_TFIL_COMMIT_ARRIVAL")
delEnv("TR_TFIL_NOREV_SPEED")
# 2. the arrival commitment engages
let off = ringRunStats()
TfilRingCommitArrival = true
let on = ringRunStats()
TfilRingCommitArrival = false
check "j165: ARRIVAL ENGAGES — a committed target is actually REACHED on " &
$on.reached & "/" & $on.picks & " picks, vs " & $off.reached & "/" &
$off.picks & " on the shipped fixed 5-tick dwell",
on.picks > 0 and (on.reached.float / on.picks.float) >
(off.reached.float / off.picks.float)
check "j165: ... and it holds instead of re-targeting mid-flight: " &
$on.picks & " picks vs " & $off.picks & " on the same replay",
on.picks < off.picks
# 3. the no-reversal pool is speed-gated, and can never be emptied
check "j165: norevPool with the gate off returns EVERY candidate",
norevPool(@[10.0, 120.0, -170.0], 0.0) == @[0, 1, 2]
check "j165: norevPool armed keeps only the non-reversing candidates",
norevPool(@[10.0, 120.0, -170.0], 4.0) == @[0]
check "j165: norevPool never empties — all-behind falls back to the least bad",
norevPool(@[170.0, 150.0, 179.0], 4.0) == @[1] and
norevPool(@[170.0, 179.0], 4.0).len > 0
# Engine gate: the streams can only DIVERGE at a gated pick. (Divergence
# then persists for many ticks — a different target steers differently — so
# "every diverging tick is slow" is the wrong claim; "the FIRST divergence
# is a slow-tick pick" is the right one.)
TfilRingNoRevSpeed = 4.0
let armed = replayRing()
TfilRingNoRevSpeed = 0.0
var nDiv = 0
var firstArmed = -1
for i in 0..<min(recs.len, armed.len):
if ringRecLine(recs[i]) != ringRecLine(armed[i]):
inc nDiv
if firstArmed < 0: firstArmed = i
let states = loadRingStates()
check "j165: the no-reversal treatment APPLIES (gate 4.0 changes " & $nDiv &
" of " & $recs.len & " ticks — an A/B whose treatment never fires is worthless)",
nDiv > 0
check "j165: ... and it is SPEED-GATED: the first divergence (tick " &
$firstArmed & ") is a PICK made at |selfSpeed| = " &
$(if firstArmed >= 0: abs(states[firstArmed].selfSpeed) else: -1.0) &
" < 4.0",
firstArmed >= 0 and armed[firstArmed].picked and
abs(states[firstArmed].selfSpeed) < 4.0
# ── j160: the energy-reserve FIRING FLOOR + ENEMY-EXHAUSTION ram trigger ─────
proc testJ160() =
## j160 — the energy-reserve FIRING FLOOR (TR_RAM_FLOOR_ENERGY) and the
## ENEMY-EXHAUSTION ram trigger (TR_RAM_ENEMY_ENERGY). Both default 0.0 =
## today's behaviour. Pure logic only; no bot, no server.
const F = 5.0
# 1. DEFAULT PARITY, floor: with the knob unset the floor blocks NOTHING over
# a grid that includes every measured low-energy region (<=5: 9.4% of
# ticks in the 8612-round closed-loop corpus, p01 self energy = 0.2).
var blocked = 0
for e in [-1.0, 0.0, 0.1, 1.0, 2.5, 5.0, 7.0, 20.0, 46.0, 100.0, 120.0]:
if fireFloorBlocks(0.0, e): inc blocked
check "j160: TR_RAM_FLOOR_ENERGY unset (=0) suppresses fire on NO input, " &
"so the default path is byte-for-byte today's (" & $blocked & " blocked)",
blocked == 0
# 2. DEFAULT PARITY, trigger: with the knob unset the reason over a grid is
# the PRE-j160 result — the new arm is unreachable, and every old arm still
# returns exactly what it returned before.
var newArm, mismatch: int
for dist in [10.0, 100.0, 299.0, 301.0, 500.0]:
for se in [0.5, 5.0, 19.0, 21.0, 60.0, 100.0]:
for ee in [0.0, 1.0, 5.0, 19.9, 20.0, 40.0, 100.0]:
let inp = RamInputs(dist: dist, selfEnergy: se, enemyEnergy: ee)
let got = ramTrigger(inp)
if got == rrExhausted: inc newArm
# the pre-j160 body, verbatim
var want: RamReason = rrNone
if ee > 0.0:
if dist < RamFinisherDist and ee < RamFinisherEnergy and se > ee: want = rrFinisher
elif se < RamDesperationEnergy and ee < RamDesperationEnergy and dist < RamDesperationDist: want = rrDesperation
if got != want: inc mismatch
check "j160: TR_RAM_ENEMY_ENERGY unset (=0) makes the exhaustion arm " &
"unreachable (" & $newArm & " hits) and leaves the old finisher / " &
"desperation verdicts identical (" & $mismatch & " mismatches over 210 " &
"input combinations)",
newArm == 0 and mismatch == 0
# 3. the floor suppresses AT the threshold, not above it.
check "j160: the floor blocks AT the threshold (self == 5.0 <= floor 5.0)",
fireFloorBlocks(F, 5.0)
check "j160: the floor blocks just below it and not just above it — one " &
"tick of hysteresis, no dead band",
fireFloorBlocks(F, 4.999) and not fireFloorBlocks(F, 5.001)
# 4. it never suppresses while we are healthy, at ANY floor setting.
var healthy = 0
for floor in [0.5, 1.0, 5.0, 20.0, 25.0, 40.0]:
for e in [floor, 46.0, 60.0, 100.0, 120.0]:
if e > floor and fireFloorBlocks(floor, e): inc healthy
check "j160: the floor NEVER blocks above its own threshold — healthy energy " &
"fires for every floor/energy pair (" & $healthy & " violations)",
healthy == 0
# 5. the trigger switches to ram EXACTLY at the tolerance, no earlier.
let inp2 = RamInputs(dist: 100.0, selfEnergy: 60.0, enemyEnergy: 10.0)
check "j160: the exhaustion trigger fires EXACTLY at TR_RAM_ENEMY_ENERGY " &
"(enemy 10.0 <= tol 10.0) and not one tick above (10.001)",
ramTrigger(inp2, enemyEnergyTol = 10.0) == rrExhausted and
ramTrigger(RamInputs(dist: 100.0, selfEnergy: 60.0, enemyEnergy: 10.001),
enemyEnergyTol = 10.0) != rrExhausted
# 6. the surplus guard survives: 0.6/contact is applied to BOTH bots, so we
# only ram an exhausted enemy while WE hold the surplus.
check "j160: the exhaustion trigger keeps the finisher's energy-surplus " &
"guard — an exhausted enemy while WE are lower is a ram we lose",
ramTrigger(RamInputs(dist: 250.0, selfEnergy: 2.0, enemyEnergy: 3.0),
enemyEnergyTol = 10.0) != rrExhausted
# 7. it is the finisher's own shape: the existing range guard still applies.
check "j160: the exhaustion trigger keeps the finisher's 300px range guard " &
"(enemy exhausted at 301px is not a ram)",
ramTrigger(RamInputs(dist: 301.0, selfEnergy: 60.0, enemyEnergy: 3.0),
enemyEnergyTol = 10.0) != rrExhausted
# 8. COMPOSITION: ramming WINS. The floor is the reserve FOR the ram, so once
# the ram is engaged the reserve is being spent, not held. No starvation:
# the floor alone can never make us unable to close.
check "j160: RAMMING wins the conflict — at self energy 0.1 (below any " &
"sane floor) an engaged ram is never floor-blocked, so the two " &
"compose instead of deadlocking each other",
fireFloorBlocks(F, 0.1, ramming = true) == false and
fireFloorBlocks(F, 0.1, ramming = false) == true
# 9. and the floor can never be engaged at all without self energy being
# genuinely low — the guard the owner asked for, stated as a property.
var unsafe = 0
for floor in [0.5, 5.0, 20.0, 25.0]:
for e in [0.0, 1.0, 10.0, 25.0, 50.0, 100.0]:
if fireFloorBlocks(floor, e, ramming = false) and e > floor: inc unsafe
check "j160: the floor is a LOW-ENERGY guard only — it can never suppress " &
"fire while we are healthy, in any configuration (" & $unsafe & ")",
unsafe == 0
# 10. both knobs together: the exhausted trigger still fires while the floor
# is at full strength, and the floor still holds when no ram is engaged.
check "j160: both knobs ON compose — exhaustion (enemy 3, us 60) still " &
"ram-bypasses the floor, and a non-ramming low-energy tick still holds",
fireFloorBlocks(F, 3.0, ramming = false) and
ramTrigger(RamInputs(dist: 100.0, selfEnergy: 60.0, enemyEnergy: 3.0),
enemyEnergyTol = 10.0) == rrExhausted and
not fireFloorBlocks(F, 3.0, ramming = true)
# ── driver ───────────────────────────────────────────────────────────────────
testDefaultParity()
@@ -1494,6 +1727,9 @@ when declared(loadTfilCommitEnv):
testJ150()
testJ154()
testJ153()
when declared(TfilRingCommitArrival):
testJ165()
testJ160()
if failures > 0:
echo "\n", failures, " check(s) FAILED"
+109
View File
@@ -0,0 +1,109 @@
## Fixture replay for the TFIL-RING mover (`movements/the_floor_is_lava_ring.nim`).
##
## It `include`s the mover (not `import`s it) so the replay can read the
## private `commitTarget` / `commitTicks` — the same reason
## `test_tfil_commit_env.nim` includes `the_floor_is_lava.nim`. Living in its
## OWN module keeps those privates in this module's scope, so a file that
## includes BOTH movers still compiles (there is no name clash between them:
## this one only sees ring's).
##
## `--path:common_libs` relative to the repo root.
##
## GOLDEN GENERATION (j165 default parity). Compile this file with the golden
## flag against the PRE-CHANGE ring, e.g. from a `git show HEAD:...` tree:
##
## TFIL_RING_GOLDEN_OUT=<path> \
## nim c -r --path:. -d:tfilRingGenGolden common_libs/tests/tfil_ring_replay.nim
##
## Nothing here references a j165 symbol, so the SAME file generates the golden
## on the pre-change mover and checks it on the post-change one. Regenerating
## the golden from the new code would defeat the check — only do that after a
## DELIBERATE change to the ring defaults.
import std/[os, json, random, math]
import std/strutils except fromHex
import gun_harness/gun_interface
include movements/the_floor_is_lava_ring
const
Seed = 20250923 ## same seed as the tfil replay: comparable arms
ArenaW = 800.0
ArenaH = 600.0
fixtureRel = "tr_drussgt_vs_modularbot.jsonl"
const RingGoldenPath* = currentSourcePath().parentDir / "fixtures" /
"tfil_ring_commit_default.golden"
type RingTickRec* = object
spd, trn: float ## the emitted MoveCommand
tx, ty: float ## where we are steering to
ct: int ## ticks left on the commitment
picked*: bool ## this tick made a NEW pick (not in the golden)
# Thin accessors for the mover's PRIVATE per-round state. The guard needs them
# to measure what the commitment did; the mover's own API stays unchanged.
proc ringPicks*(m: TFILRingModule): int = m.picks
proc ringTarget*(m: TFILRingModule): tuple[x, y: float] = m.commitTarget
proc ringRecLine*(r: RingTickRec): string =
$r.spd & " " & $r.trn & " " & $r.tx & " " & $r.ty & " " & $r.ct
proc loadRingStates*(): seq[WorldState] =
let path = currentSourcePath().parentDir.parentDir.parentDir / "tools" /
"fixtures" / fixtureRel
for rawLine in lines(path):
let line = rawLine.strip()
if line.len == 0: continue
let n = parseJson(line)
if n.hasKey("meta") or n.hasKey("end"): continue
let ex = n["ex"].getFloat()
let ey = n["ey"].getFloat()
result.add WorldState(
enemyX: ex, enemyY: ey,
enemyHeading: n["eh"].getFloat(), enemySpeed: n["es"].getFloat(),
enemyEnergy: n["ee"].getFloat(),
selfX: n["sx"].getFloat(), selfY: n["sy"].getFloat(),
selfHeading: n["sh"].getFloat(), selfSpeed: n["ss"].getFloat(),
selfEnergy: n["se"].getFloat(),
arenaWidth: ArenaW, arenaHeight: ArenaH,
tick: n["tick"].getInt(),
enemies: @[EnemyInfo(id: 1, x: ex, y: ey,
heading: n["eh"].getFloat(), speed: n["es"].getFloat(),
energy: n["ee"].getFloat())])
proc loadRingStarts*(): seq[int] =
let side = currentSourcePath().parentDir.parentDir.parentDir / "tools" /
"fixtures" / "drussgt_meta" / (fixtureRel & ".rounds.json")
if not fileExists(side): return
for r in parseFile(side)["rounds"]:
result.add r["startTick"].getInt()
proc replayRing*(): seq[RingTickRec] =
## Drive the REAL ring `computeMove` over the recorded WorldState stream with a
## fixed seed, touching no env knob. With every j165 knob unset this is the
## pre-change code path exactly.
randomize(Seed)
var m = initTFILRing()
let states = loadRingStates()
let starts = loadRingStarts()
for i in 0..<states.len:
if i == 0 or i in starts: m.resetRound()
let before = m.picks
let cmd = m.computeMove(states[i])
result.add RingTickRec(spd: cmd.speed, trn: cmd.turnRate,
tx: m.commitTarget.x, ty: m.commitTarget.y,
ct: m.commitTicks, picked: m.picks != before)
when isMainModule and defined(tfilRingGenGolden):
block:
let recs = replayRing()
let outPath = getEnv("TFIL_RING_GOLDEN_OUT", RingGoldenPath)
var g = "# TFIL-RING default-path parity golden (j165).\n"
g.add "# Generated from the PRE-CHANGE ring mover (`git show HEAD:...`) with\n"
g.add "# every j165 knob UNSET, over the whole\n"
g.add "# tools/fixtures/tr_drussgt_vs_modularbot.jsonl replay.\n"
g.add "# Format: speed turnRate targetX targetY commitTicks\n"
for r in recs: g.add ringRecLine(r) & "\n"
createDir(outPath.parentDir)
writeFile(outPath, g)
echo "wrote ", outPath, " (", recs.len, " ticks)"
+136 -6
View File
@@ -47,13 +47,123 @@ misled people:**
warning at all**.
2. **Some flags are presence-based, not value-based.** They are read with
`existsEnv`, so **`TR_POWER_LOG=0` turns the log ON** (any value does).
Presence-based: `TR_POWER_LOG`, `TR_RAM_LOG`, `TR_MOVEMENT_LOG`,
`TR_RECORD_WORLDSTATE`, `TR_RADAR_FORCE_SPIN`, `TR_RADAR_SCANLOG`,
`TR_TRACKER_PROBE`. Value-based (`0`/`false`/`off` really disable):
`TR_ENV_REPORT`, `TR_TMHORIZON_LOG`, `TR_TMHORIZON_ACCURVE`,
Value-based (`0`/`false`/`off` really disable): `TR_ENV_REPORT`,
`TR_TMHORIZON_LOG`, `TR_TMHORIZON_ACCURVE`,
`TR_TMHORIZON_RESET_ON_TARGET`, `TR_POWER_POLICY`, `TR_POWER_FINISH_KILL`,
`TR_RAM_OPPORTUNITY`, `TR_RAM_PLAN`, `GUN_SELECTOR_POOL`,
`TR_VBULLET_ADMIT_ONLY`.
`TR_VBULLET_ADMIT_ONLY`, `TR_LEADGAIN_LOG`, `TR_LEARNED_LOG`,
`TR_LEARNED_GLOBAL`, `TR_LEARNED_REAL_EVENTS`, `TR_FIRE_FIX`,
`TR_STRAFE_FIRE_FIX`, `TR_STRAFE_ESCAPE`, `TR_STRAFE_HEAT_GRID`,
`TR_TFIL_HEAT_TIME`, `TR_TFIL_PILLAR_ON`, `TR_TFIL_DIAG`, `TR_TFIL_NO_REV`,
`TR_TFIL_HOLD_WHEN_TRAPPED`, `TR_TFIL_COMMIT_ARRIVAL`,
`TR_TFIL_RING_COMMIT_ARRIVAL`, `TR_VBULLET_DEBUG`, `TR_GEO_DEBUG`,
`TR_DEBUG_DRAW`, `TR_RESULT_LOG`.
### THE FULL PRESENCE-GATED LIST (j172, from `grep -rn existsEnv`)
The list above was **incomplete**: it was missing four knobs. The complete set,
from `grep -rn 'existsEnv' ModularBot_garage/src common_libs | grep -v /tests/`,
is:
| knob | read at | what it logs / does |
|---|---|---|
| `TR_POWER_LOG` | `ModularBot.nim:145` | one line per power-decision CHANGE |
| `TR_RAM_LOG` | `ram_decision.nim:119` | one line per ram start/stop + reason |
| `TR_MOVEMENT_LOG` | `the_floor_is_lava_ring.nim:192` | movement band / range-class changes |
| `TR_STRAFE_LOG` | `strafe.nim:402` | one line per strafe tile pick |
| `TR_SURF_LOG` | `wave_surfer.nim:102` | one line per wave-surfing decision |
| `TR_FIRE_DIAG` | `ModularBot.nim:137`, `the_floor_is_lava.nim:299`, `strafe.nim:415` | per-reading fire-detection tick/raw/correction |
| `TR_RECORD_WORLDSTATE` | `ModularBot.nim:70` | dump every observed world state |
| `TR_RADAR_SCANLOG` | `ModularBot.nim:80` | log every radar scan tick |
| `TR_RADAR_FORCE_SPIN` | `ModularBot.nim:79` | force the old full-360 spin radar |
| `TR_TRACKER_PROBE` | `ModularBot.nim:86` | dump the enemy-tracker internals |
**For these ten, `NAME=0` turns the feature ON.** OFF means the line is ABSENT.
That is why `.env.example` shows every one of them commented out: there is no
"off" spelling, only absence. To disable one, delete its line.
Two more are read with `existsEnv` but are *not* features — `TR_ENV_FILE` (an
empty value is the correct "use the default" spelling) and the loader's own
`existsEnv(e.key)` conflict check.
**And one label is misleading:** `env_report.nim` prints `TR_TFIL_DIAG`,
`TR_TFIL_HOLD_WHEN_TRAPPED`, `TR_TFIL_COMMIT_ARRIVAL` and
`TR_TFIL_RING_COMMIT_ARRIVAL` through `sourceOfPresence`, but all four are read
**by value** (`getEnvBool`) in the source. The value is always right; only the
`(source: ...)` label is affected. Do not read that label as "presence-gated".
---
## ONE EXPERIMENT, END TO END (mirrored from `.env.example`)
Pick ONE knob. Here it is `TR_TFIL_ARRIVE_TICKS`; the shape is the same for
every knob.
```sh
# 1. write the arm as its own file — that is how you GUARANTEE the arm, because
# nothing else can be applied on top of it
cat > /tmp/arm_arrive15.env <<'EOF'
TR_MOVEMENT=tfil
TR_TFIL_ARRIVE_TICKS=15.0
EOF
# 2. RESTART THE BOT. Env is read ONCE, at boot (module init). Editing .env
# while the bot runs changes nothing; there is no live reload.
cd ModularBot_garage && ./ModularBot.sh # or restart the GUI
# 3. CONFIRM IT TOOK EFFECT, before reading a single result line.
# `source: .env` = your file was applied. `source: default` = it was not.
grep '^\[env\]' /tmp/modularbot_stdout.log | grep -E 'env file|ARRIVE_TICKS'
# [env] env file: /tmp/arm_arrive15.env (source: TR_ENV_FILE)
# [env] TR_TFIL_ARRIVE_TICKS = 15.0 (source: .env)
# 4. point at the file instead of copying it into .env:
TR_ENV_FILE=/tmp/arm_arrive15.env ./out/ModularBot
./out/ModularBot --env-file /tmp/arm_arrive15.env
# A file you ASKED for and that does not exist stops the bot with an error; a
# missing default .env is silent. This is what an A/B run does: one frozen
# binary, one env file per arm.
# 5. what is switched on at all:
grep '^\[modules\]' /tmp/modularbot_stdout.log
```
## SAFE TO EXPERIMENT WITH RIGHT NOW
The honest list is SHORT: after the recent campaign most experimental knobs are
either never live-tested or already measured null/harmful, and `.env.example`
says so on every one of them. These four are safe in the sense that they either
cannot change a decision, or are the ones a measurement actually supports.
| knob | what changes | what to watch | a good result |
|---|---|---|---|
| `TR_GEO_DEBUG=on` | draw-only geometry overlay | the circles on the two tanks, each heading line | you can SEE the tile the picker chose; it cannot change a decision |
| `TR_VBULLET_DEBUG=1` + `TR_VBULLET_DEBUG_GUN=all` | draw-only: each admitted gun's virtual bullets | travelled path, aim ring, miss vector | you can see the signal the selector ranks on; also draw-only |
| `TR_TFIL_DIAG=on` | fills the per-pick loss histogram (tfil only) | the tfil pick log line | `sReach/sCool/sSafe/sCand` tell you where tiles are lost; provably moves no command |
| `TR_MOVEMENT=tfil` | runs the long-shipped mover | nothing to compare against | you are reproducing an older, documented behaviour; only do it together with the `TR_TFIL_*` knobs |
## ALREADY REJECTED OR MEASURED NULL — WITH THE NUMBER
Do not re-run these by accident.
| knob / arm | result | where |
|---|---|---|
| `TR_TFIL_GEO_MODE=both-rej` + `TR_TFIL_GEO_TAU=60` | **REJECTED** live, 420 battles, 15 opponents: damage/run **-8.83**, p(sign-flip) **0.0061**, Wilcoxon p 0.011. Round wins null. Offline it did what was predicted (arrivals 4.5% -> 29.4%) and that is why it is bad: +26 px distance on 15/15, less damage. | `docs/tfil_geo_ab.md` |
| `TR_RAM_FLOOR_ENERGY=5` | **CLEAN NULL**: **-0.018 wins/run**, p(sign-flip) **0.7676**, under a **0.1420 wins/run** MDE, 900 battles. Mechanism fired on 0.04% of ticks (~200x less than the offline ruler said). Do not re-test: more runs buy resolution on an effect that is not there. | `docs/ram_floor_exhaustion_ab.md` |
| `TR_RAM_FLOOR_ENERGY=10/20` | measured COSTLY offline (20 blocked 24.7% of all ticks) and the zone it guards is nearly empty: only 4.8% of shots are taken below 10 energy. | same |
| `TR_TMHORIZON_WINDOW=150` | **MEASURED HARMFUL** live: 26.5% round wins vs 49.0% for the shipped rack, p = 0.036. Keep 0. | env_reference "Measured verdicts" |
| `TR_POWER_POLICY=0` | **MEASURED HARMFUL** live: real hit rate 10.61% -> 7.88%, p = 0.0012. | same |
| `TR_TFIL_HEAT_TIME=1` | **MEASURED HARMFUL** live at every tau tried (3/5/9/15); tau15 alone is -22 damage/run, p = 0.046. | `docs/tfil_heat_pillar_ab.md` |
| `TR_MOVEMENT=tfil_ring` | **MEASURED**: round wins 16/49 -> 6/49, p = 0.012. Best live hit rate of anything measured, half the survival. | same / env_reference |
| the full `TR_RACK_*` rack | **MEASURED NEGATIVE VALUE**: Pattern ALONE beats the full 13-gun rack, p = 0.0012. Adding guns costs rounds. | `docs/gun_rack_analysis.md` |
| `TR_TFIL_TURN_BIAS=9` + `_TURN_REF_DEG=0` | **LIVE NULL**: +0.15 wins/run, p(sign) 0.244, under a 0.30 MDE, 300 battles. | `docs/movement_campaign.md` (j145) |
| `TR_RAM_OPPORTUNITY=on` | **MEASURED not to convert**: 0/59 opportunity -> contact. The finisher ram is the only path that converts, and it is always on. | env_reference |
| `TR_TFIL_PILLAR_ON=1` | live-tested, and the recommendation to revert to pillar-on was **OVERRULED by the owner**: the contrast is inside the MDE (33 damage/run, 1.22 wins/run at n=10). Pillar stays removed. | `docs/tfil_heat_pillar_ab.md` |
> **A null is only a null at the resolution that run reached.** The frozen
> 15-opponent panel at 14 runs/arm resolves ~0.17 wins/run and ~7.65 damage/run;
> the j163 run resolved 0.1420 wins/run. "Clean null" here means *no effect at or
> above that size* — not *no effect*.
---
@@ -226,6 +336,8 @@ shooting *look* like missing).
| `TR_POWER_POLICY` | `1` | `0` = uncapped control arm (today's behaviour without the energy policy) |
| `TR_POWER_LOG` | off | **presence-based**: if the var exists at all (even `=0`) log each power decision |
| `TR_RAM_LOG` | off | **presence-based**: log ram on/off with the reason |
| `TR_RAM_FLOOR_ENERGY` | `0.0` | j160 firing floor: at/below this self energy we start no NEW shot, holding a ram reserve. `0` = off. `~5` = one p=1.0 return hit + two 0.1 shots. Bypassed while ramming |
| `TR_RAM_ENEMY_ENERGY` | `0.0` | j160 exhaustion trigger: last-scanned enemy energy `<=` this -> ram mode. `0` = off. Keeps the finisher's energy-surplus and 300px guards |
| `TR_MOVEMENT_LOG` | off | **presence-based**: log movement band/class changes |
| `TR_TMHORIZON_LOG` | off | value-based: `1` = let the horizon TM gun log its thinking per shot |
| `TR_ENV_REPORT` | `1` | print the boot-time `[env]` report to stdout; `0` suppresses it |
@@ -417,8 +529,10 @@ actually removed, so **overkill scores nothing**. Damage is `4p` (p≤1) / `6p-2
| `TR_TFIL_RANGE_K` | `60` | softness of the falloff outside the band |
| `TR_TFIL_CORRIDOR_HEAT` | `10.0` | heat added along a bullet's corridor to the wall |
| `TR_TFIL_WALL_HOTNESS` | `15.0` | peak wall radiance |
| `TR_TFIL_RING_COMMIT_ARRIVAL` | off | **presence/value**: `on` = hold the committed dodge tile until we are actually ON it, instead of the fixed 5-tick dwell. Default path byte-identical. **NEVER LIVE-TESTED** |
| `TR_TFIL_RING_NOREV_SPEED` | `0.0` | px/tick. Below this self speed a mid-flight target switch may not turn the bot around; `0.0` = off (the pre-knob behaviour). **NEVER LIVE-TESTED** |
Defaults read in `the_floor_is_lava_ring.nim:116-133`.
Defaults read in `the_floor_is_lava_ring.nim:188-196` and `:173-175`.
**Discrepancy to be aware of:** that file's header comment still says
`CORRIDOR_HEAT default 5.0` / `WALL_HOTNESS default 10.0` (the pre-retune values);
the **code defaults are `10.0` / `15.0`** (commit `7f6ccfb`). The code is the
@@ -502,6 +616,7 @@ Measured byte-identical on `bmPath`. Kept for experiments; leave at defaults.
| `TR_RADAR_SCAN_LOG_PATH` | `/tmp/radar_scan_log.jsonl` | where that goes |
| `TR_TRACKER_PROBE` | off | presence-based; per-tick enemy tracker vs server enemy count |
| `TR_TRACKER_PROBE_PATH` | `/tmp/tracker_probe.jsonl` | where that goes |
| `TR_CAPTURE_AIM` | off | presence-based; append `aim_scan` / `aim_fire` records — what the lead model BELIEVED (gun id, blst, age, boff, aim, turret, terr, heat, ax/ay, tof) to the same capture file as `TR_RECORD_WORLDSTATE` (needs `TR_RECORD_WORLDSTATE=1`) |
| `TR_VBULLET_DEBUG` | off | presence-based; overlay the virtual bullets in the GUI debug graphics (see below) |
| `TR_VBULLET_DEBUG_GUN` | selected gun | `all`/`*` for every gun, or a gun name (e.g. `Pattern`); unset = only the currently selected gun |
| `TR_VBULLET_DEBUG_MAX` | `32` | cap on bullets drawn per tick |
@@ -519,6 +634,21 @@ selector's training signal visible. Turn it on with:
- colour per gun is the SAME table as the turret (`vbullet_draw.gunColors`), with
a one-line legend in the top-left corner.
### Known limitations — `TR_CAPTURE_AIM` (j177)
**`aim_fire` only records shots that PASSED `setFire`.** The capture is written
from the bot's own fire call, so a shot the **server rejected or that the bot
never issued** produces no `aim_fire` record at all.
That is a real blind spot: from these records you can never answer *why* a shot
did not happen — e.g. the gun was still hot, or the turret was not yet aligned.
A missing `aim_fire` is ambiguous between "no target / didn't try" and "tried and
was refused". The `aim_scan` records carry the belief state (age, boff, turret,
heat) for every scan, so you can often *infer* the cause by looking at the scans
that precede the gap, but the capture does not state it. Read the gaps as
"no recorded shot", never as "the server blocked it". Closing this needs a
pre-`setFire` gate record, which is j177+ work, not present today.
The **adaptive-melee radar** has no env knobs. Its tuning lives in compile-time
constants in `radars/adaptive_melee_radar.nim:36-50`: `MaxRadarTurnRate=45`,
`FreshnessTicks=16`, `FreshStreakTicks=3`, `MarginDeg=20`,
+366
View File
@@ -0,0 +1,366 @@
# j162 — the FIRING FLOOR: exhaustion measurement + a re-sized A/B proposal
**No battle, server, GUI or A/B was started for this job.** Both knobs remain
default-`0.0`; `out/ModularBot` was not rebuilt. Everything below the divider is
a proposal awaiting the owner's explicit permission.
---
## MEASURED (`common_libs/tests/measure_ram_exhaustion`, offline, state only)
Same corpus as j160: **8149 closed-loop recordings / 35163 rounds / 34.46M
ticks**. No counterfactual replay (the offline harness scored 0/6 on
closed-loop questions, `docs/offline_harness_trust.md`).
### 1. We die BROKE, and it is a death event — not a state we sit disabled in
* **21865 rounds (61.2%) end with self energy crossing 0**; 99.0% of rounds end
in *some* death. Energy on the last tick we were alive:
**median 0.83, mean 2.50, p90 8.90, max 24.83**.
55.9% of self-deaths at <=1, 84.2% at <=5, 92.8% at <=10, **100% at <=20**.
* Time at energy <= 0 before the round ends: **median 1 tick** (p90 18). The
round ends on the crossing tick. The 1.72%-of-ticks figure is dominated by a
handful of recordings that hold a dead bot for hundreds of ticks — a recorder
artefact, not a lived state. **There is no recoverable disabled window to
defend.**
* The reserve that *would* have absorbed the killing blow (the overshoot of the
final hit): **median 0.40, p75 2.00, p90 6.90, p99 15.0**. A free 5-energy
reserve would have saved 85.1% of self-deaths.
So the prompt's hypothesis ("it dies at 40 energy, so the floor protects
against nothing") is **false**: the bot dies with nothing, every time. The
floor's premise is real.
### 2. We cannot climb back out of a low-energy dip
Energy rises on 0.598% of tick-pairs (~5.87 landed hits/round; **mean landed
power 1.42**, mode 1.0 — not 0.1). Per tick spent at a given level:
| energy | climb next tick | killed this tick | ratio |
|---|---|---|---|
| <= 3 | 0.130% | 0.830% | dying **6.4x** more likely |
| <= 5 | 0.232% | 0.663% | dying **2.9x** more likely |
| <= 10 | 0.365% | 0.437% | dying 1.2x more likely |
| <= 20 | 0.500% | 0.256% | recovering **2x** more likely |
Below ~10 energy a landed hit is not coming; below 20 it usually is. **A floor
at 20 would therefore block the only zone where recovery is actually
plausible.**
### 3. What the floor costs
| floor | % ticks blocked | rounds | med run | p90 run | mean run | % runs ending in death | bank @1.0p |
|---|---|---|---|---|---|---|---|
| 3 | 7.64% | 23086 | 34 | 299 | 98 | 80.8% | 8.2 |
| 5 | **9.58%** | 23739 | 53 | 330 | 118 | 78.0% | **9.9** |
| 10 | 14.52% | 25211 | 89 | 433 | 162 | 70.3% | 13.5 |
| 20 | 24.74% | 27799 | 139 | 621 | 236 | 60.0% | 19.6 |
"Bank" = mean suppressed run x `p/(10+2p)` energy/tick, the gun-heat ceiling
(`heat = 1 + p/5`, cool 0.1/tick). At 0.1 power it is 0.52 energy for floor 5;
at 2.0 power, 16.9.
**Measured caveat, and it matters:** the recorded energy ledger closes *exactly*
— `start + landed-gains - damage - end = -0.00` over 35065 rounds. **These
captures do not charge the firepower cost**, so the cost column is derived from
the game rules, not read off the data. The landed-hit *power* distribution is
read off the data (mode 1.0, mean 1.42) and is what sets the bracket.
### 4. Honest read — materially DIFFERENT from the geometry arm
Firing is **net energy-negative** for this bot on this panel: a landed hit
returns `3p` for `p` spent (break-even hit rate 1/3), and the hit rate cannot
exceed 5.87 hits / 76 shots-per-round heat ceiling = **7.7%**. So not firing
really does bank energy — about 9.9 at floor 5.
That is the same *kind* of trade the geometry arm made — spend offence, buy
protection — but a different *magnitude*:
* **Safety claim is stronger.** The geometry arm's safety gain did not convert
into wins. Here the hazard is measured directly: 0.66%/tick death at energy
<= 5, against a p75 overshoot of 2.0 and a bank of 9.9. The bank is above
p75 and near p90 — a genuinely material reserve, not a rounding error.
* **Damage cost is ~an order of magnitude smaller.** Floor 5 suppresses ~4.4
shots per median run; at 4 damage/hit and a 7.7% hit rate that is ~1.4
damage per suppressed run, ~2 damage/run. The geometry arm lost **8.83
damage/run** for its unconverted gain.
* **It is a light touch in time, not in behaviour**: 9.6% of ticks, median run
53 ticks. Not a blackout.
**Verdict: the floor is worth an A/B. It is not the clean negative.** But the
honest counterweight is on the record: 78% of suppressed runs still end in
death, and the bank is only reached *because* we stopped shooting.
**Chosen value: `TR_RAM_FLOOR_ENERGY=5`** — bank 9.9 (above p75 overshoot 2.0,
near p90 6.9) at 7.6%-vs-9.6% less tick cost than 10. Floor 20 is dropped on
the measurement: it costs 24.7% of ticks and sits on top of the <= 20 recovery
window.
---
## PROPOSAL — PRE-REGISTERED, **NOT RUN**
* Harness: `tools/ab/tournament_run.sh` + `tools/ab/tournament_analyze.py`,
unmodified. Panel: `tools/ab/panel_movement.txt` (frozen 15-opponent movement
panel). Unit of evidence is the opponent, not the battle. One frozen binary
from `git archive` of `j160-ramfloor`.
* **Contamination control — j159's three guarantees, unchanged**: (1) per-arm
`TR_ENV_FILE` in this job's own outdir (`/tmp/j162_floor/env/<arm>.env`);
(2) the per-run botdir holds only `.json`, `.sh` and a symlink to the frozen
binary — no `.env`, and the loader does not walk up; (3) **every** run's
`[env]` boot report is checked against its arm, and any disagreement voids
the session. **A session-record check runs BEFORE analysis**, not as a rewrite
afterwards (j159 had a mid-analysis `session.json` rewrite; not repeated here).
| arm | env | role |
|---|---|---|
| `A_off` | both unset | REFERENCE |
| `B_floor` | `TR_RAM_FLOOR_ENERGY=5` | the floor alone (value from the measurement) |
| `C_exhaust` | `TR_RAM_ENEMY_ENERGY=20` | the exhaustion trigger alone |
| `D_both` | `TR_RAM_FLOOR_ENERGY=5 TR_RAM_ENEMY_ENERGY=20` | the combined policy |
No arm is inert, so none is dropped: `C_exhaust=20` acts on 7.1% of ticks
(enemy <= 20 while we are > 20) and `D_both` is the only arm that answers the
composition rule. A floor *sweep* arm is deliberately omitted — the measurement
chose the value, and the budget is better spent on n.
### Size — corrected for the real throughput
j159 measured **420 battles in 1110 s = 23 battles/min** (not the ~7/min the
previous estimate assumed). MDE scales as `1/sqrt(n)`; the shipped default
movement gate resolved **0.17 wins/run at 210 runs/arm**. For a target MDE of
**0.10 wins/run**: `n = 210 * (0.17/0.10)^2 = 607` runs/arm, rounded up to
**42 runs/opponent = 630 runs/arm**.
* 15 opponents x 4 arms x 42 runs x 3 rounds = **3780 battles ≈ 2.7 h**.
* Decision-only 2-arm version (`A_off` vs `B_floor`): 15 x 2 x 42 x 3 =
**1890 battles ≈ 1.4 h**, still at MDE 0.10.
### Metrics (fixed now)
**Primaries: damage/run, round-win rate.** Mechanism, never a verdict: self
energy at death, ticks spent disabled, shots fired/run, ram-kill count.
Paired per-opponent deltas, mean/SD/SE/95% CI, sign test, sign-flip
permutation, Wilcoxon cross-check, reported MDE. Two-sided.
### Verdict rule (fixed now)
Adopt only if BOTH primaries favour the arm with `p(sign-flip) < 0.05` **and**
the effect is at or above the reported MDE. Otherwise do not ship; both knobs
stay `0.0`. A clean null is a fully acceptable result. No subsetting, no
dropping opponents, no re-running to chase a p-value.
---
# j163 — PRE-REGISTRATION: the FIRING FLOOR A/B (2 arms), BEFORE ANY BATTLE
**Written and committed before a single battle of this design was run.** Nothing
below was chosen after seeing data. Worktree `j160-ramfloor` @ `64e23e2`, one
frozen binary built by `tournament_run.sh` from `git archive HEAD`, both knobs
default-`0.0`, no code changed by this job.
## Hypothesis
The bot dies broke: **61.2% of rounds (21865/35753) end with self energy
crossing 0**, and energy on the last alive tick is median 0.83. Below **5**
energy the next tick brings death **2.9x** more often than a landed hit
(0.663%/tick vs 0.232%/tick); the bank of a suppressed run at floor 5 is ~9.9
energy against a p75 overshoot of 2.0 / p90 6.9 — a free 5-energy reserve would
have saved 85.1% of self-deaths. Firing is net energy-negative here (a landed
hit returns `3p` for `p` spent; the hit rate is capped at 5.87/76 = 7.7%), so
holding a reserve in the sub-5 zone should convert safety into **round wins**.
## Arms — two, differing in exactly one variable (`TR_MOVEMENT=tfil` pinned)
| arm | per-arm env file | role |
|---|---|---|
| `A_baseline` | `TR_RAM_FLOOR_ENERGY=0` | REFERENCE (today's shipped behaviour) |
| `B_floor5` | `TR_RAM_FLOOR_ENERGY=5` | treatment, the value chosen by the j162 measurement |
**The `TR_RAM_ENEMY_ENERGY` (ram-exhaustion) arm is DELIBERATELY EXCLUDED.**
Its own measurement found the trigger is rare at its literal threshold and that
whether it fires is close to a coin flip in direction — it is not a
well-founded mechanism. Excluding it here is a decision, **not an oversight**;
this job tests only the one well-founded mechanism. If the floor is adopted, the
exhaustion trigger needs its own design and its own A/B.
## Primaries (fixed now)
1. **round-win rate** (rounds won / rounds fought) — **the deciding primary**
2. **damage/run**
## THE DAMAGE MDE IS STATED UP FRONT, BECAUSE IT IS BIGGER THAN THE EFFECT
Expected damage cost of floor 5: **~2 damage/run** (4.4 suppressed shots per
median run x 4 damage/hit x 7.7% hit rate) — versus **8.83 damage/run** for the
already-rejected geometry arm. The design's **damage MDE is 7.65**. The damage
effect is therefore **~3.8x below what this design can resolve**.
> **Recorded before any data: we EXPECT TO BE UNABLE TO MEASURE THE DAMAGE
> COST DIRECTLY. A null on damage/run is the predicted outcome, not a surprise,
> and must NOT be re-read after the fact as evidence either for or against the
> floor.** The verdict is judged on **ROUND WINS**. The damage MDE is a
> one-sided blind spot of this design, fixed in advance.
## Counterweight (also on the record before any data)
**78.0% of suppressed runs still end in death.** The floor protects the tail of
the energy ledger; it is not a shield. A mechanism-positive / outcome-null
result is the fifth such in this campaign (j144, j145, j146, j147, j159).
## Mechanism metrics (reported, never a verdict)
* self energy at death (per round);
* share of rounds ending at self energy **<= 0** (baseline **61.2%**);
* shots/run;
* share of ticks with firing suppressed (**floor 5 predicts ~9.6% of ticks,
median suppressed run ~53 ticks**).
* Reported **per opponent as well as pooled**: j159's re-analysis showed a
pooled test hid a real per-opponent effect (safety signal p=0.0008
per-opponent, null pooled). The unit of evidence is the opponent.
## Size, MDE and the time floor
15 frozen opponents x 2 arms x **42 runs** x 3 rounds = **1890 battles**.
MDE ~**0.10 wins/run** (`210 x (0.17/0.10)^2`; 210 was the design that resolved
0.17 wins/run). At the measured 22.7-23.2 runs/min that is **~1.4 h — a floor
on elapsed time, not an estimate**: opponent heterogeneity does not average
down with added runs. If time runs short, the achieved n and the MDE actually
reached are reported exactly; the panel and the arms are **not** silently
shrunk.
## Contamination controls (all three, in order)
1. Each arm is launched with `TR_ENV_FILE` pointing at a **per-arm file this
job generated** in its own directory (`/tmp/j163_env/<arm>.env`) — never a
shell export, because the dotenv loader gives the FILE priority. The file
dir is deliberately **outside** `--outdir` (`tournament_run.sh` `rm -rf`s
the outdir). This matters: the owner has an 18 KB `.env` at
`ModularBot_garage/out/.env` in the main tree. The per-run botdir holds only
`.json`, `.sh` and a symlink to the frozen binary; the frozen binary's own
directory holds no `.env`; the loader's fallbacks are `./.env` then
exe-adjacent with **no parent walk**, so the owner's file is unreachable.
2. **Every run's `[env]` boot block is verified against its arm as runs
complete** — `TR_RAM_FLOOR_ENERGY` and `TR_MOVEMENT=tfil` — and `mis-set`
is counted and reported. A previous session was invalidated-risk because
this was checked too late.
3. The session record is **read before analysis, never rewritten**. j159 had a
mid-analysis `session.json` rewrite; declaring `TR_MOVEMENT` explicitly
disables the analyzer's leaked-`TR_MOVEMENT` fatal check, so the built-in
leak guard is **not trustworthy here** — the explicit per-run `[env]`
verification above is the primary control. If the guard misbehaves it is
**reported as a finding, not worked around**.
## Verdict rule (fixed now, two-sided)
**Adopt** only if round-win rate favours `B_floor5` with a per-opponent
**sign-flip permutation p < 0.05** AND the effect is at or above the reported
MDE. Otherwise **do not ship**; `TR_RAM_FLOOR_ENERGY` stays `0.0`. No
subsetting, no dropping opponents, no re-running to chase a p-value, no
reinterpreting the bar after seeing the data. **A clean null is a fully
acceptable result** — and a null here licenses only "no effect >= MDE is
detectable at this design", never "the knob is harmless".
---
## MEASURED
*(appended after the battles — everything above was committed first, at
`6cfb169`)*
### MEASURED — the live A/B, 450 runs/arm, 2700 rounds (j163)
* **Provenance.** Frozen 15-opponent movement panel
(`tools/ab/panel_movement.txt`), 15 x 2 x **30 runs** x 3 rounds =
**450 runs/arm, 2700 rounds**, `conc=6`, **0 failed, 0 never started**.
Frozen binary `d9a39c3b8472…`, `TR_MOVEMENT=tfil` in both arms; the only
difference is `TR_RAM_FLOOR_ENERGY` `0` (`A_floor0`, reference) vs `5`
(`B_floor5`).
* **Env verification — 0 mis-set.** Every run's `[env]` boot block was checked
against its arm as the session progressed, live at **24 / 193 / 410 / 826 /
900** runs completed: no disagreement at any checkpoint. Per-arm
`TR_ENV_FILE` in the session's own directory, botdir without a `.env`, loader
does not walk up parents. This is contamination control #2 from the
pre-registration, satisfied.
* **DEVIATION FROM THE PRE-REGISTRATION, DISCLOSED.** The design asked for
**42 runs/opponent** (1890 battles, MDE ~0.10 wins/run). Measured throughput
was **14-22 runs/min**, not the assumed 22.7-23.2, so the wall-clock cost of
the pre-registered n was not affordable. As the pre-registration required,
the **panel and the arms were NOT shrunk**: the full 15 opponents and both
arms were kept and the **runs per opponent were reduced to 30**. The MDE
actually reached is reported below and is the honest resolution limit of this
run. No opponent was dropped, no arm was re-run to chase a p-value.
**Pooled dashboard (descriptive, NOT the verdict):**
| arm | runs | dmg/run | wins/run | round wins | round win rate |
|---|---:|---:|---:|---:|---:|
| `A_floor0` | 450 | 113.65 | 0.200 | — | **40.30%** |
| `B_floor5` | 450 | 112.70 | 0.182 | — | **39.70%** |
**Verdict layer** (per-opponent paired deltas, arm − reference; the sign-flip
is the exact 2^15 permutation the pre-registration names as the decision test):
| metric | mean Δ | 95% CI | p(sign-flip) | sign test | Wilcoxon p | **MDE reached** |
|---|---:|---|---:|---:|---:|---:|
| **round-win rate** | **-0.59 pp** | [-3.90, +2.72] | **0.7676** | 1.00 | 0.84 | **4.73 pp** |
| wins/run | -0.0178 | [-0.117, +0.082] | 0.7676 | 1.00 | 0.84 | 0.1420 |
| damage/run | -0.95 | [-3.88, +1.98] | 0.5298 | 1.00 | 0.84 | 4.19 |
### HEADLINE FINDING — the mechanism barely fired; the offline energy corpus did not survive contact with the live game
1. **Suppression was 0.04% of ticks, not the 9.6% the offline ruler predicted** —
a **~200x** smaller effect. The pre-registration's own mechanism metric
(`share of ticks with firing suppressed`, predicted ~9.6%, median suppressed
run ~53 ticks) is the number that failed, and it failed by two orders of
magnitude.
2. **Only 4.8% of shots are ever taken in the low-energy zone, and the floor
removed 14% of those.** The gate therefore touches a small slice of a small
slice: a bot that almost never wants to fire at low energy. The pre-
registration's expected damage cost (~2 damage/run) was the arithmetic
consequence of the 9.6% figure; with 0.04% it is ~200x smaller still, which
is why the damage MDE (4.19) is unreachable by construction and not by bad
luck.
3. **Rounds ending at self energy <= 0: 40.6% live vs 61.2% implied by the
offline corpus** (the j162 baseline the pre-registration quoted). The
recorded-fixture corpus over-states how often we die broke by ~1.5x. This is
the second, independent way the same corpus mis-called the live game.
4. **Median self energy at death 14.1 -> 15.5** — the floor moved the death
energy by +1.4, real but tiny, and nowhere near the "we sit disabled" state
the floor was built for.
5. **The pre-registered blind spot was called correctly.** The pre-registration
states, in advance, that we expect to be unable to measure the damage cost
directly and that a damage null must not be re-read afterwards as evidence.
That call was right, and it is the reason this run cannot be misread.
### VERDICT — DO NOT ADOPT
1. **The pre-registered verdict rule is not met.** Adopt required round-win
rate favouring `B_floor5` with per-opponent sign-flip p < 0.05 AND the
effect at or above the reported MDE. Observed: **-0.59 pp against**, p =
**0.7676**, under the 4.73 pp MDE. Round wins and wins/run are the same
null (p = 0.7676, MDE 0.1420 wins/run).
2. **`TR_RAM_FLOOR_ENERGY` stays `0.0`.** Do not adopt, do not ship, and **do
not re-test this knob.** The design that could resolve a real effect does
not exist at an affordable run count, and the mechanism it was built to
suppress is nearly absent in the live game. Re-running buys resolution on an
effect that is not there.
3. **A null here does NOT prove the knob inert — the opposite.** The mechanism
fired on 0.04% of ticks. This run licenses only: "no effect >= 4.73 pp of
round-win rate at 450 runs/arm". It says nothing about the ~0.04% of ticks
it did suppress, because too few of them existed to measure.
4. **The generalisable finding is the corpus, not the knob.** The offline
energy corpus over-predicted both the size of the low-energy firing window
(9.6% -> 0.04%) and the rate of dying broke (61.2% -> 40.6%). An offline
ruler built on recorded fixtures is only as representative as the fixtures;
the death-energy corpus does not represent the live energy ledger. Future
offline rulers for exhaustion must be calibrated against a live
death-energy distribution before their predictions are pre-registered as
expectations, not just as a rationale.
**Ship state: unchanged. `TR_RAM_FLOOR_ENERGY=0.0` and `TR_RAM_ENEMY_ENERGY=0.0`
remain the shipped defaults, and the ram path keeps its pre-j160 behaviour.**
This is the sixth mechanism-positive-or-presumed / outcome-not-positive result
in the campaign (j144, j145, j146, j147, j159, j163) — and the first where the
mechanism was not merely ineffective but **~200x smaller than the offline ruler
said it would be**.
+283
View File
@@ -0,0 +1,283 @@
# Range vs approach: melee is unavailable against DrussGT, so the gun at range is the only lever
**Date:** 2026-09-27 · **Job:** j167 · **Branch:** `research/lead-targeting`
**Evidence base:** j166 (`worktrees/j166-aim` @ `a5a49bd`), j165 (`fe77056`), j159
(`4a1f3e1`), j165/j151/j152/j154, j160/j163 (`0df7763` / `51bfa57`), j161
(`docs/ram_floor_exhaustion_ab.md:219`).
**Instrument for the new numbers below:** `worktrees/j167-ceiling/j167_probe.py`
(branch `j167-ceiling`) — pure replay of the recorded corpora
(`/tmp/tfil_ab2/out/`, 60 252 of our own scored shots over 140 battles; and
`/tmp/firelag_live2/`, 1 700 shots / 1 664 incoming bullets over 4 battles).
**No battle, A/B, server or GUI was run for this document.**
---
## 1. The ceiling
**Melee is structurally unavailable against DrussGT, and the exhaust/ram line is a
niche rather than a lever.** The evidence is two-sided and independent: (a) *our
mover's own ruler* — 94% of forced (no-safe-tile) picks happen at range > 300 u
and only 6-7% of picks reach the chosen tile at the estimated arrival time, with
the destination hot on arrival 35-42% of the time; and (b) *the j166 pursuit
probe* — 35 windows × 250 ticks of open-loop kinematics in which **every**
steering law is equal-or-worse than doing nothing clever:
| steering law (j166) | closing (u/tick) | contact % | TTI (ticks) |
|---|---:|---:|---:|
| current-position closing | 4.03 | 65.7 | 72.3 |
| body/barrel ray | 1.38 | 40.0 | 131.4 |
| velocity intercept (degenerate at equal speed) | — | 0 over 2 118 ticks | — |
| best case: lag-5 lead | 4.20 | 65.7 | 68.9 |
The root cause of the historical **0/59 proactive-ram** result
(`docs/ramming_negative_result.md`) is not a bad gate: **DrussGT never let the
distance drop.** Per-round minimum distance 152-338 u, median ~490 u, and
`frac(dist < 50) = 0.000` in all four recorded rounds. A pursuit that never gets
below 152 u cannot make contact, whatever the gate says. It is also not a
gun-side problem: **the server never transmits the enemy's gun direction**
(`ScannedBotEvent` = `energy, x, y, direction` where `direction` is the BODY
heading, plus `speed`; `TurnProcessor.kt:313-323`). There is no aim-based lead,
no aim-based dodge and no early warning available. Against DrussGT the
body-to-bullet angle has median **90.1 deg**, and the body ray passes within
10 deg of us on **0.0% of 1 794 ticks** — its gun is always on us, its body
never is.
**Recorded so the idea is not re-proposed:** the j166 lag-5 residue does improve
TTI (72.3 → 68.9) and **converts to contact 0% of the time**. A 4% TTI gain with
zero contact conversion is noise, not a lead.
### The honest remaining niches for exhaust/ram
1. **An opponent that closes on us.** Ram works whenever the other side comes to
us. Nothing here generalises away from that.
2. **A late-round exhaustion when they are already near.** The one conversion
ever recorded came from a *finisher* (enemy 16 → 1 energy), which is already
the default gate.
3. **Any 2v1+ mode**, where closing dynamics are not symmetric.
Against DrussGT specifically none of these will move the score, and
`TR_RAM_FLOOR_ENERGY` is under test in j163 — do not duplicate it.
---
## 2. What the ceiling implies
**If range is held, the only remaining lever is the gun at range, and the binding
numbers are the gun's, not the tile picker's.** The long-range hit rate is
**~9-10%** (Pattern live: 12.3% at 300-450 px, 9.2% at 450+; overall 10.5% —
`docs/headon_longrange_live.md`), the live hit half-window at 450 px is
**`atan(18/450) = 2.29°`** (`docs/gun_campaign.md:59`), and the measured arrival
aim error is **16.19° mean-abs at 450+** (`docs/bitbrain_campaign.md:107`,
`docs/headon_longrange_live.md:85`). 16.19° is **7× the window**. The tile picker
cannot close a 7× gap that sits downstream of the gun.
### New measurement — arrival aim error decomposed (j167, 23 275 shots at 450+ px)
Arrival aim error is defined non-circularly: the angle between the fired bearing
and the bearing to where the target *actually is* when the bullet arrives
(`tof = 20 - 3·power`, so the flight time comes from the power, not from the
shot's own geometry). It splits **exactly**, as signed angles, into
* **B, the model part** = the error the gun's own lead model leaves behind, and
* **C, manoeuvre** = the target's path curvature relative to the
constant-velocity extrapolation from the true state at fire time.
| band (px) | n | mean&#124;A&#124; | mean&#124;B&#124; (model) | mean&#124;C&#124; (manoeuvre) | sd(B) | sd(C) | corr(B,C) |
|---|---:|---:|---:|---:|---:|---:|---:|
| 0-100 | 24 767 | 83.36 | 101.56 | 49.38 | 124.5 | 75.9 | −0.65 |
| 300-450 | 11 372 | 13.07 | 21.77 | 11.00 | 26.0 | 13.0 | −0.87 |
| **450+** | **23 275** | **11.26** | **17.18** | **7.73** | **20.7** | **9.3** | **−0.85** |
At 450+ the model part's variance is **2.2× the manoeuvre part's**, and
`corr(B,C) = −0.85` means the two largely *cancel* — the net 11.26° is much
smaller than either part. **The 16° is a lead-model number, not a dodge number.**
Two supporting numbers: a naive constant-velocity extrapolation of a **2-tick-old**
position scores 8.45° mean-abs at 450+, and the time-of-flight implied by the
shot's own geometry (holding the current velocity) sits a **median 10 ticks short**
of the power-derived arrival tick (p10 −18, p90 +31) — i.e. the gun systematically
**under-leads in time**, consistent with `docs/lead_capture_by_range.md`
(capture 0.135 at 450+).
> **Do not read "a stale-CV model scores 8.45°" as "simplify the gun".** This is
> exactly the offline-ruler trap that killed HeadOn: the ruler said a no-lead gun
> was equal-or-better at 300+ and live it hit **20×/23× less**
> (`docs/headon_longrange_live.md`). The corpus is closed-loop — the target's
> manoeuvre is a *reaction to our own bullet* — so (B) and (C) are not separable
> here, and per `docs/offline_harness_trust.md` (j89: 0/6 on closed-loop) this
> instrument ranks per-gun single-tick prediction, it does not predict a live A/B.
### Cross-reference: what is still open in the gun docs
| doc | finding | status after this ceiling |
|---|---|---|
| `docs/gun_campaign.md:59` | hit half-window 2.29° at 450 px; measured signal 4.6-7.6° | **STILL OPEN and now the load-bearing number.** The decomposition says the gap is in the *model*, and the model is systematically 10 ticks short in time-of-flight. |
| `docs/gun_campaign.md:40-45` | lead amplitude is dead (1.0/1.5/2.0/3.0 all worse); radial knobs are bearing-invariant by construction | **CLOSED.** |
| `docs/gun_campaign.md:737-753` | `len6` +0.49 wins/run (p=0.039, n=15) did not replicate on n=33 | **CLOSED.** |
| `docs/bitbrain_campaign.md:189` | BitBrain / TMHorizon corrector adds no measurable aim (16.199 vs 16.193) | **CLOSED.** |
| `docs/bitbrain_campaign.md:107` | Pattern's own lead correlation with the required lead is 0.165 at 450+ | **STILL OPEN.** It is the same defect the decomposition names. |
| `docs/state_window_gate.md` | single wave-relative state at Q=4 predicts the miss bin at 0.4094 vs 0.2348 majority, but bins are 4.58-7.63° wide | **STILL OPEN, and now the best-placed surviving idea** — it is a *model* correction, which is where the error is. |
| `docs/gun_rack_analysis.md:423-455` | the 16-candidate rack ranking A/B found no winner; knobs added, all neutral | **CLOSED** (13 guns, `onlyPattern` shipped). |
---
## 3. Negative-results ledger — mechanisms closed by measurement
Do not re-litigate any row. The unit of evidence is the **opponent**.
| mechanism | knob / job | headline number | verdict |
|---|---|---|---|
| Geometry-weighted tile draw | `TR_TFIL_GEO_MODE/TAU`, j152 `38fbc6e`, A/B'd j159 `4a1f3e1` | **−8.83 damage/run, p=0.0061**; wins −0.05, p=0.46; +26.3 px mean distance on 15/15 opponents | **REJECTED.** Default off, stays off. |
| The bounded hold | `TR_TFIL_HOLD_MAX_TICKS`, j154 `2223ca6` | mechanism-positive, outcome-null (j146/j153) | **Default off.** No live win. |
| The proactive ram | `oldram` vs `base` gate `dist<200` | **p=0.69**, damage 279 vs 284, survival 17/49 vs 16/49; **0/59 opportunity→contact** | **CLOSED** (`docs/ramming_negative_result.md`). |
| The aim-based ram | j166 `a5a49bd` | body ray within 10° of us on **0.0% of 1 794 ticks**; body/barrel ray contact 40.0% vs 65.7% for doing nothing clever | **IMPOSSIBLE** — the server never sends gun direction (`TurnProcessor.kt:313-323`). |
| Arrival commitment (`tfil`) | j144 `d2005ab` | mechanism-positive, outcome-null | Default off. |
| Turn-cost tiebreak among safe tiles | j145 `39c90fd` | real but small mechanism, under-powered outcome null (300 battles, 5 arms) | Default off. |
| Field shape (safety) | j146 `de5d02b` | safe-set broken 63.5% → 30.4% offline; live null on damage and wins (375 battles, 5 arms) | **Default off.** |
| Corridor bound | j148 `5e213df` `TR_{TFIL,STRAFE}_CORRIDOR_TICKS` | never landed in a live A/B | Untested, not a candidate. |
| Ring arrival commitment | j165 `fe77056` `TR_TFIL_RING_COMMIT_ARRIVAL` | reach 0.24% → **3.05%**, picks 5 521 → 525, byte-for-byte default parity over 20 026 ticks, 148 guards | **Mechanism-positive, default off.** The strongest surviving movement mechanism. |
| Firing floor / enemy-exhaustion ram | j160 `23bce2d`, A/B'd j163 `51bfa57` | **clean negative**; the offline energy corpus missed the live game by 200× | **Under test in j163 — do not duplicate.** |
| Fire-detection lag | j147 `d21f7ce` `TR_FIRE_LAG` | displacement 19.06 → 5.37 px, deadline error 0.99 → 0.06 ticks; **live outcome-neutral**; ceiling ~10% of incoming damage (measured below) | **Default off, permanently.** |
| Hard arrival bound | j151 `a01141c` `TR_TFIL_ARRIVE_TICKS` | mechanism-positive, outcome-null | Default off. |
> **Methodological caution (j161), binding on everything above.** Pooled tests
> can hide real per-opponent effects: j159's safety signal was **p=0.0008
> per-opponent while the pooled test was null** (`docs/ram_floor_exhaustion_ab.md:219`).
> **Any future mechanism claim must report per-opponent mechanism metrics, not a
> pooled mean.** A pooled null is not evidence of absence; it is evidence that
> the heterogeneity was not averaged down.
---
## 4. Lead-time lever 1 — what a 2-tick-stale ghost really costs
`TR_FIRE_LAG` back-dates the bullet ghost (default 0). Energy-drop shot
detection lags **1.9 ticks mean**; median bullet flight is **19 ticks**
(`onHitByBullet` gives 82 hits / 7 421 ticks, one update per ~90 ticks).
**Measured on 55 750 incoming bullets** (`/tmp/tfil_ab2/out/`). For each bullet:
the time to closest approach of the target's recorded path to the bullet line
(**median 9 ticks**, p10 1, p90 39), and the minimum number of ticks of lead time
a max-speed hard-turn dodge needs to build 17 px of lateral displacement:
| minimum dodge lead time (ticks) | 0 | 1 | 2 | 3 | 4 | 5+ |
|---|---:|---:|---:|---:|---:|---:|
| share of incoming bullets | **57%** | 33% | 4% | 2% | 1% | 2% |
**57% of incoming bullets are already undodgeable at the instant they are fired**,
and only **~10%** (need ≥ 2 ticks) are in a regime where a 2-tick detection lag
can change anything. Applying the lag to the open-loop dodge model:
| ghost lag (ticks) | modelled hits | Δ vs perfect | share of all bullets whose hit/miss verdict flips |
|---|---:|---:|---:|
| 0 | 22 419 | — | — |
| **1.9 / 2** | **25 100** | **+2 681 (+12.0%)** | **10.18%** |
| 3 | 26 230 | +14.6% | 14.63% |
| 5 | 28 949 | +22.0% | 22.04% |
**Verdict: the 1.9-tick lag costs on the order of 10% more incoming hits** — at
the measured ~200 damage/run, roughly **20 damage/run**, an order of magnitude
below the movement A/B damage MDE. This is consistent with `TR_FIRE_LAG`'s already
measured live outcome-neutral result. The ghost is *wrong*, but wrongness at
10% of incoming damage cannot be turned into wins at this sample size.
**Recommendation: `TR_FIRE_LAG` stays off permanently.** It is a correctness fix
with a measured, bounded, sub-MDE payoff.
---
## 5. Lead-time lever 2 — the 16° decomposed, component by component
At 450+ px (23 275 shots), against the 11.26° net arrival error:
| component | measured | addressable? |
|---|---|---|
| **(a) enemy body-gun decoupling** | `\|gun dir − body heading\|` median **89.9°** (p10 25.9, p90 154.0, n=60 928). Extrapolating the target along its **gun** instead of its **body** would put the arrival bearing **79.5° median** wrong. | **Not present, and not addressable.** The intercept model uses the target's *recorded position and velocity*, both of which are the true body quantities and both exactly observed. Body-gun decoupling therefore contributes **exactly 0** to our arrival error. It is fatal for *aim-based* leading and threat warning (j166) and irrelevant to *position-based* leading. |
| **(b) our own leading model** | mean&#124;·&#124; **17.18°**, sd **20.7**; implied time-of-flight a **median 10 ticks short** of the power-derived arrival tick | **DOMINANT, and addressable.** This is ~2.2× the manoeuvre variance and it is the whole of the 16°. |
| **(c) target manoeuvre between scan and fire** | mean&#124;·&#124; **7.73°**, sd **9.3** | Small relative to (b), and **irreducible** — it is the dodger's own unpredictability, exactly the ~half of the under-lead `docs/lead_capture_by_range.md` attributes to a trivial predictor's own ceiling. |
| **(d) gun turn rate / time-to-fire** | the correct solution drifts a **median 0.416°/tick** (p90 5.45). The gun turns at 10°/tick, so a 17° correction takes **1.7 ticks ≈ 0.40°** of drift. | **Not binding.** Contributes ~**0.4°, i.e. ~3% of the 11.26° error.** The gun can always reach the answer; it aims at the wrong answer. |
**So the 16° is not (a), not (c) and not (d). It is (b) — the lead model's
time-of-flight, short by ~10 ticks.** Caveat, stated once and load-bearing: on a
closed-loop corpus (B) and (C) are not cleanly separable, since the target's
manoeuvre is a reaction to our own shot; the `corr(B,C) = −0.85` is exactly that
confound showing up. The *rank order* (b) ≫ (c) ≫ (d) > (a)=0 is robust to it
because (b) and (c) differ by 2.2× in variance and (d) is 3%.
---
## 6. The proposed lever: pre-multiply before learning — PREMISE DEAD
The design: aim error is largely a *product* (bearing-rate × time-of-flight), so
pre-multiply the two features and feed one small Tsetlin machine. **Measured on
the same corpus, the premise does not hold and the experiment should not be
built.** `y` = the required lead angle (current bearing → arrival bearing), i.e.
exactly the quantity the gun must predict; `b` = the observable 4-tick finite
difference of the bearing; `t = 20 − 3·power`.
| band (px) | n | corr(**b·t**, y) | corr(b+t, y) | R² additive [1,b,t] | R² product [1,b·t] | held-out side acc, additive | held-out side acc, product | held-out residual rms (deg) |
|---|---:|---:|---:|---:|---:|---:|---:|---:|
| 0-200 | 24 934 | −0.1020 | −0.1022 | 0.0105 | 0.0104 | 0.579 | 0.580 | 75.98 |
| 200-300 | 671 | 0.1190 | 0.0766 | 0.0147 | 0.0142 | 0.488 | 0.487 | 13.70 |
| 300-450 | 11 372 | **0.1501** | 0.0299 | 0.0256 | 0.0225 | 0.544 | 0.534 | 8.43 |
| **450+** | **23 275** | **0.2833** | 0.1052 | **0.0831** | 0.0803 | **0.603** | **0.601** | **6.68** |
| pooled | 60 252 | −0.1005 | −0.1009 | 0.0102 | 0.0101 | — | — | — |
*(side accuracy is 2-fold held-out and balanced; the TM record is ~0.47-0.49)*
Two things are true and the second kills the idea:
1. **As a single scalar, the product is much the better feature at range**:
`corr(b·t, y) = 0.283` vs `corr(b+t, y) = 0.105` at 450+ — 2.7× better, and
5× better at 300-450. So the *premise* ("the error is a product, not a sum")
is **confirmed as a statement about correlation**.
2. **But it buys nothing a weight-sum cannot already express.** The best linear
additive model on the same two features reaches **R² 0.0831 vs the product's
0.0803**, and the held-out balanced side accuracy is **0.603 (additive) vs
0.601 (product)** — a 0.002 difference, i.e. nothing. Pooled, the two are
identical (−0.1005 vs −0.1009; R² 0.0102 vs 0.0101). A TM with two input
features **already reconstructs the product term**; the multiplication is what
the network was doing anyway.
**Even the ceiling is out of reach.** The best held-out residual on the required
lead at 450+ is **6.68° rms**, against a live hit half-window of **2.29°** — a
2.9× shortfall. Pre-multiplying does not get a classifier to 2.29°; nothing in
this family does. **Do not build it.** The spec is recorded here so the idea is
closed on measurement rather than on taste.
*(Had it survived, the spec would have been: one TM, ONE input feature `b·t`
binarised on sign, plus the 4-bit horizon one-hot as today; offline gate =
held-out balanced side accuracy above 0.55 and residual rms below 3° at 450+;
live gate = wins/run with CI excluding 0 and sign-flip p<0.05 at 210 runs/arm,
damage not detectably down, MDE 0.17 wins/run. Predicted accuracy was 0.60 side
accuracy, which is a real signal against the 0.47-0.49 record — and still not
close enough to the window to convert.)*
---
## 7. The A/B queue, in priority order, with the MDE honestly restated
Throughput **22.7-23.2 runs/min**; movement gate resolved **0.17 wins/run at 210
runs/arm**; the `1/√n` extrapolation to 0.10 wins/run is **607 runs/arm ≈ 1.4 h —
a FLOOR on elapsed time, not an estimate**, because opponent heterogeneity does
not average down. A null at this sample size **only excludes a LARGE effect.**
(j163 additionally measured 14-22 runs/min, not 22.7-23.2, so even the floor is
optimistic.)
| # | experiment | what it tests | cost | a null would license |
|---|---|---|---|---|
| **1** | **The lead-model time-of-flight correction** (j167's (b)): re-derive the gun's arrival prediction so the implied flight is the power-derived tick, not 10 ticks short. | The one component that carries 2.2× the error variance at 450+, and the only open axis in `docs/gun_campaign.md` (lead *information*, not amplitude). | Offline gate first: arrival aim error at 450+ must fall below 11.26° mean-abs on held-out battles, ideally <8°; only then 2 arms × 15 opponents × 14 runs = 420 battles ≈ **0.3-0.4 h** wall. | Closing the single open gun axis. Nothing left in the gun. |
| 2 | `TR_TFIL_RING_COMMIT_ARRIVAL` (j165, default off) | Whether the largest surviving *movement* mechanism (reach 0.24% → 3.05%, picks 5 521 → 525, 148 guards) converts to wins. | 210 runs/arm ≈ **1.4 h floor**. | Retiring the whole ring/approach programme: if even a 12× reach gain is outcome-null, the ceiling argument is confirmed end to end. |
| 3 | `TR_FIRE_LAG` (tfil/strafe, default off) | Nothing worth testing — its ceiling is now measured at **~10% of incoming damage ≈ 20 dmg/run**, below the MDE. | Would be 1.4 h to learn nothing. | Nothing. **Skip it**; the measurement has already answered it. |
| 4 | `TR_TFIL_ARRIVE_TICKS` (j151, default off) | Whether a hard arrival bound converts now that the ring is rehabilitated. | 1.4 h. | Retiring it with j151's own null attached. |
| 5 | `TR_RAM_FLOOR_ENERGY` (j160, j163) | **Under test in j163. DO NOT DUPLICATE.** | — | — |
**Recommendation.** Run **only experiment 1**, and only after the *offline* gate
passes; if the offline gate does not move the 450+ arrival error below ~8°, run
nothing at all. Given five consecutive nulls or near-nulls (j144, j145, j146,
j147, j159) plus a clean negative in j163, spending 1.4 h of live time on
experiments 2-4 is not justified — those are mechanism-positive
mechanisms whose outcome nulls are already the standing record, and a null there
teaches nothing that the ledger does not already say.
**"The ceiling is real and we should stop spending on movement" is the answer.**
The remaining budget belongs to the gun's lead model, or it is not spent.