Module distributed 

Transport-neutral distributed ownership, halo, and collective contracts.

Structs

DistributedAdmissionFingerprintV1

Fixed-size L2 identity for collective system/partition/plan admission.

DistributedCsr

One square CSR operator lowered into owned-row shards and a halo plan.

DistributedLayoutAgreementIdentityV1

Fixed-size L2 identity for derived local layouts and halo exchanges.

DistributedLinearProblem

One rank-local view of a validated distributed linear problem.

DistributedLinearSystem

Complete algebraic source lowered into one validated distributed layout.

GlobalVectorSpace

Global algebraic vector space before distribution.

HaloExchange

One ordered owner-to-receiver halo transfer.

HaloPlan

Deterministic halo communication derived from operator sparsity.

LocalCsrExecutionCapture

Owned remapping from one accepted shard to its rectangular execution view.

LocalCsrExecutionView

Borrowed rectangular CSR with deterministic partition-local columns.

LocalCsrShard

Borrowed pairing of one canonical local layout and its owned-row CSR data.

LocalLayout

Owned and ordered ghost indices visible to one partition.

LocalLinearSolution

Rank-local values paired with globally accepted solve evidence.

LoopbackExecutor

Single-process protocol oracle for partition, halo, and owned-row action.

OwnedLinearSystemShard

One partition’s canonical owned rows for an already assembled linear system.

Partition

Unique owner of every global degree of freedom.

PartitionAgreementIdentityV1

Fixed-size L2 identity for one complete unique-owner partition.

PartitionId

One execution-group partition index.