Research: Compact rounded ADD

research/compact-rounded-add/ARITHMETIC.json

@@ -0,0 +1,172 @@
+{
+  "exhaustive": [
+    {
+      "accepted": 340,
+      "cases": 340,
+      "coefficient": "0",
+      "rejected": 0,
+      "widths": [
+        1,
+        4
+      ]
+    },
+    {
+      "accepted": 298,
+      "cases": 340,
+      "coefficient": "1/2",
+      "rejected": 42,
+      "widths": [
+        1,
+        4
+      ]
+    },
+    {
+      "accepted": 282,
+      "cases": 340,
+      "coefficient": "-2/3",
+      "rejected": 58,
+      "widths": [
+        1,
+        4
+      ]
+    },
+    {
+      "accepted": 116,
+      "cases": 340,
+      "coefficient": "3",
+      "rejected": 224,
+      "widths": [
+        1,
+        4
+      ]
+    },
+    {
+      "accepted": 267,
+      "cases": 340,
+      "coefficient": "-5/6",
+      "rejected": 73,
+      "widths": [
+        1,
+        4
+      ]
+    },
+    {
+      "accepted": 14,
+      "cases": 84,
+      "coefficient": "-14729531/163840",
+      "rejected": 70,
+      "widths": [
+        1,
+        3
+      ]
+    },
+    {
+      "accepted": 18,
+      "cases": 84,
+      "coefficient": "-1379/250",
+      "rejected": 66,
+      "widths": [
+        1,
+        3
+      ]
+    },
+    {
+      "accepted": 30,
+      "cases": 84,
+      "coefficient": "1085645/393216",
+      "rejected": 54,
+      "widths": [
+        1,
+        3
+      ]
+    }
+  ],
+  "extra_endpoint_cases": [
+    {
+      "accepted": true,
+      "coefficient": "1/32",
+      "width": 2,
+      "x": -2,
+      "y": -2
+    },
+    {
+      "accepted": true,
+      "coefficient": "1/32",
+      "width": 2,
+      "x": 1,
+      "y": 1
+    },
+    {
+      "accepted": true,
+      "coefficient": "1/32",
+      "width": 2,
+      "x": 0,
+      "y": -1
+    },
+    {
+      "accepted": false,
+      "coefficient": "-31/16",
+      "width": 2,
+      "x": -2,
+      "y": -2
+    },
+    {
+      "accepted": true,
+      "coefficient": "-31/16",
+      "width": 2,
+      "x": 1,
+      "y": 1
+    },
+    {
+      "accepted": false,
+      "coefficient": "-31/16",
+      "width": 2,
+      "x": 0,
+      "y": -1
+    },
+    {
+      "accepted": false,
+      "coefficient": "-14729531/163840",
+      "width": 8,
+      "x": -128,
+      "y": -128
+    },
+    {
+      "accepted": false,
+      "coefficient": "-14729531/163840",
+      "width": 8,
+      "x": 127,
+      "y": 127
+    },
+    {
+      "accepted": true,
+      "coefficient": "-14729531/163840",
+      "width": 8,
+      "x": 0,
+      "y": -1
+    },
+    {
+      "accepted": false,
+      "coefficient": "1085645/393216",
+      "width": 4,
+      "x": -8,
+      "y": -8
+    },
+    {
+      "accepted": false,
+      "coefficient": "1085645/393216",
+      "width": 4,
+      "x": 7,
+      "y": 7
+    },
+    {
+      "accepted": true,
+      "coefficient": "1085645/393216",
+      "width": 4,
+      "x": 0,
+      "y": -1
+    }
+  ],
+  "oracle": "direct signed integers and mathematical floor; no transition arithmetic imported",
+  "total_cases": 1952
+}

research/compact-rounded-add/CONTROLS.json

@@ -0,0 +1,14 @@
+{
+  "detected_mutants": [
+    "lost-leading",
+    "lost-negative",
+    "tie-down",
+    "unsigned-residue",
+    "omit-high"
+  ],
+  "extra_controls": [
+    "positive_negative_even_ties",
+    "floor_not_truncation",
+    "odd_divisor_domain"
+  ]
+}

