docs(phase-34): task 6 addendum — xsig v2 (the whole knowledge base behind one search: 1-to-1, then the best expansion path with context) recorded in gen3-handoff §7 as a parked Gen3 idea

This commit is contained in:
Drew T
2026-09-08 12:48:23 -06:00
parent b3d72df3a5
commit b018bb8cec
2 changed files with 15 additions and 0 deletions
+10
View File
@@ -200,6 +200,16 @@ PCSX-Redux, then the disc rebuild with recompressed payloads.
- **JP (SLPS-01490) and the prototypes as extra versions** — the two prototype executables are already imported
programs with tracked annotations (`config/ghidra/ROSTER.md`).
- **The decomp.me preset** (E1) and **libs-from-source for the Sony regions** — small and large stretches respectively.
- **xsig v2 — the whole knowledge base behind one search (owner's direction, 2026-09-08, P34 task 6).** Today
[`tools/xsig/`](../tools/xsig/) answers one question: an exact match on the relocation-masked word stream (the in-tree
"normalized" tier), plus a first-difference classifier. Drew's intent for its next form: given a function, find its 1-to-1
matches first, then **widen along the best expansion path** — the opcode-sequence tier (registers and immediates masked; the
in-tree `h_seq`), the structural family (`family_sweep` / `family_remap`), then cousins by the atlas's similarity scoring —
and return the best available result WITH its context: which tier matched, what differs (constant flip, register, length),
which banked sibling's spelling to port (R71), and how far the expansion had to go. The pieces exist in-tree
(`sig_image.py`'s tiers, the family engine, `atlas.py`); the work is a portable, game-free re-cut of them behind xsig's
interface, with fixtures built from our own C as the xsig tests are (R74). Sequenced after the readability phases; the
measured cross-game numbers in xsig's README are the baseline it must beat.
## 8. Governance for Gen3
+5
View File
@@ -179,6 +179,11 @@ output) · `.run/P34/c11/` (the prune listing with sizes, `git worktree list`, t
→ 0) — recorded, not redone; the upstream patch stays tracked at `tools/permuter/upstream/0001-reloc-masked-scorer.patch`.
- **Open:** the tools announcement (`docs/outreach/tools-announcement.md`, Drew's words, R83) — done-with-link or pending by name, on
Drew's report (addendum below).
- **Recorded for a later phase (Drew, 2026-09-08):** Drew asked whether xsig does 1-to-1 only or the twin/family/cousin tiers — it is
1-to-1 on the relocation-masked stream + a first-difference classifier; the family and cousin tiers are BFM-specific in-tree tools.
Drew's direction: **xsig v2 should carry the whole knowledge base** — 1-to-1 first, then widen along the best expansion path
(sequence tier → structural family → atlas cousins) and return the best result with its context. Written into
`docs/gen3-handoff.md` §7 (the parked Gen3 ideas) as the seed; not this phase's scope (P5d recorded, not acted on).
## 🛑 SESSION CHECKPOINT — PHASE 34 OPEN (S93, 2026-09-08): tasks 0a, 0–5 ✓; task 6 half done (xsig set; the tools post awaits Drew's report); NEXT = task 6's addendum, then 7 (C11 — Claude), 8 (G2 — Tier 1, Max)