kuilt-warp-planning/us.tractat.kuilt.warp

Package-level declarations

Types

data class CoordinationCost(val rounds: Int, val coupling: Int, val coordinatedVolume: Long) : Comparable<CoordinationCost>

The G4 coordination-cost score for a Draft pipeline.

Returns a Draft where independent DraftStage.Embroider nodes at the same dependency level are fused into a single DraftStage.BatchedEmbroider.

Scores this Draft by the CoordinationCost a monotonicity-aware executor would pay.

Returns a Draft where each DraftStage.Embroider node is positioned after all of its CoordinationKind.Free successor nodes.

suspend fun Draft<*>.executeCoordinated(propose: suspend (ByteArray) -> Unit): Int

Batched-execution path for Draft pipelines (G5).

Returns a Draft where adjacent same-kind CoordinationKind.Free nodes in a linear chain are collapsed into a single DraftStage.FusedMap or DraftStage.FusedFilter.

Returns true when this Draft is structurally equivalent to other under the CALM commutativity theorem.

Applies all rewrite rules in sequence, then consolidates independent embroideries.

Returns a Draft that minimises coordinationCost by applying the E-2 rewrite rules to a fixpoint and then consolidating independent embroideries.

Returns a Draft where all DraftStage.Filter (and DraftStage.FusedFilter) nodes in the Free section precede all DraftStage.Map (and DraftStage.FusedMap) nodes.