Add @mettascript/fuzz: property testing written in MeTTa - #3

Closed

MesTTo wants to merge 49 commits into

mainfrom

feat/metta-fuzz

Commits on Jul 29, 2026

Add isolated fuzz case evaluation
MesTTo
committed
d69f832
Add deterministic MeTTa fuzz kernel
MesTTo
committed
343237a
Align collapse result bags with Hyperon
MesTTo
committed
26ad09b
Add replayable MeTTa fuzz generators
MesTTo
committed
18a738a
Classify nondeterministic fuzz properties
MesTTo
committed
0eefd81
Add deterministic MeTTa fuzz runner
MesTTo
committed
5ffdc8c
Add generator-aware decision shrinking
MesTTo
committed
00a80a1
Integrate deterministic fuzz shrinking
MesTTo
committed
05da44c
Preserve fuzz failure evidence
MesTTo
committed
26dd9df
Fix lazy error propagation for NaN arguments
MesTTo
committed
6ab5041
Preserve negative zero in MeTTa formatting
MesTTo
committed
549f52e
Add bit-faithful float fuzzing and replay
MesTTo
committed
038dce0
Add MeTTa-native text generators
MesTTo
committed
4ea739c
Validate MeTTa custom generator protocols
MesTTo
committed
e38200e
Classify log-enabled? as a world-effect embedded op
MesTTo
committed
ecc2f57
Cache normal-form and table-key verdicts by atom identity
MesTTo
committed
d37a8d0
Restore Prettier formatting on drifted files
MesTTo
committed
1d7bddf
Expand continuation scope vars through bindings
MesTTo
committed
4b7131c
Admit signature-typed constructions as inert data
MesTTo
committed
16d8d55
Cache impure-head and NaN scans over shared subtrees
MesTTo
committed
22d50e8
Run grammar generation on a kernel machine
MesTTo
committed
fa8a2f5
Enumerate exhaustive domains with a choice-vector cursor
MesTTo
committed
1014300

Commits on Jul 30, 2026

Pass state handles opaquely to grounded operations
MesTTo
committed
cb133fc
Charge fuel per tail transfer and chain past bound variables
MesTTo
committed
e7c5b84
Cap native evaluation nesting, exempting open atoms
MesTTo
committed
7977859
Loop compiled impure tail calls through a fuel-budgeted driver
MesTTo
committed
814e8f0
Reject malformed switch arms when generating the fuzz module
MesTTo
committed
ecc351a
Collect user-relation results before they branch in call helpers
MesTTo
committed
9e0da54
Validate every custom generator mode as a single result
MesTTo
committed
1144c7c
Try custom shrink choices before descending into children
MesTTo
committed
be0419c
Never accept a shrink candidate that grows the decision tree
MesTTo
committed
3f65854
Add model-based state machines to the fuzz library
MesTTo
committed
d45fc00
Add bounded state reachability to the fuzz library
MesTTo
committed
9a2111f
Stop counting Error payloads as recursive calls for tabling
MesTTo
committed
29a5101
Build repeated generators with a flat accumulator
MesTTo
committed
5b23c1d
Revoke a table whose memo is never read
MesTTo
committed
49cf055
Decode public fuzz results into typed outcomes
MesTTo
committed
6bda4ce
Discover declared fuzz tests as data
MesTTo
committed
0dd43b2
Bound reachability by state depth, not by expansion rounds
MesTTo
committed
bee91a8
Run declared suites from the command line with metta fuzz and metta reach
MesTTo
committed
7aceaf5
Persist counterexamples so a later run replays them first
MesTTo
committed
cd77725
Ship the fuzz package under both scopes, with a README that is run
MesTTo
committed
06fb818
Document property testing on the website, and check the pages against a run
MesTTo
committed
8798a9d
Decode both values of a failure, and check the hosts run a whole property
MesTTo
committed
ce1a56f
Size the exhaustive budget against what a case costs
MesTTo
committed
f457331
Say why the two grounded-key switches stay parallel
MesTTo
committed
c884921
Prepare 2.8.0
MesTTo
committed
2b845b2
Point new readers at property testing from the front page
MesTTo
committed
eb957f6
Stop the runaway-fuel test from asserting how fast the machine is
MesTTo
committed
4f5d93c