All pull requests

Pull requests

• feat: integrate Rosetta analysis with Verso Blueprint

  #502·ejgallego opened Nov 12, 2026Collaborator·

  ·

• feat: prove realization admission and capture contracts

  #501·ejgallego opened Nov 3, 2026Collaborator·

  ·

• feat: verify accepted snapshot and node membership

  #499·ejgallego opened Oct 23, 2026Collaborator·

  ·

• chore: refresh FLT and Sphere reference pins

  #495·ejgallego opened Oct 22, 2026Collaborator·

  ·

• feat: share manifest lookup and provenance through VIR

  #493·ejgallego opened Oct 10, 2026Collaborator·

  ·

• feat: share Blueprint browser policies through VIR

  #492·ejgallego opened Oct 9, 2026Collaborator·

  ·

• feat: graft imported informal proof bodies

  #452·ejgallego opened Sep 12, 2026Collaborator·

  ·

• refactor: migrate Verso Blueprint to the module system

  #443·ejgallego opened Sep 2, 2026Collaborator·

  ·

• feat: use ProofWidgets graphviz widget

  #425·ejgallego opened Aug 14, 2026Collaborator·

  ·

• doc: clarify upstream collaboration cards

  #424·ejgallego opened Aug 13, 2026Collaborator·

  ·

• fix: delegate slide asset emission

  #355·ejgallego opened Aug 4, 2026Collaborator·

  ·

• doc: review testing infrastructure

  #352·ejgallego opened Jul 23, 2026Collaborator·

  ·

• [backport v4.32.0] feat: use ProofWidgets graphviz widget

  backport-v4.32.0
  #193·Vtec234 opened Jun 28, 2026Member·

  ·
  10

• feat: add foreign language reference data model

  #63·ejgallego opened May 12, 2026Collaborator·

  ·