Issues

• Seeking an independently owned PoCI witness operator

  safal207/ProofPath#203 · Filter by author safal207 opened on Jul 31, 2026
  2

• P1: Map PoCI adapters to CML, LTP/T-Trace, LiminalDB, and Ibex

  safal207/ProofPath#191 · Filter by author safal207 opened on Jul 30, 2026
  5

  

• P0: Build runnable PoCI end-to-end evidence demo

  safal207/ProofPath#190 · Filter by author safal207 opened on Jul 30, 2026
  1

  

• P0: Define PoCI threat model and challenge taxonomy

  safal207/ProofPath#189 · Filter by author safal207 opened on Jul 30, 2026
  1

  

• P0: Add PoCI validation and cross-language checks to CI

  safal207/ProofPath#188 · Filter by author safal207 opened on Jul 30, 2026
  2

  

• P0: Build PoCI conformance and determinism test suite

  safal207/ProofPath#187 · Filter by author safal207 opened on Jul 30, 2026
  1

  

• P1: Extend Rust verifier with PoCI envelope validation

  safal207/ProofPath#186 · Filter by author safal207 opened on Jul 30, 2026
  2

  

• P0: Implement Python PoCI reference verifier

  safal207/ProofPath#185 · Filter by author safal207 opened on Jul 30, 2026
  1

  

• P0: Add PoCI reference and adversarial fixture corpus

  safal207/ProofPath#184 · Filter by author safal207 opened on Jul 30, 2026
  1

  

• P0: Specify deterministic canonicalization and evidence hashing

  safal207/ProofPath#183 · Filter by author safal207 opened on Jul 30, 2026
  

• P0: Define Action Proof Envelope v0.1 JSON Schema

  safal207/ProofPath#182 · Filter by author safal207 opened on Jul 30, 2026
  

• P0: Specify PoCI v0.1 protocol and decision semantics

  safal207/ProofPath#181 · Filter by author safal207 opened on Jul 30, 2026
  

• Epic: Proof of Causal Integrity v0.1 vertical slice

  safal207/ProofPath#180 · Filter by author safal207 opened on Jul 30, 2026
  9

  

• Evidence bundle v0.2: signed causal receipts

  enhancementresearch
  safal207/ProofPath#165 · Filter by author safal207 opened on Jun 15, 2026

• [NGI TALER] Milestone 5 — Documentation and community review

  grantmilestoneNGI TALER
  safal207/ProofPath#163 · Filter by author safal207 opened on Jun 2, 2026

• [NGI TALER] Milestone 4 — CLI API and integration notes

  grantmilestoneNGI TALER
  safal207/ProofPath#162 · Filter by author safal207 opened on Jun 2, 2026
  1

• [NGI TALER] Milestone 3 — Evidence bundle and offline verifier

  grantmilestoneNGI TALER
  safal207/ProofPath#161 · Filter by author safal207 opened on Jun 2, 2026
  3

• [NGI TALER] Milestone 2 — Core payment guard engine

  grantmilestoneNGI TALER
  safal207/ProofPath#160 · Filter by author safal207 opened on Jun 2, 2026

• [NGI TALER] Milestone 1 — Signed intent envelope and threat model

  grantmilestoneNGI TALER
  safal207/ProofPath#159 · Filter by author safal207 opened on Jun 2, 2026

• Roadmap: ProofPath Guard Service v0.1 near-prod path

  agent-safetyenhancementroadmap
  safal207/ProofPath#142 · Filter by author safal207 opened on May 26, 2026

• Start here: ProofPath v0.1 product path

  productreviewerstart-herev0.1
  safal207/ProofPath#119 · Filter by author safal207 opened on May 17, 2026

• Add live action-boundary metrics workflow

  cievidencemetricsreviewer
  safal207/ProofPath#110 · Filter by author safal207 opened on May 17, 2026

• Compute Witness: optional Rust verifier integration spike

  compute-witnessdesignrust
  safal207/ProofPath#69 · Filter by author safal207 opened on May 16, 2026

• Add code graph impact evidence integration

  documentationenhancementprotocolsecurity
  safal207/ProofPath#57 · Filter by author safal207 opened on May 12, 2026

• Document full-lifecycle AI agent safety stack positioning

  documentationenhancement
  safal207/ProofPath#56 · Filter by author safal207 opened on May 11, 2026