Simplify annotator type gap branches#72
Merged
Merged
Conversation
Co-authored-by: OpenAI Codex <codex@openai.com>
|
| Branch | decomplex-4 |
| Testbed | ubuntu-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-thresholdsflag.
Click to view all benchmark results
| Benchmark | leak-build-ms | Measure (units) x 1e3 | leak-count | Measure (units) | leak-run-ms | Measure (units) |
|---|---|---|---|---|---|---|
| benchmarks/concurrent/01_socket_throughput/bench | 📈 view plot | 5.80 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 1,379.98 units |
| benchmarks/concurrent/06_dynamic_spawn/bench | 📈 view plot | 5.82 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 3,275.97 units |
| benchmarks/concurrent/11_parallel_aggregation/bench | 📈 view plot | 5.89 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 60,009.45 units |
| benchmarks/concurrent/18_atomic_counter/bench | 📈 view plot | 5.67 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 40.95 units |
| benchmarks/inter-clear/04_concurrent_mvcc_fat_struct/bench | 📈 view plot | 5.98 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 275.03 units |
| benchmarks/sequential/03_alloc_throughput/bench | 📈 view plot | 5.61 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 11,647.40 units |
| benchmarks/sequential/08_sort/bench | 📈 view plot | 5.84 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 1,472.85 units |
| benchmarks/sequential/13_soa_layout/bench | 📈 view plot | 5.60 units x 1e3 | 📈 view plot | 0.00 units | 📈 view plot | 721.15 units |
Diff Coverage BucketsDiff base:
|
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>
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>
cad32c4 to
d07fb0d
Compare
Co-authored-by: OpenAI Codex <codex@openai.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.