| Goal | Python | TypeScript |
|---|---|---|
| Retain and verify evidence | SourceStore, EvidenceRepository | SourceStore, EvidenceRepository |
| Query a promoted fact | check_trusted_fact | checkTrustedFact |
| Observe application work | Soterias, run, run_async | new Soterias, run, runAsync |
| Record provider usage | run_model, run_model_async, ModelUsage | runModel, runModelAsync, ModelUsage |
| Reuse verified pure values | optimise, optimise_async | optimise, optimiseAsync |
| Execute a typed procedure | Procedure, ProcedureMemory | Procedure, ProcedureMemory |
| Admit protected operations | TrustedSqliteExecutor | TrustedSqliteExecutor |
| Review an exact operation | TrustedOperationReviewer | TrustedOperationReviewer |
| Verify original receipts | ReceiptVerifier | verifyAttestation |
Run the quickstart, integrate your model, learn a procedure or run the protected accounting workflows. TypeScript includes declarations; Python includes py.typed. Both call the same Rust authority. See each guide for required setup and limits.