Use this page to pick a fast reading path based on your role.
Start here:
docs/threat_model_worked_example.mddocs/uvp_blackbox_interface.mddocs/OPERATION_LEVEL_SECURITY.mddocs/TEST_COVERAGE_MATRIX.md
Focus on: adaptive leakage model (W/k), lane transitions, deterministic settlement, ETL auditability, and fail-closed behavior.
Start here:
docs/EPISTEMIC_TRIAL_HARNESS.mddocs/TRIAL_HARNESS_ANALYSIS.mdexamples/exfiltration_demo/docs/threat_model_worked_example.mddocs/uvp_blackbox_interface.mddocs/ORACLES.md
Focus on: how to run the Epistemic Trial Harness end-to-end, how probing pressure is metered, how oracle outputs are constrained, and how to reason about verification under adaptive querying.
Start here:
docs/uvp_blackbox_interface.mddocs/threat_model_worked_example.mddocs/STRUCTURED_CLAIMS.mddocs/NULLSPEC_GOVERNANCE.md
Focus on: what claims are certifiable, what guarantees are and are not provided, and what evidence exists for downstream audit.
Start here:
Then run the baseline checks:
cargo fmt --check
cargo clippy --workspace --all-targets -- -D warnings
cargo test --workspaceThe daemon gRPC server is split for faster code-path review:
crates/evidenceos-daemon/src/server/mod.rs: service/state wiring and shared helpers.crates/evidenceos-daemon/src/server/handlers_v2.rs: v2 gRPC handlers.crates/evidenceos-daemon/src/server/handlers_v1.rs: v1 compatibility handlers and transcode bridge.crates/evidenceos-daemon/src/server/lifecycle.rs: lifecycle transition helpers and claim-state transition logic.crates/evidenceos-daemon/src/server/sealing.rs: sealing flow helpers (freeze gates, incident handling, idempotency cache wiring).crates/evidenceos-daemon/src/server/execution.rs: claim execution helpers and execute-claim orchestration logic.crates/evidenceos-daemon/src/server/telemetry.rs: probe detection, ETL event appenders, and telemetry emission helpers.