diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index f5006aa..1711703 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -58,6 +58,8 @@ excluded_no_extent=0 excluded_trapping_arith=50 3-way, regenerated every cycle by interleaving worklist ranks (tier mix preserved by construction), disjointness proved by set intersection = ∅ and union = the worklist. Files under `.run/p9/` (ignored). +**Cycle 1 (dispatched 2026-09-24):** a=575 b=575 c=575 rows (ranks 1/4/7…, 2/5/8…, 3/6/9…); pairwise and triple intersections 0; union == 1,725-row worklist. Known-negatives carried per partition (a=15, b=9, c=4). Charters sent with the P9-T5 assignment noted for B (formal P9-T5 start after the rules check). + ## Open protocol notes - Known negatives are carried **per partition** in each charter (the tracked `near_match_negatives.tsv` rows that intersect that worker's partition), with the shared notes: 29 of 38 negatives are still in the eligible pool; the 9 absent are explained by duplicate groups (`g0013`/`g0026`/`g0053`/`g0061` = the 4 unmatched code groups), the named gp-thunk exclusions, and `0x8005DEF8`.