Drew T 4ddd7f89c1 T7.1: GTE to one spelling: direct GTE 492 -> 0, per-TU gte defs 150 -> 0; progress, timeline, README

2026-10-02 19:08:34 -06:00

..

INDEX.md

T7.1: GTE to one spelling: direct GTE 492 -> 0, per-TU gte defs 150 -> 0; progress, timeline, README

2026-10-02 19:08:34 -06:00

T1.md

T1: task log, summary, P39 baselines, ops note, recalibration

2026-10-01 10:59:11 -06:00

T2.md

T2: check-casts and residue gates, kept-cast macro set, standards, task log and summary

2026-10-01 11:46:09 -06:00

T3.md

T3: rung S sweep done: residue ledgered, unbacked 0, R22 218/218; summary and ops note

2026-10-02 03:40:35 -06:00

T4.md

T4: rung S sweep md/main/shared: log and summary (fleet-wide P/X clause open)

2026-10-02 05:06:07 -06:00

T5.md

T5: forms I/M closed: ladder sweep + residue, gate green, progress snapshot

2026-10-02 15:06:47 -06:00

T6.md

T6: lying 229 -> 11 ledgered; progress snapshot, timeline, README; ops note

2026-10-02 17:47:20 -06:00

T7.1.md

T7.1: GTE to one spelling: direct GTE 492 -> 0, per-TU gte defs 150 -> 0; progress, timeline, README

2026-10-02 19:08:34 -06:00

T7.md

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

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

T10.md

T10: residue coverage gate and 3.40 sizing: log and summary

2026-10-02 09:47:47 -06:00

T11.md

T11: progress snapshot P3.39 T11, timeline and README Types cast-gate clause

2026-10-02 15:25:08 -06:00