All workflows

Workflow runs

• docs: refresh counts and divergence status after Step BD

  completed successfully:
  Differential verification#8:Commitbf86f8cpushedbyfrancescotinti
  main

  Sep 30, 20261m 35s
  More actions for workflow run 8

• fix(binary-diag): route binary-match diagnostic to stderr and count a…

  completed successfully:
  Differential verification#7:Commit7865f61pushedbyfrancescotinti
  main

  Sep 30, 20261m 5s
  More actions for workflow run 7

• docs(step-bd): author SPEC for binary-match diagnostics (LOCKED)

  completed successfully:
  Differential verification#6:Commit8ccbc91pushedbyfrancescotinti
  main

  Sep 30, 20261m 26s
  More actions for workflow run 6

• docs(audit): approve post-anchor commits ab26dc4..f2710b4 (anchor f27…

  completed successfully:
  Differential verification#5:Commit9294ac9pushedbyfrancescotinti
  main

  Sep 30, 20261m 26s
  More actions for workflow run 5

• docs: add repository CLAUDE.md for the published rgrep checkout

  completed successfully:
  Differential verification#4:Commitf2710b4pushedbyfrancescotinti
  main

  Sep 30, 20261m 38s
  More actions for workflow run 4

• docs: reorganize experiment documentation into TODO, DONE and ARCHITE…

  completed successfully:
  Differential verification#3:Commit9e9a09apushedbyfrancescotinti
  main

  Sep 30, 20261m 21s
  More actions for workflow run 3

• docs: publish experiment plans audits diaries and historical scripts

  completed successfully:
  Differential verification#2:Commit92285c7pushedbyfrancescotinti
  main

  Sep 30, 20261m 19s
  More actions for workflow run 2

• test(gnu): make oracle coverage and known differences explicit

  failed:
  Differential verification#1:Commit3e9d38fpushedbyfrancescotinti
  main

  Sep 30, 20261m 9s
  More actions for workflow run 1