Skip to content

Simplify annotator type gap branches#72

Merged
cuzzo merged 33 commits into
masterfrom
decomplex-4
May 31, 2026
Merged

Simplify annotator type gap branches#72
cuzzo merged 33 commits into
masterfrom
decomplex-4

Conversation

@cuzzo
Copy link
Copy Markdown
Owner

@cuzzo cuzzo commented May 29, 2026

No description provided.

Co-authored-by: OpenAI Codex <codex@openai.com>
@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 29, 2026

🐰 Bencher Report

Branchdecomplex-4
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
5.80 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
1,379.98 units
benchmarks/concurrent/06_dynamic_spawn/bench📈 view plot
⚠️ NO THRESHOLD
5.82 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
3,275.97 units
benchmarks/concurrent/11_parallel_aggregation/bench📈 view plot
⚠️ NO THRESHOLD
5.89 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
60,009.45 units
benchmarks/concurrent/18_atomic_counter/bench📈 view plot
⚠️ NO THRESHOLD
5.67 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
40.95 units
benchmarks/inter-clear/04_concurrent_mvcc_fat_struct/bench📈 view plot
⚠️ NO THRESHOLD
5.98 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
275.03 units
benchmarks/sequential/03_alloc_throughput/bench📈 view plot
⚠️ NO THRESHOLD
5.61 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
11,647.40 units
benchmarks/sequential/08_sort/bench📈 view plot
⚠️ NO THRESHOLD
5.84 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
1,472.85 units
benchmarks/sequential/13_soa_layout/bench📈 view plot
⚠️ NO THRESHOLD
5.60 units x 1e3📈 view plot
⚠️ NO THRESHOLD
0.00 units📈 view plot
⚠️ NO THRESHOLD
721.15 units
🐰 View full continuous benchmarking report in Bencher

@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 29, 2026

Diff Coverage Buckets

Diff base: origin/master...HEAD

bucket files additions deletions line cov additions branch cov additions
total 97 9961 4789
src/**/*.rb 48 1002 1244 95.7% 78.6%
zig/**/*.zig !(test.zig|-vopr.zig) 0 0 0
spec/ 11 2351 1 not tracked not tracked
transpile-tests/ 0 0 0
tools/ 13 1211 2 not tracked not tracked
zig/**/*test.zig + *-vopr.zig 0 0 0
*.md 11 5286 3474
other 14 111 68

cuzzo and others added 27 commits May 29, 2026 16:32
Reduce duplicated annotator branch structure in match payload handling, generic literal substitution, and WITH MATCH effect projection. Regenerate SlopCop, Boobytrap, and Decomplex reports from fresh coverage.

Co-authored-by: Codex <codex@openai.com>
Collapse several annotator branch ladders in WITH MATCH effect seeding, capability field diagnostics, and REQUIRES family sync inference. Regenerate Boobytrap and Decomplex reports from fresh coverage.

Co-authored-by: Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Record fiber capture facts during the existing annotator traversal instead of walking BG bodies a second time. Delete the old capture walker code while preserving capture validation for BG, do blocks, stream blocks, and concurrent pipe operations.

Verification: bundle exec srb tc; bundle exec prspec spec/annotator_spec.rb spec/mir_lowering_spec.rb spec/pipeline_backend_coverage_spec.rb; full COVERAGE=1 pipeline with collated coverage and regenerated SlopCop, Boobytrap, and Decomplex reports.

Co-authored-by: Codex <codex@openai.com>
Add focused annotator branch coverage and fuzz axes for capability, lifetime, collection, and BG capture edge cases. Reclassify BG aggregate capture cells that now correctly reject use-after-move paths.

Verification: bundle exec prspec spec/annotator_gap_burndown_spec.rb; COVERAGE=1 bundle exec prspec spec/; COVERAGE=1 bundle exec ruby transpile-tests/gen.rb; COVERAGE=1 bundle exec ruby tools/fuzz/run.rb --matrix --skip-quarantined --out /tmp/clear-fuzz-ci --clean; COVERAGE=1 bundle exec ruby tools/bc_lower_coverage.rb --jobs 32; bundle exec ruby spec/collate_coverage.rb; regenerated SlopCop, Boobytrap, and Decomplex reports.

Co-authored-by: Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
cuzzo and others added 4 commits May 31, 2026 01:50
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
Co-authored-by: OpenAI Codex <codex@openai.com>
@cuzzo cuzzo force-pushed the decomplex-4 branch 2 times, most recently from cad32c4 to d07fb0d Compare May 31, 2026 04:26
Co-authored-by: OpenAI Codex <codex@openai.com>
@cuzzo cuzzo merged commit fa2ab1b into master May 31, 2026
55 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