feat: consume the project's symbol map - #8

Merged

macabeus merged 56 commits into

mainfrom

Aug 2, 2026

Commits on Jul 31, 2026

feat(core): address→symbol map seam — the project's own names, and exact register-offset lowering

macabeus
and
claude
committed
774acd7
feat(core): declaration-shape spellings — a project-declared global spells like the source did

macabeus
and
claude
committed
84559f5
fix(core): global-address spellings that survive the project's own headers

macabeus
and
claude
committed
e7b248c
feat(core): strict-mode declines NAME their gaps — one decline surface across modes

macabeus
and
claude
committed
f966fad
feat(core): candidate declaration synthesis — a scored candidate declares what it names

macabeus
and
claude
committed
805c3bf
feat(cli): read the project's symbol map from its own ELF

macabeus
and
claude
committed
8f5f9c0
feat(cli): candidate compiles carry their own declarations — and the prelude is PROBED, not configured

macabeus
and
claude
committed
19b6a4a
data(bench): vendored symbol maps + fork-pinned sources

macabeus
and
claude
committed
4720ee0
feat(bench): bench-owned pinned project checkouts — `pnpm bench setup`

macabeus
and
claude
committed
877bbe3
feat(bench): symbol maps in the benchmark — fed to asmlift, published as provenance

macabeus
and
claude
committed
76171eb
fix(bench): the cast metric exempts project-idiom ADDRESS casts — for BOTH decompilers

macabeus
and
claude
committed
351a4ac
feat(bench): reproduction scripts reproduce the SYMBOL-FED row, not a map-less approximation

macabeus
and
claude
committed
b56587d
fix(bench): the scoring context — ONE typedef guard, and `bench target` materializes the rung the EVAL used

macabeus
and
claude
committed
557c49c
feat(bench): fidelity verifies the map, the pin, and the bundle it certifies

macabeus
and
claude
committed
ef51b6b
fix(bench): fidelity had no `noncompile` branch — every noncompile row warned

macabeus
and
claude
committed
638984e
feat(web): the benchmark report shows what each row's asmlift run actually had

macabeus
and
claude
committed
0052278
feat(web): the playground takes a symbol map — and ranks WITH it

macabeus
and
claude
committed
81cbad5
chore: `pnpm typecheck` covers apps/web

macabeus
and
claude
committed
c0d54b5
results: regenerate the benchmark — 675 rows, asmlift 344 (was 343), m2c 340 (unchanged)

macabeus
and
claude
committed
6deab4c
fix(cli): the symbol map REFUSES when the DWARF facts are missing — no silently partial maps

macabeus
and
claude
committed
9685c84
docs(cli): README describes the config that exists

macabeus
and
claude
committed
963ede8
fix: three prose artifacts that describe code that no longer exists

macabeus
and
claude
committed
c902276
results: re-run the benchmark at the rewritten tip

macabeus
and
claude
committed
77fdda5
feat(symbols): an access through a POINTER global's value is a NAMED member of what it points at

macabeus
and
claude
committed
893cc90
results: re-run the benchmark on the pointee spelling — 2 rows read better, 0 bytes move

macabeus
and
claude
committed
d5bc876
fix(symbols): the pointee spelling names only what the declaration declares, and only where it is byte-neutral

macabeus
and
claude
committed
db46384
fix(symbols): drop the INDEXED pointee spelling — measurement says it is not byte-neutral anywhere core can tell

macabeus
and
claude
committed
5fa09a5
docs(symbols): comments describe the spellings that exist after the indexed form's removal

macabeus
and
claude
committed
6e4805c
results: re-run the benchmark on the remediated pointee spelling — 1 row reads worse, 0 bytes move

macabeus
and
claude
committed
d228049
fix(symbols): validate a layout BEFORE sorting it — the D5 guard had the crash it was added to prevent

macabeus
and
claude
committed
cc0619e
results: re-stamp the benchmark at the remediated tip — zero rows move

macabeus
and
claude
committed
1a3d0bb
test(symbols): pin the capability gate's end-of-load settlement

macabeus
and
claude
committed
005f9de
results: re-stamp at the final tip — zero rows move

macabeus
and
claude
committed
c813932

Commits on Aug 1, 2026

fix(core): the named spelling wins a score tie by contract, not by accident

macabeus
and
claude
committed
ef8ef57
feat(bench): score every row as if its function were still INCLUDE_ASM

macabeus
and
claude
committed
c24caee
fix(core): never adopt a map name for a pool word the source spelled numerically

macabeus
and
claude
committed
4c68fb7
feat(bench): a candidate that fails to build is recorded, not swallowed

macabeus
and
claude
committed
29134cc
fix(symbols): a pointer member is declared at its real pointee width

macabeus
and
claude
committed
2fe0798
feat(symbols): name a cell by the project's address-cast macro

macabeus
and
claude
committed
794206a
feat(symbols): callee prototypes from the project's own DWARF

macabeus
and
claude
committed
b4675f8
fix(bench): one builder for the vendored map, so the drift gate agrees

macabeus
and
claude
committed
47a47f0
fix(core): the numeric-pool veto is about relocation, not about naming

macabeus
and
claude
committed
98ea23f
fix(bench): reproduction scripts carry the macro defines their source names

macabeus
and
claude
committed
d54af3c
feat(symbols): macro names come from the ELF, not from re-preprocessing headers

macabeus
and
claude
committed
67308d2
data(bench): manifest hints keep only the row's OWN signature

macabeus
and
claude
committed
2a1255c
data(bench): drop the callee prototypes that were doing nothing

macabeus
and
claude
committed
59d119a
fix(cli): never consume the target's own definition-derived DWARF

macabeus
and
claude
committed
c1eba39
results: regenerate — asmlift 344 -> 343, m2c unchanged at 340

macabeus
and
claude
committed
2752d00
docs: document the elf: parameter — what the symbol map feeds, and how to build the ELF

macabeus
and
claude
committed
45ca32b

Commits on Aug 2, 2026

docs: the elf: section survives its own adversarial review

macabeus
and
claude
committed
d8ba1dc
data(bench): re-vendor the maps with the four debug-info producer fixes

macabeus
and
claude
committed
f309fec
results: regenerate on the re-vendored maps — zero rows move

macabeus
and
claude
committed
6d254d6
deps(cli): @gba-kit/debug-info ^0.4.0 — the published package, no more overlay

macabeus
and
claude
committed
907b107
fix(web): the symbol-map example assembles — and assembler errors surface their Error line

macabeus
and
claude
committed
1501e9d
fix(web): the symbol-map example byte-matches — real agbcc output, symbolic pools

macabeus
and
claude
committed
aec56de
test(web): the symbol-preset pins describe the byte-matching example

macabeus
and
claude
committed
2b060b5