P2: consolidate prepared boundaries, recovery, and numerics evidence - #627

Draft

wolf75222 wants to merge 145 commits into

codex/p2-consolidation-history-20260730

Commits on Jul 28, 2026

refactor(boundary): prepare model-aware hyperbolic faces
wolf75222
committed
9564f20
fix(boundary): preserve 2.5D slip-wall parity
wolf75222
committed
4dcc6e2
fix(boundary): retain slip walls after compile
wolf75222
committed
586c473
fix(physics): complete axial variable role ABI
wolf75222
committed
8fa1db4
test: register axial boundary integration proof
wolf75222
committed
fa28274
fix(boundary): make slip-wall role lookup type-safe
wolf75222
committed
bf36faa

Commits on Jul 29, 2026

refactor(boundary): prepare model-aware hyperbolic faces
wolf75222
committed
8125b0c
fix(boundary): preserve 2.5D slip-wall parity
wolf75222
committed
f5a7ed6
fix(boundary): retain slip walls after compile
wolf75222
committed
5093320
fix(physics): complete axial variable role ABI
wolf75222
committed
7cf733b
test: register axial boundary integration proof
wolf75222
committed
4c29008
fix(boundary): make slip-wall role lookup type-safe
wolf75222
committed
b399676
fix(boundary): preserve mapped periodic topology on master
wolf75222
committed
fc9bbe9
test(boundary): migrate MPI plan to typed faces
wolf75222
committed
99966df
fix(boundary): reject unprepared characteristic fallback
wolf75222
committed
c99b48f
refactor(boundary): remove scalar component-count adapter
wolf75222
committed
f1fa2ff
feat(boundary): report prepared transport capabilities
wolf75222
committed
1519e61
feat(boundary): prepare primitive fixed inflow with model conversion
wolf75222
committed
033c4b3
fix(model): reject unequal representation arities
wolf75222
committed
8d80201
docs(model): state the flat conversion arity contract
wolf75222
committed
0190677
test(boundary): qualify AMR physical and coarse-fine ownership
wolf75222
committed
6e26f98
feat(boundary): execute analytic inflow on native devices
wolf75222
committed
3ee7b77
feat(recovery): add transactional prepared recovery chain
wolf75222
committed
1f84502
test(numerics): add fail-closed prepared provider gate
wolf75222
committed
5d17efa
fix(riemann): reject non-finite Roe candidates explicitly
wolf75222
committed
6fe34e7
feat(recovery): cut over primitive materialization consumer
wolf75222
committed
c85cc18
merge: refresh ADC-753 on current master
wolf75222
committed
f296e77
fix(recovery): roll back abandoned tentative publication
wolf75222
committed
80463b6
Merge corrected ADC-753 recovery foundation into ADC-757 gate
wolf75222
committed
a7d5b4a
Merge refreshed ADC-757 gate into ADC-755 consumer cutover
wolf75222
committed
c055260
ci(cpp): budget variable recovery chain
wolf75222
committed
6bc8851
Merge refreshed ADC-757 gate into ADC-755 consumer cutover
wolf75222
committed
35d21f8
Merge ADC-753 CI catalog fix into ADC-757 gate
wolf75222
committed
247f956
feat(recovery): consume typed face recovery before fluxes
wolf75222
committed
ed7e163
test(recovery): prove face refusals across device and MPI
wolf75222
committed
efe57ea
docs(recovery): document face publication contract
wolf75222
committed
cff0b1c
ci(cpp): budget prepared numerics gate
wolf75222
committed
30892c3
Merge ADC-757 CI catalog fix into ADC-755 face cutover
wolf75222
committed
4516335
Merge current master into ADC-749 boundary pipeline
wolf75222
committed
22f43a8
Merge remote ADC-749 restack history
wolf75222
committed
9d07b4e
Merge updated ADC-749 boundary pipeline into characteristic fail-closed
wolf75222
committed
09607f6
Merge updated characteristic fail-closed boundary layer into capability report
wolf75222
committed
c4371e1
Merge updated boundary capability report into primitive conversion layer
wolf75222
committed
4373d8c
test(boundary): cover merged conversion topology and CI routing
wolf75222
committed
927590c
Merge updated primitive boundary conversion into AMR qualification
wolf75222
committed
cb8f2ed
Merge updated AMR boundary qualification into analytic inflow
wolf75222
committed
cfbfd19
Merge current master into ADC-753 recovery chain
wolf75222
committed
2da599f
Merge restacked ADC-753 into ADC-757 numerics gate
wolf75222
committed
9d4d2d9

