Skip to content

Independently recount #4505's installed adapters: one logically identical segment, allowance −100 per orientation (no new κ) - #4513

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:native-splice-recount
Oct 22, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:native-splice-recount

Conversation

@pinterbanget

Copy link
Copy Markdown
Contributor

Summary

This adds research/native-splice-recount/. It is an independent logical recount of Dugongue's #4505, the borrowed rank-one adapters installed in the complete THREE-base native word.

Claim type: an independent recount by separately written code. No new κ.

Results (both orientations)

  • Nothing paid moves. Every non-scalar event is identical and in order, so the paid profile, transports and warps are unchanged.
  • Local and logically exact. All changes lie in one scalar segment (index 4,984; 4,208 → 4,210 scalars). Replayed as exact rational linear maps, the old and new segments have the identical effect on all 411 touched fields, so borrowed fields are restored.
  • Tariff. The scalar allowance, re-implemented from its stated rule, is 158,120 → 158,020 forward and 158,168 → 158,068 backward: exactly 100 saved per orientation, as Install #4502 adapters: full native replay saves 100 scalar allowance per orientation #4505 reports.

Evidence

python3.12 -B scripts/research_package.py --package research/native-splice-recount --check-only
  PASS_PACKAGE_METADATA_AND_PINS (not a mathematical acceptance check)
python3.12 -B scripts/research_package.py --package research/native-splice-recount
  PASS_REGISTERED_RESEARCH_PACKAGE research/native-splice-recount outcome=completed   (~1 s, stdlib only)

Head: eb80ed386cd3b6442d2cca012ea24c47768b5d7e. Base: canonical main f9f85c1e.

Not covered

Credit: Dugongue (#4502, #4505). Prepared by Ryanson Jonathan with substantial Claude Code (Claude Opus 5.5) assistance.

🤖 Generated with Claude Code

…ly identical segment, allowance −100 per orientation (no new κ)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@Mister-Meeseeks
Mister-Meeseeks merged commit 1f87c35 into CrocSwap:main Oct 22, 2026
1 of 2 checks passed
Mister-Meeseeks pushed a commit that referenced this pull request Oct 22, 2026
…ubjects, types, merge-relevant edges (no new κ)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants