# Soteris Developer Docs > Developer documentation for Soteris engagement states, records, and verification. - [Overview](https://docs.soterislabs.xyz/start/overview.md): How Soteris makes assurance operational with explicit engagement states and agent-prepared work under human review authority with verifiable releases. - [Integration surfaces](https://docs.soterislabs.xyz/start/integration-surfaces.md): The ways a partner system touches Soteris, and the status of each. - [Access model](https://docs.soterislabs.xyz/start/access-model.md): Who can reach which surface, and why access is not the same as disclosure. - [Agent guide](https://docs.soterislabs.xyz/start/agent-guide.md): Safe tasks, stop conditions, and the read path for AI agents. - [Disclosure boundary](https://docs.soterislabs.xyz/start/disclosure-boundary.md): What these docs publish, what stays private, and the test every page passes. - [Lifecycle overview](https://docs.soterislabs.xyz/workflow/lifecycle-overview.md): The engagement state machine: forward path, exception paths, and where each is specified. - [Public states](https://docs.soterislabs.xyz/workflow/public-states.md): The partner-safe state vocabulary and how to read the opaque ones. - [State transitions](https://docs.soterislabs.xyz/workflow/state-transitions.md): The forward path: each transition's direction, trigger, and authority. - [Exception paths](https://docs.soterislabs.xyz/workflow/exception-paths.md): Rejections, loop-backs, interruptions, and stopped engagements, each labeled live or contract preview. - [Actor boundaries](https://docs.soterislabs.xyz/workflow/actor-boundaries.md): Who can act on an engagement, and the split between preparation and authority. - [Release conditions](https://docs.soterislabs.xyz/workflow/release-conditions.md): What release means from outside, and what it deliberately does not mean. - [Input records](https://docs.soterislabs.xyz/records/input-record.md): The shape of a controlled submission bound to an engagement. - [Artifact records](https://docs.soterislabs.xyz/records/artifact-record.md): The shape of produced work, and the status that separates a draft from a deliverable. - [Release records](https://docs.soterislabs.xyz/records/release-record.md): The durable record of what was authorized, in what version, and for whom. - [Verification receipts](https://docs.soterislabs.xyz/records/verification-receipt.md): The inspectable proof about a released record's metadata. - [Status card](https://docs.soterislabs.xyz/records/status-card.md): The compact read model for answering where an engagement stands. - [Verification model](https://docs.soterislabs.xyz/verification/verification-model.md): What a check can answer, what it cannot, and why verification stays thin. - [Receipt fields](https://docs.soterislabs.xyz/verification/receipt-fields.md): Each receipt field, its type, and what it makes confirmable. - [Public vs permissioned checks](https://docs.soterislabs.xyz/verification/public-vs-permissioned-checks.md): How much a check discloses depending on who is asking. - [What verification excludes](https://docs.soterislabs.xyz/verification/what-verification-excludes.md): The six permanent exclusions that keep the interface confirmable and the judgment private. - [Minimal input record](https://docs.soterislabs.xyz/examples/minimal-input-record.md): A synthetic input record for mapping and validation planning. - [Minimal artifact record](https://docs.soterislabs.xyz/examples/minimal-artifact-record.md): A synthetic artifact record in ready_for_review status. - [Status handoff](https://docs.soterislabs.xyz/examples/status-handoff.md): A synthetic handoff giving another system enough context to act. - [Release receipt](https://docs.soterislabs.xyz/examples/release-receipt.md): A synthetic receipt for a released artifact, and what it does and does not prove. - [Agent read path](https://docs.soterislabs.xyz/examples/agent-read-path.md): One agent walking the synthetic engagement eng_synthetic_001 through published shapes, stopping before any write. - [Lifecycle enum](https://docs.soterislabs.xyz/reference/lifecycle-enum.md): The canonical partner-safe state list, and the outcome statuses that are not states. - [Record schemas](https://docs.soterislabs.xyz/reference/record-schemas.md): The five public record families and the schema posture. - [Field dictionary](https://docs.soterislabs.xyz/reference/field-dictionary.md): Common fields that appear across records, defined once. - [Error model](https://docs.soterislabs.xyz/reference/error-model.md): Conceptual v0 error categories for integration planning. - [Exposure checklist](https://docs.soterislabs.xyz/reference/exposure-checklist.md): The checks every new page, field, or example passes before it ships.