Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1

Scheduled locality, transport, and rebuild resources

Scheduled locality, transport, and rebuild resources · lines 1966–1979

Let each complete tick channel factor over a prescribed partition $B_{t}$ , including all controllers, records, manifests, shared solvers, selectors, and resource wires. Define

N_{t, t} (Y) = Y, N_{s, t} (Y) = B \in B_{s + 1} B \cap N_{s + 1, t} (Y) \neq = \emptyset ⋃ B .

Displayed formulas in this passage

unlabeled · line 1973
$N_{t, t} (Y) = Y, N_{s, t} (Y) = B \in B_{s + 1} B \cap N_{s + 1, t} (Y) \neq = \emptyset ⋃ B .$

Nearby in this section

theorem: Theorem: Complete scheduled ancestry
section: Scheduled locality, transport, and rebuild resources
proposition: Proposition: Regular reference-preserving transport
section: Scheduled locality, transport, and rebuild resources