Crate sim_host_core 

Neutral contracts for domain-defined host ports.

This crate describes a port without realizing one. Provider selection, evidence grading, operating-system integration, and product policy belong in platform and domain libraries. A domain implements HostPort on its own opaque runtime object and installs that object in a lexical child Env with bind_host_port.

Structs

DeclaredLimit

A declared, mechanically enforced resource limit.

DeterministicTime

Deterministic wall/monotonic/timer model with one shared timeline.

HostPortCard

Dependency-light descriptive data published by a host port.

MonotonicTimestamp

One process-local monotonic observation in nanoseconds from an injected epoch.

PlatformTime

Complete explicitly supplied platform-time binding.

SanitizedProvenance

Non-secret provenance safe to expose on a host-port card.

SystemWallClock

Legacy zero-valued model wall clock retained for source compatibility; performs no host observation.

WallTimestamp

One observed wall-clock instant in Unix milliseconds.

Enums

HostRefusal

Common host-call refusals limited to runtime mechanics.

Traits

HostPort

Marker contract implemented by a domain’s opaque host-port object.

MonotonicClock

Object-safe source of correctness-safe elapsed-time observations.

Timer

Executor-neutral platform timer binding.

WallClock

Object-safe source of optional human wall-time evidence.

Functions

bind_host_port

Creates a child environment and binds an opaque domain port in its local frame.

host_port_value

Looks up the opaque value bound for a domain host port.

Type Aliases

HostResult

Result returned by neutral host-port operations.

ProviderId

An open provider identity, represented as kernel data rather than an enum.

ServiceId

An open service identity, represented as kernel data rather than an enum.