tiny.machine.fabric

1pub const AdmissionEffect = union(enum) {2    direct,3    packet_send: Packet,4    packet_delivery: u64,5};

1pub const AdmissionEntry = struct {2    node: NodeId,3    admission: admission.Admission,4    effect: AdmissionEffect,5    fault: ?AdmissionFault,6};

1pub const AdmissionFault = struct {2    effect: FaultEffect,3    decision: fault.Decision,4};

1pub const Admitted = struct {2    entry: Entry,3    root: Root,4    delivery: admission.Delivery,5};

1pub const CapacityFault = struct {2    resource: CapacityResource,3    active: bool,4};

1pub const CapacityResource = enum(u8) {2    admission = 1,3    packet = 2,4};

1pub const Cut = struct {2    root: Root,3    node_count: u8,4    nodes: [node_limit]NodeBoundary,5};

1pub const Dialect = enum(u16) {2    ordered_effect_fabric_v3 = 3,3};

1pub const Entry = struct {2    sequence: u64,3    previous: Root,4    value: EntryValue,5};

1pub const EntryValue = union(enum) {2    admission: AdmissionEntry,3    settlement: SettlementEntry,4    fault: FaultEntry,5};

1pub const FaultAlternatives = struct {2    node: NodeId,3    bypass: os.abi.Digest,4    inject: os.abi.Digest,5};

1pub const FaultEffect = union(fault.Kind) {2    machine_crash: NodeId,3    process_crash: ProcessCrash,4    io_error: FaultAlternatives,5    packet_loss: u64,6    packet_delay: PacketDelay,7    packet_reorder: PacketReorder,8    partition: Partition,9    clock_jump: u64,10    entropy_choice: FaultAlternatives,11    capacity_exhaustion: CapacityFault,12    host_service_failure: FaultAlternatives,13};

1pub const FaultEntry = struct {2    effect: FaultEffect,3    decision: fault.Decision,4};

1pub const FaultInput = struct {2    effect: FaultEffect,3    choice: fault.Choice,4};

1pub const Faulted = struct {2    entry: Entry,3    root: Root,4    decision: fault.Decision,5};

1pub const Input = struct {2    profile: profile.Profile,3    world: [16]u8,4    virtual_time_tick: u64,5    nodes: []const Node,6};

1pub const MachineBoundary = struct {2    kind: MachineBoundaryKind,3    digest: os.abi.Digest,4};

1pub const MachineBoundaryKind = enum(u8) {2    basis = 1,3    semantic = 2,4};

1pub const Node = struct {2    id: NodeId,3    basis: admission.Basis,4};

1pub const NodeBoundary = struct {2    id: NodeId,3    available: bool,4    machine: MachineBoundary,5};

1pub const NodeId = struct {2    bytes: [16]u8,3};

1pub const Packet = struct {2    id: u64,3    source: NodeId,4    destination: NodeId,5    channel: u16,6    request: admission.EffectRequest,7    length: u16,8    storage: [packet_bytes_max]u8,9    digest: os.abi.Digest,1011    pub fn bytes(self: *const Packet) []const u8 {12        std.debug.assert(self.length <= self.storage.len);13        return self.storage[0..self.length];14    }15};

1pub const PacketDelay = struct {2    packet: u64,3    until_tick: u64,4};

1pub const PacketInput = struct {2    destination: NodeId,3    channel: u16,4    bytes: []const u8,5};

1pub const PacketReorder = struct {2    first: u64,3    second: u64,4};

1pub const Partition = struct {2    first: NodeId,3    second: NodeId,4    active: bool,5};

1pub const ProcessCrash = struct {2    node: NodeId,3    process: u64,4};

1pub const ServiceResult = struct {2    status: os.abi.EffectStatus,3    output_root: os.abi.Digest,4    bytes: []const u8,5};

1pub const Settled = struct {2    entry: Entry,3    root: Root,4};

1pub const SettlementEntry = struct {2    node: NodeId,3    receipt: instance.SemanticReceipt,4};

1pub const Transition = struct {2    entry: Entry,3    root: Root,4};

1pub const Error = canon.Error || profile.Error || instance.BasisError || FabricError;

1pub const admission_limit: u32 = 4096;

1pub const node_limit: usize = 4;

1const owner = @import("owner.zig");2const profile = @import("../profile/root.zig");3const types = @import("types.zig");45pub const snapshot = @import("snapshot/root.zig");6pub const transition = @import("transition/root.zig");78pub const Admitted = types.Admitted;9pub const AdmissionEffect = types.AdmissionEffect;10pub const AdmissionEntry = types.AdmissionEntry;11pub const AdmissionFault = types.AdmissionFault;12pub const CapacityFault = types.CapacityFault;13pub const CapacityResource = types.CapacityResource;14pub const Cut = types.Cut;15pub const Dialect = types.Dialect;16pub const Entry = types.Entry;17pub const EntryValue = types.EntryValue;18pub const Error = owner.Error;19pub const Fabric = owner.Fabric;20pub const FaultAlternatives = types.FaultAlternatives;21pub const FaultEffect = types.FaultEffect;22pub const FaultEntry = types.FaultEntry;23pub const FaultInput = types.FaultInput;24pub const Faulted = types.Faulted;25pub const Input = types.Input;26pub const MachineBoundary = types.MachineBoundary;27pub const MachineBoundaryKind = types.MachineBoundaryKind;28pub const Node = types.Node;29pub const NodeBoundary = types.NodeBoundary;30pub const NodeId = types.NodeId;31pub const Packet = types.Packet;32pub const PacketDelay = types.PacketDelay;33pub const PacketInput = types.PacketInput;34pub const PacketReorder = types.PacketReorder;35pub const Partition = types.Partition;36pub const ProcessCrash = types.ProcessCrash;37pub const Root = types.Root;38pub const ServiceResult = types.ServiceResult;39pub const Settled = types.Settled;40pub const SettlementEntry = types.SettlementEntry;41pub const Transition = types.Transition;42pub const admission_limit = types.admission_limit;43pub const node_limit = types.node_limit;44pub const packet_bytes_max = types.packet_bytes_max;45pub const packet_limit = types.packet_limit;4647pub const determinism_sources = [_]profile.DeterminismSource{48    .terminal_input,49    .virtual_time,50    .entropy_input,51    .packet_payload,52    .packet_delivery,53    .packet_fault,54    .host_service_result,55    .effect_result,56    .fault_choice,57    .capacity_fault,58    .machine_crash,59    .process_crash,60};

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

1pub const packet_limit: usize = os.abi.ring.capacity;