swaitsandClaude Opus 5.5 469581975d P3: odd cents split the same running way everywhere (defect 17, D-38) ...

Members' shares of earnings are split cumulatively by largest remainder in
the closes, the members' equity statement, the K-1 worksheet and the
viewer, so a member's capital on a given day never moves by a cent when its
month is later closed. Old closes replay as they were; the first P3 close
carries any true-up. Feature members_cumulative. Kani and Lean proofs of
the bounded drift; bookspec examples.

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

2026-10-20 21:35:00 -06:00

examples

P3: odd cents split the same running way everywhere (defect 17, D-38)

2026-10-20 21:35:00 -06:00

S

Description

bookspec: a formal accounting specification, with a checker, a runner and examples

105 MiB

0 Stars 1 Watchers 0 Forks

Languages

HTML 73.7%

D 9.3%

Makefile 8.6%

Rust 5.6%

Lean 2.7%

Other 0.1%