diff options
Diffstat (limited to 'skills/chapter25-codex-notes.md')
| -rw-r--r-- | skills/chapter25-codex-notes.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/skills/chapter25-codex-notes.md b/skills/chapter25-codex-notes.md index ab16e8ee..0bb324ac 100644 --- a/skills/chapter25-codex-notes.md +++ b/skills/chapter25-codex-notes.md @@ -216,6 +216,10 @@ Consequences: ## Side-effect-free diagnostics: B09 lessons +- `Node._inputs` remains allocated after `kill()`. Use `isDead()` when printing + or filtering dead nodes; an empty input array alone does not imply death. + Bounds-safe edge inspection only needs null-node and input-count checks. + - Type construction and interning are allowed during printing. Do not add alternate linker-key comparisons or other machinery merely to avoid interning; canonical types and fast identity comparisons are normal type-system operations. |