Skip to content

Commit e68275b

Browse files
author
gHashTag
committed
docs(NOW): record wp18 gate third-kind entry; restore root NOW.md (CI now-sync-gate fix). Closes #1182
1 parent 2ba1217 commit e68275b

2 files changed

Lines changed: 9 additions & 15 deletions

File tree

NOW.md

Lines changed: 1 addition & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,6 @@
11
# NOW -- Trinity t27 sync
22

3-
Last updated: 2026-06-16
4-
5-
## ci(conformance) -- wp18 gate third kind bitexact_selfconsistent (this PR, Closes #1182)
6-
7-
- **CHANGED** `tools/wp18_conformance_gate.py`: Check B recount is now TRI-STATE
8-
(bitexact / bitexact_selfconsistent / structural) instead of binary; INDEX key
9-
`selfconsistent_packs` OPTIONAL (defaults 0) so a legacy 2-kind INDEX stays green;
10-
unknown kind -> drift (never folded into bitexact).
11-
- **CHANGED** `conformance/vectors/gen_all_formats.py`: SELFCONSISTENT registry keeps
12-
the affected packs verbatim + emits the `selfconsistent_packs` summary key.
13-
- **NEW** `tools/wp18_gate_selfconsistent_selftest.py`: 13 checks, 6 FAIL-reachable
14-
controls. Patched gate on UNCHANGED tree: exit 0, recount [83,55,0,28].
15-
- catalog stays 83; ASCII-only; gate-side prerequisite for the INDEX-sync (#1146).
16-
- Closes #1182
3+
Last updated: 2026-05-24
174

185
## docs(TRI-NET) -- cross-line package P0/P1/P2 (this PR, Closes #696)
196

docs/NOW.md

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,13 @@
11
# NOW -- Trinity t27 sync
22

3-
Last updated: 2026-06-16
3+
Last updated: 2026-06-17
4+
5+
## wp18-gate-third-kind -- Check B tri-state bitexact_selfconsistent (Closes #1182)
6+
7+
- **WHERE**: tools/wp18_conformance_gate.py, tools/wp18_gate_selfconsistent_selftest.py (new), conformance/vectors/gen_all_formats.py
8+
- **WHAT**: Check B recount changed from a binary model (bitexact unless structural) to a tri-state recount counting bitexact / bitexact_selfconsistent / structural separately. The INDEX summary key selfconsistent_packs is OPTIONAL and defaults to 0, so a legacy 2-kind INDEX recounts unchanged (backward compatible). An unknown kind is flagged as drift and is never folded into bitexact. gen_all_formats.py gains a SELFCONSISTENT registry (mirrors the EXISTING pattern) that keeps the affected packs verbatim under the new kind and emits the summary key.
9+
- **Why**: the wide GoldenFloat rungs (gf48/gf96/gf128/gf512/gf1024) are bit-exact by construction but only gf16 has an independent silicon oracle (Corona ROM); the third kind records the honest, strictly-weaker status so their vectors can enter the INDEX without overstating evidence. Gate-side prerequisite for the INDEX-sync (#1146). New self-test 13 checks, 6 FAIL-reachable controls; the existing wp18_selftest_gate.py stays 15/15; patched gate on the UNCHANGED tree exits 0 with recount [83, 55, 0, 28]. L6 gf16 SSOT untouched; catalog stays 83; no gen/ edits; ASCII-only added lines; no quality claim added. Closes #1182.
10+
- **Anchor**: phi^2 + phi^-2 = 3
411

512
## compiler-expr-characterization -- expression-level positive/characterization tests (Closes #1137)
613

0 commit comments

Comments
 (0)