FunctionalScript

• changelog/
• doc/
• fjs/
• nanvm-harness/
• nanvm-lib/
• nix/
• spec/

• AGENTS.md
• CONTRIBUTING.md
• Cargo.lock
• Cargo.toml
• LICENSE
• README.md
• bun.lock
• deno.json
• deno.lock
• dev.sh
• favicon.ico
• funding.json
• package-lock.json
• package.json
• tsconfig.json
• wrangler.jsonc

• 037-language-design-map.md
• 088-python.md
• 134-nominal-types-proposal.md
• 144-ts-prototype-functions.md
• README.md
• camap.md
• check-set-ci-parity.md
• codex-setup-installs-tsc.md
• commit-message-enforcement.md
• contributor-doc-duplication.md
• contributor-docs-stale-references.md
• detect-unexported-types-referenced-by-exported-types.md
• edag-stage1-discussion.md
• edag-stage1-flat-examples.md
• eslint.md
• fjs-javascript-compatibility.md
• fjs-nanvm-integration.md
• flow.md
• git-name-resolution.md
• git-sha1-collisions.md
• git-trusted-timestamp-signatures.md
• inflate.md
• inline-type-casts.md
• jsdoc-typedef-doc-declaration-emit.md
• jsdoc-verification.md
• language-designer-quorum.md
• local-tsc-skips-mjs-with-a-generated-declaration.md
• new-array-out-of-subset.md
• new-pl.md
• retired-issue-identifiers.md
• rtti-type-system.md
• samples.md
• strict-static-analysis.md
• tsconfig-strict-flags.md
• types-for-fs.md

FunctionalScript derives this browser-native unit-test suite from exported proofs. Read “Emergent Testing in JavaScript”.

Idle. Press Run to start the suite.

