Research: ADD tariff conversion audit

research/literal-tariff-conversion-audit/CONTROLS.json

@@ -0,0 +1,22 @@
+{
+  "detected": [
+    "COPY_must_not_be_included_in_ADD_count",
+    "one_native_call_is_not_the_complete_18_call_invoice",
+    "remainder_and_reversal_cost_is_not_zero",
+    "coded_read_is_not_three_raw_reads",
+    "upper_cap_inference_from_lower_bound_rejected",
+    "positive_abstract_countermodel_to_full_runtime_obstruction",
+    "quotient_fourth_move_counted"
+  ],
+  "invalid_inferences": [
+    "An O(V) source lemma specifies rho=1.",
+    "A lower estimate under rho=3 proves an upper admission.",
+    "A failure of the retained replacement ledger proves all implementations exceed the cap.",
+    "Three installed compact source tokens constitute a full caller registry."
+  ],
+  "purely_algebraic_countermodel": {
+    "add_actual": 500000000,
+    "other_actual": 100000000,
+    "scope": "Consistency witness for cost inequalities only; no physical algorithm is asserted."
+  }
+}

research/literal-tariff-conversion-audit/DEPENDENCIES.json

@@ -0,0 +1,196 @@
+{
+  "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",
+      "usage": "source",
+      "bytes": 349022,
+      "sha256": "273e81f176f001684b1fa3eb857992bf58b54748004fcfe806b83adb48d2cc00",
+      "git_blob": "d93e67ca7628bf5531ae6e369da4dd7b7907b88f"
+    },
+    {
+      "local_path": "data/caller.json",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "617903497387a98f7ca929ad0b6928dd32abffec",
+      "original_path": "research/p104-query-only-interval/QUERY-ONLY-CALLER.json",
+      "usage": "source",
+      "bytes": 73501,
+      "sha256": "3828d53e80ea97e8b866320f081af20b6b93bfebd58b95b56b85a7afe151af5e",
+      "git_blob": "cf55f4271009a06ad192a070d330a4466b6d44fa"
+    },
+    {
+      "local_path": "kernel/compact_tables.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "38cd824c60f2bb5c6f2603f848a9487cb3a57965",
+      "original_path": "research/compact-rounded-add/tables.py",
+      "usage": "runtime",
+      "bytes": 9089,
+      "sha256": "fe8a28fd523ebb7ec78dce4ba0855b3070a6cbff470602cd62f8d3ff445e0f0a",
+      "git_blob": "b90ecb6052e270095fdd048f992f9fc786f3f8c7"
+    },
+    {
+      "local_path": "kernel/exact_builder.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "13193a22b1070a74a8580c5d3ea27470443f815a",
+      "original_path": "research/current-scalar-flat-tables/tables.py",
+      "usage": "runtime",
+      "bytes": 12650,
+      "sha256": "654e9734ef80a9394807ca508543b1bc164afb5768d23d0e5a88c790d2f13bac",
+      "git_blob": "1cc22f75fbe53d48b84be42782e581c04820cd49"
+    },
+    {
+      "local_path": "kernel/machine.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "ab239cb6ee884e7a900dd9101c34448077fad0b0",
+      "original_path": "research/compiled-owned-bank-lifecycle/machine.py",
+      "usage": "runtime",
+      "bytes": 14932,
+      "sha256": "ec597bce13275003ff30e4be481c936401826c1d4af642b55eec0c410774d1df",
+      "git_blob": "acf475e4fccaff2fb64bd5b0b3f3fc0d246dc592"
+    },
+    {
+      "local_path": "reference/COMPACT-PROOF.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "38cd824c60f2bb5c6f2603f848a9487cb3a57965",
+      "original_path": "research/compact-rounded-add/PROOF.md",
+      "usage": "reference",
+      "bytes": 20517,
+      "sha256": "80035605d92c0a1cceb1f802f4adcfeb1b60590a4b7335b612f8c4f67079ceb0",
+      "git_blob": "07d0ad2d714c5e6e4b0b03db78657bf8d6a63bf9"
+    },
+    {
+      "local_path": "reference/QUERY-PROOF.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "617903497387a98f7ca929ad0b6928dd32abffec",
+      "original_path": "research/p104-query-only-interval/PROOF.md",
+      "usage": "reference",
+      "bytes": 14599,
+      "sha256": "0cede285a98dd61b78020651202729c6d9cd16fb078ee5fe9a01aa2400df5432",
+      "git_blob": "2f8610ae455bb8c6b79161223cc948e136253add"
+    },
+    {
+      "local_path": "reference/query_invoice.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "617903497387a98f7ca929ad0b6928dd32abffec",
+      "original_path": "research/p104-query-only-interval/complete_invoice.py",
+      "usage": "reference",
+      "bytes": 4478,
+      "sha256": "08e923f18bfb86c1b1664dd6c025e45e53e0e2be40af0ae7b7459bb7bd1414ba",
+      "git_blob": "eec03ab88b1a8cd97b97169e3d760a91a3ec23b0"
+    },
+    {
+      "local_path": "reference/owned_invoice.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "4e2fd1b6abed49c202a057fd5c73ead0a460f976",
+      "original_path": "research/p104-qself-owned-lowering/invoice.py",
+      "usage": "reference",
+      "bytes": 11454,
+      "sha256": "bb61a684d284942157e8b3ca48c40c4c98809298eee0d763d509bbbde8bec208",
+      "git_blob": "a576bd0e0054dccae91d7cf3ff7e65090a6257e0"
+    },
+    {
+      "local_path": "reference/PRECISION-PROOF.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "56bc9383594a3efc303148e00bb746851abd1ed5",
+      "original_path": "research/query-only-precision-envelope/PROOF.md",
+      "usage": "reference",
+      "bytes": 26757,
+      "sha256": "8ddafd9a4c5b51d4c0e3f9b4a9eba27712335a16de1868ba156557344af86e63",
+      "git_blob": "465a5dddd83bdea5db09f1030f99dffe698fe600"
+    },
+    {
+      "local_path": "reference/precision_guards.py",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "56bc9383594a3efc303148e00bb746851abd1ed5",
+      "original_path": "research/query-only-precision-envelope/guards.py",
+      "usage": "reference",
+      "bytes": 4750,
+      "sha256": "004393aea68177dac6378295a60a3f4a9a236068c939c5825eea41c58097fc08",
+      "git_blob": "0b0b7f0c0bc675152c222c2c53d559cb3648adc9"
+    },
+    {
+      "local_path": "reference/PRECISION-GUARDS.json",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "56bc9383594a3efc303148e00bb746851abd1ed5",
+      "original_path": "research/query-only-precision-envelope/GUARDS.json",
+      "usage": "reference",
+      "bytes": 2170,
+      "sha256": "fbcb30c44ff2436c8b2c84def832c37b8fd68598c8fdb3a122ba43c8b791e004",
+      "git_blob": "d295e9bb21973df7fa31cbf64f016fbd86ab9b9a"
+    },
+    {
+      "local_path": "reference/LAMBDA-PROOF.md",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "591394d8b791f6e8ac6e1aa36f8c3ea5389178c2",
+      "original_path": "research/current-rounded-lambda/PROOF.md",
+      "usage": "reference",
+      "bytes": 18690,
+      "sha256": "94aff5db5beca90a2ef27913a13783ac465b46c5b99cbd92d517e69d0cf2e4cf",
+      "git_blob": "538302771cb517c8a71dee0bc519c5ebf24ee32a"
+    },
+    {
+      "local_path": "reference/LAMBDA-SOURCE.json",
+      "repository": "CubeJerry/integer-mult-bounds",
+      "commit": "591394d8b791f6e8ac6e1aa36f8c3ea5389178c2",
+      "original_path": "research/current-rounded-lambda/SOURCE.json",
+      "usage": "reference",
+      "bytes": 922,
+      "sha256": "1e76ff12b2469d5904c7b85e3775f6285e8a71580a0e49f1e333d518e6c584b4",
+      "git_blob": "0497a28a6d34a72caedd8d84cf426e34adc3facf"
+    },
+    {
+      "local_path": "reference/ROUNDED-DIVISION-6937.md",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "a98df73ddae1d1ea85a62b6bdf2714b28cb7b359",
+      "original_path": "research/p104-two-chain-findings/ROUNDED-DIVISION.md",
+      "usage": "reference",
+      "bytes": 40736,
+      "sha256": "9ecff5835fae5fcdbf416711a5ef0e69d51afb535c55570ab3e1fef6f920f146",
+      "git_blob": "ed609f6a0e26dd00d6c55f876b667e15051507ca"
+    },
+    {
+      "local_path": "reference/FINITE-PRECOMPILATION.md",
+      "repository": "CrocSwap/integer-mult-bounds",
+      "commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+      "original_path": "research/kappa-rebuild/architecture/FINITE-PRECOMPILATION.md",
+      "usage": "reference",
+      "bytes": 15898,
+      "sha256": "4cb32f6b8e388ecf6ed41b5bbdeeb4539cb40c8424f194974afea58f7e0921e8",
+      "git_blob": "4badb40f0919c515823cb07e44c6470d4d6469ca"
+    },
+    {
+      "local_path": "reference/physical_review_6936.py",
+      "repository": "DreamingOfClouds/integer-mult-bounds",
+      "commit": "03626137d0bd57f09b0bf9597376183ce6fa9683",
+      "original_path": "research/p104-main-wire-native/retained/physical-review/verify.py",
+      "usage": "reference",
+      "bytes": 33361,
+      "sha256": "c303c2812d530849d174088f0330a4d7ddac2698d92b91848dbce7a512573fc2",
+      "git_blob": "f41390e0246cd6604a94ef5b418f48a817a4208c"
+    },
+    {
+      "local_path": "reference/02-streams.tex",
+      "repository": "CrocSwap/integer-mult-bounds",
+      "commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+      "original_path": "upstream/build/sections/02-streams.tex",
+      "usage": "reference",
+      "bytes": 11311,
+      "sha256": "606c80db61cad13aa0c3b6060dc4b88dbbe7ac60cdd831aa93f28d908fd09dab",
+      "git_blob": "088fceea1867abc76271d7efe7532b779fee9039"
+    },
+    {
+      "local_path": "reference/05-layers.tex",
+      "repository": "CrocSwap/integer-mult-bounds",
+      "commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+      "original_path": "upstream/build/sections/05-layers.tex",
+      "usage": "reference",
+      "bytes": 46811,
+      "sha256": "20cfc8d12099d4e4ed9e3e7eeb6162edd9b6e0e076f24693364cd24377252594",
+      "git_blob": "5ce8b3c83c455f221bb84858a97230b0285644aa"
+    }
+  ],
+  "scope": "Exact bytes retained; public commit/path pins are source identities, not claims of canonical ancestry."
+}