Reusable contract test suite for PeerDiscoverySource implementations, aimed squarely at departures() — the half of the contract that used to carry an inherited emptyFlow() default and that four of this repo's implementations silently took.

DurableStoreConformanceSuite

abstract class DurableStoreConformanceSuite

Reusable contract test suite for DurableStore implementations.

DurableStoreFilenameConformanceSuite

abstract class DurableStoreFilenameConformanceSuite<DIR>

The contract every file-backed DurableStore must satisfy about the filenames it addresses entries by. Subclass and implement newDirectory, newStore and plantRawFile.

ExactWidthField

class ExactWidthField(val name: String, val declaredWidth: Int, val encodeAtWidth: (width: Int) -> ByteArray)

One documented fixed-width field on a wire type, plus the rig that builds a frame carrying that field at an arbitrary width.

FixedWidthHeader

class FixedWidthHeader(val name: String, val headerBytes: Int, val encodeFrameOfSize: (totalBytes: Int) -> ByteArray)

A fixed-width header followed by an arbitrary payload — the other shape a documented width takes on a wire, and deliberately not an ExactWidthField.

JoinerRosterOrigin

sealed interface JoinerRosterOrigin

Where a conformance harness's joiner got the remote peer in its Seam.peers — the one fixture fact that decides whether the joiner half of SeamConformanceSuite.peersReportsSelfIdAndAtLeastTwoAfterJoin can fail at all.

MatrixEntry

data class MatrixEntry(val fabric: String, val capabilities: SeamCapabilities, val gaps: Map<String, String>, val meshEvidence: String? = null)

One fabric's row in the renderMatrix capability matrix.

MeshConformanceSuite

abstract class MeshConformanceSuite

Reusable contract test suite for N-peer mesh Seam implementations.

ObligationDeclaration

sealed interface ObligationDeclaration

What a conformance harness says about one injectable obligation of SeamConformanceSuite — the mid-session transport death, the membership drain, the self-dial.

PrincipalAttestationConformanceSuite

abstract class PrincipalAttestationConformanceSuite

Reusable contract test suite for hub seams that carry a host-verified identity — any Seam that is also a PrincipalRoster.

QuiltedConformanceSuite

abstract class QuiltedConformanceSuite<S : Quilted<S>>

Reusable contract test suite for Quilted (delta-state CRDT) implementations.

RaftStorageConformanceSuite

abstract class RaftStorageConformanceSuite

Reusable contract test suite for RaftStorage implementations.

RestartFixture

sealed interface RestartFixture

What DurableStoreConformanceSuite.restart hands back: a store reopened onto the same medium, and what this backend claims about surviving a process exit.

RetirementReAssertion

class RetirementReAssertion<S : Quilted<S>>(val subject: String, val asserted: S, val retired: S, val reAsserted: S, val shows: (S) -> Boolean)

The assert → retire → re-assert shape a retiring binding names, plus the evidence that makes it a retirement rather than three unrelated writes.

RoomConformanceSuite

abstract class RoomConformanceSuite

Reusable contract test suite for RoomFactory implementations.

RoomFanoutIsolationConformanceSuite

abstract class RoomFanoutIsolationConformanceSuite

Reusable contract test suite for server-fanout Looms — a server-side Loom whose Loom.host returns a per-room star Seam that forwards broadcasts only to the connections admitted to that room.

SampleEvidenceReport

class SampleEvidenceReport(val samples: Int, val distinctSamples: Int)

What a binding's QuiltedConformanceSuite.samples list actually offered the laws, measured by checkSampleEvidenceFloor.

SeamCapabilities

data class SeamCapabilities(val reportsPeerLoss: Boolean, val terminatesIncomingOnClose: Boolean, val staysTornAfterClose: Boolean, val throwsOnSendToTorn: Boolean, val supportsSendTo: Boolean, val securesTransport: Boolean, val meshDelivery: Boolean, val reportsLiveCapability: Boolean, val collapsesPeersOnTear: Boolean)

A fabric's declared behaviour against the us.tractat.kuilt.core.Seam contract.

SeamConformanceSuite

abstract class SeamConformanceSuite

Reusable contract test suite for Loom implementations.

WireCodecConformanceSuite

abstract class WireCodecConformanceSuite

The contract every wire codec fed by peer-controlled bytes must satisfy about the widths its own documentation fixes: a frame whose fixed-width field is short by one, or long by one, is rejected.

WireRejectionMode

enum WireRejectionMode : Enum<WireRejectionMode>

How a codec says no — part of its contract, not an implementation detail.

Properties

DISTINCT_SAMPLE_FLOOR

const val DISTINCT_SAMPLE_FLOOR: Int = 3

The least number of pairwise-distinct QuiltedConformanceSuite.samples the four laws need before any of them is a claim about the type rather than about one value.

Functions

canonicalDigest

fun <S> canonicalDigest(serializer: KSerializer<S>, value: S): Long

A 64-bit digest of value's canonical CBOR encoding — FNV-1a.

checkSampleEvidenceFloor

fun <S : Quilted<S>> checkSampleEvidenceFloor(samples: List<S>): SampleEvidenceReport

Measure samples and refuse a list too thin for QuiltedConformanceSuite's laws to have tested anything — fewer than DISTINCT_SAMPLE_FLOOR values distinct by ==.

renderMatrix

fun renderMatrix(entries: List<MatrixEntry>): String

Render the fabric capability matrix as a stable markdown table — the visibility artifact that makes every declared gap loud.