Result: done
Files: crates/nikaia-std/src/tools/check_attributes.nika crates/nikaia-std/src/tools/lowered.rs crates/nikaia-std/src/tools/lowered/check_attributes.rs crates/nikaia/src/check/attributes.rs crates/nikaia/src/contracts/mod.rs
Commit: check_attributes: a mark’s ledger text in Nikaia; Mark, PLACES and mark_of leave check/attributes.rs (Part of #125)
Part: #125
Pushed: 4e27ccf5c6c07afbe144d724cdfd28a38bd3aa62
Tests: steps c812c54a, c3a526b4 and this; it attributes sysroot claims assume walked comptime foreign_declarations foreign_pointers grammar_at_build_time grammar_bindings std_imports dsl_grammar + guard set ok; nikaia test –both-settings tests/compiler 134 ok each step; lib check:: contracts:: ok; clippy clean; lower-std fixpoint each step; Rust lines removed 386 (check/ + contracts, 19 added), self_hosting.py 77.8 % -> 78.0 %; rs2nika: kept ~30 of 45 lines of the claims draft, fixed by hand: findings and claims as parameters instead of mut Checked, the value-making match with continue arms split into a mut message
Gate: green
Deviation: none
Found: none
Needs: none
Changelog: none
Owner: none
Disk freed: 0 GB
