phase9: record cycle-1 dispatch numbers in the ledger

2026-09-23 23:54:31 -04:00
parent 54af82aa95
commit 706c5455cd
1 changed files with 2 additions and 0 deletions
@@ -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`.