Crate detcore_model

Expand description

Widely-shared type definitions.

Modules§

backend_engagement: Machine-readable evidence that the selected backend performed its own work.
build_info: Machine-readable facts about a Hermit binary.
collections
config: Detcore configuration and widely used types.
fd
futex
happens_before: Happens-before edges: a sparse, authored partial order over dynamic events.
host_capability: Closed host-capability vocabulary and probes shared by validation records.
network_trace: Versioned data model for schedule-independent external network input.
pedigree: An example that tracks thread pedigree using local state.
pid
procfs: Types and parsers shared by procfs producers and consumers.
schedule
summary: Summaries of complete hermit runs.
time

HERMIT_POLICY_REFUSAL_EXIT: Exit status for a run HERMIT DELIBERATELY REFUSED, as distinct from one where hermit itself broke.
HERMIT_SIGINT_DEATH_EXIT: 128 + SIGINT. Spelled from the shared helper so it cannot drift from the band, and pinned below so it cannot drift from 130.
SIGNAL_EXIT_BASE: The shell’s base for “killed by signal N”: a process killed by signal N is conventionally reported as 128 + N.

signal_exit_status: The status a signal-terminated run reports, 128 + signo.
signal_from_exit_status: Recover the signal from a 128 + signo status, or None if it is not in the band.