formal-verification

Workflow runs for formal-verification

• formal-verification

  completed successfully:
  formal-verification#5770:Scheduled
  main

  Oct 14, 202621m 21s
  More actions for workflow run 5770

• formal-verification

  completed successfully:
  formal-verification#5769:Scheduled
  main

  Oct 13, 202629m 11s
  More actions for workflow run 5769

• docs(paper): ESWC 2027 submission variant of the ZK paper

  completed successfully:
  formal-verification#5768:Pull request#6834synchronizebyjeswr
  claude/zk-paper-eswc

  Oct 12, 202643m 3s
  More actions for workflow run 5768

• docs(paper): ESWC 2027 submission variant of the ZK paper

  cancelled:
  formal-verification#5767:Pull request#6834openedbyjeswr
  claude/zk-paper-eswc

  Oct 12, 20266m 59s
  More actions for workflow run 5767

• formal-verification

  completed successfully:
  formal-verification#5766:Scheduled
  main

  Oct 12, 202621m 49s
  More actions for workflow run 5766

• docs(paper): restructure ZK paper around credentials-first narrative

  completed successfully:
  formal-verification#5765:Pull request#6644synchronizebyjeswr
  claude/zk-paper-narrative

  Oct 11, 202631s
  More actions for workflow run 5765

• formal-verification

  completed successfully:
  formal-verification#5764:Scheduled
  main

  Oct 11, 202621m 37s
  More actions for workflow run 5764

• docs(paper): restructure ZK paper around credentials-first narrative

  completed successfully:
  formal-verification#5763:Pull request#6644synchronizebyjeswr
  claude/zk-paper-narrative

  Oct 10, 20267m 46s
  More actions for workflow run 5763

• docs(paper): restructure ZK paper around credentials-first narrative

  completed successfully:
  formal-verification#5762:Pull request#6644synchronizebyjeswr
  claude/zk-paper-narrative

  Oct 10, 202619m 55s
  More actions for workflow run 5762

• docs(paper): restructure ZK paper around credentials-first narrative

  completed successfully:
  formal-verification#5761:Pull request#6644synchronizebyjeswr
  claude/zk-paper-narrative

  Oct 10, 202617m 35s
  More actions for workflow run 5761

• formal-verification

  completed successfully:
  formal-verification#5760:Scheduled
  main

  Oct 10, 202617m 29s
  More actions for workflow run 5760

• formal-verification

  completed successfully:
  formal-verification#5759:Scheduled
  main

  Oct 9, 202619m 8s
  More actions for workflow run 5759

• fix(engine): exact computed ORDER BY keys, PATHS explain endpoints, entailment dataset guard

  cancelled:
  formal-verification#5758:Pull request#6665synchronizebyjeswr
  fix/engine-batch-2

  Oct 5, 20263m 57s
  More actions for workflow run 5758

• fix(engine): exact computed ORDER BY keys, PATHS explain endpoints, entailment dataset guard

  cancelled:
  formal-verification#5757:Pull request#6665openedbyjeswr
  fix/engine-batch-2

  Oct 5, 202618s
  More actions for workflow run 5757

• feat(sparq-lws-core): sparq-lws-core: wire per-resource WAC into notification subscribe/receive (the

  cancelled:
  formal-verification#5756:Pull request#6388synchronizebyjeswr
  sparq-agent/issue-6071-33813126681-1

  Oct 5, 20269m 5s
  More actions for workflow run 5756

• fix: small misc fixes (substrate comment, pred_stats heap accounting, docs nav, virtuoso isql port)

  cancelled:
  formal-verification#5755:Pull request#6664openedbyjeswr
  fix/issues-misc-small

  Oct 5, 202611m 0s
  More actions for workflow run 5755

• perf(engine): indexed top-k ORDER BY for star BGPs, with #6465 regressions fixed (carries #5983)

  completed successfully:
  formal-verification#5754:Pull request#6660synchronizebyjeswr
  fix/indexed-topk-5983

  Oct 5, 20262h 57m 37s
  More actions for workflow run 5754

• build(release): crates.io-ready publish set (12 crates + sparq-spargebra fork)

  cancelled:
  formal-verification#5753:Pull request#6663openedbyjeswr
  claude/crates-io-readiness

  Oct 5, 202614m 53s
  More actions for workflow run 5753

• feat(gui): GUI: Import drawer — real disk/URL/paste ingest into the active workspace vi (sq-ixc3.13)

  completed successfully:
  formal-verification#5752:Pull request#6255reopenedbyjeswr
  sparq-agent/issue-2949-33645414606-1

  Oct 5, 20262h 22m 39s
  More actions for workflow run 5752

• docs(specs): land the trust-expression spec and the code-grounded zkSPARQL rewrite

  cancelled:
  formal-verification#5751:Pull request#6652synchronizebyjeswr
  claude/zksparql-spec-port

  Oct 5, 202615m 22s
  More actions for workflow run 5751

• fix(sparq-zk): Implement the noir#13314 constraint-level guard specified in research/noir-bounded-ve

  cancelled:
  formal-verification#5750:Pull request#5714synchronizebyjeswr
  sparq-agent/issue-5668-30746973956-1

  Oct 5, 202615m 24s
  More actions for workflow run 5750

• fix(vc): match W3C EdDSA RDF proof configuration

  cancelled:
  formal-verification#5749:Pull request#6585synchronizebyjeswr
  codex/vc-eddsa-rdfc-vectors

  Oct 5, 202615m 25s
  More actions for workflow run 5749

• perf(engine): indexed top-k ORDER BY for star BGPs, with #6465 regressions fixed (carries #5983)

  cancelled:
  formal-verification#5748:Pull request#6660synchronizebyjeswr
  fix/indexed-topk-5983

  Oct 5, 20261m 3s
  More actions for workflow run 5748

• docs(sparq-core): fix no-default-features rustdoc (unresolved mmap-gated links)

  cancelled:
  formal-verification#5747:Pull request#6662openedbyjeswr
  fix/core-nodefault-rustdoc

  Oct 5, 202615m 54s
  More actions for workflow run 5747

• fix(client,site,gui): model RDF 1.2 triple terms; preload hashed engine wasm on /app

  cancelled:
  formal-verification#5746:Pull request#6661openedbyjeswr
  fix/issues-js-site-wasm

  Oct 5, 202615m 56s
  More actions for workflow run 5746