{"assetVersion":"2026.07.1-stp-1","source":{"directory":"infra/wasm/bsc/dist/assets","sourceCommit":"63665af1d123270f508d1af0d775a7d243d7eb4f","release":"2026.07.1","compilerSha256":"8264753692095395005feb4e6fd2563f1cedaef7016bd78f718508ffe913b33b","manifestSha256":"a839d1f965f3254ef249d97f6b5ce756e5c049c872ebc2486444b01047738eba"},"libraryCount":234,"licenseFileCount":56,"files":[{"path":"bsc.wasm","bytes":54619930,"sha256":"8264753692095395005feb4e6fd2563f1cedaef7016bd78f718508ffe913b33b"},{"path":"COPYING","bytes":3891,"sha256":"123d7b0a7f3265ac29275f9acae63dd149dc82b23ccd448bdd794dd317a606c5"},{"path":"libraries.json","bytes":10678940,"sha256":"e06c0c07f512d44034cc1e91a1597d980ef36702cef9597f2244680528245166"},{"path":"LICENSES/browser-wasi-shim-LICENSE-APACHE","bytes":11357,"sha256":"c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4"},{"path":"LICENSES/browser-wasi-shim-LICENSE-MIT","bytes":1023,"sha256":"23f18e03dc49df91622fe2a76176497404e46ced8a715d9d2b67a7446571cca3"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/array-0.5.8.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/base-4.20.2.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/binary-0.8.9.3/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/bytestring-0.12.2.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/Cabal-3.12.1.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/Cabal-syntax-3.12.1.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/containers-0.7/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/deepseq-1.5.0.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/directory-1.3.8.5/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/exceptions-0.10.9/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/filepath-1.5.4.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghc-9.10.3.20260731/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghc-bignum-1.3/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghc-boot-9.10.3.20260731/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghc-boot-th-9.10.3.20260731/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghc-compact-0.1.0.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghc-experimental-9.1003.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghc-heap-9.10.3.20260731/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghc-internal-9.1003.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghc-platform-0.1.0.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghc-prim-0.12.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/ghci-9.10.3.20260731/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/haskeline-0.8.2.1/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/hpc-0.7.0.2/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/integer-gmp-1.1/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/mtl-2.3.1/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/os-string-2.0.7/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/parsec-3.1.18.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/pretty-1.1.3.6/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/process-1.6.26.1/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/stm-2.5.3.1/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/template-haskell-2.22.0.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/text-2.1.3/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/time-1.14/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/transformers-0.6.1.1/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/unix-2.8.7.0/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/ghc-wasm/wasm32-wasi-ghc-9.10.3.20260731-inplace/xhtml-3000.2.2.1/LICENSE","bytes":1611,"sha256":"e06c13b8a117652621781c15d622bd4c62c568307954f7136955b4b656d14ec1"},{"path":"LICENSES/inactive-yices-linkage/LICENSE_YICES.txt","bytes":35147,"sha256":"8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903"},{"path":"LICENSES/LICENSE.ghc","bytes":1607,"sha256":"a54725c335b4081ab483e3eca8bc3824f97da04f9c53a0637256c185e1970d9b"},{"path":"LICENSES/LICENSE.ghc_pkgs","bytes":3343,"sha256":"108c26d0ef02eeca416cf1b3a03f0e20c5865f91cd044d9a89cf3bcfc9d4156a"},{"path":"LICENSES/LICENSE.hbc","bytes":1827,"sha256":"cfcbf9029e914e9243313e356fc1a86fdfcd04f49638e6fa77ffbf9a92832c24"},{"path":"LICENSES/LICENSE.parsec","bytes":1263,"sha256":"0be608c325ae06987b5b752215f228aa3d5b54400f51dd7e661873d8aee6c853"},{"path":"LICENSES/LICENSE.stp","bytes":1325,"sha256":"20242a0bf4973c7227ecfc2eb5e737864c1e72440f17e92728da163b2285928b"},{"path":"LICENSES/LICENSE.stp_components","bytes":9329,"sha256":"5c2b4a82cdd9fd6c295e90fff6e141dbcb65fe8599bc61e28d24388146b34ea2"},{"path":"LICENSES/LICENSE.yices","bytes":35147,"sha256":"8ceb4b9ee5adedde47b31e975c1d90c73ad27b6b165a1dcd80c7c545eb65b903"},{"path":"LICENSES/LICENSE.yices-painless","bytes":1519,"sha256":"c9423ade642960b45e89ce279ce6cc3746bf2ab85c0f7d409df00334dd23a8ef"},{"path":"LICENSES/llvm-wasm/libcxx-LICENSE.TXT","bytes":16703,"sha256":"539dd7aed86e8a4f12cbdd0e6c50c189c7d74847e4fecc64ce2c6ee3a01da38b"},{"path":"LICENSES/llvm-wasm/libcxxabi-LICENSE.TXT","bytes":16706,"sha256":"e2b35be49f7284a45b7baca8fc7b3ab7440e7902392b2528a457816b5bb2a15c"},{"path":"LICENSES/llvm-wasm/libunwind-LICENSE.TXT","bytes":16706,"sha256":"b5efebcaca80879234098e52d1725e6d9eb8fb96a19fce625d39184b705f7b6d"},{"path":"LICENSES/stp-wasm/AUTHORS","bytes":1216,"sha256":"968f2460be6975a9a85365c18a4751e0187138a00312c21f21325fcda19eb66e"},{"path":"LICENSES/stp-wasm/LICENSE","bytes":1325,"sha256":"20242a0bf4973c7227ecfc2eb5e737864c1e72440f17e92728da163b2285928b"},{"path":"LICENSES/stp-wasm/LICENSE_COMPONENTS","bytes":9329,"sha256":"5c2b4a82cdd9fd6c295e90fff6e141dbcb65fe8599bc61e28d24388146b34ea2"},{"path":"LICENSES/stp-wasm/LICENSE_MINISAT","bytes":1089,"sha256":"e402b8671bdf1688a36d285b96570dc66f537731a085ad8c7bf02f2f3defd5d8"},{"path":"LICENSES/zod-LICENSE","bytes":1072,"sha256":"3f1189b28e3866e0d979968d466b78f813f76827cfdca1fbb124cc0a5c8841f8"},{"path":"worker.js","bytes":94176,"sha256":"fcf57f84d1b418f91377d76812270f5aac8225f27dbe1af25381cb62cacebf0b"}],"workerSources":[{"path":"infra/wasm/bsc/browser/product-worker.ts","bytes":7888,"sha256":"4fe53916ff4412eabb4b9c8ef225aa810ec025e974babe6d7a85f519ca577f24"},{"path":"infra/wasm/bsc/bun.lock","bytes":411,"sha256":"3ac95acafa9efff82f8421897d140ceb43cbc3602bd4fa67d138516cbaea9d7f"},{"path":"lib/lab/bsv-command.ts","bytes":4358,"sha256":"35e01ac8c80a7b1047fc31e2626dcf693d0566f100e7fdf641b127e918bb462c"},{"path":"lib/lab/execution.ts","bytes":2930,"sha256":"c25adf8c4be030c1b2bdc2610531959c17ae364514e1c3bab6c86bf3a204ab96"},{"path":"lib/lab/runtimes.ts","bytes":2414,"sha256":"fc500b09140117031e9173585328e25c401291c9d406743a4de4efcd2e6ec905"},{"path":"lib/lab/verilog-engine.ts","bytes":7289,"sha256":"27e2652fa18719fe199d764308df8da574e406aa20a40fa8093660b61c68f9fe"}]}