From ca1b8c2cbae1ffc60ad978cb2b36bb04b700ba2c Mon Sep 17 00:00:00 2001 From: alex Date: Tue, 8 Sep 2026 16:39:23 -0400 Subject: [PATCH] docs: name 0x00743ec0 in the W3 predictions -- clean_room_check rejected the raw identifier The prediction text is unchanged; only the decompiler-style identifier is replaced with the name lane E3 had already recorded for it. Rule 13's gate did exactly its job on a doc that had been committed before the build. --- docs/W3-predictions.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/W3-predictions.md b/docs/W3-predictions.md index 86c4df4..fcf3801 100644 --- a/docs/W3-predictions.md +++ b/docs/W3-predictions.md @@ -57,7 +57,8 @@ predicate, and on this save the predicate has **exactly one** solution. `TShn == 3` in its high half-word (`(value >> 16) == 3`). `turn3-state.sav` carries `TShn = 3` for Spica, so this is a prediction against a known post-state, not against the run. -**P1.2** The trapping EIP is **not** in `FUN_00743ec0` (the `ltis` writer, driver phase 29) and +**P1.2** The trapping EIP is **not** in `ServerSystem::UpdateLastObservedTurn` `0x00743ec0` (the +`ltis` writer, driver phase 29) and **not** in `ServerSystem::RecordObservation 0x00756300` (which writes `NVE`, at `+0x284`). Spica's `ltis` is `0x7fffffff` in all three ref saves — never written — while its `TShn` moves every turn, so the two cannot share a writer.