Commits on Jul 30, 2026

Fail closed on mapped analytic boundary coordinates
wolf75222
committed
0aaf4b0
Document mapped analytic boundary limitation
wolf75222
committed
889ad00
Merge remote-tracking branch 'origin/master' into codex/adc754-explicit-roe-refresh-20260730
wolf75222
committed
f4b0ff2
Merge origin/master into ADC-749 boundary pipeline integration
wolf75222
committed
dc32cb4
Merge remote-tracking branch 'origin/codex/adc757-prepared-numerics-gate-20260729' into codex/adc755-consumer-cutover-refresh-20260730
wolf75222
committed
32cd495
Merge updated ADC-749 boundary pipeline into characteristic fail-closed integration
wolf75222
committed
b74d08b
Merge updated characteristic fail-closed boundary layer into capability integration
wolf75222
committed
7f2a545
Merge updated boundary capability envelope into primitive conversion integration
wolf75222
committed
a4ddf37
test(solvers): fence prepared local nonlinear authority
wolf75222
committed
11beff7
Merge updated primitive boundary conversion into AMR qualification integration
wolf75222
committed
3c8c9e5
Merge updated AMR boundary qualification into analytic inflow integration
wolf75222
committed
5921937
Merge current master into ADC-753 recovery chain
wolf75222
committed
95a0ba4
Merge refreshed ADC-753 recovery foundation into ADC-757 gate
wolf75222
committed
6779c90
Make analytic boundary installation collective
wolf75222
committed
08edcb2
Merge current master into ADC-754 recovery validation
wolf75222
committed
ca579ec
Merge refreshed ADC-757 gate into ADC-755 consumer cutover
wolf75222
committed
7ef3bf2
Preflight analytic boundaries before halo mutation
wolf75222
committed
79e0d98
Merge ADC-757 prepared numerics gate
wolf75222
committed
f6de77b
Merge ADC-749 collective analytic boundary pipeline
wolf75222
committed
ecb8d36
Merge ADC-754 explicit Roe recovery policy
wolf75222
committed
6b000e7
Merge ADC-755 recovery consumer cutover
wolf75222
committed
53a6a7e
Fix Kokkos concurrency reporting compatibility
wolf75222
committed
0c40994
Expand ADC-757 gate with delivered P2 evidence
wolf75222
committed
7c0f42b
Track ADC-752 in the prepared numerics evidence ledger
wolf75222
committed
29270af
Merge ADC-750 prepared nonlinear authority guard
wolf75222
committed
e6e8ab6
Merge ADC-749 Kokkos compatibility follow-up
wolf75222
committed
ac7acb4
Fix MPI execution context in axial boundary proof
wolf75222
committed
414f11a
Merge ADC-749 explicit MPI bind proof follow-up
wolf75222
committed
96df188
test(numerics): execute exact MPI boundary proof
wolf75222
committed
d67f672
Merge standalone Kokkos compatibility into P2
wolf75222
committed
7ce1952
fix(boundary): require prepared linearization sessions
wolf75222
committed
bdb662c
fix(architecture): admit analytic boundary expressions
wolf75222
committed
ba0b601
fix(nonlinear): reject unpublished Newton diagnostics
wolf75222
committed
0d2213e
fix(riemann): reject non-finite HLLC candidates
wolf75222
committed
ed42f91
test(numerics): admit capability-driven Riemann gate proofs
wolf75222
committed
34b7d7f
test(numerics): prove collective MPI failure handling
wolf75222
committed
600836d
Merge current master into P2 consolidation
wolf75222
committed
df6a23d
fix(codegen): bind qualified flux provider packs (ADC-682)
wolf75222
committed
61bd2f3
test(codegen): prove exact flux provider identity (ADC-682)
wolf75222
committed
d7b3401
feat(numerics): bind generated flux provider slots
wolf75222
committed
a34649c
tests: prove qualified native flux binding
wolf75222
committed
2cc1f15
docs: record generated flux provider ABI
wolf75222
committed
3c33ea6

Commits on Aug 1, 2026

