Expand description
Internal proof bridge from one native OCLA capability to Engine Interface v1.
This module is deliberately crate-private. It proves the local Engine contract without promoting an SDK façade, an agent loop, or Cloud semantics.
Modules§
- context_
plan - External planning adapter; selection and policy stay in the canonical kernel.
- planning
- Host projection of the frozen scheduler contract into one actual native call.
- receipt_
sink - Where a persisted Engine receipt is handed on. The Hive connector registers a sink that queues the receipt for upload when receipt uploads are on; without a registration a receipt stays local only.
- source_
execution - Execute an admitted source snapshot through the existing native and receipt authorities.
Structs§
- Engine
Transport Recovery Descriptor - Engine
Transport Result - Engine
Transport View - Native
Context Engine - One strictly local implementation of the published Engine records.
Enums§
Constants§
- CAPABILITY_
ID - CAPABILITY_
VERSION - ENGINE_
INTERFACE_ VERSION - ENGINE_
TRANSPORT_ POLICY_ REF - ENGINE_
TRANSPORT_ VERSION - MAX_
TRANSPORT_ BUDGET_ TOKENS
Functions§
- bind_
transport_ root - execute_
transport_ context_ view - Execute the standalone, versioned local Engine transport operation.
- execute_
transport_ context_ view_ with_ budget - execute_
transport_ context_ view_ with_ plan - persist_
engine_ artifact_ content - recover_
transport_ source - Re-read the exact source snapshot named by a prior Engine input reference.
- verified_
output_ view - Read only the content-addressed output bound by the verified terminal receipt.