Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
7 changes: 7 additions & 0 deletions research/t8-rank7-two-swaps/BOUNDED-DOMAIN.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# One two-swap early-boundary repair

On the PR3485 chronology, a rational source-window dual identifies an early demand-price jump at time7. The single proposed perturbation moves call(3,0) ahead of calls(1,2),(2,1), by swaps8/9 then7/8. This is distinct from canonical diagonal restoration, the failed late59swap and the failed fixed-window group66pattern repair.

Actual per-call source capacity gates passed. A chronological LP showed favorable complete moment headroom before integer search. Exactly one twelve-group repair was capped at60seconds and completed in approximately0.61seconds. Groups1,2,3,26,40,65,0,4,25,27,41,56 in predecessor indexing were allowed to change; remaining semantic flows were fixed during discovery. The exact retained gain is -21H1+H3-2H7+H32.

Floating optimization only nominates a candidate. Exact reconstruction, both native owner interfaces, two rational pricing engines and full modern finite admission validate it. No packing or chronology optimum is claimed. Search stopped after freezing this candidate; further work must identify a distinct source-window boundary or changed interface and first price its full cost.
2,625 changes: 2,625 additions & 0 deletions research/t8-rank7-two-swaps/CANONICAL-INPUTS.json

Large diffs are not rendered by default.

12 changes: 12 additions & 0 deletions research/t8-rank7-two-swaps/CAP-RATIO.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"scope": "Complex endpoint divided by the same current-word packing cap; not a T8 optimality claim.",
"candidate": "1729097946885651030613/1000000000000000000000000",
"cap_root_lower": "1729777494678597011886903656817803609/1000000000000000000000000000000000000000",
"cap_root_upper": "17297774946785970118869036568178036091/10000000000000000000000000000000000000000",
"ratio_lower": "17290979468856510306130000000000000000/17297774946785970118869036568178036091",
"ratio_upper": "1729097946885651030613000000000000000/1729777494678597011886903656817803609",
"source_pr": 3361,
"source_head": "f9de2024916a347d939ed256a7a2e9e68d633684",
"source_path": "research/coupled-cap740-grid35/RESULT.json",
"source_sha256": "d4193c7f5f1a0dbc1d9287ce547fc6b354a700bf2e694d00f8f246768593c2ef"
}
Loading