README- EPermitError
- EScopeError
- TAuditFinding
- TAuditIssueCode
- ::checkedAuditReport::checked
- ::findingsAuditReport::findings
- ::passedAuditReport::passed
- TAuthorizationProof
- ::expires_atBudget::expires_at
- ::max_bytesBudget::max_bytes
- ::max_callsBudget::max_calls
- TCheckedAuthorization
- ::allows_extra_argumentsCommandScope::allows_extra_arguments
- ::argumentsCommandScope::arguments
- ::programCommandScope::program
- TContainment
- TDataClass
- TDiffEntry
- ::budgetEffectRequest::budget
- ::effectEffectRequest::effect
- ::canonicalEffectScope::canonical
- ::budgetGrant::budget
- ::effectGrant::effect
- ::idGrant::id
- TGrantState
- ::canonicalHostScope::canonical
- ::includes_subdomainsHostScope::includes_subdomains
- TNetworkScope
- ::canonicalPathScope::canonical
- ::is_treePathScope::is_tree
- ::canonicalPermit::canonical
- ::grant_countPermit::grant_count
- ::grantsPermit::grants
- ::idPermit::id
- ::entriesPermitDiff::entries
- ::renderPermitDiff::render
- ::requires_approvalPermitDiff::requires_approval
- TProofCheck
- TProofCheckKind
- TProofCheckStatus
- TReasonCode
- ::allowedReceipt::allowed
- ::checkRuntime::check
- ::check_with_proofRuntime::check_with_proof
- ::delegateRuntime::delegate
- ::permit_idRuntime::permit_id
- ::receipt_countRuntime::receipt_count
- ::receiptsRuntime::receipts
- ::remaining_budgetRuntime::remaining_budget
- TVerdict
- Vaudit_receipts
- Vbudget
- Vbudget_contains
- Vbudget_intersection
- Vcommand_contains
- Vcommand_exact
- Vcommand_prefix
- Vcompile_plan
- Vdiff_permits
- Veffect_contains
- Veffect_intersection
- Veffect_request
- Vgrant_contains
- Vhost_and_subdomains
- Vhost_contains
- Vhost_exact
- Vnetwork_contains
- Vnetwork_scope
- Vpath_contains
- Vpath_exact
- Vpath_tree
- Vpermit_contains
- Vruntime
- Vunlimited_budget
Install
Download zipProof-carrying effect plans and least-authority runtime for AI agents
ai-agentauthorizationcapabilitysecuritytooling
Apache-2.0
Updated last month
78 downloads