Issues

• Early access: CounterProof Skill Mode × Skills Manager — compatibility and proof cases wanted

  hippoley/CounterProof#201 · Filter by author hippoley opened on Oct 19, 2026
  1

• Outcome Witness experiment: executable external-outcome evidence vectors for SCITT/AEB boundaries

  hippoley/CounterProof#180 · Filter by author hippoley opened on Oct 8, 2026
  2

• Governance node: ITE #63 machine-readable evidence admission

  hippoley/CounterProof#158 · Filter by author hippoley opened on Oct 7, 2026
  3

• Interop handoff: keep checker-local and corpus revision identities separate

  hippoley/CounterProof#152 · Filter by author hippoley opened on Oct 7, 2026
  1

• Interop node: in-toto predicate conformance lifecycle and freshness

  hippoley/CounterProof#148 · Filter by author hippoley opened on Oct 7, 2026
  3

• Standards boundary note: in-toto AI provenance vs claim proof

  hippoley/CounterProof#131 · Filter by author hippoley opened on Oct 7, 2026
  2

• Reality handoff: deliver ScanCode #2207 behavior receipt upstream

  hippoley/CounterProof#129 · Filter by author hippoley opened on Oct 7, 2026

• Boundary probe: can agent-done-or-not receipts feed BASE→HEAD review evidence?

  hippoley/CounterProof#82 · Filter by author hippoley opened on Sep 28, 2026
  5

• Boundary probe: should claimproof runtime receipts stay ephemeral or become reusable PR evidence?

  hippoley/CounterProof#64 · Filter by author hippoley opened on Sep 26, 2026
  4

• Reality probe: Vercel AI #17096 has one real witness, one non-witness test, and an unverified production oracle

  hippoley/CounterProof#48 · Filter by author hippoley opened on Sep 24, 2026

• Reality interview: what part of Mem0 #6516's evidence workflow is actually worth automating?

  hippoley/CounterProof#46 · Filter by author hippoley opened on Sep 24, 2026

• Reality probe: Cognee #5161 passes local prune tests but the end-to-end claim is contradicted

  hippoley/CounterProof#45 · Filter by author hippoley opened on Sep 24, 2026

• Reality probe: should evidence provenance be a gate before claim semantics?

  hippoley/CounterProof#41 · Filter by author hippoley opened on Sep 24, 2026
  3

• Reality probe: CounterProof claim evidence can already enter PR-Agent via [artifacts]

  hippoley/CounterProof#40 · Filter by author hippoley opened on Sep 24, 2026

• Reality probe: existing tests + environment can witness a fix even when the PR changes no tests

  reality-probe
  hippoley/CounterProof#32 · Filter by author hippoley opened on Sep 24, 2026

• Neighbor probe: ProofPR → CounterProof → Fowlcon as a reviewer evidence chain?

  hippoley/CounterProof#31 · Filter by author hippoley opened on Sep 24, 2026
  3

• Reality probe: did Prefect #22698 now prove the two concerns from human review?

  hippoley/CounterProof#30 · Filter by author hippoley opened on Sep 24, 2026

• Reality probe: Continue #12627 says regression tests were added, but current HEAD has no test diff

  hippoley/CounterProof#24 · Filter by author hippoley opened on Sep 24, 2026

• Reality probe: ownership evidence can be strong while production reproduction is still absent

  hippoley/CounterProof#20 · Filter by author hippoley opened on Sep 24, 2026
  1

• Bring me an agent PR you don't trust

  good first issuehelp wantedreality-probe
  hippoley/CounterProof#17 · Filter by author hippoley opened on Sep 24, 2026

• Reality probe: is red→green evidence misleading when the test oracle disagrees with the product?

  hippoley/CounterProof#16 · Filter by author hippoley opened on Sep 24, 2026
  8

• Reality probe: when the PR fixes the test harness itself, should proof be withheld?

  hippoley/CounterProof#15 · Filter by author hippoley opened on Sep 24, 2026