functionalscript 0.43.1 → 0.45.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +53 -21
- package/fjs/asn.1/module.f.d.mts +123 -0
- package/fjs/asn.1/module.f.mjs +459 -0
- package/fjs/asn.1/proof.f.d.mts +53 -0
- package/fjs/asn.1/proof.f.mjs +321 -0
- package/fjs/asn.1/types.d.ts +37 -0
- package/fjs/asserts/module.f.d.mts +51 -0
- package/fjs/asserts/module.f.mjs +69 -0
- package/fjs/asserts/proof.f.d.mts +14 -0
- package/fjs/asserts/proof.f.mjs +33 -0
- package/fjs/asserts/types.d.ts +11 -0
- package/fjs/basen/base128/module.f.d.mts +22 -0
- package/fjs/basen/base128/module.f.mjs +51 -0
- package/fjs/basen/base128/proof.f.d.mts +4 -0
- package/fjs/basen/base128/proof.f.mjs +32 -0
- package/fjs/basen/base64/module.f.d.mts +14 -0
- package/fjs/basen/base64/module.f.mjs +75 -0
- package/fjs/basen/base64/proof.f.d.mts +19 -0
- package/fjs/basen/base64/proof.f.mjs +150 -0
- package/fjs/basen/cbase32/module.f.d.mts +18 -0
- package/fjs/basen/cbase32/module.f.mjs +61 -0
- package/fjs/basen/cbase32/proof.f.d.mts +10 -0
- package/fjs/basen/cbase32/proof.f.mjs +79 -0
- package/fjs/basen/module.f.d.mts +30 -0
- package/fjs/basen/module.f.mjs +88 -0
- package/fjs/basen/proof.f.mjs +69 -0
- package/fjs/basen/types.d.ts +14 -0
- package/fjs/bnf/data/module.f.d.mts +47 -0
- package/fjs/bnf/data/module.f.mjs +188 -0
- package/fjs/bnf/data/proof.f.d.mts +13 -0
- package/fjs/bnf/data/proof.f.mjs +159 -0
- package/fjs/bnf/data/types.d.ts +35 -0
- package/fjs/bnf/descent/module.f.d.mts +48 -0
- package/fjs/bnf/descent/module.f.mjs +289 -0
- package/fjs/bnf/descent/proof.f.d.mts +14 -0
- package/fjs/bnf/descent/proof.f.mjs +427 -0
- package/fjs/bnf/descent/types.d.ts +79 -0
- package/fjs/bnf/ll1/module.f.d.mts +67 -0
- package/fjs/bnf/ll1/module.f.mjs +341 -0
- package/fjs/bnf/ll1/proof.f.d.mts +18 -0
- package/fjs/bnf/ll1/proof.f.mjs +413 -0
- package/fjs/bnf/ll1/types.d.ts +65 -0
- package/fjs/bnf/module.f.d.mts +173 -0
- package/fjs/bnf/module.f.mjs +339 -0
- package/fjs/bnf/proof.f.d.mts +19 -0
- package/fjs/bnf/proof.f.mjs +165 -0
- package/fjs/bnf/testlib.f.d.mts +10 -0
- package/fjs/bnf/testlib.f.mjs +196 -0
- package/fjs/bnf/token_symbol/module.f.d.mts +36 -0
- package/fjs/bnf/token_symbol/module.f.mjs +63 -0
- package/fjs/bnf/token_symbol/proof.f.mjs +46 -0
- package/fjs/bnf/token_symbol/types.d.ts +27 -0
- package/fjs/bnf/types.d.ts +74 -0
- package/fjs/cas/cli/module.f.d.mts +17 -0
- package/fjs/cas/cli/module.f.mjs +73 -0
- package/fjs/cas/cli/proof.f.d.mts +20 -0
- package/fjs/cas/cli/proof.f.mjs +120 -0
- package/fjs/cas/evo/module.f.d.mts +157 -0
- package/fjs/cas/evo/module.f.mjs +563 -0
- package/fjs/cas/evo/proof.f.d.mts +55 -0
- package/fjs/cas/evo/proof.f.mjs +752 -0
- package/fjs/cas/evo/types.d.ts +111 -0
- package/fjs/cas/module.f.d.mts +68 -0
- package/fjs/cas/module.f.mjs +350 -0
- package/fjs/cas/proof.f.d.mts +29 -0
- package/fjs/cas/proof.f.mjs +371 -0
- package/fjs/cas/types.d.ts +35 -0
- package/fjs/ci/bun/module.f.d.mts +11 -0
- package/fjs/ci/bun/module.f.mjs +20 -0
- package/fjs/ci/common/module.f.d.mts +80 -0
- package/fjs/ci/common/module.f.mjs +88 -0
- package/fjs/ci/common/types.d.ts +27 -0
- package/fjs/ci/config/module.f.d.mts +45 -0
- package/fjs/ci/config/module.f.mjs +89 -0
- package/fjs/ci/deno/module.f.d.mts +16 -0
- package/fjs/ci/deno/module.f.mjs +29 -0
- package/fjs/ci/deno/proof.f.d.mts +4 -0
- package/fjs/ci/deno/proof.f.mjs +26 -0
- package/fjs/ci/module.f.d.mts +19 -0
- package/fjs/ci/module.f.mjs +89 -0
- package/fjs/ci/nix/module.f.d.mts +69 -0
- package/fjs/ci/nix/module.f.mjs +136 -0
- package/fjs/ci/nix/proof.f.d.mts +30 -0
- package/fjs/ci/nix/proof.f.mjs +146 -0
- package/fjs/ci/nix/types.d.ts +16 -0
- package/fjs/ci/node/module.f.d.mts +48 -0
- package/fjs/ci/node/module.f.mjs +139 -0
- package/fjs/ci/node/proof.f.mjs +18 -0
- package/fjs/ci/proof.f.d.mts +22 -0
- package/fjs/ci/proof.f.mjs +220 -0
- package/fjs/ci/rust/module.f.d.mts +15 -0
- package/fjs/ci/rust/module.f.mjs +108 -0
- package/fjs/ci/types.d.ts +9 -0
- package/fjs/cli/module.f.d.mts +16 -0
- package/fjs/cli/module.f.mjs +51 -0
- package/fjs/cli/proof.f.d.mts +18 -0
- package/fjs/cli/proof.f.mjs +132 -0
- package/fjs/cli/types.d.ts +15 -0
- package/fjs/common/monoid/module.f.d.mts +145 -0
- package/fjs/common/monoid/module.f.mjs +267 -0
- package/fjs/common/monoid/proof.f.d.mts +21 -0
- package/fjs/common/monoid/proof.f.mjs +142 -0
- package/fjs/common/monoid/types.d.ts +73 -0
- package/fjs/crypto/hmac/module.f.d.mts +32 -0
- package/fjs/crypto/hmac/module.f.mjs +65 -0
- package/fjs/crypto/hmac/proof.f.mjs +34 -0
- package/fjs/crypto/pow/module.f.d.mts +43 -0
- package/fjs/crypto/pow/module.f.mjs +93 -0
- package/fjs/crypto/pow/proof.f.mjs +121 -0
- package/fjs/crypto/pow/types.d.ts +19 -0
- package/fjs/crypto/secp/module.f.d.mts +61 -0
- package/fjs/crypto/secp/module.f.mjs +204 -0
- package/fjs/crypto/secp/proof.f.d.mts +11 -0
- package/fjs/crypto/secp/proof.f.mjs +139 -0
- package/fjs/crypto/secp/types.d.ts +36 -0
- package/fjs/crypto/sha2/module.f.d.mts +80 -0
- package/fjs/crypto/sha2/module.f.mjs +431 -0
- package/fjs/crypto/sha2/proof.f.d.mts +34 -0
- package/fjs/crypto/sha2/proof.f.mjs +146 -0
- package/fjs/crypto/sha2/types.d.ts +57 -0
- package/fjs/crypto/sign/module.f.d.mts +46 -0
- package/fjs/crypto/sign/module.f.mjs +189 -0
- package/fjs/crypto/sign/proof.f.d.mts +17 -0
- package/fjs/crypto/sign/proof.f.mjs +604 -0
- package/fjs/crypto/sign/types.d.ts +13 -0
- package/fjs/crypto/vdf/module.f.d.mts +34 -0
- package/fjs/crypto/vdf/module.f.mjs +86 -0
- package/fjs/crypto/vdf/proof.f.mjs +106 -0
- package/fjs/crypto/vdf/types.d.ts +18 -0
- package/fjs/dev/module.f.d.mts +59 -0
- package/fjs/dev/module.f.mjs +171 -0
- package/fjs/dev/package_json/module.f.d.mts +39 -0
- package/fjs/dev/package_json/module.f.mjs +40 -0
- package/fjs/dev/package_json/proof.f.mjs +32 -0
- package/fjs/dev/proof.f.d.mts +13 -0
- package/fjs/dev/proof.f.mjs +78 -0
- package/fjs/dev/types.d.ts +14 -0
- package/fjs/dev/update/module.f.d.mts +22 -0
- package/fjs/dev/update/module.f.mjs +37 -0
- package/fjs/dev/update/proof.f.d.mts +10 -0
- package/fjs/dev/update/proof.f.mjs +35 -0
- package/fjs/djs/ast/module.f.d.mts +35 -0
- package/fjs/djs/ast/module.f.mjs +82 -0
- package/fjs/djs/ast/proof.f.mjs +48 -0
- package/fjs/djs/ast/types.d.ts +54 -0
- package/fjs/djs/examples/input.f.mjs +4 -0
- package/fjs/djs/examples/m.f.mjs +1 -0
- package/fjs/djs/module.f.d.mts +17 -0
- package/fjs/djs/module.f.mjs +47 -0
- package/fjs/djs/parser/module.f.d.mts +78 -0
- package/fjs/djs/parser/module.f.mjs +565 -0
- package/fjs/djs/parser/proof.f.d.mts +17 -0
- package/fjs/djs/parser/proof.f.mjs +555 -0
- package/fjs/djs/parser/types.d.ts +11 -0
- package/fjs/djs/proof.f.d.mts +13 -0
- package/fjs/djs/proof.f.mjs +55 -0
- package/fjs/djs/serializer/module.f.d.mts +30 -0
- package/fjs/djs/serializer/module.f.mjs +207 -0
- package/fjs/djs/serializer/proof.f.mjs +116 -0
- package/fjs/djs/tokenizer/module.f.d.mts +65 -0
- package/fjs/djs/tokenizer/module.f.mjs +632 -0
- package/fjs/djs/tokenizer/proof.f.d.mts +17 -0
- package/fjs/djs/tokenizer/proof.f.mjs +992 -0
- package/fjs/djs/tokenizer/types.d.ts +20 -0
- package/fjs/djs/transpiler/module.f.d.mts +33 -0
- package/fjs/djs/transpiler/module.f.mjs +122 -0
- package/fjs/djs/transpiler/proof.f.mjs +76 -0
- package/fjs/djs/transpiler/types.d.ts +25 -0
- package/fjs/djs/types.d.ts +13 -0
- package/fjs/effects/eff/module.f.d.mts +20 -0
- package/fjs/effects/eff/module.f.mjs +70 -0
- package/fjs/effects/eff/proof.f.d.mts +15 -0
- package/fjs/effects/eff/proof.f.mjs +69 -0
- package/fjs/effects/eff/types.d.ts +71 -0
- package/fjs/effects/list/module.f.d.mts +32 -0
- package/fjs/effects/list/module.f.mjs +36 -0
- package/fjs/effects/list/types.d.ts +26 -0
- package/fjs/effects/memory/module.f.d.mts +34 -0
- package/fjs/effects/memory/module.f.mjs +45 -0
- package/fjs/effects/memory/proof.f.d.mts +16 -0
- package/fjs/effects/memory/proof.f.mjs +86 -0
- package/fjs/effects/memory/types.d.ts +18 -0
- package/fjs/effects/mock/module.f.d.mts +14 -0
- package/fjs/effects/mock/module.f.mjs +28 -0
- package/fjs/effects/mock/types.d.ts +15 -0
- package/fjs/effects/module.d.mts +15 -0
- package/fjs/effects/module.f.d.mts +352 -0
- package/fjs/effects/module.f.mjs +383 -0
- package/fjs/effects/module.mjs +26 -0
- package/fjs/effects/node/memory/module.d.mts +27 -0
- package/fjs/effects/node/memory/module.mjs +60 -0
- package/fjs/effects/node/memory/proof.d.mts +12 -0
- package/fjs/effects/node/memory/proof.mjs +44 -0
- package/fjs/effects/node/module.d.mts +59 -0
- package/fjs/effects/node/module.f.d.mts +177 -0
- package/fjs/effects/node/module.f.mjs +348 -0
- package/fjs/effects/node/module.mjs +381 -0
- package/fjs/effects/node/proof.f.d.mts +76 -0
- package/fjs/effects/node/proof.f.mjs +444 -0
- package/fjs/effects/node/types.d.ts +203 -0
- package/fjs/effects/node/virtual/module.f.d.mts +34 -0
- package/fjs/effects/node/virtual/module.f.mjs +435 -0
- package/fjs/effects/node/virtual/proof.f.d.mts +38 -0
- package/fjs/effects/node/virtual/proof.f.mjs +238 -0
- package/fjs/effects/node/virtual/types.d.ts +39 -0
- package/fjs/effects/proof.f.d.mts +65 -0
- package/fjs/effects/proof.f.mjs +234 -0
- package/fjs/effects/types.d.ts +115 -0
- package/fjs/emergent_testing/all.test.d.mts +8 -0
- package/fjs/emergent_testing/all.test.mjs +14 -0
- package/fjs/emergent_testing/example.f.d.mts +16 -0
- package/fjs/emergent_testing/example.f.mjs +34 -0
- package/fjs/emergent_testing/module.f.d.mts +155 -0
- package/fjs/emergent_testing/module.f.mjs +388 -0
- package/fjs/emergent_testing/proof.f.d.mts +97 -0
- package/fjs/emergent_testing/proof.f.mjs +518 -0
- package/fjs/emergent_testing/types.d.ts +53 -0
- package/fjs/fsc/bnf.f.d.mts +6 -0
- package/fjs/fsc/bnf.f.mjs +80 -0
- package/fjs/fsc/json.f.d.mts +16 -0
- package/fjs/fsc/json.f.mjs +127 -0
- package/fjs/fsc/module.f.d.mts +23 -0
- package/fjs/fsc/module.f.mjs +140 -0
- package/fjs/fsc/proof.f.mjs +119 -0
- package/fjs/fsm/module.f.d.mts +27 -0
- package/fjs/fsm/module.f.mjs +99 -0
- package/fjs/fsm/proof.f.d.mts +7 -0
- package/fjs/fsm/proof.f.mjs +149 -0
- package/fjs/js/tokenizer/module.f.d.mts +26 -0
- package/fjs/js/tokenizer/module.f.mjs +759 -0
- package/fjs/js/tokenizer/proof.f.d.mts +12 -0
- package/fjs/js/tokenizer/proof.f.mjs +681 -0
- package/fjs/js/tokenizer/types.d.ts +193 -0
- package/fjs/mcp/cas/module.f.d.mts +156 -0
- package/fjs/mcp/cas/module.f.mjs +302 -0
- package/fjs/mcp/evo/module.f.d.mts +88 -0
- package/fjs/mcp/evo/module.f.mjs +153 -0
- package/fjs/mcp/evo/proof.f.d.mts +17 -0
- package/fjs/mcp/evo/proof.f.mjs +166 -0
- package/fjs/mcp/module.f.d.mts +67 -0
- package/fjs/mcp/module.f.mjs +98 -0
- package/fjs/mcp/proof.f.d.mts +56 -0
- package/fjs/mcp/proof.f.mjs +718 -0
- package/fjs/media/html/module.f.d.mts +55 -0
- package/fjs/media/html/module.f.mjs +169 -0
- package/fjs/media/html/proof.f.d.mts +19 -0
- package/fjs/media/html/proof.f.mjs +80 -0
- package/fjs/media/html/types.d.ts +19 -0
- package/fjs/media/json/module.f.d.mts +48 -0
- package/fjs/media/json/module.f.mjs +104 -0
- package/fjs/media/json/parser/module.f.d.mts +30 -0
- package/fjs/media/json/parser/module.f.mjs +236 -0
- package/fjs/media/json/parser/proof.f.d.mts +8 -0
- package/fjs/media/json/parser/proof.f.mjs +314 -0
- package/fjs/media/json/parser/types.d.ts +39 -0
- package/fjs/media/json/proof.f.mjs +79 -0
- package/fjs/media/json/rtti/module.f.d.mts +38 -0
- package/fjs/media/json/rtti/module.f.mjs +51 -0
- package/fjs/media/json/rtti/proof.f.d.mts +29 -0
- package/fjs/media/json/rtti/proof.f.mjs +86 -0
- package/fjs/media/json/schema/module.f.d.mts +113 -0
- package/fjs/media/json/schema/module.f.mjs +309 -0
- package/fjs/media/json/schema/proof.f.d.mts +81 -0
- package/fjs/media/json/schema/proof.f.mjs +305 -0
- package/fjs/media/json/serializer/module.f.d.mts +40 -0
- package/fjs/media/json/serializer/module.f.mjs +131 -0
- package/fjs/media/json/serializer/proof.f.mjs +92 -0
- package/fjs/media/json/tokenizer/module.f.d.mts +25 -0
- package/fjs/media/json/tokenizer/module.f.mjs +96 -0
- package/fjs/media/json/tokenizer/proof.f.d.mts +8 -0
- package/fjs/media/json/tokenizer/proof.f.mjs +291 -0
- package/fjs/media/json/tokenizer/types.d.ts +17 -0
- package/fjs/media/json/types.d.ts +25 -0
- package/fjs/media/module.f.d.mts +116 -0
- package/fjs/media/module.f.mjs +152 -0
- package/fjs/media/nix/module.f.d.mts +27 -0
- package/fjs/media/nix/module.f.mjs +263 -0
- package/fjs/media/nix/proof.f.d.mts +35 -0
- package/fjs/media/nix/proof.f.mjs +184 -0
- package/fjs/media/nix/types.d.ts +22 -0
- package/fjs/media/proof.f.d.mts +19 -0
- package/fjs/media/proof.f.mjs +159 -0
- package/fjs/media/revision/module.f.d.mts +124 -0
- package/fjs/media/revision/module.f.mjs +163 -0
- package/fjs/media/revision/proof.f.d.mts +46 -0
- package/fjs/media/revision/proof.f.mjs +231 -0
- package/fjs/media/revision/types.d.ts +16 -0
- package/fjs/media/rust/module.f.d.mts +61 -0
- package/fjs/media/rust/module.f.mjs +93 -0
- package/fjs/media/rust/proof.f.d.mts +17 -0
- package/fjs/media/rust/proof.f.mjs +50 -0
- package/fjs/media/type/module.f.d.mts +114 -0
- package/fjs/media/type/module.f.mjs +265 -0
- package/fjs/media/type/proof.f.d.mts +56 -0
- package/fjs/media/type/proof.f.mjs +325 -0
- package/fjs/media/type/types.d.ts +67 -0
- package/fjs/media/types.d.ts +26 -0
- package/fjs/module.d.mts +7 -0
- package/fjs/module.f.d.mts +11 -0
- package/fjs/module.f.mjs +62 -0
- package/fjs/module.mjs +12 -0
- package/fjs/nanvm/module.f.d.mts +54 -0
- package/fjs/nanvm/module.f.mjs +240 -0
- package/fjs/nanvm/proof.f.d.mts +41 -0
- package/fjs/nanvm/proof.f.mjs +173 -0
- package/fjs/nanvm/rust/module.f.d.mts +54 -0
- package/fjs/nanvm/rust/module.f.mjs +166 -0
- package/fjs/nanvm/rust/proof.f.d.mts +21 -0
- package/fjs/nanvm/rust/proof.f.mjs +119 -0
- package/fjs/nanvm/types.d.ts +105 -0
- package/fjs/nanvm/update/module.f.d.mts +23 -0
- package/fjs/nanvm/update/module.f.mjs +33 -0
- package/fjs/nanvm/update/proof.f.d.mts +9 -0
- package/fjs/nanvm/update/proof.f.mjs +32 -0
- package/fjs/path/module.f.d.mts +63 -0
- package/fjs/path/module.f.mjs +98 -0
- package/fjs/path/proof.f.mjs +125 -0
- package/fjs/proof.f.d.mts +13 -0
- package/fjs/proof.f.mjs +51 -0
- package/fjs/protocol/json_rpc/module.f.d.mts +127 -0
- package/fjs/protocol/json_rpc/module.f.mjs +115 -0
- package/fjs/protocol/json_rpc/proof.f.d.mts +41 -0
- package/fjs/protocol/json_rpc/proof.f.mjs +105 -0
- package/fjs/protocol/json_rpc/types.d.ts +30 -0
- package/fjs/protocol/mcp/module.f.d.mts +227 -0
- package/fjs/protocol/mcp/module.f.mjs +369 -0
- package/fjs/protocol/mcp/proof.f.d.mts +57 -0
- package/fjs/protocol/mcp/proof.f.mjs +335 -0
- package/fjs/protocol/mcp/stdio/module.f.d.mts +50 -0
- package/fjs/protocol/mcp/stdio/module.f.mjs +125 -0
- package/fjs/protocol/mcp/stdio/proof.f.d.mts +20 -0
- package/fjs/protocol/mcp/stdio/proof.f.mjs +190 -0
- package/fjs/protocol/mcp/stdio/types.d.ts +14 -0
- package/fjs/protocol/mcp/types.d.ts +59 -0
- package/fjs/sul/id/module.f.d.mts +42 -0
- package/fjs/sul/id/module.f.mjs +144 -0
- package/fjs/sul/id/proof.f.mjs +72 -0
- package/fjs/sul/id/types.d.ts +8 -0
- package/fjs/sul/level/hash/module.f.d.mts +40 -0
- package/fjs/sul/level/hash/module.f.mjs +62 -0
- package/fjs/sul/level/hash/proof.f.d.mts +19 -0
- package/fjs/sul/level/hash/proof.f.mjs +134 -0
- package/fjs/sul/level/hash/types.d.ts +20 -0
- package/fjs/sul/level/literal/module.f.d.mts +57 -0
- package/fjs/sul/level/literal/module.f.mjs +121 -0
- package/fjs/sul/level/literal/proof.f.d.mts +15 -0
- package/fjs/sul/level/literal/proof.f.mjs +791 -0
- package/fjs/sul/level/literal/types.d.ts +31 -0
- package/fjs/sul/module.f.d.mts +27 -0
- package/fjs/sul/module.f.mjs +70 -0
- package/fjs/sul/proof.f.d.mts +15 -0
- package/fjs/sul/proof.f.mjs +65 -0
- package/fjs/sul/types.d.ts +19 -0
- package/fjs/text/ascii/module.f.d.mts +162 -0
- package/fjs/text/ascii/module.f.mjs +272 -0
- package/fjs/text/ascii/proof.f.d.mts +16 -0
- package/fjs/text/ascii/proof.f.mjs +48 -0
- package/fjs/text/code_point/module.f.d.mts +92 -0
- package/fjs/text/code_point/module.f.mjs +155 -0
- package/fjs/text/code_point/proof.f.d.mts +9 -0
- package/fjs/text/code_point/proof.f.mjs +108 -0
- package/fjs/text/module.f.d.mts +41 -0
- package/fjs/text/module.f.mjs +62 -0
- package/fjs/text/proof.f.d.mts +13 -0
- package/fjs/text/proof.f.mjs +51 -0
- package/fjs/text/sgr/module.f.d.mts +61 -0
- package/fjs/text/sgr/module.f.mjs +100 -0
- package/fjs/text/sgr/proof.f.d.mts +4 -0
- package/fjs/text/sgr/proof.f.mjs +42 -0
- package/fjs/text/sgr/types.d.ts +12 -0
- package/fjs/text/types.d.ts +13 -0
- package/fjs/text/utf16/module.f.d.mts +151 -0
- package/fjs/text/utf16/module.f.mjs +348 -0
- package/fjs/text/utf16/proof.f.d.mts +13 -0
- package/fjs/text/utf16/proof.f.mjs +175 -0
- package/fjs/text/utf16/types.d.ts +19 -0
- package/fjs/text/utf8/module.f.d.mts +73 -0
- package/fjs/text/utf8/module.f.mjs +278 -0
- package/fjs/text/utf8/proof.f.mjs +217 -0
- package/fjs/text/utf8/types.d.ts +26 -0
- package/fjs/types/array/module.f.d.mts +69 -0
- package/fjs/types/array/module.f.mjs +101 -0
- package/fjs/types/array/proof.f.mjs +98 -0
- package/fjs/types/array/types.d.ts +13 -0
- package/fjs/types/bigfloat/module.f.d.mts +34 -0
- package/fjs/types/bigfloat/module.f.mjs +125 -0
- package/fjs/types/bigfloat/proof.f.d.mts +6 -0
- package/fjs/types/bigfloat/proof.f.mjs +264 -0
- package/fjs/types/bigfloat/types.d.ts +6 -0
- package/fjs/types/bigint/benchmark.mjs +205 -0
- package/fjs/types/bigint/module.f.d.mts +180 -0
- package/fjs/types/bigint/module.f.mjs +290 -0
- package/fjs/types/bigint/proof.f.d.mts +39 -0
- package/fjs/types/bigint/proof.f.mjs +443 -0
- package/fjs/types/bigint/types.d.ts +14 -0
- package/fjs/types/bit_vec/module.f.d.mts +195 -0
- package/fjs/types/bit_vec/module.f.mjs +475 -0
- package/fjs/types/bit_vec/proof.f.d.mts +71 -0
- package/fjs/types/bit_vec/proof.f.mjs +521 -0
- package/fjs/types/bit_vec/types.d.ts +51 -0
- package/fjs/types/btree/find/module.f.d.mts +19 -0
- package/fjs/types/btree/find/module.f.mjs +80 -0
- package/fjs/types/btree/find/proof.f.d.mts +8 -0
- package/fjs/types/btree/find/proof.f.mjs +123 -0
- package/fjs/types/btree/find/types.d.ts +22 -0
- package/fjs/types/btree/module.f.d.mts +13 -0
- package/fjs/types/btree/module.f.mjs +40 -0
- package/fjs/types/btree/proof.f.d.mts +18 -0
- package/fjs/types/btree/proof.f.mjs +87 -0
- package/fjs/types/btree/remove/module.f.d.mts +32 -0
- package/fjs/types/btree/remove/module.f.mjs +187 -0
- package/fjs/types/btree/remove/proof.f.d.mts +12 -0
- package/fjs/types/btree/remove/proof.f.mjs +475 -0
- package/fjs/types/btree/set/module.f.d.mts +14 -0
- package/fjs/types/btree/set/module.f.mjs +116 -0
- package/fjs/types/btree/set/proof.f.d.mts +4 -0
- package/fjs/types/btree/set/proof.f.mjs +430 -0
- package/fjs/types/btree/types/module.f.d.mts +20 -0
- package/fjs/types/btree/types/module.f.mjs +20 -0
- package/fjs/types/btree/types/types.d.ts +14 -0
- package/fjs/types/byte_set/module.f.d.mts +35 -0
- package/fjs/types/byte_set/module.f.mjs +68 -0
- package/fjs/types/byte_set/proof.f.d.mts +14 -0
- package/fjs/types/byte_set/proof.f.mjs +86 -0
- package/fjs/types/byte_set/types.d.ts +6 -0
- package/fjs/types/function/compare/module.f.d.mts +45 -0
- package/fjs/types/function/compare/module.f.mjs +72 -0
- package/fjs/types/function/compare/proof.f.mjs +50 -0
- package/fjs/types/function/compare/types.d.ts +22 -0
- package/fjs/types/function/module.f.d.mts +33 -0
- package/fjs/types/function/module.f.mjs +39 -0
- package/fjs/types/function/operator/module.f.d.mts +38 -0
- package/fjs/types/function/operator/module.f.mjs +55 -0
- package/fjs/types/function/operator/proof.f.mjs +76 -0
- package/fjs/types/function/operator/types.d.ts +39 -0
- package/fjs/types/function/proof.f.mjs +16 -0
- package/fjs/types/function/types.d.ts +16 -0
- package/fjs/types/list/module.f.d.mts +95 -0
- package/fjs/types/list/module.f.mjs +311 -0
- package/fjs/types/list/proof.f.d.mts +35 -0
- package/fjs/types/list/proof.f.mjs +365 -0
- package/fjs/types/list/types.d.ts +36 -0
- package/fjs/types/map/module.f.d.mts +13 -0
- package/fjs/types/map/module.f.mjs +42 -0
- package/fjs/types/map/proof.f.mjs +25 -0
- package/fjs/types/nibble_set/module.f.d.mts +31 -0
- package/fjs/types/nibble_set/module.f.mjs +43 -0
- package/fjs/types/nibble_set/proof.f.mjs +59 -0
- package/fjs/types/nibble_set/types.d.ts +9 -0
- package/fjs/types/nominal/module.f.d.mts +10 -0
- package/fjs/types/nominal/module.f.mjs +17 -0
- package/fjs/types/nominal/proof.f.d.mts +7 -0
- package/fjs/types/nominal/proof.f.mjs +79 -0
- package/fjs/types/nominal/types.d.ts +25 -0
- package/fjs/types/nullable/module.f.d.mts +44 -0
- package/fjs/types/nullable/module.f.mjs +55 -0
- package/fjs/types/nullable/proof.f.mjs +34 -0
- package/fjs/types/nullable/types.d.ts +6 -0
- package/fjs/types/number/module.f.d.mts +27 -0
- package/fjs/types/number/module.f.mjs +56 -0
- package/fjs/types/number/proof.f.mjs +204 -0
- package/fjs/types/object/module.f.d.mts +45 -0
- package/fjs/types/object/module.f.mjs +67 -0
- package/fjs/types/object/proof.f.d.mts +28 -0
- package/fjs/types/object/proof.f.mjs +29 -0
- package/fjs/types/object/structurally_same/module.f.d.mts +39 -0
- package/fjs/types/object/structurally_same/module.f.mjs +59 -0
- package/fjs/types/object/structurally_same/proof.f.d.mts +6 -0
- package/fjs/types/object/structurally_same/proof.f.mjs +73 -0
- package/fjs/types/object/types.d.ts +50 -0
- package/fjs/types/ordered_map/module.f.d.mts +26 -0
- package/fjs/types/ordered_map/module.f.mjs +55 -0
- package/fjs/types/ordered_map/proof.f.d.mts +8 -0
- package/fjs/types/ordered_map/proof.f.mjs +91 -0
- package/fjs/types/ordered_map/types.d.ts +8 -0
- package/fjs/types/patricia_trie/module.f.d.mts +20 -0
- package/fjs/types/patricia_trie/module.f.mjs +43 -0
- package/fjs/types/patricia_trie/proof.f.d.mts +17 -0
- package/fjs/types/patricia_trie/proof.f.mjs +151 -0
- package/fjs/types/patricia_trie/types.d.ts +34 -0
- package/fjs/types/prime_field/module.f.d.mts +44 -0
- package/fjs/types/prime_field/module.f.mjs +137 -0
- package/fjs/types/prime_field/proof.f.mjs +131 -0
- package/fjs/types/prime_field/types.d.ts +38 -0
- package/fjs/types/range/module.f.d.mts +12 -0
- package/fjs/types/range/module.f.mjs +13 -0
- package/fjs/types/range/proof.f.mjs +10 -0
- package/fjs/types/range/types.d.ts +6 -0
- package/fjs/types/range_map/module.f.d.mts +78 -0
- package/fjs/types/range_map/module.f.mjs +127 -0
- package/fjs/types/range_map/proof.f.d.mts +11 -0
- package/fjs/types/range_map/proof.f.mjs +188 -0
- package/fjs/types/range_map/types.d.ts +56 -0
- package/fjs/types/range_set/module.f.d.mts +10 -0
- package/fjs/types/range_set/module.f.mjs +20 -0
- package/fjs/types/range_set/proof.f.d.mts +4 -0
- package/fjs/types/range_set/proof.f.mjs +29 -0
- package/fjs/types/result/module.d.mts +13 -0
- package/fjs/types/result/module.f.d.mts +89 -0
- package/fjs/types/result/module.f.mjs +97 -0
- package/fjs/types/result/module.mjs +30 -0
- package/fjs/types/result/proof.f.d.mts +17 -0
- package/fjs/types/result/proof.f.mjs +61 -0
- package/fjs/types/result/types.d.ts +17 -0
- package/fjs/types/rtti/common/module.f.d.mts +119 -0
- package/fjs/types/rtti/common/module.f.mjs +185 -0
- package/fjs/types/rtti/common/proof.f.d.mts +13 -0
- package/fjs/types/rtti/common/proof.f.mjs +67 -0
- package/fjs/types/rtti/common/types.d.ts +43 -0
- package/fjs/types/rtti/data/module.f.d.mts +120 -0
- package/fjs/types/rtti/data/module.f.mjs +1030 -0
- package/fjs/types/rtti/data/proof.f.d.mts +75 -0
- package/fjs/types/rtti/data/proof.f.mjs +566 -0
- package/fjs/types/rtti/data/types.d.ts +83 -0
- package/fjs/types/rtti/module.f.d.mts +83 -0
- package/fjs/types/rtti/module.f.mjs +112 -0
- package/fjs/types/rtti/parse/module.f.d.mts +47 -0
- package/fjs/types/rtti/parse/module.f.mjs +198 -0
- package/fjs/types/rtti/parse/proof.f.d.mts +122 -0
- package/fjs/types/rtti/parse/proof.f.mjs +343 -0
- package/fjs/types/rtti/parse/types.d.ts +12 -0
- package/fjs/types/rtti/proof.f.d.mts +10 -0
- package/fjs/types/rtti/proof.f.mjs +22 -0
- package/fjs/types/rtti/ts/module.f.d.mts +93 -0
- package/fjs/types/rtti/ts/module.f.mjs +296 -0
- package/fjs/types/rtti/ts/proof.f.d.mts +103 -0
- package/fjs/types/rtti/ts/proof.f.mjs +236 -0
- package/fjs/types/rtti/ts/types.d.ts +99 -0
- package/fjs/types/rtti/types.d.ts +83 -0
- package/fjs/types/rtti/validate/module.f.d.mts +41 -0
- package/fjs/types/rtti/validate/module.f.mjs +171 -0
- package/fjs/types/rtti/validate/proof.f.d.mts +125 -0
- package/fjs/types/rtti/validate/proof.f.mjs +437 -0
- package/fjs/types/rtti/validate/types.d.ts +6 -0
- package/fjs/types/sorted_list/module.f.d.mts +46 -0
- package/fjs/types/sorted_list/module.f.mjs +119 -0
- package/fjs/types/sorted_list/proof.f.d.mts +7 -0
- package/fjs/types/sorted_list/proof.f.mjs +54 -0
- package/fjs/types/sorted_list/types.d.ts +15 -0
- package/fjs/types/sorted_set/module.f.d.mts +54 -0
- package/fjs/types/sorted_set/module.f.mjs +58 -0
- package/fjs/types/sorted_set/proof.f.d.mts +9 -0
- package/fjs/types/sorted_set/proof.f.mjs +79 -0
- package/fjs/types/sorted_set/types.d.ts +6 -0
- package/fjs/types/string/module.f.d.mts +40 -0
- package/fjs/types/string/module.f.mjs +59 -0
- package/fjs/types/string/proof.f.mjs +76 -0
- package/fjs/types/string_set/module.f.d.mts +39 -0
- package/fjs/types/string_set/module.f.mjs +54 -0
- package/fjs/types/string_set/proof.f.mjs +46 -0
- package/fjs/types/string_set/types.d.ts +7 -0
- package/fjs/types/ts/module.f.d.mts +22 -0
- package/fjs/types/ts/module.f.mjs +51 -0
- package/fjs/types/ts/proof.f.d.mts +39 -0
- package/fjs/types/ts/proof.f.mjs +102 -0
- package/fjs/types/ts/types.d.ts +21 -0
- package/fjs/types/uint8array/module.f.d.mts +42 -0
- package/fjs/types/uint8array/module.f.mjs +58 -0
- package/fjs/types/uint8array/proof.f.d.mts +17 -0
- package/fjs/types/uint8array/proof.f.mjs +73 -0
- package/fjs/website/module.f.d.mts +11 -0
- package/fjs/website/module.f.mjs +25 -0
- package/fjs/website/proof.f.mjs +14 -0
- package/package.json +12 -10
- package/todo/proof.f.d.mts +22 -0
- package/todo/proof.f.mjs +59 -0
- package/fjs/asn.1/module.f.d.ts +0 -62
- package/fjs/asn.1/module.f.js +0 -278
- package/fjs/asn.1/proof.f.d.ts +0 -48
- package/fjs/asn.1/proof.f.js +0 -285
- package/fjs/asserts/module.f.d.ts +0 -36
- package/fjs/asserts/module.f.js +0 -39
- package/fjs/asserts/proof.f.d.ts +0 -11
- package/fjs/asserts/proof.f.js +0 -18
- package/fjs/base_n/module.f.d.ts +0 -45
- package/fjs/base_n/module.f.js +0 -72
- package/fjs/base_n/proof.f.js +0 -73
- package/fjs/basen/base128/module.f.d.ts +0 -20
- package/fjs/basen/base128/module.f.js +0 -43
- package/fjs/basen/base128/proof.f.js +0 -26
- package/fjs/basen/base64/module.f.d.ts +0 -9
- package/fjs/basen/base64/module.f.js +0 -71
- package/fjs/basen/base64/proof.f.d.ts +0 -16
- package/fjs/basen/base64/proof.f.js +0 -139
- package/fjs/basen/cbase32/module.f.d.ts +0 -11
- package/fjs/basen/cbase32/module.f.js +0 -55
- package/fjs/basen/cbase32/proof.f.d.ts +0 -7
- package/fjs/basen/cbase32/proof.f.js +0 -62
- package/fjs/bnf/data/module.f.d.ts +0 -52
- package/fjs/bnf/data/module.f.js +0 -143
- package/fjs/bnf/data/proof.f.d.ts +0 -8
- package/fjs/bnf/data/proof.f.js +0 -169
- package/fjs/bnf/descent/module.f.d.ts +0 -87
- package/fjs/bnf/descent/module.f.js +0 -149
- package/fjs/bnf/descent/proof.f.d.ts +0 -7
- package/fjs/bnf/descent/proof.f.js +0 -368
- package/fjs/bnf/ll1/module.f.d.ts +0 -72
- package/fjs/bnf/ll1/module.f.js +0 -155
- package/fjs/bnf/ll1/proof.f.d.ts +0 -10
- package/fjs/bnf/ll1/proof.f.js +0 -375
- package/fjs/bnf/module.f.d.ts +0 -165
- package/fjs/bnf/module.f.js +0 -174
- package/fjs/bnf/proof.f.d.ts +0 -12
- package/fjs/bnf/proof.f.js +0 -69
- package/fjs/bnf/testlib.f.d.ts +0 -3
- package/fjs/bnf/testlib.f.js +0 -138
- package/fjs/bnf/token_symbol/module.f.d.ts +0 -38
- package/fjs/bnf/token_symbol/module.f.js +0 -48
- package/fjs/bnf/token_symbol/proof.f.js +0 -37
- package/fjs/cas/cli/module.f.d.ts +0 -6
- package/fjs/cas/cli/module.f.js +0 -53
- package/fjs/cas/cli/proof.f.d.ts +0 -17
- package/fjs/cas/cli/proof.f.js +0 -112
- package/fjs/cas/evo/module.f.d.ts +0 -223
- package/fjs/cas/evo/module.f.js +0 -455
- package/fjs/cas/evo/proof.f.d.ts +0 -47
- package/fjs/cas/evo/proof.f.js +0 -707
- package/fjs/cas/module.f.d.ts +0 -64
- package/fjs/cas/module.f.js +0 -255
- package/fjs/cas/proof.f.d.ts +0 -18
- package/fjs/cas/proof.f.js +0 -305
- package/fjs/ci/bun/module.f.d.ts +0 -2
- package/fjs/ci/bun/module.f.js +0 -15
- package/fjs/ci/common/module.f.d.ts +0 -88
- package/fjs/ci/common/module.f.js +0 -63
- package/fjs/ci/config/module.f.d.ts +0 -45
- package/fjs/ci/config/module.f.js +0 -80
- package/fjs/ci/deno/module.f.d.ts +0 -10
- package/fjs/ci/deno/module.f.js +0 -28
- package/fjs/ci/deno/proof.f.d.ts +0 -5
- package/fjs/ci/deno/proof.f.js +0 -26
- package/fjs/ci/module.f.d.ts +0 -13
- package/fjs/ci/module.f.js +0 -58
- package/fjs/ci/nix/module.f.d.ts +0 -61
- package/fjs/ci/nix/module.f.js +0 -92
- package/fjs/ci/nix/proof.f.d.ts +0 -23
- package/fjs/ci/nix/proof.f.js +0 -109
- package/fjs/ci/node/module.f.d.ts +0 -28
- package/fjs/ci/node/module.f.js +0 -92
- package/fjs/ci/node/proof.f.js +0 -17
- package/fjs/ci/proof.f.d.ts +0 -18
- package/fjs/ci/proof.f.js +0 -182
- package/fjs/ci/rust/module.f.d.ts +0 -3
- package/fjs/ci/rust/module.f.js +0 -75
- package/fjs/cli/module.f.d.ts +0 -11
- package/fjs/cli/module.f.js +0 -34
- package/fjs/cli/proof.f.d.ts +0 -14
- package/fjs/cli/proof.f.js +0 -111
- package/fjs/common/monoid/module.f.d.ts +0 -126
- package/fjs/common/monoid/module.f.js +0 -88
- package/fjs/common/monoid/proof.f.d.ts +0 -9
- package/fjs/common/monoid/proof.f.js +0 -48
- package/fjs/crypto/hmac/module.f.d.ts +0 -29
- package/fjs/crypto/hmac/module.f.js +0 -56
- package/fjs/crypto/hmac/proof.f.js +0 -32
- package/fjs/crypto/pow/module.f.d.ts +0 -37
- package/fjs/crypto/pow/module.f.js +0 -72
- package/fjs/crypto/pow/proof.f.js +0 -111
- package/fjs/crypto/secp/module.f.d.ts +0 -85
- package/fjs/crypto/secp/module.f.js +0 -176
- package/fjs/crypto/secp/proof.f.d.ts +0 -8
- package/fjs/crypto/secp/proof.f.js +0 -124
- package/fjs/crypto/sha2/module.f.d.ts +0 -102
- package/fjs/crypto/sha2/module.f.js +0 -266
- package/fjs/crypto/sha2/proof.f.d.ts +0 -31
- package/fjs/crypto/sha2/proof.f.js +0 -139
- package/fjs/crypto/sign/module.f.d.ts +0 -33
- package/fjs/crypto/sign/module.f.js +0 -163
- package/fjs/crypto/sign/proof.f.d.ts +0 -11
- package/fjs/crypto/sign/proof.f.js +0 -562
- package/fjs/crypto/vdf/module.f.d.ts +0 -21
- package/fjs/crypto/vdf/module.f.js +0 -57
- package/fjs/crypto/vdf/proof.f.js +0 -94
- package/fjs/dev/module.f.d.ts +0 -57
- package/fjs/dev/module.f.js +0 -135
- package/fjs/dev/package_json/module.f.d.ts +0 -16
- package/fjs/dev/package_json/module.f.js +0 -24
- package/fjs/dev/package_json/proof.f.js +0 -28
- package/fjs/dev/proof.f.d.ts +0 -13
- package/fjs/dev/proof.f.js +0 -77
- package/fjs/dev/update/module.f.d.ts +0 -11
- package/fjs/dev/update/module.f.js +0 -20
- package/fjs/dev/update/proof.f.d.ts +0 -7
- package/fjs/dev/update/proof.f.js +0 -35
- package/fjs/djs/ast/module.f.d.ts +0 -62
- package/fjs/djs/ast/module.f.js +0 -61
- package/fjs/djs/ast/proof.f.js +0 -49
- package/fjs/djs/examples/input.f.js +0 -4
- package/fjs/djs/examples/m.f.js +0 -1
- package/fjs/djs/module.f.d.ts +0 -17
- package/fjs/djs/module.f.js +0 -22
- package/fjs/djs/parser/module.f.d.ts +0 -23
- package/fjs/djs/parser/module.f.js +0 -410
- package/fjs/djs/parser/proof.f.d.ts +0 -14
- package/fjs/djs/parser/proof.f.js +0 -556
- package/fjs/djs/proof.f.d.ts +0 -10
- package/fjs/djs/proof.f.js +0 -50
- package/fjs/djs/serializer/module.f.d.ts +0 -17
- package/fjs/djs/serializer/module.f.js +0 -173
- package/fjs/djs/serializer/proof.f.js +0 -133
- package/fjs/djs/tokenizer/module.f.d.ts +0 -24
- package/fjs/djs/tokenizer/module.f.js +0 -472
- package/fjs/djs/tokenizer/proof.f.d.ts +0 -14
- package/fjs/djs/tokenizer/proof.f.js +0 -1211
- package/fjs/djs/transpiler/module.f.d.ts +0 -41
- package/fjs/djs/transpiler/module.f.js +0 -88
- package/fjs/djs/transpiler/proof.f.js +0 -67
- package/fjs/effects/eff/module.f.d.ts +0 -72
- package/fjs/effects/eff/module.f.js +0 -46
- package/fjs/effects/eff/proof.f.d.ts +0 -11
- package/fjs/effects/eff/proof.f.js +0 -58
- package/fjs/effects/list/module.f.d.ts +0 -37
- package/fjs/effects/list/module.f.js +0 -17
- package/fjs/effects/memory/module.f.d.ts +0 -37
- package/fjs/effects/memory/module.f.js +0 -24
- package/fjs/effects/memory/proof.f.d.ts +0 -6
- package/fjs/effects/memory/proof.f.js +0 -50
- package/fjs/effects/mock/module.f.d.ts +0 -16
- package/fjs/effects/mock/module.f.js +0 -20
- package/fjs/effects/module.d.ts +0 -2
- package/fjs/effects/module.f.d.ts +0 -408
- package/fjs/effects/module.f.js +0 -312
- package/fjs/effects/module.js +0 -11
- package/fjs/effects/node/memory/module.d.ts +0 -20
- package/fjs/effects/node/memory/module.js +0 -44
- package/fjs/effects/node/memory/proof.d.ts +0 -10
- package/fjs/effects/node/memory/proof.js +0 -29
- package/fjs/effects/node/module.d.ts +0 -20
- package/fjs/effects/node/module.f.d.ts +0 -300
- package/fjs/effects/node/module.f.js +0 -171
- package/fjs/effects/node/module.js +0 -305
- package/fjs/effects/node/proof.f.d.ts +0 -69
- package/fjs/effects/node/proof.f.js +0 -409
- package/fjs/effects/node/virtual/module.f.d.ts +0 -49
- package/fjs/effects/node/virtual/module.f.js +0 -440
- package/fjs/effects/node/virtual/proof.f.d.ts +0 -33
- package/fjs/effects/node/virtual/proof.f.js +0 -186
- package/fjs/effects/proof.f.d.ts +0 -56
- package/fjs/effects/proof.f.js +0 -200
- package/fjs/emergent_testing/all.test.js +0 -5
- package/fjs/emergent_testing/example.f.d.ts +0 -13
- package/fjs/emergent_testing/example.f.js +0 -31
- package/fjs/emergent_testing/module.f.d.ts +0 -140
- package/fjs/emergent_testing/module.f.js +0 -289
- package/fjs/emergent_testing/proof.f.d.ts +0 -67
- package/fjs/emergent_testing/proof.f.js +0 -416
- package/fjs/emergent_testing/scenarios/all.d.ts +0 -1
- package/fjs/emergent_testing/scenarios/all.js +0 -1
- package/fjs/emergent_testing/scenarios/async-subtests.fail.d.ts +0 -6
- package/fjs/emergent_testing/scenarios/async-subtests.fail.js +0 -9
- package/fjs/emergent_testing/scenarios/async-subtests.pass.d.ts +0 -6
- package/fjs/emergent_testing/scenarios/async-subtests.pass.js +0 -9
- package/fjs/emergent_testing/scenarios/async.fail.d.ts +0 -3
- package/fjs/emergent_testing/scenarios/async.fail.js +0 -6
- package/fjs/emergent_testing/scenarios/async.pass.d.ts +0 -3
- package/fjs/emergent_testing/scenarios/async.pass.js +0 -5
- package/fjs/emergent_testing/scenarios/fail.fail.d.ts +0 -3
- package/fjs/emergent_testing/scenarios/fail.fail.js +0 -3
- package/fjs/emergent_testing/scenarios/return-value.pass.d.ts +0 -3
- package/fjs/emergent_testing/scenarios/return-value.pass.js +0 -4
- package/fjs/emergent_testing/scenarios/thenable.pass.d.ts +0 -5
- package/fjs/emergent_testing/scenarios/thenable.pass.js +0 -11
- package/fjs/emergent_testing/scenarios/thenable2.pass.d.ts +0 -5
- package/fjs/emergent_testing/scenarios/thenable2.pass.js +0 -3
- package/fjs/emergent_testing/scenarios/throw.pass.d.ts +0 -5
- package/fjs/emergent_testing/scenarios/throw.pass.js +0 -3
- package/fjs/fsc/bnf.f.d.ts +0 -2
- package/fjs/fsc/bnf.f.js +0 -42
- package/fjs/fsc/json.f.d.ts +0 -7
- package/fjs/fsc/json.f.js +0 -64
- package/fjs/fsc/module.f.d.ts +0 -11
- package/fjs/fsc/module.f.js +0 -73
- package/fjs/fsc/proof.f.js +0 -104
- package/fjs/fsm/module.f.d.ts +0 -17
- package/fjs/fsm/module.f.js +0 -55
- package/fjs/fsm/proof.f.d.ts +0 -4
- package/fjs/fsm/proof.f.js +0 -126
- package/fjs/js/tokenizer/module.f.d.ts +0 -104
- package/fjs/js/tokenizer/module.f.js +0 -547
- package/fjs/js/tokenizer/proof.f.d.ts +0 -9
- package/fjs/js/tokenizer/proof.f.js +0 -986
- package/fjs/mcp/cas/module.f.d.ts +0 -27
- package/fjs/mcp/cas/module.f.js +0 -232
- package/fjs/mcp/evo/module.f.d.ts +0 -32
- package/fjs/mcp/evo/module.f.js +0 -99
- package/fjs/mcp/evo/proof.f.d.ts +0 -12
- package/fjs/mcp/evo/proof.f.js +0 -147
- package/fjs/mcp/module.f.d.ts +0 -56
- package/fjs/mcp/module.f.js +0 -69
- package/fjs/mcp/proof.f.d.ts +0 -45
- package/fjs/mcp/proof.f.js +0 -535
- package/fjs/media/html/module.f.d.ts +0 -52
- package/fjs/media/html/module.f.js +0 -117
- package/fjs/media/html/proof.f.d.ts +0 -16
- package/fjs/media/html/proof.f.js +0 -65
- package/fjs/media/json/module.f.d.ts +0 -64
- package/fjs/media/json/module.f.js +0 -109
- package/fjs/media/json/parser/module.f.d.ts +0 -21
- package/fjs/media/json/parser/module.f.js +0 -194
- package/fjs/media/json/parser/proof.f.d.ts +0 -5
- package/fjs/media/json/parser/proof.f.js +0 -314
- package/fjs/media/json/proof.f.js +0 -98
- package/fjs/media/json/schema/module.f.d.ts +0 -78
- package/fjs/media/json/schema/module.f.js +0 -96
- package/fjs/media/json/schema/proof.f.d.ts +0 -36
- package/fjs/media/json/schema/proof.f.js +0 -83
- package/fjs/media/json/serializer/module.f.d.ts +0 -28
- package/fjs/media/json/serializer/module.f.js +0 -73
- package/fjs/media/json/serializer/proof.f.js +0 -94
- package/fjs/media/json/tokenizer/module.f.d.ts +0 -15
- package/fjs/media/json/tokenizer/module.f.js +0 -63
- package/fjs/media/json/tokenizer/proof.f.d.ts +0 -5
- package/fjs/media/json/tokenizer/proof.f.js +0 -417
- package/fjs/media/module.f.d.ts +0 -119
- package/fjs/media/module.f.js +0 -88
- package/fjs/media/nix/module.f.d.ts +0 -30
- package/fjs/media/nix/module.f.js +0 -166
- package/fjs/media/nix/proof.f.d.ts +0 -32
- package/fjs/media/nix/proof.f.js +0 -127
- package/fjs/media/proof.f.d.ts +0 -19
- package/fjs/media/proof.f.js +0 -127
- package/fjs/media/revision/module.f.d.ts +0 -94
- package/fjs/media/revision/module.f.js +0 -143
- package/fjs/media/revision/proof.f.d.ts +0 -42
- package/fjs/media/revision/proof.f.js +0 -190
- package/fjs/media/type/module.f.d.ts +0 -135
- package/fjs/media/type/module.f.js +0 -231
- package/fjs/media/type/proof.f.d.ts +0 -40
- package/fjs/media/type/proof.f.js +0 -213
- package/fjs/module.d.ts +0 -2
- package/fjs/module.f.d.ts +0 -2
- package/fjs/module.f.js +0 -50
- package/fjs/module.js +0 -4
- package/fjs/path/module.f.d.ts +0 -46
- package/fjs/path/module.f.js +0 -71
- package/fjs/path/proof.f.js +0 -119
- package/fjs/proof.f.d.ts +0 -9
- package/fjs/proof.f.js +0 -38
- package/fjs/protocol/json_rpc/module.f.d.ts +0 -114
- package/fjs/protocol/json_rpc/module.f.js +0 -89
- package/fjs/protocol/json_rpc/proof.f.d.ts +0 -35
- package/fjs/protocol/json_rpc/proof.f.js +0 -68
- package/fjs/protocol/mcp/module.f.d.ts +0 -239
- package/fjs/protocol/mcp/module.f.js +0 -272
- package/fjs/protocol/mcp/proof.f.d.ts +0 -34
- package/fjs/protocol/mcp/proof.f.js +0 -208
- package/fjs/protocol/mcp/stdio/module.f.d.ts +0 -47
- package/fjs/protocol/mcp/stdio/module.f.js +0 -78
- package/fjs/protocol/mcp/stdio/proof.f.d.ts +0 -13
- package/fjs/protocol/mcp/stdio/proof.f.js +0 -143
- package/fjs/sul/id/module.f.d.ts +0 -33
- package/fjs/sul/id/module.f.js +0 -93
- package/fjs/sul/id/proof.f.js +0 -61
- package/fjs/sul/level/hash/module.f.d.ts +0 -38
- package/fjs/sul/level/hash/module.f.js +0 -43
- package/fjs/sul/level/hash/proof.f.d.ts +0 -13
- package/fjs/sul/level/hash/proof.f.js +0 -112
- package/fjs/sul/level/literal/module.f.d.ts +0 -64
- package/fjs/sul/level/literal/module.f.js +0 -88
- package/fjs/sul/level/literal/proof.f.d.ts +0 -12
- package/fjs/sul/level/literal/proof.f.js +0 -714
- package/fjs/sul/module.f.d.ts +0 -23
- package/fjs/sul/module.f.js +0 -46
- package/fjs/sul/proof.f.d.ts +0 -9
- package/fjs/sul/proof.f.js +0 -47
- package/fjs/text/ascii/module.f.d.ts +0 -136
- package/fjs/text/ascii/module.f.js +0 -154
- package/fjs/text/ascii/proof.f.d.ts +0 -6
- package/fjs/text/ascii/proof.f.js +0 -14
- package/fjs/text/code_point/module.f.d.ts +0 -65
- package/fjs/text/code_point/module.f.js +0 -103
- package/fjs/text/code_point/proof.f.d.ts +0 -8
- package/fjs/text/code_point/proof.f.js +0 -72
- package/fjs/text/module.f.d.ts +0 -40
- package/fjs/text/module.f.js +0 -43
- package/fjs/text/proof.f.d.ts +0 -10
- package/fjs/text/proof.f.js +0 -44
- package/fjs/text/sgr/module.f.d.ts +0 -53
- package/fjs/text/sgr/module.f.js +0 -63
- package/fjs/text/sgr/proof.f.js +0 -33
- package/fjs/text/utf16/module.f.d.ts +0 -161
- package/fjs/text/utf16/module.f.js +0 -311
- package/fjs/text/utf16/proof.f.d.ts +0 -10
- package/fjs/text/utf16/proof.f.js +0 -144
- package/fjs/text/utf8/module.f.d.ts +0 -83
- package/fjs/text/utf8/module.f.js +0 -247
- package/fjs/text/utf8/proof.f.js +0 -217
- package/fjs/types/array/module.f.d.ts +0 -49
- package/fjs/types/array/module.f.js +0 -42
- package/fjs/types/array/proof.f.js +0 -92
- package/fjs/types/bigfloat/module.f.d.ts +0 -6
- package/fjs/types/bigfloat/module.f.js +0 -69
- package/fjs/types/bigfloat/proof.f.d.ts +0 -5
- package/fjs/types/bigfloat/proof.f.js +0 -217
- package/fjs/types/bigint/module.f.d.ts +0 -172
- package/fjs/types/bigint/module.f.js +0 -251
- package/fjs/types/bigint/proof.f.d.ts +0 -37
- package/fjs/types/bigint/proof.f.js +0 -400
- package/fjs/types/bit_vec/module.f.d.ts +0 -302
- package/fjs/types/bit_vec/module.f.js +0 -375
- package/fjs/types/bit_vec/proof.f.d.ts +0 -65
- package/fjs/types/bit_vec/proof.f.js +0 -465
- package/fjs/types/btree/find/module.f.d.ts +0 -25
- package/fjs/types/btree/find/module.f.js +0 -80
- package/fjs/types/btree/find/proof.f.d.ts +0 -3
- package/fjs/types/btree/find/proof.f.js +0 -108
- package/fjs/types/btree/module.f.d.ts +0 -9
- package/fjs/types/btree/module.f.js +0 -33
- package/fjs/types/btree/proof.f.d.ts +0 -13
- package/fjs/types/btree/proof.f.js +0 -64
- package/fjs/types/btree/remove/module.f.d.ts +0 -14
- package/fjs/types/btree/remove/module.f.js +0 -186
- package/fjs/types/btree/remove/proof.f.d.ts +0 -9
- package/fjs/types/btree/remove/proof.f.js +0 -484
- package/fjs/types/btree/set/module.f.d.ts +0 -8
- package/fjs/types/btree/set/module.f.js +0 -128
- package/fjs/types/btree/set/proof.f.d.ts +0 -1
- package/fjs/types/btree/set/proof.f.js +0 -368
- package/fjs/types/btree/types/module.f.d.ts +0 -23
- package/fjs/types/btree/types/module.f.js +0 -9
- package/fjs/types/byte_set/module.f.d.ts +0 -16
- package/fjs/types/byte_set/module.f.js +0 -30
- package/fjs/types/byte_set/proof.f.d.ts +0 -11
- package/fjs/types/byte_set/proof.f.js +0 -79
- package/fjs/types/function/compare/module.f.d.ts +0 -49
- package/fjs/types/function/compare/module.f.js +0 -51
- package/fjs/types/function/compare/proof.f.js +0 -47
- package/fjs/types/function/module.f.d.ts +0 -28
- package/fjs/types/function/module.f.js +0 -19
- package/fjs/types/function/operator/module.f.d.ts +0 -48
- package/fjs/types/function/operator/module.f.js +0 -16
- package/fjs/types/function/operator/proof.f.js +0 -53
- package/fjs/types/function/proof.f.js +0 -10
- package/fjs/types/list/module.f.d.ts +0 -75
- package/fjs/types/list/module.f.js +0 -190
- package/fjs/types/list/proof.f.d.ts +0 -31
- package/fjs/types/list/proof.f.js +0 -330
- package/fjs/types/map/module.f.d.ts +0 -2
- package/fjs/types/map/module.f.js +0 -22
- package/fjs/types/map/proof.f.js +0 -22
- package/fjs/types/nibble_set/module.f.d.ts +0 -27
- package/fjs/types/nibble_set/module.f.js +0 -25
- package/fjs/types/nibble_set/proof.f.js +0 -60
- package/fjs/types/nominal/module.f.d.ts +0 -22
- package/fjs/types/nominal/module.f.js +0 -13
- package/fjs/types/nominal/proof.f.d.ts +0 -4
- package/fjs/types/nominal/proof.f.js +0 -48
- package/fjs/types/nullable/module.f.d.ts +0 -21
- package/fjs/types/nullable/module.f.js +0 -29
- package/fjs/types/nullable/proof.f.d.ts +0 -1
- package/fjs/types/nullable/proof.f.js +0 -29
- package/fjs/types/number/module.f.d.ts +0 -16
- package/fjs/types/number/module.f.js +0 -30
- package/fjs/types/number/proof.f.js +0 -124
- package/fjs/types/object/module.f.d.ts +0 -54
- package/fjs/types/object/module.f.js +0 -25
- package/fjs/types/object/proof.f.d.ts +0 -4
- package/fjs/types/object/proof.f.js +0 -14
- package/fjs/types/option/module.f.js +0 -6
- package/fjs/types/ordered_map/module.f.d.ts +0 -17
- package/fjs/types/ordered_map/module.f.js +0 -22
- package/fjs/types/ordered_map/proof.f.d.ts +0 -5
- package/fjs/types/ordered_map/proof.f.js +0 -73
- package/fjs/types/patricia_trie/module.f.d.ts +0 -25
- package/fjs/types/patricia_trie/module.f.js +0 -35
- package/fjs/types/patricia_trie/proof.f.d.ts +0 -13
- package/fjs/types/patricia_trie/proof.f.js +0 -121
- package/fjs/types/phantom/module.f.js +0 -11
- package/fjs/types/prime_field/module.f.d.ts +0 -62
- package/fjs/types/prime_field/module.f.js +0 -112
- package/fjs/types/prime_field/proof.f.js +0 -128
- package/fjs/types/range/module.f.d.ts +0 -8
- package/fjs/types/range/module.f.js +0 -2
- package/fjs/types/range/proof.f.d.ts +0 -1
- package/fjs/types/range/proof.f.js +0 -9
- package/fjs/types/range_map/module.f.d.ts +0 -92
- package/fjs/types/range_map/module.f.js +0 -82
- package/fjs/types/range_map/proof.f.d.ts +0 -6
- package/fjs/types/range_map/proof.f.js +0 -151
- package/fjs/types/range_set/module.f.d.ts +0 -5
- package/fjs/types/range_set/module.f.js +0 -16
- package/fjs/types/range_set/proof.f.d.ts +0 -1
- package/fjs/types/range_set/proof.f.js +0 -19
- package/fjs/types/result/module.d.ts +0 -3
- package/fjs/types/result/module.f.d.ts +0 -61
- package/fjs/types/result/module.f.js +0 -54
- package/fjs/types/result/module.js +0 -19
- package/fjs/types/result/proof.f.d.ts +0 -12
- package/fjs/types/result/proof.f.js +0 -31
- package/fjs/types/rtti/common/module.f.d.ts +0 -121
- package/fjs/types/rtti/common/module.f.js +0 -94
- package/fjs/types/rtti/common/proof.f.d.ts +0 -8
- package/fjs/types/rtti/common/proof.f.js +0 -51
- package/fjs/types/rtti/module.f.d.ts +0 -75
- package/fjs/types/rtti/module.f.js +0 -34
- package/fjs/types/rtti/parse/module.f.d.ts +0 -36
- package/fjs/types/rtti/parse/module.f.js +0 -114
- package/fjs/types/rtti/parse/proof.f.d.ts +0 -115
- package/fjs/types/rtti/parse/proof.f.js +0 -334
- package/fjs/types/rtti/proof.f.d.ts +0 -5
- package/fjs/types/rtti/proof.f.js +0 -16
- package/fjs/types/rtti/ts/module.f.d.ts +0 -118
- package/fjs/types/rtti/ts/module.f.js +0 -59
- package/fjs/types/rtti/ts/proof.f.d.ts +0 -59
- package/fjs/types/rtti/ts/proof.f.js +0 -75
- package/fjs/types/rtti/validate/module.f.d.ts +0 -4
- package/fjs/types/rtti/validate/module.f.js +0 -74
- package/fjs/types/rtti/validate/proof.f.d.ts +0 -118
- package/fjs/types/rtti/validate/proof.f.js +0 -349
- package/fjs/types/sorted_list/module.f.d.ts +0 -26
- package/fjs/types/sorted_list/module.f.js +0 -51
- package/fjs/types/sorted_list/proof.f.d.ts +0 -4
- package/fjs/types/sorted_list/proof.f.js +0 -46
- package/fjs/types/sorted_set/module.f.d.ts +0 -33
- package/fjs/types/sorted_set/module.f.js +0 -5
- package/fjs/types/sorted_set/proof.f.d.ts +0 -6
- package/fjs/types/sorted_set/proof.f.js +0 -67
- package/fjs/types/string/module.f.d.ts +0 -24
- package/fjs/types/string/module.f.js +0 -35
- package/fjs/types/string/proof.f.js +0 -77
- package/fjs/types/string_set/module.f.d.ts +0 -30
- package/fjs/types/string_set/module.f.js +0 -37
- package/fjs/types/string_set/proof.f.js +0 -43
- package/fjs/types/ts/module.f.d.ts +0 -23
- package/fjs/types/ts/module.f.js +0 -27
- package/fjs/types/ts/proof.f.d.ts +0 -38
- package/fjs/types/ts/proof.f.js +0 -86
- package/fjs/types/uint8array/module.f.d.ts +0 -13
- package/fjs/types/uint8array/module.f.js +0 -34
- package/fjs/types/uint8array/proof.f.d.ts +0 -17
- package/fjs/types/uint8array/proof.f.js +0 -64
- package/fjs/website/module.f.d.ts +0 -3
- package/fjs/website/module.f.js +0 -14
- package/fjs/website/proof.f.js +0 -13
- package/nanvm-lib/tests/proof.f.d.ts +0 -122
- package/nanvm-lib/tests/proof.f.js +0 -330
- package/todo/031-json.f.d.ts +0 -1
- package/todo/031-json.f.js +0 -241
- package/todo/proof.f.d.ts +0 -20
- package/todo/proof.f.js +0 -62
- /package/fjs/{base_n/proof.f.d.ts → basen/proof.f.d.mts} +0 -0
- /package/fjs/bnf/token_symbol/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/ci/node/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/crypto/hmac/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/crypto/pow/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/crypto/vdf/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/dev/package_json/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/djs/ast/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/djs/examples/{input.f.d.ts → input.f.d.mts} +0 -0
- /package/fjs/djs/examples/{m.f.d.ts → m.f.d.mts} +0 -0
- /package/fjs/djs/serializer/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/djs/transpiler/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/fsc/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/media/json/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/media/json/serializer/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/path/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/sul/id/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/text/utf8/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/array/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/{emergent_testing/all.test.d.ts → types/bigint/benchmark.d.mts} +0 -0
- /package/fjs/{basen/base128/proof.f.d.ts → types/function/compare/proof.f.d.mts} +0 -0
- /package/fjs/types/function/operator/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/function/{compare/proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/map/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/nibble_set/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/{text/sgr/proof.f.d.ts → types/nullable/proof.f.d.mts} +0 -0
- /package/fjs/types/number/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/option/{module.f.d.ts → types.d.ts} +0 -0
- /package/fjs/types/phantom/{module.f.d.ts → types.d.ts} +0 -0
- /package/fjs/types/prime_field/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/{function/proof.f.d.ts → range/proof.f.d.mts} +0 -0
- /package/fjs/types/string/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/types/string_set/{proof.f.d.ts → proof.f.d.mts} +0 -0
- /package/fjs/website/{proof.f.d.ts → proof.f.d.mts} +0 -0
|
@@ -0,0 +1,196 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @module
|
|
3
|
+
*
|
|
4
|
+
* @import { Rule } from './types.ts'
|
|
5
|
+
*/
|
|
6
|
+
|
|
7
|
+
import {
|
|
8
|
+
commaJoin0Plus,
|
|
9
|
+
none,
|
|
10
|
+
option,
|
|
11
|
+
range,
|
|
12
|
+
remove,
|
|
13
|
+
repeat,
|
|
14
|
+
repeat0Plus,
|
|
15
|
+
set,
|
|
16
|
+
unicodeMax,
|
|
17
|
+
} from './module.f.mjs'
|
|
18
|
+
|
|
19
|
+
/** @type {() => Rule} */
|
|
20
|
+
export const classic = () => {
|
|
21
|
+
|
|
22
|
+
// https://www.json.org/json-en.html
|
|
23
|
+
|
|
24
|
+
const json = () => [element]
|
|
25
|
+
|
|
26
|
+
const value = () => ({
|
|
27
|
+
object,
|
|
28
|
+
array,
|
|
29
|
+
string,
|
|
30
|
+
number,
|
|
31
|
+
true: 'true',
|
|
32
|
+
false: 'false',
|
|
33
|
+
null: 'null'
|
|
34
|
+
})
|
|
35
|
+
|
|
36
|
+
const object = () => ({
|
|
37
|
+
ws: ['{', ws, '}'],
|
|
38
|
+
members: ['{', members, '}'],
|
|
39
|
+
})
|
|
40
|
+
|
|
41
|
+
const members = () => ({
|
|
42
|
+
member,
|
|
43
|
+
members: [member, ',', members],
|
|
44
|
+
})
|
|
45
|
+
|
|
46
|
+
const member = () => [ws, string, ws, ':', element]
|
|
47
|
+
|
|
48
|
+
const array = () => ({
|
|
49
|
+
ws: ['[', ws, ']'],
|
|
50
|
+
elements: ['[', elements, ']'],
|
|
51
|
+
})
|
|
52
|
+
|
|
53
|
+
const elements = () => ({
|
|
54
|
+
element,
|
|
55
|
+
elements: [element, ',', elements],
|
|
56
|
+
})
|
|
57
|
+
|
|
58
|
+
const element = () => [ws, value, ws]
|
|
59
|
+
|
|
60
|
+
const string = () => ['"', characters, '"']
|
|
61
|
+
|
|
62
|
+
const characters = () => ({
|
|
63
|
+
none,
|
|
64
|
+
characters: [character, characters],
|
|
65
|
+
})
|
|
66
|
+
|
|
67
|
+
/** @type {Rule} */
|
|
68
|
+
const character = () => ({
|
|
69
|
+
0: 0x20_000021,
|
|
70
|
+
1: 0x23_00005B,
|
|
71
|
+
2: 0x5D_10FFFF,
|
|
72
|
+
escape: ['\\', escape],
|
|
73
|
+
})
|
|
74
|
+
|
|
75
|
+
const escape = () => ({
|
|
76
|
+
...set('"\\/bfnrt'),
|
|
77
|
+
u: ['u', hex, hex, hex, hex],
|
|
78
|
+
})
|
|
79
|
+
|
|
80
|
+
const hex = () => ({
|
|
81
|
+
digit,
|
|
82
|
+
AF: range('AF'),
|
|
83
|
+
af: range('af'),
|
|
84
|
+
})
|
|
85
|
+
|
|
86
|
+
const number = () => [integer, fraction, exponent]
|
|
87
|
+
|
|
88
|
+
const integer = () => ({
|
|
89
|
+
digit,
|
|
90
|
+
onenine: [onenine, digits],
|
|
91
|
+
negDigit: ['-', digit],
|
|
92
|
+
negOnenine: ['-', onenine, digits],
|
|
93
|
+
})
|
|
94
|
+
|
|
95
|
+
const digits = () => ({
|
|
96
|
+
digit,
|
|
97
|
+
digits: [digit, digits],
|
|
98
|
+
})
|
|
99
|
+
|
|
100
|
+
/** @type {Rule} */
|
|
101
|
+
const digit = () => ({
|
|
102
|
+
'0': '0',
|
|
103
|
+
onenine,
|
|
104
|
+
})
|
|
105
|
+
|
|
106
|
+
const onenine = range('19')
|
|
107
|
+
|
|
108
|
+
const fraction = () => ({
|
|
109
|
+
none,
|
|
110
|
+
digits: ['.', digits],
|
|
111
|
+
})
|
|
112
|
+
|
|
113
|
+
const exponent = () => ({
|
|
114
|
+
none,
|
|
115
|
+
E: ['E', sign, digits],
|
|
116
|
+
e: ['e', sign, digits],
|
|
117
|
+
})
|
|
118
|
+
|
|
119
|
+
const sign = {
|
|
120
|
+
none,
|
|
121
|
+
...set('+-'),
|
|
122
|
+
}
|
|
123
|
+
|
|
124
|
+
const ws = () => ({
|
|
125
|
+
none,
|
|
126
|
+
' ': [' ', ws],
|
|
127
|
+
'\n': ['\n', ws],
|
|
128
|
+
'\r': ['\r', ws],
|
|
129
|
+
'\t': ['\t', ws],
|
|
130
|
+
})
|
|
131
|
+
|
|
132
|
+
return json
|
|
133
|
+
}
|
|
134
|
+
|
|
135
|
+
/** @type {() => Rule} */
|
|
136
|
+
export const deterministic = () => {
|
|
137
|
+
|
|
138
|
+
const onenine = range('19')
|
|
139
|
+
|
|
140
|
+
/** @type {Rule} */
|
|
141
|
+
const digit = range('09')
|
|
142
|
+
|
|
143
|
+
const string = [
|
|
144
|
+
'"',
|
|
145
|
+
repeat0Plus({
|
|
146
|
+
...remove(range(` ${unicodeMax}`), set('"\\')),
|
|
147
|
+
escape: [
|
|
148
|
+
'\\',
|
|
149
|
+
{
|
|
150
|
+
...set('"\\/bfnrt'),
|
|
151
|
+
u: [
|
|
152
|
+
'u',
|
|
153
|
+
...repeat(4)({
|
|
154
|
+
digit,
|
|
155
|
+
AF: range('AF'),
|
|
156
|
+
af: range('af'),
|
|
157
|
+
})
|
|
158
|
+
],
|
|
159
|
+
}
|
|
160
|
+
],
|
|
161
|
+
}),
|
|
162
|
+
'"'
|
|
163
|
+
]
|
|
164
|
+
|
|
165
|
+
const digits0 = repeat0Plus(digit)
|
|
166
|
+
|
|
167
|
+
const digits = [digit, digits0]
|
|
168
|
+
|
|
169
|
+
const number = [
|
|
170
|
+
option('-'),
|
|
171
|
+
{
|
|
172
|
+
0: '0',
|
|
173
|
+
onenine: [onenine, digits0],
|
|
174
|
+
},
|
|
175
|
+
option(['.', digits]),
|
|
176
|
+
option([set('Ee'), option(set('+-')), digits])
|
|
177
|
+
]
|
|
178
|
+
|
|
179
|
+
const ws = repeat0Plus(set(' \n\r\t'))
|
|
180
|
+
|
|
181
|
+
const cj = commaJoin0Plus(ws)
|
|
182
|
+
|
|
183
|
+
const value = () => ({
|
|
184
|
+
array: cj('[]', value),
|
|
185
|
+
object: cj('{}', [string, ws, ':', ws, value]),
|
|
186
|
+
string,
|
|
187
|
+
number,
|
|
188
|
+
true: 'true',
|
|
189
|
+
false: 'false',
|
|
190
|
+
null: 'null'
|
|
191
|
+
})
|
|
192
|
+
|
|
193
|
+
const json = [ws, value, ws]
|
|
194
|
+
|
|
195
|
+
return json
|
|
196
|
+
}
|
|
@@ -0,0 +1,36 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Encoding of multi-character token names as single BNF input symbols.
|
|
3
|
+
*
|
|
4
|
+
* A parser built on top of a tokenizer consumes one input symbol per token, so
|
|
5
|
+
* multi-character operators (`>>>=`) and keywords (`instanceof`) each need a
|
|
6
|
+
* symbol of their own. Names are registered as one fixed alphabet and get a
|
|
7
|
+
* symbol from their position in it, above the Unicode range and up to the last
|
|
8
|
+
* ordinary symbol.
|
|
9
|
+
*
|
|
10
|
+
* See `./types.ts` for the `Encoding<T>` type-level API.
|
|
11
|
+
*
|
|
12
|
+
* @module
|
|
13
|
+
*
|
|
14
|
+
* @import { Encoding } from './types.ts'
|
|
15
|
+
*/
|
|
16
|
+
import type { Encoding } from './types.ts';
|
|
17
|
+
/**
|
|
18
|
+
* How many names one encoding holds: every symbol from {@link start} up to and
|
|
19
|
+
* including the last ordinary symbol (`0xFFFFFE`, the top of `fullRange`).
|
|
20
|
+
*
|
|
21
|
+
* @type {number}
|
|
22
|
+
*/
|
|
23
|
+
export declare const capacity: number;
|
|
24
|
+
/**
|
|
25
|
+
* Builds an encoding over the complete list of token names.
|
|
26
|
+
*
|
|
27
|
+
* A name takes the symbol at its index in `names`, so the list is append-only:
|
|
28
|
+
* inserting or reordering names changes the symbols of everything after the
|
|
29
|
+
* edit.
|
|
30
|
+
*
|
|
31
|
+
* @throws When `names` holds more than {@link capacity} entries, or when a name
|
|
32
|
+
* repeats — a repeated name has no single symbol to decode back to.
|
|
33
|
+
*
|
|
34
|
+
* @type {<T extends string>(names: readonly T[]) => Encoding<T>}
|
|
35
|
+
*/
|
|
36
|
+
export declare const encoding: <T extends string>(names: readonly T[]) => Encoding<T>;
|
|
@@ -0,0 +1,63 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Encoding of multi-character token names as single BNF input symbols.
|
|
3
|
+
*
|
|
4
|
+
* A parser built on top of a tokenizer consumes one input symbol per token, so
|
|
5
|
+
* multi-character operators (`>>>=`) and keywords (`instanceof`) each need a
|
|
6
|
+
* symbol of their own. Names are registered as one fixed alphabet and get a
|
|
7
|
+
* symbol from their position in it, above the Unicode range and up to the last
|
|
8
|
+
* ordinary symbol.
|
|
9
|
+
*
|
|
10
|
+
* See `./types.ts` for the `Encoding<T>` type-level API.
|
|
11
|
+
*
|
|
12
|
+
* @module
|
|
13
|
+
*
|
|
14
|
+
* @import { Encoding } from './types.ts'
|
|
15
|
+
*/
|
|
16
|
+
|
|
17
|
+
import { assert } from '../../asserts/module.f.mjs'
|
|
18
|
+
import { fromUndefined } from '../../types/nullable/module.f.mjs'
|
|
19
|
+
import { fullRange, rangeDecode, unicodeRange } from '../module.f.mjs'
|
|
20
|
+
|
|
21
|
+
const [, unicodeLast] = rangeDecode(unicodeRange)
|
|
22
|
+
|
|
23
|
+
const [, lastOrdinary] = rangeDecode(fullRange)
|
|
24
|
+
|
|
25
|
+
/**
|
|
26
|
+
* The symbol of the first registered name: `0x110000`, one past the last
|
|
27
|
+
* Unicode scalar value, so a token symbol can never be mistaken for a code
|
|
28
|
+
* point of the layer below.
|
|
29
|
+
*/
|
|
30
|
+
const start = unicodeLast + 1
|
|
31
|
+
|
|
32
|
+
/**
|
|
33
|
+
* How many names one encoding holds: every symbol from {@link start} up to and
|
|
34
|
+
* including the last ordinary symbol (`0xFFFFFE`, the top of `fullRange`).
|
|
35
|
+
*
|
|
36
|
+
* @type {number}
|
|
37
|
+
*/
|
|
38
|
+
export const capacity = lastOrdinary - start + 1
|
|
39
|
+
|
|
40
|
+
/**
|
|
41
|
+
* Builds an encoding over the complete list of token names.
|
|
42
|
+
*
|
|
43
|
+
* A name takes the symbol at its index in `names`, so the list is append-only:
|
|
44
|
+
* inserting or reordering names changes the symbols of everything after the
|
|
45
|
+
* edit.
|
|
46
|
+
*
|
|
47
|
+
* @throws When `names` holds more than {@link capacity} entries, or when a name
|
|
48
|
+
* repeats — a repeated name has no single symbol to decode back to.
|
|
49
|
+
*
|
|
50
|
+
* @type {<T extends string>(names: readonly T[]) => Encoding<T>}
|
|
51
|
+
*/
|
|
52
|
+
export const encoding = names => {
|
|
53
|
+
assert(names.length <= capacity, ['too many token names', names.length])
|
|
54
|
+
assert(new Set(names).size === names.length, ['duplicate token name', names])
|
|
55
|
+
return {
|
|
56
|
+
encode: name => {
|
|
57
|
+
const index = names.indexOf(name)
|
|
58
|
+
assert(index !== -1, ['unregistered token name', name])
|
|
59
|
+
return start + index
|
|
60
|
+
},
|
|
61
|
+
decode: symbol => fromUndefined(names[symbol - start]),
|
|
62
|
+
}
|
|
63
|
+
}
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
import { assertEq } from '../../asserts/module.f.mjs'
|
|
2
|
+
import { eofSymbol } from '../module.f.mjs'
|
|
3
|
+
import { capacity, encoding } from './module.f.mjs'
|
|
4
|
+
|
|
5
|
+
const names = /** @type {const} */ (['>>', '>>>=', 'instanceof'])
|
|
6
|
+
|
|
7
|
+
export const proof = {
|
|
8
|
+
encode: () => {
|
|
9
|
+
const { encode } = encoding(names)
|
|
10
|
+
assertEq(encode('>>'), 0x110000)
|
|
11
|
+
assertEq(encode('instanceof'), 0x110002)
|
|
12
|
+
},
|
|
13
|
+
decode: [
|
|
14
|
+
() => {
|
|
15
|
+
const { decode } = encoding(names)
|
|
16
|
+
assertEq(decode(0x110000), '>>')
|
|
17
|
+
assertEq(decode(0x110002), 'instanceof')
|
|
18
|
+
},
|
|
19
|
+
() => {
|
|
20
|
+
const { decode } = encoding(names)
|
|
21
|
+
// past the end of the alphabet, a code point, the last ordinary
|
|
22
|
+
// symbol, and `eof`
|
|
23
|
+
assertEq(decode(0x110003), null)
|
|
24
|
+
assertEq(decode(0x10FFFF), null)
|
|
25
|
+
assertEq(decode(0xFFFFFE), null)
|
|
26
|
+
assertEq(decode(eofSymbol), null)
|
|
27
|
+
},
|
|
28
|
+
],
|
|
29
|
+
roundTrip: () => {
|
|
30
|
+
const { encode, decode } = encoding(names)
|
|
31
|
+
for (const name of names) {
|
|
32
|
+
assertEq(decode(encode(name)), name)
|
|
33
|
+
}
|
|
34
|
+
},
|
|
35
|
+
throw: {
|
|
36
|
+
duplicateName: () => { encoding(['a', 'b', 'a']) },
|
|
37
|
+
unregisteredName: () => {
|
|
38
|
+
/** @type {readonly string[]} */
|
|
39
|
+
const names = ['a']
|
|
40
|
+
encoding(names).encode('b')
|
|
41
|
+
},
|
|
42
|
+
// `capacity` names fit, so one more is the smallest list that doesn't.
|
|
43
|
+
// The array is sparse, so this costs a length, not the strings.
|
|
44
|
+
tooManyNames: () => { encoding(new Array(capacity + 1)) },
|
|
45
|
+
},
|
|
46
|
+
}
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Types for encoding multi-character token names as single BNF input symbols.
|
|
3
|
+
*
|
|
4
|
+
* @module
|
|
5
|
+
*/
|
|
6
|
+
import type { Nullable } from '../../types/nullable/types.ts';
|
|
7
|
+
/**
|
|
8
|
+
* A bidirectional map between a fixed alphabet of token names and the symbol
|
|
9
|
+
* range reserved for them.
|
|
10
|
+
*/
|
|
11
|
+
export type Encoding<T extends string> = {
|
|
12
|
+
/**
|
|
13
|
+
* The input symbol standing for `name`.
|
|
14
|
+
*
|
|
15
|
+
* The result is a bare symbol, the form a tokenizer emits. Wrap it in
|
|
16
|
+
* `oneEncode` to use it as a terminal of a grammar rule — a symbol and a
|
|
17
|
+
* `TerminalRange` are both plain numbers, so passing one where the other
|
|
18
|
+
* belongs is not a type error.
|
|
19
|
+
*/
|
|
20
|
+
readonly encode: (name: T) => number;
|
|
21
|
+
/**
|
|
22
|
+
* The name a symbol stands for, or `null` when the symbol belongs to no
|
|
23
|
+
* registered name — a code point, the `eof` symbol, or a symbol past the
|
|
24
|
+
* end of the alphabet.
|
|
25
|
+
*/
|
|
26
|
+
readonly decode: (symbol: number) => Nullable<T>;
|
|
27
|
+
};
|
|
@@ -0,0 +1,74 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Type-level API for BNF grammar primitives and helpers.
|
|
3
|
+
*
|
|
4
|
+
* @module
|
|
5
|
+
*/
|
|
6
|
+
import type { StringMap } from '../types/object/types.ts';
|
|
7
|
+
/**
|
|
8
|
+
* A range of symbols. Two 24-bit endpoint codes are stored in one JS number
|
|
9
|
+
* (48 bits).
|
|
10
|
+
*
|
|
11
|
+
* For example: 0xBBBBBB_EEEEEE
|
|
12
|
+
* - 0xBBBBBB is the first endpoint's stored code (24 bits)
|
|
13
|
+
* - 0xEEEEEE is the last endpoint's stored code (24 bits)
|
|
14
|
+
*
|
|
15
|
+
* A stored code is not the semantic terminal value: the semantic domain is
|
|
16
|
+
* `[-1] | [0, 2 ** 24 - 2]` — EOF plus every ordinary symbol — and EOF's code
|
|
17
|
+
* is `0xFFFFFF`, the top of the stored space. `rangeEncode` / `rangeDecode` in
|
|
18
|
+
* `./module.f.mjs` convert between the two, and everything that compares
|
|
19
|
+
* terminals compares decoded values.
|
|
20
|
+
*
|
|
21
|
+
* 24 bits per half, not 26 (the most `float64`'s 52-bit safe-integer mantissa
|
|
22
|
+
* could fit two of): 24 is divisible by 4, so each half is exactly 6 hex
|
|
23
|
+
* digits, and the packed pair reads as a plain `0xYYYYYY_ZZZZZZ` literal with
|
|
24
|
+
* no partial hex digit at either boundary. 26 bits would still be safe to
|
|
25
|
+
* store but wouldn't align to hex nibbles, making the packed literal harder
|
|
26
|
+
* to read and split by eye.
|
|
27
|
+
*
|
|
28
|
+
* Not 16 bits (32 bits total) either, even though a 32-bit pair would fit in
|
|
29
|
+
* a JS bitwise operator's native 32-bit range (JS `|`/`&`/`<<`/etc. operate on
|
|
30
|
+
* 32-bit ints, whereas the 48-bit pair used here, and even a 52-bit one,
|
|
31
|
+
* would need converting to `BigInt` for bitwise operations). 16 bits per
|
|
32
|
+
* symbol can't hold a full Unicode code point: the max scalar value `0x10FFFF`
|
|
33
|
+
* needs 21 bits, well past `0xFFFF`. So the bitwise-op convenience of 16 loses
|
|
34
|
+
* to the requirement of representing every Unicode code point in one half.
|
|
35
|
+
*/
|
|
36
|
+
export type TerminalRange = number;
|
|
37
|
+
/** A sequence of rules. */
|
|
38
|
+
export type Sequence = readonly Rule[];
|
|
39
|
+
/** A variant */
|
|
40
|
+
export type Variant = {
|
|
41
|
+
readonly [k in string]?: Rule;
|
|
42
|
+
};
|
|
43
|
+
/**
|
|
44
|
+
* Data-only grammar rule.
|
|
45
|
+
*/
|
|
46
|
+
export type DataRule = Variant | Sequence | TerminalRange | string;
|
|
47
|
+
/**
|
|
48
|
+
* Lazily evaluated grammar rule.
|
|
49
|
+
*/
|
|
50
|
+
export type LazyRule = () => DataRule;
|
|
51
|
+
/**
|
|
52
|
+
* Grammar rule, either immediate data or lazy rule factory.
|
|
53
|
+
*/
|
|
54
|
+
export type Rule = DataRule | LazyRule;
|
|
55
|
+
/**
|
|
56
|
+
* A set of terminal ranges compatible with the `Variant` rule.
|
|
57
|
+
*/
|
|
58
|
+
export type RangeVariant = StringMap<TerminalRange>;
|
|
59
|
+
/**
|
|
60
|
+
* Empty sequence type for optional grammar branches.
|
|
61
|
+
*/
|
|
62
|
+
export type None = readonly [];
|
|
63
|
+
/**
|
|
64
|
+
* Optional grammar branch.
|
|
65
|
+
*/
|
|
66
|
+
export type Option<S> = {
|
|
67
|
+
some: S;
|
|
68
|
+
none: None;
|
|
69
|
+
};
|
|
70
|
+
export type Repeat0Plus<T> = () => Option<readonly [T, Repeat0Plus<T>]>;
|
|
71
|
+
export type Repeat1Plus<T> = readonly [T, Repeat0Plus<T>];
|
|
72
|
+
export type Join1Plus<T, S> = readonly [T, Repeat0Plus<readonly [S, T]>];
|
|
73
|
+
export type Join0Plus<T, S> = Option<readonly [T, Repeat0Plus<readonly [S, T]>]>;
|
|
74
|
+
export type Repeat<T> = readonly T[];
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* CAS CLI command handlers.
|
|
3
|
+
*
|
|
4
|
+
* @module
|
|
5
|
+
*
|
|
6
|
+
* @import { All, Read, Write, WriteFile } from '../../effects/node/types.ts'
|
|
7
|
+
* @import { Commands } from '../../cli/types.ts'
|
|
8
|
+
* @import { MemOp } from '../../effects/memory/types.ts'
|
|
9
|
+
* @import { FileCasOperation } from '../types.ts'
|
|
10
|
+
*/
|
|
11
|
+
import type { All, Read, Write, WriteFile } from '../../effects/node/types.ts';
|
|
12
|
+
import type { Commands } from '../../cli/types.ts';
|
|
13
|
+
import type { MemOp } from '../../effects/memory/types.ts';
|
|
14
|
+
import type { FileCasOperation } from '../types.ts';
|
|
15
|
+
/** @type {Commands<FileCasOperation | WriteFile | Write | All | MemOp | Read>} */
|
|
16
|
+
export declare const commands: Commands<FileCasOperation | WriteFile | Write | All | MemOp | Read>;
|
|
17
|
+
export declare const main: (options: import("../../effects/node/types.ts").NodeProgramOptions) => import("../../effects/types.ts").Effect<All | Read | Write | WriteFile | FileCasOperation | MemOp, number>;
|
|
@@ -0,0 +1,73 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* CAS CLI command handlers.
|
|
3
|
+
*
|
|
4
|
+
* @module
|
|
5
|
+
*
|
|
6
|
+
* @import { All, Read, Write, WriteFile } from '../../effects/node/types.ts'
|
|
7
|
+
* @import { Commands } from '../../cli/types.ts'
|
|
8
|
+
* @import { MemOp } from '../../effects/memory/types.ts'
|
|
9
|
+
* @import { FileCasOperation } from '../types.ts'
|
|
10
|
+
*/
|
|
11
|
+
|
|
12
|
+
import { sha256 } from '../../crypto/sha2/module.f.mjs'
|
|
13
|
+
import { cBase32ToVec, vecToCBase32 } from '../../basen/cbase32/module.f.mjs'
|
|
14
|
+
import { forEachStep, pure, step } from '../../effects/module.f.mjs'
|
|
15
|
+
import { errorExit, log, writeFromStream } from '../../effects/node/module.f.mjs'
|
|
16
|
+
import { dispatch } from '../../cli/module.f.mjs'
|
|
17
|
+
import { casAddFile, fileCas } from '../module.f.mjs'
|
|
18
|
+
|
|
19
|
+
/** @type {Commands<FileCasOperation | WriteFile | Write | All | MemOp | Read>} */
|
|
20
|
+
export const commands = [
|
|
21
|
+
{
|
|
22
|
+
names: ['add'],
|
|
23
|
+
description: 'Store file content and print its hash',
|
|
24
|
+
handler: ({ home, args: [path, ...rest] }) => {
|
|
25
|
+
if (path === undefined || rest.length !== 0) {
|
|
26
|
+
return errorExit("'cas add' expects one parameter")
|
|
27
|
+
}
|
|
28
|
+
const c = fileCas(sha256)(home)
|
|
29
|
+
return step(
|
|
30
|
+
casAddFile(c)(path),
|
|
31
|
+
hashResult => hashResult[0] === 'error'
|
|
32
|
+
? pure(1)
|
|
33
|
+
: step(
|
|
34
|
+
log(vecToCBase32(hashResult[1])),
|
|
35
|
+
() => pure(0)
|
|
36
|
+
)
|
|
37
|
+
)
|
|
38
|
+
},
|
|
39
|
+
},
|
|
40
|
+
{
|
|
41
|
+
names: ['get'],
|
|
42
|
+
description: 'Restore content by hash into a file',
|
|
43
|
+
handler: ({ home, args: [hashCBase32, path, ...rest] }) => {
|
|
44
|
+
if (hashCBase32 === undefined || path === undefined || rest.length !== 0) {
|
|
45
|
+
return errorExit("'cas get' expects two parameters")
|
|
46
|
+
}
|
|
47
|
+
const hash = cBase32ToVec(hashCBase32)
|
|
48
|
+
if (hash === null) {
|
|
49
|
+
return errorExit(`invalid hash format: ${hashCBase32}`)
|
|
50
|
+
}
|
|
51
|
+
const c = fileCas(sha256)(home)
|
|
52
|
+
const x = c.read(hash)
|
|
53
|
+
return step(
|
|
54
|
+
writeFromStream(path, x),
|
|
55
|
+
([r, v]) => r === 'error' ? errorExit(`e: ` + String(v)) : pure(0),
|
|
56
|
+
)
|
|
57
|
+
},
|
|
58
|
+
},
|
|
59
|
+
{
|
|
60
|
+
names: ['list'],
|
|
61
|
+
description: 'List all stored content hashes',
|
|
62
|
+
handler: ({ home }) => {
|
|
63
|
+
const c = fileCas(sha256)(home)
|
|
64
|
+
const x0 = forEachStep(c.list(), j => log(vecToCBase32(j)))
|
|
65
|
+
return step(
|
|
66
|
+
x0,
|
|
67
|
+
() => pure(0)
|
|
68
|
+
)
|
|
69
|
+
},
|
|
70
|
+
},
|
|
71
|
+
]
|
|
72
|
+
|
|
73
|
+
export const main = dispatch(commands)
|
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @import { NodeProgramOptions } from '../../effects/node/types.ts'
|
|
3
|
+
*/
|
|
4
|
+
export declare const proof: {
|
|
5
|
+
mainAdd: () => void;
|
|
6
|
+
mainAddGetBig: () => void;
|
|
7
|
+
mainAddWrongArgs: () => void;
|
|
8
|
+
mainAddMissingFile: () => void;
|
|
9
|
+
mainGetFound: () => void;
|
|
10
|
+
mainGetNotFound: () => void;
|
|
11
|
+
mainGetWrongArgs: () => void;
|
|
12
|
+
mainGetInvalidHash: () => void;
|
|
13
|
+
mainList: () => void;
|
|
14
|
+
mainListEmptyStore: () => void;
|
|
15
|
+
mainNoCmd: () => void;
|
|
16
|
+
mainUnknownCmd: () => void;
|
|
17
|
+
throw: {
|
|
18
|
+
mainListCorruptStore: () => readonly [import("../../effects/node/virtual/types.ts").State, number];
|
|
19
|
+
};
|
|
20
|
+
};
|
|
@@ -0,0 +1,120 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @import { NodeProgramOptions } from '../../effects/node/types.ts'
|
|
3
|
+
*/
|
|
4
|
+
|
|
5
|
+
import { commands } from './module.f.mjs'
|
|
6
|
+
import { computeSync, sha256 } from '../../crypto/sha2/module.f.mjs'
|
|
7
|
+
import { maxLength, vec, vec8 } from '../../types/bit_vec/module.f.mjs'
|
|
8
|
+
import { defaultNodeProgramOptions, emptyState, virtual } from '../../effects/node/virtual/module.f.mjs'
|
|
9
|
+
import { dispatch } from '../../cli/module.f.mjs'
|
|
10
|
+
import { vecToCBase32 } from '../../basen/cbase32/module.f.mjs'
|
|
11
|
+
import { assert, assertEq } from '../../asserts/module.f.mjs'
|
|
12
|
+
|
|
13
|
+
/** @type {(args: readonly string[]) => NodeProgramOptions} */
|
|
14
|
+
const makeOptions = args =>
|
|
15
|
+
({ ...defaultNodeProgramOptions, args })
|
|
16
|
+
|
|
17
|
+
const main = dispatch(commands)
|
|
18
|
+
|
|
19
|
+
export const proof = {
|
|
20
|
+
mainAdd: () => {
|
|
21
|
+
const content = vec8(0x2An)
|
|
22
|
+
const state = { ...emptyState, root: { myfile: [content] } }
|
|
23
|
+
const [finalState, exitCode] = virtual(state)(main(makeOptions(['add', 'myfile'])))
|
|
24
|
+
assertEq(exitCode, 0, ['expected exit 0', exitCode])
|
|
25
|
+
assert(finalState.stdout.length !== 0, 'expected hash in stdout')
|
|
26
|
+
},
|
|
27
|
+
mainAddGetBig: () => {
|
|
28
|
+
const chunk = vec(maxLength)(1n)
|
|
29
|
+
const content = [chunk, chunk]
|
|
30
|
+
const state = { ...emptyState, root: { myfile: content } }
|
|
31
|
+
//
|
|
32
|
+
const [finalState, exitCode] = virtual(state)(main(makeOptions(['add', 'myfile'])))
|
|
33
|
+
assertEq(exitCode, 0)
|
|
34
|
+
const stdout = finalState.stdout
|
|
35
|
+
assert(stdout.length !== 0)
|
|
36
|
+
//
|
|
37
|
+
const h = computeSync(sha256)(content)
|
|
38
|
+
const hs = vecToCBase32(h)
|
|
39
|
+
assertEq(stdout, `${hs}\n`)
|
|
40
|
+
//
|
|
41
|
+
const [finalState2, exitCode2] = virtual(finalState)(main(makeOptions(['get', hs, 'myfile2'])))
|
|
42
|
+
// console.log(finalState2.stderr)
|
|
43
|
+
assertEq(exitCode2, 0, 'e2')
|
|
44
|
+
const { myfile2 } = finalState2.root
|
|
45
|
+
assert(myfile2 instanceof Array)
|
|
46
|
+
const h2 = computeSync(sha256)(myfile2)
|
|
47
|
+
assertEq(h, h2, 'h')
|
|
48
|
+
},
|
|
49
|
+
mainAddWrongArgs: () => {
|
|
50
|
+
const [finalState, exitCode] = virtual(emptyState)(main(makeOptions(['add'])))
|
|
51
|
+
assertEq(exitCode, 1)
|
|
52
|
+
assert(finalState.stderr.length !== 0)
|
|
53
|
+
},
|
|
54
|
+
mainAddMissingFile: () => {
|
|
55
|
+
// The source path doesn't exist, so `streamFile`'s first read comes back as an
|
|
56
|
+
// error item; `write` fails closed with that error and the handler exits 1
|
|
57
|
+
// without ever calling `log` — covers the `hashResult[0] === 'error'` branch.
|
|
58
|
+
const [, exitCode] = virtual(emptyState)(main(makeOptions(['add', 'missing'])))
|
|
59
|
+
assertEq(exitCode, 1)
|
|
60
|
+
},
|
|
61
|
+
mainGetFound: () => {
|
|
62
|
+
const content = vec8(0x2An)
|
|
63
|
+
const state = { ...emptyState, root: { myfile: [content] } }
|
|
64
|
+
const [state1, exitCode1] = virtual(state)(main(makeOptions(['add', 'myfile'])))
|
|
65
|
+
assertEq(exitCode1, 0, ['expected add exit 0', exitCode1])
|
|
66
|
+
const hashStr = state1.stdout.trim()
|
|
67
|
+
const [, exitCode2] = virtual(state1)(main(makeOptions(['get', hashStr, 'output'])))
|
|
68
|
+
assertEq(exitCode2, 0, ['expected get exit 0', exitCode2])
|
|
69
|
+
},
|
|
70
|
+
mainGetNotFound: () => {
|
|
71
|
+
// valid cBase32 hash that has not been stored
|
|
72
|
+
const content = vec8(0x2An)
|
|
73
|
+
const state = { ...emptyState, root: { myfile: [content] } }
|
|
74
|
+
const [state1] = virtual(state)(main(makeOptions(['add', 'myfile'])))
|
|
75
|
+
const hashStr = state1.stdout.trim()
|
|
76
|
+
// use an empty store so the hash is not found
|
|
77
|
+
const [finalState, exitCode] = virtual(emptyState)(main(makeOptions(['get', hashStr, 'output'])))
|
|
78
|
+
assertEq(exitCode, 1, ['expected exit 1', exitCode])
|
|
79
|
+
assert(finalState.stderr.length !== 0, 'expected error in stderr')
|
|
80
|
+
},
|
|
81
|
+
mainGetWrongArgs: () => {
|
|
82
|
+
const [finalState, exitCode] = virtual(emptyState)(main(makeOptions(['get'])))
|
|
83
|
+
assertEq(exitCode, 1, ['expected exit 1', exitCode])
|
|
84
|
+
assert(finalState.stderr.length !== 0, 'expected error in stderr')
|
|
85
|
+
},
|
|
86
|
+
mainGetInvalidHash: () => {
|
|
87
|
+
const [finalState, exitCode] = virtual(emptyState)(main(makeOptions(['get', 'not-a-valid-hash', 'output'])))
|
|
88
|
+
assertEq(exitCode, 1, ['expected exit 1', exitCode])
|
|
89
|
+
assert(finalState.stderr.length !== 0, 'expected error in stderr')
|
|
90
|
+
},
|
|
91
|
+
mainList: () => {
|
|
92
|
+
const content = vec8(0x2An)
|
|
93
|
+
const state = { ...emptyState, root: { myfile: [content] } }
|
|
94
|
+
const [state1] = virtual(state)(main(makeOptions(['add', 'myfile'])))
|
|
95
|
+
const [, exitCode] = virtual(state1)(main(makeOptions(['list'])))
|
|
96
|
+
assertEq(exitCode, 0, ['expected exit 0', exitCode])
|
|
97
|
+
},
|
|
98
|
+
mainListEmptyStore: () => {
|
|
99
|
+
// A fresh directory has no `.cas` yet; listing must succeed (empty),
|
|
100
|
+
// not crash unwrapping a readdir ENOENT.
|
|
101
|
+
const [finalState, exitCode] = virtual(emptyState)(main(makeOptions(['list'])))
|
|
102
|
+
assertEq(exitCode, 0, ['expected exit 0', exitCode])
|
|
103
|
+
assertEq(finalState.stdout, '', ['expected empty stdout', finalState.stdout])
|
|
104
|
+
},
|
|
105
|
+
mainNoCmd: () => {
|
|
106
|
+
const [finalState, exitCode] = virtual(emptyState)(main(makeOptions([])))
|
|
107
|
+
assertEq(exitCode, 1, ['expected exit 1', exitCode])
|
|
108
|
+
assert(finalState.stderr.length !== 0, 'expected error in stderr')
|
|
109
|
+
},
|
|
110
|
+
mainUnknownCmd: () => {
|
|
111
|
+
const [finalState, exitCode] = virtual(emptyState)(main(makeOptions(['bogus'])))
|
|
112
|
+
assertEq(exitCode, 1, ['expected exit 1', exitCode])
|
|
113
|
+
assert(finalState.stderr.length !== 0, 'expected error in stderr')
|
|
114
|
+
},
|
|
115
|
+
throw: {
|
|
116
|
+
// `.cas` exists but is a file, not a directory: a real storage error
|
|
117
|
+
// that must surface, not be masked as an empty list.
|
|
118
|
+
mainListCorruptStore: () => virtual({ ...emptyState, root: { '.cas': [vec8(0x2An)] } })(main(makeOptions(['list']))),
|
|
119
|
+
},
|
|
120
|
+
}
|