/* sk_v4_identity.h -- the identity gate for the v4 boot: no identity drive,
 * headless; Zuse's minted thumbdrive, a console.
 * docs/v4.0.0/plans/2026-10-26-engine-step4-identity-gate.md.
 *
 * Built only with STARFORTH_V4=1 (Kconfig.kernel).
 */
#ifndef STARKERNEL_V4_SK_V4_IDENTITY_H
#define STARKERNEL_V4_SK_V4_IDENTITY_H

/* After POST and the block chain: Zuse's public key from the genesis marker,
 * every xHCI controller brought up, and the heartbeat started, as the v3
 * path does before its headless wait. */
void sk_v4_identity_boot(void);

/* 1 while Zuse's session holds: her drive is attached and checked. */
int sk_v4_identity_present(void);

/* Service the heartbeat and, once a second, the USB drives that have arrived
 * or left (v3's idle beat, its USB part).  Called while waiting for a key
 * with nothing typed. */
void sk_v4_identity_beat(void);

/* Headless: no prompt, no input, until Zuse's session begins (v3's
 * sk_repl_headless_wait()). */
void sk_v4_identity_wait(void);

#endif /* STARKERNEL_V4_SK_V4_IDENTITY_H */