[pinterbanget]

Summary

This adds research/three-base-census-recount/. It is an independent recount of mihir-s-05's #4450, the THREE-base supplier's paid-event census, by separately written GF(2) code.

Claim type: an independent recount. No new κ.

Results

Everything is identical in both orientations and matches #4450 exactly.

• Frames and events. All 1,159 frame bases are independent. Every paid climb and center event moves between nested frames, and its recomputed dimension gap equals the declared rank.
• Split profile. {1:2487, 2:713, 3:232, 4:102, 5:28}. The 16 center events coalesce in adjacent pairs to give the unsplit profile {1:2487, 2:713, 3:224, 4:102, 5:20, 8:8}: 3,554 calls, rank mass 5,157.
• Per-phase table. A, B, cleanup tail and final all match.
• Helper increments (fields 224..631): {5:28, 6:18, 7:56, 8:93, 9:213}, mass 3,301.

Evidence

python3.12 -B scripts/research_package.py --package research/three-base-census-recount --check-only
  PASS_PACKAGE_METADATA_AND_PINS (not a mathematical acceptance check)
python3.12 -B scripts/research_package.py --package research/three-base-census-recount
  PASS_REGISTERED_RESEARCH_PACKAGE research/three-base-census-recount outcome=completed

Head: 7bc7f069615d57e34c0992a33b115976fe0ff346. Base: canonical main 2a13eb18.

Credit: mihir-s-05 (#4450). Prepared by Ryanson Jonathan with substantial Claude Code (Claude Opus 5.5) assistance.

🤖 Generated with Claude Code