swaitsandClaude Opus 5.5 b0a9fd8ad4 P3: depreciation straight-line by days through the final month, schedules by day (defects 22, 9, D-37) ...

The final month takes what the months before leave, spread over its days;
a disposed asset stops on its disposal day. A skipped month is caught up
in the month the run is made; a reversed run un-posts its month. New
schedules spread by day; equal-months schedules must start on the 1st.
Amounts round to the currency's own minor unit. Kani and Lean proofs; an
exhaustive search over runs, reversals and disposals.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01T3gXMVt7XJPi6ens1or9Dj

2026-10-21 14:04:11 -06:00

..

codec_props.proptest-regressions

P1: the books keep how they are kept

2026-10-17 19:27:48 -06:00

codec_props.rs

P3: depreciation straight-line by days through the final month, schedules by day (defects 22, 9, D-37)

2026-10-21 14:04:11 -06:00

effective_policy.rs

tests: every test dir is removed when its test ends, pass or panic

2026-10-17 20:47:44 -06:00

spec_config.rs

Fixed assets, fully featured: tags, serials, acquisition links, label sheets, the fixed asset register, and an Assets section in the viewer; fix a flaky verify

2026-10-15 12:18:00 -06:00