Skip to content

D-RFT-1 typed composition + r2il PostgreSQL primitive polyfill (IntXor/ANY/ALL/KEY_RUNS, checked scalar arithmetic, 19 procedures) - #1681

Merged
AdaWorldAPI merged 10 commits into
mainfrom
ccr-0455e606-rft1
Oct 21, 2026
Merged

D-RFT-1 typed composition + r2il PostgreSQL primitive polyfill (IntXor/ANY/ALL/KEY_RUNS, checked scalar arithmetic, 19 procedures)#1681
AdaWorldAPI merged 10 commits into
mainfrom
ccr-0455e606-rft1

board: D-RFT-1 entry — page witness law, fused wide-chain refusal open

f67e9c5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar