Independent verification: supplier-admission premises of the #2265 substitution traced into PR2260 (0 FALSE / 0 MISSING-PROOF; no new kappa)

research/pr2265-supplier-admission-audit/EXPECTED.json

@@ -0,0 +1,199 @@
+{
+ "A_alias_closure": {
+  "backward": {
+   "borrowed_from_data_inputs": [
+    73
+   ],
+   "borrowed_from_helper_inputs": 43,
+   "distinct_borrowed_sources": 44,
+   "events": 21381,
+   "handoffs": 44,
+   "owned_private_arrays": 76
+  },
+  "forward": {
+   "borrowed_from_data_inputs": [
+    73
+   ],
+   "borrowed_from_helper_inputs": 43,
+   "distinct_borrowed_sources": 44,
+   "events": 21065,
+   "handoffs": 44,
+   "owned_private_arrays": 76
+  }
+ },
+ "A_owner_hosting": {
+  "calls": 72,
+  "hosted": 254088,
+  "original_children": 16128,
+  "original_rank_mass": 387072,
+  "profile": {
+   "1": 176252,
+   "2": 30096,
+   "3": 30908,
+   "32": 11,
+   "39": 7,
+   "4": 10152,
+   "48": 2493,
+   "5": 4493,
+   "6": 18,
+   "7": 494,
+   "8": 576
+  },
+  "residual": {
+   "1": 1724,
+   "3": 20,
+   "32": 11,
+   "39": 7,
+   "48": 2493,
+   "5": 1469,
+   "6": 18,
+   "7": 494
+  },
+  "residual_mass": 132984,
+  "roles": 31392
+ },
+ "A_restoration_replay": {
+  "backward": {
+   "borrowed_sources_ending_as_shear_column": [
+    73
+   ],
+   "borrowed_sources_returned_to_input": 43,
+   "private_arrays_zero": 76,
+   "public_columns": 660
+  },
+  "forward": {
+   "borrowed_sources_ending_as_shear_column": [],
+   "borrowed_sources_returned_to_input": 44,
+   "private_arrays_zero": 76,
+   "public_columns": 660
+  }
+ },
+ "B_constants": {
+  "group_bits": 2628,
+  "guard_coefficient": 244,
+  "guard_lambda_max_if_payload_fixed_bits": 2,
+  "guard_lambda_max_literal_prefix_fixed_bits": 8,
+  "literal_bits": 35282,
+  "physical": 7745,
+  "required_C0_bits": 200012,
+  "retained_fixed_bit_prefix": 248,
+  "row": 16467,
+  "row_lambda_max_if_payload_scaled": 4,
+  "selected1094_prefix_lambda_max_if_conversion_scaled": 4,
+  "selected1094_row_lambda_max_if_payload_scaled": 4,
+  "stock_bits": 2641
+ },
+ "C_bit": {
+  "bit_conservative_minus_one": "-1.598690e-24",
+  "bit_live": 28416,
+  "bit_maxchild": 42
+ },
+ "D_endpoint": {
+  "C_decimal_40": "0.0016834125885426074623303197400000000000",
+  "a_minus_q": "5.000000e-281",
+  "b_minus_a": "1.500000e-280",
+  "c_minus_b": "5.001445e-05",
+  "conservative_minus_one": "-2.883591e-200",
+  "native_moment_minus_one": "-8.386920e-12",
+  "next_grid_conservative_minus_one": "3.157248e-202"
+ },
+ "inventory_classes": {
+  "COVERED": 9,
+  "INHERITED-traced": 5,
+  "TRUE-unencoded": 1
+ },
+ "negative_controls": {
+  "alias_source_is_removed_alias": "every borrowed source is a live public input array of the same call",
+  "alias_source_outside_call": "every borrowed source is a live public input array of the same call",
+  "backward_replay_inverts_one_dual_monomial_symbol": "('endpoint column not restored/sheared', 70)",
+  "bit_endpoint_equal_to_b": "rate ordering q < a_eff < b < c",
+  "bit_endpoint_plus_1e_18": "conservative bit moment below one at c",
+  "endpoint_plus_one_grid_step": "moments below one at C",
+  "event_reads_removed_alias": "event add touches register 597 outside the call",
+  "halving_child_rank_52": "halving guard m^2 > 2 rmax^2",
+  "invoice_guard_coefficient_245": "per-lambda guard 244 < payload",
+  "invoice_row_coefficient_16466": "recomputed finite fields equal the invoice",
+  "kappa_plus_1e_240": "kappa = C - 1e-246 - 1e-222",
+  "owner_block_overlap": "assigned blocks are disjoint and form an exact prefix",
+  "owner_on_active_data_family": "helper family is not an active data family of its call",
+  "replay_doubles_one_add_coefficient": "('endpoint column not restored/sheared', 115)",
+  "replay_drops_one_monomial_warp": "('endpoint column not restored/sheared', 22)"
+ },
+ "pr2260": "fde6b107e26a14da5bac5b66913c914708ea6901",
+ "pr2265": "49ce38fee91f33edb54645724e7be9530f5631f6",
+ "status": "PASS_PR2265_SUPPLIER_ADMISSION_AUDIT",
+ "trace": [
+  {
+   "commit": "fde6b107",
+   "file": "PROOF.md",
+   "item": "A-restoration",
+   "line": 7
+  },
+  {
+   "commit": "fde6b107",
+   "file": "PROOF-LOCAL.md",
+   "item": "A-restoration",
+   "line": 45
+  },
+  {
+   "commit": "fde6b107",
+   "file": "PROOF.md",
+   "item": "A-serialize",
+   "line": 23
+  },
+  {
+   "commit": "fde6b107",
+   "file": "PROOF-OWNERS.md",
+   "item": "A-serialize",
+   "line": 88
+  },
+  {
+   "commit": "49ce38fe",
+   "file": "README.md",
+   "item": "A-completed-call",
+   "line": 42
+  },
+  {
+   "commit": "49ce38fe",
+   "file": "vendor/pr1673/capped-phase-fusion/frontier_fusion/INDEPENDENT-SUBSTITUTION-REVIEW.md",
+   "item": "A-pr1673-use",
+   "line": 53
+  },
+  {
+   "commit": "fde6b107",
+   "file": "PROOF-LOCAL.md",
+   "item": "B-guard",
+   "line": 132
+  },
+  {
+   "commit": "fde6b107",
+   "file": "PROOF.md",
+   "item": "B-guard",
+   "line": 40
+  },
+  {
+   "commit": "49ce38fe",
+   "file": "vendor/pr1673/capped-phase-fusion/frontier_fusion/INDEPENDENT-SUBSTITUTION-REVIEW.md",
+   "item": "B-pr1673-generic",
+   "line": 76
+  },
+  {
+   "commit": "49ce38fe",
+   "file": "vendor/pr1673/capped-phase-fusion/frontier_fusion/INDEPENDENT-SUBSTITUTION-REVIEW.md",
+   "item": "C-interchange",
+   "line": 82
+  },
+  {
+   "commit": "fde6b107",
+   "file": "PROOF.md",
+   "item": "C-interchange",
+   "line": 71
+  },
+  {
+   "commit": "49ce38fe",
+   "file": "vendor/pr1673/capped-phase-fusion/phase_fusion_note.tex",
+   "item": "C-theorem",
+   "line": 63
+  }
+ ]
+}