Skip to content

backlog(P2): B-0196 BigInt + BigRational + BigDecimal + BigFloat integration (Aaron 2026-05-05) #1595

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AceHack merged 5 commits into from
May 5, 2026
Merged

backlog(P2): B-0196 BigInt + BigRational + BigDecimal + BigFloat integration (Aaron 2026-05-05) #1595

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
b5707f3
backlog(P2): B-0196 BigInt + BigRational + BigDecimal + BigFloat inte…
AceHack May 5, 2026
ba2b106
fix(B-0196): four-property hodl invariant + human anchors (Aaron 2026…
AceHack May 5, 2026
e582f38
fix(B-0196): bidirectional composes_with + NormalGamma->NormalInverse…
AceHack May 5, 2026
c836d6f
fix(B-0196): markdownlint MD032 + MD018 + last_updated bumps for B-01…
AceHack May 5, 2026
b90e715
fix(B-0196): soften UoM-on-BigInteger pre-answer to hypothesis-with-s…
AceHack May 5, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions docs/BACKLOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -159,6 +159,7 @@ are closed (status: closed in frontmatter)._
- [ ] **[B-0189](backlog/P2/B-0189-q-sharp-runtime-bayesian-belief-propagation-expectation-propagation-research-aaron-2026-05-04.md)** Q# runtime acceleration via Bayesian belief propagation + expectation propagation — research opportunity not yet integrated by humans (Aaron 2026-05-04)
- [ ] **[B-0194](backlog/P2/B-0194-incremental-auto-dispatcher-bilinear-capability-detection-aaron-2026-05-05.md)** IncrementalAuto dispatcher + checkBilinear law + capability detection (active-patterns over reflection) -- contract-by-convention gap in the algebra-capability system (Aaron 2026-05-05)
- [ ] **[B-0195](backlog/P2/B-0195-dbsp-chain-rule-finding-cross-check-and-writeup-decision-aaron-2026-05-05.md)** DBSP chain rule formal-verification finding -- cross-check counter-example + verify Prop 3.5 reading + writeup decision (Aaron 2026-05-05)
- [ ] **[B-0196](backlog/P2/B-0196-bigint-and-bignumber-integration-aaron-2026-05-05.md)** BigInt + BigRational + BigDecimal + BigFloat integration -- substrate survey + per-class adoption recommendation (Aaron 2026-05-05)
- [ ] **[B-0197](backlog/P2/B-0197-lean-prop-3-5-misattribution-cleanup-aaron-2026-05-05.md)** Lean DbspChainRule + chain-rule-proof-log -- correct Prop 3.5 misattribution to Theorem 3.3 (Aaron 2026-05-05)

## P3 — convenience / deferred
Expand Down
3 changes: 2 additions & 1 deletion ...g/P1/B-0140-bash-to-ts-migration-completion-debt-prevention-aaron-2026-05-01.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,9 @@ priority: P1
status: open
title: Bash → TS migration completion — debt-prevention prerequisite to B-0132 (CRDT-composition)
created: 2026-05-01
last_updated: 2026-05-02
last_updated: 2026-05-05
depends_on: []
composes_with: [B-0196]
---

# B-0140 — Bash → TS migration completion
Expand Down
3 changes: 2 additions & 1 deletion ...og/P1/B-0156-typescript-standardization-non-install-scripts-aaron-2026-05-01.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,11 @@ priority: P1
status: open
title: TypeScript standardization — port every .sh outside install graph + every .py to TS (Aaron 2026-05-01)
created: 2026-05-01
last_updated: 2026-05-01
last_updated: 2026-05-05
depends_on:
- B-0086
- B-0122
composes_with: [B-0196]
Comment thread
AceHack marked this conversation as resolved.
Comment thread
AceHack marked this conversation as resolved.
---

# B-0156 — TypeScript standardization across non-install scripts
Expand Down
4 changes: 2 additions & 2 deletions ...ayesian-belief-propagation-expectation-propagation-research-aaron-2026-05-04.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,9 +7,9 @@ tier: research-grade
effort: XL
ask: Aaron 2026-05-04 explicit research-opportunity naming
created: 2026-05-04
last_updated: 2026-05-04
last_updated: 2026-05-05
depends_on: []
composes_with: [B-0007, B-0152]
composes_with: [B-0007, B-0152, B-0196]
Comment thread
AceHack marked this conversation as resolved.
tags: [q-sharp, quantum-runtime, bayesian-inference, belief-propagation, expectation-propagation, research-opportunity, infer-net, microsoft-quantum, edge-runner-research, beacon-candidate-pending]
---

Expand Down
2 changes: 1 addition & 1 deletion ...4-incremental-auto-dispatcher-bilinear-capability-detection-aaron-2026-05-05.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ ask: Aaron 2026-05-05 forwarded Claude.ai review-of-review of the algebra-capabi
created: 2026-05-05
last_updated: 2026-05-05
depends_on: []
composes_with: [B-0140, B-0156, B-0189]
composes_with: [B-0140, B-0156, B-0189, B-0196]
tags: [dbsp, plugin-api, bilinear, capability-detection, active-patterns, fsharp-type-system, retraction-correctness, research+implementation]
---

Expand Down
Loading
Loading