Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• feat(quandledb): end-to-end KRL query pipeline — evaluator, fault tol…

  failed:
  Mirror to Git Forges#158:Commitafd3220pushedbyhyperpolymath
  main

  Apr 12, 20263m 13s
  More actions for workflow run 158

• feat(quandledb/krl): implement KRL parser suite — Lexer, AST, Parser,…

  failed:
  Mirror to Git Forges#157:Commitfe44933pushedbyhyperpolymath
  main

  Apr 12, 20264m 35s
  More actions for workflow run 157

• fix(lithoglyph): migrate Zig 0.15.2 API changes across core-zig and g…

  failed:
  Mirror to Git Forges#156:Commit260dc69pushedbyhyperpolymath
  main

  Apr 12, 20264m 34s
  More actions for workflow run 156

• chore(a2ml-migration): rename .scm → .a2ml in lithoglyph + gql-dt

  failed:
  Mirror to Git Forges#155:Commit2bf4009pushedbyhyperpolymath
  main

  Apr 12, 20264m 24s
  More actions for workflow run 155

• fix(project): remove circular KRLAdapter dep from Project.toml

  failed:
  Mirror to Git Forges#154:Commit413aa0bpushedbyhyperpolymath
  main

  Apr 12, 20263m 8s
  More actions for workflow run 154

• feat(verisim-api): POST /proof_attempts auth guard + pagination offset

  failed:
  Mirror to Git Forges#153:Commit403e760pushedbyhyperpolymath
  main

  Apr 12, 20263m 4s
  More actions for workflow run 153

• test(quandledb): add property-based quandle axiom and Reidemeister in…

  failed:
  Mirror to Git Forges#152:Commit27debe9pushedbyhyperpolymath
  main

  Apr 12, 20263m 5s
  More actions for workflow run 152

• chore(v-sweep): delete V-lang VeriSimDB client source

  failed:
  Mirror to Git Forges#151:Commitf546e6cpushedbyhyperpolymath
  main

  Apr 12, 20263m 53s
  More actions for workflow run 151

• docs(v-migration): deprecate V-lang VeriSimDB client — point to Rust

  failed:
  Mirror to Git Forges#150:Commit131e41bpushedbyhyperpolymath
  main

  Apr 12, 20263m 4s
  More actions for workflow run 150

• chore(naming): estate-wide VQL → VCL + VCL-DT/dt++ → VCL-UT rename sweep

  failed:
  Mirror to Git Forges#149:Commita4480aepushedbyhyperpolymath
  main

  Apr 11, 20262m 55s
  More actions for workflow run 149

• chore(rename): VQL → VCL + VQL-dt++ → VCL-UT estate-wide

  failed:
  Mirror to Git Forges#148:Commit3396542pushedbyhyperpolymath
  main

  Apr 11, 20263m 6s
  More actions for workflow run 148

• feat(proofs/lean4): add V6 WAL integrity — sequence monotonicity + re…

  failed:
  Mirror to Git Forges#147:Commit850c869pushedbyhyperpolymath
  main

  Apr 11, 20262m 55s
  More actions for workflow run 147

• feat(proofs/lean4): add V4 Raft consensus safety — single-node commit…

  failed:
  Mirror to Git Forges#146:Commitb20a347pushedbyhyperpolymath
  main

  Apr 11, 20263m 43s
  More actions for workflow run 146

• docs(proofs): V7 provenance chain immutability — DONE

  failed:
  Mirror to Git Forges#145:Commitc64d76bpushedbyhyperpolymath
  main

  Apr 11, 20263m 6s
  More actions for workflow run 145

• proof(V7): provenance chain immutability — hash chain + monotonic tim…

  failed:
  Mirror to Git Forges#144:Commit60b2124pushedbyhyperpolymath
  main

  Apr 11, 20263m 40s
  More actions for workflow run 144

• docs(proofs): update PROOF-NEEDS.md — Obj.magic eliminated, V11/V12 I…

  failed:
  Mirror to Git Forges#143:Commit0639514pushedbyhyperpolymath
  main

  Apr 11, 20263m 3s
  More actions for workflow run 143

• docs: update manifest + EXPLAINME for CLI consumer + package

  failed:
  Mirror to Git Forges#142:Commitc632159pushedbyhyperpolymath
  main

  Apr 11, 20263m 6s
  More actions for workflow run 142

• chore(state): mark 100% complete, clear next-actions

  failed:
  Mirror to Git Forges#141:Commit9b85352pushedbyhyperpolymath
  main

  Apr 11, 20262m 58s
  More actions for workflow run 141

• chore(cli): gitignore Zig build artifacts, rm cached cache+out

  failed:
  Mirror to Git Forges#140:Commit0a80117pushedbyhyperpolymath
  main

  Apr 11, 20263m 6s
  More actions for workflow run 140

• feat(pkg): promote verisim-modular-experiment to shippable Julia package

  failed:
  Mirror to Git Forges#139:Commitcc38b06pushedbyhyperpolymath
  main

  Apr 11, 20262m 58s
  More actions for workflow run 139

• feat(riii): wire _riii_neighbors via KnotTheory.jl r3_simplify

  failed:
  Mirror to Git Forges#138:Commit7bfd6d6pushedbyhyperpolymath
  main

  Apr 11, 20263m 16s
  More actions for workflow run 138

• fix(p3): update stale Rust API consumers + fix KRaft flaky tests

  failed:
  Mirror to Git Forges#137:Commit327c493pushedbyhyperpolymath
  main

  Apr 11, 20263m 6s
  More actions for workflow run 137

• feat(vcl/tropical): ProofOptimalAssignment clause + TropicalDetermina…

  failed:
  Mirror to Git Forges#136:Commit15b19ccpushedbyhyperpolymath
  main

  Apr 11, 20263m 1s
  More actions for workflow run 136

• fix(p1): VCLTypeChecker ArgumentError + null-byte sanitisation in VCL…

  failed:
  Mirror to Git Forges#135:Commitab29f77pushedbyhyperpolymath
  main

  Apr 11, 20263m 0s
  More actions for workflow run 135

• refactor(rename): VQL → VCL (VeriSim Consonance Language) — complete …

  failed:
  Mirror to Git Forges#134:Commit5cbd874pushedbyhyperpolymath
  main

  Apr 11, 20263m 7s
  More actions for workflow run 134