Repository navigation

feat(preservation): certificate B as kernel-term data (SP-16) - #163

Merged

159 commits merged into

mainfrom

claude/issue-89-certificate-b

Oct 18, 2026

Merged

feat(preservation): certificate B as kernel-term data (SP-16)#163
159 commits merged into
mainfrom
claude/issue-89-certificate-b

Commits on Oct 13, 2026
- test(backend): specify explicit shared byte lowering
  
  Alexander Flom
  authored and
  humuhumu33
  committed
  1260c70
- fix(backend): lower byte literals with explicit local octets
  
  Alexander Flom
  authored and
  humuhumu33
  committed
  2c52bfb
- ci: add explicit own-devcontainer generator maintenance
  
  Alexander Flom
  authored and
  humuhumu33
  committed
  452386d
- fix(ci): refresh final package provenance and retain retirement queries
  
  Alexander Flom
  authored and
  humuhumu33
  committed
  a550a08
- fix(ci): retire fixture lock writer build roots
  
  Alexander Flom
  authored and
  humuhumu33
  committed
  1fd4550
- fix(ci): capture complete generated trees against HEAD
  
  Alexander Flom
  authored and
  humuhumu33
  committed
  ffa8a13
- fix(ci): preserve clean checkout before capture tests
  
  Alexander Flom
  authored and
  humuhumu33
  committed
  58cd25a
- fix(test): validate exact artifact bytes after octet sharing
  
  Alexander Flom
  authored and
  humuhumu33
  committed
  c89c31e
- fix(ci): capture the tooling projects generated trees as generated output
  humuhumu33
  committed
  8f0da54
- fix(golden): regenerate complete explicit byte backend outputs
  humuhumu33
  committed
  c384e62
Commits on Oct 16, 2026
Commits on Oct 17, 2026