Issues

• Define modality-profile terminology and cardinality semantics

  hyperpolymath/verisimdb#299 · Filter by author hyperpolymath opened on Oct 4, 2026

• CI: four Rust checks red once the toolchain step starts again — rustls RUSTSEC-2026-0285, clippy must_use, missing cargo-llvm-cov

  chorecicd
  hyperpolymath/verisimdb#296 · Filter by author hyperpolymath opened on Oct 2, 2026

• actions.lock: security-scan.yml's reusable panic-attack ref is out of sync (lock-sync gate red on main)

  bugcicd
  hyperpolymath/verisimdb#295 · Filter by author hyperpolymath opened on Oct 2, 2026

• docs: land the 8 files #81 was auto-closed without delivering (4 mechanical, 4 need owner rulings)

  documentationpriority:p1scope:repo
  hyperpolymath/verisimdb#204 · Filter by author hyperpolymath opened on Jul 28, 2026
  1

• security: Track C — panic-attack 2.5.5 category sweep (105 live findings on main)

  meta:umbrellapriority:p1scope:reposecurity
  hyperpolymath/verisimdb#203 · Filter by author hyperpolymath opened on Jul 28, 2026
  1

• Checkpoint 2026-06-05: reconciliation + Coq proof-debt (machine-checked) + REUSE licence cleanup

  licensingpriority:p2proofsscope:repostatus:blockedtech-debt
  hyperpolymath/verisimdb#113 · Filter by author hyperpolymath opened on Jun 5, 2026
  1

• SNIFs verisim WASM bridge — single boundary for BEAM-side cross-language access

  bindingsenhancementpriority:p2scope:repostatus:needs-ruling
  hyperpolymath/verisimdb#86 · Filter by author hyperpolymath opened on Jun 1, 2026
  2

• Cross-repo synthesis: vcl-ut + kategoria + echo-types + tropical-resource-typing → VeriSimDB

  priority:p3researchscope:estate
  hyperpolymath/verisimdb#84 · Filter by author hyperpolymath opened on Jun 1, 2026
  2

• Test + bench dramatic expansion — 652→1800 tests, 30→90 benches, 3→12 fuzz

  priority:p2scope:repostatus:readytesting
  hyperpolymath/verisimdb#79 · Filter by author hyperpolymath opened on Jun 1, 2026
  2

• Database-theory + practice gap analysis (22 areas, 5 theory frontiers)

  priority:p3researchscope:repo
  hyperpolymath/verisimdb#78 · Filter by author hyperpolymath opened on Jun 1, 2026
  2