List view

• Tier 1 — soundness resolution

  root_soundness instantiated on a trace dumped from the real ZisK executor; in-repo certificate burn-down landed; premise audit published. Closes with #74.

  No due date

  •2/6 issues closed
  33% complete4 open2 closed