Expand description
Device-resident execution for bounded ordinary Datalog plans.
The resident route is deliberately fail-closed. Plan inspection records every physical route occurrence before setup allocates workspace or enqueues CUDA work. Unsupported shapes remain on the existing executor.
Structs§
- Resident
Graph Certified Plan - A route certificate sealed to the exact immutable plan allocation it inspected.
- Resident
Graph Core Transfer Stats - Core-loop host transfer counters.
- Resident
Graph Deferred Profile - CUDA-event timing resolved after the graph completes.
- Resident
Graph Device Status Test Injection - Test-only device-kernel status request. Production execution never writes terminal status from the host.
- Resident
Graph Execution Stats - Truthful telemetry for resident selection, execution, and decline.
- Resident
Graph Final Observation Stats - The one bounded observation after the terminal synchronization.
- Resident
Graph Prepare Options - Prelaunch options for a resident transaction.
- Resident
Graph Route Certificate - Complete prelaunch proof of the physical routes selected for a plan.
- Resident
Graph Schema Catalog - Schemas keyed by the relation identities carried by compiled scan nodes.
Enums§
- Resident
Graph Decline Reason - A reason why a complete plan cannot use the resident conditional graph.
- Resident
Graph Device Status - Device-written terminal status for a resident graph transaction.
- Resident
Graph Execution Error - Typed error decoded from the graph’s single terminal receipt.
- Resident
Graph Selection Kind - Runtime route selected for one ordinary evaluation.