test(boundary): ratchet remaining ADC-749 legacy authorities
wolf75222
committed
cae1252
feat(riemann): expose recovery capability boundary
wolf75222
committed
cc76573
docs(riemann): state recovery policy non-claims
wolf75222
committed
e5d0dbd
feat(recovery): expose consumer cutover capability boundary
wolf75222
committed
4b3d1fc
docs(recovery): state complete cutover non-claims
wolf75222
committed
9af3540
feat(recovery): enforce model admissibility policies
wolf75222
committed
aef0c0f
test(recovery): cover declared model admissibility
wolf75222
committed
b5e61e7
docs(recovery): document model admissibility authoring
wolf75222
committed
0249f8a
feat(recovery): expose admissibility on public models
wolf75222
committed
24536d4
test(recovery): exercise public admissibility authoring
wolf75222
committed
f20f6fe
docs(recovery): use the public model surface
wolf75222
committed
2c861e1
feat(reconstruction): add prepared MC and Superbee providers (ADC-751)
wolf75222
committed
55c6513
test(reconstruction): fence MC and Superbee semantics (ADC-751)
wolf75222
committed
4ddf094
docs(reconstruction): document executable MC and Superbee (ADC-751)
wolf75222
committed
14e426f
Merge current master into P2 consolidation
wolf75222
committed
d15fce8
Merge ADC-749 boundary authority ratchet into P2
wolf75222
committed
14e47cf
Merge ADC-751 MC and Superbee providers into P2
wolf75222
committed
a89910e
Merge ADC-753 model admissibility into P2
wolf75222
committed
2d21b16
Merge ADC-754 recovery capability contract into P2
wolf75222
committed
32b2d58
Merge ADC-755 recovery consumer contract into P2
wolf75222
committed
6d0c073
gate(numerics): select limiter and admissibility proofs
wolf75222
committed
b5cb3fc
feat(time): persist cell temporal partition authority
wolf75222
committed
c8c1c02
test(time): cover temporal partition restart and no-bypass
wolf75222
committed
ca4862e
docs(time): bound the ADC-756 restart foundation
wolf75222
committed
653f582
Merge ADC-756 temporal partition restart authority into P2
wolf75222
committed
13488c2
gate(numerics): select temporal partition authority
wolf75222
committed
caf37d3
fix(ci): classify new P2 validation files
wolf75222
committed
07608fb
gate(numerics): execute Python ABI and restart parity
wolf75222
committed
17b6280
test(numerics): qualify MC and Superbee reconstruction
wolf75222
committed
4fe72ac
gate(numerics): prove host workspace reentrancy
wolf75222
committed
7cf70d0
Merge current P2 gate into limiter qualification
wolf75222
committed
1e2f34a
test(numerics): compose limiter and workspace gate proofs
wolf75222
committed
b196bcf
Merge ADC-682 qualified native flux packs into P2
wolf75222
committed
b0dcaaa
gate(numerics): execute qualified flux provider proofs
wolf75222
committed
761b106
Merge ADC-751 reconstruction qualification into P2
wolf75222
committed
7069df8
gate(numerics): attest ADC-751 limiter proofs
wolf75222
committed
37e90fb

Commits on Aug 2, 2026

fix(boundary): reject inert transport descriptors at resolve
wolf75222
committed
b160e6a
test(boundary): ratchet resolve-time executable authority
wolf75222
committed
d85aadf
Merge ADC-749 resolve-time boundary authority into P2
wolf75222
committed
4547c12
refactor(boundary): retain typed provider law identities
wolf75222
committed
06d6062
fix(boundary): reject mismatched transport provider laws
wolf75222
committed
92f949a
test(boundary): ratchet provider law authentication
wolf75222
committed
5205134
test(boundary): expose typed no-flux nonclaim
wolf75222
committed
7c38715
Merge typed boundary-provider law completion into P2
wolf75222
committed
6023ee5
feat(recovery): preserve executed method identity
wolf75222
committed
cc7c8ff
feat(boundary): define typed post-Riemann flux port
wolf75222
committed
cef6474
feat(boundary): execute post-Riemann flux transforms
wolf75222
committed
e400f2e
Merge P1 temporal and AMR foundations into P2
wolf75222
committed
7ef2b9b
Merge ADC-753 recovery method identity into P2
wolf75222
committed
07ce2e8
Merge ADC-749 post-Riemann boundary transform into P2
wolf75222
committed
ed41461
fix(numerics): fail closed on unqualified boundary flux routes
wolf75222
committed
8697657
Merge master after P1 integration into P2
wolf75222
committed
768ec2e
fix(codegen): retain resolved provider pack authority
wolf75222
committed
5cb3ebe
test(model): migrate fixtures to equal representation arity
wolf75222
committed
13e93a7
test(amr): qualify partition restart cells with active level
wolf75222
committed
ffe4d92