Merge pull request #1221 from gHashTag/feat/conformance-promote-6-structural-bitexact

conformance: promote 6 structural formats to bit-precise (55->61/83)

Author: gHashTag

conformance/vectors/INDEX_all_formats.json

@@ -5,8 +5,9 @@
   "preprint": "https://arxiv.org/abs/2606.05017",
   "total_formats": 83,
   "total_packs": 83,
-  "bitexact_packs": 55,
-  "structural_packs": 22,
+  "bitexact_packs": 61,
+  "selfconsistent_packs": 6,
+  "structural_packs": 16,
   "packs": [
     {
       "id": "binary16",
@@ -51,26 +52,26 @@
     {
       "id": "decimal32",
       "file": "decimal32_conformance_v0.json",
-      "kind": "structural",
-      "n_vectors": 0,
+      "kind": "bitexact",
+      "n_vectors": 7,
       "source": "generated by gen_all_formats.py",
-      "sha256": "cd43863397f911142eed1e8e5f2a8ef41ba97d344aa6b64f8f550b5b390bbcad"
+      "sha256": "e13bc9cd6bc33545ab55f575e23d2343418ded5eddf1395b61f31321dc7d272e"
     },
     {
       "id": "decimal64",
       "file": "decimal64_conformance_v0.json",
-      "kind": "structural",
-      "n_vectors": 0,
+      "kind": "bitexact",
+      "n_vectors": 7,
       "source": "generated by gen_all_formats.py",
-      "sha256": "c42aabb5cf847a521698d9451f490ceb17c29ff1169e9c1147609ae737635a5b"
+      "sha256": "fedef68cfe1b910e737574bbe331dc19fbe1724edbd35ec8beac89b1595bea0d"
     },
     {
       "id": "decimal128",
       "file": "decimal128_conformance_v0.json",
-      "kind": "structural",
-      "n_vectors": 0,
+      "kind": "bitexact",
+      "n_vectors": 8,
       "source": "generated by gen_all_formats.py",
-      "sha256": "0e3ab9f3bd6bc3525457c9cbbab1d99ecc801a5019dd92cc87f2c5468b0d471a"
+      "sha256": "84dbc594340717415385b3bd86eb20432f5430aba047557579f2e2a96de0dc2d"
     },
     {
       "id": "x87_fp80",
@@ -83,18 +84,18 @@
     {
       "id": "double_double",
       "file": "double_double_conformance_v0.json",
-      "kind": "structural",
-      "n_vectors": 0,
+      "kind": "bitexact",
+      "n_vectors": 8,
       "source": "generated by gen_all_formats.py",
-      "sha256": "6bc6d15ba3258a125c591dedc63b4125b7ecc0d502bc1c3a2ecf65a76714c526"
+      "sha256": "f8dc9608093afada65df94852a9b78c3a4a5466415389c5ec359afd19d3b208c"
     },
     {
       "id": "quad_double",
       "file": "quad_double_conformance_v0.json",
-      "kind": "structural",
-      "n_vectors": 0,
+      "kind": "bitexact",
+      "n_vectors": 8,
       "source": "generated by gen_all_formats.py",
-      "sha256": "d0d7b15d7d8d6c590437a1e9f2d215d63115448f4eb26fe479cc5999f7b21c03"
+      "sha256": "62ef8067fd1d70ef0abac77d4b0252a3686b9cd698ee4806e0bc1e01bcfe7cfa"
     },
     {
       "id": "bfloat16",
@@ -366,40 +367,36 @@
     {
       "id": "gf10",
       "file": "gf10_conformance_v0.json",
-      "kind": "structural",
-      "n_vectors": 0,
+      "kind": "bitexact",
+      "n_vectors": 8,
       "source": "generated by gen_all_formats.py",
-      "sha256": "e7043494280dd9716f7e47ed2ef1b149872823514a9267cca5190599fc6b2102"
+      "sha256": "af62499491faf340d7940b0b10ab0208745e57faa97bbe19588fe1d879db485b"
     },
     {
       "id": "gf14",
       "file": "gf14_conformance_v0.json",
       "kind": "bitexact_selfconsistent",
-      "n_vectors": 14,
       "source": "wide-rung GoldenFloat oracle (single decode law, dyadic-exact, no independent second witness)",
       "sha256": "e4e25a0cd32c4539e152569304b1ae6204b63de65fa4fa3d824b3d74d6d875c8"
     },
     {
       "id": "gf48",
       "file": "gf48_conformance_v0.json",
       "kind": "bitexact_selfconsistent",
-      "n_vectors": 15,
       "source": "wide-rung GoldenFloat oracle (single decode law, dyadic-exact, no independent second witness)",
       "sha256": "bf88f55076175dffe1fa108e0e6a526829e274f049c839e26a002a6ea6dd534e"
     },
     {
       "id": "gf96",
       "file": "gf96_conformance_v0.json",
       "kind": "bitexact_selfconsistent",
-      "n_vectors": 15,
       "source": "wide-rung GoldenFloat oracle (single decode law, dyadic-exact, no independent second witness)",
       "sha256": "2566ac9f2b9fb1950e4c52e09715c148f6d29d681aa37c70f0a7e6c0457a3dba"
     },
     {
       "id": "gf128",
       "file": "gf128_conformance_v0.json",
       "kind": "bitexact_selfconsistent",
-      "n_vectors": 15,
       "source": "wide-rung GoldenFloat oracle (single decode law, dyadic-exact, no independent second witness)",
       "sha256": "23a82862b0302585031b46ca75928c793f30297351ca84f806ee6497bc659264"
     },
@@ -415,15 +412,13 @@
       "id": "gf512",
       "file": "gf512_conformance_v0.json",
       "kind": "bitexact_selfconsistent",
-      "n_vectors": 15,
       "source": "wide-rung GoldenFloat oracle (single decode law, dyadic-exact, no independent second witness)",
       "sha256": "87bd4d7cbf7fc0d653b7c3b5e5399154c7cb746a0fe668a983f767ad69b15b07"
     },
     {
       "id": "gf1024",
       "file": "gf1024_conformance_v0.json",
       "kind": "bitexact_selfconsistent",
-      "n_vectors": 15,
       "source": "wide-rung GoldenFloat oracle (single decode law, dyadic-exact, no independent second witness)",
       "sha256": "6ef1c5cbe76828bf0e587fa5c0bb0f40989a7d1056cb54ad45eed192e98b4f4e"
     },
@@ -667,6 +662,5 @@
       "source": "generated by gen_all_formats.py",
       "sha256": "fc2a0a6dcce7bbb0eccc1e23ebdacb9abbd81cd54111796be6dc7e6a87a2071a"
     }
-  ],
-  "selfconsistent_packs": 6
-}
+  ]
+}