Skip to content

Fuzz coverage#73

Open
cuzzo wants to merge 18 commits into
masterfrom
fuzz-coverage
Open

Fuzz coverage#73
cuzzo wants to merge 18 commits into
masterfrom
fuzz-coverage

Conversation

@cuzzo
Copy link
Copy Markdown
Owner

@cuzzo cuzzo commented May 31, 2026

No description provided.

cuzzo and others added 3 commits May 31, 2026 05:23
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 31, 2026

🐰 Bencher Report

Branchfuzz-coverage
Testbedubuntu-latest

⚠️ WARNING: No Threshold found!

Without a Threshold, no Alerts will ever be generated.

Click here to create a new Threshold
For more information, see the Threshold documentation.
To only post results if a Threshold exists, set the --ci-only-thresholds flag.

Click to view all benchmark results
Benchmarkleak-build-msMeasure (units) x 1e3leak-countMeasure (units)leak-run-msMeasure (units)
benchmarks/concurrent/01_socket_throughput/bench📈 view plot
⚠️ NO THRESHOLD
4.83 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
815.22 units
benchmarks/concurrent/06_dynamic_spawn/bench📈 view plot
⚠️ NO THRESHOLD
4.86 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
3,721.43 units
benchmarks/concurrent/11_parallel_aggregation/bench📈 view plot
⚠️ NO THRESHOLD
5.13 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
60,006.37 units
benchmarks/concurrent/18_atomic_counter/bench📈 view plot
⚠️ NO THRESHOLD
4.86 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
70.28 units
benchmarks/inter-clear/04_concurrent_mvcc_fat_struct/bench📈 view plot
⚠️ NO THRESHOLD
5.14 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
390.88 units
benchmarks/sequential/03_alloc_throughput/bench📈 view plot
⚠️ NO THRESHOLD
4.77 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
8,373.42 units
benchmarks/sequential/08_sort/bench📈 view plot
⚠️ NO THRESHOLD
4.97 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
1,124.08 units
benchmarks/sequential/13_soa_layout/bench📈 view plot
⚠️ NO THRESHOLD
4.77 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
541.99 units
🐰 View full continuous benchmarking report in Bencher

@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 31, 2026

Diff Coverage Buckets

Diff base: origin/master...HEAD

bucket files additions deletions line cov additions branch cov additions
total 60 6466 720
src/**/*.rb 13 993 710 98.5% 85.3%
zig/**/*.zig !(test.zig|-vopr.zig) 0 0 0
spec/ 6 722 8 not tracked not tracked
transpile-tests/ 0 0 0
tools/ 9 986 0 not tracked not tracked
zig/**/*test.zig + *-vopr.zig 0 0 0
*.md 10 1563 0
other 22 2202 2

Src Type Guardrails

path rule finding
src/annotator/annotator.rb:148 hash_record_candidate added hash record literal may want a typed struct; keys: type, opted_out
src/annotator/annotator.rb:4678 hash_record_candidate added hash record literal may want a typed struct; keys: LOCKED, VERSIONED, ATOMIC
src/annotator/annotator.rb:115 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/annotator/annotator.rb:118 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/annotator/annotator.rb:137 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/annotator/annotator.rb:138 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/annotator/annotator.rb:153 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/annotator/annotator.rb:154 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/annotator/annotator.rb:165 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/annotator/annotator.rb:166 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/annotator/annotator.rb:175 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/annotator/annotator.rb:176 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/backends/pipeline_host.rb:143 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/capabilities.rb:494 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/capabilities.rb:495 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/capabilities.rb:496 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/capabilities.rb:497 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/capabilities.rb:520 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/capabilities.rb:521 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/capabilities.rb:522 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/capabilities.rb:523 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/concurrency.rb:70 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/concurrency.rb:71 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/concurrency.rb:74 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/concurrency.rb:75 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/concurrency.rb:90 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/concurrency.rb:91 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/concurrency.rb:94 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/concurrency.rb:95 untyped_ivar added instance variable assignment is not wrapped in T.let; prefer a concrete T.let type at the first write
src/mir/lowering/functions.rb:392 missing_sig added src method has no Sorbet signature; MIRLoweringFunctions#function_lowering_context

cuzzo and others added 11 commits May 31, 2026 14:59
Co-authored-by: OpenAI Codex <codex@openai.com>
Use the hard AST type access contract for typed COPY sources while preserving the fallback path for index and symbol type recovery.

Co-authored-by: OpenAI Codex <codex@openai.com>
Map instance variable delegation receiver names directly to their statically or dynamically inferred types, falling back to the generic instance variable name if type mapping information is unavailable. Preserve Sorbet type signatures in the regenerated manifest.

Co-authored-by: Pi <pi@earendil.works>

Co-authored-by: Gemini <gemini@google.com>
Remove the legacy current_fn compatibility path and move MIR lowering readers onto the explicit function context. Collapse PipelineHost ownership bridge calls behind coarse MIRLowering operations, add static diff guardrails, and include the architecture/report tracking docs from this cleanup pass.

Co-authored-by: OpenAI Codex <codex@openai.com>
Replace remaining ambient state push/pop in annotator and MIR lowering with strongly typed scoped helpers. Document before/after Decomplex and SlopCop evaluations, scrap the PipelineHost materialization merge attempt after metrics regressed, and fix validation bugs exposed by the full suite.

Co-authored-by: OpenAI Codex <codex@openai.com>
Run the diff coverage summary through Bundler in the PR comment job so NilKill static diff auditing can load prism on GitHub Actions.

Co-authored-by: OpenAI Codex <codex@openai.com>
cuzzo and others added 4 commits May 31, 2026 22:09
Document four candidate architecture cleanups and keep the two that moved metrics in the right direction: Type parsing/rendering and concurrent pipe facts. The MIR ownership and lowerer attempts are recorded as abandoned after metric regressions.

Co-authored-by: OpenAI Codex <codex@openai.com>
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