Cross-implementation equivalence check ======================================================================== Three implementations of each calculation — the original TypeScript, an R Markdown document and a Python script — each writing the contract described in calc/CONTRACT.md, then compared byte for byte. RESULT: IDENTICAL — every implementation produced the same bytes. contracts: 3 facts compared: 4135 differing facts: 0 max numeric difference: 0 non-numeric differences: 0 real precision: 12 decimal places ------------------------------------------------------------------------ RETENTION identical 2697 facts 0 differing max numeric difference 0 typescript 2697 facts 109059 bytes sha256 5482b6dab98213dd934861682542b7823069ae4c8d3be32be97140ee5e0f5ddd r 2697 facts 109059 bytes sha256 5482b6dab98213dd934861682542b7823069ae4c8d3be32be97140ee5e0f5ddd python 2697 facts 109059 bytes sha256 5482b6dab98213dd934861682542b7823069ae4c8d3be32be97140ee5e0f5ddd ------------------------------------------------------------------------ ATTENDANCE identical 868 facts 0 differing max numeric difference 0 typescript 868 facts 37778 bytes sha256 01130b46ec66dce7bc27ed085a5f3e6b94afe4ee5ca1a854b841d0883e36a174 r 868 facts 37778 bytes sha256 01130b46ec66dce7bc27ed085a5f3e6b94afe4ee5ca1a854b841d0883e36a174 python 868 facts 37778 bytes sha256 01130b46ec66dce7bc27ed085a5f3e6b94afe4ee5ca1a854b841d0883e36a174 ------------------------------------------------------------------------ SEDA identical 570 facts 0 differing max numeric difference 0 typescript 570 facts 25209 bytes sha256 3c66ba511b07dc26a5871f2195b9bdb835f7f47d9fc3415b3185ccdc7935e669 r 570 facts 25209 bytes sha256 3c66ba511b07dc26a5871f2195b9bdb835f7f47d9fc3415b3185ccdc7935e669 python 570 facts 25209 bytes sha256 3c66ba511b07dc26a5871f2195b9bdb835f7f47d9fc3415b3185ccdc7935e669