Module verifiable 

Framework-first 0.2.70 verifiable-runtime contracts.

The types in this module are deliberately storage-neutral. They accept evidence bytes that have already been obtained by a host, SDK, or durable-store adapter; they never open a path, call a provider, or mutate runtime state. deepstrike is one adapter over this API.

Structs

EvidenceBundle

Evidence planes supplied by a host or SDK adapter.

EvidenceSummary

ForkManifest

ForkPlan

A verified, read-only fork boundary in framework-native types.

InspectReport

RecordSummary

ReplayOptions

Options for an offline replay operation.

ReplayReport

VerifiableOperation

A typed, storage-neutral operation view.

VerifyOptions

Options for a framework verification operation.

VerifyReport

Enums

CheckVerdict

ReplayVerdict

Constants

FORK_SCHEMA

REPORT_SCHEMA

Functions

operation_json

Execute one framework operation from a JSON request for language bindings.