14 KiB
Reference index
Every live reference and generated file under docs/, in one place: what it is, how to read it, and who writes it.
This page is the only place a wiki page links into docs/ — every other page links a wiki page for its topic, and
the link checker (tools/doc_links.py) derives its allow-list of docs/ targets from the rows below (a directory row
covers everything under it). The two index pages, this one and the Archive index, are exempt from
that rule; the README keeps its own handful of direct links. Files that left docs/ at the Phase-33.5 consolidation are
in the Archive index, not here. The conventions behind this page: Docs and scratch conventions.
Environment and verification
| File | What it is | How to read it | Written by |
|---|---|---|---|
SETUP.md |
The environment reference: every tool's install row, the pinned compiler triple (§5.4), the daily command crib, the MCP lifecycle, the scratch conventions (§1a). 270 KB. | Grep by § or by tool name; §5.4 for the triple; the ## Tooling inventory table for a tool's one-line row. |
authored; kept current in the same change as any tool (R21) |
verification.md |
The byte-identity contract and the recorded run that proved it (218 of 218 from a clean rebuild, both SDK legs). | Read whole; §2 quotes the run's summary from .run/P33/verify/. |
authored; quotes tools/verify_contract.sh's output |
second-oracle.md |
The independent boundary oracle (R34): what it covers, where it disagrees with the primary one by design. | Read whole. | authored; read by the Makefile and four tools |
effort-map.md |
The reasoning-effort doctrine for the AI agent: depth vs breadth, the per-phase map, the decision rule. Governs where CLAUDE.md's tier language differs. |
Read whole. | authored |
doc_links_pending.txt |
Link targets promised by a document and created by a later task of the same phase (R80). Empty at every phase close. | One path<TAB>task per line. |
authored per task |
public-flip-runbook.md |
The history-rewrite and publication procedure, its controls, its risk register, and what the host kept serving afterwards (§11). | By section; §11 for the purge and the probe. | authored |
Formats and addresses
| File | What it is | How to read it | Written by |
|---|---|---|---|
formats.md |
The disc, the .CD containers, the PAC archives, the LZSS codec (game semantics), the SQV split. Anything not byte-verified is marked. |
By section. | authored |
memory-map.md |
Every address with its source and verification status (G5): the loader, the overlay slots, player state, the RAM-dump datapoints, the community labels. | By section (§S… = the session that established it); Ghidra is authoritative once an address is imported. |
authored |
idxtab-map.md |
The master load map: every payload's index-table and destination-pointer entries. | Read whole. | authored from tools/idxtab_map.py |
debug-menu-list.txt |
The retail debug menu's AREA/SCENE list, transcribed from the live menu. | Read whole. | authored (primary data) |
disc-completeness.md |
The disc-completeness audit: every payload claimed by a binary or explicitly excluded, with evidence. | Read whole. | authored; reproduce with tools/disc_code_sweep.py |
disc-ledger.md |
The completeness partition, residue 0. | Read the summary line; the table is per payload. | generated — tools/disc_audit.py, make audit-disc |
The knowledge base
| File | What it is | How to read it | Written by |
|---|---|---|---|
matching-cookbook.md |
Some 500 compiler idioms, each with its residual, mechanism, lever and byte proof. 3.5 MB — never read whole. | Grep by § number or by symptom; the index below maps symptoms to sections. |
authored, one section per proven idiom (R16) |
cookbook-index.md |
The symptom → section index of the cookbook. 560 KB. | Grep the symptom. | generated — tools/cookbook_index.py, checked in make tools-health |
docs/tool-index.md |
every tool, keyed by the NEED it answers, with what proved it (its consumers) and what it hard-codes; the retired ones last | generated by tools/tool_census.py from the tree and config/tool_dictionary.tsv (the authored phase/need/verdict); --check in tools-health; the same data generates the day-one kit's manifest and its verbatim tool corpus |
read it by need: find the phrase that matches what you are trying to do |
gcc-2.7.2-map/ |
The codegen map of the pinned compiler by pass (scheduling, register allocation, loop, CSE/expression), with a citation audit; its README is the catalogue. | Start at the README's pass → residual → lever table. | authored; tools/gccmap_cites.py --check in tools-health |
wave-playbook.md |
The matching-campaign procedure: draw, cards, packs, draft, gate, harvest, checkpoint — each guard paired with the measurement that produced it. | By numbered step; the S80 addenda for the one-agent-per-function shape. | authored |
levers.md |
The register pins and compiler hints: the taxonomy, the generated count over time (the post-100% chart's data), how they got in, how each rung takes them out, and the argument on whether to refuse them from the first bank or clean them up at the end. | Read whole; §2's tables are generated. | authored + a generated block (tools/lever_progress.py), the series in lever-progress.tsv |
lever-progress.tsv |
The lever series' data: one row per milestone (date, task, HEAD, sites by class, marked/unmarked, GTE variants, per-TU asm macros) appended by tools/lever_progress.py --snapshot — a census is a moment and cannot be recovered later. |
Read as a table; the chart source. | generated (tools/lever_progress.py), never edited |
readability.md |
The other Gen3 series beside the levers: lying call declarations (split () / (void), how many sit in a pinned body) and raw cast dereferences against struct member reads — the struct debt the structs phase inherits. |
Read whole; the block is generated. | authored + a generated block (tools/readability_progress.py), the series in readability-progress.tsv |
struct-map.md |
The struct map (Phase 37): every raw pointer-cast dereference in src/ assigned to a base and the bases clustered by evidence into the types the tree needs — the 200 largest with sites, bodies, fields, size, width conflicts and instance/pointer globals; the input the structs phase authors its canonical types from. |
Read the table; the full map with every type's layout is .run/P37/census/struct_map_top.json (regenerate with tools/type_census.py). |
generated (tools/type_census.py), never edited |
readability-progress.tsv |
The readability series' data: one dated row per snapshot with its commit (declarations, pinned-body declarations, raw casts, struct member reads). | Read as a table. | generated (tools/readability_progress.py), never edited |
accelerators.md |
What was learned late that a future project should know on day one: each entry with when it was found, when it could have been, what it would have saved. | Read whole; the entries are short. | authored |
generic-decomp-package.md |
The thesis for the next project: what it inherits and does before cracking — the knowledge base seeded from the compiler's source and sibling projects, the structural tooling, the similarity join as a band not a point, the differential-oracle harness, the widening review. | Read whole. | authored |
decision-log.md |
Every strategic pivot with its context, what failed, the measurement and the hindsight (R31). 280 KB, append-only. | By date heading. | authored |
psyq-worklist.md |
The per-object record of the 1,256 Sony library functions linked into the executable, and the named residue. | By library. | authored from tools/psyq_identify.py; complete |
psyq-sample-idioms.md |
Style notes mined from the SDK's sample sources. | Read whole. | authored (a seed) |
concurrency-design.md |
The concurrency contract for overlapping draft, gate, propagate and fleet-verify runs; implemented in the gate snapshot layer. | Read whole. | authored |
tooling-audit.md |
The Phase-26 tooling-integrity audit, finding by finding — the evidence that several "walls" were the instruments. 400 KB. | By finding number. | authored |
Verification and progress (generated)
| File | What it is | Written by |
|---|---|---|
progress.md, progress.fleet.md, progress.json |
The executable's digest, the fleet roll-up, and the published data the README block, the badges and CI read. | tools/progress.py, make report BINARY=main; freshness asserted by make audit-digest |
badges/ |
The four shields endpoints. | tools/progress.py |
difficulty.md, duplicates.md, duplicates.cross.md |
The executable's harvest queue and self-duplicates; the cross-binary duplicate groups. | tools/difficulty.py, tools/dup_report.py, make report BINARY=main |
backlog.md |
The near-miss ledger (0 open). | tools/backlog.py, make report BINARY=main |
family-hseq.md |
The structural-family survey with its own coverage line — step 02 of the recorded contract run; at the closed frontier it reads "0 open instances", which is the statement. | tools/family_hseq.py; tools/verify_contract.sh step 02, make atlas |
story-timeline.md, story-timeline.svg |
The dated digest timeline and its chart. | tools/timeline.py; --check in make audit-digest |
commit-map.tsv |
The ordinal → hash map for commits cited in historical documents after the history rewrite. | tools/public_rewrite/build_commit_map.py, one-shot |
Releases and outreach
| File | What it is | How to read it | Written by |
|---|---|---|---|
permuter-ils.md |
The permuter recipe, the masked scorer and the local-search driver, and the upstream offer's outcome. | Read whole. | authored |
matching-drafter-pipeline.md |
The local drafter model's pipeline, its measured arc, and what is not published. | Read whole. | authored |
gen2-mips-matching-model.md |
The design and every measurement behind that write-up. | By section. | authored |
community-matching-model-plan.md |
The parked plan to publish the drafter's weights and dataset (waits on a licensing decision). | Read whole. | authored |
decompme-preset.md |
The decomp.me preset for the pinned compiler, its local proof, and the post-flip request procedure. | §5 for the procedure. | authored |
| outreach notes (not in the tree since 2026-09-08) | The notes to neighbouring projects were sent in Phase 34 — the Archipelago issue, the decomp.me preset request, the tools announcement; the drafts stay on the maintainer's machine. | The outcomes and URLs are in SETUP.md §6.5 and its P33 E2 / D1–D3 sections. |
authored |
The record
| File | What it is | How to read it | Written by |
|---|---|---|---|
story.md |
The narrative, first commit to public flip. | Read whole. | authored |
retrospective.md |
What was believed, what failed, what it cost, what to do sooner. | Read whole; §4 is the list for the next project. | authored; assembled with tools/mine_hindsight.py |
phase34-seed.md |
The plan seed for the flip phase (Phase 34): every task, actor, effort and carrying document. | Read whole. | authored |
history/ |
The provenance archive: the original brief (superseded, with its corrected claims), the methodology version the constitution was generated from, an early experiment. Nothing current. | Its README. | authored |
phase-ends/ |
Not under docs/, but the record proper: one PhaseEnd per phase, the digest of every phase and every rule, the working logs. |
Repository layout. | authored per phase |
Gen3 inputs
| File | What it is | How to read it | Written by |
|---|---|---|---|
gen3-standards.md |
The charter for the readability generation: accuracy met, the style bar (sotn's guide plus four rules), the AI-use conduct, the measured gap, a definition of done. | Read whole. | authored |
gen3-handoff.md |
Where Gen2 ends, the starter census with its commands, the one invariant, the levers, shiftability scoped, the parked ideas. | §3 for the census, §5 for the levers. | authored |
gen3-parking-lot.md |
The asset-export / native-rebuild survey, with the decisive probes. | Read whole. | authored |
actor-struct.md |
The recovered player/actor structure (~154 fields, live-verified) and the byte-neutrality finding. | Read whole. | authored |
struct-core-pivot.md |
What struct recovery can and cannot do for matching — the Phase-16 wall and the pivot. | Read whole. | authored |
wall-taxonomy.md |
The census of residual stubs by blocker class, validated against the bytes. | By class. | authored from tools/wall_taxonomy.py |
Not listed: docs/wiki/ and docs/how-to-ai-decomp/ are this wiki's sources; the documents retired at Phase 33.5 are not
in the tree (removed at Phase 34, 2026-09-08) and are recorded, one row each, in the Archive index.