# specifications

Formal consensus properties, weighted quorum consensus, and bidirectional MAS theory mappings.

::: agenticraft_foundation.specifications
    options:
      show_root_heading: false
      members: false

## Submodules

| Module | Description |
|--------|-------------|
| [`consensus_spec`](consensus-spec.md) | Consensus properties — Agreement, Validity, Integrity, Termination |
| [`weighted_consensus_spec`](weighted-consensus.md) | Weighted quorum consensus with $2W/3$ threshold |
| [`mas_mappings`](mas-mappings.md) | MAS theory mappings — BDI, Joint Intentions, SharedPlans, Contract Net |
