Skip to content

feat(preservation): certificate E as kernel-term data (SP-14, stage 1 of #89) - #146

Merged
afflom merged 25 commits into
mainfrom
claude/issue-89-typed-certificates
Oct 16, 2026
Merged

feat(preservation): certificate E as kernel-term data (SP-14, stage 1 of #89)#146
afflom merged 25 commits into
mainfrom
claude/issue-89-typed-certificates

Merge main (#158) into claude/issue-89-typed-certificates

3b25b10
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar