tiny.machine.Contract

1/// Holds the rules for executing a guest that every backend of one canonical kind2/// obeys, so a caller can compare contracts to know whether two runs obeyed the3/// same rules. Enum fields name versioned semantics: the CPU model, the admitted4/// instructions, direct K0 boot, root handling, the device dialect, scheduling,5/// time, entropy, the checkpoint format, and effect handling. Structured and numeric6/// fields fix the geometry, the transport sizes, the determinism identity, and the7/// capacity limits. The determinism identity is embedded here, so a change to the8/// inventory changes every contract.9pub const Contract = struct {10    schema_major: u16,11    schema_minor: u16,12    kind: ProfileKind,13    architecture: Architecture,14    cpu: CpuContract,15    instruction_admission: InstructionAdmission,16    boot: BootDialect,17    root_semantics: RootSemantics,18    missing_root: MissingRoot,19    device: DeviceDialect,20    scheduling: Scheduling,21    time: TimeSemantics,22    entropy: EntropySemantics,23    geometry: Geometry,24    transport: Transport,25    checkpoint: CheckpointFormat,26    effects: EffectSemantics,27    determinism: determinism.Identity,28    instance_limit: u16,29    checkpoint_candidate_limit: u16,30    admission_limit: u32,31};

1pub const Contract = profile.Contract;