Remove empty-root credits from the paired BIT supplier at 0.00385248 (no new κ)

research/paired-query-only-bit/INDEPENDENT-REVIEW.json

@@ -0,0 +1,139 @@
+{
+  "reviewed_result_sha256": "a46b6c6040f75184cab5467656811ad988c216e3bc8e44d595a5015b6e49620b",
+  "ordinary": {
+    "visible": 363507600,
+    "routes": 740743004160,
+    "total": 741106511760,
+    "owned_bank": 6878988
+  },
+  "status": "INDEPENDENT_BIT_REVIEW_PASS",
+  "caller_sha256": "757b3523798f840bdb02028b23708c3416627a99ea09e7a3c4bcdc5cd0c7ce4b",
+  "native_sha256": "51203e7fc75ba10bd3ac3f8e675759f47e13d262bea66b6600d1e515095cad78",
+  "native_exact_input_rows": 659,
+  "caller_exact_input_rows": 38,
+  "native_calls": 36,
+  "paid": {
+    "1": 50340,
+    "2": 45108,
+    "3": 2232,
+    "4": 1692,
+    "5": 324,
+    "6": 3744,
+    "7": 804,
+    "14": 444,
+    "21": 444,
+    "28": 444,
+    "35": 444,
+    "42": 444,
+    "49": 444,
+    "56": 444
+  },
+  "targets": {
+    "2": 36,
+    "4": 900,
+    "6": 36,
+    "8": 15204,
+    "15": 444,
+    "22": 444,
+    "29": 444,
+    "36": 444,
+    "43": 444,
+    "50": 444,
+    "57": 444,
+    "64": 444,
+    "127": 222
+  },
+  "rank_surplus": 1506,
+  "margins": {
+    "385253/100000000": [
+      0.003643625639474395,
+      0.003643625639474395
+    ],
+    "19262696967/5000000000000": [
+      1.777384446963035e-08,
+      1.777384446963035e-08
+    ],
+    "7705078787/2000000000000": [
+      -2.101517544647592e-08,
+      -2.101517544647592e-08
+    ]
+  },
+  "finite_ratios": [
+    [
+      0.9999999874567925,
+      0.9999999874567925
+    ],
+    [
+      0.8732851491950379,
+      0.8732851491950379
+    ],
+    [
+      0.9493708822913206,
+      0.9493708822913206
+    ]
+  ],
+  "normalized_upper_float": 0.9999903669094515,
+  "LP": 610,
+  "H": 293160000000000,
+  "bootstrap": [
+    {
+      "previous": "17/5000",
+      "admitted": "38507/10000000",
+      "envelope": "4813399601/1250000000000",
+      "margin": "24601/1250000000000"
+    },
+    {
+      "previous": "38507/10000000",
+      "admitted": "12039/3125000",
+      "envelope": "4815653101/1250000000000",
+      "margin": "53101/1250000000000"
+    }
+  ],
+  "controls": {
+    "LOCAL": {
+      "deleted": 4,
+      "bad_input_rows": [
+        0,
+        1
+      ]
+    },
+    "QUERY": {
+      "deleted": 196,
+      "bad_input_rows": [
+        0,
+        1,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9
+      ]
+    },
+    "IDLE_ONE": {
+      "deleted": 19,
+      "bad_input_rows": [
+        0,
+        1
+      ]
+    },
+    "ADD": {
+      "deleted": 0,
+      "bad_input_rows": [
+        1
+      ]
+    },
+    "SWAP": {
+      "deleted": 1,
+      "bad_input_rows": [
+        0
+      ]
+    },
+    "QUERY_without_q": [
+      0
+    ]
+  },
+  "scope": "Exact scalar operator and arithmetic; no chart-provider/tape implementation or tariff re-admission; Efree caller removes empty q-only credits and bootstraps only selected .0034; five foundational framework premises remain."
+}

research/paired-query-only-bit/INPUT-PINS.json

