Independently audit staged544 terminal-to-owner cost bridge

research/staged544-terminal-owner-bridge-audit/.gitattributes

@@ -0,0 +1,6 @@
+*.gz -text
+*.json text eol=lf
+*.py text eol=lf
+*.md text eol=lf
+NOTICE-PR3945.md -text
+SOURCE-CREDITS.md -text

research/staged544-terminal-owner-bridge-audit/.gitignore

@@ -0,0 +1,2 @@
+__pycache__/
+*.pyc

research/staged544-terminal-owner-bridge-audit/EXTERNAL-SOURCES.json

@@ -0,0 +1,55 @@
+{
+  "repository": "CrocSwap/integer-mult-bounds",
+  "head": "91f81d131252db704f945891da1ea54e29d46b8b",
+  "prefix": "research/staged544-terminal-gap-fill/",
+  "files": {
+    "owner/inputs/old-WORD-base.json.gz": {
+      "sha256": "5ca4be99851f8878cbfe0fd6c454df926b11218f17feefa1664721cf03156699",
+      "bytes": 72769
+    },
+    "owner/inputs/old-WORD-extra.json.gz": {
+      "sha256": "965268a9be73d3f62e7ef680d18f108cf064bfe1f44b82157baa61443232904e",
+      "bytes": 72766
+    },
+    "owner/inputs/WORD-base.json.gz": {
+      "sha256": "08e6c96fbe3dfec96cb8451b3867ef8c1a214109ecd1e5af7fcc28e0f05728d0",
+      "bytes": 74428
+    },
+    "owner/inputs/WORD-extra.json.gz": {
+      "sha256": "d83c2ec9cecc0ad092d34ea4080b28a4fd7199579356b6d5a8fc6cd53ff93299",
+      "bytes": 74425
+    },
+    "owner/inputs/old-FILL.json.gz": {
+      "sha256": "50e4635123c0551a1a3c8f4cab870bcccc3e579c24447abe9d81336fde91f883",
+      "bytes": 6825972
+    },
+    "owner/inputs/ORDER.json": {
+      "sha256": "743e74b538432e2b2045e754b0de9c18f36fc5039fdb8eb542177a898ec78e44",
+      "bytes": 31410
+    },
+    "owner/inputs/DISPATCH.json": {
+      "sha256": "5d6fa711d704a1b498e5fe066ea821c4fa0217463702e82a7ce5be9da4023e8a",
+      "bytes": 53989
+    },
+    "owner/inputs/TEMPLATE.json.gz": {
+      "sha256": "21297b20f1f2dc76eb9dd8124416068c3cb096bab9df17fa4da19bc68dfe082e",
+      "bytes": 1124331
+    },
+    "owner/inputs/PLAN.json.gz": {
+      "sha256": "d566cfb87b71639d4138e1f89b543e2dd6a7772070226a2a14c799a6835bf21e",
+      "bytes": 29933
+    },
+    "owner/inputs/old-PROFILE.json": {
+      "sha256": "9686df0d8e710c2e94aef3887f4bf130a05b64215faeae702cccb59e95a469d5",
+      "bytes": 92
+    },
+    "owner/FILL.json.gz": {
+      "sha256": "430233230c9194a52bda171afd21713351fdd02e0054230012109e44047c4c55",
+      "bytes": 6683650
+    },
+    "owner/PROFILE.json": {
+      "sha256": "64b85c791a331e79ddc18f047b672240c008900b8c004d37cf6d925067373228",
+      "bytes": 116
+    }
+  }
+}

research/staged544-terminal-owner-bridge-audit/LEDGER.json

