Expand description
Pure verdict logic for AGI/4 attestation.
This crate contains the core types and verdict function with zero external dependencies beyond serialization. The verdict function is pure and total: given valid input, it always returns a verdict with no panics or side effects.
Re-exports§
pub use conjunct::Conjunct;pub use conjunct::ConjunctStatus;pub use evaluators::evaluate_autonomous_agency;pub use evaluators::evaluate_economic_substitutability;pub use evaluators::evaluate_environmental_transfer;pub use evaluators::evaluate_generality;pub use evidence::Evidence;pub use verdict::Verdict;pub use verdict::verdict;
Modules§
- conjunct
- Conjunct definitions and status enumeration.
- consistency
- Cross-conjunct consistency check.
- evaluators
- Per-conjunct evaluation functions.
- evidence
- Evidence types representing upstream benchmark measurements.
- threshold
- Threshold constants from SPEC.md §3.
- verdict
- Verdict function and verdict enumeration.