binding-failure-results.json (58493B)
1 { 2 "stage": "binding-compiler-failure-investigation", 3 "promoted": false, 4 "conclusion": "original timeout not reproduced; exact original environmental cause unknown; unchanged candidate completes repeated cold compilation and runtime checks", 5 "source_reports": { 6 "isolation": "/tmp/tricu-binding-failure-isolate/report.json", 7 "pipeline_tree_comparison": "/tmp/tricu-binding-failure-isolate/tree-comparison.json", 8 "instrumented_cold_pair": "/tmp/tricu-binding-failure-cold/report.json", 9 "repeated_measurement": "/tmp/tricu-binding-compiler-measure-retry/report.json", 10 "source_order_regressions": "/tmp/tricu-binding-order-regressions/report.json", 11 "stable_abstraction_regressions": "/tmp/tricu-binding-abstraction-regressions/complete.json", 12 "stable_abstraction_results": "/tmp/tricu-binding-abstraction-regressions/results.json", 13 "regression_artifact_identity": "/tmp/tricu-binding-regression-artifacts/identity-checks.json", 14 "regression_exports": "/tmp/tricu-binding-regression-artifacts/exports.json" 15 }, 16 "runs": { 17 "isolation": { 18 "complete": true, 19 "harness_sha256": "7635b8f9e90a6a6d94028ef1d09cdcb967b52261269411cea93458c4110ae403", 20 "candidate_sha256": "eb8a8882fa699ca2939085e7e1e6fc26522329e7801ba24e433d60645f791a7b", 21 "runtime_sha256": "15517148463a5ee0d3d4cc26f80d2aa69807946a405237aeeb4f128fb237d5d6", 22 "dependencies": [ 23 { 24 "alias": "native_math", 25 "changed_exports": [] 26 }, 27 { 28 "alias": "kernels", 29 "changed_exports": [] 30 }, 31 { 32 "alias": "layouts", 33 "changed_exports": [] 34 } 35 ], 36 "attempts": [ 37 { 38 "role": "accepted", 39 "count": 53, 40 "last": "lsbRound", 41 "outcome": "complete", 42 "seconds": 11.06884768398595, 43 "rts": { 44 "allocated_bytes": 71265871576, 45 "copied_bytes": 3666971408, 46 "maximum_live_bytes": 38335032, 47 "mutator_cpu_seconds": 8.9, 48 "mutator_elapsed_seconds": 9.335, 49 "gc_cpu_seconds": 1.683, 50 "gc_elapsed_seconds": 1.69, 51 "productivity_cpu_percent": 84.1, 52 "productivity_elapsed_percent": 84.7, 53 "measurement_scope": "whole-process-including-load-render-and-sampling" 54 } 55 }, 56 { 57 "role": "candidate", 58 "count": 53, 59 "last": "lsbRound", 60 "outcome": "complete", 61 "seconds": 11.112865047995001, 62 "rts": { 63 "allocated_bytes": 71942591224, 64 "copied_bytes": 3679474776, 65 "maximum_live_bytes": 47420336, 66 "mutator_cpu_seconds": 9.094, 67 "mutator_elapsed_seconds": 9.314, 68 "gc_cpu_seconds": 1.768, 69 "gc_elapsed_seconds": 1.775, 70 "productivity_cpu_percent": 83.7, 71 "productivity_elapsed_percent": 84.0, 72 "measurement_scope": "whole-process-including-load-render-and-sampling" 73 } 74 } 75 ], 76 "definitions": [ 77 "triage", 78 "choose", 79 "lazy", 80 "head", 81 "tail", 82 "map", 83 "either", 84 "both", 85 "not", 86 "consLimb", 87 "low8", 88 "fromNatural", 89 "toNatural", 90 "increment", 91 "addCarry", 92 "add", 93 "subtractBorrow", 94 "subtract", 95 "multiplyDigit", 96 "multiply", 97 "width", 98 "dropLimbs", 99 "shiftLeft", 100 "shiftResidual", 101 "shift", 102 "roundSplit", 103 "roundFinish", 104 "round", 105 "limbRoundSplit", 106 "finishL", 107 "finishB", 108 "lsbAdd", 109 "limbAdd", 110 "lsbSubtract", 111 "limbSubtract", 112 "lsbMultiply", 113 "limbMultiply", 114 "limbShift", 115 "limbRound", 116 "limbWidths", 117 "limbToNatural", 118 "naturalToLimb", 119 "chainL", 120 "chainB", 121 "lsbChain", 122 "limbChain", 123 "prependLimbs", 124 "leftB", 125 "lsbAlignedAdd", 126 "limbAlignedAdd", 127 "lsbAlignedSubtract", 128 "limbAlignedSubtract", 129 "lsbRound" 130 ], 131 "reproduced": false 132 }, 133 "pipeline_tree_comparison": { 134 "comparison": "all exported function trees, not artifact metadata", 135 "changed_exports": [], 136 "export_count": 53, 137 "bundles": { 138 "accepted": "c313de5d8e546d1a51316b52031e2b16a3b46864b299daa4a8d901420485d9b9", 139 "candidate": "c313de5d8e546d1a51316b52031e2b16a3b46864b299daa4a8d901420485d9b9" 140 } 141 }, 142 "instrumented_cold_pair": { 143 "complete": true, 144 "harness_sha256": "cd601e55efa0b956a2e3ff241f185982042834eec663aefd06d10c3d7101a0a7", 145 "prior_failure_report_sha256": "82a3426900b6a40819e254f9c5b5f6a30ddcb757bd87a8e8a51544c0fc26fad2", 146 "candidate_sha256": "eb8a8882fa699ca2939085e7e1e6fc26522329e7801ba24e433d60645f791a7b", 147 "runtime_sha256": "15517148463a5ee0d3d4cc26f80d2aa69807946a405237aeeb4f128fb237d5d6", 148 "attempts": [ 149 { 150 "role": "candidate", 151 "command": [ 152 "/nix/store/pgcacnpm7sci6iv8z7sl3niazl49j80i-tricu-2026.10.24/bin/tricu", 153 "arboricx", 154 "compile", 155 "--file", 156 "/tmp/tricu-binding-failure-cold/workspace/driver.tri", 157 "--toolchain", 158 "ce18e62136434b851f457e68ab635231ecf19249f589ce6f194aa7023ed77dab", 159 "--tool-store", 160 "/tmp/tricu-binding-failure-cold/store", 161 "--store", 162 "/tmp/tricu-binding-failure-cold/candidate-store", 163 "--output", 164 "/tmp/tricu-binding-failure-cold/candidate.arboricx", 165 "--compile-timeout", 166 "240", 167 "+RTS", 168 "-N1", 169 "-M2048m", 170 "-T", 171 "-s", 172 "-RTS" 173 ], 174 "samples": [ 175 { 176 "seconds": 0.00019486600649543107, 177 "cpu_seconds": 0.0, 178 "rss_kib": 408, 179 "completed": [] 180 }, 181 { 182 "seconds": 1.0063755229930393, 183 "cpu_seconds": 0.99, 184 "rss_kib": 70184, 185 "completed": [] 186 }, 187 { 188 "seconds": 2.0140932069916744, 189 "cpu_seconds": 1.84, 190 "rss_kib": 100236, 191 "completed": [ 192 "native_math" 193 ] 194 }, 195 { 196 "seconds": 3.020110287994612, 197 "cpu_seconds": 2.86, 198 "rss_kib": 100236, 199 "completed": [ 200 "native_math" 201 ] 202 }, 203 { 204 "seconds": 4.027748361986596, 205 "cpu_seconds": 3.73, 206 "rss_kib": 100236, 207 "completed": [ 208 "native_math" 209 ] 210 }, 211 { 212 "seconds": 5.0349584729992785, 213 "cpu_seconds": 4.45, 214 "rss_kib": 100236, 215 "completed": [ 216 "native_math" 217 ] 218 }, 219 { 220 "seconds": 6.041493386001093, 221 "cpu_seconds": 5.43, 222 "rss_kib": 100236, 223 "completed": [ 224 "kernels", 225 "native_math" 226 ] 227 }, 228 { 229 "seconds": 7.048605603980832, 230 "cpu_seconds": 6.45, 231 "rss_kib": 100236, 232 "completed": [ 233 "kernels", 234 "native_math" 235 ] 236 }, 237 { 238 "seconds": 8.00885464399471, 239 "cpu_seconds": 7.0, 240 "rss_kib": 100236, 241 "completed": [ 242 "kernels", 243 "native_math" 244 ] 245 }, 246 { 247 "seconds": 9.01487211699714, 248 "cpu_seconds": 7.89, 249 "rss_kib": 100236, 250 "completed": [ 251 "kernels", 252 "native_math" 253 ] 254 }, 255 { 256 "seconds": 10.020171190000838, 257 "cpu_seconds": 8.89, 258 "rss_kib": 100236, 259 "completed": [ 260 "kernels", 261 "layouts", 262 "native_math" 263 ] 264 }, 265 { 266 "seconds": 11.025787029007915, 267 "cpu_seconds": 9.9, 268 "rss_kib": 99796, 269 "completed": [ 270 "kernels", 271 "layouts", 272 "native_math" 273 ] 274 }, 275 { 276 "seconds": 12.030914910981664, 277 "cpu_seconds": 10.91, 278 "rss_kib": 114716, 279 "completed": [ 280 "kernels", 281 "layouts", 282 "native_math" 283 ] 284 }, 285 { 286 "seconds": 13.041096392000327, 287 "cpu_seconds": 11.47, 288 "rss_kib": 115876, 289 "completed": [ 290 "kernels", 291 "layouts", 292 "native_math" 293 ] 294 }, 295 { 296 "seconds": 14.00068026498775, 297 "cpu_seconds": 12.12, 298 "rss_kib": 132764, 299 "completed": [ 300 "kernels", 301 "layouts", 302 "native_math" 303 ] 304 }, 305 { 306 "seconds": 15.008034658007091, 307 "cpu_seconds": 13.12, 308 "rss_kib": 133324, 309 "completed": [ 310 "kernels", 311 "layouts", 312 "native_math" 313 ] 314 }, 315 { 316 "seconds": 16.014253679983085, 317 "cpu_seconds": 14.12, 318 "rss_kib": 132764, 319 "completed": [ 320 "kernels", 321 "layouts", 322 "native_math", 323 "pipelines" 324 ] 325 }, 326 { 327 "seconds": 17.020226078981068, 328 "cpu_seconds": 15.12, 329 "rss_kib": 133324, 330 "completed": [ 331 "kernels", 332 "layouts", 333 "native_math", 334 "pipelines" 335 ] 336 }, 337 { 338 "seconds": 18.0267718549876, 339 "cpu_seconds": 16.07, 340 "rss_kib": 133156, 341 "completed": [ 342 "kernels", 343 "layouts", 344 "native_math", 345 "pipelines" 346 ] 347 }, 348 { 349 "seconds": 19.0359127529955, 350 "cpu_seconds": 16.78, 351 "rss_kib": 133324, 352 "completed": [ 353 "kernels", 354 "layouts", 355 "native_math", 356 "pipelines" 357 ] 358 }, 359 { 360 "seconds": 20.042877375002718, 361 "cpu_seconds": 17.77, 362 "rss_kib": 133324, 363 "completed": [ 364 "kernels", 365 "layouts", 366 "native_math", 367 "pipelines" 368 ] 369 }, 370 { 371 "seconds": 21.049533437995706, 372 "cpu_seconds": 18.76, 373 "rss_kib": 132636, 374 "completed": [ 375 "kernels", 376 "layouts", 377 "multiply", 378 "native_math", 379 "pipelines" 380 ] 381 }, 382 { 383 "seconds": 22.00503392398241, 384 "cpu_seconds": 19.72, 385 "rss_kib": 133324, 386 "completed": [ 387 "kernels", 388 "layouts", 389 "multiply", 390 "native_math", 391 "pipelines" 392 ] 393 }, 394 { 395 "seconds": 23.012411531992257, 396 "cpu_seconds": 20.65, 397 "rss_kib": 132572, 398 "completed": [ 399 "kernels", 400 "layouts", 401 "multiply", 402 "native_math", 403 "pipelines" 404 ] 405 }, 406 { 407 "seconds": 24.0215639929811, 408 "cpu_seconds": 21.09, 409 "rss_kib": 133324, 410 "completed": [ 411 "kernels", 412 "layouts", 413 "multiply", 414 "native_math", 415 "pipelines" 416 ] 417 }, 418 { 419 "seconds": 25.02742900099838, 420 "cpu_seconds": 21.98, 421 "rss_kib": 132572, 422 "completed": [ 423 "kernels", 424 "layouts", 425 "multiply", 426 "native_math", 427 "pipelines" 428 ] 429 }, 430 { 431 "seconds": 26.034242389985593, 432 "cpu_seconds": 22.97, 433 "rss_kib": 133324, 434 "completed": [ 435 "driver", 436 "kernels", 437 "layouts", 438 "multiply", 439 "native_math", 440 "pipelines" 441 ] 442 } 443 ], 444 "outcome": "complete", 445 "seconds": 26.637652684992645, 446 "returncode": 0, 447 "rts": { 448 "allocated_bytes": 148805579480, 449 "copied_bytes": 6738934240, 450 "maximum_live_bytes": 45433272, 451 "mutator_cpu_seconds": 19.743, 452 "mutator_elapsed_seconds": 22.777, 453 "gc_cpu_seconds": 3.829, 454 "gc_elapsed_seconds": 3.845, 455 "productivity_cpu_percent": 83.8, 456 "productivity_elapsed_percent": 85.6, 457 "measurement_scope": "whole-process-including-load-render-and-sampling" 458 }, 459 "bundle_sha256": "deed088a0e46c78765a1b8b87f74a4544ae83c0b26a7541f833e3cacd131642e" 460 }, 461 { 462 "role": "accepted", 463 "command": [ 464 "/nix/store/pgcacnpm7sci6iv8z7sl3niazl49j80i-tricu-2026.10.24/bin/tricu", 465 "arboricx", 466 "compile", 467 "--file", 468 "/tmp/tricu-binding-failure-cold/workspace/driver.tri", 469 "--toolchain", 470 "12a965c8226a2501bc4ba3d5c885104f363fc1af984304aa9c6b7e4971869e08", 471 "--tool-store", 472 "/tmp/tricu-binding-failure-cold/store", 473 "--store", 474 "/tmp/tricu-binding-failure-cold/accepted-store", 475 "--output", 476 "/tmp/tricu-binding-failure-cold/accepted.arboricx", 477 "--compile-timeout", 478 "240", 479 "+RTS", 480 "-N1", 481 "-M2048m", 482 "-T", 483 "-s", 484 "-RTS" 485 ], 486 "samples": [ 487 { 488 "seconds": 0.0003635430184658617, 489 "cpu_seconds": 0.0, 490 "rss_kib": 504, 491 "completed": [] 492 }, 493 { 494 "seconds": 1.007529404014349, 495 "cpu_seconds": 1.0, 496 "rss_kib": 79208, 497 "completed": [] 498 }, 499 { 500 "seconds": 2.016211642010603, 501 "cpu_seconds": 1.84, 502 "rss_kib": 99228, 503 "completed": [ 504 "native_math" 505 ] 506 }, 507 { 508 "seconds": 3.0223151780082844, 509 "cpu_seconds": 2.85, 510 "rss_kib": 99228, 511 "completed": [ 512 "native_math" 513 ] 514 }, 515 { 516 "seconds": 4.029668461007532, 517 "cpu_seconds": 3.69, 518 "rss_kib": 99228, 519 "completed": [ 520 "native_math" 521 ] 522 }, 523 { 524 "seconds": 5.037576777016511, 525 "cpu_seconds": 4.47, 526 "rss_kib": 98732, 527 "completed": [ 528 "native_math" 529 ] 530 }, 531 { 532 "seconds": 6.043551272014156, 533 "cpu_seconds": 5.47, 534 "rss_kib": 99228, 535 "completed": [ 536 "kernels", 537 "native_math" 538 ] 539 }, 540 { 541 "seconds": 7.050013032014249, 542 "cpu_seconds": 6.48, 543 "rss_kib": 99228, 544 "completed": [ 545 "kernels", 546 "native_math" 547 ] 548 }, 549 { 550 "seconds": 8.007912093016785, 551 "cpu_seconds": 7.08, 552 "rss_kib": 99052, 553 "completed": [ 554 "kernels", 555 "native_math" 556 ] 557 }, 558 { 559 "seconds": 9.015054340998176, 560 "cpu_seconds": 8.08, 561 "rss_kib": 99228, 562 "completed": [ 563 "kernels", 564 "layouts", 565 "native_math" 566 ] 567 }, 568 { 569 "seconds": 10.02063203099533, 570 "cpu_seconds": 9.08, 571 "rss_kib": 99228, 572 "completed": [ 573 "kernels", 574 "layouts", 575 "native_math" 576 ] 577 }, 578 { 579 "seconds": 11.026269554015016, 580 "cpu_seconds": 10.09, 581 "rss_kib": 99228, 582 "completed": [ 583 "kernels", 584 "layouts", 585 "native_math" 586 ] 587 }, 588 { 589 "seconds": 12.035174231015844, 590 "cpu_seconds": 10.99, 591 "rss_kib": 121756, 592 "completed": [ 593 "kernels", 594 "layouts", 595 "native_math" 596 ] 597 }, 598 { 599 "seconds": 13.044522351003252, 600 "cpu_seconds": 11.81, 601 "rss_kib": 139484, 602 "completed": [ 603 "kernels", 604 "layouts", 605 "native_math" 606 ] 607 }, 608 { 609 "seconds": 14.000828393007396, 610 "cpu_seconds": 12.77, 611 "rss_kib": 139484, 612 "completed": [ 613 "kernels", 614 "layouts", 615 "native_math" 616 ] 617 }, 618 { 619 "seconds": 15.007158847001847, 620 "cpu_seconds": 13.77, 621 "rss_kib": 139484, 622 "completed": [ 623 "kernels", 624 "layouts", 625 "native_math", 626 "pipelines" 627 ] 628 }, 629 { 630 "seconds": 16.012335806008196, 631 "cpu_seconds": 14.78, 632 "rss_kib": 139484, 633 "completed": [ 634 "kernels", 635 "layouts", 636 "native_math", 637 "pipelines" 638 ] 639 }, 640 { 641 "seconds": 17.020352496998385, 642 "cpu_seconds": 15.68, 643 "rss_kib": 139484, 644 "completed": [ 645 "kernels", 646 "layouts", 647 "native_math", 648 "pipelines" 649 ] 650 }, 651 { 652 "seconds": 18.027767527994, 653 "cpu_seconds": 16.64, 654 "rss_kib": 139484, 655 "completed": [ 656 "kernels", 657 "layouts", 658 "native_math", 659 "pipelines" 660 ] 661 }, 662 { 663 "seconds": 19.034493726008805, 664 "cpu_seconds": 17.64, 665 "rss_kib": 139484, 666 "completed": [ 667 "kernels", 668 "layouts", 669 "native_math", 670 "pipelines" 671 ] 672 }, 673 { 674 "seconds": 20.04013147999649, 675 "cpu_seconds": 18.65, 676 "rss_kib": 139484, 677 "completed": [ 678 "kernels", 679 "layouts", 680 "multiply", 681 "native_math", 682 "pipelines" 683 ] 684 }, 685 { 686 "seconds": 21.046257381007308, 687 "cpu_seconds": 19.66, 688 "rss_kib": 139484, 689 "completed": [ 690 "kernels", 691 "layouts", 692 "multiply", 693 "native_math", 694 "pipelines" 695 ] 696 }, 697 { 698 "seconds": 22.00557316400227, 699 "cpu_seconds": 20.38, 700 "rss_kib": 139484, 701 "completed": [ 702 "kernels", 703 "layouts", 704 "multiply", 705 "native_math", 706 "pipelines" 707 ] 708 }, 709 { 710 "seconds": 23.013933231006376, 711 "cpu_seconds": 21.24, 712 "rss_kib": 139484, 713 "completed": [ 714 "kernels", 715 "layouts", 716 "multiply", 717 "native_math", 718 "pipelines" 719 ] 720 }, 721 { 722 "seconds": 24.020844256010605, 723 "cpu_seconds": 22.24, 724 "rss_kib": 139484, 725 "completed": [ 726 "kernels", 727 "layouts", 728 "multiply", 729 "native_math", 730 "pipelines" 731 ] 732 } 733 ], 734 "outcome": "complete", 735 "seconds": 24.77527753499453, 736 "returncode": 0, 737 "rts": { 738 "allocated_bytes": 148027648640, 739 "copied_bytes": 6732927384, 740 "maximum_live_bytes": 45014328, 741 "mutator_cpu_seconds": 19.213, 742 "mutator_elapsed_seconds": 20.971, 743 "gc_cpu_seconds": 3.756, 744 "gc_elapsed_seconds": 3.771, 745 "productivity_cpu_percent": 83.6, 746 "productivity_elapsed_percent": 84.8, 747 "measurement_scope": "whole-process-including-load-render-and-sampling" 748 }, 749 "bundle_sha256": "e0594fa1cbc3d17d7dd7ae015019c0e5fc07cdc2d603b0d1eaf8460842c0a482" 750 } 751 ] 752 }, 753 "repeated_measurement": { 754 "complete": true, 755 "promoted": false, 756 "harness_sha256": "db9471e78ae09fdb855a0780e7368b9cdb15adb2fba1076f5b0ec227b5d0d630", 757 "candidate_report_sha256": "993c0fc2ffd879f0455392ce0908f3e1f59621ba2d600fe5cd2a06152be2cfeb", 758 "runtime_sha256": "15517148463a5ee0d3d4cc26f80d2aa69807946a405237aeeb4f128fb237d5d6", 759 "sources": { 760 "driver.tri": "a2293398263ece78650be6d1f6eeb3dd3ec18c3812d54ac2d21ea90961f6e900", 761 "multiply.tri": "7dbb45364149688e95b337b132790d5cb546ac72e0c1e4fa9a5063853829867b", 762 "pipelines.tri": "6daba69f8c252469dea0e799c2d7fca45b673a23508faf4a0f69e5c375a735bb", 763 "kernels.tri": "58b04ec37e82bfe7b8d3a6b42bb81307258ff0812a77f0fdac04b0f022b17db5", 764 "layouts.tri": "3e1ccc050fa4e803271f87505cdd141ded2cc7b0be367fa548aba2bbd86b9914", 765 "native_math.tri": "d699cce98f8779ff3d451d1be02687182243922fa622cedf5d4f6f9fe252102a" 766 }, 767 "compile_samples": [ 768 { 769 "role": "accepted", 770 "repeat": 0, 771 "wall_seconds": 24.965868412982672, 772 "rts": { 773 "allocated_bytes": 148826865544, 774 "copied_bytes": 6760820000, 775 "maximum_live_bytes": 50458080, 776 "mutator_cpu_seconds": 19.247, 777 "mutator_elapsed_seconds": 21.167, 778 "gc_cpu_seconds": 3.75, 779 "gc_elapsed_seconds": 3.765, 780 "productivity_cpu_percent": 83.7, 781 "productivity_elapsed_percent": 84.9, 782 "measurement_scope": "whole-process-including-load-render-and-sampling" 783 }, 784 "bundle_sha256": "e0594fa1cbc3d17d7dd7ae015019c0e5fc07cdc2d603b0d1eaf8460842c0a482" 785 }, 786 { 787 "role": "candidate", 788 "repeat": 0, 789 "wall_seconds": 24.804942460992606, 790 "rts": { 791 "allocated_bytes": 149578170240, 792 "copied_bytes": 6755744752, 793 "maximum_live_bytes": 42194816, 794 "mutator_cpu_seconds": 19.253, 795 "mutator_elapsed_seconds": 20.97, 796 "gc_cpu_seconds": 3.758, 797 "gc_elapsed_seconds": 3.773, 798 "productivity_cpu_percent": 83.7, 799 "productivity_elapsed_percent": 84.8, 800 "measurement_scope": "whole-process-including-load-render-and-sampling" 801 }, 802 "bundle_sha256": "deed088a0e46c78765a1b8b87f74a4544ae83c0b26a7541f833e3cacd131642e" 803 }, 804 { 805 "role": "candidate", 806 "repeat": 1, 807 "wall_seconds": 25.110041304986225, 808 "rts": { 809 "allocated_bytes": 149581597952, 810 "copied_bytes": 6753568376, 811 "maximum_live_bytes": 42586968, 812 "mutator_cpu_seconds": 19.393, 813 "mutator_elapsed_seconds": 21.294, 814 "gc_cpu_seconds": 3.768, 815 "gc_elapsed_seconds": 3.783, 816 "productivity_cpu_percent": 83.7, 817 "productivity_elapsed_percent": 84.9, 818 "measurement_scope": "whole-process-including-load-render-and-sampling" 819 }, 820 "bundle_sha256": "deed088a0e46c78765a1b8b87f74a4544ae83c0b26a7541f833e3cacd131642e" 821 }, 822 { 823 "role": "accepted", 824 "repeat": 1, 825 "wall_seconds": 25.30553836899344, 826 "rts": { 827 "allocated_bytes": 148818803176, 828 "copied_bytes": 6730982304, 829 "maximum_live_bytes": 46516600, 830 "mutator_cpu_seconds": 19.312, 831 "mutator_elapsed_seconds": 21.463, 832 "gc_cpu_seconds": 3.778, 833 "gc_elapsed_seconds": 3.793, 834 "productivity_cpu_percent": 83.6, 835 "productivity_elapsed_percent": 85.0, 836 "measurement_scope": "whole-process-including-load-render-and-sampling" 837 }, 838 "bundle_sha256": "e0594fa1cbc3d17d7dd7ae015019c0e5fc07cdc2d603b0d1eaf8460842c0a482" 839 }, 840 { 841 "role": "candidate", 842 "repeat": 2, 843 "wall_seconds": 26.175104260997614, 844 "rts": { 845 "allocated_bytes": 149578337464, 846 "copied_bytes": 6755383992, 847 "maximum_live_bytes": 42194248, 848 "mutator_cpu_seconds": 19.58, 849 "mutator_elapsed_seconds": 22.327, 850 "gc_cpu_seconds": 3.789, 851 "gc_elapsed_seconds": 3.804, 852 "productivity_cpu_percent": 83.8, 853 "productivity_elapsed_percent": 85.4, 854 "measurement_scope": "whole-process-including-load-render-and-sampling" 855 }, 856 "bundle_sha256": "deed088a0e46c78765a1b8b87f74a4544ae83c0b26a7541f833e3cacd131642e" 857 }, 858 { 859 "role": "accepted", 860 "repeat": 2, 861 "wall_seconds": 27.891901297000004, 862 "rts": { 863 "allocated_bytes": 148824502288, 864 "copied_bytes": 6752404568, 865 "maximum_live_bytes": 52377664, 866 "mutator_cpu_seconds": 19.66, 867 "mutator_elapsed_seconds": 24.066, 868 "gc_cpu_seconds": 3.773, 869 "gc_elapsed_seconds": 3.789, 870 "productivity_cpu_percent": 83.9, 871 "productivity_elapsed_percent": 86.4, 872 "measurement_scope": "whole-process-including-load-render-and-sampling" 873 }, 874 "bundle_sha256": "e0594fa1cbc3d17d7dd7ae015019c0e5fc07cdc2d603b0d1eaf8460842c0a482" 875 }, 876 { 877 "role": "candidate", 878 "repeat": 3, 879 "wall_seconds": 28.45526465700823, 880 "rts": { 881 "allocated_bytes": 149589470328, 882 "copied_bytes": 6768446192, 883 "maximum_live_bytes": 52648248, 884 "mutator_cpu_seconds": 19.759, 885 "mutator_elapsed_seconds": 24.574, 886 "gc_cpu_seconds": 3.827, 887 "gc_elapsed_seconds": 3.843, 888 "productivity_cpu_percent": 83.8, 889 "productivity_elapsed_percent": 86.5, 890 "measurement_scope": "whole-process-including-load-render-and-sampling" 891 }, 892 "bundle_sha256": "deed088a0e46c78765a1b8b87f74a4544ae83c0b26a7541f833e3cacd131642e" 893 }, 894 { 895 "role": "accepted", 896 "repeat": 3, 897 "wall_seconds": 28.495325194002362, 898 "rts": { 899 "allocated_bytes": 148836992176, 900 "copied_bytes": 6765574304, 901 "maximum_live_bytes": 51000896, 902 "mutator_cpu_seconds": 19.788, 903 "mutator_elapsed_seconds": 24.585, 904 "gc_cpu_seconds": 3.841, 905 "gc_elapsed_seconds": 3.857, 906 "productivity_cpu_percent": 83.7, 907 "productivity_elapsed_percent": 86.4, 908 "measurement_scope": "whole-process-including-load-render-and-sampling" 909 }, 910 "bundle_sha256": "e0594fa1cbc3d17d7dd7ae015019c0e5fc07cdc2d603b0d1eaf8460842c0a482" 911 }, 912 { 913 "role": "candidate", 914 "repeat": 4, 915 "wall_seconds": 28.34834548298386, 916 "rts": { 917 "allocated_bytes": 149579069712, 918 "copied_bytes": 6747796536, 919 "maximum_live_bytes": 53724632, 920 "mutator_cpu_seconds": 19.764, 921 "mutator_elapsed_seconds": 24.479, 922 "gc_cpu_seconds": 3.816, 923 "gc_elapsed_seconds": 3.833, 924 "productivity_cpu_percent": 83.8, 925 "productivity_elapsed_percent": 86.5, 926 "measurement_scope": "whole-process-including-load-render-and-sampling" 927 }, 928 "bundle_sha256": "deed088a0e46c78765a1b8b87f74a4544ae83c0b26a7541f833e3cacd131642e" 929 }, 930 { 931 "role": "accepted", 932 "repeat": 4, 933 "wall_seconds": 27.42060983699048, 934 "rts": { 935 "allocated_bytes": 148826674504, 936 "copied_bytes": 6745847456, 937 "maximum_live_bytes": 50502872, 938 "mutator_cpu_seconds": 19.64, 939 "mutator_elapsed_seconds": 23.539, 940 "gc_cpu_seconds": 3.844, 941 "gc_elapsed_seconds": 3.861, 942 "productivity_cpu_percent": 83.6, 943 "productivity_elapsed_percent": 85.9, 944 "measurement_scope": "whole-process-including-load-render-and-sampling" 945 }, 946 "bundle_sha256": "e0594fa1cbc3d17d7dd7ae015019c0e5fc07cdc2d603b0d1eaf8460842c0a482" 947 } 948 ], 949 "samples": [ 950 { 951 "role": "accepted", 952 "name": "bindingCopies", 953 "repeat": 0, 954 "wall_ns": 3115771, 955 "allocated_bytes": 4718056, 956 "gc_ns": 1255227 957 }, 958 { 959 "role": "candidate", 960 "name": "bindingCopies", 961 "repeat": 0, 962 "wall_ns": 3005684, 963 "allocated_bytes": 4718056, 964 "gc_ns": 1210552 965 }, 966 { 967 "role": "accepted", 968 "name": "orderedProduct", 969 "repeat": 0, 970 "wall_ns": 89970616, 971 "allocated_bytes": 697265184, 972 "gc_ns": 8037197 973 }, 974 { 975 "role": "candidate", 976 "name": "bindingBranches", 977 "repeat": 0, 978 "wall_ns": 3952040, 979 "allocated_bytes": 15591976, 980 "gc_ns": 838334 981 }, 982 { 983 "role": "candidate", 984 "name": "orderedProduct", 985 "repeat": 0, 986 "wall_ns": 88862055, 987 "allocated_bytes": 623766376, 988 "gc_ns": 8543678 989 }, 990 { 991 "role": "accepted", 992 "name": "bindingBranches", 993 "repeat": 0, 994 "wall_ns": 4093876, 995 "allocated_bytes": 16427560, 996 "gc_ns": 830429 997 }, 998 { 999 "role": "accepted", 1000 "name": "orderedFull", 1001 "repeat": 0, 1002 "wall_ns": 6462153, 1003 "allocated_bytes": 27053104, 1004 "gc_ns": 830680 1005 }, 1006 { 1007 "role": "candidate", 1008 "name": "orderedFull", 1009 "repeat": 0, 1010 "wall_ns": 4658547, 1011 "allocated_bytes": 24199016, 1012 "gc_ns": 1202137 1013 }, 1014 { 1015 "role": "candidate", 1016 "name": "orderedProduct", 1017 "repeat": 1, 1018 "wall_ns": 86645593, 1019 "allocated_bytes": 623766376, 1020 "gc_ns": 8353034 1021 }, 1022 { 1023 "role": "accepted", 1024 "name": "orderedFull", 1025 "repeat": 1, 1026 "wall_ns": 6511986, 1027 "allocated_bytes": 27053104, 1028 "gc_ns": 903567 1029 }, 1030 { 1031 "role": "accepted", 1032 "name": "orderedProduct", 1033 "repeat": 1, 1034 "wall_ns": 95229951, 1035 "allocated_bytes": 697266752, 1036 "gc_ns": 9026799 1037 }, 1038 { 1039 "role": "candidate", 1040 "name": "orderedFull", 1041 "repeat": 1, 1042 "wall_ns": 3497446, 1043 "allocated_bytes": 24199016, 1044 "gc_ns": 499288 1045 }, 1046 { 1047 "role": "candidate", 1048 "name": "bindingBranches", 1049 "repeat": 1, 1050 "wall_ns": 4082766, 1051 "allocated_bytes": 15591976, 1052 "gc_ns": 849103 1053 }, 1054 { 1055 "role": "candidate", 1056 "name": "bindingCopies", 1057 "repeat": 1, 1058 "wall_ns": 3617883, 1059 "allocated_bytes": 4718056, 1060 "gc_ns": 1756488 1061 }, 1062 { 1063 "role": "accepted", 1064 "name": "bindingCopies", 1065 "repeat": 1, 1066 "wall_ns": 2677527, 1067 "allocated_bytes": 4718056, 1068 "gc_ns": 885493 1069 }, 1070 { 1071 "role": "accepted", 1072 "name": "bindingBranches", 1073 "repeat": 1, 1074 "wall_ns": 4121188, 1075 "allocated_bytes": 16427560, 1076 "gc_ns": 839837 1077 }, 1078 { 1079 "role": "accepted", 1080 "name": "orderedProduct", 1081 "repeat": 2, 1082 "wall_ns": 87785293, 1083 "allocated_bytes": 697266752, 1084 "gc_ns": 7972086 1085 }, 1086 { 1087 "role": "accepted", 1088 "name": "bindingBranches", 1089 "repeat": 2, 1090 "wall_ns": 4185599, 1091 "allocated_bytes": 16427560, 1092 "gc_ns": 836240 1093 }, 1094 { 1095 "role": "accepted", 1096 "name": "bindingCopies", 1097 "repeat": 2, 1098 "wall_ns": 3287903, 1099 "allocated_bytes": 4718056, 1100 "gc_ns": 1564980 1101 }, 1102 { 1103 "role": "candidate", 1104 "name": "bindingBranches", 1105 "repeat": 2, 1106 "wall_ns": 2858367, 1107 "allocated_bytes": 15591976, 1108 "gc_ns": 585000 1109 }, 1110 { 1111 "role": "candidate", 1112 "name": "orderedProduct", 1113 "repeat": 2, 1114 "wall_ns": 79742382, 1115 "allocated_bytes": 623764808, 1116 "gc_ns": 7094105 1117 }, 1118 { 1119 "role": "accepted", 1120 "name": "orderedFull", 1121 "repeat": 2, 1122 "wall_ns": 5735709, 1123 "allocated_bytes": 27053104, 1124 "gc_ns": 785156 1125 }, 1126 { 1127 "role": "candidate", 1128 "name": "bindingCopies", 1129 "repeat": 2, 1130 "wall_ns": 2971880, 1131 "allocated_bytes": 4718056, 1132 "gc_ns": 1228517 1133 }, 1134 { 1135 "role": "candidate", 1136 "name": "orderedFull", 1137 "repeat": 2, 1138 "wall_ns": 5098193, 1139 "allocated_bytes": 24199016, 1140 "gc_ns": 746580 1141 }, 1142 { 1143 "role": "candidate", 1144 "name": "bindingCopies", 1145 "repeat": 3, 1146 "wall_ns": 2922557, 1147 "allocated_bytes": 4718056, 1148 "gc_ns": 1223398 1149 }, 1150 { 1151 "role": "accepted", 1152 "name": "orderedFull", 1153 "repeat": 3, 1154 "wall_ns": 5629350, 1155 "allocated_bytes": 27053104, 1156 "gc_ns": 780797 1157 }, 1158 { 1159 "role": "candidate", 1160 "name": "bindingBranches", 1161 "repeat": 3, 1162 "wall_ns": 4566544, 1163 "allocated_bytes": 15591976, 1164 "gc_ns": 944573 1165 }, 1166 { 1167 "role": "accepted", 1168 "name": "bindingBranches", 1169 "repeat": 3, 1170 "wall_ns": 4127870, 1171 "allocated_bytes": 16427560, 1172 "gc_ns": 824629 1173 }, 1174 { 1175 "role": "accepted", 1176 "name": "orderedProduct", 1177 "repeat": 3, 1178 "wall_ns": 100793587, 1179 "allocated_bytes": 697266752, 1180 "gc_ns": 10867214 1181 }, 1182 { 1183 "role": "candidate", 1184 "name": "orderedFull", 1185 "repeat": 3, 1186 "wall_ns": 5240710, 1187 "allocated_bytes": 24199016, 1188 "gc_ns": 741733 1189 }, 1190 { 1191 "role": "candidate", 1192 "name": "orderedProduct", 1193 "repeat": 3, 1194 "wall_ns": 88170246, 1195 "allocated_bytes": 623764808, 1196 "gc_ns": 9028162 1197 }, 1198 { 1199 "role": "accepted", 1200 "name": "bindingCopies", 1201 "repeat": 3, 1202 "wall_ns": 2998249, 1203 "allocated_bytes": 4718056, 1204 "gc_ns": 1262490 1205 }, 1206 { 1207 "role": "accepted", 1208 "name": "bindingBranches", 1209 "repeat": 4, 1210 "wall_ns": 4054162, 1211 "allocated_bytes": 16427560, 1212 "gc_ns": 839237 1213 }, 1214 { 1215 "role": "accepted", 1216 "name": "orderedProduct", 1217 "repeat": 4, 1218 "wall_ns": 102788923, 1219 "allocated_bytes": 697266752, 1220 "gc_ns": 10675016 1221 }, 1222 { 1223 "role": "accepted", 1224 "name": "orderedFull", 1225 "repeat": 4, 1226 "wall_ns": 5769783, 1227 "allocated_bytes": 27053104, 1228 "gc_ns": 781666 1229 }, 1230 { 1231 "role": "accepted", 1232 "name": "bindingCopies", 1233 "repeat": 4, 1234 "wall_ns": 4132499, 1235 "allocated_bytes": 4718056, 1236 "gc_ns": 1948789 1237 }, 1238 { 1239 "role": "candidate", 1240 "name": "orderedFull", 1241 "repeat": 4, 1242 "wall_ns": 5272259, 1243 "allocated_bytes": 24199016, 1244 "gc_ns": 729320 1245 }, 1246 { 1247 "role": "candidate", 1248 "name": "bindingCopies", 1249 "repeat": 4, 1250 "wall_ns": 3445128, 1251 "allocated_bytes": 4718056, 1252 "gc_ns": 1604973 1253 }, 1254 { 1255 "role": "candidate", 1256 "name": "bindingBranches", 1257 "repeat": 4, 1258 "wall_ns": 4329919, 1259 "allocated_bytes": 15591976, 1260 "gc_ns": 1086819 1261 }, 1262 { 1263 "role": "candidate", 1264 "name": "orderedProduct", 1265 "repeat": 4, 1266 "wall_ns": 101039519, 1267 "allocated_bytes": 623766376, 1268 "gc_ns": 9510886 1269 } 1270 ], 1271 "checks": [ 1272 { 1273 "label": "oracle-accepted-orderedFull-0", 1274 "role": "accepted" 1275 }, 1276 { 1277 "label": "oracle-accepted-orderedProduct-0", 1278 "role": "accepted" 1279 }, 1280 { 1281 "label": "oracle-accepted-orderedFull-64", 1282 "role": "accepted" 1283 }, 1284 { 1285 "label": "oracle-accepted-orderedProduct-64", 1286 "role": "accepted" 1287 }, 1288 { 1289 "label": "oracle-accepted-orderedFull-128", 1290 "role": "accepted" 1291 }, 1292 { 1293 "label": "oracle-accepted-orderedProduct-128", 1294 "role": "accepted" 1295 }, 1296 { 1297 "label": "oracle-accepted-orderedFull-192", 1298 "role": "accepted" 1299 }, 1300 { 1301 "label": "oracle-accepted-orderedProduct-192", 1302 "role": "accepted" 1303 }, 1304 { 1305 "label": "demand-accepted-UnknownLow", 1306 "role": "accepted" 1307 }, 1308 { 1309 "label": "demand-accepted-UnknownLowHigh", 1310 "role": "accepted" 1311 }, 1312 { 1313 "label": "demand-accepted-LowWithoutTails", 1314 "role": "accepted" 1315 }, 1316 { 1317 "label": "demand-accepted-RightZero", 1318 "role": "accepted" 1319 }, 1320 { 1321 "label": "demand-accepted-LeftZero", 1322 "role": "accepted" 1323 }, 1324 { 1325 "label": "closureBound", 1326 "role": "accepted", 1327 "outcome": "expected-timeout" 1328 }, 1329 { 1330 "label": "closedBranchBound", 1331 "role": "accepted", 1332 "outcome": "expected-timeout" 1333 }, 1334 { 1335 "label": "oracle-candidate-orderedFull-0", 1336 "role": "candidate" 1337 }, 1338 { 1339 "label": "oracle-candidate-orderedProduct-0", 1340 "role": "candidate" 1341 }, 1342 { 1343 "label": "oracle-candidate-orderedFull-64", 1344 "role": "candidate" 1345 }, 1346 { 1347 "label": "oracle-candidate-orderedProduct-64", 1348 "role": "candidate" 1349 }, 1350 { 1351 "label": "oracle-candidate-orderedFull-128", 1352 "role": "candidate" 1353 }, 1354 { 1355 "label": "oracle-candidate-orderedProduct-128", 1356 "role": "candidate" 1357 }, 1358 { 1359 "label": "oracle-candidate-orderedFull-192", 1360 "role": "candidate" 1361 }, 1362 { 1363 "label": "oracle-candidate-orderedProduct-192", 1364 "role": "candidate" 1365 }, 1366 { 1367 "label": "demand-candidate-UnknownLow", 1368 "role": "candidate" 1369 }, 1370 { 1371 "label": "demand-candidate-UnknownLowHigh", 1372 "role": "candidate" 1373 }, 1374 { 1375 "label": "demand-candidate-LowWithoutTails", 1376 "role": "candidate" 1377 }, 1378 { 1379 "label": "demand-candidate-RightZero", 1380 "role": "candidate" 1381 }, 1382 { 1383 "label": "demand-candidate-LeftZero", 1384 "role": "candidate" 1385 }, 1386 { 1387 "label": "closureBound", 1388 "role": "candidate", 1389 "outcome": "expected-timeout" 1390 }, 1391 { 1392 "label": "closedBranchBound", 1393 "role": "candidate", 1394 "outcome": "expected-timeout" 1395 } 1396 ], 1397 "shapes": [ 1398 { 1399 "name": "etaExpanded", 1400 "changed": false 1401 }, 1402 { 1403 "name": "etaContracted", 1404 "changed": false 1405 }, 1406 { 1407 "name": "singleBound", 1408 "changed": true 1409 }, 1410 { 1411 "name": "singleInline", 1412 "changed": false 1413 }, 1414 { 1415 "name": "branchBound", 1416 "changed": true 1417 }, 1418 { 1419 "name": "branchInline", 1420 "changed": false 1421 }, 1422 { 1423 "name": "constructorBound", 1424 "changed": false 1425 }, 1426 { 1427 "name": "constructorInline", 1428 "changed": false 1429 }, 1430 { 1431 "name": "sharedBound", 1432 "changed": false 1433 }, 1434 { 1435 "name": "sharedInline", 1436 "changed": false 1437 }, 1438 { 1439 "name": "closureBound", 1440 "changed": false 1441 }, 1442 { 1443 "name": "closureInline", 1444 "changed": false 1445 }, 1446 { 1447 "name": "unusedBound", 1448 "changed": false 1449 }, 1450 { 1451 "name": "unusedInline", 1452 "changed": false 1453 }, 1454 { 1455 "name": "closedBranchBound", 1456 "changed": false 1457 }, 1458 { 1459 "name": "closedBranchInline", 1460 "changed": false 1461 }, 1462 { 1463 "name": "adderBound", 1464 "changed": true 1465 }, 1466 { 1467 "name": "adderInline", 1468 "changed": false 1469 }, 1470 { 1471 "name": "ordered", 1472 "changed": true, 1473 "equals_accepted_inline": true 1474 }, 1475 { 1476 "name": "orderedMultiply", 1477 "changed": true, 1478 "equals_accepted_inline": true 1479 } 1480 ], 1481 "runtime_summaries": [ 1482 { 1483 "name": "orderedProduct", 1484 "medians": { 1485 "accepted": { 1486 "wall_ns": 98011769.0, 1487 "allocated_bytes": 697266752.0 1488 }, 1489 "candidate": { 1490 "wall_ns": 87407919.5, 1491 "allocated_bytes": 623765592.0 1492 } 1493 }, 1494 "candidate_over_accepted": { 1495 "wall_ns": 0.8918104467637963, 1496 "allocated_bytes": 0.8945867420335568 1497 } 1498 }, 1499 { 1500 "name": "orderedFull", 1501 "medians": { 1502 "accepted": { 1503 "wall_ns": 5752746.0, 1504 "allocated_bytes": 27053104.0 1505 }, 1506 "candidate": { 1507 "wall_ns": 5169451.5, 1508 "allocated_bytes": 24199016.0 1509 } 1510 }, 1511 "candidate_over_accepted": { 1512 "wall_ns": 0.8986059005560127, 1513 "allocated_bytes": 0.8945005349478566 1514 } 1515 }, 1516 { 1517 "name": "bindingBranches", 1518 "medians": { 1519 "accepted": { 1520 "wall_ns": 4124529.0, 1521 "allocated_bytes": 16427560.0 1522 }, 1523 "candidate": { 1524 "wall_ns": 4206342.5, 1525 "allocated_bytes": 15591976.0 1526 } 1527 }, 1528 "candidate_over_accepted": { 1529 "wall_ns": 1.0198358406499264, 1530 "allocated_bytes": 0.9491352337169975 1531 } 1532 }, 1533 { 1534 "name": "bindingCopies", 1535 "medians": { 1536 "accepted": { 1537 "wall_ns": 3143076.0, 1538 "allocated_bytes": 4718056.0 1539 }, 1540 "candidate": { 1541 "wall_ns": 3208504.0, 1542 "allocated_bytes": 4718056.0 1543 } 1544 }, 1545 "candidate_over_accepted": { 1546 "wall_ns": 1.020816550411126, 1547 "allocated_bytes": 1.0 1548 } 1549 } 1550 ], 1551 "compile_summary": { 1552 "medians": { 1553 "accepted": { 1554 "wall_seconds": 27.65625556699524, 1555 "allocated_bytes": 148825588396.0 1556 }, 1557 "candidate": { 1558 "wall_seconds": 27.261724871990737, 1559 "allocated_bytes": 149580333832.0 1560 } 1561 }, 1562 "candidate_over_accepted": { 1563 "wall_seconds": 0.9857344862160106, 1564 "allocated_bytes": 1.005071341858174 1565 } 1566 } 1567 }, 1568 "source_order_regressions": { 1569 "complete": true, 1570 "cases": [ 1571 "empty", 1572 "independent", 1573 "forward", 1574 "ready-ties", 1575 "repeated-edge", 1576 "external", 1577 "local-over-external", 1578 "lambda-shadow", 1579 "let-shadow", 1580 "let-value-scope", 1581 "where", 1582 "pipe", 1583 "do-scope", 1584 "pattern-body", 1585 "whole-capture", 1586 "pin-dependency", 1587 "nested-pin", 1588 "unused-missing", 1589 "first-missing", 1590 "final-missing", 1591 "definition-before-final", 1592 "duplicate-before-missing", 1593 "duplicate-before-equations", 1594 "capture-before-missing", 1595 "arity-before-missing", 1596 "catchall-before-missing", 1597 "earlier-missing-before-equations", 1598 "pin-collision", 1599 "missing-pin", 1600 "wildcard-not-binder", 1601 "mutual-cycle", 1602 "cycle-dependent", 1603 "ordered-cycle-edges", 1604 "final-before-cycle", 1605 "recursive-value", 1606 "recursive-function", 1607 "recursive-pattern", 1608 "self-shadow" 1609 ], 1610 "seconds": 20.081291124981362, 1611 "reference_sha256": "faff942bf4539f70d3fd5b085d6435199307d71e07da18f4b144c0b0597eb897", 1612 "order_sha256": "fbbb524cf9f49fe12e7fbf8f277192b002f48ea5af0f0e43c229005cc1ad6730", 1613 "stable_sha256": "0195880c51568b7b9272a168c494c0872d856a50ca01469ddc608d32e5661e82", 1614 "host_sha256": "15517148463a5ee0d3d4cc26f80d2aa69807946a405237aeeb4f128fb237d5d6", 1615 "unit_sha256": "e401a70ed82ffe6f818feedb04a81c06691358968d6364676843a426af1d8679", 1616 "compiled_result_comparisons": 38 1617 }, 1618 "stable_abstraction_regressions": { 1619 "complete": true, 1620 "case_group": null, 1621 "selected_names": [ 1622 "identity", 1623 "closed-body", 1624 "ignored-divergent-argument", 1625 "direct-unselected", 1626 "unselected", 1627 "selected", 1628 "recursive-loop", 1629 "recursive-count", 1630 "capture", 1631 "returned-closed-body", 1632 "partial-known", 1633 "wrong-output-control", 1634 "parameter-shadows-self", 1635 "local-shadows-self", 1636 "pattern-shadows-self", 1637 "recursive-lambda", 1638 "recursive-value", 1639 "mutual-cycle", 1640 "missing-name", 1641 "import-shadow", 1642 "slice-empty", 1643 "slice-short", 1644 "slice-normal", 1645 "slice-unicode", 1646 "repeat-empty", 1647 "repeat-pairs", 1648 "repeat-truncated", 1649 "repeat-no-progress" 1650 ], 1651 "group_names": [ 1652 "identity", 1653 "closed-body", 1654 "ignored-divergent-argument", 1655 "direct-unselected", 1656 "unselected", 1657 "selected", 1658 "recursive-loop", 1659 "recursive-count", 1660 "capture", 1661 "returned-closed-body", 1662 "partial-known", 1663 "wrong-output-control", 1664 "parameter-shadows-self", 1665 "local-shadows-self", 1666 "pattern-shadows-self", 1667 "recursive-lambda", 1668 "recursive-value", 1669 "mutual-cycle", 1670 "missing-name", 1671 "import-shadow", 1672 "slice-empty", 1673 "slice-short", 1674 "slice-normal", 1675 "slice-unicode", 1676 "repeat-empty", 1677 "repeat-pairs", 1678 "repeat-truncated", 1679 "repeat-no-progress" 1680 ], 1681 "completed_names": [ 1682 "identity", 1683 "closed-body", 1684 "ignored-divergent-argument", 1685 "direct-unselected", 1686 "unselected", 1687 "selected", 1688 "recursive-loop", 1689 "recursive-count", 1690 "capture", 1691 "returned-closed-body", 1692 "partial-known", 1693 "wrong-output-control", 1694 "parameter-shadows-self", 1695 "local-shadows-self", 1696 "pattern-shadows-self", 1697 "recursive-lambda", 1698 "recursive-value", 1699 "mutual-cycle", 1700 "missing-name", 1701 "import-shadow", 1702 "slice-empty", 1703 "slice-short", 1704 "slice-normal", 1705 "slice-unicode", 1706 "repeat-empty", 1707 "repeat-pairs", 1708 "repeat-truncated", 1709 "repeat-no-progress" 1710 ], 1711 "compiler_sha256": "d71c4858bd6513a4de9f831553240af267105f9c4fbb520d22ce59496552e3a9", 1712 "harness_sha256": "26f035b15a41c0c259bd8547e8b408d9d4f18dc712d26f2f644192bd63a3326f", 1713 "memory_mib": 2048, 1714 "wall_seconds": 900.0 1715 }, 1716 "stable_abstraction_results": [ 1717 { 1718 "name": "identity", 1719 "outcome": "application pass", 1720 "seconds": 13.8821336410183, 1721 "bytes": 462, 1722 "compilation": "", 1723 "construction_seconds": 6.838360933994409, 1724 "reused_program": false 1725 }, 1726 { 1727 "name": "closed-body", 1728 "outcome": "invocation timeout", 1729 "seconds": 16.84166954999091, 1730 "bytes": 519, 1731 "compilation": "", 1732 "construction_seconds": 6.787971910001943, 1733 "reused_program": false 1734 }, 1735 { 1736 "name": "ignored-divergent-argument", 1737 "outcome": "application pass", 1738 "seconds": 14.141507484018803, 1739 "bytes": 1790, 1740 "compilation": "", 1741 "construction_seconds": 6.992940911994083, 1742 "reused_program": false 1743 }, 1744 { 1745 "name": "direct-unselected", 1746 "outcome": "application pass", 1747 "seconds": 13.993650496006012, 1748 "bytes": 1974, 1749 "compilation": "", 1750 "construction_seconds": 6.792655665980419, 1751 "reused_program": false 1752 }, 1753 { 1754 "name": "unselected", 1755 "outcome": "application pass", 1756 "seconds": 13.932510170998285, 1757 "bytes": 2337, 1758 "compilation": "", 1759 "construction_seconds": 6.737901385000441, 1760 "reused_program": false 1761 }, 1762 { 1763 "name": "selected", 1764 "outcome": "invocation timeout", 1765 "seconds": 10.056765841000015, 1766 "bytes": 2337, 1767 "compilation": "", 1768 "construction_seconds": 1.3929966371506453e-06, 1769 "reused_program": true 1770 }, 1771 { 1772 "name": "recursive-loop", 1773 "outcome": "invocation timeout", 1774 "seconds": 17.066343573009362, 1775 "bytes": 956, 1776 "compilation": "", 1777 "construction_seconds": 6.836153568001464, 1778 "reused_program": false 1779 }, 1780 { 1781 "name": "recursive-count", 1782 "outcome": "application pass", 1783 "seconds": 14.189347531006206, 1784 "bytes": 2512, 1785 "compilation": "", 1786 "construction_seconds": 6.942266450001625, 1787 "reused_program": false 1788 }, 1789 { 1790 "name": "capture", 1791 "outcome": "application pass", 1792 "seconds": 14.135731221991591, 1793 "bytes": 606, 1794 "compilation": "", 1795 "construction_seconds": 6.889161616010824, 1796 "reused_program": false 1797 }, 1798 { 1799 "name": "returned-closed-body", 1800 "outcome": "invocation timeout", 1801 "seconds": 16.89203798500239, 1802 "bytes": 519, 1803 "compilation": "", 1804 "construction_seconds": 6.787965745985275, 1805 "reused_program": false 1806 }, 1807 { 1808 "name": "partial-known", 1809 "outcome": "application pass", 1810 "seconds": 14.137870106991613, 1811 "bytes": 518, 1812 "compilation": "", 1813 "construction_seconds": 6.891311480983859, 1814 "reused_program": false 1815 }, 1816 { 1817 "name": "wrong-output-control", 1818 "outcome": "application pass", 1819 "seconds": 7.195412678993307, 1820 "bytes": 462, 1821 "compilation": "", 1822 "construction_seconds": 1.8330174498260021e-06, 1823 "reused_program": true 1824 }, 1825 { 1826 "name": "parameter-shadows-self", 1827 "outcome": "application pass", 1828 "seconds": 13.989479679003125, 1829 "bytes": 462, 1830 "compilation": "", 1831 "construction_seconds": 6.841191288025584, 1832 "reused_program": false 1833 }, 1834 { 1835 "name": "local-shadows-self", 1836 "outcome": "application pass", 1837 "seconds": 14.037579122988973, 1838 "bytes": 1769, 1839 "compilation": "", 1840 "construction_seconds": 6.839610588009236, 1841 "reused_program": false 1842 }, 1843 { 1844 "name": "pattern-shadows-self", 1845 "outcome": "application pass", 1846 "seconds": 14.037719835003372, 1847 "bytes": 505, 1848 "compilation": "", 1849 "construction_seconds": 6.840015323017724, 1850 "reused_program": false 1851 }, 1852 { 1853 "name": "recursive-lambda", 1854 "outcome": "application pass", 1855 "seconds": 14.041272702015704, 1856 "bytes": 466, 1857 "compilation": "", 1858 "construction_seconds": 6.891050178004662, 1859 "reused_program": false 1860 }, 1861 { 1862 "name": "recursive-value", 1863 "outcome": "diagnostic pass" 1864 }, 1865 { 1866 "name": "mutual-cycle", 1867 "outcome": "diagnostic pass" 1868 }, 1869 { 1870 "name": "missing-name", 1871 "outcome": "diagnostic pass" 1872 }, 1873 { 1874 "name": "import-shadow", 1875 "outcome": "diagnostic pass" 1876 }, 1877 { 1878 "name": "slice-empty", 1879 "outcome": "application pass", 1880 "seconds": 14.389858704002108, 1881 "bytes": 9602, 1882 "compilation": "", 1883 "construction_seconds": 7.090760703023989, 1884 "reused_program": false 1885 }, 1886 { 1887 "name": "slice-short", 1888 "outcome": "application pass", 1889 "seconds": 7.245280097995419, 1890 "bytes": 9602, 1891 "compilation": "", 1892 "construction_seconds": 1.0619987733662128e-06, 1893 "reused_program": true 1894 }, 1895 { 1896 "name": "slice-normal", 1897 "outcome": "application pass", 1898 "seconds": 7.195736277004471, 1899 "bytes": 9602, 1900 "compilation": "", 1901 "construction_seconds": 5.2098766900599e-07, 1902 "reused_program": true 1903 }, 1904 { 1905 "name": "slice-unicode", 1906 "outcome": "application pass", 1907 "seconds": 7.250732788990717, 1908 "bytes": 9602, 1909 "compilation": "", 1910 "construction_seconds": 1.5230034478008747e-06, 1911 "reused_program": true 1912 }, 1913 { 1914 "name": "repeat-empty", 1915 "outcome": "application pass", 1916 "seconds": 14.292479925003136, 1917 "bytes": 9809, 1918 "compilation": "", 1919 "construction_seconds": 7.042448269989109, 1920 "reused_program": false 1921 }, 1922 { 1923 "name": "repeat-pairs", 1924 "outcome": "application pass", 1925 "seconds": 7.250222696020501, 1926 "bytes": 9809, 1927 "compilation": "", 1928 "construction_seconds": 1.0420044418424368e-06, 1929 "reused_program": true 1930 }, 1931 { 1932 "name": "repeat-truncated", 1933 "outcome": "application pass", 1934 "seconds": 7.198403893999057, 1935 "bytes": 9809, 1936 "compilation": "", 1937 "construction_seconds": 5.309993866831064e-07, 1938 "reused_program": true 1939 }, 1940 { 1941 "name": "repeat-no-progress", 1942 "outcome": "application pass", 1943 "seconds": 14.401036297000246, 1944 "bytes": 7583, 1945 "compilation": "", 1946 "construction_seconds": 7.147841772006359, 1947 "reused_program": false 1948 } 1949 ], 1950 "regression_artifact_identity": { 1951 "stable_unchanged_exports": [ 1952 "stableTermApply", 1953 "stableApplication", 1954 "stableBracket", 1955 "stableEliminate", 1956 "stableI", 1957 "stableSelf", 1958 "stableWait", 1959 "stableWaitSelf", 1960 "stableFix", 1961 "stableBind", 1962 "sourceDefinitionSelfRecursive", 1963 "sourceRecursiveFunction", 1964 "sourceRecursiveBody", 1965 "sourceStablePrepare", 1966 "orderStableProgram", 1967 "orderStableProgramWith" 1968 ], 1969 "stable_changed_exports": [ 1970 "stableCompileCore", 1971 "sourceCompileStableDefinition", 1972 "sourceCompileStableDefinitionWith" 1973 ], 1974 "abstraction_suite_used_exact_candidate_unit_worker": true 1975 }, 1976 "regression_exports": { 1977 "source_order": { 1978 "manifest": "1d55b1616e892be989d2c987099c84bef61686fc67f6a3eb5b1a373626b0ca5e", 1979 "sha256": "fbbb524cf9f49fe12e7fbf8f277192b002f48ea5af0f0e43c229005cc1ad6730" 1980 }, 1981 "source_stable": { 1982 "manifest": "f5358cee64f38059452499217e4cc8effe53469a36915fb3ee70e2624816f01e", 1983 "sha256": "0195880c51568b7b9272a168c494c0872d856a50ca01469ddc608d32e5661e82" 1984 }, 1985 "source_unit": { 1986 "manifest": "f0bac5d807fbb7598feccddcf5de48e03b798e61012da3b67a9df880e8a43559", 1987 "sha256": "e401a70ed82ffe6f818feedb04a81c06691358968d6364676843a426af1d8679" 1988 } 1989 } 1990 } 1991 }