Search results

[Formalization] Remediation of Lean formal model semantic gaps, subtyping incompleteness, and scope relations

Status: Open.

#60 In auths-dev/auths-proof;

· bordumb opened on Jul 31, 2026

Defer predecessor custody and Secure Enclave implementation to Phase 11

Status: Open.

#59 In auths-dev/auths-proof;

· bordumb opened on Jul 31, 2026

Consolidate public product and package naming under Auths

Status: Open.

#54 In auths-dev/auths-proof;

· bordumb opened on Jul 31, 2026

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

Status: Open.

#51 In auths-dev/auths-proof;

· bordumb opened on Jul 31, 2026

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

Status: Open.

#50 In auths-dev/auths-proof;

· bordumb opened on Jul 31, 2026

CI: safely regenerate and commit formal qualification artifacts for trusted PRs

Status: Open.

#27 In auths-dev/auths-proof;

· bordumb opened on Jul 30, 2026

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

Status: Open.

#26 In auths-dev/auths-proof;

· bordumb opened on Jul 30, 2026

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

Status: Open.

#22 In auths-dev/auths-proof;

· bordumb opened on Jul 30, 2026

Execute post-Milestone 6 productization and release plan

Status: Open.

#21 In auths-dev/auths-proof;

· bordumb opened on Jul 29, 2026

Harden the Radicle authorization workflow and make its guarantees externally verifiable

Status: Open.

#13 In auths-dev/auths-proof;

· bordumb opened on Jul 28, 2026

Extend formal refinement across rich Rust-to-algebra projections

Status: Open.

#10 In auths-dev/auths-proof;

· bordumb opened on Jul 27, 2026