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-dual-swap/BOUNDED-DOMAIN.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# One dual-guided chronological repair

A rational all-configuration bound for the predecessor's actual windows identified a demand-price jump at times11/12. The proposal swaps just those adjacent calls, preserving per-replica stage order. This differs from the previously tested diagonal-restoration proposal and changes actual source windows.

Before integer repair, per-call width/family capacity gates passed and a chronological LP indicated favorable headroom under the complete local and idle bill. One twelve-group integer repair was capped at60seconds and completed in approximately0.64seconds. The groups in predecessor indexing were1,2,3,4,26,27,28,40,41,56,57,66; other semantic flows were held fixed during discovery. The exact candidate yields -3H1+H3.

Floating optimization is only discovery. Exact certificate reconstruction, both native owner audits, two rational price engines and complete finite admission establish the result. No global or chronological optimum is claimed. Search stopped once the candidate was frozen. A future experiment must name a distinct changed source-window boundary or interface and price the complete bill first.
2,625 changes: 2,625 additions & 0 deletions research/t8-rank7-dual-swap/CANONICAL-INPUTS.json

Large diffs are not rendered by default.

12 changes: 12 additions & 0 deletions research/t8-rank7-dual-swap/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": "172899630834638617213/100000000000000000000000",
"cap_root_lower": "1729777494678597011886903656817803609/1000000000000000000000000000000000000000",
"cap_root_upper": "17297774946785970118869036568178036091/10000000000000000000000000000000000000000",
"ratio_lower": "596205623567719369700000000000000000/596474998165033452374794364419932279",
"ratio_upper": "1728996308346386172130000000000000000/1729777494678597011886903656817803609",
"source_pr": 3361,
"source_head": "f9de2024916a347d939ed256a7a2e9e68d633684",
"source_path": "research/coupled-cap740-grid35/RESULT.json",
"source_sha256": "d4193c7f5f1a0dbc1d9287ce547fc6b354a700bf2e694d00f8f246768593c2ef"
}
Loading