conformance(gf14): add 14 bit-exact GF14 vectors (52 -> 53)

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",

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"
+    }
+  ]
 }

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)