portcullis-1.0.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

portcullis 1.0.0

A quotient lattice for AI agent permissions that prevents the 'uninhabitable state'

Crate
Source
Builds
Feature flags

examples
profiles
proptest-regressions
src
tests
.cargo_vcs_info.json
build.rs
Cargo.lock
Cargo.toml
Cargo.toml.orig
LICENSE-APACHE
LICENSE-MIT
README.md
SECURITY.md
THREAT_MODEL.md

1
2
3

fn main() {
    println!("cargo:rustc-check-cfg=cfg(kani)");
}