> For the complete documentation index, see [llms.txt](https://deeptics.gitbook.io/deeptics-whitepaper/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://deeptics.gitbook.io/deeptics-whitepaper/implementations/appendix-posml-verification.md).

# Appendix "PoSml Verification"

## Appendix B — PoSml Verification (Concise)

* **Input Commitment**: hashing the job spec and assets.
* **Step Commitments**: per-step hash chains across state transitions.
* **Spot-Check Windows**: deterministic segments for verification.
* **Redundant Consensus**: selective re-runs on independent nodes to compare outputs.
* **Final Attestation**: node signatures plus a Merkle root over artifacts.