[pinterbanget]

Summary

This adds research/direct-flow-chain-receipt/, a source-bound disposition receipt (overlap-receipt card) for zxv's #4436 and the five follow-ups around it: #4456, #4459, #4465, #4467 and #4476.

Claim type: consolidation receipt. No new κ. It makes no closures and no merge recommendations.

Results

• Retention. Nothing is retained on main. Only Bound compiler width by exp(O(N log N)) and route overlapping ranks #4436 edits paths outside its package, and its two docs files conflict textually with the p17 chain (Disposition receipt for the p17 κ ≈ 0.003 PR chain (stacked content, pin-only differences, docs conflict with #4436) #4474).
• Contents. The receipt maps what each PR establishes, with exact heads and blobs.
• Withdrawn claim. The first version of research: #4436 boundary exits — exact mirror identity, rigorous share bound 0.321, and a correction (leaf exits dominate) #4459 (04da76eb) claimed a reduction to the boundary share. It is withdrawn: leaf exits dominate. The correction is at 488a75a9.
• Where the chain stands. The single-step refined induction certifies about 0.0008 by N ≈ 3·10⁵, has an asymptotic cap near 0.00257 < s* (saturation heuristic), and reaches 0.0023 only near N ≈ 10^{940}.

Evidence

python3.12 -B scripts/research_package.py --package research/direct-flow-chain-receipt --check-only
  PASS_PACKAGE_METADATA_AND_PINS (not a mathematical acceptance check)
python3.12 -B scripts/research_package.py --package research/direct-flow-chain-receipt
  PASS_REGISTERED_RESEARCH_PACKAGE research/direct-flow-chain-receipt outcome=completed

Head: 1e8e049f83e7d5605665224e4f1ee131ce442b8f. Base: canonical main 2a13eb18.

Prepared by Ryanson Jonathan with substantial Claude Code (Claude Opus 5.5) assistance.

🤖 Generated with Claude Code

[pinterbanget]

Note: the receipt is a snapshot of heads. #4467 is recorded at 30ff97c3, its current head. #4455, outside this set, was later extended with #4440's compiler.