anivar

anivar/decern

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

0 stars 0 forks 0 watchers Rust Apache License 2.0
View on GitHub
10 Open Issues Need Help Last updated: Aug 1, 2026

Open Issues Need Help

View All on GitHub
SDK: a Go client for the AuthZEN PDP about 16 hours ago
help wanted good first issue
anivar/decern
0

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

Rust
Enforcement adapter: put decern behind an HTTP/gRPC gateway 3 days ago
help wanted
anivar/decern
0

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

Rust
CLI: verify a ledger file against an external anchor 3 days ago
help wanted
anivar/decern
0

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

Rust
Real-time revocation + a signed kill-switch feed 3 days ago
enhancement help wanted
anivar/decern
0

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

Rust
Authority-graph tooling: revocation blast-radius + graph export 3 days ago
enhancement help wanted
anivar/decern
0

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

Rust
`decern explain` — a "why" for any decision 3 days ago
enhancement help wanted
anivar/decern
0

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

Rust
Expand README with a getting-started walkthrough 3 days ago
documentation good first issue
anivar/decern
0

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

Rust
TypeScript client SDK for the /decide PDP 3 days ago
help wanted sdk
anivar/decern
0

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

Rust
Python client SDK for the /decide PDP 3 days ago
help wanted sdk
anivar/decern
0

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

Rust
Add a negative-control test for each of the 9 invariants 3 days ago
good first issue proof testing
anivar/decern
0

Proven authorization: a deterministic kernel whose safety invariants are machine-checked over every input, with a tamper-evident decision ledger. Apache-2.0, pure Rust.

Rust