Search results

Object capabilities for capsec-std and capsec-tokio?

Status: Open.

#62 In auths-dev/capsec;

· JonasCir opened on Mar 25, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#61 In auths-dev/capsec;

· bordumb opened on Mar 25, 2026

feat: watch mode

Status: Open.

#57 In auths-dev/capsec;

· bordumb opened on Mar 24, 2026

feat: capability index for crates.io

Status: Open.

#56 In auths-dev/capsec;

· bordumb opened on Mar 24, 2026

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

enhancementNew feature or requestNew feature or request

Status: Open.

#53 In auths-dev/capsec;

· bordumb opened on Mar 24, 2026

Harden SealProof and engineer non-transitive authority

enhancementNew feature or requestNew feature or request

Status: Open.

#46 In auths-dev/capsec;

· bordumb opened on Mar 23, 2026

Roadmap: Complete mediation — from lint plugin to Rust RFC

enhancementNew feature or requestNew feature or request

Status: Open.

#44 In auths-dev/capsec;

· bordumb opened on Mar 22, 2026

RFC: Rustc lint plugin for ambient authority detection

Status: Open.

#43 In auths-dev/capsec;

· bordumb opened on Mar 22, 2026

Expand capsec-std and capsec-tokio wrapper coverage

Status: Open.

#20 In auths-dev/capsec;

· bordumb opened on Mar 19, 2026

Refactor: unify permission lists via all_permissions! callback macro

Status: Open.

#16 In auths-dev/capsec;

· bordumb opened on Mar 18, 2026