# System map — dubzzz/fast-check

> Canonical page: https://codevetter.com/unpack/fast-check/system-map

# System map — dubzzz/fast-check

Scanned commit ecf7193810d1057253808105444e147d948051a1 (2026-10-01). Generated by codevetter codevetter 1.15.0 on 2026-10-02.

Source inspection; upstream code and tests were not executed.

The system centers on an importable testing library rather than an application server. Generation, execution, shrinking, and reporting are separate core modules; adapters and worker orchestration form additional runtime boundaries. Builds produce publishable library artifacts and a static documentation site. The inspected runner retains execution state in memory and exposes replay coordinates through its reports.
- The workspace includes examples, packages/*, and website; root scripts orchestrate package builds, Vitest tests and benchmarks, parallel typechecking, oxfmt, oxlint, and publication lint. — [package.json#L17-L44](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/package.json#L17-L44) [pnpm-workspace.yaml#L1-L4](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/pnpm-workspace.yaml#L1-L4)
- The core package exports lib/fast-check.js, publishes lib, declares sideEffects:false, and depends on pure-rand; fast-check.ts explicitly exports generators, runner APIs, model runners, scheduler APIs, and plugins. — [packages/fast-check/package.json#L6-L20](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/package.json#L6-L20) [packages/fast-check/package.json#L33-L38](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/package.json#L33-L38) [packages/fast-check/src/fast-check.ts#L131-L207](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/fast-check.ts#L131-L207)
- asyncProperty constructs PropertyImplem around tuple arbitraries; check coordinates parameter qualification, plugin instances, input iteration, predicate execution, and RunExecution reporting. — [packages/fast-check/src/check/property/AsyncProperty.ts#L13-L22](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/property/AsyncProperty.ts#L13-L22) [packages/fast-check/src/check/runner/Runner.ts#L92-L140](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/runner/Runner.ts#L92-L140)
- RunExecution owns counters, failure values, error objects, paths, and optional execution trees in memory; toRunDetails returns those values and the qualified run configuration. — [packages/fast-check/src/check/runner/reporter/RunExecution.ts#L13-L47](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/runner/reporter/RunExecution.ts#L13-L47) [packages/fast-check/src/check/runner/reporter/RunExecution.ts#L102-L163](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/src/check/runner/reporter/RunExecution.ts#L102-L163)
- Jest and Vitest export enriched test/it functions, while AVA exports testProp; @fast-check/worker adds a Node worker_threads boundary around predicate execution. — [packages/jest/src/jest-fast-check.ts#L1-L11](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/jest/src/jest-fast-check.ts#L1-L11) [packages/vitest/src/vitest-fast-check.ts#L1-L11](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/vitest/src/vitest-fast-check.ts#L1-L11) [packages/ava/src/ava-fast-check.ts#L99-L115](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/ava/src/ava-fast-check.ts#L99-L115) [packages/worker/src/main.ts#L95-L126](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/worker/src/main.ts#L95-L126)
- buildConfigFor derives src entrypoints from package exports, emits ESM plus declarations, externalizes bare imports, and emits CJS only for conditional exports; core build metadata uses GITHUB_SHA or a fixed git rev-parse HEAD shell command. — [rolldown.common.config.js#L8-L34](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/rolldown.common.config.js#L8-L34) [rolldown.common.config.js#L40-L75](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/rolldown.common.config.js#L40-L75) [packages/fast-check/rolldown.config.js#L5-L25](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/packages/fast-check/rolldown.config.js#L5-L25)
- The website is Docusaurus with React pages, autogenerated documentation navigation, Algolia search/Ask AI, offline PWA activation, and TypeDoc-generated API documentation from the core entrypoint. — [website/package.json#L16-L28](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/website/package.json#L16-L28) [website/sidebars.js#L14-L17](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/website/sidebars.js#L14-L17) [website/docusaurus.config.ts#L158-L191](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/website/docusaurus.config.ts#L158-L191) [website/docusaurus.config.ts#L242-L272](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/website/docusaurus.config.ts#L242-L272)
- Build Status gates package publication on required checks and tags at HEAD, publishes npm artifacts with attestations, and contains a disabled Netlify publication job; separate workflows create draft releases, announce on Bluesky, and force-mirror main/tags to Tangled. — [.github/workflows/build-status.yml#L541-L626](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/.github/workflows/build-status.yml#L541-L626) [.github/workflows/build-status.yml#L658-L681](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/.github/workflows/build-status.yml#L658-L681) [.github/workflows/create-release.yml#L56-L82](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/.github/workflows/create-release.yml#L56-L82) [.github/workflows/mirror-tangled.yml#L29-L42](https://github.com/dubzzz/fast-check/blob/ecf7193810d1057253808105444e147d948051a1/.github/workflows/mirror-tangled.yml#L29-L42)

Every claim links to its cited files at the pinned commit. Citations identify source evidence; they do not establish runtime correctness. Independent CodeVetter scan — not reviewed by upstream maintainers.

## Public product links

- [CodeVetter](https://codevetter.com/)
- [Download](https://codevetter.com/download)
- [Documentation](https://codevetter.com/docs/)
- [Source](https://github.com/Codevetter/codevetter)