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.

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.

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.

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.

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.