Skip to content

fuzz: Pillar 3 in-process exhaustive enumeration - #3

Merged
aadi-joshi merged 2 commits into
mainfrom
fuzz/enumerate-core
Aug 2, 2026
Merged

aadi-joshi merged 2 commits into
mainfrom
fuzz/enumerate-core

Conversation

@aadi-joshi

Copy link
Copy Markdown
Member

Summary

  • In-process C vs Zig differential enumerator via objcopy te_=c_te_ rename.
  • Completed bound: alphabet size 22, string length 3 (11155) + AST depth 1 (350) = 11505 inputs, 0 divergences.
  • Probe-confirmed fac(0/0) divergence (C 1.0 vs Zig +Inf) documented; deep nesting remains intentional C-UB scope exclusion.
  • Wire zig build enumerate / enumerate-quick, verify quick tier, enumerate.yml workflow.

Test plan

  • bash scripts/run-enumerate.sh --quick
  • bash scripts/run-enumerate.sh
  • Suite counts unchanged 4930/4924/4934/4928
  • CI green

Rename C te_* symbols with objcopy, compare nullness, error positions,
f64 bits, and te_print. Completed 11505 inputs at string length 3 and
AST depth 1 with zero divergences; record fac(NaN) probes separately.
@aadi-joshi
aadi-joshi merged commit b5e302e into main Aug 2, 2026
42 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant