Release Rumoca 0.10.0 with checked Solve, GALEC, and FMI 3 pipelines - #340

Open

jgoppert wants to merge 194 commits into

mainfrom

msl-trace-parity-50

Commits on Aug 24, 2026

Define compiler architecture and verification contracts
jgoppert
committed
0a31df5
Establish shared IR primitives and parser foundations
jgoppert
committed
8631034
Enforce semantic name and type resolution
jgoppert
committed
6d8e0ab
Instantiate arrays and construct flat model IR
jgoppert
committed
f14b5db
Evaluate constants and flatten functions and connections
jgoppert
committed
ce709a2
Complete flat equation and algorithm lowering
jgoppert
committed
ff1c69c
Prepare and scalarize structural equation systems
jgoppert
committed
0a92985
Transform structural systems into solvable DAE form
jgoppert
committed
c8e974e
Define checked DAE model and expression IR
jgoppert
committed
72167c9
Analyze DAE dependencies and function shapes
jgoppert
committed
f3372f0
Construct valid DAE programs and event ownership
jgoppert
committed
7d21f57
Lower equations, algorithms, and initialization into DAE
jgoppert
committed
6260497
Replace legacy GALEC parsing and code generation
jgoppert
committed
e39c14d
Evaluate checked DAE programs and projections
jgoppert
committed
8b0d37e
Define typed Solve programs and structural patterns
jgoppert
committed
f083b19
Lower derivative, tensor, and scalar Solve expressions
jgoppert
committed
121951d
Lower functions, events, and discrete Solve semantics
jgoppert
committed
7422d1d
Validate Solve lowering and assignment ownership
jgoppert
committed
3e24113
Build Solve layouts, AD, initialization, and schedules
jgoppert
committed
bc8cd3c
Evaluate exact Solve programs and refresh plans
jgoppert
committed
6c606aa
Execute Solve runtimes, projections, and FMI events
jgoppert
committed
2f49fef
Integrate native execution and numerical solver backends
jgoppert
committed
aeb5a4d
Define and evaluate checked GALEC IR
jgoppert
committed
8e9717d
Lower checked algorithms into shared GALEC kernels
jgoppert
committed
aef871d
Render target templates from checked codegen views
jgoppert
committed
ffe25cd
Generate target code and working-memory plans
jgoppert
committed
b97ca1a
Orchestrate compiler sessions, targets, tools, and bindings
jgoppert
committed
ba25afc
Add target and runtime end-to-end regression coverage
jgoppert
committed
919f467
Add language and pipeline semantic regression coverage
jgoppert
committed
3991d92
Enforce architecture and MSL parity regression gates
jgoppert
committed
ff03784
Address compiler audit findings
jgoppert
committed
17b9fdd
Derive FMI event indicator inventory
jgoppert
committed
c93457e
Release Cranelift JIT arenas with compiled owners
jgoppert
committed
a98399c
Widen checked numeric array elements in Solve IR
jgoppert
committed
690b2b8
Enforce compiler audit hygiene and CI gates
jgoppert
committed
ef269ef
refactor: enforce review architecture invariants
jgoppert
committed
8a31969
refactor: make scope identity authoritative
jgoppert
committed
446edba
refactor: centralize compiler proof ownership
jgoppert
committed
7edc402
refactor: hand structural analysis to solve
jgoppert
committed
93033da
refactor: centralize scalar and tensor primitives
jgoppert
committed
f98ac11
refactor: centralize automatic integrator selection
jgoppert
committed
b14ac6e
refactor: read delay bounds through FMI variables
jgoppert
committed
b7c873e
feat: implement complete FMI ME lifecycle
jgoppert
committed
abf9860
refactor: remove legacy MSL worker paths
jgoppert
committed
4ce2f32
refactor: remove dead public compiler surfaces
jgoppert
committed
3db0383
Project dependent parameters and index-list array updates
jgoppert
committed
3e079ae
Prove straight-line integer locals in range
jgoppert
committed
9c9191f
Refresh the Nix Python vendor hash
jgoppert
committed
578a2ea
Drop a stray nix build result symlink
jgoppert
committed
c34f9e9
Scope the SPEC_0021 exception gate to the lints it governs
jgoppert
committed
4b88809
Import rumoca-core primitives from their owning crate
jgoppert
committed
19a8e43
Split oversized GALEC and Solve sources under the SPEC_0021 budget
jgoppert
committed
505e30a
Move GALEC working-memory detail into the language catalog
jgoppert
committed
9a7348a
Restore the workspace lint gate
jgoppert
committed
1ba17d7
Give MLS promote and the loop-carry proofs single owners
jgoppert
committed
5e22d5d
Register every SPEC_0022 lexical contract
jgoppert
committed
752b7d7
Keep a loop carry its last store
jgoppert
committed
2e09503
Keep nested worktrees out of the workspace
jgoppert
committed
f509a3b
Report a build identity from the CLI and the Python binding
jgoppert
committed
a2e06b3
Lower a record local carried across a loop
jgoppert
committed
9f0e5cc
Square every reducible base through a bound temporary
jgoppert
committed
5ba5b2a
Bake the build identity instead of passing it through the environment
jgoppert
committed
a2cfe20
Scan only this checkout for environment-variable usage
jgoppert
committed
56ceb7a
Compare loop-compaction deletion against a liveness oracle
jgoppert
committed
8a9a824
Join proven integer ranges across conditional arms
jgoppert
committed
814051c
Derive the event-indicator inventory once, not per step
jgoppert
committed
a375443
Gate store deletion on a liveness witness
jgoppert
committed
99f33b6
Execute the preservation theorem for loop compaction
jgoppert
committed
ecd06d9
State the verification architecture and gate the semantics it trusts
jgoppert
committed
7c2a842
Project assertion messages through the call they describe
jgoppert
committed
9d77a70
Audit every emission surface and gate its acceptance contract
jgoppert
committed
e7d7699
Name the concepts that were argument lists
jgoppert
committed
0d360cc
Compare the interpreter and the native executor where it counts
jgoppert
committed
4ea4424
Classify the totality debt and pin it so it only falls
jgoppert
committed
7c6f98e
Witness every loop-local deletion, and empty the pass defect ledger
jgoppert
committed
9c1af02
Pin the flight and canary corpus behind a fail-closed gate
jgoppert
committed
edf2ad9
Rebuild the identity when the checkout moves
jgoppert
committed
a694d68
Match diagnostic mnemonics by suffix in the galec suite
jgoppert
committed
4ee5111
Overlay scratch regions by proven non-concurrency
jgoppert
committed
577b6e9
Gate the flight artifacts on an embedded budget
jgoppert
committed
7a58f95
Record the embedded efficiency dossier for the flight track
jgoppert
committed
1494a76
Lower a guarded dynamic-subscript element write to its checked selection
jgoppert
committed
c5ad6be
Close the three vacuity paths in the corpus-pin gate
jgoppert
committed
55fd5f8
Carry the dynamic-axis proof of an element write in types
jgoppert
committed
4e80802
See a target-gated dependency as the production edge it is
jgoppert
committed
ffd7329
Execute two type-away clusters and lower the totality ceilings
jgoppert
committed
5cdf4d2
Enumerate the liveness-join clauses over their whole bounded domain
jgoppert
committed
83b8862
Keep the projection test builders inside the nesting budget
jgoppert
committed
f9bfdb3
Split contraction bodies at the outer tensor index
jgoppert
committed
550c59d
Overlay branch-local scratch slots within a working-memory region
jgoppert
committed
18a362c
Read every production scope in the remaining dependency bans
jgoppert
committed
31b17a2
Solve loop-entry integer bounds by checked fixpoint
jgoppert
committed
8ad231d
Budget the flight artifacts on floating-point arithmetic
jgoppert
committed
73e7b7b
Pass aggregates to specializations without marshalling copies
jgoppert
committed
cb05e65
Order group definitions by value dependency and guard local reuse
jgoppert
committed
8d3ea23
Coerce call arguments to their formal element type and fold frozen dependent parameters
jgoppert
committed
f02a83c
Split selector axes so identity iterations vanish
jgoppert
committed
f0d2dd0
Keep the merged gate and view inside the architecture rules
jgoppert
committed
704437b
Snapshot an aggregate whose update reads storage it overwrites
jgoppert
committed
e45fecb
Propagate the Evaluate mark through record members
jgoppert
committed
a67a8f5
Keep a guard split from separating a target's assignments
jgoppert
committed
32c7d38
Give store-reach for function values one owner and close the class
jgoppert
committed
51086e1
Equalize overlay siblings at call-boundary bound-clash addresses
jgoppert
committed
552067f
Keep a time-only root as an FMI event indicator
jgoppert
committed
dece9cc
Coalesce the correlated guards behind a deferred value read
jgoppert
committed
946d47b
Split the correlated-guard tests into their own module
jgoppert
committed
f3fd25c
Format the workspace to the pinned rustfmt
jgoppert
committed
6e30912
Order inherited components at the extends-clause position
jgoppert
committed
2ee2f6e
Revert "Order inherited components at the extends-clause position"
jgoppert
committed
b9a3b35
Reject a cross-clock coincident same-tick algebraic cycle at construction
jgoppert
committed
3404594
Synthesize Lie-group-ready Jacobians from a jacobian construct
jgoppert
committed
acf17e6
Gate the standard-Modelica emitter on the CLI feature
jgoppert
committed
f52e0df
Drop the doc link to the removed location-to-span helper
jgoppert
committed
b192fec
Emit position-independent calls from the pure-call-table JIT
jgoppert
committed
4271c92
Emit position-independent calls from the model-eval JIT
jgoppert
committed
d7280af
Record the GALEC scratch support partial in the render inventory
jgoppert
committed
f21129d
Solve coupled algebraic loops by tearing in the runtime projection
jgoppert
committed
a2cdc1f
Format the tearing test module to the pinned rustfmt
jgoppert
committed
886e2d4
Check out Rust sources with LF so source-inspection tests hold on Windows
jgoppert
committed
b97de63
Reach JIT callees through far calls instead of range-limited branches
jgoppert
committed
c7f09b5
Judge corpus artifact rootedness host-independently
jgoppert
committed
f9ae457
Decline projection on a singular isolator instead of aborting
jgoppert
committed
ab6d187
Resolve the compile-unit entry before climbing for its package root
jgoppert
committed
67d1b61
Report the inner render error instead of a missing-field lie
jgoppert
committed
39cc738
Canonicalize package-layout test expectations for symlinked temp dirs
jgoppert
committed
b2e7ab9
Order same-tick exchanges by clock coincidence, not clock identity
jgoppert
committed
99c004d
Pin behavior of untested lowering, eval, and xtask helpers
jgoppert
committed
56cb5dc
Match the focus document by canonical identity in compile-unit loading
jgoppert
committed
9d627a3
Select redeclared replaceable functions by exact slot identity
jgoppert
committed
3162804
Expect canonical sibling spellings in parse-error assertions
jgoppert
committed
276e545
Review the star-point and zero-flow near-band boundaries
jgoppert
committed
594c225
Name a real loop member in the same-tick cycle diagnostic
jgoppert
committed
efb331d
Judge every manifest path's rootedness host-independently
jgoppert
committed
f0be9ba

