{
  "schemaVersion": 1,
  "generatedAt": "2026-11-15T22:17:23.705Z",
  "commit": "70bf5bdd156aedf31952f441e1ce51a8af9c5330",
  "runURL": "https://github.com/ak-coram/miricl/actions/runs/43763876593",
  "compression": {
    "gzipLevel": 9,
    "brotliQuality": 11
  },
  "tools": {
    "node": "26.13.1",
    "zlib": "1.3.2.1-motley-456ae73"
  },
  "artifacts": [
    {
      "file": "miricl-cold.wasm",
      "rawBytes": 612599,
      "downloadBytes": 612599,
      "gzipBytes": 304590,
      "brotliBytes": 263357,
      "sections": [
        {
          "name": "header",
          "bytes": 8,
          "count": 1
        },
        {
          "name": "type",
          "bytes": 3326,
          "count": 1
        },
        {
          "name": "function",
          "bytes": 1893,
          "count": 1
        },
        {
          "name": "table",
          "bytes": 26,
          "count": 1
        },
        {
          "name": "memory",
          "bytes": 7,
          "count": 1
        },
        {
          "name": "tag",
          "bytes": 5,
          "count": 1
        },
        {
          "name": "global",
          "bytes": 7905,
          "count": 1
        },
        {
          "name": "export",
          "bytes": 5500,
          "count": 1
        },
        {
          "name": "data-count",
          "bytes": 3,
          "count": 1
        },
        {
          "name": "code",
          "bytes": 308953,
          "count": 1
        },
        {
          "name": "data",
          "bytes": 273263,
          "count": 1
        },
        {
          "name": "custom:miricl.repl-bridge",
          "bytes": 11710,
          "count": 1
        }
      ],
      "description": "Cold interpreter and compiler for bootstrapping",
      "kind": "wasm"
    },
    {
      "file": "miricl-interpreter.wasm",
      "rawBytes": 495286,
      "downloadBytes": 495286,
      "gzipBytes": 235945,
      "brotliBytes": 203467,
      "sections": [
        {
          "name": "header",
          "bytes": 8,
          "count": 1
        },
        {
          "name": "type",
          "bytes": 3302,
          "count": 1
        },
        {
          "name": "function",
          "bytes": 1879,
          "count": 1
        },
        {
          "name": "table",
          "bytes": 26,
          "count": 1
        },
        {
          "name": "memory",
          "bytes": 7,
          "count": 1
        },
        {
          "name": "tag",
          "bytes": 5,
          "count": 1
        },
        {
          "name": "global",
          "bytes": 7913,
          "count": 1
        },
        {
          "name": "export",
          "bytes": 5500,
          "count": 1
        },
        {
          "name": "data-count",
          "bytes": 3,
          "count": 1
        },
        {
          "name": "code",
          "bytes": 303421,
          "count": 1
        },
        {
          "name": "data",
          "bytes": 161512,
          "count": 1
        },
        {
          "name": "custom:miricl.repl-bridge",
          "bytes": 11710,
          "count": 1
        }
      ],
      "description": "Import-free interpreter with the compact HIR compiler",
      "kind": "wasm"
    },
    {
      "file": "miricl.wasm",
      "rawBytes": 1000584,
      "downloadBytes": 1000584,
      "gzipBytes": 390626,
      "brotliBytes": 323758,
      "sections": [
        {
          "name": "header",
          "bytes": 8,
          "count": 1
        },
        {
          "name": "type",
          "bytes": 3326,
          "count": 1
        },
        {
          "name": "function",
          "bytes": 2469,
          "count": 1
        },
        {
          "name": "table",
          "bytes": 32,
          "count": 1
        },
        {
          "name": "memory",
          "bytes": 7,
          "count": 1
        },
        {
          "name": "tag",
          "bytes": 5,
          "count": 1
        },
        {
          "name": "global",
          "bytes": 7893,
          "count": 1
        },
        {
          "name": "export",
          "bytes": 5479,
          "count": 1
        },
        {
          "name": "element",
          "bytes": 1152,
          "count": 1
        },
        {
          "name": "data-count",
          "bytes": 3,
          "count": 1
        },
        {
          "name": "code",
          "bytes": 749140,
          "count": 1
        },
        {
          "name": "data",
          "bytes": 219360,
          "count": 1
        },
        {
          "name": "custom:miricl.repl-bridge",
          "bytes": 11710,
          "count": 1
        }
      ],
      "description": "Import-free interpreter with bootstrapped native compiler",
      "kind": "wasm"
    },
    {
      "file": "miricl-repl.wasm",
      "rawBytes": 2006930,
      "downloadBytes": 2006930,
      "gzipBytes": 783113,
      "brotliBytes": 362252,
      "sections": [
        {
          "name": "header",
          "bytes": 8,
          "count": 1
        },
        {
          "name": "type",
          "bytes": 2853,
          "count": 13
        },
        {
          "name": "import",
          "bytes": 324,
          "count": 10
        },
        {
          "name": "alias",
          "bytes": 925,
          "count": 24
        },
        {
          "name": "component",
          "bytes": 19615,
          "count": 1
        },
        {
          "name": "core-module",
          "bytes": 991985,
          "count": 4
        },
        {
          "name": "core-instance",
          "bytes": 736,
          "count": 4
        },
        {
          "name": "canonical",
          "bytes": 217,
          "count": 18
        },
        {
          "name": "component-instance",
          "bytes": 178,
          "count": 2
        },
        {
          "name": "export",
          "bytes": 26,
          "count": 1
        },
        {
          "name": "custom:component-name",
          "bytes": 1164,
          "count": 1
        },
        {
          "name": "custom:miricl.node-compiler",
          "bytes": 988899,
          "count": 1
        }
      ],
      "description": "Terminal REPL and precompiled compiler for Node and WASI",
      "kind": "wasm"
    },
    {
      "file": "miricl-asdf.wasm",
      "rawBytes": 1385383,
      "downloadBytes": 1385383,
      "gzipBytes": 438886,
      "brotliBytes": 324696,
      "sections": [
        {
          "name": "header",
          "bytes": 8,
          "count": 1
        },
        {
          "name": "custom:miricl.fasl",
          "bytes": 1385375,
          "count": 1
        }
      ],
      "description": "Optional ASDF and UIOP library",
      "kind": "wasm"
    },
    {
      "file": "miricl.html",
      "rawBytes": 639250,
      "downloadBytes": 639250,
      "gzipBytes": 422412,
      "brotliBytes": 414751,
      "description": "Complete browser REPL page",
      "kind": "html"
    },
    {
      "file": "todo.html",
      "rawBytes": 391476,
      "downloadBytes": 391476,
      "gzipBytes": 255592,
      "brotliBytes": 250117,
      "description": "Complete Common Lisp + CLOS TODO page",
      "kind": "html"
    },
    {
      "file": "game-of-life/",
      "description": "Game of Life — total HTML, adapter, interpreter and application",
      "kind": "application",
      "rawBytes": 3549686,
      "gzipBytes": 1016930,
      "brotliBytes": 763910,
      "downloadBytes": 1108196,
      "files": [
        {
          "file": "game-of-life/build/index.html",
          "rawBytes": 5064,
          "downloadBytes": 5064,
          "gzipBytes": 2194,
          "brotliBytes": 1733
        },
        {
          "file": "game-of-life/build/miricl.js",
          "rawBytes": 120508,
          "downloadBytes": 120508,
          "gzipBytes": 32112,
          "brotliBytes": 27512
        },
        {
          "file": "game-of-life/build/miricl.wasm.gz",
          "rawBytes": 1000584,
          "downloadBytes": 390626,
          "gzipBytes": 390626,
          "brotliBytes": 323758
        },
        {
          "file": "game-of-life/build/game-of-life.wasm.gz",
          "rawBytes": 2423530,
          "downloadBytes": 591998,
          "gzipBytes": 591998,
          "brotliBytes": 410907
        }
      ]
    },
    {
      "file": "game-of-life/build/game-of-life.wasm.gz",
      "rawBytes": 2423530,
      "downloadBytes": 591998,
      "gzipBytes": 591998,
      "brotliBytes": 410907,
      "sections": [
        {
          "name": "header",
          "bytes": 8,
          "count": 1
        },
        {
          "name": "custom:miricl.fasl",
          "bytes": 2423522,
          "count": 58
        }
      ],
      "description": "Game of Life — Lisp payload only (included in total above)",
      "kind": "wasm"
    },
    {
      "file": "maxima/",
      "description": "Maxima — HTML, scripts, interpreter and optimized core",
      "kind": "application",
      "rawBytes": 9417140,
      "gzipBytes": 2662927,
      "brotliBytes": 1893508,
      "downloadBytes": 2742838,
      "files": [
        {
          "file": "build/maxima/site/index.html",
          "rawBytes": 9839,
          "downloadBytes": 9839,
          "gzipBytes": 3453,
          "brotliBytes": 2797
        },
        {
          "file": "build/maxima/site/app.mjs",
          "rawBytes": 19220,
          "downloadBytes": 19220,
          "gzipBytes": 5489,
          "brotliBytes": 4780
        },
        {
          "file": "build/maxima/site/examples.mjs",
          "rawBytes": 2203,
          "downloadBytes": 2203,
          "gzipBytes": 979,
          "brotliBytes": 834
        },
        {
          "file": "build/maxima/site/session-store.mjs",
          "rawBytes": 6693,
          "downloadBytes": 6693,
          "gzipBytes": 2361,
          "brotliBytes": 2067
        },
        {
          "file": "build/maxima/site/worker.mjs",
          "rawBytes": 1383,
          "downloadBytes": 1383,
          "gzipBytes": 596,
          "brotliBytes": 520
        },
        {
          "file": "build/maxima/site/miricl.mjs",
          "rawBytes": 67791,
          "downloadBytes": 67791,
          "gzipBytes": 18196,
          "brotliBytes": 15713
        },
        {
          "file": "build/maxima/site/maxima.mjs",
          "rawBytes": 5675,
          "downloadBytes": 5675,
          "gzipBytes": 1819,
          "brotliBytes": 1608
        },
        {
          "file": "build/maxima/site/miricl.wasm.gz",
          "rawBytes": 1000584,
          "downloadBytes": 390626,
          "gzipBytes": 390626,
          "brotliBytes": 323758
        },
        {
          "file": "build/maxima/site/maxima.core.gz",
          "rawBytes": 8303752,
          "downloadBytes": 2239408,
          "gzipBytes": 2239408,
          "brotliBytes": 1541431
        }
      ]
    },
    {
      "file": "build/maxima/site/maxima.core.gz",
      "rawBytes": 8303752,
      "downloadBytes": 2239408,
      "gzipBytes": 2239408,
      "brotliBytes": 1541431,
      "sections": [
        {
          "name": "header",
          "bytes": 8,
          "count": 1
        },
        {
          "name": "custom:miricl.fasl",
          "bytes": 8303744,
          "count": 321
        }
      ],
      "description": "Maxima — optimized Lisp core (included in total above)",
      "kind": "wasm"
    },
    {
      "file": "fricas/",
      "description": "FriCAS — initial HTML, scripts, interpreter, optimized image and algebra filesystem",
      "kind": "application",
      "rawBytes": 41578098,
      "gzipBytes": 9080872,
      "brotliBytes": 5655816,
      "downloadBytes": 9161883,
      "files": [
        {
          "file": "build/fricas/site/index.html",
          "rawBytes": 9964,
          "downloadBytes": 9964,
          "gzipBytes": 3502,
          "brotliBytes": 2848
        },
        {
          "file": "build/fricas/site/app.mjs",
          "rawBytes": 19220,
          "downloadBytes": 19220,
          "gzipBytes": 5491,
          "brotliBytes": 4779
        },
        {
          "file": "build/fricas/site/examples.mjs",
          "rawBytes": 2295,
          "downloadBytes": 2295,
          "gzipBytes": 1127,
          "brotliBytes": 939
        },
        {
          "file": "build/fricas/site/session-store.mjs",
          "rawBytes": 6693,
          "downloadBytes": 6693,
          "gzipBytes": 2361,
          "brotliBytes": 2067
        },
        {
          "file": "build/fricas/site/worker.mjs",
          "rawBytes": 1630,
          "downloadBytes": 1630,
          "gzipBytes": 666,
          "brotliBytes": 582
        },
        {
          "file": "build/fricas/site/miricl.mjs",
          "rawBytes": 67791,
          "downloadBytes": 67791,
          "gzipBytes": 18196,
          "brotliBytes": 15713
        },
        {
          "file": "build/fricas/site/fricas.mjs",
          "rawBytes": 2264,
          "downloadBytes": 2264,
          "gzipBytes": 1033,
          "brotliBytes": 884
        },
        {
          "file": "build/fricas/site/filesystem-archive.mjs",
          "rawBytes": 2065,
          "downloadBytes": 2065,
          "gzipBytes": 773,
          "brotliBytes": 703
        },
        {
          "file": "build/fricas/site/mounted-filesystem.mjs",
          "rawBytes": 3694,
          "downloadBytes": 3694,
          "gzipBytes": 1456,
          "brotliBytes": 1224
        },
        {
          "file": "build/fricas/site/miricl.wasm.gz",
          "rawBytes": 1000584,
          "downloadBytes": 390626,
          "gzipBytes": 390626,
          "brotliBytes": 323758
        },
        {
          "file": "build/fricas/site/fricas.wasm.gz",
          "rawBytes": 3860756,
          "downloadBytes": 1111330,
          "gzipBytes": 1111330,
          "brotliBytes": 750039
        },
        {
          "file": "build/fricas/site/filesystem.bin.gz",
          "rawBytes": 36601142,
          "downloadBytes": 7544311,
          "gzipBytes": 7544311,
          "brotliBytes": 4552280
        }
      ]
    },
    {
      "file": "build/fricas/site/fricas.wasm.gz",
      "rawBytes": 3860756,
      "downloadBytes": 1111330,
      "gzipBytes": 1111330,
      "brotliBytes": 750039,
      "sections": [
        {
          "name": "header",
          "bytes": 8,
          "count": 1
        },
        {
          "name": "custom:miricl.fasl",
          "bytes": 3860748,
          "count": 105
        }
      ],
      "description": "FriCAS — optimized Lisp payload (included in total above)",
      "kind": "wasm"
    },
    {
      "file": "acl2/",
      "description": "ACL2 — HTML, scripts and initialized native prover image",
      "kind": "application",
      "rawBytes": 89569518,
      "gzipBytes": 37584852,
      "brotliBytes": 27669070,
      "downloadBytes": 37708134,
      "files": [
        {
          "file": "build/acl2/site/index.html",
          "rawBytes": 50674,
          "downloadBytes": 50674,
          "gzipBytes": 9367,
          "brotliBytes": 7746
        },
        {
          "file": "build/acl2/site/app.mjs",
          "rawBytes": 19220,
          "downloadBytes": 19220,
          "gzipBytes": 5490,
          "brotliBytes": 4778
        },
        {
          "file": "build/acl2/site/examples.mjs",
          "rawBytes": 2449,
          "downloadBytes": 2449,
          "gzipBytes": 1128,
          "brotliBytes": 923
        },
        {
          "file": "build/acl2/site/session-store.mjs",
          "rawBytes": 6693,
          "downloadBytes": 6693,
          "gzipBytes": 2361,
          "brotliBytes": 2067
        },
        {
          "file": "build/acl2/site/worker.mjs",
          "rawBytes": 2388,
          "downloadBytes": 2388,
          "gzipBytes": 969,
          "brotliBytes": 836
        },
        {
          "file": "build/acl2/site/miricl.mjs",
          "rawBytes": 67791,
          "downloadBytes": 67791,
          "gzipBytes": 18196,
          "brotliBytes": 15713
        },
        {
          "file": "build/acl2/site/acl2.mjs",
          "rawBytes": 4835,
          "downloadBytes": 4835,
          "gzipBytes": 1935,
          "brotliBytes": 1655
        },
        {
          "file": "build/acl2/site/acl2-books.mjs",
          "rawBytes": 2650,
          "downloadBytes": 2650,
          "gzipBytes": 1088,
          "brotliBytes": 925
        },
        {
          "file": "build/acl2/site/dev-filesystem.mjs",
          "rawBytes": 8640,
          "downloadBytes": 8640,
          "gzipBytes": 2816,
          "brotliBytes": 2462
        },
        {
          "file": "build/acl2/site/filesystem-archive.mjs",
          "rawBytes": 2065,
          "downloadBytes": 2065,
          "gzipBytes": 773,
          "brotliBytes": 703
        },
        {
          "file": "build/acl2/site/acl2-image.wasm.gz",
          "rawBytes": 89402113,
          "downloadBytes": 37540729,
          "gzipBytes": 37540729,
          "brotliBytes": 27631262
        }
      ]
    },
    {
      "file": "build/acl2/site/acl2-image.wasm.gz",
      "rawBytes": 89402113,
      "downloadBytes": 37540729,
      "gzipBytes": 37540729,
      "brotliBytes": 27631262,
      "description": "ACL2 — initialized world and runtime, 89,402,113 bytes before gzip (archive included in total above)",
      "kind": "data",
      "uncompressedBytes": 89402113
    },
    {
      "file": "build/acl2/books/filesystem.bin.gz",
      "rawBytes": 23952945,
      "downloadBytes": 3733729,
      "gzipBytes": 3733729,
      "brotliBytes": 2389800,
      "description": "ACL2 — selected math book sources and dependencies, separate on-demand download; no precompiled books",
      "kind": "data"
    },
    {
      "file": "coalton/",
      "description": "Lisp and Coalton REPL — scripts, examples and initialized native compiler and standard library",
      "kind": "application",
      "rawBytes": 36825025,
      "gzipBytes": 20990384,
      "brotliBytes": 15576259,
      "downloadBytes": 21081998,
      "files": [
        {
          "file": "build/coalton/site/index.html",
          "rawBytes": 14126,
          "downloadBytes": 14126,
          "gzipBytes": 4631,
          "brotliBytes": 3862
        },
        {
          "file": "build/coalton/site/client.mjs",
          "rawBytes": 292,
          "downloadBytes": 292,
          "gzipBytes": 191,
          "brotliBytes": 156
        },
        {
          "file": "build/coalton/site/repl-debugger.mjs",
          "rawBytes": 9324,
          "downloadBytes": 9324,
          "gzipBytes": 2593,
          "brotliBytes": 2283
        },
        {
          "file": "build/coalton/site/app.mjs",
          "rawBytes": 19220,
          "downloadBytes": 19220,
          "gzipBytes": 5489,
          "brotliBytes": 4778
        },
        {
          "file": "build/coalton/site/worker.mjs",
          "rawBytes": 2798,
          "downloadBytes": 2798,
          "gzipBytes": 1125,
          "brotliBytes": 957
        },
        {
          "file": "build/coalton/site/examples.mjs",
          "rawBytes": 3391,
          "downloadBytes": 3391,
          "gzipBytes": 1446,
          "brotliBytes": 1236
        },
        {
          "file": "build/coalton/site/session-store.mjs",
          "rawBytes": 6693,
          "downloadBytes": 6693,
          "gzipBytes": 2361,
          "brotliBytes": 2067
        },
        {
          "file": "build/coalton/site/coalton.mjs",
          "rawBytes": 3990,
          "downloadBytes": 3990,
          "gzipBytes": 1551,
          "brotliBytes": 1315
        },
        {
          "file": "build/coalton/site/miricl.mjs",
          "rawBytes": 67791,
          "downloadBytes": 67791,
          "gzipBytes": 18196,
          "brotliBytes": 15713
        },
        {
          "file": "build/coalton/site/build.json",
          "rawBytes": 2536,
          "downloadBytes": 2536,
          "gzipBytes": 964,
          "brotliBytes": 864
        },
        {
          "file": "build/coalton/site/coalton-image.wasm.gz",
          "rawBytes": 36694864,
          "downloadBytes": 20951837,
          "gzipBytes": 20951837,
          "brotliBytes": 15543028
        }
      ]
    },
    {
      "file": "build/coalton/site/coalton-image.wasm.gz",
      "rawBytes": 36694864,
      "downloadBytes": 20951837,
      "gzipBytes": 20951837,
      "brotliBytes": 15543028,
      "description": "Coalton — compressed initialized compiler, standard library and runtime (included in total above)",
      "kind": "data",
      "uncompressedBytes": 36694864
    },
    {
      "file": "mcclim/",
      "description": "McCLIM — demonstrations page, scripts and reusable native Lisp image",
      "kind": "application",
      "rawBytes": 17172193,
      "gzipBytes": 8931128,
      "brotliBytes": 6605244,
      "downloadBytes": 9022014,
      "files": [
        {
          "file": "build/mcclim/site/index.html",
          "rawBytes": 2644,
          "downloadBytes": 2644,
          "gzipBytes": 1284,
          "brotliBytes": 955
        },
        {
          "file": "build/mcclim/site/app.mjs",
          "rawBytes": 1471,
          "downloadBytes": 1471,
          "gzipBytes": 676,
          "brotliBytes": 567
        },
        {
          "file": "build/mcclim/site/startup.lisp",
          "rawBytes": 650,
          "downloadBytes": 650,
          "gzipBytes": 315,
          "brotliBytes": 276
        },
        {
          "file": "build/mcclim/site/miricl.js",
          "rawBytes": 120508,
          "downloadBytes": 120508,
          "gzipBytes": 32112,
          "brotliBytes": 27512
        },
        {
          "file": "build/mcclim/site/miricl-mcclim.wasm.gz",
          "rawBytes": 17046920,
          "downloadBytes": 8896741,
          "gzipBytes": 8896741,
          "brotliBytes": 6575934
        }
      ]
    },
    {
      "file": "build/mcclim/site/miricl-mcclim.wasm.gz",
      "rawBytes": 17046920,
      "downloadBytes": 8896741,
      "gzipBytes": 8896741,
      "brotliBytes": 6575934,
      "sections": [
        {
          "name": "header",
          "bytes": 8,
          "count": 1
        },
        {
          "name": "type",
          "bytes": 3326,
          "count": 1
        },
        {
          "name": "function",
          "bytes": 2469,
          "count": 1
        },
        {
          "name": "table",
          "bytes": 32,
          "count": 1
        },
        {
          "name": "memory",
          "bytes": 7,
          "count": 1
        },
        {
          "name": "tag",
          "bytes": 5,
          "count": 1
        },
        {
          "name": "global",
          "bytes": 7893,
          "count": 1
        },
        {
          "name": "export",
          "bytes": 5479,
          "count": 1
        },
        {
          "name": "element",
          "bytes": 1152,
          "count": 1
        },
        {
          "name": "data-count",
          "bytes": 3,
          "count": 1
        },
        {
          "name": "code",
          "bytes": 749140,
          "count": 1
        },
        {
          "name": "data",
          "bytes": 219360,
          "count": 1
        },
        {
          "name": "custom:miricl.repl-bridge",
          "bytes": 11710,
          "count": 1
        },
        {
          "name": "custom:miricl.core",
          "bytes": 16046336,
          "count": 1
        }
      ],
      "description": "McCLIM — native compiled library, demonstrations, resources and ready compiler (included in total above)",
      "kind": "wasm"
    }
  ]
}