# Quality: Voxlang

Test counts, bug totals, binary sizes, and vox-fuzz's own coverage numbers, produced by scripts that read the compiler repository and vox-fuzz at build time.

## Tests you can count

Every test the compiler repository tracks under tests/, counted straight off its file tree.

- Golden-file .vox tests: 903
- Compile-fail cases: 578
- Total files under tests/: 1821
- Unit tests, compiler src/: 303

Counted by grep for #[test] in the compiler's own src/, not a cargo test run. A single #[test] function that loops over many fixtures (the compile-fail suite runs as one) is counted once here, so this is a floor on the real number of cases exercised, not the number itself.

Browse tests/ on GitHub: https://github.com/Vox-lang/vox/tree/527cb89886503695490032d1e939a48cad9995e7/tests

From Vox-lang/vox main at 527cb89, 2026-08-23.

## Bugs, in the open

Every bug vox-fuzz or a human has found, tracked publicly in docs/BUGS_FOUND.md, parsed for its totals rather than summarised by hand.

- Bugs found: 91
- Fixed: 86
- Open: 0
- Other: 5

"Other" is a status that is neither "fixed" nor "open" as written: a documentation fix, a duplicate note, or, if this count is not zero, an entry this parser could not read a status from at all.

Versions covered: 0.3.6 to 0.4.10.

Read docs/BUGS_FOUND.md on GitHub: https://github.com/Vox-lang/vox/blob/527cb89886503695490032d1e939a48cad9995e7/docs/BUGS_FOUND.md

From Vox-lang/vox main at 527cb89, 2026-08-23.

## Examples verified

Checked against vox 0.4.10 on 2026-08-23: 33 of 33 examples passed.

"Verified" means compiled with the real compiler, at the stated version, on the stated date. It does not mean run.

See every example: /examples/

## Memory safety, and how to try to break it

Vox's central claim is that a compiled program is memory-safe without a garbage collector or a runtime.

The compiler's own words, from its README:

Source: https://github.com/Vox-lang/vox/blob/527cb89886503695490032d1e939a48cad9995e7/README.md#memory-safety-model

What a security report needs to show, from SECURITY.md:

Source: https://github.com/Vox-lang/vox/blob/527cb89886503695490032d1e939a48cad9995e7/SECURITY.md#what-counts-as-a-vulnerability

From Vox-lang/vox main at 527cb89, 2026-08-23.

vox-fuzz hunts for defects against LANGUAGE.md claims: it generates Vox programs, compiles and runs them, and checks the compiler's behavior against what the specification says. It tracks how much of the specification has been exercised and verified, not only how many crashes it has found. None of this proves Vox correct, only that its claims have been checked this thoroughly so far.

### Seed ledger

- 2026-08-19, vox 0.4.5, vox-fuzz c99e734: seeds 1–1000, budget 12, 1,000 programs, 1,000 compiled, 0 findings -- post-modernization baseline
- 2026-08-19, vox 0.4.5, vox-fuzz c99e734: seeds 7000–7999, budget 16, 1,000 programs, 1,000 compiled, 0 findings -- independent range, master-run
- 2026-08-19, vox 0.4.5, vox-fuzz f20eb77: seeds 1–2000 ×4 budgets, budget 12/40/100/300, 8,000 programs, n/a compiled, n/a findings -- guard sweep, generation only, no compile or run

Generator leaves: 10 (A file count of src/gen_*.vox, not a count of the constructs each one emits.)

From vox-fuzz main at 6b5f8ba, 2026-08-23; the fuzzer's coverage ledger will appear here when vox-fuzz publishes docs/ledger/quality-stats.json.

"Each finding is a .vox file plus a repro.sh; you reproduce it without trusting the tool."

vox-fuzz on GitHub: https://github.com/Vox-lang/vox-fuzz

## Binaries, measured

Compiled fresh at build time with the real compiler. No comparison against other languages is offered here without a citation.

- hello.vox (the compiler repo's examples/hello.vox, vendored at content/examples/hello.vox): 4552 bytes stripped, 6688 bytes as built
- cat.vox (the compiler repo's examples/cat.vox, vendored at content/examples/cat.vox): 13528 bytes stripped, 33088 bytes as built
- supervisor.vox (the compiler repo's examples/supervisor.vox, vendored at content/examples/supervisor.vox): 13064 bytes stripped, 30584 bytes as built
- initramfs.vox (the compiler repo's examples/initramfs.vox, vendored at content/examples/initramfs.vox): 13872 bytes stripped, 36936 bytes as built
- clock.vox (this site's own content/clock.vox (the home page's hero example), not a file in the compiler repo): 4696 bytes stripped, 11128 bytes as built

Stripped with GNU strip --strip-all; as built, with symbols, in the second column.

Command: vox <file> -o <out>

Measured against vox v0.4.10 By Josjuar Lister 2026 on 2026-08-23.

## Stability

Supported versions, from SECURITY.md:

Source: https://github.com/Vox-lang/vox/blob/527cb89886503695490032d1e939a48cad9995e7/SECURITY.md#supported-versions

Voxlang has no written compatibility policy yet. This page will not invent one.

From Vox-lang/vox main at 527cb89, 2026-08-23.

## Reproduce all of this

Every number above, run by hand on one machine with the compiler repository and vox-fuzz checked out and a built vox binary.

```
git clone https://github.com/Vox-lang/vox && cd vox

# 1. Tests you can count
git ls-tree -r --name-only main -- tests | grep -c '\.vox$'
git ls-tree -r --name-only main -- tests/compile_fail | wc -l
git ls-tree -r --name-only main -- tests | wc -l
git grep -c '#\[test\]' main -- src

# 2. Bugs, in the open
git show main:docs/BUGS_FOUND.md

# 4. Memory safety
git show main:README.md
git show main:SECURITY.md

git clone https://github.com/Vox-lang/vox-fuzz && cd vox-fuzz

# 4. Fuzzing: the seed ledger and generator leaves (or, once vox-fuzz
# publishes it, docs/ledger/quality-stats.json directly)
git show main:SEEDS.md
git ls-tree --name-only main:src | grep -c '^gen_.*\.vox$'

# From this site's own repository, with VOX_REPO and VOX_FUZZ_REPO
# pointed at the checkouts above:
VOX_REPO=/path/to/vox node scripts/docs/parse-quality.mjs
VOX_FUZZ_REPO=/path/to/vox-fuzz node scripts/docs/parse-fuzz.mjs
./scripts/measure-sizes.sh
./scripts/verify-examples.sh
```