tiny.machine.profile

1//! Comparing two runs requires writing down the rules both ran under and what exactly2//! is being claimed about them, and this namespace holds both as one execution contract,3//! the backend chosen to run it, and the determinism claims that pairing makes (a4//! *profile*), with the evidence for each claim named.5//!6//! The execution rules one profile kind shares across backends (its *contract*)7//! name the CPU model and the admitted instruction forms, directly boot K0, the8//! restricted kernel from `lib/os` that exchanges request and event messages with9//! the host through fixed rings in guest RAM, schedule the single vCPU cooperatively,10//! inject time and entropy, feed back recorded effect results, and settle the RAM11//! geometry, transport sizes, inventory identity, and capacity limits. The two canonical12//! profile kinds govern root handling: reconstruct rebuilds a root when the stored13//! value is absent, and continuation test requires authoritative roots and rejects14//! a missing one. Semantic choices are versioned enum values, and geometry, transport,15//! and capacity fields are fixed numbers. The `validate` function accepts only canonical16//! constructor outputs carrying the current inventory identity.17//!18//! A promise can be checked only once its scope is written down, so the namespace19//! carries the canonical list naming all 42 places where two runs could differ across20//! eleven categories (the *inventory*). Each inventory entry records its control21//! twice, once for the reference backend and once for KVM: enforced by a named witness,22//! or resting on a named assumption. Each profile states four *determinism claims*23//! about itself in the same plain terms, covering semantic replay, whole-system24//! replay on one backend, equivalence across hosts, and equivalence down to the25//! instruction. A portable profile enforces semantic replay, the portable continuation-test26//! profile enforces whole-system replay as well, and three subjects stay assumptions:27//! KVM semantics, equivalence across hosts, and equivalence down to the instruction.28//!29//! From earlier work in the [Linux KVM API](https://docs.kernel.org/virt/kvm/api.html)30//! and the31//! [Intel Software Developer Manuals](https://www.intel.com/content/www/us/en/developer/articles/technical/intel-sdm.html),32//! the namespace took the x86-64 CPU model with the long-mode contract it admits,33//! one virtual CPU, and KVM named as one execution semantics among the backends34//! of the profile.35//!36//! The backend is one field of the profile, so the same contract carries a second,37//! portable implementation, and the inventory records what that implementation enforces38//! while KVM rests on assumptions. A profile carries two fingerprints. The first39//! covers the execution rules a kind shares, computed over the encoded profile with40//! the backend field and the claim fields zeroed as the *contract fingerprint*,41//! so a KVM profile and its portable counterpart hold the same value and can be42//! run against each other. The second covers the whole profile as the *profile fingerprint*,43//! with the contract, the backend, and the claims all contributing, so every pairing44//! of a canonical kind with a backend gets a value of its own.4546pub const capacity = @import("capacity.zig");47pub const determinism = @import("determinism.zig");48pub const types = @import("types.zig");49pub const wire = @import("wire.zig");5051pub const Architecture = types.Architecture;52pub const BackendSemantics = types.BackendSemantics;53pub const BootDialect = types.BootDialect;54pub const Capacity = capacity.Capacity;55pub const CheckpointFormat = types.CheckpointFormat;56pub const Contract = types.Contract;57pub const ContractFingerprint = wire.ContractFingerprint;58pub const CpuContract = types.CpuContract;59pub const DeterminismAssumption = determinism.Assumption;60pub const DeterminismAuditError = determinism.AuditError;61pub const DeterminismCategory = determinism.Category;62pub const DeterminismClaim = determinism.Claim;63pub const DeterminismClaimAssumption = determinism.ClaimAssumption;64pub const DeterminismClaimKind = determinism.ClaimKind;65pub const DeterminismClaims = determinism.Claims;66pub const DeterminismClaimWitness = determinism.ClaimWitness;67pub const DeterminismControl = determinism.Control;68pub const DeterminismControlKind = determinism.ControlKind;69pub const DeterminismEntry = determinism.Entry;70pub const DeterminismIdentity = determinism.Identity;71pub const DeterminismSchema = determinism.Schema;72pub const DeterminismSource = determinism.Source;73pub const DeterminismWitness = determinism.Witness;74pub const DeviceDialect = types.DeviceDialect;75pub const EffectSemantics = types.EffectSemantics;76pub const EntropySemantics = types.EntropySemantics;77pub const Error = types.Error;78pub const Geometry = types.Geometry;79pub const InstructionAdmission = types.InstructionAdmission;80pub const MissingRoot = types.MissingRoot;81pub const Profile = types.Profile;82pub const ProfileFingerprint = wire.ProfileFingerprint;83pub const ProfileKind = types.ProfileKind;84pub const RootSemantics = types.RootSemantics;85pub const Scheduling = types.Scheduling;86pub const TimeSemantics = types.TimeSemantics;87pub const Transport = types.Transport;88pub const TransportDialect = types.TransportDialect;89pub const Usage = capacity.Usage;9091pub const auditDeterminism = determinism.audit;92pub const contractFingerprint = wire.contractFingerprint;93pub const continuationTestV1 = types.continuationTestV1;94pub const decode = wire.decode;95pub const encode = wire.encode;96pub const interpretedContinuationTestV1 = types.interpretedContinuationTestV1;97pub const interpretedReconstructV1 = types.interpretedReconstructV1;98pub const kvmContinuationTestV1 = types.kvmContinuationTestV1;99pub const kvmReconstructV1 = types.kvmReconstructV1;100pub const profileFingerprint = wire.profileFingerprint;101pub const reconstructV1 = types.reconstructV1;102pub const schema_major = types.schema_major;103pub const schema_minor = types.schema_minor;104pub const validate = types.validate;105pub const wire_bytes = wire.bytes;106pub const determinism_entries = determinism.entries;107pub const determinism_sources = determinism.profile_sources;

1pub const profile = @import("profile/root.zig");