{ "observed_at": "2026-10-20T11:46:55+00:00", "repo": "CrocSwap/integer-mult-bounds", "frontier": [ { "sha": "6aed8701e3e3102898c66b5dcfc28d3cfc264edc", "time": "2026-10-09T04:53:33Z", "kappa": "4609169/10000000000", "decimal": "0.0004609169", "source_prs": [ 144 ], "status": "Selected maintainer-reviewed conditional witness" }, { "sha": "e2a02cac14dccf1279b3cfe673ce59ef0ba702d0", "time": "2026-10-09T05:55:01Z", "kappa": "94428617/200000000000", "decimal": "0.000472143085", "source_prs": [ 147, 150, 146, 148 ], "status": "Selected maintainer-reviewed conditional composition; publication is a separate step" }, { "sha": "86b30e035fcdffb72db93f759b4fda6a41b24de5", "time": "2026-10-09T06:01:09Z", "kappa": "472154791/1000000000000", "decimal": "0.000472154791", "source_prs": [ 147, 150, 146, 148, 151 ], "status": "Selected maintainer-reviewed conditional composition; publication is a separate step" }, { "sha": "d697aaa79d1d12882a8aa3432eaa45e37968da96", "time": "2026-10-09T12:32:26Z", "kappa": "330942774629799/500000000000000000", "decimal": "0.000661885549259598", "source_prs": [ 186, 181, 168, 175 ], "status": "Selected maintainer-reviewed conditional construction; main publication is a separate step" }, { "sha": "91e29e7bbb7eab7d9ef8a4adc5d6971cd06bda51", "time": "2026-10-10T14:08:14Z", "kappa": "90446448750933/125000000000000000", "decimal": "0.000723571590007464", "source_prs": [ 279, 276, 244, 234, 209, 197, 237, 200, 193, 168, 144 ], "status": "Published on main: maintainer-reviewed conditional construction" }, { "sha": "a1e7d84866e73aa6f3355629ea31b24b8076b113", "time": "2026-10-12T01:55:19Z", "kappa": "1517760977820331/1000000000000000000", "decimal": "0.001517760977820331", "source_prs": [ 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Published on main: maintainer-reviewed conditional finite construction" }, { "sha": "1c1e42f0d87c605496b8de9b7a0504099a8360f1", "time": "2026-10-12T13:10:36Z", "kappa": "1584931111785787/1000000000000000000", "decimal": "0.001584931111785787", "source_prs": [ 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Published on main: maintainer-reviewed conditional finite construction" }, { "sha": "270c2458cf7f34fc252afe7c9d697f2cd6c93a59", "time": "2026-10-12T14:41:59Z", "kappa": "400569730495803/250000000000000000", "decimal": "0.001602278921983212", "source_prs": [ 588, 543, 584, 586, 583, 582, 579, 576, 575, 574, 571, 569, 568, 567, 564, 562, 561, 559, 558, 552, 550, 548, 541, 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Prepared locally for publication: maintainer-reviewed conditional finite construction; frozen-family integration still in progress" }, { "sha": "1db1fbe68cb5186899cf1fd691bc92056a845e49", "time": "2026-10-12T16:59:30Z", "kappa": "16127213726553/10000000000000000", "decimal": "0.0016127213726553", "source_prs": [ 596, 592, 591, 593, 599, 588, 543, 584, 586, 583, 582, 579, 576, 575, 574, 571, 569, 568, 567, 564, 562, 561, 559, 558, 552, 550, 548, 541, 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status" }, { "sha": "2e9ed969d09570fbe949324b80da27a7f31d9399", "time": "2026-10-12T21:01:12Z", "kappa": "817591864627889/500000000000000000", "decimal": "0.001635183729255778", "source_prs": [ 617, 615, 604, 601, 596, 592, 591, 593, 599, 588, 543, 584, 586, 583, 582, 579, 576, 575, 574, 571, 569, 568, 567, 564, 562, 561, 559, 558, 552, 550, 548, 541, 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status" }, { "sha": "5c5567d15bd019186519a4db267914257b5f1ac0", "time": "2026-10-12T22:36:34Z", "kappa": "51110230636731/31250000000000000", "decimal": "0.001635527380375392", "source_prs": [ 626, 623, 622, 620, 617, 615, 604, 601, 596, 592, 591, 593, 599, 588, 543, 584, 586, 583, 582, 579, 576, 575, 574, 571, 569, 568, 567, 564, 562, 561, 559, 558, 552, 550, 548, 541, 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status" }, { "sha": "2cdd93d0250554e5160edbb8535c4500c4227349", "time": "2026-10-13T05:57:09Z", "kappa": "1661202643272239/1000000000000000000", "decimal": "0.001661202643272239", "source_prs": [ 741, 699, 685, 676, 664, 660, 659, 656, 655, 653, 658, 649, 645, 635, 589, 555, 545, 626, 623, 622, 620, 617, 615, 604, 601, 596, 592, 591, 593, 599, 588, 543, 584, 586, 583, 582, 579, 576, 575, 574, 571, 569, 568, 567, 564, 562, 561, 559, 558, 552, 550, 548, 541, 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status" }, { "sha": "d6dfd8f21b1e0b7e3f93b7e30e64639390e48504", "time": "2026-10-13T06:44:14Z", "kappa": "1661634653669567/1000000000000000000", "decimal": "0.001661634653669567", "source_prs": [ 799, 741, 699, 685, 676, 664, 660, 659, 656, 655, 653, 658, 649, 645, 635, 589, 555, 545, 626, 623, 622, 620, 617, 615, 604, 601, 596, 592, 591, 593, 599, 588, 543, 584, 586, 583, 582, 579, 576, 575, 574, 571, 569, 568, 567, 564, 562, 561, 559, 558, 552, 550, 548, 541, 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status" }, { "sha": "3b83e4f14825ce1ae038a8c8159f130646991086", "time": "2026-10-13T13:30:30Z", "kappa": "1661957774647029/1000000000000000000", "decimal": "0.001661957774647029", "source_prs": [ 890, 870, 869, 858, 799, 741, 699, 685, 676, 664, 660, 659, 656, 655, 653, 658, 649, 645, 635, 589, 555, 545, 626, 623, 622, 620, 617, 615, 604, 601, 596, 592, 591, 593, 599, 588, 543, 584, 586, 583, 582, 579, 576, 575, 574, 571, 569, 568, 567, 564, 562, 561, 559, 558, 552, 550, 548, 541, 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status" }, { "sha": "3825dc0ea1317629864ebeb6929719cc4bbf525f", "time": "2026-10-13T15:06:01Z", "kappa": "1661960547713947/1000000000000000000", "decimal": "0.001661960547713947", "source_prs": [ 942, 890, 870, 869, 858, 799, 741, 699, 685, 676, 664, 660, 659, 656, 655, 653, 658, 649, 645, 635, 589, 555, 545, 626, 623, 622, 620, 617, 615, 604, 601, 596, 592, 591, 593, 599, 588, 543, 584, 586, 583, 582, 579, 576, 575, 574, 571, 569, 568, 567, 564, 562, 561, 559, 558, 552, 550, 548, 541, 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status" }, { "sha": "87db776d70ad1d28a27e9f7906237e5a279414f3", "time": "2026-10-13T18:05:11Z", "kappa": "1672188119205421/1000000000000000000", "decimal": "0.001672188119205421", "source_prs": [ 1042, 1031, 1028, 1022, 1018, 1005, 1004, 987, 942, 890, 870, 869, 858, 799, 741, 699, 685, 676, 664, 660, 659, 656, 655, 653, 658, 649, 645, 635, 589, 555, 545, 626, 623, 622, 620, 617, 615, 604, 601, 596, 592, 591, 593, 599, 588, 543, 584, 586, 583, 582, 579, 576, 575, 574, 571, 569, 568, 567, 564, 562, 561, 559, 558, 552, 550, 548, 541, 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status" }, { "sha": "0a31ad88419a4eebf515d3df4f6732c4e38c0029", "time": "2026-10-13T18:45:23Z", "kappa": "836330098538459/500000000000000000", "decimal": "0.001672660197076918", "source_prs": [ 1094, 1087, 1082, 1074, 1068, 1065, 1063, 1061, 1056, 1055, 1053, 1050, 1042, 1031, 1028, 1022, 1018, 1005, 1004, 987, 942, 890, 870, 869, 858, 799, 741, 699, 685, 676, 664, 660, 659, 656, 655, 653, 658, 649, 645, 635, 589, 555, 545, 626, 623, 622, 620, 617, 615, 604, 601, 596, 592, 591, 593, 599, 588, 543, 584, 586, 583, 582, 579, 576, 575, 574, 571, 569, 568, 567, 564, 562, 561, 559, 558, 552, 550, 548, 541, 535, 510, 503, 531, 523, 493, 514, 507, 484, 496, 505, 522, 520, 472, 458, 445, 442, 425, 433, 370, 361, 315 ], "status": "Maintainer-reviewed conditional finite construction; see the integration receipt for publication and PR resolution status" } ], "activity": [ { "date": "2026-10-07", "submitted": 2, "merged": 0 }, { "date": "2026-10-08", "submitted": 39, "merged": 25 }, { "date": "2026-10-09", "submitted": 59, "merged": 35 }, { "date": "2026-10-10", "submitted": 70, "merged": 36 }, { "date": "2026-10-11", "submitted": 134, "merged": 36 }, { "date": "2026-10-12", "submitted": 233, "merged": 131 }, { "date": "2026-10-13", "submitted": 901, "merged": 330 }, { "date": "2026-10-14", "submitted": 1537, "merged": 1091 }, { "date": "2026-10-15", "submitted": 2071, "merged": 1385 }, { "date": "2026-10-16", "submitted": 2320, "merged": 2077 }, { "date": "2026-10-17", "submitted": 2594, "merged": 2307 }, { "date": "2026-10-18", "submitted": 3080, "merged": 2503 }, { "date": "2026-10-19", "submitted": 3302, "merged": 2504 }, { "date": "2026-10-20", "submitted": 3379, "merged": 3073 } ], "frontier_scope": "Selected-result file history on pinned main; all results retain their conditions.", "activity_scope": "Cumulative creations and merges of PRs in the current merged/open corpus; not historical queue size." }