Repository navigation
test(math-foundry): typed tanh/atanh rewrites for NARS, Bayes and Fisher - #1717
Conversation
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars. ⚙️ Run configuration
Warning Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption. 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. Comment |
…type the float literal so the test compiles Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
…-laws-20261022 # Conflicts: # .claude/board/entries/README.md
2 participants
The search-derived mathematical compiler ideas, mapped onto Math Foundry
Compile NARS, Bayesian log-likelihood, Fisher correlation and hyperbolic transforms as typed distinct algebras. Mine monotonic and tanh identities only when exact domain laws hold; neither the foreign MORK/MeTTa/OpenNARS runtimes nor the sample Google e-graph replaces R2IL/mask-risc.
Included
Executable stand-alone law-admission/negative-control tests for open-unit real cancellation, hyperbolic addition, independent NARS counts vs log-odds, and forbidden unconditional 3σ pruning. The companion board note describes the next cold egglog-to-R2IL stage.
Prior art and owner
Math Foundry merged #1690, #1693, #1696, #1698; DR mathematical compiler charter #1700. No duplicate evaluator, no new opcodes, no production law admission.
Run
cargo test --manifest-path crates/egglog-r2il-probe/Cargo.toml --test palette256_typed_evidence_lawsDraft, not locally executed, no production optimizer/performance claim.