[ADC-695] Integrate final examples and authenticate exact proofs - #647

Merged

wolf75222 merged 837 commits into

codex/adc695-example-proof-ledger-20260730

Aug 9, 2026

This pull request is big! We're only showing the most recent 250 commits

Commits on Aug 3, 2026

docs(capabilities): bound Uniform recovery warm starts
wolf75222
committed
70941d6
merge: record ADC-753 Uniform warm-start consumer
wolf75222
committed
369e42e
test(numerics): gate prepared fallback and warm starts
wolf75222
committed
85bd91a
feat(time): execute prepared cell-local rung batches
wolf75222
committed
fb04253
test(time): prove transactional cell-local execution
wolf75222
committed
db10c2f
docs(time): bound the executable ADC-756 slice
wolf75222
committed
4267839
feat(time): execute prepared cell-local rung batches
wolf75222
committed
49bcaf9
test(time): prove transactional cell-local execution
wolf75222
committed
dbf88b4
docs(time): bound the executable ADC-756 slice
wolf75222
committed
eb1d670
merge: record ADC-756 rung-batched executor
wolf75222
committed
db66630
feat(riemann): author typed prepared recovery policy
wolf75222
committed
74814ad
feat(runtime): execute fixed Riemann recovery on Uniform and AMR
wolf75222
committed
03e392e
test(riemann): prove prepared recovery public cutover
wolf75222
committed
bec6896
feat(riemann): author typed prepared recovery policy
wolf75222
committed
ab0025b
feat(runtime): execute fixed Riemann recovery on Uniform and AMR
wolf75222
committed
c210dd5
test(riemann): prove prepared recovery public cutover
wolf75222
committed
1f57ec2
merge: record ADC-754 public prepared recovery
wolf75222
committed
59946bf
test(numerics): gate public Riemann recovery authoring
wolf75222
committed
3ae9089
feat(fields): bridge external solvers into AMR
wolf75222
committed
5dde618
test(fields): prove external AMR topology and regrid
wolf75222
committed
268d490
feat(fields): bridge external solvers into AMR
wolf75222
committed
076d34f
test(fields): prove external AMR topology and regrid
wolf75222
committed
b15e7f2
merge: record ADC-759 external AMR field bridge
wolf75222
committed
4e8ca83
test(runtime): gate external AMR field execution
wolf75222
committed
5e569db
fix(ci): authenticate new temporal executor inventory
wolf75222
committed
e2fe27c
test(fields): prove external AMR bridge under MPI
wolf75222
committed
8f6a642
docs(fields): bound external AMR MPI proof
wolf75222
committed
d59f4c7
test(ci): route external field MPI entrypoint
wolf75222
committed
94de8e9
feat(boundary): prepare model characteristic no-inflow
wolf75222
committed
413f057
style(ci): align MPI plan fixture
wolf75222
committed
bdb7b74
test(boundary): prove characteristic projection and refusal
wolf75222
committed
859806d
test(fields): prove external AMR bridge under MPI
wolf75222
committed
c298bd9
docs(fields): bound external AMR MPI proof
wolf75222
committed
de99eee
docs(boundary): record characteristic qualification envelope
wolf75222
committed
60eabd5
test(ci): count external field MPI proof
wolf75222
committed
e98a17f
docs(runtime): count external AMR MPI proof
wolf75222
committed
8a51d91
feat(boundary): prepare model characteristic no-inflow
wolf75222
committed
361b334
test(boundary): prove characteristic projection and refusal
wolf75222
committed
5113127
docs(boundary): record characteristic qualification envelope
wolf75222
committed
7abb330
test(ci): route external field MPI entrypoint
wolf75222
committed
8a4b325
style(ci): align MPI plan fixture
wolf75222
committed
db2d2ac
test(ci): count external field MPI proof
wolf75222
committed
cc82d10
ADC-756 add bounded scientific cell temporal provider
wolf75222
committed
fc7ecba
ADC-757 gate real cell temporal state and flux publication
wolf75222
committed
93f5029
ADC-756 report bounded cell temporal capability honestly
wolf75222
committed
431490a
test(runtime): count complete M4 proof matrix
wolf75222
committed
e523489
merge: record ADC-759 two-rank AMR field proof
wolf75222
committed
8bfb302
merge: record ADC-749 characteristic boundary provider
wolf75222
committed
f09addd
ADC-756 derive physical tick scale from rational clock
wolf75222
committed
53bd1c4
STYLE format ADC-756 scientific provider slice
wolf75222
committed
405e16d
fix(nonlinear): select failure locations exactly
wolf75222
committed
0fffbec
test(nonlinear): cover signed collective failure order
wolf75222
committed
a0add22
docs(nonlinear): specify exact failure diagnostics
wolf75222
committed
1a4ed88
test(nonlinear): fence generated failure packing
wolf75222
committed
17b81e5
test(numerics): count public recovery gate proofs
wolf75222
committed
7c88c14
test(nonlinear): reject missing failure priority
wolf75222
committed
5081f28
feat(riemann): preserve exact provider evidence
wolf75222
committed
da47d16
test(riemann): prove provider identity fails closed
wolf75222
committed
5399b44
docs(riemann): document typed entropy providers
wolf75222
committed
baa33c0
test(riemann): expose provider options in inspection
wolf75222
committed
09071f6
ADC-756 harden exact stage-time provider contract
wolf75222
committed
f0b6420
fix(nonlinear): select failure locations exactly
wolf75222
committed
e5c2aa4
test(nonlinear): cover signed collective failure order
wolf75222
committed
498f74f
docs(nonlinear): specify exact failure diagnostics
wolf75222
committed
9f0fe9a
test(nonlinear): fence generated failure packing
wolf75222
committed
4ec81ab
test(numerics): count public recovery gate proofs
wolf75222
committed
d714058
test(nonlinear): reject missing failure priority
wolf75222
committed
6d2db6a
ADC-756 count rejected cell-stage launches honestly
wolf75222
committed
57b1c85
merge: record ADC-750 exact nonlinear diagnostics
wolf75222
committed
2155bab
feat(riemann): preserve exact provider evidence
wolf75222
committed
2606a09
test(riemann): prove provider identity fails closed
wolf75222
committed
303a25b
docs(riemann): document typed entropy providers
wolf75222
committed
f85249d
test(riemann): expose provider options in inspection
wolf75222
committed
51b0e5b
merge: record ADC-752 exact Riemann provider evidence
wolf75222
committed
c2c3732
runtime: retire pointwise primitive recovery fallback
wolf75222
committed
110e5e8
amr: delete duplicate physical boundary callback authority
wolf75222
committed
4ef46cd
test(numerics): authenticate heterogeneous closure evidence
wolf75222
committed
549ffac
bench(numerics): declare ADC-757 hardware campaign
wolf75222
committed
583b92e
bench(numerics): require paired ABBA evidence
wolf75222
committed
cbae20a
ADC-756 add bounded scientific cell temporal provider
wolf75222
committed
70c24b5
ADC-757 gate real cell temporal state and flux publication
wolf75222
committed
e66f858
ADC-756 report bounded cell temporal capability honestly
wolf75222
committed
7f0d2f1
ADC-756 derive physical tick scale from rational clock
wolf75222
committed
075ffc3
STYLE format ADC-756 scientific provider slice
wolf75222
committed
2100831
ADC-756 harden exact stage-time provider contract
wolf75222
committed
9c8efb5
ADC-756 count rejected cell-stage launches honestly
wolf75222
committed
029a08f
test(numerics): reconcile ADC-756 integration evidence
wolf75222
committed
921b4fe
merge: record ADC-756 scientific provider evidence
wolf75222
committed
c064653
fix(boundary): rollback refused characteristic halos
wolf75222
committed
01aba5d
feat(numerics): qualify spatial providers across dimensions
wolf75222
committed
31f1796
feat(parallel): decide rebalancing from measured costs
wolf75222
committed
947a578
fix(boundary): rollback refused characteristic halos
wolf75222
committed
794055f
feat(numerics): qualify spatial providers across dimensions
wolf75222
committed
e2fc7ef
merge: record ADC-757 spatial provider evidence
wolf75222
committed
2b606ad
runtime: make polar transport consume prepared boundaries
wolf75222
committed
827ac7c
amr: separate transport topology from elliptic boundaries
wolf75222
committed
93fe489
packaging: export prepared boundary defaults
wolf75222
committed
9f9f0bb
tests: ratchet prepared transport boundary authority
wolf75222
committed
d173438
test(numerics): gate spatial and measured balancing providers
wolf75222
committed
be32fda
feat(runtime): prepare independent accelerator streams
wolf75222
committed
67e8c86
test(runtime): prove accelerator stream authority fails closed
wolf75222
committed
25938b1
test(numerics): require hardware evidence for ADC-757 closure
wolf75222
committed
3dc992f
fix(amr): reauthenticate cell-local publication
wolf75222
committed
ab1c5d8
bench(numerics): measure heterogeneous ADC-757 routes
wolf75222
committed
52f072b
bench(romeo): authenticate ADC-757 GPU campaign
wolf75222
committed
cea37d3
fix(amr): refuse cell-local restart regrid
wolf75222
committed
246a583
fix(bench): fail closed across accelerator ranks
wolf75222
committed
1583993
tests: protect templated polar refusal assertion
wolf75222
committed
e277a4c
fix(runtime): support pre-partition-space GPU streams
wolf75222
committed
c5b6768
fix(bench): authenticate physical GPU UUIDs natively
wolf75222
committed
bc598bc
feat(amr): expose measured migration-aware balancing
wolf75222
committed
a300087
feat(runtime): prepare independent accelerator streams
wolf75222
committed
16df39d
test(runtime): prove accelerator stream authority fails closed
wolf75222
committed
ed8ffdd
bench(numerics): measure heterogeneous ADC-757 routes
wolf75222
committed
f62e18d
bench(romeo): authenticate ADC-757 GPU campaign
wolf75222
committed
4704bab
fix(bench): fail closed across accelerator ranks
wolf75222
committed
0e6fe40
fix(runtime): support pre-partition-space GPU streams
wolf75222
committed
e4dd7e5
fix(bench): authenticate physical GPU UUIDs natively
wolf75222
committed
dc0f189
merge: record ADC-757 GPU streams evidence
wolf75222
committed
73e5fa3
runtime: retire pointwise primitive recovery fallback
wolf75222
committed
16f4f63
test(numerics): bind ADC-757 hardware evidence
wolf75222
committed
8f9c8cc
amr: delete duplicate physical boundary callback authority
wolf75222
committed
fcf6686
test(amr): gate public measured balancing policy
wolf75222
committed
a4b4f92
runtime: make polar transport consume prepared boundaries
wolf75222
committed
5b2559d
amr: separate transport topology from elliptic boundaries
wolf75222
committed
0bb9fdf
packaging: export prepared boundary defaults
wolf75222
committed
5e7053a
tests: ratchet prepared transport boundary authority
wolf75222
committed
a29a9a8
tests: protect templated polar refusal assertion
wolf75222
committed
abec942
merge: record ADC-757 legacy authority deletion
wolf75222
committed
e9ea418
test(numerics): bind ADC-757 hardware evidence
wolf75222
committed
40df221
test(amr): gate public measured balancing policy
wolf75222
committed
b09fd7d
merge: record ADC-757 hardware gate evidence
wolf75222
committed
eb86890
test(boundary): gate prepared transport authority
wolf75222
committed
0dc6c20
test(recovery): gate prepared batch authority
wolf75222
committed
0540342
test(numerics): retire legacy authority deferral
wolf75222
committed
bded333
test(boundary): gate prepared transport authority
wolf75222
committed
23ac235
test(recovery): gate prepared batch authority
wolf75222
committed
4df99c5
test(numerics): retire legacy authority deferral
wolf75222
committed
4ce39c5
merge: record ADC-757 legacy gate evidence
wolf75222
committed
47e432c
fix(load-balance): bind decisions to live sources
wolf75222
committed
c3408ed
feat(amr): apply prepared rebalance decisions
wolf75222
committed
31e2b5d
feat(mesh): establish compile-time ND substrate checkpoint
wolf75222
committed
de75b2b
packaging: classify prepared accelerator streams
wolf75222
committed
461f337
feat(mesh): establish compile-time ND substrate checkpoint
wolf75222
committed
04e6f68
merge: record ADC-731 ND substrate checkpoint
wolf75222
committed
cbdce14
fix(amr): reauthenticate cell-local publication
wolf75222
committed
04f0770
fix(amr): refuse cell-local restart regrid
wolf75222
committed
800f2be
feat(amr): snapshot local-time flux publication
wolf75222
committed
eb08ba5
feat(time): resynchronize prepared local executors
wolf75222
committed
013e159
fix(amr): phase rebalance migration collectively
wolf75222
committed
8b824cf
feat(time): author bounded cell-local programs
wolf75222
committed
f875b33
fix(amr): gather rebalance state through world authority
wolf75222
committed
c14c654
test(amr): neutralize periodic rebalance fixture
wolf75222
committed
0083e0e
fix(load-balance): bind decisions to live sources
wolf75222
committed
c710959
feat(amr): apply prepared rebalance decisions
wolf75222
committed
87e6049
fix(amr): phase rebalance migration collectively
wolf75222
committed
0d3c044
fix(amr): gather rebalance state through world authority
wolf75222
committed
0c8e2a1
test(amr): neutralize periodic rebalance fixture
wolf75222
committed
d5f3fac
merge: record ADC-757C AMR coherence ancestry
wolf75222
committed
db0bfca
bench(adc757): require installed runtime hardware evidence
wolf75222
committed
fd099cd
test(adc757): prove hardware reports fail closed
wolf75222
committed
5f283c2
bench(adc757): require installed runtime hardware evidence
wolf75222
committed
3f824b2
test(adc757): prove hardware reports fail closed
wolf75222
committed
ac16248
merge: record ADC-757H installed hardware proof ancestry
wolf75222
committed
15cbe65
feat(amr): install bounded cell-local Program runtime
wolf75222
committed
44b0034
test(amr): prove installed cell-local Program route
wolf75222
committed
34b9e40
docs(amr): report bounded local-time runtime honestly
wolf75222
committed
50c5f4c
test(time): pin local-time clock wiring
wolf75222
committed
e164650
feat(amr): snapshot local-time flux publication
wolf75222
committed
51a860a
feat(time): resynchronize prepared local executors
wolf75222
committed
2640a39
feat(time): author bounded cell-local programs
wolf75222
committed
74e59ab
feat(amr): install bounded cell-local Program runtime
wolf75222
committed
d343001
test(amr): prove installed cell-local Program route
wolf75222
committed
83f5f6c
docs(amr): report bounded local-time runtime honestly
wolf75222
committed
e16aef7
test(time): pin local-time clock wiring
wolf75222
committed
530b04f
merge: record ADC-757G local-time runtime ancestry
wolf75222
committed
2b218a2
feat(mesh): add compile-time mapped metrics
wolf75222
committed
4e707ae
test(mesh): prove mapped metric invariants
wolf75222
committed
af1b8e5
test(mesh): shield templated refusal expression
wolf75222
committed
0c22fbc
ci: reconcile native duration inventory
wolf75222
committed
e16b35a
test(mesh): exercise every Cartesian rank
wolf75222
committed
5e608ec
feat(mesh): promote ranked boundary topology
wolf75222
committed
f8abacb
test(mesh): prove ranked boundary schedules
wolf75222
committed
f7e13ff
feat(mesh): promote ranked boundary topology
wolf75222
committed
8835720
test(mesh): prove ranked boundary schedules
wolf75222
committed
00eafe9
merge: record ADC-734 ND boundary topology ancestry
wolf75222
committed
4c31123
fix(load-balance): forward source level through default policy
wolf75222
committed
b897382
feat(mesh): add compile-time mapped metrics
wolf75222
committed
d815c6b
test(mesh): prove mapped metric invariants
wolf75222
committed
facb738
test(mesh): shield templated refusal expression
wolf75222
committed
8b82129
ci: reconcile native duration inventory
wolf75222
committed
091a397
test(mesh): exercise every Cartesian rank
wolf75222
committed
2d6e64d
merge: record ADC-737 ND metric substrate ancestry
wolf75222
committed
2402ff0
test(numerics): close AMR migration gate slice
wolf75222
committed
e4f4278
feat(mesh): authenticate native spatial layout authority
wolf75222
committed
0197a2c
feat(codegen): carry resolved dimension through artifacts
wolf75222
committed
ca8dcc8
feat(runtime): consume exact spatial layout authority
wolf75222
committed
3212dc7
feat(mesh): promote production ND layouts
wolf75222
committed
47e0e75
feat(numerics): define axis-static ND conservation laws
wolf75222
committed
291f326
feat(numerics): prepare metric ND face operators
wolf75222
committed
76eef61
test(numerics): prove ND finite-volume contracts
wolf75222
committed
7299795
feat(amr): add exact ND hierarchy planning
wolf75222
committed
f3f3f3f
fix(numerics): accept mutable prepared face views
wolf75222
committed
b0c0676
feat(mesh): add compile-time ND execution facades
wolf75222
committed
e90c28c
test(mesh): prove ND cell and face execution
wolf75222
committed
ac05720
feat(mesh): add compile-time ND execution facades
wolf75222
committed
9924d9d
test(mesh): prove ND cell and face execution
wolf75222
committed
f5afa0e
Merge branch 'codex/adc732-nd-execution-20260803' into codex/adc695-example-proof-ledger-20260730
wolf75222
committed
e3e6f29
feat(mesh): authenticate native spatial layout authority
wolf75222
committed
395e85f
feat(codegen): carry resolved dimension through artifacts
wolf75222
committed
087b6c1
feat(runtime): consume exact spatial layout authority
wolf75222
committed
3d262e9
Merge branch 'codex/adc735-dimension-authority-20260803' into codex/adc695-example-proof-ledger-20260730
wolf75222
committed
e2fdf02
fix(numerics): make ND test templates unambiguous
wolf75222
committed
bfa88ac
feat(numerics): define axis-static ND conservation laws
wolf75222
committed
19f4634
feat(numerics): prepare metric ND face operators
wolf75222
committed
6d26633
test(numerics): prove ND finite-volume contracts
wolf75222
committed
7df6e0d
fix(numerics): accept mutable prepared face views
wolf75222
committed
a360d54
fix(numerics): make ND test templates unambiguous
wolf75222
committed
afe7f49
Merge branch 'codex/adc733-nd-fv-20260803' into codex/adc695-example-proof-ledger-20260730
wolf75222
committed
1e681e4
test(amr): prove ND hierarchy planning
wolf75222
committed
aff8430
fix(time): capture cell-local step duration
wolf75222
committed
ca3825b
ci: align ND hierarchy target labels
wolf75222
committed
e4ddb7e
test(amr): cover empty ND owner ranks
wolf75222
committed
e2c21e7
feat(amr): add prepared ND transfer substrate
wolf75222
committed
03bf9cb
test(amr): prove ND transfer contracts
wolf75222
committed
af962df