research/compact-rounded-add/DEPENDENCIES.json

@@ -0,0 +1,59 @@
+{
+  "schema_version": 1,
+  "files": [
+    {
+      "local_path": "data/word.json.gz",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "03626137d0bd57f09b0bf9597376183ce6fa9683",
+      "original_path": "research/p104-main-wire-native/data/word.json.gz",
+      "bytes": 349022,
+      "git_blob": "d93e67ca7628bf5531ae6e369da4dd7b7907b88f",
+      "sha256": "273e81f176f001684b1fa3eb857992bf58b54748004fcfe806b83adb48d2cc00"
+    },
+    {
+      "local_path": "vendor/machine.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "ab239cb6ee884e7a900dd9101c34448077fad0b0",
+      "original_path": "research/compiled-owned-bank-lifecycle/machine.py",
+      "bytes": 14932,
+      "git_blob": "acf475e4fccaff2fb64bd5b0b3f3fc0d246dc592",
+      "sha256": "ec597bce13275003ff30e4be481c936401826c1d4af642b55eec0c410774d1df"
+    },
+    {
+      "local_path": "vendor/exact_scalar_tables.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "13193a22b1070a74a8580c5d3ea27470443f815a",
+      "original_path": "research/current-scalar-flat-tables/tables.py",
+      "bytes": 12650,
+      "git_blob": "1cc22f75fbe53d48b84be42782e581c04820cd49",
+      "sha256": "654e9734ef80a9394807ca508543b1bc164afb5768d23d0e5a88c790d2f13bac"
+    },
+    {
+      "local_path": "reference/PRECISION-PROOF.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "56bc9383594a3efc303148e00bb746851abd1ed5",
+      "original_path": "research/query-only-precision-envelope/PROOF.md",
+      "bytes": 26757,
+      "git_blob": "465a5dddd83bdea5db09f1030f99dffe698fe600",
+      "sha256": "8ddafd9a4c5b51d4c0e3f9b4a9eba27712335a16de1868ba156557344af86e63"
+    },
+    {
+      "local_path": "vendor/physical_fixture.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "6476455a1cf7cd29d6a2a81c3b6f02fd3a3bbf57",
+      "upstream_path": "research/current-rounded-scalar-tables/physical.py",
+      "bytes": 6183,
+      "sha256": "b0eb6f2db2deff9104cdf786a8ae84b0d4864b09a1f9b99178cb08c1666d014e",
+      "git_blob": "027b563887fd748438d0d0dc7a75f356b29986bd"
+    },
+    {
+      "local_path": "reference/ROUNDED-SCALAR-PROOF.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "6476455a1cf7cd29d6a2a81c3b6f02fd3a3bbf57",
+      "upstream_path": "research/current-rounded-scalar-tables/PROOF.md",
+      "bytes": 17726,
+      "sha256": "ebf8634a004ef9371831171ae5ed1bcbe55e9c2931b56d8113556f27f8ded830",
+      "git_blob": "498145c6ac72b3c2ef7a0adf166570f4073b68ca"
+    }
+  ]
+}

research/compact-rounded-add/HISTORY.json

