Repository navigation
Integrate the R437 carrier compiler, numerical invoice and paid local caller - #4176
Open
Clear1nsight wants to merge 1 commit into
Open
Clear1nsight wants to merge 1 commit into
Clear1nsight wants to merge 1 commit into
Conversation
…ridge Regenerate source/native identities, close named numerical entry conditions, and execute the produced GOOD child with a complete local replacement bill. Preserve full pooled physical and selected-frontier obligations. Prepared by Chris R with substantial OpenAI Codex assistance.
Contributor
|
Independent scoped audit of the R437 carrier integration at Code-disjoint reimplementation; does not import package What passes (29 of 29):
Not covered: full production payload execution; fixed physical visited-backing stock; supplier/new κ; live recompilation of the 398 declared SOURCES inputs. This is a finite replay of committed receipts, not a formal proof. check_4176.py#!/usr/bin/env python3
"""Independent finite controls for PR4176 (R437 carrier integration).
Recomputes INTEGRITY hashes, cross-receipt pins, four-way mass consistency,
numerical part/delta arithmetic, and residual adapter counts from pinned
package receipts. Does not import package verify.py / admission.py / etc.
Package bytes fetched from head 71914dfbc9ed757f6746c02e9206bb7a984edfbb
(GitHub contents API) after local git checkout hung.
James Reed (@rcfc-jreed), with substantial AI assistance (Claude, in Cursor).
Apache-2.0.
"""
import argparse, hashlib, json, sys
from pathlib import Path
HEAD = "71914dfbc9ed757f6746c02e9206bb7a984edfbb"
BASE = "12fa8c5c844be21bfefb38a19503fbd867a11244"
results = []
def check(name, ok, detail=""):
results.append((name, bool(ok), detail))
print(("PASS " if ok else "FAIL ") + name + ((": " + str(detail)) if detail else ""), flush=True)
return bool(ok)
def load(pkg, name):
return json.loads((pkg / name).read_text(encoding="utf-8"))
def mass(profile):
return sum(int(r) * int(c) for r, c in profile.items())
def run(pkg: Path):
integ = load(pkg, "INTEGRITY.json")
sources = load(pkg, "SOURCES.json")
task = load(pkg, "TASK.json")
verify = load(pkg, "VERIFY.json")
adm = load(pkg, "ADMISSION-RESULT.json")
comp = load(pkg, "COMPILER-RESULT.json")
checks = load(pkg, "COMPILER-CHECKS.json")
ind = load(pkg, "INDEPENDENT-RESULT.json")
num = load(pkg, "NUMERICAL-RESULT.json")
phys = load(pkg, "PHYSICAL-RESULT.json")
res = load(pkg, "RESIDUAL-ALGEBRA.json")
check("I1 SOURCES/TASK base_commit == 12fa8c5c…",
sources["base_commit"] == BASE == task["base_commit"])
check("I2 VERIFY status ready; TASK outcome partial (enabling, not new κ)",
verify["status"] == "ready" and task["outcome"] == "partial")
check("I3 TASK id r437-carrier-integration; priority_revision 7",
task["task_id"] == "r437-carrier-integration"
and task["priority_revision"] == 7)
bad = []
for rel, digest in integ.items():
got = hashlib.sha256((pkg / rel).read_bytes()).hexdigest()
if got != digest:
bad.append(rel)
check("S1 INTEGRITY.json matches all 27 sealed package files", not bad, bad)
check("S2 INTEGRITY covers all *.py / *.json / *.md present (minus INTEGRITY)",
set(integ) == {p.name for p in pkg.iterdir() if p.name != "INTEGRITY.json"})
check("A1 ADMISSION status PASS_CHECKED_SOURCE_PARAMETER_ENTRY",
adm["status"] == "PASS_CHECKED_SOURCE_PARAMETER_ENTRY")
check("A2 admitted_entry: numerical_admitted True; production_payload False",
adm["admitted_entry"]["numerical_admitted"] is True
and adm["admitted_entry"]["production_payload_execution"] is False)
check("A3 actual_specification.good True",
adm["actual_specification"]["good"] is True)
check("A4 source_sha256 pins match INTEGRITY for admission/compiler/numerical",
adm["source_sha256"]["admission.py"] == integ["admission.py"]
and adm["source_sha256"]["compiler.py"] == integ["compiler.py"]
and adm["source_sha256"]["numerical.py"] == integ["numerical.py"])
check("C1 COMPILER-CHECKS status PASS_FRESH_CARRIER_POOLED_COMPILER",
checks["status"] == "PASS_FRESH_CARRIER_POOLED_COMPILER")
check("C2 physical_execution False; incremental_code_bits 0 (both receipts)",
checks["physical_execution"] is False
and checks["incremental_code_bits"] == 0 == comp["incremental_code_bits"])
for label in ("C", "D"):
c, h = comp[label], checks[label]
kind_sum = sum(c["kinds"].values())
check(f"C3 {label} kinds sum to requests; code_bits/rank_mass match checks",
kind_sum == c["requests"] == h["requests"]
and c["code_bits"] == h["code_bits"] == 6512
and c["rank_mass"] == h["rank_mass"] == 1808352
and c["kinds"] == {"COPY": 2592, "IDLE": 63936, "MOVE": 836928})
check("N1 INDEPENDENT status PASS_INDEPENDENT_LITERAL_FOUR_WAY",
ind["status"] == "PASS_INDEPENDENT_LITERAL_FOUR_WAY")
bad_fw = []
for label in "ABCD":
fw = ind["four_way"][label]
if (fw["mass"] != 1808352 or fw["requests"] != 903456
or mass(fw["profile"]) != fw["mass"]
or sum(fw["profile"].values()) != fw["requests"]):
bad_fw.append(label)
check("N2 four-way A/B/C/D: mass 1808352, requests 903456, profile consistent",
not bad_fw, bad_fw)
dmc = {int(k): int(v) for k, v in ind["D_minus_C_profile"].items()}
check("N3 D_minus_C_profile {1:+288,2:−576,3:+288} sums to 0; D_changed_rows 55",
dmc == {1: 288, 2: -576, 3: 288}
and sum(dmc.values()) == 0
and ind["D_changed_rows"] == 55)
check("M1 NUMERICAL status PASS_NAMED_FINITE_COEFFICIENT…",
ind["status"] and num["status"] == "PASS_NAMED_FINITE_COEFFICIENT_AND_CONDITIONAL_LOGICAL_STOCK_BOUNDARY")
for label in ("C", "D"):
parts_sum = sum(num[label]["parts"].values())
check(f"M2 {label} parts sum equals coefficient; J=2002560; bits=177",
parts_sum == num[label]["coefficient"]
and num[label]["J"] == 2002560
and num[label]["coefficient_bits"] == 177)
delta = num["exact_component_delta"]
delta_sum = sum(delta.values())
check("M3 exact_component_delta sums to D.coefficient − C.coefficient",
delta_sum == num["D"]["coefficient"] - num["C"]["coefficient"]
and delta["global_prefix"] > 0
and delta["unit_adds_and_bridges"] == 864)
check("M4 stock: fixed_physical_visited_backing_admitted False",
num["stock"]["fixed_physical_visited_backing_admitted"] is False)
check("P1 PHYSICAL status PASS_SOURCE_BOUND_CARRIER_REGIONAL_CALLER",
phys["status"] == "PASS_SOURCE_BOUND_CARRIER_REGIONAL_CALLER")
check("P2 full_production_execution False; 5 integrated children; 4 acquisitions",
phys["full_production_execution"] is False
and len(phys["integrated_children"]) == 5
and len(phys["acquisition"]) == 4)
check("R1 RESIDUAL status PASS_FULL_RESIDUAL_ADDRESS_ALGEBRA; 2 cases (mod 3,9)",
res["status"] == "PASS_FULL_RESIDUAL_ADDRESS_ALGEBRA"
and len(res["cases"]) == 2
and [c["modulus"] for c in res["cases"]] == [3, 9])
check("R2 adapter_invocations_per_prefix == 2 × case0.adapter_commands_total == 17384",
res["adapter_coefficient_invocations_per_prefix"]
== 2 * res["cases"][0]["adapter_commands_total"] == 17384)
check("R3 both cases: row_composition_matches; same source_request 1676",
all(c["row_composition_matches"] for c in res["cases"])
and {c["source_request"] for c in res["cases"]} == {1676})
# Negatives
check("NEG1 production payload claim contradicted by admission/checks/physical flags",
adm["admitted_entry"]["production_payload_execution"] is False
and checks["physical_execution"] is False
and phys["full_production_execution"] is False)
check("NEG2 claiming new κ / universal obstruction outside TASK outcome=partial scope",
task["outcome"] == "partial")
failed = [name for name, ok, _ in results if not ok]
print(f"\n{len(results) - len(failed)}/{len(results)} PASS", flush=True)
if failed:
print("FAILED:", ", ".join(failed), flush=True)
return 1
return 0
def main():
ap = argparse.ArgumentParser()
ap.add_argument("--pkg", required=True, help="Path to downloaded package directory")
ap.add_argument("--expect-head", default=HEAD)
args = ap.parse_args()
pkg = Path(args.pkg)
check("HEAD pin recorded for audit (API fetch)", args.expect_head == HEAD, args.expect_head)
return run(pkg)
if __name__ == "__main__":
sys.exit(main())James Reed (@rcfc-jreed), with substantial AI assistance (Claude, in Cursor). |
Contributor
|
Independent scoped audit of #4176 R437 carrier integration at Code-disjoint reimplementation ( No packaging defect in INTEGRITY scope. All 27 sealed package file digests match. What passes:
Not covered here: full production payload execution; live recompilation of declared SOURCES inputs; Lean; new κ; merge/close. Finite pin/seal/receipt replay ≠ formal proof. James Reed (@rcfc-jreed), with substantial AI assistance (Claude, in Cursor). |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The paid two-window R437 carrier changes source chronology and regenerated D, so the old pooled handles and inherited surcharge cannot establish caller applicability. This package regenerates the actual replica-indexed compiler and joins a fresh SOURCE87 request to encoded preparation, a consumed child Program, completed local return and the literal carrier consumer. It meets the assignment's B enabling-integration gate, including a paid local Program-reuse improvement; the complete pooled physical supplier bill remains open.
research/r437-carrier-integration/BILL.mdcontains the exact local vector and the remaining same-contract C/D inequality. Source setup, full gather/residual/physical lowering, retained backing and productive descendant histories are not assigned zero cost. No supplier endpoint, selected kappa or outer transfer is changed. The selected construction remains complex-bound.Verification passed at scientific/publication head
71914dfbc9ed757f6746c02e9206bb7a984edfbb: both registered ordinary/optimized replays; committed-byte/source-history preflight (426 files); official committed export plus its integrity check; Git-free read-only full ordinary/optimized export replays (465.411s/308.524s), with all427 exported files unchanged; corruption controls; and selected baseline bindings. Hosted CI is separate and has not yet run for this proposed PR. Canonical main remains12fa8c5c844be21bfefb38a19503fbd867a11244, priority revision7. Live targeted overlap/dependency checks were refreshed; Discussion coverage is partial and no exhaustive novelty claim is made. The package declares ordinary/optimized immutable registered replay, 398 live source inputs and 28 package files. Source/receipt corruption controls, wrong-STEP/missing-dirty controls, undersized precision and incompatible-stock controls are included. Same-session read-only assisted review supports the scoped B claim; it is not independent human or formal-kernel acceptance.Credit: ai-nanachi #3647, unpaidmoon #4147/#4160, Rohan Arun's 63 BIT moves from #3959, Sagar Thakrar #3700 methods, ToikY #4025, Tekalign #4077, and the retained selected/native/physical lineage; our #3995/#4010/#4011/#4062/#4008/#4059/#3983/#3967 are supporting components, not additive gains. #3959's retracted complex-side headline is excluded. Fixed-PAIR CSE is inapplicable here and deferred. This assignment does not duplicate the separate #3985/#4172 native-history work or resume #4015. New work by Chris R/Clear1nsight with substantial OpenAI Codex assistance; Apache-2.0.
Next discriminating test: run the produced-program bridge at nonzero high/larger precision with authenticated original-root stock, joining encoded acquisition and full residual preparation into the same measured boundary.