Commits on Aug 4, 2026

feat(amr): add prepared ND transfer substrate
wolf75222
committed
dccf503
test(amr): prove ND transfer contracts
wolf75222
committed
3db9886
Merge branch 'codex/adc738-nd-transfers-20260803' into codex/adc695-example-proof-ledger-20260730
wolf75222
committed
7feb58d
feat(mesh): promote production ND layouts
wolf75222
committed
75b327b
feat(amr): add exact ND hierarchy planning
wolf75222
committed
5523961
test(amr): prove ND hierarchy planning
wolf75222
committed
c7c85f4
ci: align ND hierarchy target labels
wolf75222
committed
95ec82b
test(amr): cover empty ND owner ranks
wolf75222
committed
3e4d9c4
fix(amr): authenticate bounded ND clustering
wolf75222
committed
bafca04
test(amr): prove bounded symmetric ND clustering
wolf75222
committed
c0f6e9c
fix(amr): authenticate bounded ND clustering
wolf75222
committed
4765819
test(amr): prove bounded symmetric ND clustering
wolf75222
committed
25b7c51
fix(amr): make ND dimension deduction unambiguous
wolf75222
committed
c3a9281
fix(amr): make ND dimension deduction unambiguous
wolf75222
committed
6f7b943
feat(amr): add transactional ND face flux ledger
wolf75222
committed
35c406f
test(amr): prove ND metric reflux contracts
wolf75222
committed
8b7c047
refactor(amr): unify ND refinement ratio authority
wolf75222
committed
f0cef70
feat(amr): add transactional ND face flux ledger
wolf75222
committed
fe09b6e
test(amr): prove ND metric reflux contracts
wolf75222
committed
f842766
fix(amr): close ND reflux transaction gaps
wolf75222
committed
3f0d2a0
ci: restore exact ND duration inventories
wolf75222
committed
016b1c7
test(ci): update exact MPI CTest inventory
wolf75222
committed
ce60297
fix(amr): authenticate bounded ND reflux windows
wolf75222
committed
1bc6e26
Merge ADC-736 ND hierarchy history
wolf75222
committed
b2628e6
Merge ADC-738 ND flux ledger history
wolf75222
committed
49747cd