@@ -0,0 +1,65 @@
+{
+  "failed_work_reused": true,
+  "failure_scope": "public field unchanged; heads and private scratch may remain dirty/repositioned",
+  "history": [
+    {
+      "actions": 552506,
+      "bound": 6250268,
+      "components": 8,
+      "historical_backing": [
+        4500,
+        6000
+      ],
+      "old_backing": 10500,
+      "table_rows": 89988,
+      "width": 19
+    },
+    {
+      "actions": 50798,
+      "bound": 999424,
+      "components": 2,
+      "historical_backing": [
+        4500,
+        6000
+      ],
+      "old_backing": 0,
+      "table_rows": 10436,
+      "width": 2
+    },
+    {
+      "actions": 158348,
+      "bound": 2441216,
+      "components": 4,
+      "historical_backing": [
+        4500,
+        6000
+      ],
+      "old_backing": 0,
+      "table_rows": 30800,
+      "width": 9
+    },
+    {
+      "actions": 46738,
+      "bound": 966656,
+      "components": 2,
+      "historical_backing": [
+        4500,
+        6000
+      ],
+      "old_backing": 0,
+      "table_rows": 9726,
+      "width": 1
+    }
+  ],
+  "late_failure_public_unchanged": true,
+  "malformed_controls": [
+    "empty",
+    "odd_record",
+    "empty_component",
+    "foreign_symbol",
+    "unterminated",
+    "unequal_shapes"
+  ],
+  "preserved_contexts": 3,
+  "signed_equal_distinct_sources": true
+}

research/compact-rounded-add/OVERLAP.md

@@ -0,0 +1,44 @@
+# Bounded predecessor and freshness review
+
+Canonical source: `7c49fe32c55de02c2c873655c804b16e4c3fef0a`.
+This targeted review does not establish absence of all earlier related work.
+
+* `research/current-rounded-scalar-tables` at CubeJerry public
+  `6476455a1cf7cd29d6a2a81c3b6f02fd3a3bbf57` already proves literal fixed-q
+  SCALE/ADD by direct carry, builds the 52-SCALE class, and explicitly leaves
+  large ADD numerical carry graphs and full source inventory open. We reuse
+  its unchanged physical fixture and lifecycle, and replace the numerator
+  stage with coefficient-bit Horner passes and a new two-bank marker layout.
+* `upstream/build/sections/02-streams.tex`, full-file Git blob
+  `088fceea1867abc76271d7efe7532b779fee9039`, supplies signed linear stream
+  arithmetic, fixed power-of-two operations, guard bits and charged reversals.
+  The reviewed excerpt was lines185..215; we do not present an excerpt's
+  hash as that full-file blob or claim a newly invented arithmetic principle.
+* `research/rank7-one-carry-scalars/README.md`, blob
+  `0a15051fa99b1e7e8af27a1169583fc0691654ef`, NickPetalas/#3094, uses one
+  clean Boolean carry for selected dyadic/sign ADD circuits with borrowed
+  source restoration. Its circuit model is distinct from this sequential
+  numeric numerator/division table; it remains credited.
+* `research/scalar-fused-dyadic/README.md`, blob
+  `87ff8713a47320af0157146c5f3b5a4fb85c1085`, optimizes host rational/bitplane
+  audit normalization, not this literal lifecycle primitive.
+* `research/gaussian-scalar-backend-audit/README.md`, blob
+  `35d8acdec29207a95dca69f1403c70acd9a307fc`, is an offline interval oracle
+  and explicitly not the required physical coefficient producer.
+* `research/copy-floor-arithmetic/README.md`, blob
+  `5ba5198aa4496d88df88902624a2ab39569d2ad6`, concerns source COPY/rank
+  arithmetic, not a rounded binary payload codec.
+* DreamingOfClouds' #6937 total RDiv automaton is already credited by the
+  rounded-scalar predecessor. Our claim is not first existence of total
+  fixed-rational rounded division.
+
+The source census/source witnesses retain #6936 head
+`03626137d0bd57f09b0bf9597376183ce6fa9683`. The lead's exact 20:11 UTC
+refresh reports head `d360b1182b6d21b1ee2354856abcb50646ad618b`, whose
+only delta is the VERIFY.json timeout, with unchanged actual word/claims.
+#6937 remains `a98df73ddae1d1ea85a62b6bdf2714b28cb7b359`.
+
+Allocation is complementary to the native worker's variable-g rounded
+positive leaf. This package has a fixed coefficient and fixed d per table;
+it does not implement a runtime-variable shift, divisor or leaf header.
+The lead's three-QUERY rank lower bound is likewise a different claim.