• ./fjs/asn.1/proof.f.mjs
• ./fjs/asserts/proof.f.mjs
• ./fjs/basen/base128/proof.f.mjs
• ./fjs/basen/base64/proof.f.mjs
• ./fjs/basen/cbase32/proof.f.mjs
• ./fjs/basen/proof.f.mjs
• ./fjs/cas/cli/proof.f.mjs
• ./fjs/cas/evo/proof.f.mjs
• ./fjs/cas/proof.f.mjs
• ./fjs/ci/bun/proof.f.mjs
• ./fjs/ci/deno/proof.f.mjs
• ./fjs/ci/dev/proof.f.mjs
• ./fjs/ci/nix/proof.f.mjs
• ./fjs/ci/node/proof.f.mjs
• ./fjs/ci/package/fixture/proof.f.mjs
• ./fjs/ci/package/proof.f.mjs
• ./fjs/ci/proof.f.mjs
• ./fjs/ci/publish/proof.f.mjs
• ./fjs/ci/rust/proof.f.mjs
• ./fjs/cli/proof.f.mjs
• ./fjs/common/monoid/proof.f.mjs
• ./fjs/crypto/hmac/proof.f.mjs
• ./fjs/crypto/pow/proof.f.mjs
• ./fjs/crypto/secp/proof.f.mjs
• ./fjs/crypto/sha1/proof.f.mjs
• ./fjs/crypto/sha2/proof.f.mjs
• ./fjs/crypto/sign/proof.f.mjs
• ./fjs/crypto/vdf/proof.f.mjs
• ./fjs/dev/clean/proof.f.mjs
• ./fjs/dev/module.f.mjs
• ./fjs/dev/proof.f.mjs
• ./fjs/ebnf/ast/proof.f.mjs
• ./fjs/ebnf/byte/proof.f.mjs
• ./fjs/ebnf/data/proof.f.mjs
• ./fjs/ebnf/lib/datajs/proof.f.mjs
• ./fjs/ebnf/lib/js/proof.f.mjs
• ./fjs/ebnf/lib/json/proof.f.mjs
• ./fjs/ebnf/lib/markdown/proof.f.mjs
• ./fjs/ebnf/ll1/proof.f.mjs
• ./fjs/ebnf/proof.f.mjs
• ./fjs/ebnf/token_symbol/proof.f.mjs
• ./fjs/ebnf/utf16/proof.f.mjs
• ./fjs/edag/amnesia/proof.f.mjs
• ./fjs/edag/analysis/proof.f.mjs
• ./fjs/edag/memo/proof.f.mjs
• ./fjs/edag/operations/proof.f.mjs
• ./fjs/edag/proof.f.mjs
• ./fjs/edag/rust/proof.f.mjs
• ./fjs/effects/common/proof.f.mjs
• ./fjs/effects/memory/proof.f.mjs
• ./fjs/effects/node/proof.f.mjs
• ./fjs/effects/node/virtual/proof.f.mjs
• ./fjs/effects/proof.f.mjs
• ./fjs/emergent_testing/browser/proof.f.mjs
• ./fjs/emergent_testing/example.f.mjs
• ./fjs/emergent_testing/proof.f.mjs
• ./fjs/fsc/ast/proof.f.mjs
• ./fjs/fsc/edag/proof.f.mjs
• ./fjs/fsc/parameters/proof.f.mjs
• ./fjs/fsc/parser/grammar/proof.f.mjs
• ./fjs/fsc/parser/proof.f.mjs
• ./fjs/fsc/proof.f.mjs
• ./fjs/fsc/rust/proof.f.mjs
• ./fjs/fsc/serializer/proof.f.mjs
• ./fjs/fsc/tokenizer/proof.f.mjs
• ./fjs/fsc/transpiler/module.f.mjs
• ./fjs/fsc/transpiler/proof.f.mjs
• ./fjs/fsm/proof.f.mjs
• ./fjs/git/commit/proof.f.mjs
• ./fjs/git/config/proof.f.mjs
• ./fjs/git/header/proof.f.mjs
• ./fjs/git/ident/proof.f.mjs
• ./fjs/git/loose/proof.f.mjs
• ./fjs/git/object/proof.f.mjs
• ./fjs/git/oid/proof.f.mjs
• ./fjs/git/pack/proof.f.mjs
• ./fjs/git/packidx/proof.f.mjs
• ./fjs/git/packstore/proof.f.mjs
• ./fjs/git/ref/proof.f.mjs
• ./fjs/git/refname/proof.f.mjs
• ./fjs/git/refstore/proof.f.mjs
• ./fjs/git/refstore/testlib.proof.f.mjs
• ./fjs/git/refstore/write/proof.f.mjs
• ./fjs/git/repo/proof.f.mjs
• ./fjs/git/store/proof.f.mjs
• ./fjs/git/tag/proof.f.mjs
• ./fjs/git/testlib.proof.f.mjs
• ./fjs/git/tree/proof.f.mjs
• ./fjs/git/walk/proof.f.mjs
• ./fjs/js/keywords/proof.f.mjs
• ./fjs/js/prototype/proof.f.mjs
• ./fjs/js/string_escape/proof.f.mjs
• ./fjs/js/tokenizer/proof.f.mjs
• ./fjs/mcp/cas/proof.f.mjs
• ./fjs/mcp/evo/proof.f.mjs
• ./fjs/mcp/module.f.mjs
• ./fjs/mcp/proof.f.mjs
• ./fjs/media/datajs/parser/proof.f.mjs
• ./fjs/media/datajs/proof.f.mjs
• ./fjs/media/datajs/serializer/proof.f.mjs
• ./fjs/media/datajs/vectors/matrix/proof.f.mjs
• ./fjs/media/datajs/vectors/proof.f.mjs
• ./fjs/media/html/proof.f.mjs
• ./fjs/media/json/extended/proof.f.mjs
• ./fjs/media/json/number/proof.f.mjs
• ./fjs/media/json/parser/proof.f.mjs
• ./fjs/media/json/proof.f.mjs
• ./fjs/media/json/rtti/proof.f.mjs
• ./fjs/media/json/schema/proof.f.mjs
• ./fjs/media/json/serializer/proof.f.mjs
• ./fjs/media/lock/proof.f.mjs
• ./fjs/media/markdown/proof.f.mjs
• ./fjs/media/nix/proof.f.mjs
• ./fjs/media/note/proof.f.mjs
• ./fjs/media/proof.f.mjs
• ./fjs/media/revision/proof.f.mjs
• ./fjs/media/rust/proof.f.mjs
• ./fjs/media/type/proof.f.mjs
• ./fjs/nanvm/proof.f.mjs
• ./fjs/nanvm/rust/proof.f.mjs
• ./fjs/nanvm/update/proof.f.mjs
• ./fjs/path/import/proof.f.mjs
• ./fjs/path/proof.f.mjs
• ./fjs/proof.f.mjs
• ./fjs/protocol/json_rpc/proof.f.mjs
• ./fjs/protocol/mcp/proof.f.mjs
• ./fjs/protocol/mcp/stdio/proof.f.mjs
• ./fjs/rtti/common/proof.f.mjs
• ./fjs/rtti/data/proof.f.mjs
• ./fjs/rtti/parse/proof.f.mjs
• ./fjs/rtti/proof.f.mjs
• ./fjs/rtti/ts/proof.f.mjs
• ./fjs/rtti/validate/proof.f.mjs
• ./fjs/sul/id/proof.f.mjs
• ./fjs/sul/level/hash/proof.f.mjs
• ./fjs/sul/level/literal/proof.f.mjs
• ./fjs/sul/proof.f.mjs
• ./fjs/text/ascii/proof.f.mjs
• ./fjs/text/code_point/proof.f.mjs
• ./fjs/text/percent/proof.f.mjs
• ./fjs/text/proof.f.mjs
• ./fjs/text/sgr/proof.f.mjs
• ./fjs/text/utf16/proof.f.mjs
• ./fjs/text/utf8/proof.f.mjs
• ./fjs/types/array/proof.f.mjs
• ./fjs/types/bigfloat/module.f.mjs
• ./fjs/types/bigfloat/proof.f.mjs
• ./fjs/types/bigint/proof.f.mjs
• ./fjs/types/bit_vec/proof.f.mjs
• ./fjs/types/btree/find/proof.f.mjs
• ./fjs/types/btree/proof.f.mjs
• ./fjs/types/btree/remove/module.f.mjs
• ./fjs/types/btree/remove/proof.f.mjs
• ./fjs/types/btree/set/proof.f.mjs
• ./fjs/types/byte_set/proof.f.mjs
• ./fjs/types/function/compare/proof.f.mjs
• ./fjs/types/function/length/proof.f.mjs
• ./fjs/types/function/operator/proof.f.mjs
• ./fjs/types/function/proof.f.mjs
• ./fjs/types/list/proof.f.mjs
• ./fjs/types/map/proof.f.mjs
• ./fjs/types/nibble_set/proof.f.mjs
• ./fjs/types/nominal/proof.f.mjs
• ./fjs/types/nullable/proof.f.mjs
• ./fjs/types/number/proof.f.mjs
• ./fjs/types/object/proof.f.mjs
• ./fjs/types/object/structurally_same/proof.f.mjs
• ./fjs/types/ordered_map/proof.f.mjs
• ./fjs/types/patricia_trie/proof.f.mjs
• ./fjs/types/prime_field/proof.f.mjs
• ./fjs/types/range/proof.f.mjs
• ./fjs/types/range_map/proof.f.mjs
• ./fjs/types/range_set/proof.f.mjs
• ./fjs/types/result/proof.f.mjs
• ./fjs/types/set/proof.f.mjs
• ./fjs/types/sorted_list/proof.f.mjs
• ./fjs/types/sorted_set/proof.f.mjs
• ./fjs/types/string/proof.f.mjs
• ./fjs/types/string_set/proof.f.mjs
• ./fjs/types/ts/proof.f.mjs
• ./fjs/types/uint8array/proof.f.mjs
• ./fjs/web/proof.f.mjs
• ./fjs/website/browser-source/proof.f.mjs
• ./fjs/website/browser.mjs
• ./fjs/website/changelog/proof.f.mjs
• ./fjs/website/demo/graph/proof.f.mjs
• ./fjs/website/page/proof.f.mjs
• ./fjs/website/proof.f.mjs
• ./spec/datajs/vectors/accept/proof.f.mjs
• ./spec/datajs/vectors/graph-equivalence/proof.f.mjs
• ./spec/datajs/vectors/normalize/proof.f.mjs
• ./spec/datajs/vectors/not-applicable/proof.f.mjs
• ./spec/datajs/vectors/reject/proof.f.mjs
• ./spec/datajs/vectors/serializer-accept/proof.f.mjs
• ./todo/proof.f.mjs