Correctness Checks

Workflow runs for Correctness Checks

• Make inference sampling independent of worker scheduling

  queued:
  Correctness Checks#60:Pull request#139synchronizebyEssoz
  codex/deterministic-inference

  Oct 25, 2026Queued
  More actions for workflow run 60

• Bound example reservoirs across construction and inference merges

  queued:
  Correctness Checks#59:Pull request#140synchronizebyEssoz
  codex/inference-reservoir-cap

  Oct 25, 2026Queued
  More actions for workflow run 59

• Bound example reservoirs across construction and inference merges

  queued:
  Correctness Checks#58:Pull request#140synchronizebyEssoz
  codex/inference-reservoir-cap

  Oct 25, 2026Queued
  More actions for workflow run 58

• Isolate pruning state between independent precondition solves

  queued:
  Correctness Checks#57:Pull request#145synchronizebyEssoz
  codex/precondition-state-isolation

  Oct 25, 2026Queued
  More actions for workflow run 57

• Isolate pruning state between independent precondition solves

  queued:
  Correctness Checks#56:Pull request#145synchronizebyEssoz
  codex/precondition-state-isolation

  Oct 25, 2026Queued
  More actions for workflow run 56

• Isolate pruning state between independent precondition solves

  queued:
  Correctness Checks#55:Pull request#145openedbyEssoz
  codex/precondition-state-isolation

  Oct 25, 2026Queued
  More actions for workflow run 55

• Bound example reservoirs across construction and inference merges

  queued:
  Correctness Checks#54:Pull request#140openedbyEssoz
  codex/inference-reservoir-cap

  Oct 25, 2026Queued
  More actions for workflow run 54

• Make inference sampling independent of worker scheduling

  cancelled:
  Correctness Checks#53:Pull request#139openedbyEssoz
  codex/deterministic-inference

  Oct 13, 20261d 0h 0m 10s
  More actions for workflow run 53

• strengthen practical use cases

  cancelled:
  Correctness Checks#52:Commite478ec6pushedbyEssoz
  main

  Jul 13, 20261d 0h 0m 3s
  More actions for workflow run 52

• fix: refine proses

  cancelled:
  Correctness Checks#51:Commita6e379dpushedbyEssoz
  main

  Jul 13, 20261d 0h 0m 2s
  More actions for workflow run 51

• Improve TrainCheck workflow documentation

  cancelled:
  Correctness Checks#50:Commitff45cb4pushedbyEssoz
  main

  Jun 25, 20261d 0h 0m 3s
  More actions for workflow run 50

• implemented suggestions

  cancelled:
  Correctness Checks#49:Commit6c4f006pushedbyEssoz
  main

  Jun 23, 20261d 0h 0m 2s
  More actions for workflow run 49

• Add suggestion for more robust module path parsing

  cancelled:
  Correctness Checks#48:Commit4ffcdf6pushedbyEssoz
  main

  Jun 5, 20261d 0h 0m 3s
  More actions for workflow run 48

• add: parallelize trace file discovery

  failed:
  Correctness Checks#47:Commitd32e7b1pushedbyEssoz
  main

  Mar 25, 20262m 31s
  More actions for workflow run 47

• feat: log per-step violation counts to W&B and MLflow

  failed:
  Correctness Checks#46:Commit7d64ac3pushedbyEssoz
  main

  Mar 24, 202649m 49s
  More actions for workflow run 46

• Demo prep/srecon26

  failed:
  Correctness Checks#45:Pull request#136openedbyEssoz
  demo-prep/srecon26

  Mar 20, 20261m 58s
  More actions for workflow run 45

• add installation section to readme

  completed successfully:
  Correctness Checks#44:Commitd6b48fbpushedbyEssoz
  main

  Mar 8, 202637m 47s
  More actions for workflow run 44

• prepare for PyPI release

  completed successfully:
  Correctness Checks#43:Commit752c210pushedbyEssoz
  main

  Mar 8, 202638m 35s
  More actions for workflow run 43

• fix: make sure instrumentation policy numbers are properly passed in

  cancelled:
  Correctness Checks#42:Commita9fe391pushedbyEssoz
  main

  Feb 13, 20268s
  More actions for workflow run 42

• Change mkdocs installation to mkdocs-material

  cancelled:
  Correctness Checks#41:Commit5c79ec6pushedbyEssoz
  main

  Feb 12, 202610s
  More actions for workflow run 41

• add: improved step instrumentation logic

  cancelled:
  Correctness Checks#40:Commit4fe055fpushedbyEssoz
  main

  Feb 12, 202613s
  More actions for workflow run 40

• add: test suite

  cancelled:
  Correctness Checks#39:Commitc683940pushedbyEssoz
  main

  Feb 12, 20261m 6s
  More actions for workflow run 39

• fix incorrect file path in overhead evaluation

  cancelled:
  Correctness Checks#38:Commit54b2149pushedbyEssoz
  main

  Feb 12, 202617s
  More actions for workflow run 38

• fix: remove micro overhead test and check in raw experiment data

  cancelled:
  Correctness Checks#37:Commitca0d20apushedbyEssoz
  main

  Feb 12, 202616s
  More actions for workflow run 37

• add: testing suite related to instrumentation

  cancelled:
  Correctness Checks#36:Commit4feef98pushedbyEssoz
  main

  Feb 12, 202610s
  More actions for workflow run 36