Repository navigation

feat(semantics): evaluate KerML Rationals exactly - #838

Merged

HuiJun merged 40 commits into

developfrom

feat/exact-rationals

Oct 6, 2026

Commits on Oct 2, 2026
- feat(semantics): evaluate KerML Rationals exactly
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  923ec81
- feat(client): carry exact Rationals in the Python and Node clients
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  203b3c6
- feat(export): state rational literals exactly in RDF
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  3a0a130
- test(runtime): cover exact Rational arithmetic, accumulation and budgets
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  d4cbaaa
- test(referee): bucket exact-Rational pilot disagreements as differs-by-design
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  a39be7e
- feat(client): carry exact Rationals in the Java and Rust clients
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  5e09c5d
- feat(client): carry exact Rationals in the Julia and MATLAB clients
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  6f31120
- test(semantics): cover exact Rational storage, parsing and wire validation
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  3b340d4
- feat(client): type generated Rational features exactly in Python and Node
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  d2ae53f
- docs: record exact KerML Rational evaluation and its wire contract
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  fac823d
- perf(semantics): keep exact Integer and Rational fast paths allocation-free
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  d1eb16e
- test(runtime): benchmark exact Rational arithmetic and record its cost
  
  devin-ai-integration[bot]
  and
  HuiJun
  committed
  492c98c
Commits on Oct 3, 2026
Commits on Oct 5, 2026
Commits on Oct 6, 2026

Commits

Commits on Oct 2, 2026

Commits on Oct 3, 2026

Commits on Oct 5, 2026

Commits on Oct 6, 2026