From a6e11085b9110d869ec6b9c3434ee972d77bafb1 Mon Sep 17 00:00:00 2001 From: gHashTag Date: Mon, 15 Jun 2026 08:38:32 +0000 Subject: [PATCH 1/2] conformance(gf14): add 14 bit-exact GF14 vectors (S1/E5/M8 bias15) Replace the n_vectors:0 stub with 14 bit-exact GF14 conformance vectors emitted by the from-spec encoder and confirmed by an independent decoder. Layout matches catalog (s1/e5/m8 bias15, rule e=round(13/phi^2)=5). Second-oracle coverage 52 -> 53 of 83. Affiliation: Trinity S^3 AI. Refs #1146 --- conformance/vectors/gf14_conformance_v0.json | 95 ++++++++++++++++++-- 1 file changed, 90 insertions(+), 5 deletions(-) diff --git a/conformance/vectors/gf14_conformance_v0.json b/conformance/vectors/gf14_conformance_v0.json index 0dbdfa9ff..2f330a02d 100644 --- a/conformance/vectors/gf14_conformance_v0.json +++ b/conformance/vectors/gf14_conformance_v0.json @@ -2,8 +2,8 @@ "schema": "t27-conformance/v0.1", "format": "GF14", "format_name": "GF14 (rule-derived)", - "bitexact": false, - "format_notes": "GF14 (rule-derived) -- this work; rule e=round(13/phi^2)=5; bridge GF12-GF16; lowest phi-dist below GF48", + "bitexact": true, + "format_notes": "GF14 (rule-derived) -- this work; rule e=round(13/phi^2)=5; bridge GF12-GF16; lowest phi-dist below GF48 | bit-exact vectors emitted this work (Trinity S^3 AI)", "catalog": { "id": "gf14", "bits": 14, @@ -23,8 +23,93 @@ "ssot": "https://github.com/gHashTag/t27/blob/master/conformance/FORMAT-SPEC-001.json", "preprint": "https://arxiv.org/abs/2606.05017", "anchor_identity": "phi^2 + 1/phi^2 = 3", - "structural_reason": "No fixed bit-precise round-trip is defined for this entry; recorded structurally with catalog metadata.", + "structural_reason": "Bit-precise round-trip defined; vectors emitted by encoder, confirmed by independent decoder.", "anchor_note": "Anchor identity phi^2 + 1/phi^2 = 3 recorded per shared schema.", - "n_vectors": 0, - "vectors": [] + "n_vectors": 14, + "vectors": [ + { + "label": "pos_zero", + "bits": 0, + "hex": "0x0000", + "value": "0" + }, + { + "label": "pos_inf", + "bits": 7936, + "hex": "0x1F00", + "value": "INF(+)" + }, + { + "label": "neg_inf", + "bits": 16128, + "hex": "0x3F00", + "value": "INF(-)" + }, + { + "label": "nan", + "bits": 7937, + "hex": "0x1F01", + "value": "NAN(+)" + }, + { + "label": "smallest_subnormal", + "bits": 1, + "hex": "0x0001", + "value": "0.0000002384185791015625" + }, + { + "label": "largest_subnormal", + "bits": 255, + "hex": "0x00FF", + "value": "0.0000607967376708984375" + }, + { + "label": "smallest_normal", + "bits": 256, + "hex": "0x0100", + "value": "0.00006103515625" + }, + { + "label": "one", + "bits": 3840, + "hex": "0x0F00", + "value": "1" + }, + { + "label": "two", + "bits": 4096, + "hex": "0x1000", + "value": "2" + }, + { + "label": "onepointfive", + "bits": 3968, + "hex": "0x0F80", + "value": "1.5" + }, + { + "label": "neg_one", + "bits": 12032, + "hex": "0x2F00", + "value": "-1" + }, + { + "label": "quarter", + "bits": 3328, + "hex": "0x0D00", + "value": "0.25" + }, + { + "label": "five", + "bits": 4416, + "hex": "0x1140", + "value": "5" + }, + { + "label": "largest_finite", + "bits": 7935, + "hex": "0x1EFF", + "value": "65408" + } + ] } \ No newline at end of file From a830269f16f7703bceb1c81fe7602ead0a11f544 Mon Sep 17 00:00:00 2001 From: gHashTag Date: Mon, 15 Jun 2026 18:12:05 +0000 Subject: [PATCH 2/2] conformance(gf14): sync INDEX entry + NOW.md for 14 bit-exact vectors INDEX_all_formats.json gf14: kind structural->bitexact, n_vectors 0->14, sha256 refreshed; aggregates bitexact_packs 55->56, structural_packs 28->27. docs/NOW.md: add gf14 block + bump Last updated to 2026-06-15. Integrity gate now CLEAN (exit 0); self-test gate green. Catalog stays 83. Closes #1146 --- conformance/vectors/INDEX_all_formats.json | 10 +++++----- docs/NOW.md | 9 ++++++++- 2 files changed, 13 insertions(+), 6 deletions(-) diff --git a/conformance/vectors/INDEX_all_formats.json b/conformance/vectors/INDEX_all_formats.json index 6fd3525b0..f20806c5c 100644 --- a/conformance/vectors/INDEX_all_formats.json +++ b/conformance/vectors/INDEX_all_formats.json @@ -5,8 +5,8 @@ "preprint": "https://arxiv.org/abs/2606.05017", "total_formats": 83, "total_packs": 83, - "bitexact_packs": 55, - "structural_packs": 28, + "bitexact_packs": 56, + "structural_packs": 27, "packs": [ { "id": "binary16", @@ -374,10 +374,10 @@ { "id": "gf14", "file": "gf14_conformance_v0.json", - "kind": "structural", - "n_vectors": 0, + "kind": "bitexact", + "n_vectors": 14, "source": "generated by gen_all_formats.py", - "sha256": "0ed0eb17a72fb959746fd86892a257a53a7191edb7889e26d59fd630922f54a9" + "sha256": "e4e25a0cd32c4539e152569304b1ae6204b63de65fa4fa3d824b3d74d6d875c8" }, { "id": "gf48", diff --git a/docs/NOW.md b/docs/NOW.md index bf3dad812..aa8769a08 100644 --- a/docs/NOW.md +++ b/docs/NOW.md @@ -1,6 +1,13 @@ # NOW -- Trinity t27 sync -Last updated: 2026-06-14 +Last updated: 2026-06-15 + +## conformance-gf14-vectors -- add 14 bit-exact GF14 vectors, second-oracle coverage 52 -> 53 (Closes #1120) + +- **WHERE**: conformance/vectors/gf14_conformance_v0.json, conformance/vectors/INDEX_all_formats.json +- **WHAT**: Replaced the n_vectors:0 structural stub for GF14 with 14 bit-exact conformance vectors (layout S1/E5/M8 bias15, rule e=round(13/phi^2)=5, matches catalog). Vectors emitted by the from-spec encoder and confirmed by an independent decoder; verified 14/14 on a fresh clone. INDEX_all_formats.json gf14 entry synced (kind structural -> bitexact, n_vectors 0 -> 14, sha256 refreshed); aggregates bitexact_packs 55 -> 56, structural_packs 28 -> 27. Second-oracle coverage moves 52 -> 53 of 83. +- **Why**: closes one structural stub with real round-trippable vectors so the integrity gate recounts cleanly; de-risked against the Corona GF decode law (14/14 agree, FAIL-reachable cross-check). L6 gf16 SSOT untouched; catalog stays 83; no gen/ edits; ASCII-only added lines; no quality claim added. Closes #1120. +- **Anchor**: phi^2 + phi^-2 = 3 ## compiler-expr-characterization -- expression-level positive/characterization tests (Closes #1137)