All workflows

Workflow runs

• Establish the evidence-gated executable logic museum and Lean oracle

  failed:
  ci#59:Pull request#2synchronizebySMC17
  agent/museum-trust-frontier

  Aug 20, 20267m 14s
  More actions for workflow run 59

• fix: Zig 0.16 compile and f32-exact tests on the museum spine (#8)

  failed:
  ci#58:Commit1098ae1pushedbySMC17
  main

  Aug 20, 20262m 7s
  More actions for workflow run 58

• fix: Zig 0.16 compile and f32-exact museum tests

  failed:
  ci#57:Pull request#8openedbySMC17
  fix/zig-016-compile

  Aug 20, 20262m 2s
  More actions for workflow run 57

• docs: visitor README as museum / agent-trust kernel

  failed:
  ci#56:Commit4a9dbbapushedbySMC17
  main

  Aug 20, 202633s
  More actions for workflow run 56

• docs: visitor README as museum / agent-trust kernel

  failed:
  ci#55:Pull request#7openedbySMC17
  docs/visitor-readme

  Aug 20, 202631s
  More actions for workflow run 55

• chore: wire v0.24 residual modules + STATUS — Zig-side complete

  failed:
  ci#54:Commitf5dbad3pushedbySMC17
  main

  Aug 4, 202620s
  More actions for workflow run 54

• fix: pairwise.zig doc comment typo

  failed:
  ci#53:Commit657318epushedbySMC17
  main

  Aug 4, 202619s
  More actions for workflow run 53

• feat: close residual depth — pairwise blocking, HO pattern unify, WPL…

  failed:
  ci#52:Commit8bca05epushedbySMC17
  main

  Aug 4, 202626s
  More actions for workflow run 52

• chore: registry v0.23 — cert, shiq tableau, lifted MLN, HOL resolution

  failed:
  ci#51:Commitacb7aa6pushedbySMC17
  main

  Aug 4, 202623s
  More actions for workflow run 51

• chore: wire v0.23 modules into root + registry + STATUS

  failed:
  ci#50:Commitbfe420apushedbySMC17
  main

  Aug 4, 202625s
  More actions for workflow run 50

• feat: modal certificates, SHIQ blocking tableau, lifted MLN, HOL reso…

  failed:
  ci#49:Commitc4f2023pushedbySMC17
  main

  Aug 4, 202619s
  More actions for workflow run 49

• chore: registry v0.22 — HOL, categorical, modal T/S4/S5 decision

  failed:
  ci#48:Commit52b98dcpushedbySMC17
  main

  Aug 4, 202626s
  More actions for workflow run 48

• chore: export hol, categorical, modal_normal from root

  failed:
  ci#47:Commit598e3c3pushedbySMC17
  main

  Aug 4, 202630s
  More actions for workflow run 47

• chore: wire HOL/categorical/modal-normal + CITATION.cff + STATUS 0.22

  failed:
  ci#46:Commitf9074f0pushedbySMC17
  main

  Aug 4, 202626s
  More actions for workflow run 46

• feat: HOL micro, categorical logic, modal T/S4/S5 decision, CITATION …

  failed:
  ci#45:Commit86b2c44pushedbySMC17
  main

  Aug 4, 202634s
  More actions for workflow run 45

• chore: raise relevance-r to fragment

  failed:
  ci#44:Commit3b9fe3epushedbySMC17
  main

  Aug 4, 202621s
  More actions for workflow run 44

• chore: export relevance logic from root

  failed:
  ci#43:Commite9d3b4epushedbySMC17
  main

  Aug 4, 202626s
  More actions for workflow run 43

• feat: relevance logic R fragment + CHANGELOG 0.21 + issue templates

  failed:
  ci#42:Commit5179a3apushedbySMC17
  main

  Aug 4, 202632s
  More actions for workflow run 42

• docs: world-class project surface — README, GRAPH, SECURITY, CoC, STA…

  failed:
  ci#41:Commitcb5b2e2pushedbySMC17
  main

  Aug 4, 202622s
  More actions for workflow run 41

• chore: registry v0.21 — focusing, SHIQ, MLN, MUS abduction

  failed:
  ci#40:Commit5e877b9pushedbySMC17
  main

  Aug 4, 202628s
  More actions for workflow run 40

• chore: wire focusing/SHIQ/MLN/MUS into root + registry; STATUS 0.21.0

  failed:
  ci#39:Commit295b900pushedbySMC17
  main

  Aug 4, 202621s
  More actions for workflow run 39

• feat: focusing prover, SHIQ, Markov logic, complete MUS abduction (v0…

  failed:
  ci#38:Commit006e113pushedbySMC17
  main

  Aug 4, 202632s
  More actions for workflow run 38

• chore: registry v0.20 — raise remaining edges to fragment

  failed:
  ci#37:Commitb52bf3apushedbySMC17
  main

  Aug 4, 202626s
  More actions for workflow run 37

• chore: wire v0.20 modules into root + registry + STATUS

  failed:
  ci#36:Commit09e9fcbpushedbySMC17
  main

  Aug 4, 202628s
  More actions for workflow run 36

• feat: ALC description logic, automated sequent search, industrial abd…

  failed:
  ci#35:Commitb4b168epushedbySMC17
  main

  Aug 4, 202622s
  More actions for workflow run 35