Module watch 

Watch SDK facade, modeled install helper, and cookbook proof callables.

The facade stays thin: it installs the shared device stream base, the worn stream library, and a small host-registered SDK lib that exposes hardware-free proofs over the landed watch contracts.

Structs

DualQuorumProof

Result of the hardware-free dual-watch quorum proof.

GlancePagerProof

Result of the hardware-free glance pager proof.

HoldLastProof

Result of the hardware-free hold-last proof.

PrivacyReaperProof

Result of the hardware-free privacy reaper proof.

WatchStackLib

Host-registered lib that exposes watch cookbook proof callables.

Enums

WatchInstallMode

SDK install mode for the watch stack.

Statics

RECIPES

Embedded cookbook recipes for the sim-sdk watch facade.

Functions

install_watch_stack

Installs the modeled watch SDK stack into a context.

prove_dual_quorum

Runs the modeled dual-watch heart-rate quorum proof.

prove_glance_pager

Runs the modeled source -> shared glance adapter -> notification proof.

prove_hold_last

Runs the modeled hold-last staleness proof.

prove_privacy_reaper

Runs the modeled privacy-window retention proof.

watch_stack_manifest_symbol

Returns the manifest id for the watch SDK facade.