Skip to content

P6a: Promotion decision (decide(), C-45 enforcement) - #24

Merged
Ayushxsingh100 merged 8 commits into
mainfrom
feature/p6a
Oct 29, 2026
Merged

P6a: Promotion decision (decide(), C-45 enforcement)#24
Ayushxsingh100 merged 8 commits into
mainfrom
feature/p6a

P6a step 6b: seeded properties of decide and the fault cases (Doc 12 …

2a4cdf9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar