Полный набор пакетов соответствия на все 83 формата каталога (Closes #1071)

conformance/vectors/afp_conformance_v0.json

@@ -0,0 +1,30 @@
+{
+  "schema": "t27-conformance/v0.1",
+  "format": "AFP",
+  "format_name": "AFP (Adaptive Floating-Point)",
+  "bitexact": false,
+  "format_notes": "AFP (Adaptive Floating-Point) -- Tambe 2020",
+  "catalog": {
+    "id": "afp",
+    "bits": 16,
+    "s": 1,
+    "e": 8,
+    "m": 7,
+    "bias": 127,
+    "storage": "u16_plus_tensor_shift",
+    "cluster": "QuantTuned",
+    "status": "Verified",
+    "standard": "Tambe 2020",
+    "use_case": "efficient training",
+    "gf_relation": "orthogonal",
+    "source": "Tambe 2020 (DAC)",
+    "phi_distance": -1.0
+  },
+  "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.",
+  "anchor_note": "Anchor identity phi^2 + 1/phi^2 = 3 recorded per shared schema.",
+  "n_vectors": 0,
+  "vectors": []
+}

conformance/vectors/bcd_conformance_v0.json

@@ -0,0 +1,30 @@
+{
+  "schema": "t27-conformance/v0.1",
+  "format": "BCD",
+  "format_name": "BCD (binary-coded decimal)",
+  "bitexact": false,
+  "format_notes": "BCD (binary-coded decimal) -- IBM 1959",
+  "catalog": {
+    "id": "bcd",
+    "bits": 0,
+    "s": 0,
+    "e": 0,
+    "m": 0,
+    "bias": 0,
+    "storage": "u4_per_digit",
+    "cluster": "IntegerFixed",
+    "status": "Historical",
+    "standard": "IBM 1959",
+    "use_case": "calculators, GAAP",
+    "gf_relation": "orthogonal",
+    "source": "ISO/IEC 8859",
+    "phi_distance": -1.0
+  },
+  "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": "This format has no single fixed bit layout (parametric / technique / variable-width). A bit-precise round-trip vector table is not well-defined; the catalog metadata and anchor note are recorded instead.",
+  "anchor_note": "Anchor identity phi^2 + 1/phi^2 = 3 recorded per shared schema.",
+  "n_vectors": 0,
+  "vectors": []
+}

conformance/vectors/binary128_conformance_v0.json

@@ -0,0 +1,125 @@
+{
+  "schema": "t27-conformance/v0.1",
+  "format": "BINARY128",
+  "format_name": "binary128 (fp128, quad)",
+  "bitexact": true,
+  "format_notes": "IEEE 754 binary128, S1E15M112, bias 16383. inf at max exp m=0, nan at max exp m!=0 (mantissa exceeds f64; decode approximate for wide formats)",
+  "catalog": {
+    "id": "binary128",
+    "bits": 128,
+    "s": 1,
+    "e": 15,
+    "m": 112,
+    "bias": 16383,
+    "storage": "u128",
+    "cluster": "Ieee754Binary",
+    "status": "Verified",
+    "standard": "IEEE 754-2008",
+    "use_case": "high-precision simulations",
+    "gf_relation": "competitor",
+    "source": "IEEE 754-2008",
+    "phi_distance": 0.484
+  },
+  "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",
+  "anchor_check": {
+    "value": 3.0,
+    "expected": 3.0,
+    "ieee754_exact": true,
+    "binary128_bits_hex": "0x40008000000000000000000000000000"
+  },
+  "round_trip_policy": "decode: exact bits->f64 (curated_named). encode (reference): round-nearest-ties-even; overflow per format convention. abs_error 0 for representable values.",
+  "vector_mode": "curated_named",
+  "n_vectors": 8,
+  "vectors": [
+    {
+      "name": "pos_zero",
+      "input_f64": 0.0,
+      "input_f64_hex": "0x0000000000000000",
+      "binary128_bits_hex": "0x00000000000000000000000000000000",
+      "binary128_bits_int": 0,
+      "decoded_f64": 0.0,
+      "decoded_f64_hex": "0x0000000000000000",
+      "abs_error": 0.0,
+      "category": "zero"
+    },
+    {
+      "name": "pos_one",
+      "input_f64": 1.0,
+      "input_f64_hex": "0x3FF0000000000000",
+      "binary128_bits_hex": "0x3FFF0000000000000000000000000000",
+      "binary128_bits_int": 85065399433376081038215121361612832768,
+      "decoded_f64": 1.0,
+      "decoded_f64_hex": "0x3FF0000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "neg_one",
+      "input_f64": -1.0,
+      "input_f64_hex": "0xBFF0000000000000",
+      "binary128_bits_hex": "0xBFFF0000000000000000000000000000",
+      "binary128_bits_int": 255206582893845312769902425077496938496,
+      "decoded_f64": -1.0,
+      "decoded_f64_hex": "0xBFF0000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "pos_two",
+      "input_f64": 2.0,
+      "input_f64_hex": "0x4000000000000000",
+      "binary128_bits_hex": "0x40000000000000000000000000000000",
+      "binary128_bits_int": 85070591730234615865843651857942052864,
+      "decoded_f64": 2.0,
+      "decoded_f64_hex": "0x4000000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "pos_three",
+      "input_f64": 3.0,
+      "input_f64_hex": "0x4008000000000000",
+      "binary128_bits_hex": "0x40008000000000000000000000000000",
+      "binary128_bits_int": 85073187878663883279657917106106662912,
+      "decoded_f64": 3.0,
+      "decoded_f64_hex": "0x4008000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "pos_half",
+      "input_f64": 0.5,
+      "input_f64_hex": "0x3FE0000000000000",
+      "binary128_bits_hex": "0x3FFE0000000000000000000000000000",
+      "binary128_bits_int": 85060207136517546210586590865283612672,
+      "decoded_f64": 0.5,
+      "decoded_f64_hex": "0x3FE0000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "pos_four",
+      "input_f64": 4.0,
+      "input_f64_hex": "0x4010000000000000",
+      "binary128_bits_hex": "0x40010000000000000000000000000000",
+      "binary128_bits_int": 85075784027093150693472182354271272960,
+      "decoded_f64": 4.0,
+      "decoded_f64_hex": "0x4010000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "neg_three",
+      "input_f64": -3.0,
+      "input_f64_hex": "0xC008000000000000",
+      "binary128_bits_hex": "0xC0008000000000000000000000000000",
+      "binary128_bits_int": 255214371339133115011345220821990768640,
+      "decoded_f64": -3.0,
+      "decoded_f64_hex": "0xC008000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    }
+  ]
+}

conformance/vectors/binary16_conformance_v0.json

@@ -0,0 +1,125 @@
+{
+  "schema": "t27-conformance/v0.1",
+  "format": "BINARY16",
+  "format_name": "binary16 (fp16, half)",
+  "bitexact": true,
+  "format_notes": "IEEE 754 binary16, S1E5M10, bias 15. inf at max exp m=0, nan at max exp m!=0",
+  "catalog": {
+    "id": "binary16",
+    "bits": 16,
+    "s": 1,
+    "e": 5,
+    "m": 10,
+    "bias": 15,
+    "storage": "u16",
+    "cluster": "Ieee754Binary",
+    "status": "Verified",
+    "standard": "IEEE 754-2008",
+    "use_case": "GPU activations, inference",
+    "gf_relation": "competitor",
+    "source": "IEEE 754-2008",
+    "phi_distance": 0.118
+  },
+  "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",
+  "anchor_check": {
+    "value": 3.0,
+    "expected": 3.0,
+    "ieee754_exact": true,
+    "binary16_bits_hex": "0x4200"
+  },
+  "round_trip_policy": "decode: exact bits->f64 (curated_named). encode (reference): round-nearest-ties-even; overflow per format convention. abs_error 0 for representable values.",
+  "vector_mode": "curated_named",
+  "n_vectors": 8,
+  "vectors": [
+    {
+      "name": "pos_zero",
+      "input_f64": 0.0,
+      "input_f64_hex": "0x0000000000000000",
+      "binary16_bits_hex": "0x0000",
+      "binary16_bits_int": 0,
+      "decoded_f64": 0.0,
+      "decoded_f64_hex": "0x0000000000000000",
+      "abs_error": 0.0,
+      "category": "zero"
+    },
+    {
+      "name": "pos_one",
+      "input_f64": 1.0,
+      "input_f64_hex": "0x3FF0000000000000",
+      "binary16_bits_hex": "0x3C00",
+      "binary16_bits_int": 15360,
+      "decoded_f64": 1.0,
+      "decoded_f64_hex": "0x3FF0000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "neg_one",
+      "input_f64": -1.0,
+      "input_f64_hex": "0xBFF0000000000000",
+      "binary16_bits_hex": "0xBC00",
+      "binary16_bits_int": 48128,
+      "decoded_f64": -1.0,
+      "decoded_f64_hex": "0xBFF0000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "pos_two",
+      "input_f64": 2.0,
+      "input_f64_hex": "0x4000000000000000",
+      "binary16_bits_hex": "0x4000",
+      "binary16_bits_int": 16384,
+      "decoded_f64": 2.0,
+      "decoded_f64_hex": "0x4000000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "pos_three",
+      "input_f64": 3.0,
+      "input_f64_hex": "0x4008000000000000",
+      "binary16_bits_hex": "0x4200",
+      "binary16_bits_int": 16896,
+      "decoded_f64": 3.0,
+      "decoded_f64_hex": "0x4008000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "pos_half",
+      "input_f64": 0.5,
+      "input_f64_hex": "0x3FE0000000000000",
+      "binary16_bits_hex": "0x3800",
+      "binary16_bits_int": 14336,
+      "decoded_f64": 0.5,
+      "decoded_f64_hex": "0x3FE0000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "pos_four",
+      "input_f64": 4.0,
+      "input_f64_hex": "0x4010000000000000",
+      "binary16_bits_hex": "0x4400",
+      "binary16_bits_int": 17408,
+      "decoded_f64": 4.0,
+      "decoded_f64_hex": "0x4010000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    },
+    {
+      "name": "neg_three",
+      "input_f64": -3.0,
+      "input_f64_hex": "0xC008000000000000",
+      "binary16_bits_hex": "0xC200",
+      "binary16_bits_int": 49664,
+      "decoded_f64": -3.0,
+      "decoded_f64_hex": "0xC008000000000000",
+      "abs_error": 0.0,
+      "category": "normal"
+    }
+  ]
+}