Skip to content
seal
/
Menu
Docs
Guarantees & limits
GitHub
Search
Ctrl
K
Cancel
Select theme
Dark
Light
Auto
Menu
Get started
Install
Harmless demo
Protect a real tool
Use Seal
Protection status
Read the results
Troubleshoot a refusal
Multiple tools
Your first approval
Change, recover and remove protection
Check receipts
Check receipts
Your first receipt
From a Seal demo to the browser
Read receipt results
Receipt formats and compatibility
Keys and safe sharing
Run the checker locally
Receipt checking reference
Choose a checking tool
Browser receipt checks
Reference
Documentation map
Start
CLI reference
Receipt operations
Receipt format
Receipt vectors
Concepts
Concepts
The gate and alternate routes
Approval binds an exact request
A decision is not an effect
Replay and trust
Scope glossary
Assurance
Current guarantees and limits
Architecture and verification relationships
Reproduce the kernel
Release provenance
Client evidence
Source-build evaluator walk
Distribution
Version identity
Release records
Historical assurance material
CLI assurance checks
Assurance CLI
Assurance CLI
First assurance check
Verify a receipt in the kit
Scan policy coverage
Compare receipt authorization surfaces
Check finite monitor adequacy
Run the boundary conformance corpus
Use kit results in CI
Prepare a reviewable host policy
Assurance CLI reference
Policy, tools and labels
Verification profiles
Evidence
Current evidence and gaps
Verification dependencies
Proof and source index
Model-to-runtime correspondence
Finite conformance evidence
Source versions and captured examples
Select theme
Dark
Light
Auto
EVALUATOR-START
This page has moved to
docs/assurance/evaluator-start.md
.