Issues

• Object capabilities for capsec-std and capsec-tokio?

  auths-dev/capsec#62 · Filter by author JonasCir opened on Mar 25, 2026
  3

• Explore formal foundations: authority lattice, incremental graph reachability, abstract interpretation

  enhancement
  auths-dev/capsec#61 · Filter by author bordumb opened on Mar 25, 2026

• feat: watch mode

  auths-dev/capsec#57 · Filter by author bordumb opened on Mar 24, 2026

• feat: capability index for crates.io

  auths-dev/capsec#56 · Filter by author bordumb opened on Mar 24, 2026
  

• feat: auto-generate authority pattern list from std's MIR

  enhancement
  auths-dev/capsec#53 · Filter by author bordumb opened on Mar 24, 2026

• Harden SealProof and engineer non-transitive authority

  enhancement
  auths-dev/capsec#46 · Filter by author bordumb opened on Mar 23, 2026

• Roadmap: Complete mediation — from lint plugin to Rust RFC

  enhancement
  auths-dev/capsec#44 · Filter by author bordumb opened on Mar 22, 2026

• RFC: Rustc lint plugin for ambient authority detection

  auths-dev/capsec#43 · Filter by author bordumb opened on Mar 22, 2026

• Expand capsec-std and capsec-tokio wrapper coverage

  auths-dev/capsec#20 · Filter by author bordumb opened on Mar 19, 2026

• Refactor: unify permission lists via all_permissions! callback macro

  auths-dev/capsec#16 · Filter by author bordumb opened on Mar 18, 2026