{ "schemaVersion": 1, "kind": "compiler-statistics-report", "generatedAt": "2026-11-15T22:25:22.530Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "runURL": "https://github.com/ak-coram/miricl/actions/runs/43763876593", "jobs": [ { "id": 132964517051, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9U2Euw", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132964517051", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132964517051", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:28:31Z", "started_at": "2026-11-15T21:28:33Z", "completed_at": "2026-11-15T21:35:19Z", "name": "Build shared runtime and standalone pages", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:28:34Z", "completed_at": "2026-11-15T21:28:34Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:28:34Z", "completed_at": "2026-11-15T21:29:47Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:29:47Z", "completed_at": "2026-11-15T21:30:02Z" }, { "name": "Build once, reuse the cached core in the same Lisp process", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:30:02Z", "completed_at": "2026-11-15T21:34:45Z" }, { "name": "Check TODO and shared application UI", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:34:45Z", "completed_at": "2026-11-15T21:35:12Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 6, "started_at": "2026-11-15T21:35:12Z", "completed_at": "2026-11-15T21:35:13Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 7, "started_at": "2026-11-15T21:35:13Z", "completed_at": "2026-11-15T21:35:14Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 8, "started_at": "2026-11-15T21:35:14Z", "completed_at": "2026-11-15T21:35:15Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 9, "started_at": "2026-11-15T21:35:15Z", "completed_at": "2026-11-15T21:35:16Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 10, "started_at": "2026-11-15T21:35:16Z", "completed_at": "2026-11-15T21:35:16Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 19, "started_at": "2026-11-15T21:35:16Z", "completed_at": "2026-11-15T21:35:17Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 20, "started_at": "2026-11-15T21:35:17Z", "completed_at": "2026-11-15T21:35:17Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 21, "started_at": "2026-11-15T21:35:17Z", "completed_at": "2026-11-15T21:35:17Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132964517051", "labels": [ "ubuntu-latest" ], "runner_id": 1000019459, "runner_name": "GitHub Actions 1000019459", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132964517160, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9U2FKA", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132964517160", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132964517160", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:28:31Z", "started_at": "2026-11-15T21:28:33Z", "completed_at": "2026-11-15T21:29:28Z", "name": "Host compilation / sbcl-bin / ubuntu-latest", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:28:34Z", "completed_at": "2026-11-15T21:28:35Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:28:35Z", "completed_at": "2026-11-15T21:28:36Z" }, { "name": "Checkout host build dependency", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:28:36Z", "completed_at": "2026-11-15T21:28:39Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:28:39Z", "completed_at": "2026-11-15T21:28:45Z" }, { "name": "Compile and load the bootstrap system", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:28:45Z", "completed_at": "2026-11-15T21:29:26Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 9, "started_at": "2026-11-15T21:29:26Z", "completed_at": "2026-11-15T21:29:26Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 10, "started_at": "2026-11-15T21:29:26Z", "completed_at": "2026-11-15T21:29:26Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 11, "started_at": "2026-11-15T21:29:26Z", "completed_at": "2026-11-15T21:29:26Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132964517160", "labels": [ "ubuntu-latest" ], "runner_id": 1000019460, "runner_name": "GitHub Actions 1000019460", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132964517180, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9U2FPA", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132964517180", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132964517180", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:28:31Z", "started_at": "2026-11-15T21:28:34Z", "completed_at": "2026-11-15T21:29:46Z", "name": "Host compilation / sbcl-bin / macos-latest", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:28:34Z", "completed_at": "2026-11-15T21:28:35Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:28:35Z", "completed_at": "2026-11-15T21:28:37Z" }, { "name": "Checkout host build dependency", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:28:37Z", "completed_at": "2026-11-15T21:28:40Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:28:40Z", "completed_at": "2026-11-15T21:28:54Z" }, { "name": "Compile and load the bootstrap system", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:28:54Z", "completed_at": "2026-11-15T21:29:42Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 9, "started_at": "2026-11-15T21:29:42Z", "completed_at": "2026-11-15T21:29:42Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 10, "started_at": "2026-11-15T21:29:42Z", "completed_at": "2026-11-15T21:29:43Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 11, "started_at": "2026-11-15T21:29:43Z", "completed_at": "2026-11-15T21:29:44Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132964517180", "labels": [ "macos-latest" ], "runner_id": 1000019461, "runner_name": "GitHub Actions 1000019461", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132964517267, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9U2Fkw", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132964517267", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132964517267", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:28:31Z", "started_at": "2026-11-15T21:28:34Z", "completed_at": "2026-11-15T21:29:48Z", "name": "Host compilation / ccl-bin/1.13 / ubuntu-latest", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:28:34Z", "completed_at": "2026-11-15T21:28:35Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:28:35Z", "completed_at": "2026-11-15T21:28:36Z" }, { "name": "Checkout host build dependency", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:28:36Z", "completed_at": "2026-11-15T21:28:39Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:28:39Z", "completed_at": "2026-11-15T21:28:48Z" }, { "name": "Compile and load the bootstrap system", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:28:48Z", "completed_at": "2026-11-15T21:29:46Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 9, "started_at": "2026-11-15T21:29:46Z", "completed_at": "2026-11-15T21:29:46Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 10, "started_at": "2026-11-15T21:29:46Z", "completed_at": "2026-11-15T21:29:47Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 11, "started_at": "2026-11-15T21:29:47Z", "completed_at": "2026-11-15T21:29:47Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132964517267", "labels": [ "ubuntu-latest" ], "runner_id": 1000019463, "runner_name": "GitHub Actions 1000019463", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132964517268, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9U2FlA", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132964517268", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132964517268", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:28:31Z", "started_at": "2026-11-15T21:28:34Z", "completed_at": "2026-11-15T21:34:01Z", "name": "Host compilation / ecl/26.5.5 / ubuntu-latest", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:28:35Z", "completed_at": "2026-11-15T21:28:35Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:28:35Z", "completed_at": "2026-11-15T21:28:37Z" }, { "name": "Checkout host build dependency", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:28:37Z", "completed_at": "2026-11-15T21:28:40Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:28:40Z", "completed_at": "2026-11-15T21:29:05Z" }, { "name": "Compile and load the bootstrap system", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:29:05Z", "completed_at": "2026-11-15T21:33:58Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 9, "started_at": "2026-11-15T21:33:58Z", "completed_at": "2026-11-15T21:33:58Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 10, "started_at": "2026-11-15T21:33:58Z", "completed_at": "2026-11-15T21:33:58Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 11, "started_at": "2026-11-15T21:33:58Z", "completed_at": "2026-11-15T21:33:58Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132964517268", "labels": [ "ubuntu-latest" ], "runner_id": 1000019462, "runner_name": "GitHub Actions 1000019462", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132964517298, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9U2Fsg", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132964517298", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132964517298", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:28:31Z", "started_at": "2026-11-15T21:28:34Z", "completed_at": "2026-11-15T21:31:10Z", "name": "Host compilation / sbcl-bin / windows-latest", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:28:35Z", "completed_at": "2026-11-15T21:28:36Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:28:36Z", "completed_at": "2026-11-15T21:28:42Z" }, { "name": "Checkout host build dependency", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:28:42Z", "completed_at": "2026-11-15T21:28:47Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:28:47Z", "completed_at": "2026-11-15T21:30:10Z" }, { "name": "Compile and load the bootstrap system", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:30:10Z", "completed_at": "2026-11-15T21:31:05Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 9, "started_at": "2026-11-15T21:31:05Z", "completed_at": "2026-11-15T21:31:05Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 10, "started_at": "2026-11-15T21:31:05Z", "completed_at": "2026-11-15T21:31:08Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 11, "started_at": "2026-11-15T21:31:08Z", "completed_at": "2026-11-15T21:31:08Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132964517298", "labels": [ "windows-latest" ], "runner_id": 1000019464, "runner_name": "GitHub Actions 1000019464", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132966484115, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9WuIkw", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132966484115", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132966484115", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:35:19Z", "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T22:16:54Z", "name": "Application / acl2", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T21:35:23Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:35:23Z", "completed_at": "2026-11-15T21:36:39Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:36:39Z", "completed_at": "2026-11-15T21:36:51Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:36:51Z", "completed_at": "2026-11-15T21:36:52Z" }, { "name": "Identify pinned ACL2 sources", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:36:52Z", "completed_at": "2026-11-15T21:36:52Z" }, { "name": "Cache native ACL2 core and build input", "status": "completed", "conclusion": "success", "number": 6, "started_at": "2026-11-15T21:36:52Z", "completed_at": "2026-11-15T21:36:52Z" }, { "name": "Compile portable ACL2 core (without world initialization)", "status": "completed", "conclusion": "success", "number": 7, "started_at": "2026-11-15T21:36:52Z", "completed_at": "2026-11-15T21:46:32Z" }, { "name": "Compile native ACL2 core on the default stack", "status": "completed", "conclusion": "success", "number": 8, "started_at": "2026-11-15T21:46:32Z", "completed_at": "2026-11-15T22:01:41Z" }, { "name": "Initialize the logical world and verify proofs after restoring it", "status": "completed", "conclusion": "success", "number": 9, "started_at": "2026-11-15T22:01:41Z", "completed_at": "2026-11-15T22:15:18Z" }, { "name": "Package selected math sources and browser distributions", "status": "completed", "conclusion": "success", "number": 10, "started_at": "2026-11-15T22:15:18Z", "completed_at": "2026-11-15T22:15:29Z" }, { "name": "Check native core loading, host adaptations, math sources and frontend protocol", "status": "completed", "conclusion": "success", "number": 11, "started_at": "2026-11-15T22:15:29Z", "completed_at": "2026-11-15T22:16:37Z" }, { "name": "Verify the restored native prover in Chromium", "status": "completed", "conclusion": "success", "number": 12, "started_at": "2026-11-15T22:16:37Z", "completed_at": "2026-11-15T22:16:44Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 13, "started_at": "2026-11-15T22:16:44Z", "completed_at": "2026-11-15T22:16:47Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 14, "started_at": "2026-11-15T22:16:47Z", "completed_at": "2026-11-15T22:16:48Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 15, "started_at": "2026-11-15T22:16:48Z", "completed_at": "2026-11-15T22:16:49Z" }, { "name": "Record reused native compilation", "status": "completed", "conclusion": "success", "number": 16, "started_at": "2026-11-15T22:16:49Z", "completed_at": "2026-11-15T22:16:49Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 17, "started_at": "2026-11-15T22:16:49Z", "completed_at": "2026-11-15T22:16:50Z" }, { "name": "Post Cache native ACL2 core and build input", "status": "completed", "conclusion": "success", "number": 32, "started_at": "2026-11-15T22:16:50Z", "completed_at": "2026-11-15T22:16:52Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 33, "started_at": "2026-11-15T22:16:52Z", "completed_at": "2026-11-15T22:16:52Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 34, "started_at": "2026-11-15T22:16:52Z", "completed_at": "2026-11-15T22:16:52Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 35, "started_at": "2026-11-15T22:16:52Z", "completed_at": "2026-11-15T22:16:52Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132966484115", "labels": [ "ubuntu-latest" ], "runner_id": 1000019465, "runner_name": "GitHub Actions 1000019465", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132966484123, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9WuImw", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132966484123", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132966484123", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:35:19Z", "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T21:44:38Z", "name": "ANSI / interpreter", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:35:23Z", "completed_at": "2026-11-15T21:35:24Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:35:24Z", "completed_at": "2026-11-15T21:36:49Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:36:49Z", "completed_at": "2026-11-15T21:37:08Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:37:08Z", "completed_at": "2026-11-15T21:37:09Z" }, { "name": "Selected ANSI tests (blocking)", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:37:09Z", "completed_at": "2026-11-15T21:37:09Z" }, { "name": "Full ANSI suite", "status": "completed", "conclusion": "success", "number": 6, "started_at": "2026-11-15T21:37:09Z", "completed_at": "2026-11-15T21:44:33Z" }, { "name": "Render report and require a complete passing suite", "status": "completed", "conclusion": "success", "number": 7, "started_at": "2026-11-15T21:44:33Z", "completed_at": "2026-11-15T21:44:33Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 8, "started_at": "2026-11-15T21:44:33Z", "completed_at": "2026-11-15T21:44:35Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 15, "started_at": "2026-11-15T21:44:35Z", "completed_at": "2026-11-15T21:44:35Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 16, "started_at": "2026-11-15T21:44:35Z", "completed_at": "2026-11-15T21:44:35Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 17, "started_at": "2026-11-15T21:44:35Z", "completed_at": "2026-11-15T21:44:36Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132966484123", "labels": [ "ubuntu-latest" ], "runner_id": 1000019469, "runner_name": "GitHub Actions 1000019469", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132966484134, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9WuIpg", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132966484134", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132966484134", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:35:19Z", "started_at": "2026-11-15T21:35:21Z", "completed_at": "2026-11-15T21:35:41Z", "name": "Core checks beyond ANSI", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T21:35:23Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:35:23Z", "completed_at": "2026-11-15T21:35:24Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:35:24Z", "completed_at": "2026-11-15T21:35:30Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:35:30Z", "completed_at": "2026-11-15T21:35:31Z" }, { "name": "Check soundness beyond ANSI conformance", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:35:31Z", "completed_at": "2026-11-15T21:35:32Z" }, { "name": "Check optimization capabilities on Node", "status": "completed", "conclusion": "success", "number": 6, "started_at": "2026-11-15T21:35:32Z", "completed_at": "2026-11-15T21:35:33Z" }, { "name": "Check Node and WASI implementation behavior", "status": "completed", "conclusion": "success", "number": 7, "started_at": "2026-11-15T21:35:33Z", "completed_at": "2026-11-15T21:35:39Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 13, "started_at": "2026-11-15T21:35:39Z", "completed_at": "2026-11-15T21:35:39Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 14, "started_at": "2026-11-15T21:35:39Z", "completed_at": "2026-11-15T21:35:39Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 15, "started_at": "2026-11-15T21:35:39Z", "completed_at": "2026-11-15T21:35:39Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132966484134", "labels": [ "ubuntu-latest" ], "runner_id": 1000019466, "runner_name": "GitHub Actions 1000019466", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132966484172, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9WuIzA", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132966484172", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132966484172", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:35:19Z", "started_at": "2026-11-15T21:35:21Z", "completed_at": "2026-11-15T21:44:51Z", "name": "ANSI / compiler", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T21:35:24Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:35:24Z", "completed_at": "2026-11-15T21:36:38Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:36:38Z", "completed_at": "2026-11-15T21:36:58Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:36:58Z", "completed_at": "2026-11-15T21:36:59Z" }, { "name": "Selected ANSI tests (blocking)", "status": "completed", "conclusion": "skipped", "number": 5, "started_at": "2026-11-15T21:36:59Z", "completed_at": "2026-11-15T21:36:59Z" }, { "name": "Full ANSI suite", "status": "completed", "conclusion": "success", "number": 6, "started_at": "2026-11-15T21:36:59Z", "completed_at": "2026-11-15T21:44:48Z" }, { "name": "Render report and require a complete passing suite", "status": "completed", "conclusion": "success", "number": 7, "started_at": "2026-11-15T21:44:48Z", "completed_at": "2026-11-15T21:44:48Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 8, "started_at": "2026-11-15T21:44:48Z", "completed_at": "2026-11-15T21:44:49Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 15, "started_at": "2026-11-15T21:44:49Z", "completed_at": "2026-11-15T21:44:49Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 16, "started_at": "2026-11-15T21:44:49Z", "completed_at": "2026-11-15T21:44:50Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 17, "started_at": "2026-11-15T21:44:50Z", "completed_at": "2026-11-15T21:44:50Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132966484172", "labels": [ "ubuntu-latest" ], "runner_id": 1000019471, "runner_name": "GitHub Actions 1000019471", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132966484184, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9WuI2A", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132966484184", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132966484184", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:35:19Z", "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T22:15:34Z", "name": "Application / fricas", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T21:35:24Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:35:24Z", "completed_at": "2026-11-15T21:36:40Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:36:40Z", "completed_at": "2026-11-15T21:36:58Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:36:58Z", "completed_at": "2026-11-15T21:36:59Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:36:59Z", "completed_at": "2026-11-15T21:37:00Z" }, { "name": "Build and test Game of Life", "status": "completed", "conclusion": "skipped", "number": 6, "started_at": "2026-11-15T21:37:00Z", "completed_at": "2026-11-15T21:37:00Z" }, { "name": "Cache native application image and compiled algebra", "status": "completed", "conclusion": "success", "number": 7, "started_at": "2026-11-15T21:37:00Z", "completed_at": "2026-11-15T21:37:01Z" }, { "name": "Cache native McCLIM image", "status": "completed", "conclusion": "skipped", "number": 8, "started_at": "2026-11-15T21:37:01Z", "completed_at": "2026-11-15T21:37:01Z" }, { "name": "Build McCLIM demonstrations and check the browser backend", "status": "completed", "conclusion": "skipped", "number": 9, "started_at": "2026-11-15T21:37:01Z", "completed_at": "2026-11-15T21:37:01Z" }, { "name": "Cache upstream FriCAS bootstrap", "status": "completed", "conclusion": "success", "number": 10, "started_at": "2026-11-15T21:37:01Z", "completed_at": "2026-11-15T21:37:03Z" }, { "name": "Build and test Maxima", "status": "completed", "conclusion": "skipped", "number": 11, "started_at": "2026-11-15T21:37:03Z", "completed_at": "2026-11-15T21:37:03Z" }, { "name": "Build and test FriCAS", "status": "completed", "conclusion": "success", "number": 12, "started_at": "2026-11-15T21:37:03Z", "completed_at": "2026-11-15T22:15:25Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "skipped", "number": 13, "started_at": "2026-11-15T22:15:25Z", "completed_at": "2026-11-15T22:15:25Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 14, "started_at": "2026-11-15T22:15:25Z", "completed_at": "2026-11-15T22:15:27Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 15, "started_at": "2026-11-15T22:15:27Z", "completed_at": "2026-11-15T22:15:28Z" }, { "name": "Record reused native compilation", "status": "completed", "conclusion": "success", "number": 16, "started_at": "2026-11-15T22:15:28Z", "completed_at": "2026-11-15T22:15:28Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 17, "started_at": "2026-11-15T22:15:28Z", "completed_at": "2026-11-15T22:15:29Z" }, { "name": "Post Cache upstream FriCAS bootstrap", "status": "completed", "conclusion": "success", "number": 31, "started_at": "2026-11-15T22:15:29Z", "completed_at": "2026-11-15T22:15:29Z" }, { "name": "Post Cache native application image and compiled algebra", "status": "completed", "conclusion": "success", "number": 32, "started_at": "2026-11-15T22:15:29Z", "completed_at": "2026-11-15T22:15:31Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 33, "started_at": "2026-11-15T22:15:31Z", "completed_at": "2026-11-15T22:15:31Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 34, "started_at": "2026-11-15T22:15:31Z", "completed_at": "2026-11-15T22:15:32Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 35, "started_at": "2026-11-15T22:15:32Z", "completed_at": "2026-11-15T22:15:32Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132966484184", "labels": [ "ubuntu-latest" ], "runner_id": 1000019467, "runner_name": "GitHub Actions 1000019467", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132966484197, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9WuI5Q", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132966484197", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132966484197", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:35:19Z", "started_at": "2026-11-15T21:35:21Z", "completed_at": "2026-11-15T21:53:05Z", "name": "Application / mcclim", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T21:35:23Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:35:23Z", "completed_at": "2026-11-15T21:36:37Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:36:37Z", "completed_at": "2026-11-15T21:36:45Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:36:45Z", "completed_at": "2026-11-15T21:36:46Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:36:46Z", "completed_at": "2026-11-15T21:36:46Z" }, { "name": "Build and test Game of Life", "status": "completed", "conclusion": "skipped", "number": 6, "started_at": "2026-11-15T21:36:46Z", "completed_at": "2026-11-15T21:36:46Z" }, { "name": "Cache native application image and compiled algebra", "status": "completed", "conclusion": "skipped", "number": 7, "started_at": "2026-11-15T21:36:46Z", "completed_at": "2026-11-15T21:36:46Z" }, { "name": "Cache native McCLIM image", "status": "completed", "conclusion": "success", "number": 8, "started_at": "2026-11-15T21:36:46Z", "completed_at": "2026-11-15T21:36:47Z" }, { "name": "Build McCLIM demonstrations and check the browser backend", "status": "completed", "conclusion": "success", "number": 9, "started_at": "2026-11-15T21:36:47Z", "completed_at": "2026-11-15T21:53:00Z" }, { "name": "Cache upstream FriCAS bootstrap", "status": "completed", "conclusion": "skipped", "number": 10, "started_at": "2026-11-15T21:53:00Z", "completed_at": "2026-11-15T21:53:00Z" }, { "name": "Build and test Maxima", "status": "completed", "conclusion": "skipped", "number": 11, "started_at": "2026-11-15T21:53:00Z", "completed_at": "2026-11-15T21:53:00Z" }, { "name": "Build and test FriCAS", "status": "completed", "conclusion": "skipped", "number": 12, "started_at": "2026-11-15T21:53:00Z", "completed_at": "2026-11-15T21:53:00Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "skipped", "number": 13, "started_at": "2026-11-15T21:53:00Z", "completed_at": "2026-11-15T21:53:00Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 14, "started_at": "2026-11-15T21:53:00Z", "completed_at": "2026-11-15T21:53:01Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 15, "started_at": "2026-11-15T21:53:01Z", "completed_at": "2026-11-15T21:53:01Z" }, { "name": "Record reused native compilation", "status": "completed", "conclusion": "success", "number": 16, "started_at": "2026-11-15T21:53:01Z", "completed_at": "2026-11-15T21:53:01Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 17, "started_at": "2026-11-15T21:53:01Z", "completed_at": "2026-11-15T21:53:02Z" }, { "name": "Post Cache native McCLIM image", "status": "completed", "conclusion": "success", "number": 32, "started_at": "2026-11-15T21:53:02Z", "completed_at": "2026-11-15T21:53:03Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 33, "started_at": "2026-11-15T21:53:03Z", "completed_at": "2026-11-15T21:53:03Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 34, "started_at": "2026-11-15T21:53:03Z", "completed_at": "2026-11-15T21:53:04Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 35, "started_at": "2026-11-15T21:53:04Z", "completed_at": "2026-11-15T21:53:04Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132966484197", "labels": [ "ubuntu-latest" ], "runner_id": 1000019468, "runner_name": "GitHub Actions 1000019468", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132966484210, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9WuI8g", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132966484210", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132966484210", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:35:19Z", "started_at": "2026-11-15T21:35:21Z", "completed_at": "2026-11-15T21:46:10Z", "name": "Application / game-of-life", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T21:35:23Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:35:23Z", "completed_at": "2026-11-15T21:36:35Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:36:35Z", "completed_at": "2026-11-15T21:36:51Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:36:51Z", "completed_at": "2026-11-15T21:36:52Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:36:52Z", "completed_at": "2026-11-15T21:36:52Z" }, { "name": "Build and test Game of Life", "status": "completed", "conclusion": "success", "number": 6, "started_at": "2026-11-15T21:36:52Z", "completed_at": "2026-11-15T21:46:06Z" }, { "name": "Cache native application image and compiled algebra", "status": "completed", "conclusion": "skipped", "number": 7, "started_at": "2026-11-15T21:46:06Z", "completed_at": "2026-11-15T21:46:06Z" }, { "name": "Cache native McCLIM image", "status": "completed", "conclusion": "skipped", "number": 8, "started_at": "2026-11-15T21:46:06Z", "completed_at": "2026-11-15T21:46:06Z" }, { "name": "Build McCLIM demonstrations and check the browser backend", "status": "completed", "conclusion": "skipped", "number": 9, "started_at": "2026-11-15T21:46:06Z", "completed_at": "2026-11-15T21:46:06Z" }, { "name": "Cache upstream FriCAS bootstrap", "status": "completed", "conclusion": "skipped", "number": 10, "started_at": "2026-11-15T21:46:06Z", "completed_at": "2026-11-15T21:46:06Z" }, { "name": "Build and test Maxima", "status": "completed", "conclusion": "skipped", "number": 11, "started_at": "2026-11-15T21:46:06Z", "completed_at": "2026-11-15T21:46:06Z" }, { "name": "Build and test FriCAS", "status": "completed", "conclusion": "skipped", "number": 12, "started_at": "2026-11-15T21:46:06Z", "completed_at": "2026-11-15T21:46:06Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 13, "started_at": "2026-11-15T21:46:06Z", "completed_at": "2026-11-15T21:46:07Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "skipped", "number": 14, "started_at": "2026-11-15T21:46:07Z", "completed_at": "2026-11-15T21:46:07Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "skipped", "number": 15, "started_at": "2026-11-15T21:46:07Z", "completed_at": "2026-11-15T21:46:07Z" }, { "name": "Record reused native compilation", "status": "completed", "conclusion": "success", "number": 16, "started_at": "2026-11-15T21:46:07Z", "completed_at": "2026-11-15T21:46:07Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 17, "started_at": "2026-11-15T21:46:07Z", "completed_at": "2026-11-15T21:46:07Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 33, "started_at": "2026-11-15T21:46:07Z", "completed_at": "2026-11-15T21:46:08Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 34, "started_at": "2026-11-15T21:46:08Z", "completed_at": "2026-11-15T21:46:08Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 35, "started_at": "2026-11-15T21:46:08Z", "completed_at": "2026-11-15T21:46:08Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132966484210", "labels": [ "ubuntu-latest" ], "runner_id": 1000019472, "runner_name": "GitHub Actions 1000019472", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132966484215, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9WuI9w", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132966484215", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132966484215", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:35:19Z", "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T21:54:15Z", "name": "Application / maxima", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T21:35:24Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:35:24Z", "completed_at": "2026-11-15T21:36:41Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:36:41Z", "completed_at": "2026-11-15T21:37:05Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:37:05Z", "completed_at": "2026-11-15T21:37:06Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:37:06Z", "completed_at": "2026-11-15T21:37:07Z" }, { "name": "Build and test Game of Life", "status": "completed", "conclusion": "skipped", "number": 6, "started_at": "2026-11-15T21:37:07Z", "completed_at": "2026-11-15T21:37:07Z" }, { "name": "Cache native application image and compiled algebra", "status": "completed", "conclusion": "success", "number": 7, "started_at": "2026-11-15T21:37:07Z", "completed_at": "2026-11-15T21:37:09Z" }, { "name": "Cache native McCLIM image", "status": "completed", "conclusion": "skipped", "number": 8, "started_at": "2026-11-15T21:37:09Z", "completed_at": "2026-11-15T21:37:09Z" }, { "name": "Build McCLIM demonstrations and check the browser backend", "status": "completed", "conclusion": "skipped", "number": 9, "started_at": "2026-11-15T21:37:09Z", "completed_at": "2026-11-15T21:37:09Z" }, { "name": "Cache upstream FriCAS bootstrap", "status": "completed", "conclusion": "skipped", "number": 10, "started_at": "2026-11-15T21:37:09Z", "completed_at": "2026-11-15T21:37:09Z" }, { "name": "Build and test Maxima", "status": "completed", "conclusion": "success", "number": 11, "started_at": "2026-11-15T21:37:09Z", "completed_at": "2026-11-15T21:54:04Z" }, { "name": "Build and test FriCAS", "status": "completed", "conclusion": "skipped", "number": 12, "started_at": "2026-11-15T21:54:04Z", "completed_at": "2026-11-15T21:54:04Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "skipped", "number": 13, "started_at": "2026-11-15T21:54:04Z", "completed_at": "2026-11-15T21:54:04Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 14, "started_at": "2026-11-15T21:54:04Z", "completed_at": "2026-11-15T21:54:06Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 15, "started_at": "2026-11-15T21:54:06Z", "completed_at": "2026-11-15T21:54:08Z" }, { "name": "Record reused native compilation", "status": "completed", "conclusion": "success", "number": 16, "started_at": "2026-11-15T21:54:08Z", "completed_at": "2026-11-15T21:54:08Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 17, "started_at": "2026-11-15T21:54:08Z", "completed_at": "2026-11-15T21:54:09Z" }, { "name": "Post Cache native application image and compiled algebra", "status": "completed", "conclusion": "success", "number": 32, "started_at": "2026-11-15T21:54:09Z", "completed_at": "2026-11-15T21:54:12Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 33, "started_at": "2026-11-15T21:54:12Z", "completed_at": "2026-11-15T21:54:12Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 34, "started_at": "2026-11-15T21:54:12Z", "completed_at": "2026-11-15T21:54:12Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 35, "started_at": "2026-11-15T21:54:12Z", "completed_at": "2026-11-15T21:54:12Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132966484215", "labels": [ "ubuntu-latest" ], "runner_id": 1000019470, "runner_name": "GitHub Actions 1000019470", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132966484295, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9WuJRw", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132966484295", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132966484295", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:35:19Z", "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T22:06:24Z", "name": "Application / coalton", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:35:22Z", "completed_at": "2026-11-15T21:35:23Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:35:23Z", "completed_at": "2026-11-15T21:36:42Z" }, { "name": "Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:36:42Z", "completed_at": "2026-11-15T21:36:54Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:36:54Z", "completed_at": "2026-11-15T21:36:55Z" }, { "name": "Identify pinned Coalton sources", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:36:55Z", "completed_at": "2026-11-15T21:36:55Z" }, { "name": "Cache pinned dependency checkouts", "status": "completed", "conclusion": "success", "number": 6, "started_at": "2026-11-15T21:36:55Z", "completed_at": "2026-11-15T21:36:56Z" }, { "name": "Prepare dependencies and check host support and REPL examples", "status": "completed", "conclusion": "success", "number": 7, "started_at": "2026-11-15T21:36:56Z", "completed_at": "2026-11-15T21:36:57Z" }, { "name": "Cache native Coalton compiler and standard library", "status": "completed", "conclusion": "success", "number": 8, "started_at": "2026-11-15T21:36:57Z", "completed_at": "2026-11-15T21:36:57Z" }, { "name": "Compile Coalton and its standard library on the default stack", "status": "completed", "conclusion": "success", "number": 9, "started_at": "2026-11-15T21:36:57Z", "completed_at": "2026-11-15T22:04:52Z" }, { "name": "Cache initialized Coalton snapshot", "status": "completed", "conclusion": "success", "number": 10, "started_at": "2026-11-15T22:04:52Z", "completed_at": "2026-11-15T22:04:52Z" }, { "name": "Save and validate initialized Coalton snapshot", "status": "completed", "conclusion": "success", "number": 11, "started_at": "2026-11-15T22:04:52Z", "completed_at": "2026-11-15T22:05:42Z" }, { "name": "Package and test the Lisp and Coalton REPL", "status": "completed", "conclusion": "success", "number": 12, "started_at": "2026-11-15T22:05:42Z", "completed_at": "2026-11-15T22:06:16Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 13, "started_at": "2026-11-15T22:06:16Z", "completed_at": "2026-11-15T22:06:18Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 14, "started_at": "2026-11-15T22:06:18Z", "completed_at": "2026-11-15T22:06:19Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "skipped", "number": 15, "started_at": "2026-11-15T22:06:19Z", "completed_at": "2026-11-15T22:06:19Z" }, { "name": "Record reused native compilation", "status": "completed", "conclusion": "success", "number": 16, "started_at": "2026-11-15T22:06:19Z", "completed_at": "2026-11-15T22:06:19Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 17, "started_at": "2026-11-15T22:06:19Z", "completed_at": "2026-11-15T22:06:20Z" }, { "name": "Post Cache initialized Coalton snapshot", "status": "completed", "conclusion": "success", "number": 30, "started_at": "2026-11-15T22:06:20Z", "completed_at": "2026-11-15T22:06:21Z" }, { "name": "Post Cache native Coalton compiler and standard library", "status": "completed", "conclusion": "success", "number": 31, "started_at": "2026-11-15T22:06:21Z", "completed_at": "2026-11-15T22:06:21Z" }, { "name": "Post Cache pinned dependency checkouts", "status": "completed", "conclusion": "success", "number": 32, "started_at": "2026-11-15T22:06:21Z", "completed_at": "2026-11-15T22:06:22Z" }, { "name": "Post Run ./.github/actions/setup-miricl", "status": "completed", "conclusion": "success", "number": 33, "started_at": "2026-11-15T22:06:22Z", "completed_at": "2026-11-15T22:06:22Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 34, "started_at": "2026-11-15T22:06:22Z", "completed_at": "2026-11-15T22:06:22Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 35, "started_at": "2026-11-15T22:06:22Z", "completed_at": "2026-11-15T22:06:22Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132966484295", "labels": [ "ubuntu-latest" ], "runner_id": 1000019473, "runner_name": "GitHub Actions 1000019473", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132969185079, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9ZS_Nw", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132969185079", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132969185079", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T21:44:51Z", "started_at": "2026-11-15T21:44:54Z", "completed_at": "2026-11-15T21:45:00Z", "name": "Collect ANSI reports", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T21:44:54Z", "completed_at": "2026-11-15T21:44:55Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T21:44:55Z", "completed_at": "2026-11-15T21:44:56Z" }, { "name": "Require both reports", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T21:44:56Z", "completed_at": "2026-11-15T21:44:56Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T21:44:56Z", "completed_at": "2026-11-15T21:44:58Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T21:44:58Z", "completed_at": "2026-11-15T21:44:58Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132969185079", "labels": [ "ubuntu-latest" ], "runner_id": 1000019474, "runner_name": "GitHub Actions 1000019474", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132978579978, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9iQaCg", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132978579978", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132978579978", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T22:16:54Z", "started_at": "2026-11-15T22:16:57Z", "completed_at": "2026-11-15T22:24:33Z", "name": "Assemble browser examples and size report", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T22:16:58Z", "completed_at": "2026-11-15T22:16:59Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T22:16:59Z", "completed_at": "2026-11-15T22:17:01Z" }, { "name": "Run actions/setup-node@v4", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T22:17:01Z", "completed_at": "2026-11-15T22:17:07Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T22:17:07Z", "completed_at": "2026-11-15T22:17:09Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T22:17:09Z", "completed_at": "2026-11-15T22:17:10Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 6, "started_at": "2026-11-15T22:17:10Z", "completed_at": "2026-11-15T22:17:11Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 7, "started_at": "2026-11-15T22:17:11Z", "completed_at": "2026-11-15T22:17:13Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 8, "started_at": "2026-11-15T22:17:13Z", "completed_at": "2026-11-15T22:17:14Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 9, "started_at": "2026-11-15T22:17:14Z", "completed_at": "2026-11-15T22:17:17Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 10, "started_at": "2026-11-15T22:17:17Z", "completed_at": "2026-11-15T22:17:20Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 11, "started_at": "2026-11-15T22:17:20Z", "completed_at": "2026-11-15T22:17:22Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 12, "started_at": "2026-11-15T22:17:22Z", "completed_at": "2026-11-15T22:17:23Z" }, { "name": "Assemble static site and measure the actual payloads", "status": "completed", "conclusion": "success", "number": 13, "started_at": "2026-11-15T22:17:23Z", "completed_at": "2026-11-15T22:24:27Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 14, "started_at": "2026-11-15T22:24:27Z", "completed_at": "2026-11-15T22:24:30Z" }, { "name": "Post Run actions/setup-node@v4", "status": "completed", "conclusion": "success", "number": 27, "started_at": "2026-11-15T22:24:30Z", "completed_at": "2026-11-15T22:24:30Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 28, "started_at": "2026-11-15T22:24:30Z", "completed_at": "2026-11-15T22:24:31Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 29, "started_at": "2026-11-15T22:24:31Z", "completed_at": "2026-11-15T22:24:31Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132978579978", "labels": [ "ubuntu-latest" ], "runner_id": 1000019475, "runner_name": "GitHub Actions 1000019475", "runner_group_id": 0, "runner_group_name": "GitHub Actions" }, { "id": 132980839493, "run_id": 43763876593, "workflow_name": "CI", "head_branch": "main", "run_url": "https://api.github.com/repos/ak-coram/miricl/actions/runs/43763876593", "run_attempt": 1, "node_id": "CR_kwDONzLZYc8AAAAe9kaURQ", "head_sha": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "url": "https://api.github.com/repos/ak-coram/miricl/actions/jobs/132980839493", "html_url": "https://github.com/ak-coram/miricl/actions/runs/43763876593/job/132980839493", "status": "completed", "conclusion": "success", "created_at": "2026-11-15T22:24:33Z", "started_at": "2026-11-15T22:24:36Z", "completed_at": "2026-11-15T22:24:51Z", "name": "Collect compiler and prover report", "steps": [ { "name": "Set up job", "status": "completed", "conclusion": "success", "number": 1, "started_at": "2026-11-15T22:24:37Z", "completed_at": "2026-11-15T22:24:39Z" }, { "name": "Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 2, "started_at": "2026-11-15T22:24:39Z", "completed_at": "2026-11-15T22:24:40Z" }, { "name": "Run actions/setup-node@v4", "status": "completed", "conclusion": "success", "number": 3, "started_at": "2026-11-15T22:24:40Z", "completed_at": "2026-11-15T22:24:45Z" }, { "name": "Run actions/download-artifact@v4", "status": "completed", "conclusion": "success", "number": 4, "started_at": "2026-11-15T22:24:45Z", "completed_at": "2026-11-15T22:24:46Z" }, { "name": "Record all CI job outcomes", "status": "completed", "conclusion": "success", "number": 5, "started_at": "2026-11-15T22:24:46Z", "completed_at": "2026-11-15T22:24:47Z" }, { "name": "Render complete or partial compilation report", "status": "completed", "conclusion": "success", "number": 6, "started_at": "2026-11-15T22:24:47Z", "completed_at": "2026-11-15T22:24:47Z" }, { "name": "Run actions/upload-artifact@v4", "status": "completed", "conclusion": "success", "number": 7, "started_at": "2026-11-15T22:24:47Z", "completed_at": "2026-11-15T22:24:48Z" }, { "name": "Post Run actions/setup-node@v4", "status": "completed", "conclusion": "success", "number": 13, "started_at": "2026-11-15T22:24:48Z", "completed_at": "2026-11-15T22:24:48Z" }, { "name": "Post Run actions/checkout@v4", "status": "completed", "conclusion": "success", "number": 14, "started_at": "2026-11-15T22:24:48Z", "completed_at": "2026-11-15T22:24:49Z" }, { "name": "Complete job", "status": "completed", "conclusion": "success", "number": 15, "started_at": "2026-11-15T22:24:49Z", "completed_at": "2026-11-15T22:24:49Z" } ], "check_run_url": "https://api.github.com/repos/ak-coram/miricl/check-runs/132980839493", "labels": [ "ubuntu-latest" ], "runner_id": 1000019476, "runner_name": "GitHub Actions 1000019476", "runner_group_id": 0, "runner_group_name": "GitHub Actions" } ], "records": [ { "schemaVersion": 1, "kind": "compiler-statistics", "id": "038aef30-679e-4d76-aeb3-905851e976ae", "generatedAt": "2026-11-15T21:46:49.820Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-acl2", "node": "v26.13.1", "workload": "acl2", "phase": "compact dynamic environment", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 3 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 78 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 62 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 3 }, { "rule": "optimization/removed-imports", "detail": "", "count": 356 } ], "elapsedMs": 13670.756522, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "72011c55-c89f-4a50-9b6e-1d1a79564f18", "generatedAt": "2026-11-15T22:01:40.781Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-acl2", "node": "v26.13.1", "workload": "acl2", "phase": "compile native code", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "dispatcher", "count": 10 }, { "rule": "lowering/function-control", "detail": "forward", "count": 65026 }, { "rule": "lowering/function-control", "detail": "structured", "count": 1198 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 1098 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 108717 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 247282 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 34075 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 9602 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 43217127 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 28901421 }, { "rule": "optimization/cell-folding", "detail": "", "count": 12868 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 15 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 635431 }, { "rule": "optimization/local-copy-back", "detail": "", "count": 1026 }, { "rule": "optimization/local-copy-fold", "detail": "32", "count": 2378 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 171945 }, { "rule": "optimization/local-self-tee", "detail": "", "count": 10322 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 921963 }, { "rule": "optimization/loop-hoist", "detail": "capture", "count": 158 }, { "rule": "optimization/proven-condition", "detail": "0", "count": 714 }, { "rule": "optimization/removed-imports", "detail": "", "count": 2463082 }, { "rule": "optimization/shared-body", "detail": "", "count": 211754 }, { "rule": "optimization/single-value-join", "detail": "", "count": 19674 }, { "rule": "proof/branch-premise", "detail": "", "count": 66 }, { "rule": "proof/branch-premise", "detail": "t", "count": 23836 }, { "rule": "proof/branch-reachability", "detail": "", "count": 8 }, { "rule": "proof/branch-reachability", "detail": "t", "count": 698 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 248 }, { "rule": "proof/integer-identity-unknown", "detail": "-", "count": 4 }, { "rule": "proof/integer-identity-unknown", "detail": "*", "count": 14 }, { "rule": "proof/integer-identity-unknown", "detail": "+", "count": 66 }, { "rule": "proof/interval-widening", "detail": "", "count": 6 } ], "elapsedMs": 890901.889629, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "9bf66123-600f-4e55-b718-9dd6d6418468", "generatedAt": "2026-11-15T21:46:36.094Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-acl2", "node": "v26.13.1", "workload": "acl2", "phase": "loader", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "dispatcher", "count": 1 }, { "rule": "lowering/function-control", "detail": "forward", "count": 304 }, { "rule": "lowering/function-control", "detail": "structured", "count": 23 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 24 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 600 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 1095 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 79 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 64 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 157978 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 110951 }, { "rule": "optimization/cell-folding", "detail": "", "count": 26 }, { "rule": "optimization/hir-constant", "detail": "", "count": 76 }, { "rule": "optimization/hir-constant-branch", "detail": "", "count": 104 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 1750 }, { "rule": "optimization/hir-copy", "detail": "cell-write", "count": 30 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 2433 }, { "rule": "optimization/local-copy-fold", "detail": "32", "count": 14 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 571 }, { "rule": "optimization/local-self-tee", "detail": "", "count": 18 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 3738 }, { "rule": "optimization/loop-hoist", "detail": "capture", "count": 31 }, { "rule": "optimization/proven-condition", "detail": "0", "count": 5 }, { "rule": "optimization/removed-imports", "detail": "", "count": 22719 }, { "rule": "optimization/shared-body", "detail": "", "count": 192 }, { "rule": "optimization/single-value-join", "detail": "", "count": 144 }, { "rule": "proof/branch-premise", "detail": "t", "count": 135 }, { "rule": "proof/branch-reachability", "detail": "t", "count": 1 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 15 } ], "elapsedMs": 3030.956957, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "d2b54825-b717-4673-9ee3-da4bde3d98f2", "generatedAt": "2026-11-15T22:01:40.868Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-acl2", "node": "v26.13.1", "workload": "acl2", "phase": "native output", "status": "complete", "recordType": "measurement", "counters": [], "runtimeBytes": 1000584, "inputBytes": 30776013, "outputBytes": 18157407 }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "f8c63779-5419-48a8-b382-898944786187", "generatedAt": "2026-11-15T21:38:29.051Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-coalton", "node": "v26.13.1", "workload": "coalton", "phase": "compiler: compaction", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 3 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 78 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 62 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 3 }, { "rule": "optimization/removed-imports", "detail": "", "count": 356 } ], "elapsedMs": 5479.041195, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "12e224b2-3e43-44db-95fe-97c6f60b1beb", "generatedAt": "2026-11-15T21:38:35.108Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-coalton", "node": "v26.13.1", "workload": "coalton", "phase": "compiler: load compacted compiler", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 49 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 11 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 2 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 24 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 18 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 4 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 9426 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 7680 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 103 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 49 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 49 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 281 }, { "rule": "optimization/removed-imports", "detail": "", "count": 5514 }, { "rule": "proof/branch-premise", "detail": "t", "count": 4 } ], "elapsedMs": 5923.292034, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "bfc6413f-784f-41d4-898c-ed336ddee7c5", "generatedAt": "2026-11-15T21:42:46.200Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-coalton", "node": "v26.13.1", "workload": "coalton", "phase": "compiler: native bundle", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "dispatcher", "count": 43 }, { "rule": "lowering/function-control", "detail": "forward", "count": 18897 }, { "rule": "lowering/function-control", "detail": "structured", "count": 723 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 511 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 25503 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 23926 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 2973 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 2762 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 6497483 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 4608060 }, { "rule": "optimization/cell-folding", "detail": "", "count": 8130 }, { "rule": "optimization/generic-dispatch", "detail": "0", "count": 532 }, { "rule": "optimization/generic-dispatch", "detail": "1", "count": 1 }, { "rule": "optimization/generic-dispatch", "detail": "12", "count": 4 }, { "rule": "optimization/generic-dispatch", "detail": "2", "count": 57 }, { "rule": "optimization/generic-dispatch", "detail": "3", "count": 2 }, { "rule": "optimization/generic-dispatch", "detail": "4", "count": 10 }, { "rule": "optimization/hir-constant", "detail": "", "count": 4 }, { "rule": "optimization/hir-constant-branch", "detail": "", "count": 8 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 513 }, { "rule": "optimization/hir-copy", "detail": "cell-write", "count": 12 }, { "rule": "optimization/inline-primitive", "detail": "length", "count": 2 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 76434 }, { "rule": "optimization/local-copy-back", "detail": "", "count": 112 }, { "rule": "optimization/local-copy-fold", "detail": "32", "count": 1555 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 17984 }, { "rule": "optimization/local-self-tee", "detail": "", "count": 647 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 157572 }, { "rule": "optimization/loop-hoist", "detail": "capture", "count": 312 }, { "rule": "optimization/proven-condition", "detail": "1", "count": 267 }, { "rule": "optimization/proven-condition", "detail": "3", "count": 2 }, { "rule": "optimization/removed-imports", "detail": "", "count": 40570 }, { "rule": "optimization/shared-body", "detail": "", "count": 78846 }, { "rule": "optimization/single-value-join", "detail": "", "count": 6624 }, { "rule": "planning/inline-primitive", "detail": "length", "count": 2 }, { "rule": "proof/branch-premise", "detail": "", "count": 9 }, { "rule": "proof/branch-premise", "detail": "t", "count": 5757 }, { "rule": "proof/branch-reachability", "detail": "t", "count": 244 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 934 }, { "rule": "proof/integer-identity-unknown", "detail": "-", "count": 2 }, { "rule": "proof/integer-identity-unknown", "detail": "+", "count": 2 } ], "elapsedMs": 251037.42113699997, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "6e5632e1-3c81-4f71-8e52-7ebd8ea3da7d", "generatedAt": "2026-11-15T21:42:46.219Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-coalton", "node": "v26.13.1", "workload": "coalton", "phase": "compiler: native output", "status": "complete", "recordType": "measurement", "counters": [], "runtimeBytes": 1000584, "inputBytes": 7706538, "outputBytes": 3404626 }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "7249a121-227c-40c1-85de-facc808e97c0", "generatedAt": "2026-11-15T21:38:29.126Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-coalton", "node": "v26.13.1", "workload": "coalton", "phase": "compiler: release portable input", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 3 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 50 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 34 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 3 }, { "rule": "optimization/removed-imports", "detail": "", "count": 357 } ], "elapsedMs": 5.134291000000303, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "6a87d680-8c2d-48c5-afbb-1523d7523a48", "generatedAt": "2026-11-15T21:54:32.027Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-coalton", "node": "v26.13.1", "workload": "coalton", "phase": "full: compaction", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 3 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 78 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 62 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 3 }, { "rule": "optimization/removed-imports", "detail": "", "count": 356 } ], "elapsedMs": 17746.469868, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "3757543d-030a-4605-975e-58a5e99973f6", "generatedAt": "2026-11-15T21:54:14.173Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-coalton", "node": "v26.13.1", "workload": "coalton", "phase": "full: load bootstrap", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 49 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 11 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 2 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 24 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 18 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 4 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 9426 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 7680 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 103 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 49 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 49 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 281 }, { "rule": "optimization/removed-imports", "detail": "", "count": 5514 }, { "rule": "proof/branch-premise", "detail": "t", "count": 4 } ], "elapsedMs": 3102.108311, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "70c73eb7-1de8-4385-8ecb-819d6d520fbf", "generatedAt": "2026-11-15T22:04:52.214Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-coalton", "node": "v26.13.1", "workload": "coalton", "phase": "full: native bundle", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "dispatcher", "count": 2 }, { "rule": "lowering/function-control", "detail": "forward", "count": 63641 }, { "rule": "lowering/function-control", "detail": "structured", "count": 640 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 792 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 86773 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 75833 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 3356 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 1250 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 28735302 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 18584172 }, { "rule": "optimization/cell-folding", "detail": "", "count": 7056 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 1934 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 287422 }, { "rule": "optimization/local-copy-back", "detail": "", "count": 106 }, { "rule": "optimization/local-copy-fold", "detail": "32", "count": 145 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 121092 }, { "rule": "optimization/local-self-tee", "detail": "", "count": 30 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 542389 }, { "rule": "optimization/loop-hoist", "detail": "capture", "count": 16 }, { "rule": "optimization/proven-condition", "detail": "1", "count": 2 }, { "rule": "optimization/removed-imports", "detail": "", "count": 3048929 }, { "rule": "optimization/shared-body", "detail": "", "count": 255799 }, { "rule": "optimization/single-value-join", "detail": "", "count": 9080 }, { "rule": "proof/branch-premise", "detail": "", "count": 3 }, { "rule": "proof/branch-premise", "detail": "t", "count": 2284 }, { "rule": "proof/branch-reachability", "detail": "", "count": 2 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 816 }, { "rule": "proof/integer-identity-unknown", "detail": "-", "count": 2 }, { "rule": "proof/integer-identity-unknown", "detail": "*", "count": 4 }, { "rule": "proof/integer-identity-unknown", "detail": "+", "count": 2 } ], "elapsedMs": 620070.089513, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "d75fcd12-e40f-4cdf-9021-fcd684029f72", "generatedAt": "2026-11-15T22:04:52.266Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-coalton", "node": "v26.13.1", "workload": "coalton", "phase": "full: native output", "status": "complete", "recordType": "measurement", "counters": [], "runtimeBytes": 1000584, "inputBytes": 23574801, "outputBytes": 10406359 }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "eaceb2ad-7519-40be-b00e-ec76c5fea749", "generatedAt": "2026-11-15T21:54:32.086Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-coalton", "node": "v26.13.1", "workload": "coalton", "phase": "full: release portable input", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 3 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 50 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 34 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 3 }, { "rule": "optimization/removed-imports", "detail": "", "count": 357 } ], "elapsedMs": 4.1151390000013635, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "7a031135-f3de-446d-abcd-8a8628676d50", "generatedAt": "2026-11-15T21:33:24.931Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "runtime", "node": "v26.13.1", "workload": "compiler-bootstrap", "phase": "bootstrap native functions", "status": "complete", "counters": [ { "rule": "inference/declared-argument", "detail": "", "count": 40 }, { "rule": "lowering/function-control", "detail": "dispatcher", "count": 5 }, { "rule": "lowering/function-control", "detail": "forward", "count": 349 }, { "rule": "lowering/function-control", "detail": "structured", "count": 244 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 81 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 3183 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 2439 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 735 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 204 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 620979 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 419919 }, { "rule": "optimization/cell-folding", "detail": "", "count": 247 }, { "rule": "optimization/hir-constant", "detail": "", "count": 733 }, { "rule": "optimization/hir-constant-branch", "detail": "", "count": 231 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 16575 }, { "rule": "optimization/hir-copy", "detail": "cell-write", "count": 850 }, { "rule": "optimization/immediate-integer-box", "detail": "", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "124", "count": 70 }, { "rule": "optimization/inline-primitive", "detail": "125", "count": 54 }, { "rule": "optimization/inline-primitive", "detail": "126", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "131", "count": 7 }, { "rule": "optimization/inline-primitive", "detail": "132", "count": 8 }, { "rule": "optimization/inline-primitive", "detail": "133", "count": 1 }, { "rule": "optimization/inline-primitive", "detail": "134", "count": 2 }, { "rule": "optimization/inline-primitive", "detail": "135", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "80", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "81", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "82", "count": 2 }, { "rule": "optimization/inline-primitive", "detail": "83", "count": 7 }, { "rule": "optimization/inline-primitive", "detail": "85", "count": 2 }, { "rule": "optimization/inline-primitive", "detail": "87", "count": 3 }, { "rule": "optimization/inline-primitive", "detail": "89", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "ash-general", "count": 33 }, { "rule": "optimization/inline-primitive", "detail": "car", "count": 32 }, { "rule": "optimization/inline-primitive", "detail": "car-cons", "count": 643 }, { "rule": "optimization/inline-primitive", "detail": "cdr", "count": 161 }, { "rule": "optimization/inline-primitive", "detail": "cdr-cons", "count": 330 }, { "rule": "optimization/inline-primitive", "detail": "checked-car", "count": 1097 }, { "rule": "optimization/inline-primitive", "detail": "checked-cdr", "count": 790 }, { "rule": "optimization/inline-primitive", "detail": "code-character", "count": 1 }, { "rule": "optimization/inline-primitive", "detail": "cons", "count": 472 }, { "rule": "optimization/inline-primitive", "detail": "consp", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "eq", "count": 346 }, { "rule": "optimization/inline-primitive", "detail": "eql", "count": 35 }, { "rule": "optimization/inline-primitive", "detail": "gethash", "count": 347 }, { "rule": "optimization/inline-primitive", "detail": "greater-real", "count": 47 }, { "rule": "optimization/inline-primitive", "detail": "integer-length", "count": 9 }, { "rule": "optimization/inline-primitive", "detail": "length", "count": 352 }, { "rule": "optimization/inline-primitive", "detail": "less-real", "count": 143 }, { "rule": "optimization/inline-primitive", "detail": "list", "count": 571 }, { "rule": "optimization/inline-primitive", "detail": "logand-general", "count": 8 }, { "rule": "optimization/inline-primitive", "detail": "not-greater-real", "count": 71 }, { "rule": "optimization/inline-primitive", "detail": "not-less-real", "count": 154 }, { "rule": "optimization/inline-primitive", "detail": "null", "count": 209 }, { "rule": "optimization/inline-primitive", "detail": "puthash", "count": 149 }, { "rule": "optimization/inline-primitive", "detail": "row-major-ref", "count": 2 }, { "rule": "optimization/inline-primitive", "detail": "row-major-set", "count": 1 }, { "rule": "optimization/inline-primitive", "detail": "simple-vector-p", "count": 125 }, { "rule": "optimization/inline-primitive", "detail": "vector-length", "count": 113 }, { "rule": "optimization/inline-primitive", "detail": "zero-number", "count": 56 }, { "rule": "optimization/inline-shift", "detail": "left", "count": 2 }, { "rule": "optimization/inline-shift", "detail": "right", "count": 4 }, { "rule": "optimization/inline-vector", "detail": "read", "count": 2063 }, { "rule": "optimization/inline-vector", "detail": "write", "count": 217 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 7248 }, { "rule": "optimization/local-copy-back", "detail": "", "count": 22 }, { "rule": "optimization/local-copy-fold", "detail": "32", "count": 153 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 2149 }, { "rule": "optimization/local-self-tee", "detail": "", "count": 293 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 11120 }, { "rule": "optimization/loop-hoist", "detail": "capture", "count": 142 }, { "rule": "optimization/loop-hoist", "detail": "eq", "count": 17 }, { "rule": "optimization/loop-hoist", "detail": "null", "count": 8 }, { "rule": "optimization/proven-condition", "detail": "0", "count": 107 }, { "rule": "optimization/proven-condition", "detail": "3", "count": 6 }, { "rule": "optimization/raw-predicate-branch", "detail": "80", "count": 22 }, { "rule": "optimization/raw-predicate-branch", "detail": "81", "count": 104 }, { "rule": "optimization/raw-predicate-branch", "detail": "82", "count": 1 }, { "rule": "optimization/raw-predicate-branch", "detail": "83", "count": 15 }, { "rule": "optimization/raw-predicate-branch", "detail": "85", "count": 15 }, { "rule": "optimization/raw-predicate-branch", "detail": "87", "count": 5 }, { "rule": "optimization/raw-predicate-branch", "detail": "89", "count": 92 }, { "rule": "optimization/raw-predicate-branch", "detail": "consp", "count": 169 }, { "rule": "optimization/raw-predicate-branch", "detail": "eq", "count": 1675 }, { "rule": "optimization/raw-predicate-branch", "detail": "eql", "count": 272 }, { "rule": "optimization/raw-predicate-branch", "detail": "evenp", "count": 2 }, { "rule": "optimization/raw-predicate-branch", "detail": "null", "count": 245 }, { "rule": "optimization/removed-imports", "detail": "", "count": 36233 }, { "rule": "optimization/shared-body", "detail": "", "count": 26 }, { "rule": "optimization/single-value-join", "detail": "", "count": 4345 }, { "rule": "optimization/unboxed-argument-initialize", "detail": "", "count": 3 }, { "rule": "optimization/unboxed-argument-read", "detail": "", "count": 22 }, { "rule": "optimization/unboxed-cell", "detail": "cell-new", "count": 13 }, { "rule": "optimization/unboxed-cell", "detail": "cell-read", "count": 34 }, { "rule": "optimization/unboxed-cell", "detail": "cell-write", "count": 22 }, { "rule": "optimization/unboxed-result", "detail": "124", "count": 70 }, { "rule": "optimization/unboxed-result", "detail": "125", "count": 54 }, { "rule": "optimization/unboxed-result", "detail": "126", "count": 4 }, { "rule": "optimization/unboxed-result", "detail": "131", "count": 7 }, { "rule": "optimization/unboxed-result", "detail": "132", "count": 8 }, { "rule": "optimization/unboxed-result", "detail": "133", "count": 1 }, { "rule": "optimization/unboxed-result", "detail": "134", "count": 2 }, { "rule": "optimization/unboxed-result", "detail": "135", "count": 4 }, { "rule": "optimization/unboxed-result-box", "detail": "", "count": 138 }, { "rule": "optimization/unboxed-result-read", "detail": "", "count": 97 }, { "rule": "planning/inline-primitive", "detail": "124", "count": 70 }, { "rule": "planning/inline-primitive", "detail": "125", "count": 54 }, { "rule": "planning/inline-primitive", "detail": "126", "count": 4 }, { "rule": "planning/inline-primitive", "detail": "131", "count": 7 }, { "rule": "planning/inline-primitive", "detail": "132", "count": 8 }, { "rule": "planning/inline-primitive", "detail": "133", "count": 1 }, { "rule": "planning/inline-primitive", "detail": "134", "count": 2 }, { "rule": "planning/inline-primitive", "detail": "135", "count": 4 }, { "rule": "planning/inline-primitive", "detail": "80", "count": 26 }, { "rule": "planning/inline-primitive", "detail": "81", "count": 108 }, { "rule": "planning/inline-primitive", "detail": "82", "count": 3 }, { "rule": "planning/inline-primitive", "detail": "83", "count": 22 }, { "rule": "planning/inline-primitive", "detail": "85", "count": 17 }, { "rule": "planning/inline-primitive", "detail": "87", "count": 8 }, { "rule": "planning/inline-primitive", "detail": "89", "count": 96 }, { "rule": "planning/inline-primitive", "detail": "ash-general", "count": 33 }, { "rule": "planning/inline-primitive", "detail": "car", "count": 36 }, { "rule": "planning/inline-primitive", "detail": "car-cons", "count": 645 }, { "rule": "planning/inline-primitive", "detail": "cdr", "count": 161 }, { "rule": "planning/inline-primitive", "detail": "cdr-cons", "count": 330 }, { "rule": "planning/inline-primitive", "detail": "checked-car", "count": 1097 }, { "rule": "planning/inline-primitive", "detail": "checked-cdr", "count": 790 }, { "rule": "planning/inline-primitive", "detail": "code-character", "count": 1 }, { "rule": "planning/inline-primitive", "detail": "cons", "count": 472 }, { "rule": "planning/inline-primitive", "detail": "consp", "count": 173 }, { "rule": "planning/inline-primitive", "detail": "eq", "count": 2021 }, { "rule": "planning/inline-primitive", "detail": "eql", "count": 307 }, { "rule": "planning/inline-primitive", "detail": "evenp", "count": 2 }, { "rule": "planning/inline-primitive", "detail": "gethash", "count": 347 }, { "rule": "planning/inline-primitive", "detail": "greater-real", "count": 47 }, { "rule": "planning/inline-primitive", "detail": "integer-length", "count": 9 }, { "rule": "planning/inline-primitive", "detail": "length", "count": 352 }, { "rule": "planning/inline-primitive", "detail": "less-real", "count": 143 }, { "rule": "planning/inline-primitive", "detail": "list", "count": 571 }, { "rule": "planning/inline-primitive", "detail": "logand-general", "count": 8 }, { "rule": "planning/inline-primitive", "detail": "not-greater-real", "count": 71 }, { "rule": "planning/inline-primitive", "detail": "not-less-real", "count": 154 }, { "rule": "planning/inline-primitive", "detail": "null", "count": 458 }, { "rule": "planning/inline-primitive", "detail": "puthash", "count": 149 }, { "rule": "planning/inline-primitive", "detail": "row-major-ref", "count": 2 }, { "rule": "planning/inline-primitive", "detail": "row-major-set", "count": 1 }, { "rule": "planning/inline-primitive", "detail": "simple-vector-p", "count": 125 }, { "rule": "planning/inline-primitive", "detail": "true", "count": 10 }, { "rule": "planning/inline-primitive", "detail": "vector-length", "count": 113 }, { "rule": "planning/inline-primitive", "detail": "zero-number", "count": 56 }, { "rule": "planning/inline-vector", "detail": "aref", "count": 66 }, { "rule": "planning/inline-vector", "detail": "svref", "count": 2214 }, { "rule": "planning/unboxed-argument", "detail": "33", "count": 2 }, { "rule": "planning/unboxed-argument", "detail": "9", "count": 1 }, { "rule": "planning/unboxed-cell", "detail": "13", "count": 1 }, { "rule": "planning/unboxed-cell", "detail": "32", "count": 1 }, { "rule": "planning/unboxed-cell", "detail": "33", "count": 3 }, { "rule": "planning/unboxed-cell", "detail": "34", "count": 6 }, { "rule": "planning/unboxed-cell", "detail": "4", "count": 1 }, { "rule": "planning/unboxed-cell", "detail": "64", "count": 1 }, { "rule": "planning/unboxed-result", "detail": "124", "count": 70 }, { "rule": "planning/unboxed-result", "detail": "125", "count": 54 }, { "rule": "planning/unboxed-result", "detail": "126", "count": 4 }, { "rule": "planning/unboxed-result", "detail": "131", "count": 7 }, { "rule": "planning/unboxed-result", "detail": "132", "count": 8 }, { "rule": "planning/unboxed-result", "detail": "133", "count": 1 }, { "rule": "planning/unboxed-result", "detail": "134", "count": 2 }, { "rule": "planning/unboxed-result", "detail": "135", "count": 4 }, { "rule": "proof/branch-premise", "detail": "cons", "count": 294 }, { "rule": "proof/branch-premise", "detail": "plusp", "count": 17 }, { "rule": "proof/branch-premise", "detail": "simple-vector", "count": 253 }, { "rule": "proof/branch-premise", "detail": "t", "count": 2292 }, { "rule": "proof/branch-premise", "detail": "zerop", "count": 16 }, { "rule": "proof/branch-reachability", "detail": "t", "count": 113 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 421 }, { "rule": "proof/integer-branch-refinement", "detail": "plusp", "count": 11 }, { "rule": "proof/integer-branch-refinement", "detail": "zerop", "count": 6 }, { "rule": "proof/integer-comparison-unknown", "detail": "/=", "count": 9 }, { "rule": "proof/integer-comparison-unknown", "detail": "<", "count": 162 }, { "rule": "proof/integer-comparison-unknown", "detail": "<=", "count": 80 }, { "rule": "proof/integer-comparison-unknown", "detail": "=", "count": 316 }, { "rule": "proof/integer-comparison-unknown", "detail": ">", "count": 54 }, { "rule": "proof/integer-comparison-unknown", "detail": ">=", "count": 252 }, { "rule": "proof/integer-comparison-unknown", "detail": "eq", "count": 822 }, { "rule": "proof/integer-comparison-unknown", "detail": "eql", "count": 1592 }, { "rule": "proof/integer-identity-known", "detail": "+", "count": 153 }, { "rule": "proof/integer-identity-known", "detail": "ash", "count": 3 }, { "rule": "proof/integer-identity-known", "detail": "logior", "count": 5 }, { "rule": "proof/integer-identity-unknown", "detail": "-", "count": 350 }, { "rule": "proof/integer-identity-unknown", "detail": "*", "count": 32 }, { "rule": "proof/integer-identity-unknown", "detail": "+", "count": 1339 }, { "rule": "proof/integer-identity-unknown", "detail": "ash", "count": 92 }, { "rule": "proof/integer-identity-unknown", "detail": "logand", "count": 34 }, { "rule": "proof/integer-identity-unknown", "detail": "logior", "count": 69 }, { "rule": "proof/integer-identity-unknown", "detail": "logxor", "count": 2 }, { "rule": "proof/integer-predicate-true", "detail": "plusp", "count": 18 }, { "rule": "proof/integer-predicate-unknown", "detail": "evenp", "count": 6 }, { "rule": "proof/integer-predicate-unknown", "detail": "minusp", "count": 47 }, { "rule": "proof/integer-predicate-unknown", "detail": "oddp", "count": 7 }, { "rule": "proof/integer-predicate-unknown", "detail": "plusp", "count": 76 }, { "rule": "proof/integer-predicate-unknown", "detail": "zerop", "count": 160 }, { "rule": "proof/integer-shift-range", "detail": "left", "count": 2 }, { "rule": "proof/integer-shift-range", "detail": "right", "count": 4 }, { "rule": "proof/integer-shift-result-range", "detail": "left", "count": 13 }, { "rule": "proof/integer-shift-result-range", "detail": "right", "count": 8 }, { "rule": "proof/interval-widening", "detail": "", "count": 195 } ], "elapsedMs": 159553.034017, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "791bc19c-cb1e-4a17-97a1-1f2e9946a6e1", "generatedAt": "2026-11-15T21:33:52.765Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "runtime", "node": "v26.13.1", "workload": "compiler-bootstrap", "phase": "sealed compiler module", "status": "complete", "counters": [ { "rule": "inference/declared-argument", "detail": "", "count": 40 }, { "rule": "lowering/function-control", "detail": "dispatcher", "count": 5 }, { "rule": "lowering/function-control", "detail": "forward", "count": 346 }, { "rule": "lowering/function-control", "detail": "structured", "count": 244 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 81 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 3180 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 2781 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 735 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 204 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 668736 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 453611 }, { "rule": "optimization/cell-folding", "detail": "", "count": 851 }, { "rule": "optimization/hir-constant", "detail": "", "count": 691 }, { "rule": "optimization/hir-constant-branch", "detail": "", "count": 222 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 16576 }, { "rule": "optimization/hir-copy", "detail": "cell-write", "count": 850 }, { "rule": "optimization/inline-primitive", "detail": "124", "count": 73 }, { "rule": "optimization/inline-primitive", "detail": "125", "count": 57 }, { "rule": "optimization/inline-primitive", "detail": "126", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "131", "count": 7 }, { "rule": "optimization/inline-primitive", "detail": "132", "count": 8 }, { "rule": "optimization/inline-primitive", "detail": "133", "count": 1 }, { "rule": "optimization/inline-primitive", "detail": "134", "count": 2 }, { "rule": "optimization/inline-primitive", "detail": "135", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "80", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "81", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "82", "count": 2 }, { "rule": "optimization/inline-primitive", "detail": "83", "count": 7 }, { "rule": "optimization/inline-primitive", "detail": "85", "count": 2 }, { "rule": "optimization/inline-primitive", "detail": "87", "count": 3 }, { "rule": "optimization/inline-primitive", "detail": "89", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "ash-general", "count": 33 }, { "rule": "optimization/inline-primitive", "detail": "car", "count": 33 }, { "rule": "optimization/inline-primitive", "detail": "car-cons", "count": 651 }, { "rule": "optimization/inline-primitive", "detail": "cdr", "count": 162 }, { "rule": "optimization/inline-primitive", "detail": "cdr-cons", "count": 334 }, { "rule": "optimization/inline-primitive", "detail": "checked-car", "count": 1088 }, { "rule": "optimization/inline-primitive", "detail": "checked-cdr", "count": 785 }, { "rule": "optimization/inline-primitive", "detail": "code-character", "count": 1 }, { "rule": "optimization/inline-primitive", "detail": "cons", "count": 472 }, { "rule": "optimization/inline-primitive", "detail": "consp", "count": 4 }, { "rule": "optimization/inline-primitive", "detail": "eq", "count": 346 }, { "rule": "optimization/inline-primitive", "detail": "eql", "count": 35 }, { "rule": "optimization/inline-primitive", "detail": "gethash", "count": 347 }, { "rule": "optimization/inline-primitive", "detail": "greater-real", "count": 47 }, { "rule": "optimization/inline-primitive", "detail": "integer-length", "count": 9 }, { "rule": "optimization/inline-primitive", "detail": "length", "count": 351 }, { "rule": "optimization/inline-primitive", "detail": "less-real", "count": 143 }, { "rule": "optimization/inline-primitive", "detail": "list", "count": 571 }, { "rule": "optimization/inline-primitive", "detail": "logand-general", "count": 8 }, { "rule": "optimization/inline-primitive", "detail": "not-greater-real", "count": 71 }, { "rule": "optimization/inline-primitive", "detail": "not-less-real", "count": 154 }, { "rule": "optimization/inline-primitive", "detail": "null", "count": 209 }, { "rule": "optimization/inline-primitive", "detail": "puthash", "count": 149 }, { "rule": "optimization/inline-primitive", "detail": "row-major-ref", "count": 2 }, { "rule": "optimization/inline-primitive", "detail": "row-major-set", "count": 1 }, { "rule": "optimization/inline-primitive", "detail": "simple-vector-p", "count": 125 }, { "rule": "optimization/inline-primitive", "detail": "vector-length", "count": 114 }, { "rule": "optimization/inline-primitive", "detail": "zero-number", "count": 56 }, { "rule": "optimization/inline-shift", "detail": "left", "count": 2 }, { "rule": "optimization/inline-shift", "detail": "right", "count": 4 }, { "rule": "optimization/inline-vector", "detail": "read", "count": 2064 }, { "rule": "optimization/inline-vector", "detail": "write", "count": 217 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 5442 }, { "rule": "optimization/local-copy-back", "detail": "", "count": 22 }, { "rule": "optimization/local-copy-fold", "detail": "32", "count": 156 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 2138 }, { "rule": "optimization/local-self-tee", "detail": "", "count": 286 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 11614 }, { "rule": "optimization/loop-hoist", "detail": "capture", "count": 805 }, { "rule": "optimization/loop-hoist", "detail": "eq", "count": 17 }, { "rule": "optimization/loop-hoist", "detail": "null", "count": 8 }, { "rule": "optimization/proven-condition", "detail": "0", "count": 118 }, { "rule": "optimization/proven-condition", "detail": "3", "count": 6 }, { "rule": "optimization/raw-predicate-branch", "detail": "80", "count": 22 }, { "rule": "optimization/raw-predicate-branch", "detail": "81", "count": 104 }, { "rule": "optimization/raw-predicate-branch", "detail": "82", "count": 1 }, { "rule": "optimization/raw-predicate-branch", "detail": "83", "count": 15 }, { "rule": "optimization/raw-predicate-branch", "detail": "85", "count": 15 }, { "rule": "optimization/raw-predicate-branch", "detail": "87", "count": 5 }, { "rule": "optimization/raw-predicate-branch", "detail": "89", "count": 92 }, { "rule": "optimization/raw-predicate-branch", "detail": "consp", "count": 169 }, { "rule": "optimization/raw-predicate-branch", "detail": "eq", "count": 1675 }, { "rule": "optimization/raw-predicate-branch", "detail": "eql", "count": 272 }, { "rule": "optimization/raw-predicate-branch", "detail": "evenp", "count": 2 }, { "rule": "optimization/raw-predicate-branch", "detail": "null", "count": 245 }, { "rule": "optimization/removed-imports", "detail": "", "count": 168 }, { "rule": "optimization/shared-body", "detail": "", "count": 48 }, { "rule": "optimization/single-value-join", "detail": "", "count": 4512 }, { "rule": "optimization/unboxed-argument-initialize", "detail": "", "count": 3 }, { "rule": "optimization/unboxed-argument-read", "detail": "", "count": 22 }, { "rule": "optimization/unboxed-cell", "detail": "cell-new", "count": 13 }, { "rule": "optimization/unboxed-cell", "detail": "cell-read", "count": 34 }, { "rule": "optimization/unboxed-cell", "detail": "cell-write", "count": 22 }, { "rule": "optimization/unboxed-result", "detail": "124", "count": 73 }, { "rule": "optimization/unboxed-result", "detail": "125", "count": 57 }, { "rule": "optimization/unboxed-result", "detail": "126", "count": 4 }, { "rule": "optimization/unboxed-result", "detail": "131", "count": 7 }, { "rule": "optimization/unboxed-result", "detail": "132", "count": 8 }, { "rule": "optimization/unboxed-result", "detail": "133", "count": 1 }, { "rule": "optimization/unboxed-result", "detail": "134", "count": 2 }, { "rule": "optimization/unboxed-result", "detail": "135", "count": 4 }, { "rule": "optimization/unboxed-result-box", "detail": "", "count": 144 }, { "rule": "optimization/unboxed-result-read", "detail": "", "count": 97 }, { "rule": "planning/inline-primitive", "detail": "124", "count": 73 }, { "rule": "planning/inline-primitive", "detail": "125", "count": 57 }, { "rule": "planning/inline-primitive", "detail": "126", "count": 4 }, { "rule": "planning/inline-primitive", "detail": "131", "count": 7 }, { "rule": "planning/inline-primitive", "detail": "132", "count": 8 }, { "rule": "planning/inline-primitive", "detail": "133", "count": 1 }, { "rule": "planning/inline-primitive", "detail": "134", "count": 2 }, { "rule": "planning/inline-primitive", "detail": "135", "count": 4 }, { "rule": "planning/inline-primitive", "detail": "80", "count": 26 }, { "rule": "planning/inline-primitive", "detail": "81", "count": 108 }, { "rule": "planning/inline-primitive", "detail": "82", "count": 3 }, { "rule": "planning/inline-primitive", "detail": "83", "count": 22 }, { "rule": "planning/inline-primitive", "detail": "85", "count": 17 }, { "rule": "planning/inline-primitive", "detail": "87", "count": 8 }, { "rule": "planning/inline-primitive", "detail": "89", "count": 96 }, { "rule": "planning/inline-primitive", "detail": "ash-general", "count": 33 }, { "rule": "planning/inline-primitive", "detail": "car", "count": 37 }, { "rule": "planning/inline-primitive", "detail": "car-cons", "count": 653 }, { "rule": "planning/inline-primitive", "detail": "cdr", "count": 162 }, { "rule": "planning/inline-primitive", "detail": "cdr-cons", "count": 334 }, { "rule": "planning/inline-primitive", "detail": "checked-car", "count": 1088 }, { "rule": "planning/inline-primitive", "detail": "checked-cdr", "count": 785 }, { "rule": "planning/inline-primitive", "detail": "code-character", "count": 1 }, { "rule": "planning/inline-primitive", "detail": "cons", "count": 472 }, { "rule": "planning/inline-primitive", "detail": "consp", "count": 173 }, { "rule": "planning/inline-primitive", "detail": "eq", "count": 2021 }, { "rule": "planning/inline-primitive", "detail": "eql", "count": 307 }, { "rule": "planning/inline-primitive", "detail": "evenp", "count": 2 }, { "rule": "planning/inline-primitive", "detail": "gethash", "count": 347 }, { "rule": "planning/inline-primitive", "detail": "greater-real", "count": 47 }, { "rule": "planning/inline-primitive", "detail": "integer-length", "count": 9 }, { "rule": "planning/inline-primitive", "detail": "length", "count": 351 }, { "rule": "planning/inline-primitive", "detail": "less-real", "count": 143 }, { "rule": "planning/inline-primitive", "detail": "list", "count": 571 }, { "rule": "planning/inline-primitive", "detail": "logand-general", "count": 8 }, { "rule": "planning/inline-primitive", "detail": "not-greater-real", "count": 71 }, { "rule": "planning/inline-primitive", "detail": "not-less-real", "count": 154 }, { "rule": "planning/inline-primitive", "detail": "null", "count": 458 }, { "rule": "planning/inline-primitive", "detail": "puthash", "count": 149 }, { "rule": "planning/inline-primitive", "detail": "row-major-ref", "count": 2 }, { "rule": "planning/inline-primitive", "detail": "row-major-set", "count": 1 }, { "rule": "planning/inline-primitive", "detail": "simple-vector-p", "count": 125 }, { "rule": "planning/inline-primitive", "detail": "true", "count": 10 }, { "rule": "planning/inline-primitive", "detail": "vector-length", "count": 114 }, { "rule": "planning/inline-primitive", "detail": "zero-number", "count": 56 }, { "rule": "planning/inline-vector", "detail": "aref", "count": 66 }, { "rule": "planning/inline-vector", "detail": "svref", "count": 2215 }, { "rule": "planning/unboxed-argument", "detail": "33", "count": 2 }, { "rule": "planning/unboxed-argument", "detail": "9", "count": 1 }, { "rule": "planning/unboxed-cell", "detail": "13", "count": 1 }, { "rule": "planning/unboxed-cell", "detail": "32", "count": 1 }, { "rule": "planning/unboxed-cell", "detail": "33", "count": 3 }, { "rule": "planning/unboxed-cell", "detail": "34", "count": 6 }, { "rule": "planning/unboxed-cell", "detail": "4", "count": 1 }, { "rule": "planning/unboxed-cell", "detail": "64", "count": 1 }, { "rule": "planning/unboxed-result", "detail": "124", "count": 73 }, { "rule": "planning/unboxed-result", "detail": "125", "count": 57 }, { "rule": "planning/unboxed-result", "detail": "126", "count": 4 }, { "rule": "planning/unboxed-result", "detail": "131", "count": 7 }, { "rule": "planning/unboxed-result", "detail": "132", "count": 8 }, { "rule": "planning/unboxed-result", "detail": "133", "count": 1 }, { "rule": "planning/unboxed-result", "detail": "134", "count": 2 }, { "rule": "planning/unboxed-result", "detail": "135", "count": 4 }, { "rule": "proof/branch-premise", "detail": "cons", "count": 294 }, { "rule": "proof/branch-premise", "detail": "plusp", "count": 17 }, { "rule": "proof/branch-premise", "detail": "simple-vector", "count": 253 }, { "rule": "proof/branch-premise", "detail": "t", "count": 2292 }, { "rule": "proof/branch-premise", "detail": "zerop", "count": 16 }, { "rule": "proof/branch-reachability", "detail": "t", "count": 124 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 421 }, { "rule": "proof/integer-branch-refinement", "detail": "plusp", "count": 11 }, { "rule": "proof/integer-branch-refinement", "detail": "zerop", "count": 6 }, { "rule": "proof/integer-comparison-unknown", "detail": "/=", "count": 9 }, { "rule": "proof/integer-comparison-unknown", "detail": "<", "count": 162 }, { "rule": "proof/integer-comparison-unknown", "detail": "<=", "count": 80 }, { "rule": "proof/integer-comparison-unknown", "detail": "=", "count": 314 }, { "rule": "proof/integer-comparison-unknown", "detail": ">", "count": 54 }, { "rule": "proof/integer-comparison-unknown", "detail": ">=", "count": 252 }, { "rule": "proof/integer-comparison-unknown", "detail": "eq", "count": 823 }, { "rule": "proof/integer-comparison-unknown", "detail": "eql", "count": 1592 }, { "rule": "proof/integer-complement-range", "detail": "", "count": 2 }, { "rule": "proof/integer-identity-known", "detail": "-", "count": 1 }, { "rule": "proof/integer-identity-known", "detail": "+", "count": 153 }, { "rule": "proof/integer-identity-known", "detail": "ash", "count": 4 }, { "rule": "proof/integer-identity-known", "detail": "logior", "count": 5 }, { "rule": "proof/integer-identity-unknown", "detail": "-", "count": 351 }, { "rule": "proof/integer-identity-unknown", "detail": "*", "count": 32 }, { "rule": "proof/integer-identity-unknown", "detail": "+", "count": 1340 }, { "rule": "proof/integer-identity-unknown", "detail": "ash", "count": 95 }, { "rule": "proof/integer-identity-unknown", "detail": "logand", "count": 34 }, { "rule": "proof/integer-identity-unknown", "detail": "logior", "count": 73 }, { "rule": "proof/integer-identity-unknown", "detail": "logxor", "count": 2 }, { "rule": "proof/integer-predicate-true", "detail": "plusp", "count": 18 }, { "rule": "proof/integer-predicate-unknown", "detail": "evenp", "count": 6 }, { "rule": "proof/integer-predicate-unknown", "detail": "minusp", "count": 47 }, { "rule": "proof/integer-predicate-unknown", "detail": "oddp", "count": 7 }, { "rule": "proof/integer-predicate-unknown", "detail": "plusp", "count": 76 }, { "rule": "proof/integer-predicate-unknown", "detail": "zerop", "count": 160 }, { "rule": "proof/integer-shift-range", "detail": "left", "count": 2 }, { "rule": "proof/integer-shift-range", "detail": "right", "count": 4 }, { "rule": "proof/integer-shift-result-range", "detail": "left", "count": 16 }, { "rule": "proof/integer-shift-result-range", "detail": "right", "count": 8 }, { "rule": "proof/interval-widening", "detail": "", "count": 196 } ], "elapsedMs": 27789.708134000015, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "e7188aaa-09ba-49ec-938f-cce4e75aabb9", "generatedAt": "2026-11-15T21:39:45.852Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-fricas", "node": "v26.13.1", "workload": "fricas", "phase": "compact portable input", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 3 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 78 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 62 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 3 }, { "rule": "optimization/removed-imports", "detail": "", "count": 356 } ], "elapsedMs": 9042.122089999999, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "402bb487-7026-4242-b5f0-a180b1241220", "generatedAt": "2026-11-15T21:44:17.779Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-fricas", "node": "v26.13.1", "workload": "fricas", "phase": "compile native code", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 19918 }, { "rule": "lowering/function-control", "detail": "structured", "count": 2157 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 1715 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 31961 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 34375 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 4278 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 1347 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 9455490 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 6311547 }, { "rule": "optimization/cell-folding", "detail": "", "count": 11929 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 16 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 106632 }, { "rule": "optimization/local-copy-back", "detail": "", "count": 71 }, { "rule": "optimization/local-copy-fold", "detail": "32", "count": 6961 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 46414 }, { "rule": "optimization/local-self-tee", "detail": "", "count": 799 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 260277 }, { "rule": "optimization/loop-hoist", "detail": "capture", "count": 13442 }, { "rule": "optimization/proven-condition", "detail": "1", "count": 288 }, { "rule": "optimization/removed-imports", "detail": "", "count": 11267 }, { "rule": "optimization/shared-body", "detail": "", "count": 96286 }, { "rule": "optimization/single-value-join", "detail": "", "count": 19556 }, { "rule": "proof/branch-premise", "detail": "", "count": 9 }, { "rule": "proof/branch-premise", "detail": "t", "count": 4618 }, { "rule": "proof/branch-reachability", "detail": "", "count": 15 }, { "rule": "proof/branch-reachability", "detail": "t", "count": 272 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 10 }, { "rule": "proof/integer-identity-known", "detail": "-", "count": 14 }, { "rule": "proof/integer-identity-unknown", "detail": "-", "count": 10 }, { "rule": "proof/integer-identity-unknown", "detail": "+", "count": 15 }, { "rule": "proof/interval-widening", "detail": "", "count": 4 } ], "elapsedMs": 266994.101472, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "aaa603c7-19aa-4a7a-a408-60295ae8ab90", "generatedAt": "2026-11-15T21:39:50.709Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-fricas", "node": "v26.13.1", "workload": "fricas", "phase": "load build environment", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 27 }, { "rule": "lowering/function-control", "detail": "structured", "count": 1 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 6 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 8 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 3 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 3283 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 2433 }, { "rule": "optimization/hir-constant", "detail": "", "count": 2 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 40 }, { "rule": "optimization/hir-copy", "detail": "cell-write", "count": 2 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 24 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 17 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 105 }, { "rule": "optimization/removed-imports", "detail": "", "count": 2862 }, { "rule": "optimization/shared-body", "detail": "", "count": 4 }, { "rule": "optimization/single-value-join", "detail": "", "count": 2 }, { "rule": "proof/branch-premise", "detail": "t", "count": 3 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 1 } ], "elapsedMs": 4769.223528, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "26e277cf-dd31-4e86-a4ba-3bb1d81caa2d", "generatedAt": "2026-11-15T21:44:26.150Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-fricas", "node": "v26.13.1", "workload": "fricas", "phase": "native output", "status": "complete", "recordType": "measurement", "counters": [], "runtimeBytes": 1000584, "inputBytes": 9923717, "outputBytes": 3860756 }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "a00f17ed-6ccc-4a0c-bc8a-99353c20af13", "generatedAt": "2026-11-15T21:44:23.473Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-game-of-life", "node": "v26.13.1", "workload": "game-of-life", "phase": "application output", "status": "complete", "recordType": "measurement", "counters": [], "runtimeBytes": 988874, "outputBytes": 2423530 }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "332d5f09-9e51-4f78-8d58-3dca5e7c5e3b", "generatedAt": "2026-11-15T21:44:23.460Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-game-of-life", "node": "v26.13.1", "workload": "game-of-life", "phase": "miricl-compiler:optimize-system", "status": "partial", "counters": [], "failure": "Counter collection: Unhandled condition.", "elapsedMs": 437201.29638899997, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "ec4aa2a5-7485-43cc-bfe5-6faaa8cc800d", "generatedAt": "2026-11-15T21:42:52.920Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-maxima", "node": "v26.13.1", "workload": "maxima", "phase": "compact portable input", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 3 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 78 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 62 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 3 }, { "rule": "optimization/removed-imports", "detail": "", "count": 356 } ], "elapsedMs": 20973.566013, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "7e37a601-9c88-4147-85d1-ee1cbde3171a", "generatedAt": "2026-11-15T21:52:50.818Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-maxima", "node": "v26.13.1", "workload": "maxima", "phase": "compile native code", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "dispatcher", "count": 58 }, { "rule": "lowering/function-control", "detail": "forward", "count": 38960 }, { "rule": "lowering/function-control", "detail": "structured", "count": 1729 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 885 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 73450 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 106658 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 8915 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 3054 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 19435972 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 12988280 }, { "rule": "optimization/cell-folding", "detail": "", "count": 20396 }, { "rule": "optimization/generic-dispatch", "detail": "1", "count": 1 }, { "rule": "optimization/generic-dispatch", "detail": "3", "count": 4 }, { "rule": "optimization/generic-dispatch", "detail": "6", "count": 3 }, { "rule": "optimization/hir-constant", "detail": "", "count": 152 }, { "rule": "optimization/hir-constant-branch", "detail": "", "count": 70 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 514 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 254603 }, { "rule": "optimization/local-copy-back", "detail": "", "count": 153 }, { "rule": "optimization/local-copy-fold", "detail": "32", "count": 4870 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 69892 }, { "rule": "optimization/local-self-tee", "detail": "", "count": 1790 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 421560 }, { "rule": "optimization/loop-hoist", "detail": "capture", "count": 769 }, { "rule": "optimization/proven-condition", "detail": "1", "count": 170 }, { "rule": "optimization/removed-imports", "detail": "", "count": 88513 }, { "rule": "optimization/shared-body", "detail": "", "count": 211070 }, { "rule": "optimization/single-value-join", "detail": "", "count": 15153 }, { "rule": "proof/branch-premise", "detail": "", "count": 8 }, { "rule": "proof/branch-premise", "detail": "t", "count": 11100 }, { "rule": "proof/branch-reachability", "detail": "", "count": 16 }, { "rule": "proof/branch-reachability", "detail": "t", "count": 131 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 659 }, { "rule": "proof/integer-identity-known", "detail": "+", "count": 1363 }, { "rule": "proof/integer-identity-unknown", "detail": "-", "count": 1430 }, { "rule": "proof/integer-identity-unknown", "detail": "*", "count": 25 }, { "rule": "proof/integer-identity-unknown", "detail": "+", "count": 810 }, { "rule": "proof/interval-widening", "detail": "", "count": 2 } ], "elapsedMs": 584461.9373519999, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "0b77d547-a563-4503-89c0-48d29a7b06da", "generatedAt": "2026-11-15T21:43:06.279Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-maxima", "node": "v26.13.1", "workload": "maxima", "phase": "load build environment", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "forward", "count": 18 }, { "rule": "lowering/function-control", "detail": "structured", "count": 1 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 1 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 4 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 5 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 4 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 3026 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 2240 }, { "rule": "optimization/hir-constant", "detail": "", "count": 3 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 34 }, { "rule": "optimization/hir-copy", "detail": "cell-write", "count": 2 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 16 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 16 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 96 }, { "rule": "optimization/removed-imports", "detail": "", "count": 2051 }, { "rule": "optimization/shared-body", "detail": "", "count": 2 }, { "rule": "optimization/single-value-join", "detail": "", "count": 1 }, { "rule": "proof/branch-premise", "detail": "t", "count": 2 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 1 } ], "elapsedMs": 13274.804329999999, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "3e08803e-b197-47ba-b737-73c3b405cb75", "generatedAt": "2026-11-15T21:53:06.328Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-maxima", "node": "v26.13.1", "workload": "maxima", "phase": "native output", "status": "complete", "recordType": "measurement", "counters": [], "runtimeBytes": 1000584, "inputBytes": 22318657, "outputBytes": 8303752 }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "3d28760f-8d12-4a2e-93b3-d87916b02063", "generatedAt": "2026-11-15T21:52:26.668Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-mcclim", "node": "v26.13.1", "workload": "mcclim", "phase": "native bundle", "status": "complete", "counters": [ { "rule": "lowering/function-control", "detail": "dispatcher", "count": 202 }, { "rule": "lowering/function-control", "detail": "forward", "count": 71315 }, { "rule": "lowering/function-control", "detail": "structured", "count": 1716 }, { "rule": "lowering/ordinary-call", "detail": "0", "count": 1592 }, { "rule": "lowering/ordinary-call", "detail": "1", "count": 82167 }, { "rule": "lowering/ordinary-call", "detail": "2", "count": 106940 }, { "rule": "lowering/ordinary-call", "detail": "3", "count": 20374 }, { "rule": "lowering/ordinary-call", "detail": "4", "count": 13784 }, { "rule": "lowering/wasm-input-bytes", "detail": "", "count": 25005461 }, { "rule": "lowering/wasm-output-bytes", "detail": "", "count": 18459333 }, { "rule": "optimization/cell-folding", "detail": "", "count": 26322 }, { "rule": "optimization/generic-dispatch", "detail": "0", "count": 150 }, { "rule": "optimization/generic-dispatch", "detail": "2", "count": 3 }, { "rule": "optimization/generic-dispatch", "detail": "3", "count": 1 }, { "rule": "optimization/generic-dispatch", "detail": "4", "count": 1 }, { "rule": "optimization/hir-copy", "detail": "cell-read", "count": 1222 }, { "rule": "optimization/inline-primitive", "detail": "length", "count": 4 }, { "rule": "optimization/literal-function-fusion", "detail": "", "count": 318682 }, { "rule": "optimization/local-copy-back", "detail": "", "count": 294 }, { "rule": "optimization/local-copy-fold", "detail": "32", "count": 2049 }, { "rule": "optimization/local-copy-fold", "detail": "33", "count": 66364 }, { "rule": "optimization/local-self-tee", "detail": "", "count": 1530 }, { "rule": "optimization/local-slots-removed", "detail": "", "count": 624173 }, { "rule": "optimization/loop-hoist", "detail": "capture", "count": 1020 }, { "rule": "optimization/proven-condition", "detail": "0", "count": 4 }, { "rule": "optimization/proven-condition", "detail": "1", "count": 106 }, { "rule": "optimization/removed-imports", "detail": "", "count": 2009642 }, { "rule": "optimization/shared-body", "detail": "", "count": 199898 }, { "rule": "optimization/single-value-join", "detail": "", "count": 16238 }, { "rule": "planning/inline-primitive", "detail": "length", "count": 4 }, { "rule": "proof/branch-premise", "detail": "", "count": 20 }, { "rule": "proof/branch-premise", "detail": "t", "count": 15224 }, { "rule": "proof/branch-reachability", "detail": "t", "count": 42 }, { "rule": "proof/branch-write-barrier", "detail": "", "count": 828 }, { "rule": "proof/integer-identity-unknown", "detail": "-", "count": 4 }, { "rule": "proof/integer-identity-unknown", "detail": "+", "count": 72 } ], "elapsedMs": 615396.829043, "timingIncludesCollection": true }, { "schemaVersion": 1, "kind": "compiler-statistics", "id": "29f53c78-b012-4213-ac66-8be899ad481b", "generatedAt": "2026-11-15T21:52:26.712Z", "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330", "runId": "43763876593", "attempt": "1", "job": "application-mcclim", "node": "v26.13.1", "workload": "mcclim", "phase": "native output", "status": "complete", "recordType": "measurement", "counters": [], "runtimeBytes": 1000584, "inputBytes": 15925869, "outputBytes": 6215376 } ], "diagnostics": [] }