Claude (numtower) f11d27377d test(numtower): property tests run at the 256-case budget (improvise-59nw.1) ...

Answers Copilot on PR #337 (context/design-principles.md section 7). Every fault in the review's table still fails by name at 256 cases.

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

2026-10-09 00:14:57 -07:00

..

examples

feat(numtower): benchmark, wasm CI entry, and the reasoning and evidence docs (improvise-59nw.1)

2026-10-08 22:07:44 -07:00

src

fix(numtower): past-K oracle and weighted NumSum properties, negative-power scale, ExactSum value equality (improvise-59nw.1)

2026-10-08 23:44:07 -07:00

tests

test(numtower): property tests run at the 256-case budget (improvise-59nw.1)

2026-10-09 00:14:57 -07:00

Cargo.toml

feat(numtower): Num, contagion, exact comparison, number language and sums (improvise-59nw.1)

2026-10-08 21:53:37 -07:00