mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-09-26 13:33:34 -04:00
Drew T
9937fd7e39
- kit: DK-65 "types are a banking lever and a width lever, not a byte lever" (kernel, when, cost, calibration fence, provenance; the kernels file now states its own total "In all: DK-1 … DK-65" and SETUP Step 6 compares grep -c against it instead of a typed 64); intake row 6's milestone gains the canonical type layer (one definition per shape, widths proven by the bytes at bank time, a bank refused for a duplicate definition or a raw address cast) + the type tools moved forward + G62/DK-65 in its columns; row 10 reads "short if Part C and Phase 6's type layer held"; G62 extended with the bank-time clause (G1–G67 kept); tool_dictionary: lift_types + canon_sig_reconcile P10 → P6 and the five type tools' need-keys name the type layer at Phase 6 (the phase column is one token — the corpus dir derives from it); the cookbook front page's type-verdict sentence (a NAME never moves a byte, a WIDTH or SIGNEDNESS is the one place a type does, the permuter cannot reach it); the methodology's "Types — the two-sided verdict" paragraph; the kit README's table + tree now name the two dictionaries and layout-contract.md; make kit-corpus regenerated the tool index, the MANIFEST and the corpora (302 copies + 28 pointers) - wiki: docs/wiki/Start-a-new-decomp-project.md — the three steps, what it installs / does not (the two dictionaries), the ladder (11 rows), the five AI-use rules, the six inversions (raw casts → declared symbols; DK-65), the compiler question, the accelerators one line each (58 rows), the four dry-runs, how it is kept honest; sidebar + Home rows; Tools-from-this-project rows for the kit and the tool index; README bullets for both; SETUP row for decomp-architect/ (R21); Where-the-project-goes-next links the page and records the probe PASS (2026-09-07); phase34-seed: task 0 PASSED, the kit carried whole through the flip and split later - verify: wiki_render --selftest 12/12 + reachability 32 pages / 0 unlisted; doc_links --strict 58 documents / 451 links / 0 pending / 0 broken / coverage 65 of 65 (one BROKEN on the first draft — a foreign project's docs/ path cited in backticks — reworded); kit_lint OK (leak 0 / placeholders 22 == 22 / syntax 0 / gitignore 75 identical); tool_census --check OK; 65 DK ids cited, 0 dangling; audit_public OK on the touched files; no build input changed - log + checkpoint (NEXT = task 15, Max, Tier 1 — prompt Drew and wait for gate 2)
44 lines
1.9 KiB
Markdown
44 lines
1.9 KiB
Markdown
**[Home](Home.md)**
|
|
|
|
**Using the project**
|
|
- [Build from your own disc](Build-from-your-own-disc.md)
|
|
- [Toolchain setup](Toolchain-setup.md)
|
|
- [Repository layout](Repository-layout.md)
|
|
- [The matching workflow](The-matching-workflow.md)
|
|
- [The dedup engine](The-dedup-engine.md)
|
|
- [Overlays and modules](Overlays-and-modules.md)
|
|
- [Ghidra rebuild from text](Ghidra-rebuild-from-text.md)
|
|
- [Verification and progress](Verification-and-progress.md)
|
|
- [Contributing and the no-ROM policy](Contributing-and-the-no-ROM-policy.md)
|
|
- [Tools from this project](Tools-from-this-project.md)
|
|
- [Start a new decomp project](Start-a-new-decomp-project.md)
|
|
|
|
**Working conventions**
|
|
- [Docs and scratch conventions](Docs-and-scratch-conventions.md)
|
|
- [The ROM firewall](The-ROM-firewall.md)
|
|
|
|
**Reference**
|
|
- [Reference index](Reference-index.md)
|
|
|
|
**How to AI-decomp**
|
|
- [Index](How-to-AI-decomp.md)
|
|
- [00 Read me first](../how-to-ai-decomp/00-README.md)
|
|
- [01 Governance](../how-to-ai-decomp/01-governance.md)
|
|
- [02 The byte gate](../how-to-ai-decomp/02-byte-gate.md)
|
|
- [03 Bootstrap order](../how-to-ai-decomp/03-bootstrap-order.md)
|
|
- [04 Oracles and instruments](../how-to-ai-decomp/04-oracles-and-instruments.md)
|
|
- [05 Cards, lanes, waves](../how-to-ai-decomp/05-cards-lanes-waves.md)
|
|
- [06 The knowledge base](../how-to-ai-decomp/06-knowledge-base.md)
|
|
- [07 The compiler's source](../how-to-ai-decomp/07-compiler-source.md)
|
|
- [08 Models and budgets](../how-to-ai-decomp/08-models-and-budgets.md)
|
|
- [09 Economics](../how-to-ai-decomp/09-economics.md)
|
|
- [10 Integration and propagation](../how-to-ai-decomp/10-integration-and-propagation.md)
|
|
- [11 Publishing](../how-to-ai-decomp/11-publishing.md)
|
|
- [12 The failure museum](../how-to-ai-decomp/12-failure-museum.md)
|
|
|
|
**Where the project goes next**
|
|
- [Where the project goes next](Where-the-project-goes-next.md)
|
|
|
|
**History**
|
|
- [Archive index](Archive-index.md)
|