tiny.choir.composition.source.verification.partition

1const std = @import("std");2const source = @import("../root.zig");3const verification = @import("root.zig");45pub fn verifySpec(module: *const source.PartitionedModule, spec: source.PartitionSpec) verification.Error!void {6    if (spec.name.len == 0) return error.EmptyPartition;7    if (spec.product.stage.len == 0) return error.EmptyProductRef;8    if (spec.provenance.path.len == 0 or spec.provenance.symbol.len == 0) return error.EmptyProvenance;9    try verifyBoundaryRoles(module, spec.inputs, spec.outputs);10    for (module.partitions.items) |partition_value| {11        if (partition_value.product.eql(spec.product)) return error.DuplicateProductRef;12    }13}1415pub fn verifyValue(module: *const source.PartitionedModule, partition_value: source.Partition) verification.Error!void {16    if (partition_value.name.len == 0) return error.EmptyPartition;17    if (partition_value.product.stage.len == 0) return error.EmptyProductRef;18    if (partition_value.provenance.path.len == 0 or partition_value.provenance.symbol.len == 0) return error.EmptyProvenance;19    try verifyBoundaryRoles(module, partition_value.inputs, partition_value.outputs);20}2122pub fn verifyBoundaryRoles(23    module: *const source.PartitionedModule,24    inputs: []const source.BoundaryId,25    outputs: []const source.BoundaryId,26) verification.Error!void {27    for (inputs) |id| {28        const boundary_value = module.boundary(id) orelse return error.MissingBoundary;29        if (boundary_value.access == .write) return error.AccessMismatch;30        if (boundary_value.ownership == .produced) return error.OwnershipMismatch;31    }32    for (outputs) |id| {33        const boundary_value = module.boundary(id) orelse return error.MissingBoundary;34        if (boundary_value.access == .read) return error.AccessMismatch;35    }36}3738fn mutableBoundary(module: *source.PartitionedModule, id: source.BoundaryId) ?*source.Boundary {39    for (module.boundaries.items) |*boundary_value| {40        if (boundary_value.id.value == id.value) return boundary_value;41    }42    return null;43}4445fn mutablePartition(module: *source.PartitionedModule, id: source.PartitionId) ?*source.Partition {46    for (module.partitions.items) |*partition_value| {47        if (partition_value.id.value == id.value) return partition_value;48    }49    return null;50}5152test "partition verification owns boundary role validity" {53    var module = try source.PartitionedModule.init(std.testing.allocator, "roles");54    defer module.deinit();5556    try module.addBoundary(.{ .id = .{ .value = 1 }, .name = "write_input", .element_type = .f32, .dimensions = &.{2}, .byte_size = 8, .access = .write, .ownership = .borrowed, .alias = .disjoint, .provenance = .{ .path = "roles.chic", .symbol = "write_input" } });57    try module.addBoundary(.{ .id = .{ .value = 2 }, .name = "produced_input", .element_type = .f32, .dimensions = &.{2}, .byte_size = 8, .access = .read, .ownership = .produced, .alias = .disjoint, .provenance = .{ .path = "roles.chic", .symbol = "produced_input" } });58    try module.addBoundary(.{ .id = .{ .value = 3 }, .name = "read_output", .element_type = .f32, .dimensions = &.{2}, .byte_size = 8, .access = .read, .ownership = .produced, .alias = .disjoint, .provenance = .{ .path = "roles.chic", .symbol = "read_output" } });59    try module.addBoundary(.{ .id = .{ .value = 4 }, .name = "input", .element_type = .f32, .dimensions = &.{2}, .byte_size = 8, .access = .read, .ownership = .borrowed, .alias = .disjoint, .provenance = .{ .path = "roles.chic", .symbol = "input" } });60    try module.addBoundary(.{ .id = .{ .value = 5 }, .name = "output", .element_type = .f32, .dimensions = &.{2}, .byte_size = 8, .access = .write, .ownership = .produced, .alias = .disjoint, .provenance = .{ .path = "roles.chic", .symbol = "output" } });6162    const base = source.PartitionSpec{63        .id = .{ .value = 1 },64        .name = "region",65        .pipeline = .accy,66        .product = .{ .producer = "composition-fixture", .source = "1", .stage = "roles.product", .variant = "default" },67        .effect = .none,68        .provenance = .{ .path = "roles.chic", .symbol = "region" },69    };70    var spec = base;71    spec.inputs = &.{.{ .value = 1 }};72    try std.testing.expectError(error.AccessMismatch, module.addPartition(spec));73    spec.inputs = &.{.{ .value = 2 }};74    try std.testing.expectError(error.OwnershipMismatch, module.addPartition(spec));75    spec.inputs = &.{.{ .value = 4 }};76    spec.outputs = &.{.{ .value = 3 }};77    try std.testing.expectError(error.AccessMismatch, module.addPartition(spec));78    spec.outputs = &.{.{ .value = 5 }};79    try module.addPartition(spec);80    try module.verify();8182    const partition = mutablePartition(&module, .{ .value = 1 }) orelse return error.TestExpectedResult;83    const original_name = partition.name;84    partition.name = "";85    try std.testing.expectError(error.EmptyPartition, module.verify());86    partition.name = original_name;8788    const input = mutableBoundary(&module, .{ .value = 4 }) orelse return error.TestExpectedResult;89    input.access = .write;90    try std.testing.expectError(error.AccessMismatch, module.verify());91    input.access = .read;92    input.ownership = .produced;93    try std.testing.expectError(error.OwnershipMismatch, module.verify());94    input.ownership = .borrowed;95    const output = mutableBoundary(&module, .{ .value = 5 }) orelse return error.TestExpectedResult;96    output.access = .read;97    try std.testing.expectError(error.AccessMismatch, module.verify());98    output.access = .write;99    try module.verify();100}

1pub const partition = @import("partition.zig");