GateSolutionsAssuranceProtocolProofDocsPricingRequest pilot
Documentation

Deploy Gate first. Inspect every proof underneath it.

Start at the system that can create the consequence. Gate decides whether the configured action may proceed, Approver apps capture human decisions, the open Protocol makes the evidence portable, and Assurance re-performs the result.

Deploy Gate →Read the Protocol
GateMediates configured consequential actions at the executor boundary.Approver AppsCapture the human decision and return action-bound evidence.ProtocolDefines portable formats and open verification rules.AssuranceRe-performs the evidence and packages reproducible records.
Deploy
Gate quickstart
Place Gate before a configured mutating action and connect the verification and evidence paths.
View →
Developer on-ramp
Protect an MCP tool
Require authorization evidence before a consequential MCP tool call reaches its executor.
View →
Inspect
Live Gate
Walk through the challenge, evidence, decision, and refusal path in the browser.
View →
Human ceremony
Approver apps
Capture a person’s decision over the material action fields and return signed evidence to Gate.
View →
Re-performance
Assurance Plane
Run open verification, preserve conformance records, and prepare bounded audit or underwriter packages.
View →
Open substrate
Protocol and specifications
Read the receipt formats, trust inputs, security boundaries, and interoperability documents.
View →
Evidence
Engineering proof
Inspect formal-model status, conformance vectors, security-case claims, and external verification evidence.
View →
Verify
Open verifier
Check an artifact under explicit relying-party inputs without depending on EMILIA’s hosted service.
View →
Experimental extension profiles

Additive proposals over EP-RECEIPT-v1, each governed by a Draft PIP. They are not part of the frozen core and are not presented here as production-ready. Spec proposals and conformance vectors live on GitHub.

Experimental · PIP-009 (Draft)
EP-PROVENANCE-CHAIN-v1
Spec proposal →Conformance vectors →
Experimental · PIP-010 (Draft)
EP-DISPLAY-ATTESTATION-v1 / EP-EXECUTION-INTEGRITY-v1
Spec proposal →Conformance vectors →
Experimental · PIP-011 (Draft)
EP-REVOCATION-v1
Spec proposal →Conformance vectors →
Experimental · PIP-011 (Draft)
EP-EYE-SET-v1
Spec proposal →Conformance vectors →
Additional Resources
GitHub RepositoryQuickstart GuideGovernance
Deploy EMILIA Gate | EMILIA