Issues

• Production custody for gateway observer and Git roots (AP-SPEC-038 Epic 4)

  auths-dev/auths-proof#190 · Filter by author bordumb opened on Sep 28, 2026

• Provider secrets: wipes the compiler may remove, == comparisons, plaintext at rest

  bug
  auths-dev/auths-proof#148 · Filter by author bordumb opened on Sep 23, 2026

• PostgreSQL receipts: host-clock timestamps and an after_state_matches that is always true

  bug
  auths-dev/auths-proof#147 · Filter by author bordumb opened on Sep 23, 2026

• Stripe refund recovery stops at the first 100 refunds; the demo then releases spent budget

  bug
  auths-dev/auths-proof#145 · Filter by author bordumb opened on Sep 23, 2026

• Backlog: validate the generalized gateway across representative demos

  enhancement
  auths-dev/auths-proof#126 · Filter by author bordumb opened on Sep 22, 2026

• Demand-gated: export verified native receipts as in-toto attestations

  auths-dev/auths-proof#122 · Filter by author bordumb opened on Sep 19, 2026

• Test a UCAN mapping against one exact Auths execution workflow

  auths-dev/auths-proof#121 · Filter by author bordumb opened on Sep 19, 2026

• Publish an experimental Auths protocol guide and runnable conformance path

  auths-dev/auths-proof#120 · Filter by author bordumb opened on Sep 19, 2026

• Investigate a TEE-attested principal adapter (Nitro first) to root Auths + Runtime proofs in hardware

  auths-dev/auths-proof#117 · Filter by author bordumb opened on Sep 18, 2026

• Cache pinned Lean dependencies without weakening formal qualification

  auths-dev/auths-proof#112 · Filter by author bordumb opened on Aug 17, 2026

• Position Auths around layered adoption and one clear V1 workflow

  auths-dev/auths-proof#97 · Filter by author bordumb opened on Aug 9, 2026

• Product positioning: make Auths adoptable as layered authority infrastructure

  auths-dev/auths-proof#94 · Filter by author bordumb opened on Aug 9, 2026

• Complete Phase 9 independent review before Full Workflow SDK promotion

  auths-dev/auths-proof#74 · Filter by author bordumb opened on Aug 4, 2026

• Defer predecessor custody and Secure Enclave implementation to Phase 11

  auths-dev/auths-proof#59 · Filter by author bordumb opened on Jul 31, 2026

• Defer profile-kit and proof-exchange from the first SDK release surface

  auths-dev/auths-proof#51 · Filter by author bordumb opened on Jul 31, 2026

• Publish verified Auths RC to GitHub, crates.io, npm, and PyPI (post-gate)

  auths-dev/auths-proof#50 · Filter by author bordumb opened on Jul 31, 2026
  1

• Add theft-resistant proof-of-possession to the records API demo

  auths-dev/auths-proof#26 · Filter by author bordumb opened on Jul 30, 2026

• Build a transport-neutral REST API demo without reusable client API keys

  auths-dev/auths-proof#22 · Filter by author bordumb opened on Jul 30, 2026

• Execute post-Milestone 6 productization and release plan

  auths-dev/auths-proof#21 · Filter by author bordumb opened on Jul 29, 2026

• Harden the Radicle authorization workflow and make its guarantees externally verifiable

  auths-dev/auths-proof#13 · Filter by author bordumb opened on Jul 28, 2026