@@ -0,0 +1,161 @@
+{
+  "status": "SCOPED_COMPLETE_BRIDGE_LEDGER",
+  "source_head": "91f81d131252db704f945891da1ea54e29d46b8b",
+  "providers": {
+    "base": {
+      "old": {
+        "primitive_counts_by_phase": {
+          "A": {
+            "scale": 498,
+            "warp": 24,
+            "add": 3557
+          },
+          "B": {
+            "add": 1796,
+            "scale": 73
+          },
+          "cut": {
+            "add": 176
+          },
+          "restore": {
+            "add": 196,
+            "scale": 16
+          },
+          "cleanup": {
+            "add": 4633,
+            "scale": 519,
+            "warp": 72
+          }
+        },
+        "native_B_events": 72,
+        "protected_private_buffers": 91,
+        "live_registers": 632,
+        "initial_corrections": 36,
+        "max_scalar_numerator_bits": 4,
+        "max_scalar_denominator_bits": 4
+      },
+      "new": {
+        "primitive_counts_by_phase": {
+          "A": {
+            "scale": 498,
+            "warp": 24,
+            "add": 3557
+          },
+          "B": {
+            "add": 1796,
+            "scale": 74
+          },
+          "cut": {
+            "add": 176
+          },
+          "restore": {
+            "add": 196,
+            "scale": 16
+          },
+          "cleanup": {
+            "add": 4633,
+            "scale": 520,
+            "warp": 72
+          }
+        },
+        "native_B_events": 72,
+        "protected_private_buffers": 91,
+        "live_registers": 632,
+        "initial_corrections": 36,
+        "max_scalar_numerator_bits": 4,
+        "max_scalar_denominator_bits": 4
+      }
+    },
+    "extra": {
+      "old": {
+        "primitive_counts_by_phase": {
+          "A": {
+            "scale": 498,
+            "warp": 24,
+            "add": 3557
+          },
+          "B": {
+            "add": 1796,
+            "scale": 73
+          },
+          "cut": {
+            "add": 176
+          },
+          "restore": {
+            "add": 196,
+            "scale": 16
+          },
+          "cleanup": {
+            "add": 4633,
+            "scale": 519,
+            "warp": 72
+          }
+        },
+        "native_B_events": 72,
+        "protected_private_buffers": 91,
+        "live_registers": 632,
+        "initial_corrections": 36,
+        "max_scalar_numerator_bits": 4,
+        "max_scalar_denominator_bits": 4
+      },
+      "new": {
+        "primitive_counts_by_phase": {
+          "A": {
+            "scale": 498,
+            "warp": 24,
+            "add": 3557
+          },
+          "B": {
+            "add": 1796,
+            "scale": 74
+          },
+          "cut": {
+            "add": 176
+          },
+          "restore": {
+            "add": 196,
+            "scale": 16
+          },
+          "cleanup": {
+            "add": 4633,
+            "scale": 520,
+            "warp": 72
+          }
+        },
+        "native_B_events": 72,
+        "protected_private_buffers": 91,
+        "live_registers": 632,
+        "initial_corrections": 36,
+        "max_scalar_numerator_bits": 4,
+        "max_scalar_denominator_bits": 4
+      }
+    }
+  },
+  "scope": "All paid binary-frame climbs, helper widths, literal owner capacities/windows/families/coordinates and their exact complete tariff bridge. Native phase, uniform model and outer admission costs not newly derived.",
+  "cost_status": {
+    "local_paid_children": "fresh independent explicit-set invoice for old and new providers; see RESULT.json",
+    "helper_dimensions": "fresh terminal-minus-entrance subspace dimensions,408 roles per provider,26 extensions4->5",
+    "restoration_and_cleanup": "Exact inherited private-buffer free program identity modulo identity scales; cleanup remains5224 nonidentity free-program tokens including native permutations; native phase recipe not audited",
+    "owner_hosting": "fresh finite literal725760-bin coordinate and1321920-role chronology/family audit; inherited physical implementation premise not discharged",
+    "idle_remainders": "fresh bitmap unused-coordinate counts;84240 rank1 remainders removed,other remainders unchanged",
+    "complete_recursive_profile": "fresh local invoice multiplied across actual dispatch plus literal owner remainders; see RESULT.json",
+    "scalar_coefficients": "finite exact original numerator/denominator bit lengths reported; this is not a uniform precision or tape coefficient",
+    "native_transport": "fresh512-point binary permutation/frame mapping; Gaussian/Clifford phases unrun and not priced as zero",
+    "all_size_compiler": "inherited/unverified, not zero",
+    "precision_stock_tape_recovery": "actual uniform coefficients unverified, not zero",
+    "outer_and_supplier_release": "unrun, no root/kappa recertification",
+    "analytic_and_BIT": "inherited/unverified, not zero"
+  },
+  "universal_dirty_claim": "Normalized old/new free programs agree exactly in all phases, so their abstract scalar/permutation operators agree for arbitrary dirty inputs and private buffers. This is relative equivalence to the pinned predecessor, not a new proof of predecessor validity or native physical phase realization.",
+  "derived_bridge_totals": {
+    "calls": 3240,
+    "old_local_rank_mass_per_call": 5134,
+    "new_local_rank_mass_per_call": 5160,
+    "added_local_rank_mass": 84240,
+    "consumed_idle_rank_mass": 84240,
+    "full_rank_mass_delta": 0,
+    "old_complete_child_count": 11651400,
+    "new_complete_child_count": 11664360,
+    "source_receipt": "RESULT.json"
+  }
+}