shield.contracts¶

Bases: Generic[EnvState]

Contract profile together with its certificate artifacts and masks.

Generated local-obligation candidates and their assignable agent scopes.

Bases: ContractError

Raised when a contract profile cannot be certified.

Bases: RuntimeError

Base error for contract-profile synthesis and certification.

Bases: Generic[EnvState]

Finite ordered library of certified contract profiles available to learning.

Tuple of per-agent local obligations, also called a SafeLTL contract.

Configuration for bounded local-obligation search and certification.

Candidate SafeLTL formula that may become one agent's local obligation.