binding-backend-results.json (14783B)
1 { 2 "stage": "source-owned-opt-in-binding-backend", 3 "accepted": false, 4 "default_changed": false, 5 "generation_pair": false, 6 "source_reports": { 7 "integration": "/tmp/tricu-binding-backend-integration/report.json", 8 "validation": "/tmp/tricu-binding-backend-validation/report.json", 9 "order_regressions": "/tmp/tricu-binding-backend-order/report.json", 10 "abstraction_regressions": "/tmp/tricu-binding-backend-abstraction/complete.json" 11 }, 12 "experimental_unit_sha256": "e1e995da9669ab3f76841c84a0b812d359f7d0052451a8ae75f6df313a5d1ac1", 13 "runs": { 14 "integration": { 15 "complete": true, 16 "accepted": false, 17 "generation_pair": false, 18 "backend": "binding-experimental", 19 "profile": "source-module.binding-experimental.v1", 20 "harness_sha256": "26f090e908067a7af22049d70fe0fc90797b9a6401a01ab864ce0f5ac6d61089", 21 "runtime_sha256": "15517148463a5ee0d3d4cc26f80d2aa69807946a405237aeeb4f128fb237d5d6", 22 "accepted_compiler_sha256": "6b7b389d64af12d85b85598db69d7ff71cf3dcb991c584e17e0caec8bcb44c7b", 23 "map_sha256": "292f7401a0d78b0e80fd160dfebf1ed81e6ee066d56f810ba4bbb52824168ac7", 24 "certificate_manifest_sha256": "275f514f07fccff1267bb767e4c7e7cd17eba0fa5c9da3d21de562220bb1e7e5", 25 "sources": { 26 "source_index": "de8fb8413252d77046428d0b7992cf33aa2d1a0f165cc213c733fc90c715031e", 27 "source_map": "249545e2f7602ce81e04999752f9b6e0eb43c18d3de5d7a8b8b41114516d4bcc", 28 "source_unit": "00640adcfa2b01db4717475a8c2f00a1e82a74ad2e7366e224f883c6aaa0b99e", 29 "prelude": "f04dabc6162ecb4c07d7df844078f2da31daec080656806bfe54f7be96ffa747", 30 "compiler_io": "62eaedafc6bec980cc37e35462ba0e0c5362a0667750d866109046c192d3beda", 31 "source_object": "40b1d25cba30e493e1f91d13dfc54aa8adcf6ce9352bd4c7e9b62b42c49818de", 32 "source_module": "1727ea831a54b97c8dbfb63007c7645662b13f2c3828c7d4ce6b18dbc86a70c1", 33 "source_resolve": "cde07b7394d603b42269db809f2799a58c47264dc7d8a1781b8050cc91623161", 34 "source_build": "c395e37889780f8ba1b59b08710beee2146d5ae7120a640ee5327fc0c165f78e", 35 "parser": "91eca6af18971c390cec184f2913943236f1d7dcc5eef803f24e0572264d734d", 36 "source_order": "e7dc0b2d0df43e36de72f083aa3c7fafe16b3374a814517b14d0086aea2ef2b7", 37 "source_compile": "4dd88a4913b4626a477271cb418eaef18bf111911d5b75948578081fdcca9a10", 38 "source_program": "57213177ab25ace960c17558c6a2cb8fa30e4b4dd7bc19542b34269b0b02b522", 39 "source_ast": "88f1f681f5910542941ab9c931b3673c2700211cab4c83eb2e4e74cbb6b18cce", 40 "base": "6cc9e2973164bba9e5a12e39c41c6f97927bba73248a70f55400f705b4cd8d23", 41 "bytes": "8c4f23e54b826449b54e5a32a0357dd9db57343eb410300c57ce89a12c284617", 42 "conversions": "e5459b1ab4f81b0777629402755bd06cda70562aceae242205d178963eb41354", 43 "source_lexer": "755a25a4ae3549d6b1e07509093d504e8b7fb61539643b595bb4409bbb072e5a", 44 "source_parser": "97de201ac5b4c0a3800d97a765a8e1d5b5e159ca3b4338eb4956ae4600e57bc7", 45 "source_core": "e02551d80ad22cbb6cc34c599b77c5c0e686109ec8a7a3f69513359a2d7ea897", 46 "source_lock": "9ab101d8fef121bd3f88b9db218b6e53fc7d9ba65f09037766f20365e26f2542", 47 "source_bundle": "dae796778a24f441d137332ae745177618cfa65d05b986800867a8b23b79c1a4", 48 "graph": "523153c5842623fd8277cb11c54ad6ef4a1f2c08e403fbafc1b40fbe10d1c109", 49 "lexer": "7e7aecbbf88604c218ff8b45bd6240a6411397eb548ed92f38b31db441493880", 50 "source_pattern": "94def0e6308663ff86efbec61e4c497ad7c9506651b61740534a84d1c5a917de", 51 "source_equations": "19d83e2a516e2b84be018c0a36463188313e0187e3579297a7a55e24fd15cdae", 52 "source_stable": "d3acb1c68ded43f3c9a897b1627bfdb63efb6bb7e9281a278692a39b22f0fc8d", 53 "native_math": "d699cce98f8779ff3d451d1be02687182243922fa622cedf5d4f6f9fe252102a", 54 "io": "0083bc592c56361731a9febe2be209b45eb31a935fcb4b9615902c8d24c54ab7", 55 "io_storage": "5c5719c6a7bd251cf92f848e4e8a7660bfb821f603373b8102c05d725ffe408c", 56 "io_text": "f90a99fc14af1087b004e1cf4976dc89151d6915dd2bd4d192cd5e93f435ce59", 57 "source_binding_support": "c3fb6c4875e173e360b2aa7b2e19543629570b07e73b40446c8320cb329e995a", 58 "source_binding_analysis": "ee2378f9ffae7bb62ca4af85c05dcf8cffabe4ab61912cdfb24111aefd89ed22", 59 "source_binding": "e184e1f85936830ee5808e7f4b09e2460b097525ba6da7c0f3b46e114fbb207d", 60 "source_binding_backend": "bcd72156c6d4c88e432ce3e7d1268af523371e8c51902ee8ca19a99763a35799" 61 }, 62 "stages": [ 63 { 64 "stage": 0, 65 "selected_compiler": "12a965c8226a2501bc4ba3d5c885104f363fc1af984304aa9c6b7e4971869e08", 66 "bundle_sha256": "e2c762e854aba995d625564ccd6a984ab8bdd32cdb8e12b538b0b2c11f38e830", 67 "seconds": 294.884508519026, 68 "modules": { 69 "source_binding_support": { 70 "manifest": "9cc7c19f46270160e254cc704d4a7c6c31cecdd287ce528f347b139112157458", 71 "bundle_sha256": "85d0b9cbf6f3d5e9e81534ab6e0325bc7e145a7a4d87c52f3d786dd51940da7b" 72 }, 73 "source_binding": { 74 "manifest": "63a040e7bd4bc3da1b1466e156d0c9762767bd71c9a44a3c37c447262c267c4e", 75 "bundle_sha256": "48a9b2f201fac5e8f98cb444905a9ff464b677abefa78f6eb8d41131ec880749" 76 }, 77 "source_binding_backend": { 78 "manifest": "146b791ada75048c500b925e369080de798a913653b3a7819f76e43b829edd69", 79 "bundle_sha256": "17b3e0af4821c2ae2cce32c7ab828064c941c0a06e268ca6a5b4f8988819b84a" 80 }, 81 "source_stable": { 82 "manifest": "5189315a72af93ee9fe3dbc8c73e07e97b980b4c91b9c2f6244d447461db55dd", 83 "bundle_sha256": "4c852f4c551a550fda36fd229e7c31979ffb7d585785e470e2d0a1614f7cda10" 84 }, 85 "source_unit": { 86 "manifest": "1e395371289a7c43d4237a30b3a6c186a38039f0b7c9a87f27e64f43f4da90a9", 87 "bundle_sha256": "d275ac740d98123c9f96a42e3efad39e5a016a784351c1656eb446419fc6ddb9" 88 } 89 }, 90 "certificates": { 91 "choose": "9ec87706d9552f21c8acf5209982ff8ffd4b8c71806bcf5178eba3b53e1d8a3c", 92 "not": "9dad0cde222a08455e17d03746d5d3c640c317dfabe1dc66ff61b761f8dbc620" 93 }, 94 "all_stable_exports_unchanged": true 95 }, 96 { 97 "stage": 1, 98 "selected_compiler": "1d316143abfbc73e612dc576a5bb2743a0810d088c81794b3f2a79248b482713", 99 "bundle_sha256": "e2c762e854aba995d625564ccd6a984ab8bdd32cdb8e12b538b0b2c11f38e830", 100 "seconds": 304.41778078497737, 101 "modules": { 102 "source_binding_support": { 103 "manifest": "9cc7c19f46270160e254cc704d4a7c6c31cecdd287ce528f347b139112157458", 104 "bundle_sha256": "85d0b9cbf6f3d5e9e81534ab6e0325bc7e145a7a4d87c52f3d786dd51940da7b", 105 "same_as_stage_0": true 106 }, 107 "source_binding": { 108 "manifest": "63a040e7bd4bc3da1b1466e156d0c9762767bd71c9a44a3c37c447262c267c4e", 109 "bundle_sha256": "48a9b2f201fac5e8f98cb444905a9ff464b677abefa78f6eb8d41131ec880749", 110 "same_as_stage_0": true 111 }, 112 "source_binding_backend": { 113 "manifest": "146b791ada75048c500b925e369080de798a913653b3a7819f76e43b829edd69", 114 "bundle_sha256": "17b3e0af4821c2ae2cce32c7ab828064c941c0a06e268ca6a5b4f8988819b84a", 115 "same_as_stage_0": true 116 }, 117 "source_stable": { 118 "manifest": "5189315a72af93ee9fe3dbc8c73e07e97b980b4c91b9c2f6244d447461db55dd", 119 "bundle_sha256": "4c852f4c551a550fda36fd229e7c31979ffb7d585785e470e2d0a1614f7cda10", 120 "same_as_stage_0": true 121 }, 122 "source_unit": { 123 "manifest": "1e395371289a7c43d4237a30b3a6c186a38039f0b7c9a87f27e64f43f4da90a9", 124 "bundle_sha256": "d275ac740d98123c9f96a42e3efad39e5a016a784351c1656eb446419fc6ddb9", 125 "same_as_stage_0": true 126 } 127 }, 128 "certificates": { 129 "choose": "9ec87706d9552f21c8acf5209982ff8ffd4b8c71806bcf5178eba3b53e1d8a3c", 130 "not": "9dad0cde222a08455e17d03746d5d3c640c317dfabe1dc66ff61b761f8dbc620" 131 }, 132 "all_stable_exports_unchanged": true 133 } 134 ], 135 "exact_self_rebuild": true 136 }, 137 "validation": { 138 "complete": true, 139 "accepted": false, 140 "harness_sha256": "89794cbbff4880ef5c37a8f6a265b896b8e711fe8af786c34926e91707a129c5", 141 "integration_report_sha256": "9bac10612882b6b9102ca15140b7dda1245110e43bdb148fee8dbf02aa487119", 142 "checks": [ 143 "analysis-0", 144 "analysis-24", 145 "analysis-48", 146 "analysis-72", 147 "analysis-96", 148 "analysis-120", 149 "analysis-144", 150 "analysis-168", 151 "analysis-192", 152 "analysis-216", 153 "analysis-240", 154 "analysis-264", 155 "inspect-0", 156 "inspect-24", 157 "inspect-48", 158 "inspect-72", 159 "inspect-96", 160 "inspect-120", 161 "inspect-144", 162 "inspect-168", 163 "inspect-192", 164 "inspect-216", 165 "inspect-240", 166 "inspect-264", 167 "inspect-288", 168 "inspect-312", 169 "inspect-336", 170 "inspect-360", 171 "inspect-384", 172 "inspect-408", 173 "inspect-432", 174 "inspect-456", 175 "inspect-480", 176 "inspect-504", 177 "inspect-528", 178 "inspect-552", 179 "inspect-576", 180 "inspect-600", 181 "inspect-624", 182 "inspect-648", 183 "inspect-672", 184 "inspect-696", 185 "inspect-720", 186 "inspect-744", 187 "inspect-768", 188 "inspect-792", 189 "inspect-816", 190 "inspect-840", 191 "inspect-864", 192 "inspect-888", 193 "inspect-912", 194 "inspect-936", 195 "inspect-960", 196 "inspect-984", 197 "inspect-1008", 198 "inspect-1032", 199 "inspect-1056", 200 "inspect-1080", 201 "inspect-1104", 202 "inspect-1128", 203 "inspect-1152", 204 "inspect-1176", 205 "inspect-1200", 206 "inspect-1224", 207 "inspect-1248", 208 "inspect-1272", 209 "inspect-1296", 210 "inspect-1320", 211 "inspect-1344", 212 "inspect-1368", 213 "programs" 214 ], 215 "analysis_cases": 277, 216 "binding_cases": 1385, 217 "program_cases": 18, 218 "distinct_profile_checked": true, 219 "arithmetic_exports_exact": 76, 220 "arithmetic_bundle_sha256": "deed088a0e46c78765a1b8b87f74a4544ae83c0b26a7541f833e3cacd131642e" 221 }, 222 "order_regressions": { 223 "complete": true, 224 "cases": [ 225 "empty", 226 "independent", 227 "forward", 228 "ready-ties", 229 "repeated-edge", 230 "external", 231 "local-over-external", 232 "lambda-shadow", 233 "let-shadow", 234 "let-value-scope", 235 "where", 236 "pipe", 237 "do-scope", 238 "pattern-body", 239 "whole-capture", 240 "pin-dependency", 241 "nested-pin", 242 "unused-missing", 243 "first-missing", 244 "final-missing", 245 "definition-before-final", 246 "duplicate-before-missing", 247 "duplicate-before-equations", 248 "capture-before-missing", 249 "arity-before-missing", 250 "catchall-before-missing", 251 "earlier-missing-before-equations", 252 "pin-collision", 253 "missing-pin", 254 "wildcard-not-binder", 255 "mutual-cycle", 256 "cycle-dependent", 257 "ordered-cycle-edges", 258 "final-before-cycle", 259 "recursive-value", 260 "recursive-function", 261 "recursive-pattern", 262 "self-shadow" 263 ], 264 "seconds": 25.1548217870004, 265 "reference_sha256": "faff942bf4539f70d3fd5b085d6435199307d71e07da18f4b144c0b0597eb897", 266 "order_sha256": "fbbb524cf9f49fe12e7fbf8f277192b002f48ea5af0f0e43c229005cc1ad6730", 267 "stable_sha256": "4c852f4c551a550fda36fd229e7c31979ffb7d585785e470e2d0a1614f7cda10", 268 "host_sha256": "15517148463a5ee0d3d4cc26f80d2aa69807946a405237aeeb4f128fb237d5d6", 269 "unit_sha256": "e1e995da9669ab3f76841c84a0b812d359f7d0052451a8ae75f6df313a5d1ac1", 270 "compiled_result_comparisons": 38 271 }, 272 "abstraction_regressions": { 273 "complete": true, 274 "case_group": null, 275 "selected_names": [ 276 "identity", 277 "closed-body", 278 "ignored-divergent-argument", 279 "direct-unselected", 280 "unselected", 281 "selected", 282 "recursive-loop", 283 "recursive-count", 284 "capture", 285 "returned-closed-body", 286 "partial-known", 287 "wrong-output-control", 288 "parameter-shadows-self", 289 "local-shadows-self", 290 "pattern-shadows-self", 291 "recursive-lambda", 292 "recursive-value", 293 "mutual-cycle", 294 "missing-name", 295 "import-shadow", 296 "slice-empty", 297 "slice-short", 298 "slice-normal", 299 "slice-unicode", 300 "repeat-empty", 301 "repeat-pairs", 302 "repeat-truncated", 303 "repeat-no-progress" 304 ], 305 "group_names": [ 306 "identity", 307 "closed-body", 308 "ignored-divergent-argument", 309 "direct-unselected", 310 "unselected", 311 "selected", 312 "recursive-loop", 313 "recursive-count", 314 "capture", 315 "returned-closed-body", 316 "partial-known", 317 "wrong-output-control", 318 "parameter-shadows-self", 319 "local-shadows-self", 320 "pattern-shadows-self", 321 "recursive-lambda", 322 "recursive-value", 323 "mutual-cycle", 324 "missing-name", 325 "import-shadow", 326 "slice-empty", 327 "slice-short", 328 "slice-normal", 329 "slice-unicode", 330 "repeat-empty", 331 "repeat-pairs", 332 "repeat-truncated", 333 "repeat-no-progress" 334 ], 335 "completed_names": [ 336 "identity", 337 "closed-body", 338 "ignored-divergent-argument", 339 "direct-unselected", 340 "unselected", 341 "selected", 342 "recursive-loop", 343 "recursive-count", 344 "capture", 345 "returned-closed-body", 346 "partial-known", 347 "wrong-output-control", 348 "parameter-shadows-self", 349 "local-shadows-self", 350 "pattern-shadows-self", 351 "recursive-lambda", 352 "recursive-value", 353 "mutual-cycle", 354 "missing-name", 355 "import-shadow", 356 "slice-empty", 357 "slice-short", 358 "slice-normal", 359 "slice-unicode", 360 "repeat-empty", 361 "repeat-pairs", 362 "repeat-truncated", 363 "repeat-no-progress" 364 ], 365 "compiler_sha256": "e1e995da9669ab3f76841c84a0b812d359f7d0052451a8ae75f6df313a5d1ac1", 366 "harness_sha256": "0310867713b822cbfb512afd539392ec9031f61e8f243d8afb7cea4a93400a7b", 367 "memory_mib": 2048, 368 "wall_seconds": 900.0 369 } 370 } 371 }