@@ -0,0 +1,118 @@
+{
+  "schema_version": 1,
+  "base_commit": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+  "pins": {
+    "bit": "435bbe91fb28cb1d7a569ca70c6c4e9eb302d486",
+    "main_wire": "d360b1182b6d21b1ee2354856abcb50646ad618b",
+    "main": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+    "query_only": "617903497387a98f7ca929ad0b6928dd32abffec",
+    "prior_same_invoice": "79603d1f7d243f1d034613df84991673a94ad5ae"
+  },
+  "source_export_scope": "Each vendored file is byte-authenticated at its local path against its immutable exported source SHA256. Original remote heads and Git blobs are provenance, not required Git dependencies for standalone replay.",
+  "files": [
+    {
+      "local": "retained/audit_binary_mixed.py",
+      "path": "research/p104-paid-idle-fragmentation/frozen/bit/retained/root/audit_binary_mixed.py",
+      "usage": "provenance",
+      "git_blob": "4e685c0906dbd64b97661a3f9693dfb3b673be41",
+      "sha256": "bb6616dbf536acf10163b8fff65ebfa69d01dfdeda3c0ead388c03377361b298",
+      "pin": "head:435bbe91fb28cb1d7a569ca70c6c4e9eb302d486:research/p104-paid-idle-fragmentation/frozen/bit/retained/root/audit_binary_mixed.py"
+    },
+    {
+      "local": "retained/inputs/credited_trim.py",
+      "path": "research/p104-paid-idle-fragmentation/frozen/bit/retained/root/inputs/credited_trim.py",
+      "usage": "provenance",
+      "git_blob": "33645029117c8f027443d5aa93764cf06c23338a",
+      "sha256": "fcff17fdd3108be68761fbde0fcbfe218be166cf518c99f7163e60d53ab785d9",
+      "pin": "head:435bbe91fb28cb1d7a569ca70c6c4e9eb302d486:research/p104-paid-idle-fragmentation/frozen/bit/retained/root/inputs/credited_trim.py"
+    },
+    {
+      "local": "retained/inputs/independent_interval.py",
+      "path": "research/p104-paid-idle-fragmentation/frozen/bit/retained/root/inputs/independent_interval.py",
+      "usage": "provenance",
+      "git_blob": "30ae586ea0714513802930561b6223065f377573",
+      "sha256": "9293f567aa4afd9b4e618f1cddd3cf66eea51c5e194e3c578e7a8f4db6e04a57",
+      "pin": "head:435bbe91fb28cb1d7a569ca70c6c4e9eb302d486:research/p104-paid-idle-fragmentation/frozen/bit/retained/root/inputs/independent_interval.py"
+    },
+    {
+      "local": "retained/inputs/inputs/exact_arithmetic.py",
+      "path": "research/p104-paid-idle-fragmentation/frozen/bit/retained/root/inputs/inputs/exact_arithmetic.py",
+      "usage": "provenance",
+      "git_blob": "4b24a5096154736ce060474eb8c72dc64c303699",
+      "sha256": "0ce7e7137422d5ffeda22085c81fa88471bbe963100fdad62e659f1e3bf89326",
+      "pin": "head:435bbe91fb28cb1d7a569ca70c6c4e9eb302d486:research/p104-paid-idle-fragmentation/frozen/bit/retained/root/inputs/inputs/exact_arithmetic.py"
+    },
+    {
+      "local": "retained/inputs/BIT-NATIVE-WORD.json.gz",
+      "path": "research/p104-paid-idle-fragmentation/frozen/bit/retained/root/inputs/BIT-NATIVE-WORD.json.gz",
+      "usage": "provenance",
+      "git_blob": "b718d6b2848215ad785022106dfa9f871a3d1c0c",
+      "sha256": "51203e7fc75ba10bd3ac3f8e675759f47e13d262bea66b6600d1e515095cad78",
+      "pin": "head:435bbe91fb28cb1d7a569ca70c6c4e9eb302d486:research/p104-paid-idle-fragmentation/frozen/bit/retained/root/inputs/BIT-NATIVE-WORD.json.gz"
+    },
+    {
+      "local": "retained/NOTICE",
+      "path": "research/p104-paid-idle-fragmentation/frozen/bit/retained/bit_mixed_caller/NOTICE",
+      "usage": "provenance",
+      "git_blob": "16c9afd68ed47b0e1ebb1421ffddb41719e3195b",
+      "sha256": "620e4ec6f537fa1c071f019ac92fa0e4eec8ab487c811e84153292b981de0424",
+      "pin": "head:435bbe91fb28cb1d7a569ca70c6c4e9eb302d486:research/p104-paid-idle-fragmentation/frozen/bit/retained/bit_mixed_caller/NOTICE"
+    },
+    {
+      "local": "LICENSE",
+      "path": "research/p104-paid-idle-fragmentation/frozen/bit/retained/bit_mixed_caller/LICENSE",
+      "usage": "provenance",
+      "git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64",
+      "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
+      "pin": "head:435bbe91fb28cb1d7a569ca70c6c4e9eb302d486:research/p104-paid-idle-fragmentation/frozen/bit/retained/bit_mixed_caller/LICENSE"
+    },
+    {
+      "local": "data/query_only_6980.json",
+      "path": "research/p104-query-only-interval/QUERY-ONLY-CALLER.json",
+      "usage": "provenance",
+      "git_blob": "cf55f4271009a06ad192a070d330a4466b6d44fa",
+      "sha256": "3828d53e80ea97e8b866320f081af20b6b93bfebd58b95b56b85a7afe151af5e",
+      "pin": "head:617903497387a98f7ca929ad0b6928dd32abffec:research/p104-query-only-interval/QUERY-ONLY-CALLER.json"
+    },
+    {
+      "local": "data/6980_PROOF.md",
+      "path": "research/p104-query-only-interval/PROOF.md",
+      "usage": "provenance",
+      "git_blob": "2f8610ae455bb8c6b79161223cc948e136253add",
+      "sha256": "0cede285a98dd61b78020651202729c6d9cd16fb078ee5fe9a01aa2400df5432",
+      "pin": "head:617903497387a98f7ca929ad0b6928dd32abffec:research/p104-query-only-interval/PROOF.md"
+    },
+    {
+      "local": "data/6834_result.json",
+      "path": "research/bit-chain-nested-root/BIT-CHAIN-ADMISSION.json",
+      "usage": "provenance",
+      "git_blob": "6d01ba48a30d13401262aa75f50ab1c08adf01bb",
+      "sha256": "5c3dd8b954de767e41ec7b3d51895ed8c28968d39cb6af57a84c01683f5780ae",
+      "pin": "head:79603d1f7d243f1d034613df84991673a94ad5ae:research/bit-chain-nested-root/BIT-CHAIN-ADMISSION.json"
+    },
+    {
+      "local": "data/selected_claim.json",
+      "path": "certificates/frontier6030/CLAIM.json",
+      "usage": "provenance",
+      "git_blob": "f32ff3779274a349dc8af2e84a4c6234c6d62406",
+      "sha256": "9cee8a1304fa893be3d3b641eda42fdd9b2fd6a5ac2124fb891de7a1a5e8d92e",
+      "pin": "head:7c49fe32c55de02c2c873655c804b16e4c3fef0a:certificates/frontier6030/CLAIM.json"
+    },
+    {
+      "local": "data/selected_record.json",
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "d59b5035e7b4cbaa9d688a1d32dd0d6eb79c466a",
+      "sha256": "9b8d0eea95b3bf0dfcb7938a732a6439b87a2685dec2a5ab9e525b3b34debbfa",
+      "pin": "head:7c49fe32c55de02c2c873655c804b16e4c3fef0a:certificates/selected-result.json"
+    },
+    {
+      "local": "data/selected_review.md",
+      "path": "docs/research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md",
+      "usage": "provenance",
+      "git_blob": "26f2f6324bce57e69e861d2aae5a27c9de325a8e",
+      "sha256": "8bd158b8ef68202000f167b9b78db0b31531b5b067b5cbd91b5bf35f3ddd1ab6",
+      "pin": "head:7c49fe32c55de02c2c873655c804b16e4c3fef0a:docs/research/pr-intake-evidence/pr6030-audit/PROOF-REVIEW.md"
+    }
+  ]
+}