agentic-identity 0.1.1

Cryptographic identity anchor for AI agents — persistent identity, signed actions, revocable trust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! Negative capability — proofs of structural impossibility.
//!
//! The negative module provides:
//! - Proofs that an agent CANNOT do something (by structure, not policy)
//! - Ceiling-based impossibility (not in capabilities ceiling)
//! - Lineage-based impossibility (no ancestor has capability)
//! - Spawn exclusion proofs (explicitly excluded at spawn)
//! - Voluntary negative declarations (self-imposed restrictions)
//! - Verification of negative proofs

pub mod engine;
pub mod types;

pub use types::{
    DeclarationId, ImpossibilityReason, NegativeCapabilityProof, NegativeDeclaration,
    NegativeEvidence, NegativeProofId, NegativeVerification,
};

pub use engine::{
    declare_cannot, get_impossibilities, is_impossible, list_declarations, prove_cannot,
    verify_negative_proof,
};