Skip to content

Commit 5f8e372

Browse files
committed
knowledge: address CodeRabbit review on #625 — overflow example names the 256-cap/6-tier budget; fence language tag
- ast-as-partof-isa-address.md: the god-class example now points at the fixed per-tier 256-cap / 6-tier budget (truncate/collide instead of reroute), not a fanout-limit reading. - do-arm-triage-3-bucket.md: 'text' language tag on the triage fence (MD040).
1 parent f10db15 commit 5f8e372

2 files changed

Lines changed: 4 additions & 3 deletions

File tree

.claude/knowledge/ast-as-partof-isa-address.md

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -181,8 +181,9 @@ archive, cross-referenced below, never embedded here):
181181
1. **The naive 6-tier `(part_of:is_a)` mint was falsified at scale.** A packing
182182
that maps each concept into a fixed 6-tier `(hi:lo)` cascade *truncates* a
183183
large fraction of a real corpus and *collides* on god-classes (a WinForms
184-
god-class with hundreds of members does not fit six 8-bit tiers). "2 MB" is
185-
not reachable by naively bit-packing whatever the harvest emits.
184+
god-class exceeds the fixed per-tier 256-cap / 6-tier budget, so the naive
185+
packer truncates and collides instead of rerouting). "2 MB" is not reachable
186+
by naively bit-packing whatever the harvest emits.
186187
2. **`mint_factored` (base-255 positional path + `is_a`-from-`inherits`-only) is
187188
the corrected minter** — it drives collisions **and** truncation to 0 by
188189
construction, because the path is positional (not a fixed-width bitfield) and

.claude/knowledge/do-arm-triage-3-bucket.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -108,7 +108,7 @@ hack the adapter. Bucket 3 is where the Core *grows*; buckets 1–2 are where it
108108

109109
## The ordering rule
110110

111-
```
111+
```text
112112
harvest DO residue
113113
→ is the shape order-varying? yes → BUCKET 1: canonicalize, re-triage
114114
→ does a standard pattern anticipate it? yes → BUCKET 2: import DTO + swiss-knife

0 commit comments

Comments
 (0)