ABVX Lab
ABVX control plane

Proof queue

Read-only queue for proof-loop contracts, evidence bundles, blockers, and review-ready tasks.

This surface helps separate proof readiness from the broader planning/operator queue.

PlanningRepo cardsStatusJSON snapshot

Review ready

Proof bundles with complete evidence and no explicit blockers, waiting on human review.

markoblogo/AGENTS.md_generator

Proof queue: review-ready | Workflow sync: drift | Operator queue: review-later

  • Task id: proof-loop-v0
  • Proof status: complete
  • Verdict: needs-review
  • Decision: review-ready
  • Evidence status: complete
  • Review ready: true
  • Ready for apply: false
  • Checks: passed 2, failed 0, pending 0
  • Artifacts: present 2 / total 2
  • Target workflow: .github/workflows/set.yml
Recommendation: Review the captured evidence bundle before marking the task as pass.
PlanningRepo cardsStatusJSON snapshot

Blocked

Proof bundles with explicit blockers or incomplete evidence that should be cleared first.

markoblogo/SET

Proof queue: blocked | Workflow sync: matches | Operator queue: review-later

  • Task id: proof-loop-blocked
  • Proof status: complete
  • Verdict: needs-review
  • Decision: blocked
  • Evidence status: complete
  • Review ready: false
  • Ready for apply: false
  • Checks: passed 1, failed 0, pending 0
  • Artifacts: present 2 / total 2
  • Target workflow: .github/workflows/set.yml
Recommendation: Resolve blockers, refresh evidence, then re-run verdict.
Proof blockers:
  • high: expected proof artifact is missing: docs/ai/proof/manual-review.md
PlanningRepo cardsStatusJSON snapshot

Disabled

Repos that are not using proof-loop yet.

markoblogo/ID

Proof queue: disabled | Workflow sync: drift | Operator queue: review-later

  • Task id: n/a
  • Proof status: disabled
  • Verdict: none
  • Decision: unknown
  • Evidence status: none
  • Review ready: false
  • Ready for apply: false
  • Checks: passed 0, failed 0, pending 0
  • Artifacts: present 0 / total 0
  • Target workflow: .github/workflows/set.yml
PlanningRepo cardsStatusJSON snapshot

markoblogo/decision-map

Proof queue: disabled | Workflow sync: missing | Operator queue: review-later

  • Task id: n/a
  • Proof status: disabled
  • Verdict: none
  • Decision: unknown
  • Evidence status: none
  • Review ready: false
  • Ready for apply: false
  • Checks: passed 0, failed 0, pending 0
  • Artifacts: present 0 / total 0
  • Target workflow: .github/workflows/set.yml
PlanningRepo cardsStatusJSON snapshot

markoblogo/lab.abvx

Proof queue: disabled | Workflow sync: drift | Operator queue: ready-now

  • Task id: n/a
  • Proof status: disabled
  • Verdict: none
  • Decision: unknown
  • Evidence status: none
  • Review ready: false
  • Ready for apply: false
  • Checks: passed 0, failed 0, pending 0
  • Artifacts: present 0 / total 0
  • Target workflow: .github/workflows/set.yml
PlanningRepo cardsStatusJSON snapshot