Module reference_device 

Hardware-free reference device profiles, adapters, and cookbook proofs.

The reference device is a reusable modeled target for device bootstrapping: it exposes one rich pose-coupled profile, one compact glance profile, a deterministic sample source, and proof callables that exercise timing, consent, retention, and route rebinding without touching real hardware.

Structs

ConsentProof

Result of the hardware-free consent and retention proof.

ReferenceDeviceLib

Host-registered lib that exposes reference profiles and proof callables.

ReferencePose

Device-local pose state consumed by the rich reference adapter.

ReferenceRichAdapter

Bespoke rich-tier adapter for the modeled reference device.

ReferenceSceneEncoder

Deterministic content encoder used by the two-rate proof.

RetentionProof

Result of the deterministic retention sweep.

RouteSwapProof

Result of the route-swap survival proof.

TwoRateProof

Result of the hardware-free two-rate proof.

Statics

RECIPES

Embedded cookbook recipes for the sim-sdk reference device.

Functions

install_device_base

Installs the device base and the SDK reference-device exports.

install_reference_device

Installs the modeled reference device into a context.

prove_consent_without_kernel_grant

Runs the consent and retention portions that do not need test-only grants.

prove_retention_reaper

Runs the retention reaper over a modeled sample store.

prove_route_swap

Runs the route-swap survival proof.

prove_two_rate

Runs the two-rate modeled timing proof.

reference_caps_source

Builds the deterministic modeled stream-facing capability source.

reference_device_manifest_symbol

Returns the manifest id for the reference-device facade.

reference_edge_id

Builds the stable reference device edge id.

reference_glance_profile

Builds the actuator-tier glance reference profile.

reference_glance_profile_symbol

Symbol naming the compact glance reference profile export.

reference_pose_receipt

Builds a visible pose-consent receipt for the reference edge.

reference_rich_profile

Builds the rich, pose-coupled reference device profile.

reference_rich_profile_symbol

Symbol naming the rich reference-device profile export.

reference_scene

Builds the portable scene used by both reference tiers.

require_reference_pose

Requires a pose read against both kernel capability and visible consent.