Add fuzz-testing for Oak's analysis engine - #1418

Open

lionel- wants to merge 44 commits into

mainfrom

Commits on Oct 2, 2026

Draft fuzz testing
lionel-
committed
9b35266
Introduce composable Program and Corpus scenarios
lionel-
committed
59ca0ea
Add mutation-based fuzzing for Oak query cycles
lionel-
committed
51f1bb9
Expose the fuzz harness behind a `fuzz` feature
lionel-
committed
f0658f6
Serialize `Scenario` as validated JSON
lionel-
committed
bdafdcf
Add coverage-guided fuzzing for Oak query cycles
lionel-
committed
6c13860
Reach `Package::resolve()` recovery from the fuzzer
lionel-
committed
6ca0b1a
Split fuzz tests module
lionel-
committed
239d575
Isolate Oak test and fuzz file reads from the host filesystem
lionel-
committed
3e15398
Refine Oak fuzz mutation coverage and separate replay limits
lionel-
committed
03dfa9e
Split fuzz modules
lionel-
committed
0358937
Drop the legacy single-package scenario format
lionel-
committed
d239434
Improve encapsulation
lionel-
committed
0edc278
Include fuzzing advice in salsa.md doc
lionel-
committed
318a43d
Review `just fuzz` commands
lionel-
committed
7d7299c
Spend fuzz runs on related operations
lionel-
committed
4343c03
Spend fuzz queries on unobserved replacements
lionel-
committed
5ba80aa
Simplify fuzz history tests
lionel-
committed
595da7c
Retarget fuzz queries only when observation improves
lionel-
committed
98faa30
Tweak corpus naming
lionel-
committed
bc3bac3
Extract runner from fuzz_targets
lionel-
committed
14882e8
Remove global constant
lionel-
committed
d506018
Add identifier rename step in the fuzzer
lionel-
committed
45f37fc
Restart fuzz blocks from initial corpus
lionel-
committed
171bf19
Vary the source-motif/package-layer pairing
lionel-
committed
b084bb5
Make cold queries more deliberately connected to the motif
lionel-
committed
82700c2
Split package collation from scripts in the fuzz model
lionel-
committed
c8781d8
Add Shiny app layouts to the fuzz model
lionel-
committed
6e09eee
Add setup, teardown, and nesting shapes to the testthat fuzz model
lionel-
committed
c002b52
Serve DESCRIPTION text to allow modelling `Collate:` exclusion
lionel-
committed
c953124
Admit a recovery-free family for the semantic oracle
lionel-
committed
d415baa
Project resolution results for cross-database comparison
lionel-
committed
6cc8345
Hand scheduled resolution results to an observer
lionel-
committed
ea2bb5f
Compare resolution against a fresh database at recovery-free checkpoints
lionel-
committed
5e53dbb
Measure comparison coverage over seeds and descendants
lionel-
committed
58bb807
Add a cross-file rename-and-undo fixture
lionel-
committed
3546913
Save a replayable scenario when comparison reports a finding
lionel-
committed
a21d69f
Shrink a mismatching scenario while preserving its failure signature
lionel-
committed
43b4949
Sweep the coverage-guided corpus before minimization discards it
lionel-
committed
766bdee
Add headings to fuzz run outputs
lionel-
committed
5c16c1a
Run the campaign twice a week
lionel-
committed
c8e3543
Give 3 minutes of headroom for fuzz blocks on CI
lionel-
committed
262eb72
Bump actions versions
lionel-
committed
7e4cc98
Temporarily run fuzz exploration on its PR
lionel-
committed
9051179