Drew T f2c7e2fb01 T7.1.c1: lever_census --strict: direct GTE excludes header-macro calls; split + by-kind output

2026-10-02 18:09:54 -06:00

..

discussions

router: D1 edits: progress snapshot task

2026-10-02 10:29:33 -06:00

logs

T7.1.c1: lever_census --strict: direct GTE excludes header-macro calls; split + by-kind output

2026-10-02 18:09:54 -06:00

research

T1.c1: restruct rung D --redraw: supersede stale lifted decl rows with no lying decl

2026-10-01 10:24:41 -06:00

tasks

T7: question: strict direct-GTE and per-TU macro clauses unreachable as counted

2026-10-02 17:49:48 -06:00

INBOX.md

plan: Phase 3.39 replan approved

2026-10-02 09:04:27 -06:00

PHASE_PLAN.md

router: T7 reopened as T7.1 (critic)

2026-10-02 17:51:14 -06:00

PHASE_PLAN.v1.md

plan: Phase 3.39 replan approved

2026-10-02 09:04:27 -06:00