{"_id":"@aufbau/verifier","_rev":"69-e97c72a7807353be6703e308fed18028","name":"@aufbau/verifier","dist-tags":{"latest":"0.0.12","canary":"0.0.12-canary.20260924T221837Z.68.gd93aa21240ea"},"versions":{"0.0.0-canary.20260504T135142Z.manual.gae788401d533":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260504T135142Z.manual.gae788401d533","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260504T135142Z.manual.gae788401d533","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"6a48bb033f94e6050a66df9dca5319092ee8833a","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260504T135142Z.manual.gae788401d533.tgz","fileCount":3,"integrity":"sha512-9VVbCGqPa0Ai3/tc/wA+UO9TSC5Yq4lUy+RMjhMYwn6vAa2iZ+bkVrfvwa0L1sB+mLHVvR21I9UYU6NE0gisOw==","signatures":[{"sig":"MEQCIBZ1TRGwUqmTP9QboWDURpOTbB8Uf6EeUoIlWi/qYMW5AiBy319Nz3W1Y0Ngd8LJK4d2NKMRlJEB7jkcWDKrId0TuQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":1046785},"type":"module","exports":"./index.js","gitHead":"ae788401d533ac9284f99539315be191c7d4d1d0","_npmUser":{"name":"gleachkr","email":"gleachkr@gmail.com"},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.12.1","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"25.9.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260504T135142Z.manual.gae788401d533_1777903488103_0.019623714771481726","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260507T113240Z.1.g19ca58421d12":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260507T113240Z.1.g19ca58421d12","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260507T113240Z.1.g19ca58421d12","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"71b048cadfa7c2ec6d88a3c96c05bb3c4b736fc4","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260507T113240Z.1.g19ca58421d12.tgz","fileCount":3,"integrity":"sha512-xrhE8j45ngjdpBq9gtZW0q9+yHReqBXfUYUTOvbl09378V3EqeleHbbHHy+2KSzRHb27BOEcXS3b1SBIIMQ/Fw==","signatures":[{"sig":"MEQCIC924VbJ5mmRbei/ItO5uLL3qd5vqgIeF8+Yq1hbOQIkAiB3n0vfngoK4kh2XrCok8KIY5ysWfA7/4papx3c6EwKSw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260507T113240Z.1.g19ca58421d12","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1047180},"type":"module","exports":"./index.js","gitHead":"19ca58421d12697841b25e9725b66af340a5b738","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.11.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.14.1","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260507T113240Z.1.g19ca58421d12_1778153568690_0.9648536351223873","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260507T113457Z.1.g19ca58421d12":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260507T113457Z.1.g19ca58421d12","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260507T113457Z.1.g19ca58421d12","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"b863930866af06ffc64bd1ae1378d2315b59979c","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260507T113457Z.1.g19ca58421d12.tgz","fileCount":3,"integrity":"sha512-0lemNrktpvbC4GO/PgVZtqtnG4aW0G7J5epJouUyzXoZwL2NiE1EqQtcCEl+J8g+55gumc8f6iL/RkiSloZdjg==","signatures":[{"sig":"MEUCIQDjAI8Ycl6aYY/y/4d9C0ttmZgOHtewnDPGfbIpRO1laQIgZpp7pKafk65uWWv51b0gMmd58HpFBX6WiG54UZwlesU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260507T113457Z.1.g19ca58421d12","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1047180},"type":"module","exports":"./index.js","gitHead":"19ca58421d12697841b25e9725b66af340a5b738","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.11.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.14.1","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260507T113457Z.1.g19ca58421d12_1778153704569_0.7982162475090213","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260508T110555Z.2.gc8d21b40a7ed":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260508T110555Z.2.gc8d21b40a7ed","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260508T110555Z.2.gc8d21b40a7ed","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"2bf6f475e1c7dc0b7b7f5bf5739e8c4f4332fa9d","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260508T110555Z.2.gc8d21b40a7ed.tgz","fileCount":3,"integrity":"sha512-J+1xWhOHDnFrFHUiyGxOFhr5NzBSQ+cG6zqC2FVmCWrJ4SeGhRlgCbfJAQeM9qfyd43kNOy57rnbOaR2Y3Ypew==","signatures":[{"sig":"MEUCIBU4zNOieLPnkP7sPf7ymZEARDzCcFk4IfUFJix94DCfAiEAuCQ51mnMEIwlW8Es0jWoejzSJ3XvsLCt0N85dNVKeiQ=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260508T110555Z.2.gc8d21b40a7ed","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1047180},"type":"module","exports":"./index.js","gitHead":"c8d21b40a7ed8f91e0c799455323b97c38aa9ab8","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.11.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.14.1","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260508T110555Z.2.gc8d21b40a7ed_1778238363609_0.8584237329136848","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260513T131625Z.3.g0755b95af842":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260513T131625Z.3.g0755b95af842","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260513T131625Z.3.g0755b95af842","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"12b54acc54e4548bf052664378098743bd75a43b","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260513T131625Z.3.g0755b95af842.tgz","fileCount":3,"integrity":"sha512-VeFJqFTndSOlIsPCnTNaU0RC4o1kgsSmzEN5jNxvOD7eVSD3GHAY7+kclwNTk831IFT7w4QpzqVxZCdUOwl4Tw==","signatures":[{"sig":"MEUCIQCXNxkMtwSo/r1/tEew1EVn8cEc25ufb7n4RF6rizHCogIgedc32yTq9LYBFVQYZAWZrlpN7nbdkUqDCRRWaS8+w8A=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260513T131625Z.3.g0755b95af842","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1047180},"type":"module","exports":"./index.js","gitHead":"0755b95af842ecf31c5fb243a519639f8be77e29","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.11.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.14.1","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260513T131625Z.3.g0755b95af842_1778678193937_0.4629304919478834","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260513T164552Z.4.g7f34695282fc":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260513T164552Z.4.g7f34695282fc","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260513T164552Z.4.g7f34695282fc","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"ce78a1412c6b9f14ed69ad18dcc80bc93e8ec186","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260513T164552Z.4.g7f34695282fc.tgz","fileCount":3,"integrity":"sha512-Rpr6SpuCxDufUD+vt78kQgg5bQ2GrxBjbzlGjus6wgJR5vBefzYhD+gAWqRcWxCqAliGjPPaIZDOQsCIOBDTAA==","signatures":[{"sig":"MEUCIFH6ub2pjNoQN3bahxAO7jyo1plpawDyrGYkVj9RS2SwAiEA+ZJevG8qt3LH9XqeOqfilajNNpTpbebaUdBWbEU165w=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260513T164552Z.4.g7f34695282fc","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1047180},"type":"module","exports":"./index.js","gitHead":"7f34695282fc87026c658b4160ab0b98f84d4824","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.11.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.14.1","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260513T164552Z.4.g7f34695282fc_1778690759808_0.5563194295488569","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260514T114738Z.5.g4141c91d7e33":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260514T114738Z.5.g4141c91d7e33","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260514T114738Z.5.g4141c91d7e33","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"65b76e0977a05b57177f019e1621dc3154ff453d","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260514T114738Z.5.g4141c91d7e33.tgz","fileCount":3,"integrity":"sha512-j84CHBdlGBRHcOj31jNtI1UoL8c4wgwbc0CiUuOS1IX4uyMhokPt9lskxzXqVbXU+qZ80Eid1j/WEAPIzBpMoA==","signatures":[{"sig":"MEUCIQC1sH7MupNNuUbEIF5gdokUJlEe+/yGNpdY/hC8xWDbXgIgBVTdxwJWu3XoRrO4PFPtYB8vPDtzwwrukBhFgUxA76Q=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260514T114738Z.5.g4141c91d7e33","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1047180},"type":"module","exports":"./index.js","gitHead":"4141c91d7e336d0bcf883cd7c778a257a875862d","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.12.1","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.15.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260514T114738Z.5.g4141c91d7e33_1778759268319_0.4482832802357559","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260515T114341Z.6.g3e134dc2be16":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260515T114341Z.6.g3e134dc2be16","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260515T114341Z.6.g3e134dc2be16","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"e03a96931097de86eb604a90c2ee98f9e123c897","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260515T114341Z.6.g3e134dc2be16.tgz","fileCount":3,"integrity":"sha512-p9d9U/qPO4dyzNceqdavvbSMHcONH/4s/YkWOPUMVIfPgDPR8ntVxkkcLn94EvO81wK9IOyM+6ZqFo/XE9Ru9g==","signatures":[{"sig":"MEYCIQDA2zFOQ8Bg5MVeSLnEUM5ehoSf0/fY12fmu1M7g3E56QIhAPi53ojwpbaOG6zeOK8urAezgxBsswGktiSRtWpLH8n4","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260515T114341Z.6.g3e134dc2be16","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1048584},"type":"module","exports":"./index.js","gitHead":"3e134dc2be16b245f9cb925532ca12e4e60c8eef","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.12.1","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.15.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260515T114341Z.6.g3e134dc2be16_1778845429654_0.9343828737809972","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260516T224523Z.7.g8f0e2d9ba078":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260516T224523Z.7.g8f0e2d9ba078","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260516T224523Z.7.g8f0e2d9ba078","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"cf17f7d9076147b85ed3371537d4f62a504f2141","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260516T224523Z.7.g8f0e2d9ba078.tgz","fileCount":3,"integrity":"sha512-t8aYPH2N2t+33LRqtE6O1y4Ejs9IedhYOZpRoSdSiDy1nb/sjOZJjMYwe33+4bVbiz7RaXc4s1n+itFK2uD4zg==","signatures":[{"sig":"MEQCIAtp0qVTn11P3A7+w8Jtm4ILNp0gEL1aKs/kaWmVqvq9AiBDw50I7jSuxKgxXEFYqczJbgXe/s0mEUJQVZhJJOjh5w==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260516T224523Z.7.g8f0e2d9ba078","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1034814},"type":"module","exports":"./index.js","gitHead":"8f0e2d9ba0789e64694ccbcf4f4f7642b59534b1","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.12.1","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.15.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260516T224523Z.7.g8f0e2d9ba078_1778971531996_0.9824173417303583","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260706T131619Z.8.g97c9fce0ef0f":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260706T131619Z.8.g97c9fce0ef0f","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260706T131619Z.8.g97c9fce0ef0f","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"e621aab718c934d7bf7e09db25fd2c65419146f1","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260706T131619Z.8.g97c9fce0ef0f.tgz","fileCount":3,"integrity":"sha512-NbVO5n2dvkmFyMznC7objs5SoxTJujCtaeH/i6yLjGbEMUUgjvQEoo/sEfXdKgBtJI7cVVhaQl+i9FV9ijqPUA==","signatures":[{"sig":"MEQCIDokc7/dsobo8BPBxI/KXLNKHfB/IFUaVESt5ijM7c6SAiA+6VjEEiyU1p5khWhD/0wQKdfLxZ405YR/F8wrQgJx0A==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260706T131619Z.8.g97c9fce0ef0f","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1064729},"type":"module","exports":"./index.js","gitHead":"97c9fce0ef0f49610ec3844c112787644cbeea28","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260706T131619Z.8.g97c9fce0ef0f_1783343789862_0.8259217972451656","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260710T184207Z.9.gdbfa8243e9cb":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260710T184207Z.9.gdbfa8243e9cb","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260710T184207Z.9.gdbfa8243e9cb","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"0aa8eb50a74b1d266b5408afd23c5d5697f62bc0","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260710T184207Z.9.gdbfa8243e9cb.tgz","fileCount":3,"integrity":"sha512-rGEtISId0r8v/EISbNWQE7WmwxPGrKkmrZCD6vx+eyixpgooRXzDhRfsuQeQjvkTqtVYvJHcPux0VrHU3gfoOA==","signatures":[{"sig":"MEUCIQDLbtNpIayCASrUZkrMS9RuVQ+Viot27M8r7oZGf9ZDtwIgWxuKtvN3Msc8sPN8mzMBLYAqTo6DMMkg6o1+KJfwf1o=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260710T184207Z.9.gdbfa8243e9cb","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1064729},"type":"module","exports":"./index.js","gitHead":"dbfa8243e9cb8163cd1dbaa1a58efa3360d67200","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260710T184207Z.9.gdbfa8243e9cb_1783708936788_0.3330457345504445","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260714T110048Z.10.g6b510232cf77":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260714T110048Z.10.g6b510232cf77","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260714T110048Z.10.g6b510232cf77","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"5676a1ba376286db371507a01bb8f9f2a3a1d27a","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260714T110048Z.10.g6b510232cf77.tgz","fileCount":4,"integrity":"sha512-9QdpGUZB9AzeJf/zCwUVj/2lyu414htb2glND1ZwstHU1ypXD2LaJuV2IMDxXVNCaqm4vqz2+W61j2XOrJZh7w==","signatures":[{"sig":"MEQCIHVwcJaJzz10QTElON3z7zQw4fsrgf3UkJicNzOVM8nnAiBYgzprkyRLu1dKN6i1K7hg4G2YcAqtkLe5epx0uGd2xg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260714T110048Z.10.g6b510232cf77","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1076088},"type":"module","exports":"./index.js","gitHead":"6b510232cf775431b429ba86c1d6f9ef5c2d6cbe","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260714T110048Z.10.g6b510232cf77_1784026857937_0.9858097414190208","host":"s3://npm-registry-packages-npm-production"}},"0.0.0-canary.20260714T113426Z.11.g2ab841267870":{"name":"@aufbau/verifier","version":"0.0.0-canary.20260714T113426Z.11.g2ab841267870","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.0-canary.20260714T113426Z.11.g2ab841267870","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"705131c8bb114cca55c5b7feaec09bc2f9f27d3a","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.0-canary.20260714T113426Z.11.g2ab841267870.tgz","fileCount":4,"integrity":"sha512-/g7lC2P90zcsSBcC+ozy6KGqXI1yEeLj4mo6VGrz2yq+0J8RSBGJo4zCzF5yzHLag3T7NgmWQU0DOCqLNtDL9w==","signatures":[{"sig":"MEUCIASZuCSPCn+XNXWRI1s16NqoTIZTej4M5OOZbj8v7CMhAiEA68AZyMDENpbQxP+/cCEyd6RjtZzOlL1RgdtS9fGEQ2I=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.0-canary.20260714T113426Z.11.g2ab841267870","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1076088},"type":"module","exports":"./index.js","gitHead":"2ab841267870feed3f61fffe1a19e94c254f1c37","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.0-canary.20260714T113426Z.11.g2ab841267870_1784028876793_0.4597077539101553","host":"s3://npm-registry-packages-npm-production"}},"0.0.1-canary.20260714T225823Z.12.g9ad4ea995030":{"name":"@aufbau/verifier","version":"0.0.1-canary.20260714T225823Z.12.g9ad4ea995030","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.1-canary.20260714T225823Z.12.g9ad4ea995030","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"bddcb7515c5133888c9be28c3fc510bd4cca4221","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.1-canary.20260714T225823Z.12.g9ad4ea995030.tgz","fileCount":4,"integrity":"sha512-9F1aLm6IfOkOi4FQ1iPljTm7IZfIjxKXyRAG8t53tIokEcjRMZzYZErNiLqDB4jiwOKcmrsBx1PgOn1vrKsT9Q==","signatures":[{"sig":"MEQCIEThWLLOK8HiE+WV8b6bRfl0xSz9BRfiQEnwf9sxy0/LAiALZSIeIBj3Jw8aA5U43cj+OioOxxRPZRzsLwI001l90w==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.1-canary.20260714T225823Z.12.g9ad4ea995030","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1076492},"type":"module","exports":"./index.js","gitHead":"9ad4ea99503039e74eee51fa68ac72430273046d","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.1-canary.20260714T225823Z.12.g9ad4ea995030_1784069986712_0.7324399016423631","host":"s3://npm-registry-packages-npm-production"}},"0.0.1-canary.20260716T013148Z.13.g1e039c8d3e2e":{"name":"@aufbau/verifier","version":"0.0.1-canary.20260716T013148Z.13.g1e039c8d3e2e","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.1-canary.20260716T013148Z.13.g1e039c8d3e2e","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"20e7328b9ded316c03d169180b47776453962ac3","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.1-canary.20260716T013148Z.13.g1e039c8d3e2e.tgz","fileCount":5,"integrity":"sha512-p8drdiJ6wjW3i1sPqxTFYZkCb2O9BEyXJAugtsOxS90hbwMpAS/izjaxwnUi4Ql+11qTf2/7BzIp/3S14HnJiw==","signatures":[{"sig":"MEUCIQCwVt3D2ocQJYpTpwebQyMQ7O5wvRCae17UTSGJ+XwyEgIgE8ZuKKcj4sLKZiHvX9Qzr0ho9M9gPAKu9OXGijjhjzI=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.1-canary.20260716T013148Z.13.g1e039c8d3e2e","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077201},"type":"module","exports":"./index.js","gitHead":"1e039c8d3e2e52f03a61c55758da41a89029e226","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.1-canary.20260716T013148Z.13.g1e039c8d3e2e_1784165589121_0.40751920896358174","host":"s3://npm-registry-packages-npm-production"}},"0.0.1-canary.20260716T015442Z.14.gc82728d29d22":{"name":"@aufbau/verifier","version":"0.0.1-canary.20260716T015442Z.14.gc82728d29d22","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.1-canary.20260716T015442Z.14.gc82728d29d22","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"4802da9f73e31ab9bf9fb183eacc0f2004ddcc04","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.1-canary.20260716T015442Z.14.gc82728d29d22.tgz","fileCount":5,"integrity":"sha512-Qzamms701wKosNDp6nU2OgDDQSnRcQotKXtSlk+ogBbZYl3G8bMTm2rUEDGxqIU+UdwcHOheIRdXout5V84c9Q==","signatures":[{"sig":"MEUCIFABC64qZ2WRxKyi19DgEDCBAz5jrmLndZY+gqqqj/E+AiEA2gJ0vAoAcKGT8IyaASFoUxem0l6EFZe5CqunnNoqF3E=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.1-canary.20260716T015442Z.14.gc82728d29d22","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077201},"type":"module","exports":"./index.js","gitHead":"c82728d29d22ef2fe43225781821d983ee5d0d85","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.1-canary.20260716T015442Z.14.gc82728d29d22_1784166968293_0.8425936980157727","host":"s3://npm-registry-packages-npm-production"}},"0.0.1-canary.20260716T021832Z.15.gfe9f8ce464f5":{"name":"@aufbau/verifier","version":"0.0.1-canary.20260716T021832Z.15.gfe9f8ce464f5","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.1-canary.20260716T021832Z.15.gfe9f8ce464f5","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"db21110b0bff18b1eec5f17a48065b5edce4c9f8","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.1-canary.20260716T021832Z.15.gfe9f8ce464f5.tgz","fileCount":5,"integrity":"sha512-rGemjg8YgbqnDlUoza+FspKrI+VjYTo+vStbRfcnIKcdzrl6sZVwkcFlIwJjS+5Eurb39uj3F96RMKv/ZJYJMA==","signatures":[{"sig":"MEUCIGykus54s4VFgnxx2AwRTu/hm1D1t73gkmoDQ2VHpUMiAiEA4HNOqSAzE1HQ9Cn99Y3lJQA4LvpcZrCw2NBFFPGIceU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.1-canary.20260716T021832Z.15.gfe9f8ce464f5","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077201},"type":"module","exports":"./index.js","gitHead":"fe9f8ce464f53b34184c221e03891f08f83e0577","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.1-canary.20260716T021832Z.15.gfe9f8ce464f5_1784168375687_0.43743887571034423","host":"s3://npm-registry-packages-npm-production"}},"0.0.1":{"name":"@aufbau/verifier","version":"0.0.1","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.1","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"b398820ed8bbf014fb7b4d99864afb18a12a394c","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.1.tgz","fileCount":5,"integrity":"sha512-NkZ2VTYLq7kr+DykQHGmW/ZSfXbod4t4wK8Z7zlsW8x/1Tu5HOLy1KiIOhARQFFZksQ7M+WCw1eZ/L7mnQTAEA==","signatures":[{"sig":"MEUCIHNueigs4ruQyQr9Fu13/En/Mx3oTYx0gv/ULbuxH67oAiEAxulqN4LOfS8ijPLtqt2sQdv+ELA9Gp65dhmWXYBo/Uw=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.1","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077160},"type":"module","exports":"./index.js","gitHead":"fe9f8ce464f53b34184c221e03891f08f83e0577","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.1_1784199447258_0.7338409849432179","host":"s3://npm-registry-packages-npm-production"}},"0.0.2-canary.20260716T122726Z.17.g63e34562f926":{"name":"@aufbau/verifier","version":"0.0.2-canary.20260716T122726Z.17.g63e34562f926","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.2-canary.20260716T122726Z.17.g63e34562f926","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"1a589cebe5eb82967edd51ce1f9aa1816f0b68fe","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.2-canary.20260716T122726Z.17.g63e34562f926.tgz","fileCount":5,"integrity":"sha512-qjdazceE38w8veJCqxG7ppwH7KvewdzSKM7zQIHyGZiakQlpPh+kT8orikYXjCUDFoM1SsJKhPmmLLfZVVMHPA==","signatures":[{"sig":"MEYCIQDCN/50Et4FmnchwpdACdWgfX0MIpxGKoeY/FrYDXEJvgIhAIFI882uWKzGtOHURA/W3RwSzAKwWhSCfsHjjb7OMuXh","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.2-canary.20260716T122726Z.17.g63e34562f926","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077201},"type":"module","exports":"./index.js","gitHead":"63e34562f9264bbae4c015950df578e37548eba6","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.2-canary.20260716T122726Z.17.g63e34562f926_1784204930369_0.6361526471048544","host":"s3://npm-registry-packages-npm-production"}},"0.0.2-canary.20260719T201527Z.18.ge73f30540ba9":{"name":"@aufbau/verifier","version":"0.0.2-canary.20260719T201527Z.18.ge73f30540ba9","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.2-canary.20260719T201527Z.18.ge73f30540ba9","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"404502bd20e6772b70628bd1f2bae92336153f00","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.2-canary.20260719T201527Z.18.ge73f30540ba9.tgz","fileCount":5,"integrity":"sha512-Mprh1ExrOa8JBMNfFpOdRXie5TJ7mxyD6mlFsgqe9Df+96/KJ2SzqXSVQCeZTpJzbO9csDRcrcnJqHb+KthJiw==","signatures":[{"sig":"MEUCIQCaRl2Ijm8e0QhG9oRUhIk7WtzhNWhPeXrT54NRixmGzQIgPfocFlJom+1UvLZbMuaIbLQyh+jGUfMYy5aK3+KQSwU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.2-canary.20260719T201527Z.18.ge73f30540ba9","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077201},"type":"module","exports":"./index.js","gitHead":"e73f30540ba9840419ea5622696f1123a678534d","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.2-canary.20260719T201527Z.18.ge73f30540ba9_1784492215785_0.05126446418236075","host":"s3://npm-registry-packages-npm-production"}},"0.0.2-canary.20260719T203159Z.19.g1a06c6b075ff":{"name":"@aufbau/verifier","version":"0.0.2-canary.20260719T203159Z.19.g1a06c6b075ff","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.2-canary.20260719T203159Z.19.g1a06c6b075ff","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"571dd73541df6ae36f32cdb52ec0a4ef0874cbc7","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.2-canary.20260719T203159Z.19.g1a06c6b075ff.tgz","fileCount":5,"integrity":"sha512-BZ78p3lFNgCuJCMtqlYmGUjPrpK2v5M1cNRcgK8nj516NfCS76js9kMxxE3bmrjs75iuYAApigz0jRjcS3VuCA==","signatures":[{"sig":"MEUCIAdy4Srzr8ie4PuoTFowQmTLGakVvM2pM29ZS22k0B16AiEA96gxUYrk0289z2y5HWs6in1uWetOS8VRHxbEOH5AGMA=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.2-canary.20260719T203159Z.19.g1a06c6b075ff","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077201},"type":"module","exports":"./index.js","gitHead":"1a06c6b075ffefd28731fa045c77159fd987b785","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.2-canary.20260719T203159Z.19.g1a06c6b075ff_1784493188291_0.16131734101817363","host":"s3://npm-registry-packages-npm-production"}},"0.0.2-canary.20260721T021844Z.20.g30d3c55be056":{"name":"@aufbau/verifier","version":"0.0.2-canary.20260721T021844Z.20.g30d3c55be056","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.2-canary.20260721T021844Z.20.g30d3c55be056","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"98ec1c7f01b51bc1beaecc595c4a559bbba275bc","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.2-canary.20260721T021844Z.20.g30d3c55be056.tgz","fileCount":5,"integrity":"sha512-c8W94X3iC1VdIAFOudt2keDaIJBbEpdAJcAtWtJPSehrpSIh3z9Arwi5EfjF/khRsBK57Ew8BTEnpxfA1DNwzQ==","signatures":[{"sig":"MEUCIGQSHcnaHWdUAGMlB0XqiRBPrQRXNGK99/1Q8hM7JcsyAiEAouq2t4XE3mKxBumvIL8bl9xchEn6L1g83swB8RfAwiE=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.2-canary.20260721T021844Z.20.g30d3c55be056","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077201},"type":"module","exports":"./index.js","gitHead":"30d3c55be0568392fc01fcbac7871502c6c64b7d","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.2-canary.20260721T021844Z.20.g30d3c55be056_1784600411868_0.3704561341473991","host":"s3://npm-registry-packages-npm-production"}},"0.0.2-canary.20260721T105339Z.21.gb3a2fe27d47a":{"name":"@aufbau/verifier","version":"0.0.2-canary.20260721T105339Z.21.gb3a2fe27d47a","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.2-canary.20260721T105339Z.21.gb3a2fe27d47a","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"143c10d1177c3e2a8adf8ab64a313f1cd47314a1","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.2-canary.20260721T105339Z.21.gb3a2fe27d47a.tgz","fileCount":5,"integrity":"sha512-79A5DU6ekgldCkK93TmzHQc3GCxb9yz9VNtzQ4L3JVdhW2cKWYeb4gvaI59itOEz5ojMZDWtz+uONUaC7Utgbw==","signatures":[{"sig":"MEYCIQDuPPtEOGhmB0NpcApHjzk2PeqBGXFuXe/PJcuZc5VPyQIhAIxDFjFdD4WZPrMt7PeLl14jeH+MYH2d9WvmSryq0Lc/","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.2-canary.20260721T105339Z.21.gb3a2fe27d47a","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077201},"type":"module","exports":"./index.js","gitHead":"b3a2fe27d47ad21f0bc13794c4fe720ac8ac7b29","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.2-canary.20260721T105339Z.21.gb3a2fe27d47a_1784631303832_0.21486912574495798","host":"s3://npm-registry-packages-npm-production"}},"0.0.2":{"name":"@aufbau/verifier","version":"0.0.2","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.2","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"1c967d17ba4fedce5a21197540155699d8cdf88e","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.2.tgz","fileCount":5,"integrity":"sha512-tWK0g7tMH+a4YIEqobg9hfBIwcaHUHHhM3Jm94o+zMtnZhCq67nSju7C5zoIwvc0LeO5tcnpddk3uJ3kZRcFwg==","signatures":[{"sig":"MEUCIQCByzJKGgDRYE3tqbgilOclvr5vklnrEi3i/maboPik2AIgZku3yUWs74KrUGNeJJho3aqb5QQPFmam8TIHQjX8x7o=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.2","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077160},"type":"module","exports":"./index.js","gitHead":"b3a2fe27d47ad21f0bc13794c4fe720ac8ac7b29","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.2_1784632200834_0.3239759159850204","host":"s3://npm-registry-packages-npm-production"}},"0.0.3-canary.20260724T010427Z.23.g44f01ee99e68":{"name":"@aufbau/verifier","version":"0.0.3-canary.20260724T010427Z.23.g44f01ee99e68","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.3-canary.20260724T010427Z.23.g44f01ee99e68","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"bd9c1591aa6142780a392ede07a6d32ac7e343f6","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.3-canary.20260724T010427Z.23.g44f01ee99e68.tgz","fileCount":5,"integrity":"sha512-92RZ1Y5fKIVVwhyR+GgbFQp8A+aZHI368YgYeK3LNohKSINKxYValNK/Z44BKzYZ+mS9t72cAwiPFTjvOLQlPg==","signatures":[{"sig":"MEYCIQCLkvPTTii8KHKEKYdWco3ke1B2voaZYvtVwIexE6pKNwIhAIpeeGkhIHbC639IH1IERzST7bxIoNw5Nq+uuzOb2upA","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.3-canary.20260724T010427Z.23.g44f01ee99e68","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077201},"type":"module","exports":"./index.js","gitHead":"44f01ee99e6875ffd2bbe41f83f730de6d0fbb62","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.3-canary.20260724T010427Z.23.g44f01ee99e68_1784855166685_0.46816015784725407","host":"s3://npm-registry-packages-npm-production"}},"0.0.3":{"name":"@aufbau/verifier","version":"0.0.3","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.3","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"6fb563b4e238f604606d578d42d847ce3e7cce38","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.3.tgz","fileCount":5,"integrity":"sha512-6VdCM7M1EhBtwUxdMWKbeCTHa+de8F9p0AQW+D5IxZweo/Ptjs+krd9hBXwjlKFns/DHhwS5XPc2nXDahOyuaQ==","signatures":[{"sig":"MEQCIC6La8BwALF0aq619opR5/EEANYo9AzV5w6Yi+Te9N2oAiBwFuOAgoCN6+G3FIqvWPNZ7MXyqgNWBup8EC/JBwicNg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.3","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1077160},"type":"module","exports":"./index.js","gitHead":"44f01ee99e6875ffd2bbe41f83f730de6d0fbb62","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.3_1784857355221_0.8759202203129914","host":"s3://npm-registry-packages-npm-production"}},"0.0.3-canary.20260731T015955Z.25.g644350053667":{"name":"@aufbau/verifier","version":"0.0.3-canary.20260731T015955Z.25.g644350053667","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.3-canary.20260731T015955Z.25.g644350053667","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"0bdd1cd4fcc7ba91320da7daf64adf1fb7e9a0bf","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.3-canary.20260731T015955Z.25.g644350053667.tgz","fileCount":5,"integrity":"sha512-ZzPijXl1OV8J8q1EBbfsU9PeDvN1apYKZPjjOE+dPu/O/7Wo3f9iZ8vWaNiTkykS6s7FTKrQ7uoYYaE8kIY70g==","signatures":[{"sig":"MEQCIF7tp0V0qO8GSmkdOYp9mQ+TZnVjstOm5/xA4G7J6NWAAiAwYR5OBvLYeXBi7tJOvkNAAnLe3i+w3NhK0K/tMBSqzA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.3-canary.20260731T015955Z.25.g644350053667","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1079532},"type":"module","exports":"./index.js","gitHead":"644350053667ae046281d29f46b4e5a143e38882","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.3-canary.20260731T015955Z.25.g644350053667_1785463290021_0.7595719740067759","host":"s3://npm-registry-packages-npm-production"}},"0.0.3-canary.20260804T014737Z.26.gfab476f6c82b":{"name":"@aufbau/verifier","version":"0.0.3-canary.20260804T014737Z.26.gfab476f6c82b","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.3-canary.20260804T014737Z.26.gfab476f6c82b","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"9005e947306f1a0279273201b2755f2a4e3c58db","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.3-canary.20260804T014737Z.26.gfab476f6c82b.tgz","fileCount":5,"integrity":"sha512-FNP6v7xMBQ2kQ8HMPUUwvI9G9+T2K2o6Zwg5qOyX7UT7+Y5MDt1xv962fbCeOSTW+jd8KyOxAO4wvp/CsjGVAw==","signatures":[{"sig":"MEQCIH58ehonFBoRVcO7SKhPEErYDGMjIzJjFxVrHCTqEKNvAiA4F95KOUO8nz8ig3E/E8kzJKu0tmRTWvmNQ8QLlLH2+Q==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.3-canary.20260804T014737Z.26.gfab476f6c82b","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1079532},"type":"module","exports":"./index.js","gitHead":"fab476f6c82b568c913af53d870d07e8178eee89","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.3-canary.20260804T014737Z.26.gfab476f6c82b_1785808153069_0.7171937472442966","host":"s3://npm-registry-packages-npm-production"}},"0.0.3-canary.20260804T021518Z.27.gbaa901f8a0c0":{"name":"@aufbau/verifier","version":"0.0.3-canary.20260804T021518Z.27.gbaa901f8a0c0","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.3-canary.20260804T021518Z.27.gbaa901f8a0c0","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"0559f9f110017c64f0e00b8c38289e986f4a8b78","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.3-canary.20260804T021518Z.27.gbaa901f8a0c0.tgz","fileCount":5,"integrity":"sha512-k8/URHLD2fINk/T8v/l/JHqCfpJ5G8TX26ltKvdW7rzkJhTAX5VETXagli2cjhaA4QEOMCmyEZKm3fI5G98d0g==","signatures":[{"sig":"MEUCIQDCW5mYSNoxAC1Ia1j2rvwXhJLYCYVbffJkXCn445QYPwIgJmHg9GcqjptjvDInvD+K7WNitr/zQ5PniIhTlvS/snw=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.3-canary.20260804T021518Z.27.gbaa901f8a0c0","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080052},"type":"module","exports":"./index.js","gitHead":"baa901f8a0c073123a54cf86e7ee46fc8d306502","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.3-canary.20260804T021518Z.27.gbaa901f8a0c0_1785809809067_0.2001328140221148","host":"s3://npm-registry-packages-npm-production"}},"0.0.3-canary.20260804T104732Z.28.g467b805418ac":{"name":"@aufbau/verifier","version":"0.0.3-canary.20260804T104732Z.28.g467b805418ac","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.3-canary.20260804T104732Z.28.g467b805418ac","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"c9b59d9c3b5685b0287510e116751a8df4da9a6b","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.3-canary.20260804T104732Z.28.g467b805418ac.tgz","fileCount":5,"integrity":"sha512-rnjqAUiH/zUkej3WzSHC1gyxKQHEdbuRWQMFMh2Lxm8pI6Fj3gE9s1jlZDN6QMF3h8dt7od+J2z2wlYvgT1WUQ==","signatures":[{"sig":"MEQCIA1yMJ2S/nqT6HujiZzHYMFzfptkw0sM78g1D2wZJUPnAiB/s6UZuOYQ7n5ZQ10Mw6VBq2307E7CCVFTLuiE1xO4bw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.3-canary.20260804T104732Z.28.g467b805418ac","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080052},"type":"module","exports":"./index.js","gitHead":"467b805418ac5dfd504440262be9e9174b05bea5","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.3-canary.20260804T104732Z.28.g467b805418ac_1785840541943_0.7195281293579379","host":"s3://npm-registry-packages-npm-production"}},"0.0.3-canary.20260804T124907Z.29.gdeb3eb498c5d":{"name":"@aufbau/verifier","version":"0.0.3-canary.20260804T124907Z.29.gdeb3eb498c5d","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.3-canary.20260804T124907Z.29.gdeb3eb498c5d","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"9d36596320e4e7955dc41c33e1fbfda7dae44c07","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.3-canary.20260804T124907Z.29.gdeb3eb498c5d.tgz","fileCount":5,"integrity":"sha512-KVAJ8ThkC84dDkxY0goaGNEHr7PCflMshzE4cYnozkxN9kgremcKNtLgDJsYfPPK2U5MCruXhGGWPI3fqxvwPg==","signatures":[{"sig":"MEYCIQCfv4ouqgwD6mYDoDc3j189vs6/nK5OdQALfsx6ta0r6QIhANEKE8riuuO1PKaxgY+Cos23F3yeB8FxsMY4XolNrLk/","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.3-canary.20260804T124907Z.29.gdeb3eb498c5d","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080052},"type":"module","exports":"./index.js","gitHead":"deb3eb498c5db085bed3b2f4eb0046fe8833033a","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.3-canary.20260804T124907Z.29.gdeb3eb498c5d_1785847832941_0.11812931171309682","host":"s3://npm-registry-packages-npm-production"}},"0.0.4-canary.20260806T123107Z.30.gdfca52414c96":{"name":"@aufbau/verifier","version":"0.0.4-canary.20260806T123107Z.30.gdfca52414c96","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.4-canary.20260806T123107Z.30.gdfca52414c96","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"936c09d084cf7900baa1aaec1b37c9d5e82b9b01","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.4-canary.20260806T123107Z.30.gdfca52414c96.tgz","fileCount":5,"integrity":"sha512-HjTq1c4vJ1Px6Snd2FNoqBxJFc02686BeJunzPztL1uoBVi5XMm9hmyWIcngyxCeDoAhKu6VgvOv710+KHg/mA==","signatures":[{"sig":"MEYCIQDcrUSUzu59BifaxIBwrBU/9GtxVBpdDopwTyrG2lX7EAIhAPVQGcw3eoHEC4x0cl7t/O3y64oB/WBamtf2d+WFQm9R","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.4-canary.20260806T123107Z.30.gdfca52414c96","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080492},"type":"module","exports":"./index.js","gitHead":"dfca52414c962f67ccd332fe79755fa4594384ed","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.4-canary.20260806T123107Z.30.gdfca52414c96_1786019567248_0.24864870033871322","host":"s3://npm-registry-packages-npm-production"}},"0.0.4":{"name":"@aufbau/verifier","version":"0.0.4","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.4","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"949b2ea9f1718d90dd959b845ea0cdc632cef5df","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.4.tgz","fileCount":5,"integrity":"sha512-AV+m1IOSnjzUTwtvn2pKaF2ft5hq9UtSdmkCJX/Lv3fXemKs6DoHGsQ+Kfovod0PhPBolANQeOw6JMmwKI7qGw==","signatures":[{"sig":"MEUCIFFmHSGC3tXg76DhnltJ+gNsLMEKKQUsSIuuUfcjWddxAiEAjIgr+d40tDxJ1s97ja6dZJf6bhByCSyRobZjMBxieSA=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.4","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080451},"type":"module","exports":"./index.js","gitHead":"dfca52414c962f67ccd332fe79755fa4594384ed","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.4_1786021069949_0.6720932153453474","host":"s3://npm-registry-packages-npm-production"}},"0.0.4-canary.20260806T233820Z.32.gfe50957558ca":{"name":"@aufbau/verifier","version":"0.0.4-canary.20260806T233820Z.32.gfe50957558ca","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.4-canary.20260806T233820Z.32.gfe50957558ca","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"6b16a7fdbff71045beb4b7dbccd93eadeaa99816","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.4-canary.20260806T233820Z.32.gfe50957558ca.tgz","fileCount":5,"integrity":"sha512-Inxv5OWalW476SDPUq35eMxV9QxchANGWpH4Wv3a7rGgPm47oSgqJPNnrqQX43ZafKULThxhN8ilYzBQQXHi3Q==","signatures":[{"sig":"MEYCIQD1ux18i0rL0qhznGNwkmiOUbXYgWJgCnWYfXRb9gd7tgIhAOzWUx0kUk9iySpl69JhyNratp1tgMh1T/XxoxAG6eim","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.4-canary.20260806T233820Z.32.gfe50957558ca","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080492},"type":"module","exports":"./index.js","gitHead":"fe50957558cae39844ba97dbcded9875c88e132d","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.4-canary.20260806T233820Z.32.gfe50957558ca_1786059572119_0.6299850566419893","host":"s3://npm-registry-packages-npm-production"}},"0.0.4-canary.20260807T201024Z.33.g91d98f695a6a":{"name":"@aufbau/verifier","version":"0.0.4-canary.20260807T201024Z.33.g91d98f695a6a","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.4-canary.20260807T201024Z.33.g91d98f695a6a","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"e03ff1e70378b356bcd7e2cf13189b9b641eb824","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.4-canary.20260807T201024Z.33.g91d98f695a6a.tgz","fileCount":5,"integrity":"sha512-+2VxVON8iuv9u5YlOLI5l+jpU43DsOGpgvTsXn+SyiSd4qg/MbaG25n5QbOhvlXpivpVBcDd403OTvy6lKpYbA==","signatures":[{"sig":"MEYCIQDMRTpsjGOsOZf+G9VMxAkKtqMR2iGSo4MdgETilFs+LAIhAKh/rwgDNGfJH3IW7ffWijsSxFepSbvQS+qaqOuRoYrF","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.4-canary.20260807T201024Z.33.g91d98f695a6a","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080492},"type":"module","exports":"./index.js","gitHead":"91d98f695a6ad584cb92241a1e5c410b3d81f6d4","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.4-canary.20260807T201024Z.33.g91d98f695a6a_1786133515212_0.094663194380737","host":"s3://npm-registry-packages-npm-production"}},"0.0.4-canary.20260812T013544Z.34.gb67761840b6a":{"name":"@aufbau/verifier","version":"0.0.4-canary.20260812T013544Z.34.gb67761840b6a","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.4-canary.20260812T013544Z.34.gb67761840b6a","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"017b08a9d31a31a8d0581a0c8cd8a533efc4c6b7","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.4-canary.20260812T013544Z.34.gb67761840b6a.tgz","fileCount":5,"integrity":"sha512-oH7rP9P0UfFMxr8rv5RS2BLPXoPSR57v+Q3neKukSAgda+nEk24JqNqhduXGlcSSWu586oJ/8mysoxAUVGey2g==","signatures":[{"sig":"MEQCIETe3ZTEyLscJS5xlgHIflzWGHU2mUZrtmC43oL3JVt1AiB2Ud+GZWNKM3NhsRzLcxicwDBn4JCk8ejccZCRrE7bRw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.4-canary.20260812T013544Z.34.gb67761840b6a","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080492},"type":"module","exports":"./index.js","gitHead":"b67761840b6adf897c392b1bcf0c9a820d3a6139","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.4-canary.20260812T013544Z.34.gb67761840b6a_1786498653271_0.9815696091110753","host":"s3://npm-registry-packages-npm-production"}},"0.0.5-canary.20260813T205127Z.37.g4d9efd8e4735":{"name":"@aufbau/verifier","version":"0.0.5-canary.20260813T205127Z.37.g4d9efd8e4735","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.5-canary.20260813T205127Z.37.g4d9efd8e4735","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"9a03032f5b6516087825b0475e31be914e347b0f","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.5-canary.20260813T205127Z.37.g4d9efd8e4735.tgz","fileCount":5,"integrity":"sha512-dalagHT6D2EPeNoyGXMKH7shXpsI5FDkw+TJfY4BEx0kaVeal4rRy3EJWQ9MM8j2r42m2NlKrBN4R7k7CGV+jw==","signatures":[{"sig":"MEQCIGxC2ZO0KeMItzs/zt+BtMyWAYAw/mpODfxhhvspBUJtAiBUJrcLGVDqF+NZriioVrofZ0xt23n9t3hZ/FyNRtHC+Q==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.5-canary.20260813T205127Z.37.g4d9efd8e4735","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080602},"type":"module","exports":"./index.js","gitHead":"4d9efd8e4735d52e0b867e44c84e4060c3da7480","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.5-canary.20260813T205127Z.37.g4d9efd8e4735_1786654373910_0.09051847706141136","host":"s3://npm-registry-packages-npm-production"}},"0.0.5":{"name":"@aufbau/verifier","version":"0.0.5","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.5","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"f111c0e5786ba762ac6978e9102dbf9c1e5d0fcf","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.5.tgz","fileCount":5,"integrity":"sha512-Be0rA3P14cBycgCagbYJJqOTgiPc1YAeum3T7KQykYr24WG22Qsu/S7SRAhMOgIm8Wkfw3Sk6eAbpr3549GsKw==","signatures":[{"sig":"MEUCIEkIgmu3HbkyAH5gRZVi1T697v0v0L8Wzgreqh67ZIOfAiEAtRPkeJuplKTaEHBIzDuyHAvy912DTy/+mrwsbsNgn3A=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.5","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080561},"type":"module","exports":"./index.js","gitHead":"4d9efd8e4735d52e0b867e44c84e4060c3da7480","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.16.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.18.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.5_1786655697009_0.5027985666495474","host":"s3://npm-registry-packages-npm-production"}},"0.0.5-canary.20260814T154346Z.39.ga42d37015f4e":{"name":"@aufbau/verifier","version":"0.0.5-canary.20260814T154346Z.39.ga42d37015f4e","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.5-canary.20260814T154346Z.39.ga42d37015f4e","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"812cd350196dc0d9867ebd8c72ae81aae47e9e0f","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.5-canary.20260814T154346Z.39.ga42d37015f4e.tgz","fileCount":5,"integrity":"sha512-PGOh2Nm79eQqENAEar9/5a2LvKaVueUIFJecjuRTQ03h5WDVhVHDLXVfXWw19YL0YBabzExq3XLlCr/WjSTBZA==","signatures":[{"sig":"MEUCIBZa8a/6IMsbMD7JoeQLmS3H7JAMXAd21Xd57gPz5h4XAiEAvfkYE2m0rNuqSlpeBaHEtZ+q5KSTmd4UmW2X5vISCXw=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.5-canary.20260814T154346Z.39.ga42d37015f4e","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080602},"type":"module","exports":"./index.js","gitHead":"a42d37015f4ec0f58944f55a6731aff076a1cd13","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.5-canary.20260814T154346Z.39.ga42d37015f4e_1786722320799_0.01605516889344405","host":"s3://npm-registry-packages-npm-production"}},"0.0.5-canary.20260815T191508Z.40.g57da6c267ea5":{"name":"@aufbau/verifier","version":"0.0.5-canary.20260815T191508Z.40.g57da6c267ea5","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.5-canary.20260815T191508Z.40.g57da6c267ea5","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"6cc25b61d181a53bd60b60ad1f449bb9b687b3c6","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.5-canary.20260815T191508Z.40.g57da6c267ea5.tgz","fileCount":5,"integrity":"sha512-lQdzzRy5hXVMyVamq/Dwo/5zdFCe0lIdTAyZKpRlMDoOJxwO0pTZHFFbzKWhzufU+0T15r2Tnna9arEiVMMqoQ==","signatures":[{"sig":"MEYCIQDqFUHfgItcyDtslnlMXLqKWb06ktqY+e09uiE45brBOAIhALvVHilkcjrCX1Z0Z1c0g846X9rTXeMB1BiI4cyG7wS7","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.5-canary.20260815T191508Z.40.g57da6c267ea5","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080603},"type":"module","exports":"./index.js","gitHead":"57da6c267ea5546d89ed0bd69ce16606d43de45b","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.5-canary.20260815T191508Z.40.g57da6c267ea5_1786821405607_0.1052684920663649","host":"s3://npm-registry-packages-npm-production"}},"0.0.6-canary.20260816T135459Z.41.g89fe938642c3":{"name":"@aufbau/verifier","version":"0.0.6-canary.20260816T135459Z.41.g89fe938642c3","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.6-canary.20260816T135459Z.41.g89fe938642c3","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"113873ffa1ebe7670e4f09edfc91cb4d71abdf68","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.6-canary.20260816T135459Z.41.g89fe938642c3.tgz","fileCount":5,"integrity":"sha512-zGGVre3z7K5kc0CCR2gk9Ls8xn5k/h8Il0OHepxLm/em74LiCLVf5aO3IslUSiUokoZ31ozQyWhXqr+nMhBs4Q==","signatures":[{"sig":"MEUCIH/ZAPu228nfy2ZKJc9EEUpyADI1XbyiyfeTTP/7iyhmAiEAogyzNtlMs+jnPV9EIVeqpjJy9FICbf4cEJdRXjprTbk=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.6-canary.20260816T135459Z.41.g89fe938642c3","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080603},"type":"module","exports":"./index.js","gitHead":"89fe938642c34c3c4087fa07fe00e86be7bab4d6","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.6-canary.20260816T135459Z.41.g89fe938642c3_1786888584821_0.03285640939544665","host":"s3://npm-registry-packages-npm-production"}},"0.0.6":{"name":"@aufbau/verifier","version":"0.0.6","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.6","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"527d2441ff454247a728106a20da68ebfbb1531f","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.6.tgz","fileCount":5,"integrity":"sha512-M+dC1Dk06kVO9lUvPJMzWcKsJne1YsH95d082CLqShQLjHEkTohXFdnWizGhO0lpPNaVc1pnymTdARXlPIYWBw==","signatures":[{"sig":"MEYCIQCNBWogYphDnpQii4ACbqT1ImvBDjNwPW1WWA5V+rW96wIhAMuQ9l8NuzXk7WTZPxYz5IYwT2KA7tg2JX+QEkNmtmbt","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.6","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080562},"type":"module","exports":"./index.js","gitHead":"89fe938642c34c3c4087fa07fe00e86be7bab4d6","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.6_1786891993607_0.9256511645504111","host":"s3://npm-registry-packages-npm-production"}},"0.0.6-canary.20260817T103619Z.43.gd49eace714ac":{"name":"@aufbau/verifier","version":"0.0.6-canary.20260817T103619Z.43.gd49eace714ac","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.6-canary.20260817T103619Z.43.gd49eace714ac","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"4da817f0da0caa9c45ad966fb34841b94c409ee3","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.6-canary.20260817T103619Z.43.gd49eace714ac.tgz","fileCount":5,"integrity":"sha512-5DZemQ5C1HlnExL/5uDhh11h2Jw1tm/dfL/IB8YClPoCgOJV4Jj23Jtk5rEEMloyYRyGf0M4FQC5MUsptscERA==","signatures":[{"sig":"MEQCIAVYU2SMNuAHWUix15hL6v3zih2pEIB1WM4uWAqypA44AiACOyGozBjehuTU7NgvcKEix1iYqFlOaG5y0H9OqN+GYg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.6-canary.20260817T103619Z.43.gd49eace714ac","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080603},"type":"module","exports":"./index.js","gitHead":"d49eace714ac724c15b68df45a1e7fb0d6c89b8d","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.6-canary.20260817T103619Z.43.gd49eace714ac_1786963077350_0.1305280913458884","host":"s3://npm-registry-packages-npm-production"}},"0.0.6-canary.20260819T235332Z.44.g3a40260b9191":{"name":"@aufbau/verifier","version":"0.0.6-canary.20260819T235332Z.44.g3a40260b9191","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.6-canary.20260819T235332Z.44.g3a40260b9191","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"1085634da51a9c91e5bed17c487b9dcefb9f7d47","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.6-canary.20260819T235332Z.44.g3a40260b9191.tgz","fileCount":5,"integrity":"sha512-dZQUqwdmhBM4AfUxSDy/ia02nRUZFzDQy1V7E/5KwHfacvs3uNH2W3oeaPRdFFJqtNa+T9kYQzOdufNMETLuXA==","signatures":[{"sig":"MEUCIC1oSe+aKKVv/IRrRNJq1AYVYRdmI2xd+/gzfIdx0G8LAiEA3YVAbIUf6ywA7OWsvulBtObmz60HTIs+69DyevZ4qEg=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.6-canary.20260819T235332Z.44.g3a40260b9191","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080603},"type":"module","exports":"./index.js","gitHead":"3a40260b9191b0ba15f7ce8341545ca1b3770185","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.6-canary.20260819T235332Z.44.g3a40260b9191_1787183693259_0.11863203723090598","host":"s3://npm-registry-packages-npm-production"}},"0.0.6-canary.20260822T190953Z.45.g6c6213f60071":{"name":"@aufbau/verifier","version":"0.0.6-canary.20260822T190953Z.45.g6c6213f60071","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.6-canary.20260822T190953Z.45.g6c6213f60071","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"3740f0634682a4dda674a627e39fdc605f6ac889","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.6-canary.20260822T190953Z.45.g6c6213f60071.tgz","fileCount":5,"integrity":"sha512-Hcv8a5EtyRpS+qviI+o8mD3Lp83CDrAPmlyfOVB4HX+D5NruirL8YXMxNUtVURgAxa6rEc5c/BHh9WPqxi0sxw==","signatures":[{"sig":"MEUCIQCp9iv5Thx7FYuETNB+FP0KneOybZMDnI4WRxa7Z40c1wIgR8WyCL60XbMJ2Pbf541OqDA3ZpX8/yDkY+/CgvWUc2c=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.6-canary.20260822T190953Z.45.g6c6213f60071","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080603},"type":"module","exports":"./index.js","gitHead":"6c6213f60071658bb24d4676164718b16177356f","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.6-canary.20260822T190953Z.45.g6c6213f60071_1787425888859_0.13081689579411382","host":"s3://npm-registry-packages-npm-production"}},"0.0.6-canary.20260822T194519Z.46.gdea88058df0e":{"name":"@aufbau/verifier","version":"0.0.6-canary.20260822T194519Z.46.gdea88058df0e","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.6-canary.20260822T194519Z.46.gdea88058df0e","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"1f2e3b6ecfada8f6f508527569c1e9bda5258ca6","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.6-canary.20260822T194519Z.46.gdea88058df0e.tgz","fileCount":5,"integrity":"sha512-3nTve0BhkhYzGEAQ8Hw02UL8bkZswZ7Z/Ic/DfoRYnDMDQ/qkhl+JE08yfLtjgNUE/7lk2z8ilL82VvIExTkwA==","signatures":[{"sig":"MEUCIQDS762iRKLwsiRTYYmDCgCDR+YZww+/ETcFoX+huKd7NwIgDfj9laG6WFR2LQGguMXde1lZYRCEm0fmkUI79tTTl6M=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.6-canary.20260822T194519Z.46.gdea88058df0e","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1080603},"type":"module","exports":"./index.js","gitHead":"dea88058df0edde79e603a792229a74cb05e97c9","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.6-canary.20260822T194519Z.46.gdea88058df0e_1787428020591_0.4446011015747777","host":"s3://npm-registry-packages-npm-production"}},"0.0.7-canary.20260822T215642Z.47.g77203735d206":{"name":"@aufbau/verifier","version":"0.0.7-canary.20260822T215642Z.47.g77203735d206","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.7-canary.20260822T215642Z.47.g77203735d206","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"634cec8a2d9db0c64d3dbf0d374417259f3aa618","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.7-canary.20260822T215642Z.47.g77203735d206.tgz","fileCount":5,"integrity":"sha512-PL4dnXqSK5LR1ZvvugdUOupj0baApwbDJ2+o+JZyXLNtaHf88gh71d6C8TAwxZ+IvnFcFOpcVJx/8mJkgZ7cMg==","signatures":[{"sig":"MEUCIFl3kKVJXVmaA2Blmmt7gRzJuHzLPPwN1XOS5MjYBj0rAiEAxLYt9f2rPG1o0iF/HtUWINKqf2qJ21W0vTzfcHhQhD4=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.7-canary.20260822T215642Z.47.g77203735d206","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1081794},"type":"module","exports":"./index.js","gitHead":"77203735d206d066e27decb9ca4be2b225c20933","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.7-canary.20260822T215642Z.47.g77203735d206_1787435902623_0.0036440429211865855","host":"s3://npm-registry-packages-npm-production"}},"0.0.7":{"name":"@aufbau/verifier","version":"0.0.7","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.7","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"60de98d8cf8826f5efdd2adcd0526b223dceb7aa","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.7.tgz","fileCount":5,"integrity":"sha512-kLxdl9LYkzmukIS9GIq/a+lsQZgiwq9G26gI/qu1IvDXvAkdDgWTafyUqbuuiHoHBsc6cOD+PPy618GjjQTK0A==","signatures":[{"sig":"MEYCIQDM1nTRqqaUIkGZrUO5AFebCoLX2GmkHMhCf7UT9kgE+gIhALs2ZSFMxO4u1jfabTpzkCSdVGbQxjtVFt6+6QUFcirn","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.7","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1081753},"type":"module","exports":"./index.js","gitHead":"77203735d206d066e27decb9ca4be2b225c20933","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.17.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.19.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.7_1787436991283_0.4210611675403635","host":"s3://npm-registry-packages-npm-production"}},"0.0.8-canary.20260908T121817Z.49.g588c98d521f8":{"name":"@aufbau/verifier","version":"0.0.8-canary.20260908T121817Z.49.g588c98d521f8","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.8-canary.20260908T121817Z.49.g588c98d521f8","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"f7b8cbf330316afef0f9c43207cd233f3b3dbe3e","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.8-canary.20260908T121817Z.49.g588c98d521f8.tgz","fileCount":5,"integrity":"sha512-2pxffclkSLEl4LEITOHIfSn210/DFNwX4yrb+PpwjNZ7kU5YLX7xxRaW6bJlM5wHe/+SNuHebbeUkvSYZqBg7A==","signatures":[{"sig":"MEUCIQCvtS9dw9zpseGIpeR1ILBTj7iOnrOqXGLWH8nR3qzjvAIgCx67yHxYDFHIF35H04mCrqDSjvfT2DsH8pjd6U1iKzQ=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.8-canary.20260908T121817Z.49.g588c98d521f8","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1085155},"type":"module","exports":"./index.js","gitHead":"588c98d521f8b33769b4a9b5374788cecc62ee0e","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.8-canary.20260908T121817Z.49.g588c98d521f8_1788870004268_0.4774957059384606","host":"s3://npm-registry-packages-npm-production"}},"0.0.8-canary.20260908T185724Z.50.gba48fbf7e913":{"name":"@aufbau/verifier","version":"0.0.8-canary.20260908T185724Z.50.gba48fbf7e913","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.8-canary.20260908T185724Z.50.gba48fbf7e913","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"dec9cf8887fd0a74ec4bc5c2fe63733bae0e7245","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.8-canary.20260908T185724Z.50.gba48fbf7e913.tgz","fileCount":5,"integrity":"sha512-xzZzoGkEtA+EFDNAXjdinlr03eWiwjWye9tmd8j8aCYiCQu/pyVdLumb/wYQnBcZKUyLHw6yZ5w0PGNpidEsHA==","signatures":[{"sig":"MEUCIHUxA5a3s8acNP8i96et2l5WIKknUVjqOTMGCdU4zQAlAiEAqBvprcE4v7MmcNrH0swkjblczCyUb9OjomxuiLn0lps=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.8-canary.20260908T185724Z.50.gba48fbf7e913","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1085155},"type":"module","exports":"./index.js","gitHead":"ba48fbf7e91313f00400f24029153d1a0dd13168","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.8-canary.20260908T185724Z.50.gba48fbf7e913_1788893855642_0.981471950845487","host":"s3://npm-registry-packages-npm-production"}},"0.0.8-canary.20260912T155345Z.51.gb584ab14e4c3":{"name":"@aufbau/verifier","version":"0.0.8-canary.20260912T155345Z.51.gb584ab14e4c3","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.8-canary.20260912T155345Z.51.gb584ab14e4c3","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"09d64cd1ce9e05b15a8d79397fb0eac7ec603573","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.8-canary.20260912T155345Z.51.gb584ab14e4c3.tgz","fileCount":5,"integrity":"sha512-Q8vQBgy6oUi6l1kRsB2AUaQIJKfz6W5dgYI3Y8VwoT2/FCEur5B3K2+urzz2WpUH/ava0rBqPtazDbt6cEYxMQ==","signatures":[{"sig":"MEYCIQDzsDrB2UROidLxMAPnuu2wyEtOVR2LKBZpEJZcuH8DNwIhAI/3Vl4eVoKlSdVZr5pBddY2FyWM6mZyQdmuIoDqCaFZ","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.8-canary.20260912T155345Z.51.gb584ab14e4c3","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1085155},"type":"module","exports":"./index.js","gitHead":"b584ab14e4c38eaa1f60cfad2f930d547a246320","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.8-canary.20260912T155345Z.51.gb584ab14e4c3_1789228522756_0.41693722814431133","host":"s3://npm-registry-packages-npm-production"}},"0.0.8-canary.20260912T163626Z.52.ge6853578e79b":{"name":"@aufbau/verifier","version":"0.0.8-canary.20260912T163626Z.52.ge6853578e79b","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.8-canary.20260912T163626Z.52.ge6853578e79b","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"f5171a7e8bafd0486da237df611af4c7594e8d9b","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.8-canary.20260912T163626Z.52.ge6853578e79b.tgz","fileCount":5,"integrity":"sha512-n6ltvEyUw4rqwJGOPJcTYlDnkChcDTo/RmM8mESGbMSv9XiihZFpFf0/J94en8CBgq5FSuAgtyIAnKJTyZqfNQ==","signatures":[{"sig":"MEYCIQDlUVZJpZUelDr90Bwel1taUkWJaQbSAG94sBXtGqXrpwIhAJxEYA5/47qmdvD9c3ZsbVdP80mgY5sdaHVJzLeF8b8Q","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.8-canary.20260912T163626Z.52.ge6853578e79b","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1085155},"type":"module","exports":"./index.js","gitHead":"e6853578e79bee52846044056650399fff0d63b1","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.8-canary.20260912T163626Z.52.ge6853578e79b_1789231084786_0.7556280180677872","host":"s3://npm-registry-packages-npm-production"}},"0.0.8":{"name":"@aufbau/verifier","version":"0.0.8","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.8","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"db9f0a6e5ea43b083ed7182345a076adfb762acd","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.8.tgz","fileCount":5,"integrity":"sha512-CQ6y2NnZLJSSkMpJcEMTYZgziAe2s+EZPNocS9SezNgG3cC/1Pwsjw9cjxfFisNRO9MvhmOTRLGrIjio/+5RDA==","signatures":[{"sig":"MEQCIB6GGQBfD/MCtOz6z0zokDYRq3IzTLjPxokR7V2fLPw9AiBpF8RF4eR0AU4z5oyPq6UO1+af/el12FRGW4m2cl3Pnw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.8","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1085114},"type":"module","exports":"./index.js","gitHead":"e6853578e79bee52846044056650399fff0d63b1","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.8_1789238792337_0.6942687722773808","host":"s3://npm-registry-packages-npm-production"}},"0.0.8-canary.20260912T225659Z.54.ga62a53eaf3d9":{"name":"@aufbau/verifier","version":"0.0.8-canary.20260912T225659Z.54.ga62a53eaf3d9","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.8-canary.20260912T225659Z.54.ga62a53eaf3d9","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"4f7f2c449323db6b9f704bc7a4275e7bf88578b4","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.8-canary.20260912T225659Z.54.ga62a53eaf3d9.tgz","fileCount":5,"integrity":"sha512-8tOrllRlsvxi1pq3k2Mj36uocHzAJf24XqDWaqFQO2r6l35ZczgmD1Yo5l6MReLaclsbLh9usyrKkiE4v8uu0A==","signatures":[{"sig":"MEUCIAOfU93090pL6gXRYfThpUp+6HSlX49l0c88JhzTrEHEAiEAtPZdQgeCSWNB5OhHBs52cTCT++C5SxqvpQcA7t5I4FQ=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.8-canary.20260912T225659Z.54.ga62a53eaf3d9","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1085155},"type":"module","exports":"./index.js","gitHead":"a62a53eaf3d9a70c4582354b787ee1e76581e5e3","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.8-canary.20260912T225659Z.54.ga62a53eaf3d9_1789253904678_0.04812067744055559","host":"s3://npm-registry-packages-npm-production"}},"0.0.9-canary.20260913T160017Z.55.gb66a2c79c0b7":{"name":"@aufbau/verifier","version":"0.0.9-canary.20260913T160017Z.55.gb66a2c79c0b7","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.9-canary.20260913T160017Z.55.gb66a2c79c0b7","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"ccd602fd5b21a54fb6a2aa3674c6a476fb1133e0","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.9-canary.20260913T160017Z.55.gb66a2c79c0b7.tgz","fileCount":5,"integrity":"sha512-P+wOWDPxQFQeVN87W+WwRaXydry1m5J7Z7Tnh58u9iiJ7EX/Nj3fi7a/hOXwGvL6psHEBCWn2LbguMxR8AXsWA==","signatures":[{"sig":"MEQCIAMxppPnxTNvxR9nM6AHoJfKxcz99Ud+OctlTfgeHXYwAiAzXJGzckJADbkMUjKHXBqhGkmNhpu0rNiQkHp7CPXZwg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.9-canary.20260913T160017Z.55.gb66a2c79c0b7","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1104095},"type":"module","exports":"./index.js","gitHead":"b66a2c79c0b715776fb42e68c5b1aa0d8ca4211f","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.9-canary.20260913T160017Z.55.gb66a2c79c0b7_1789315318786_0.5763024098499561","host":"s3://npm-registry-packages-npm-production"}},"0.0.9":{"name":"@aufbau/verifier","version":"0.0.9","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.9","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"40d173d7b955e13c67b5442a0e37dad209ec30dd","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.9.tgz","fileCount":5,"integrity":"sha512-2i+fR2x/CL2CiJE+yKAOw36cGgOZg8AA4kzlrZ+Veh7TbQycrgFWiU20Vh74kCFtz+bmEhA9c7dY4DWlQWGxAg==","signatures":[{"sig":"MEUCIDBKpA2YwRhLQ54/I1wU130kuAmna0AOuhF7ba3zXK9pAiEA+dphRw1KSKGFN3Bn65PNJe9v/ivFcZweWj/4Hc4QEj0=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.9","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1104054},"type":"module","exports":"./index.js","gitHead":"b66a2c79c0b715776fb42e68c5b1aa0d8ca4211f","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.9_1789316620811_0.6312446973174146","host":"s3://npm-registry-packages-npm-production"}},"0.0.9-canary.20260913T163548Z.57.g826f0112eb6b":{"name":"@aufbau/verifier","version":"0.0.9-canary.20260913T163548Z.57.g826f0112eb6b","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.9-canary.20260913T163548Z.57.g826f0112eb6b","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"102dd57e538e0dab88b8a63ac71aac854039a7bd","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.9-canary.20260913T163548Z.57.g826f0112eb6b.tgz","fileCount":5,"integrity":"sha512-kBobSzGs1ndsvQr9vRhaegazaaF9Nxxm4PpB09FINAb5JmrxXQinU3xhZNBYHVbqPySw1i0KxYGu+0kOHbIAYw==","signatures":[{"sig":"MEQCIDlGV+Cha54uodlLzMATCE1avCloMZkjayutv9okSORGAiBkxK35Xdm5qyK4p9hRAOwcBx09Uujjs4IzjBpn904c4A==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.9-canary.20260913T163548Z.57.g826f0112eb6b","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1104095},"type":"module","exports":"./index.js","gitHead":"826f0112eb6b5663f8e41955f520c8c5986caff6","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.9-canary.20260913T163548Z.57.g826f0112eb6b_1789317430296_0.17971350200603964","host":"s3://npm-registry-packages-npm-production"}},"0.0.9-canary.20260913T175437Z.58.gfa9315c50e0d":{"name":"@aufbau/verifier","version":"0.0.9-canary.20260913T175437Z.58.gfa9315c50e0d","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.9-canary.20260913T175437Z.58.gfa9315c50e0d","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"916984a99fa7273b43d277e49b252064e9c74ac6","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.9-canary.20260913T175437Z.58.gfa9315c50e0d.tgz","fileCount":5,"integrity":"sha512-LL1drrnnoCceRC+nOgRNhAQYgoLMgNvsKnWS2sOwyWkZeDha9YukOcLiNMqrYtudaB0TKRAdmjHMc0pY7y21UQ==","signatures":[{"sig":"MEUCIQD+em7I31lKbDv5wuBPbF4tUMuREdOLtrI+Sgae+got5gIgekI37f7QUS/rtOBkdxiFbz7ovQwywJiC2W6am6i6DB0=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.9-canary.20260913T175437Z.58.gfa9315c50e0d","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1104095},"type":"module","exports":"./index.js","gitHead":"fa9315c50e0d29aab11c081110d59f66b3e51e63","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.9-canary.20260913T175437Z.58.gfa9315c50e0d_1789322173178_0.4446298343516044","host":"s3://npm-registry-packages-npm-production"}},"0.0.10-canary.20260913T211017Z.59.gf1689b3db1af":{"name":"@aufbau/verifier","version":"0.0.10-canary.20260913T211017Z.59.gf1689b3db1af","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.10-canary.20260913T211017Z.59.gf1689b3db1af","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"e9c08949ac363d0599e16ee84d5c02225fd363b7","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.10-canary.20260913T211017Z.59.gf1689b3db1af.tgz","fileCount":5,"integrity":"sha512-sDAzPu18udRgTfqMnJpJ8aVF3XDMBAXfGs/TuGMhWvLT4ego3TvWYgmInTrySwj0huorIL/wCLMCbKGDLRkHBA==","signatures":[{"sig":"MEQCIDttFBJqyRgLhybG2nUjOB4hYbEretC+Nu4Ye0x8E/knAiAhCm9kXQIUfO2k36gUurDxv9DRriVbwn+2jhV26reuLw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.10-canary.20260913T211017Z.59.gf1689b3db1af","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1104096},"type":"module","exports":"./index.js","gitHead":"f1689b3db1af8e6b84c95291f7c420823bb6d6d8","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.10-canary.20260913T211017Z.59.gf1689b3db1af_1789333925268_0.2931903592743843","host":"s3://npm-registry-packages-npm-production"}},"0.0.10-canary.20260913T211305Z.60.g4592a982c762":{"name":"@aufbau/verifier","version":"0.0.10-canary.20260913T211305Z.60.g4592a982c762","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.10-canary.20260913T211305Z.60.g4592a982c762","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"1d90f0177a5f5fa925a37d24f2b76cda672f9953","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.10-canary.20260913T211305Z.60.g4592a982c762.tgz","fileCount":5,"integrity":"sha512-d8bxDoIK56hsIV7h6aYyPUQHwEnro6s3I+KhK8LmAgNkHKDOao3flhd/IsHxCIAUMSyUHAVBzqtnxlS8CZ5liA==","signatures":[{"sig":"MEYCIQDFH6c75bhY9GLHUduz7EfXRNMfq2rMobxt1M8WU37KcQIhAMyc1A7Uw4OkY8AkZgbIdhs/jtDjDRdniBV/TK6GBaFZ","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.10-canary.20260913T211305Z.60.g4592a982c762","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1104096},"type":"module","exports":"./index.js","gitHead":"4592a982c762c52d745e15363f8e79f30a5a3d38","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.10-canary.20260913T211305Z.60.g4592a982c762_1789333994567_0.7452486697384417","host":"s3://npm-registry-packages-npm-production"}},"0.0.10":{"name":"@aufbau/verifier","version":"0.0.10","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.10","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"1b175af029d016cc40ac80a26758848c15436ada","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.10.tgz","fileCount":5,"integrity":"sha512-+hPfb5YPT+7zXZP5TJzPrQyc7AtoPR8tqUOo49oU+nXIejXUaC8cKCNRpKewP1JPAXpJuBN+2J274WdsBykYFw==","signatures":[{"sig":"MEUCIQD4NNQbLz0BTTD1zOZ5ftXcOxr6FuEfgWPHEcmp17EagwIgVXZ7U3btGj2uRTeMBKaidHoYnztMbXlhjYVA5wTMqDg=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.10","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1104055},"type":"module","exports":"./index.js","gitHead":"4592a982c762c52d745e15363f8e79f30a5a3d38","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.10_1789337645057_0.19953756926446475","host":"s3://npm-registry-packages-npm-production"}},"0.0.10-canary.20260916T233215Z.62.ge4223a1750e7":{"name":"@aufbau/verifier","version":"0.0.10-canary.20260916T233215Z.62.ge4223a1750e7","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.10-canary.20260916T233215Z.62.ge4223a1750e7","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"e3195613a4a987bd80f967620671090313776c27","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.10-canary.20260916T233215Z.62.ge4223a1750e7.tgz","fileCount":6,"integrity":"sha512-4RoDbUZdknLiUqA3UDfgZUf9i+D5XWf5sCxxT3xlIjZVJIAmErzk1J/FEnlEgw35Q8uccu4hfoGgV5MRlroiuA==","signatures":[{"sig":"MEYCIQCPns/6i9PYmu9D5RZQ0FYMqHJDp3kcyGoeVk4Bpm6AYAIhAL9MRpAH6oV9NyobYqXnAB0SoTdTnp3T6NM6RPD96OW5","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"},{"sig":"MEUCICzuZ4L3oMHN4RI9FtCZG9W3zy3MECdtG9lfVT4xVOaIAiEAtNqKHVbKCiO6zNhN+1uNTpCr1D0zJvVVeVOKSDMyD0M=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.10-canary.20260916T233215Z.62.ge4223a1750e7","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1106549},"type":"module","exports":"./index.js","gitHead":"e4223a1750e7309e0c432e296b86974cc5362adc","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.10-canary.20260916T233215Z.62.ge4223a1750e7_1789601690402_0.5174420834156401","host":"s3://npm-registry-packages-npm-production"}},"0.0.10-canary.20260917T121532Z.63.g68f5df45ddff":{"name":"@aufbau/verifier","version":"0.0.10-canary.20260917T121532Z.63.g68f5df45ddff","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.10-canary.20260917T121532Z.63.g68f5df45ddff","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"6e660b4b704a9f548b2b00768a0fe617e1cd6774","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.10-canary.20260917T121532Z.63.g68f5df45ddff.tgz","fileCount":6,"integrity":"sha512-cwHWtsYXT2taUCg6UclI09YOMbEEGDlvwOJ5dcSrKZnlDOWLQJzZR8tGv+Mvxg8rvWBdAdizkEmablRoOF8c/g==","signatures":[{"sig":"MEQCIFAhXq2iOQV0AVjPNocZSV8GKkC18tJCPPq1hkhUWmOVAiBlj8wguQHm06RffxxcL3M5XqfmhJ/glCTg83iBowN5AQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"},{"sig":"MEQCICuK+n+hOLWLHrJ413j4afZwLXKgiYcCYLwtlL7R0vT1AiBZoaIXWVWOPIDo52KWNOOQcxrZlTYYs2lIcLJbM3heug==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.10-canary.20260917T121532Z.63.g68f5df45ddff","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1106549},"type":"module","exports":"./index.js","gitHead":"68f5df45ddff7e7bd151c7d864e699c2f0c78d01","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.10-canary.20260917T121532Z.63.g68f5df45ddff_1789647563230_0.2726720975752315","host":"s3://npm-registry-packages-npm-production"}},"0.0.10-canary.20260920T133500Z.64.g4e87becb5738":{"name":"@aufbau/verifier","version":"0.0.10-canary.20260920T133500Z.64.g4e87becb5738","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.10-canary.20260920T133500Z.64.g4e87becb5738","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"8180d1081965f2d37f73c937a7259c39cd6501c0","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.10-canary.20260920T133500Z.64.g4e87becb5738.tgz","fileCount":6,"integrity":"sha512-sLuVntj6YxpoJXQ/FuP+E1vAJdQG/wh8IE0spCYeBk2s04V5zGXdwCkMACraxy/WpvX696fPnx/DmlU9n9p3qA==","signatures":[{"sig":"MEUCIFnWf/hFghEy1ePxnLYFmsncUISOBRVANsO3KzB0RZMlAiEA81QKgIut9yT+YoyJrxLhpsqjHLE7siTaPhe6xYlhTes=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"},{"sig":"MEYCIQDJxOyRl8HwQdI7kXcCQ7PVnHIoR0SbPJjCOGicnBRTPQIhAL+sb9Sa+pQnHWySfqLKRORhdMraW8T0H80adQViiOT3","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.10-canary.20260920T133500Z.64.g4e87becb5738","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1106549},"type":"module","exports":"./index.js","gitHead":"4e87becb5738524bed891280e6c1f37b2fa62fd2","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.10-canary.20260920T133500Z.64.g4e87becb5738_1789911532391_0.06905065100020336","host":"s3://npm-registry-packages-npm-production"}},"0.0.11-canary.20260920T141418Z.65.g21a805787e70":{"name":"@aufbau/verifier","version":"0.0.11-canary.20260920T141418Z.65.g21a805787e70","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.11-canary.20260920T141418Z.65.g21a805787e70","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"24ca64fce40f7d9065ec83f1926954e5ac8ba4f7","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.11-canary.20260920T141418Z.65.g21a805787e70.tgz","fileCount":6,"integrity":"sha512-sWglgoT+UV7pexpbpYnYLnlwpNNrjVH8avhd/yN6kvEr8M3W6Om6Icf8zhwLkrFs5KOGezaZJud6cgXSI5dXpQ==","signatures":[{"sig":"MEUCIHotypwrxG1Tvp3pBJ9gqDu6tRF0RoCONBvkpg4BIhc3AiEAsEUFtJHgNlG8mw11acJ4G0CJnXmfwrFrxChi0uwAgPc=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"},{"sig":"MEUCIQCibF5SYg2y/MKmWHlSm/ceoRAz1mYXAQeaTQPLH4qk1QIgWz8KLoyhfKxxZ7FYghSSIse1oA8AW/Tik/iTA91Xx2k=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.11-canary.20260920T141418Z.65.g21a805787e70","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1106549},"type":"module","exports":"./index.js","gitHead":"21a805787e706b528edb184b2e683eb7654bff66","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.11-canary.20260920T141418Z.65.g21a805787e70_1789913836991_0.5421458842243769","host":"s3://npm-registry-packages-npm-production"}},"0.0.11":{"name":"@aufbau/verifier","version":"0.0.11","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.11","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"03a78cdb381b9e95ccdfc466c8925dc32cf744e2","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.11.tgz","fileCount":6,"integrity":"sha512-7ruCvBBFSzWr5gSSZrjTqI3JVZ42QLyRSY0H+RHlWLtkH5jYZB/YwOEEV+1Qo3mSvjIzj/wHmc5a+iExdNw31A==","signatures":[{"sig":"MEUCIQCbaFvrk1a5SY3Mz1kUxhxQHBjVVZEj0nO8pBDQn4JVcgIgPixHG+FqWRWNi6GAZRVASxRiO5FCXE+zq2iAOJgq5aI=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"},{"sig":"MEUCIGO5lXzG/PFGkYk2aEIAhjgQ/lVsnISwN2jKDNdjqMRWAiEAyVFrl0XgW2CsSPeEV003PJCfWOTb9Ra/GothAZF3X0k=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.11","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1106508},"type":"module","exports":"./index.js","gitHead":"21a805787e706b528edb184b2e683eb7654bff66","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.20.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.11_1789915584447_0.10050424185146145","host":"s3://npm-registry-packages-npm-production"}},"0.0.12-canary.20260924T121025Z.67.gea53d90b6744":{"name":"@aufbau/verifier","version":"0.0.12-canary.20260924T121025Z.67.gea53d90b6744","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.12-canary.20260924T121025Z.67.gea53d90b6744","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"5bd1159f9db14cbf2405d6cfc337e1c54684963d","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.12-canary.20260924T121025Z.67.gea53d90b6744.tgz","fileCount":6,"integrity":"sha512-EtqaR4lYDdjd6BV9LGphjHs9BBEyA6tn8CjJx1LwrIWwICG33QGemqZ0ADYRC1F72RyZA8eJyulhgMMAkWAruA==","signatures":[{"sig":"MEQCIFLyiIUIvG+5IpVG6bwU65gSVQ+rio3azQ4mpTH+AkGsAiB9jWDrGm83xafH7pfEvto0J65AIsDMhxigM9KRhbaLYg==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"},{"sig":"MEUCIEjIYXzflk1YWUfZ7MIBzhipdvNDW/T4M8ekUS00w80AAiEA5Lba6UCRyYk1dcn34KNamQRPWYHgdZ3q0aReqUrbTZ8=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.12-canary.20260924T121025Z.67.gea53d90b6744","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1106549},"type":"module","exports":"./index.js","gitHead":"ea53d90b6744f1971aaf2b4e28e6d8936f6b1804","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.21.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.12-canary.20260924T121025Z.67.gea53d90b6744_1790252058916_0.811030247288925","host":"s3://npm-registry-packages-npm-production"}},"0.0.12-canary.20260924T221837Z.68.gd93aa21240ea":{"name":"@aufbau/verifier","version":"0.0.12-canary.20260924T221837Z.68.gd93aa21240ea","license":"Apache-2.0","_id":"@aufbau/verifier@0.0.12-canary.20260924T221837Z.68.gd93aa21240ea","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"homepage":"https://github.com/gleachkr/aufbau#readme","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"b421c35cf65d945d86b075a30421ad8a7f327b98","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.12-canary.20260924T221837Z.68.gd93aa21240ea.tgz","fileCount":6,"integrity":"sha512-vQSL3GymFNQGmP1L9ttgP6V5Jxxpp8IaS+p3vIvoUd8oR6cbqAJZjSf9Zoyinf0+LkxRcArnrt+z1yY/jWwUYQ==","signatures":[{"sig":"MEUCIQCet4UOVQuOn3RJ1WX+abboGySn+monpvcEPWNNJvgsdgIgcqTUkRYVSMAgbsbI6F7kp1fSBFARpxOqyn3qUashJYI=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"},{"sig":"MEYCIQC+wW0XRxp0MQQ3E6fgrwzBkzFpnh7w3G2KC0ZhQcrZfwIhALzspr+PXIFDjTL0KrcxKU7pcpZr0tp37tGavK+UclvW","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.12-canary.20260924T221837Z.68.gd93aa21240ea","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1106549},"type":"module","exports":"./index.js","gitHead":"d93aa21240ead2accc870716885d6356f56d3872","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"sideEffects":false,"_nodeVersion":"24.21.0","_hasShrinkwrap":false,"readmeFilename":"README.md","_npmOperationalInternal":{"tmp":"tmp/verifier_0.0.12-canary.20260924T221837Z.68.gd93aa21240ea_1790288576136_0.3715000501618986","host":"s3://npm-registry-packages-npm-production"}},"0.0.12":{"_id":"@aufbau/verifier@0.0.12","bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"dist":{"shasum":"fcd25b9701cdcbf34c8e9eeeda3b9d9672e25bff","tarball":"https://registry.npmjs.org/@aufbau/verifier/-/verifier-0.0.12.tgz","fileCount":6,"integrity":"sha512-ftc0IJtNG2CcSDG5/lUtrTKVqWpmKD2sHgPumiQF+FMb04b25/+ATxx0g8mUwhugvKC+nGFr5c29hlYIAPaoVQ==","signatures":[{"sig":"MEYCIQDgrv+i8ltEQascoxvLgn9/m5wt3u41yuyb9Ofweo/SbQIhAK9iNxwWcJ+kWA7QfKOS22BrvSDJVdBs/a9352CcH6Um","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"},{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEQCIEmyeEafDkpqU6JQJ/HmckI2yvHNQ+RUQJKKQ/3ve2llAiAvFbMbLxXzWbKZpa7xBbb5Dml93RFd2RPe1wMKrRymBA=="}],"attestations":{"url":"https://registry.npmjs.org/-/npm/v1/attestations/@aufbau%2fverifier@0.0.12","provenance":{"predicateType":"https://slsa.dev/provenance/v1"}},"unpackedSize":1106508},"name":"@aufbau/verifier","type":"module","exports":"./index.js","gitHead":"d93aa21240ead2accc870716885d6356f56d3872","license":"Apache-2.0","version":"0.0.12","_npmUser":{"name":"GitHub Actions","email":"npm-oidc-no-reply@github.com","trustedPublisher":{"id":"github","oidcConfigId":"oidc:778f99bf-b7b4-4107-b9d7-7d971699e707"}},"homepage":"https://github.com/gleachkr/aufbau#readme","repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"_npmVersion":"11.19.0","description":"Metamath Zero verifier for browsers and JavaScript runtimes.","directories":{},"maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"sideEffects":false,"_nodeVersion":"24.21.0","_hasShrinkwrap":false,"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/verifier_0.0.12_1790292197014_0.8876760399658179"}}},"time":{"created":"2026-05-04T14:04:47.900Z","modified":"2026-09-24T23:23:17.501Z","0.0.0-canary.20260504T135142Z.manual.gae788401d533":"2026-05-04T14:04:48.363Z","0.0.0-canary.20260507T113240Z.1.g19ca58421d12":"2026-05-07T11:32:48.863Z","0.0.0-canary.20260507T113457Z.1.g19ca58421d12":"2026-05-07T11:35:04.729Z","0.0.0-canary.20260508T110555Z.2.gc8d21b40a7ed":"2026-05-08T11:06:03.753Z","0.0.0-canary.20260513T131625Z.3.g0755b95af842":"2026-05-13T13:16:34.164Z","0.0.0-canary.20260513T164552Z.4.g7f34695282fc":"2026-05-13T16:46:00.019Z","0.0.0-canary.20260514T114738Z.5.g4141c91d7e33":"2026-05-14T11:47:48.512Z","0.0.0-canary.20260515T114341Z.6.g3e134dc2be16":"2026-05-15T11:43:49.856Z","0.0.0-canary.20260516T224523Z.7.g8f0e2d9ba078":"2026-05-16T22:45:32.147Z","0.0.0-canary.20260706T131619Z.8.g97c9fce0ef0f":"2026-07-06T13:16:30.034Z","0.0.0-canary.20260710T184207Z.9.gdbfa8243e9cb":"2026-07-10T18:42:16.976Z","0.0.0-canary.20260714T110048Z.10.g6b510232cf77":"2026-07-14T11:00:58.114Z","0.0.0-canary.20260714T113426Z.11.g2ab841267870":"2026-07-14T11:34:36.954Z","0.0.1-canary.20260714T225823Z.12.g9ad4ea995030":"2026-07-14T22:59:46.866Z","0.0.1-canary.20260716T013148Z.13.g1e039c8d3e2e":"2026-07-16T01:33:09.298Z","0.0.1-canary.20260716T015442Z.14.gc82728d29d22":"2026-07-16T01:56:08.424Z","0.0.1-canary.20260716T021832Z.15.gfe9f8ce464f5":"2026-07-16T02:19:35.835Z","0.0.1":"2026-07-16T10:57:27.463Z","0.0.2-canary.20260716T122726Z.17.g63e34562f926":"2026-07-16T12:28:50.559Z","0.0.2-canary.20260719T201527Z.18.ge73f30540ba9":"2026-07-19T20:16:55.991Z","0.0.2-canary.20260719T203159Z.19.g1a06c6b075ff":"2026-07-19T20:33:08.460Z","0.0.2-canary.20260721T021844Z.20.g30d3c55be056":"2026-07-21T02:20:12.018Z","0.0.2-canary.20260721T105339Z.21.gb3a2fe27d47a":"2026-07-21T10:55:04.003Z","0.0.2":"2026-07-21T11:10:00.983Z","0.0.3-canary.20260724T010427Z.23.g44f01ee99e68":"2026-07-24T01:06:06.929Z","0.0.3":"2026-07-24T01:42:35.386Z","0.0.3-canary.20260731T015955Z.25.g644350053667":"2026-07-31T02:01:30.183Z","0.0.3-canary.20260804T014737Z.26.gfab476f6c82b":"2026-08-04T01:49:13.251Z","0.0.3-canary.20260804T021518Z.27.gbaa901f8a0c0":"2026-08-04T02:16:49.223Z","0.0.3-canary.20260804T104732Z.28.g467b805418ac":"2026-08-04T10:49:02.113Z","0.0.3-canary.20260804T124907Z.29.gdeb3eb498c5d":"2026-08-04T12:50:33.110Z","0.0.4-canary.20260806T123107Z.30.gdfca52414c96":"2026-08-06T12:32:47.438Z","0.0.4":"2026-08-06T12:57:50.139Z","0.0.4-canary.20260806T233820Z.32.gfe50957558ca":"2026-08-06T23:39:32.330Z","0.0.4-canary.20260807T201024Z.33.g91d98f695a6a":"2026-08-07T20:11:55.388Z","0.0.4-canary.20260812T013544Z.34.gb67761840b6a":"2026-08-12T01:37:33.468Z","0.0.5-canary.20260813T205127Z.37.g4d9efd8e4735":"2026-08-13T20:52:54.153Z","0.0.5":"2026-08-13T21:14:57.178Z","0.0.5-canary.20260814T154346Z.39.ga42d37015f4e":"2026-08-14T15:45:20.931Z","0.0.5-canary.20260815T191508Z.40.g57da6c267ea5":"2026-08-15T19:16:45.762Z","0.0.6-canary.20260816T135459Z.41.g89fe938642c3":"2026-08-16T13:56:24.976Z","0.0.6":"2026-08-16T14:53:13.783Z","0.0.6-canary.20260817T103619Z.43.gd49eace714ac":"2026-08-17T10:37:57.515Z","0.0.6-canary.20260819T235332Z.44.g3a40260b9191":"2026-08-19T23:54:53.391Z","0.0.6-canary.20260822T190953Z.45.g6c6213f60071":"2026-08-22T19:11:29.002Z","0.0.6-canary.20260822T194519Z.46.gdea88058df0e":"2026-08-22T19:47:00.746Z","0.0.7-canary.20260822T215642Z.47.g77203735d206":"2026-08-22T21:58:22.779Z","0.0.7":"2026-08-22T22:16:31.432Z","0.0.8-canary.20260908T121817Z.49.g588c98d521f8":"2026-09-08T12:20:04.421Z","0.0.8-canary.20260908T185724Z.50.gba48fbf7e913":"2026-09-08T18:57:35.762Z","0.0.8-canary.20260912T155345Z.51.gb584ab14e4c3":"2026-09-12T15:55:22.904Z","0.0.8-canary.20260912T163626Z.52.ge6853578e79b":"2026-09-12T16:38:04.936Z","0.0.8":"2026-09-12T18:46:32.502Z","0.0.8-canary.20260912T225659Z.54.ga62a53eaf3d9":"2026-09-12T22:58:24.820Z","0.0.9-canary.20260913T160017Z.55.gb66a2c79c0b7":"2026-09-13T16:01:58.943Z","0.0.9":"2026-09-13T16:23:40.966Z","0.0.9-canary.20260913T163548Z.57.g826f0112eb6b":"2026-09-13T16:37:10.435Z","0.0.9-canary.20260913T175437Z.58.gfa9315c50e0d":"2026-09-13T17:56:13.313Z","0.0.10-canary.20260913T211017Z.59.gf1689b3db1af":"2026-09-13T21:12:05.468Z","0.0.10-canary.20260913T211305Z.60.g4592a982c762":"2026-09-13T21:13:14.726Z","0.0.10":"2026-09-13T22:14:05.190Z","0.0.10-canary.20260916T233215Z.62.ge4223a1750e7":"2026-09-16T23:34:50.526Z","0.0.10-canary.20260917T121532Z.63.g68f5df45ddff":"2026-09-17T12:19:23.324Z","0.0.10-canary.20260920T133500Z.64.g4e87becb5738":"2026-09-20T13:38:52.495Z","0.0.11-canary.20260920T141418Z.65.g21a805787e70":"2026-09-20T14:17:17.085Z","0.0.11":"2026-09-20T14:46:24.551Z","0.0.12-canary.20260924T121025Z.67.gea53d90b6744":"2026-09-24T12:14:19.015Z","0.0.12-canary.20260924T221837Z.68.gd93aa21240ea":"2026-09-24T22:22:56.229Z","0.0.12":"2026-09-24T23:23:17.169Z"},"bugs":{"url":"https://github.com/gleachkr/aufbau/issues"},"license":"Apache-2.0","homepage":"https://github.com/gleachkr/aufbau#readme","repository":{"url":"git+https://github.com/gleachkr/aufbau.git","type":"git"},"description":"Metamath Zero verifier for browsers and JavaScript runtimes.","maintainers":[{"name":"gleachkr","email":"gleachkr@gmail.com"}],"readme":"# `@aufbau/verifier`\n\nVerify an MM0 source file and its MMB proof in browsers or Node.\n\n## Install\n\n```sh\nnpm install @aufbau/verifier\n```\n\n## Usage\n\n```js\nimport { loadVerifier } from \"@aufbau/verifier\";\n\nconst verifier = await loadVerifier();\nconst result = verifier.verifyPair(mm0Text, mmbBytes);\n\nif (!result.ok) {\n  console.error(result.diagnostics);\n}\n```\n\n`mm0Text` is a string. `mmbBytes` may be a `Uint8Array`, `ArrayBuffer`, or\nanother typed-array view. The result includes verifier metadata and\n`durationMs`.\n\nThe default loader reads the package's WebAssembly file in browsers and Node.\nPass `wasmUrl`, `wasmBytes`, `module`, or `instance` to `loadVerifier()` to\ncontrol loading.\n","readmeFilename":"README.md"}