Build the Oddly Exact proof theater and strengthen numeric provenance

[copyleftdev]

What changed

• adds the Oddly Exact browser proof theater and deployable WASM/site assets
• caps automatic mutation concurrency to keep local validation usable
• adds exact-rational discounted-cash-flow price modeling with explicit decimal rounding
• adopts stronger compensated summation and reports regression rank/conditioning diagnostics
• adds independent 256-bit reference tests for cancellation-heavy statistics and DCF pricing
• adds a closed-form orthogonal-design regression test that exercises 24 scale/conditioning combinations
• preserves the article source and visual asset alongside the implementation

Why

The article’s central claim is that a green test is evidence only when its oracle is independent and its assertions are capable of exposing the defect. This change makes that claim executable: the new regression test derives standard errors from a closed-form oracle, checks the complete vector, and deliberately includes a point where one component collides under the plausible r*q -> r+q mutant.

The pricing additions apply the same discipline to financial models by keeping decimal inputs and DCF calculations exact as rationals, then checking them against an independent 256-bit implementation.

Validation

The pre-commit gate passed:

• cargo fmt
• cargo check
• cargo clippy
• full cargo test suite (405 unit tests plus all integration suites)
• cargo package
• CLI smoke tests

Mutation replay was also performed locally: the exact standard-error * -> + mutant and the alternate (v/s) -> (v*s) mutant both turn the new closed-form test red, while the correct implementation remains green.

[coderabbitai]

Important

Review skipped

Draft detected.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: 02d8115b-ef93-4f32-9279-5df2c0af2e71

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch agent/proof-theater-web

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}