Issues

• research: bounded Lean semantic-support soundness and historical-certificate oracle

  fraware/open-verification-kernel#195 · Filter by author fraware opened on Oct 12, 2026
  2

• refinement: bind reused PE evidence to durable guarantee claim compatibility

  fraware/open-verification-kernel#178 · Filter by author fraware opened on Oct 11, 2026
  1

• research: independently adjudicated RTK transport experiment — execution gate

  fraware/open-verification-kernel#177 · Filter by author fraware opened on Oct 11, 2026
  20

• Release blocker: protect main and v* release tags before v1.3.0-rc.1

  fraware/open-verification-kernel#25 · Filter by author fraware opened on Aug 26, 2026
  

• Audit the next OVK release candidate

  help wanted
  fraware/open-verification-kernel#21 · Filter by author fraware opened on Jul 26, 2026

• Run an external advisory-mode pilot

  help wanted
  fraware/open-verification-kernel#20 · Filter by author fraware opened on Jul 26, 2026

• Add one external agent-authored PR fixture

  good first issuehelp wanted
  fraware/open-verification-kernel#19 · Filter by author fraware opened on Jul 26, 2026
  1

• PF-VA: pin ovk-basic-v0 verifier profile for pf-core-v0.7.0

  fraware/open-verification-kernel#15 · Filter by author fraware opened on Jul 24, 2026

• Add native Z3 parity for authorization reachability

  adapterhelp wantedimplementationz3
  fraware/open-verification-kernel#3 · Filter by author fraware opened on Jun 8, 2026
  2

• Run self-protection checks through native OPA

  adapterhelp wantedimplementation
  fraware/open-verification-kernel#1 · Filter by author fraware opened on Jun 8, 2026
  2