Skip to content
DigiEmu Developer
Search
Ctrl
K
Cancel
GitHub
Select theme
Dark
Light
Auto
Menu
Start
Developer Home
Technology
Getting Started
Architecture
Technologies
Core
Overview
Quickstart
Installation
Architecture
Snapshots
Verify
Replay
Schemas & Contracts
CLI Contract
Secure
Overview
Quickstart
Architecture
Integrity Model
Hashing
Signatures
Trust Boundaries
Evidence Protection
Verification
Proof
Overview
Architecture
Evidence Model
Proof Artifacts
Verification
Chains
Examples
VSC
Overview
Quickstart
Architecture
Evidence Flow
Evidence Bundles
Verify Bundle
Benchmarks
Go Verifier
SKC
Overview
Quickstart
Architecture
Canonical State
Reconstruction
Graph Equivalence
Metrics
Examples
Foam
Overview
Concepts
Research Status
Products
Arca
Overview
Installation
Workspace
Sources
GitHub Import
Evidence
Publications
Verification
Export
Troubleshooting
Developer Resources
Verification
Overview
Verification Model
Evidence
Determinism
Integrity
Replay
Independent Verification
Failure Semantics
Conformance
Code Examples
Overview
Evidence Manifest
Integrity Hash
Verification Result
Replay Inputs
Recipes
Overview
Verify Before Export
Repository to Publication
Review Package
Handle Verification Failure
Independent Reviewer Handoff
Reference
Overview
Artifact Types
Evidence Fields
Verification Status
Integrity Concepts
Replay Vocabulary
Exit Semantics
Glossary
Troubleshooting
Overview
Missing Evidence
Integrity Mismatch
Verification Failure
Replay Divergence
Unsupported Artifact
Repository & Source Issues
Reporting an Issue
Community
Contributing
DigiEmu Exchange
Overview
Asking Questions
Answering
Tags
Community Guidelines
GitHub
Select theme
Dark
Light
Auto
Reference
Technical reference documentation for developers.
Planned areas
Section titled “Planned areas”
CLI
schemas
manifests
result objects
exit codes
file formats
APIs
compatibility