Skip to content

P5-D tranche-2 — nat_semiring semiring multiplicative + annihilator laws post-emit preservation. Per operator F4 ratification (tranche-2 expands when tranche-1 PROVEN; tranche-1 landed via #4063 and now extended cross-target by #4081). Author runners that execute nat_semiring's multiplicative-Monoid - #4089

Merged
briansrls merged 3 commits into
mainfrom
session/merry-gull-326
May 31, 2026
Merged

P5-D tranche-2 — nat_semiring semiring multiplicative + annihilator laws post-emit preservation. Per operator F4 ratification (tranche-2 expands when tranche-1 PROVEN; tranche-1 landed via #4063 and now extended cross-target by #4081). Author runners that execute nat_semiring's multiplicative-Monoid#4089
briansrls merged 3 commits into
mainfrom
session/merry-gull-326

chore: apply cargo fmt on v4_emit_host_harness_test

e03b5e6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar