Skip to content

Research construction: exact Hadamard price envelope and 222-call word (no new kappa) #1158

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 2 commits into from
Oct 14, 2026
Merged

Research construction: exact Hadamard price envelope and 222-call word (no new kappa) #1158

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
dd4261c
Research: exact Hadamard readout census and 222-call recursive word
1337isnot1337 Oct 13, 2026
6336d87
Record PR1158 handoff and clarify the free-operator optimum scope
1337isnot1337 Oct 13, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4,162 changes: 4,162 additions & 0 deletions research/hadamard-readout-census/CERTIFICATE.json
View file
Open in desktop

Large diffs are not rendered by default.

50 changes: 50 additions & 0 deletions research/hadamard-readout-census/CLAIM.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
{
"track": "recursive interfaces",
"assignment_seed": 55,
"randomness": "Operating-system CSPRNG via secrets.randbelow(60); recorded draw",
"base_commit": "ce7ad1b6ab09452c3478723a2e96ed5ff212dc08",
"contributor": "Cinna Davis (@1337isnot1337), with substantial OpenAI Codex assistance",
"coordination": "No pinned GitHub issue at claim time; local claim",
"claimed_at_utc": "2026-10-13T18:59:00Z",
"expected_finish_utc": "2026-10-13T19:25:00Z",
"verification_start_utc": "2026-10-13T19:17:30Z",
"object": "PR997 signed 4x4 Hadamard connector: exactly one positive and one negative source call per source, arbitrary repeated signed readouts at visited states",
"method": "Exhaust all 2520 unsigned on/off paths and 16 first-sign choices; exact minimum readout multiplicities by bounded integer multiset sums, complete Pareto cost profiles, independent literal replay",
"deliverable": "Exact finite census, weighted price envelope, attaining word, complete child recurrence and negative controls; no supplier adoption or new kappa",
"predecessor": {
"pr": 997,
"head": "b3fda8d59436103b195069a6328cbf5d74f73bc0"
},
"three_candidates": [
{
"task": "Hosted restoration deferral",
"decision": "Already covered by PR1012; do not repeat"
},
{
"task": "Rounded borrowed child contracts",
"decision": "Already covered by PR1135; do not repeat"
},
{
"task": "Signed Hadamard weighted readout census",
"decision": "Chosen: PR997 only samples 4000 paths and bounds readouts to two differences; PR1088 addresses a different 3x3 object"
}
],
"stopping_rule": "Complete the stated finite domain once, then verify and package one contribution",
"result": {
"status": "Completed research construction and exact finite census; no new kappa",
"pr_url": "https://github.com/CrocSwap/integer-mult-bounds/pull/1158",
"completed_at_utc": "2026-10-13T19:21:00Z",
"construction_commit": "dd4261c4208df476fb9a2aca80d95859014f6766",
"coverage": {
"signed_paths": 40320,
"profiles": 114,
"pareto_profiles": 22
},
"query_optimum": 22,
"matched_primitive_calls": {
"new": 222,
"pr997": 238
},
"validation": "Package and Git-index replay PASS; selected-record check and all 25 related tests PASS; no full cold supplier replay or remote CI claimed"
}
}
Loading
Loading