Repository navigation

benchmark: verification coverage against an independent spec (stand-in and live OpenEMR) - #1452

Draft

abrichr wants to merge 15 commits into

mainfrom

verification-coverage/benchmark

Draft

benchmark: verification coverage against an independent spec (stand-in and live OpenEMR)#1452
abrichr wants to merge 15 commits into
mainfrom
verification-coverage/benchmark

Commits on Oct 20, 2026
- WIP verification coverage benchmark harness
  abrichr
  committed
  11c6d65
- WIP openIMIS task: own ports via env
  abrichr
  committed
  e8642a8
- Merge branch 'verification-coverage/provenance' into verification-coverage/benchmark
  abrichr
  committed
  0f28320
- WIP openIMIS frame declares server-set fields
  abrichr
  committed
  31d3cbb
- Merge branch 'verification-coverage/provenance' into verification-coverage/benchmark
  abrichr
  committed
  08424c4
Commits on Oct 24, 2026
Commits on Oct 25, 2026
- benchmark: independent verification coverage, live OpenEMR and full-schema results
  
  abrichr
  and
  claude
  committed
  2673f0e
- benchmark: carry #1530's spec fixes; the harness maps told providerID
  
  abrichr
  and
  claude
  committed
  f819d1f