Show Harden Runner enabled runs only
[anneal][v1] Add workspace ownership for immutable Lean reuse
Dependency Review #12837dependency-review.yml1 day ago
3Destinations
3Actions
Insights
[anneal][v1] Publish shared Lean inputs as an immutable installation
Dependency Review #12836dependency-review.yml1 day ago
2Destinations
3Actions
Insights
[anneal][v1] Validate exocrate installations before reuse or publication
Dependency Review #12834dependency-review.yml1 day ago
2Destinations
3Actions
Insights
[anneal][v1] Launch bound stock editors and read-only SDK source clients
Dependency Review #12833dependency-review.yml1 day ago
2Destinations
3Actions
Insights
[anneal][v1] Refresh stock Lean workers after local dependency changes
Dependency Review #12832dependency-review.yml1 day ago
2Destinations
3Actions
Insights
[anneal][v1] Generate and verify workspaces against their bound Lean SDK
Dependency Review #12830dependency-review.yml1 day ago
2Destinations
3Actions
Insights
[anneal][v1] Relocate Darwin translation tools in private archive staging
Dependency Review #12827dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Test total and partial Aeneas contract semantics
Dependency Review #12824dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove normalized trailing-size and capacity formulas
Dependency Review #12823dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove guarded Boolean conversion and byte copying
Dependency Review #12821dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove U16 and U32 byte-order reads, writes and updates
Dependency Review #12820dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Check Rust specs against golden and live Aeneas models
Dependency Review #12819dependency-review.yml1 day ago
4Destinations
3Actions
Insights
Add an independent Rust reference for nested DST sizes
Dependency Review #12818dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Reuse Aeneas rules for views and indexed loops
Dependency Review #12817dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Verify the byte writers used by IntoBytes
Dependency Review #12816dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove CastUnsized's production layout acceptance gate
Dependency Review #12815dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove unit and usize PointerMetadata operations
Dependency Review #12814dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove trailing sizes, padding and capacity including overflow
Dependency Review #12813dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove DstLayout padding and field extension
Dependency Review #12812dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Move cast_from into layout/cast_from.rs
Dependency Review #12811dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Reject unsupported execution effects before Aeneas lowering
Dependency Review #12810dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Relate recursive record layout to normalized size formulas
Dependency Review #12808dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove the numerical bounds used by split operations
Dependency Review #12807dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Separate cast plans from pointer reconstruction
Dependency Review #12806dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove advancement and padding-sequence decisions
Dependency Review #12805dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Verify Boolean and NonZeroUsize candidate predicates
Dependency Review #12804dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove primitive DstLayout constructors
Dependency Review #12800dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Specify rounding encodings as alignment and phase
Dependency Review #12797dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Prove allocation-size preparation and tail containment
Dependency Review #12787dependency-review.yml1 day ago
2Destinations
3Actions
Insights
Share Rust layout and byte models in anneal/lean
Dependency Review #12784dependency-review.yml1 day ago
3Destinations
3Actions
Insights