Commits on Aug 25, 2026

Evaluate a torn block's sweep as one prepared batch
jgoppert
committed
9d86756
Emit straight-line kernels and index-restricted blocks for GALEC hot paths
jgoppert
committed
516843c
Record the re-measured embedded budgets and the errno-free sqrt note
jgoppert
committed
e5827b9
Lower a clocked tensor definition once, not once per coordinate
jgoppert
committed
4af4ffd
Place working-memory values in a proved arena
jgoppert
committed
ec67baa
Count a function uncovered only when every copy of it is
jgoppert
committed
bdaa2c9
Publish the coverage measurement the gate judged
jgoppert
committed
2c8053c
Refound the coverage baseline on the enforcing environment
jgoppert
committed
86780e7
Carry composed contractions and row contractions from lowering
jgoppert
committed
3648313
Cover the facts the carried contraction introduced
jgoppert
committed
0a87cdd
Specialize the count-2 fill and scaled-add kernels
jgoppert
committed
24e29df
Read a record's previous sample field by field
jgoppert
committed
6246eeb

Commits on Aug 26, 2026

State the embedded-c-galec instance guarantee the code emits
James Goppert
committed
25668b8
Hold the three hand-written specialization lists equal
James Goppert
committed
9462298
Vendor the eFMI schema tree once and lend it
James Goppert
committed
c380d18
Read a scope step's arm in one place
James Goppert
committed
0eeed4e
Drop the block name's unread quoting flag
James Goppert
committed
4a21022
Retire the two uncalled render entry points
James Goppert
committed
faf3cb7
Ask context_resident only about locals
James Goppert
committed
4bde5f8
Stop threading a rounding mode with one value
James Goppert
committed
a9f1fe0
Evaluate a repeated call once, where its arguments are ready
jgoppert
committed
83b20dc
Stop building scope values nobody reads
James Goppert
committed
b701afb
Stop laundering type names through a lossy lookup
James Goppert
committed
5d04441
Enumerate the GALEC expression shape once per search
James Goppert
committed
57c1585
Retire the uncallable external-function diagnostic
James Goppert
committed
9968620
Share a guarded repeated call under the guard it already ran under
jgoppert
committed
541297a
Point the container suites at the schemas a target ships
James Goppert
committed
de59944
Share a call repeated inside one conditional branch
jgoppert
committed
9435222
Spell the new prose without em dashes
James Goppert
committed
0a18a6f
Resolve a borrowed asset bundle for directory targets too
James Goppert
committed
fa1111d
Match the schemas bundle before believing its lender
James Goppert
committed
2260a95
Retire the last two rounding claims in the catalogs
James Goppert
committed
0d87bfe
Record the solve-json schema change for 0.10.x
James Goppert
committed
8d756cb
Name the type the asset doc links to
James Goppert
committed
96b7d65
Order one shared-call node after the node whose temporary it reads
jgoppert
committed
1c6f350
Evaluate a repeated function call once per activation
jgoppert
committed
5b5287e
Escape emitted Modelica strings the parser can read
jgoppert
committed
d431b0d
Place a callee's array output in the slot its caller already owns
jgoppert
committed
41f0484
Order the placement plan and prove the aliasing case three ways
jgoppert
committed
86e887b
Read the storage a destination may use instead of forcing it
jgoppert
committed
81eee5a
Refuse a total-write witness that also writes the output partially
jgoppert
committed
c461ca2
Declare a destination pointer only where the body spells the output
jgoppert
committed
b27812b
Resolve the dead-public-surface gate by declaration identity
jgoppert
committed
3484558
Mint the constant-fold warnings in a W range and see the whole workspace
jgoppert
committed
802a093
Count a dropped read-back as no reason to alias the caller's region
jgoppert
committed
c11a79b
Read a signal check's fallback instead of assuming it names everything
jgoppert
committed
07b2e80
Name the self-read the placement theorem always needed
jgoppert
committed
082f77b
Diagnose a destination whose rank or element type moved
jgoppert
committed
8447456
Record why the array-formal refusal stays
jgoppert
committed
2ad4a9a
Write down the error-signal accumulation contract
James Goppert
committed
7d49678
Evaluate a staging nest's invariant guard once
James Goppert
committed
9396869
Evaluate a staging nest's invariant guard once
jgoppert
committed
d784efb
Give the extent comparison and the assignment arm their own names
jgoppert
committed
e119921
Place a callee's array output in storage the caller owns
jgoppert
committed
2db72b7

Commits on Aug 27, 2026

Separate the call-structure and data-structure emission axes
James Goppert
committed
50501f1
Serve a conditional branch from the node its own guard selects
jgoppert
committed
987bdeb
Pin the branch a guarded node now serves
jgoppert
committed
fab9573
Serve a conditional branch from the node its guard already selects
jgoppert
committed
29efcba
Honor Modelica's Inline and LateInline annotations
James Goppert
committed
50fdd46
Substitute a callee that is called from exactly one place
James Goppert
committed
557955c
Separate the call-structure and data-structure emission axes
jgoppert
committed
853791b