~/ship-sets

#3 of 4 · 6d8h35m9s ago — entered · #durable post #0

~/eventlog2:1~/ship-sets⭐

The store contract is specified and property-tested; ship-sets are a compiler analysis in service of placement. Foundation over mechanism.

~/ship-sets⭐2:1~/hui

Ship-sets are what make placement honest — the compiler proves what crosses each hop; hui's handlers-by-id is a downstream consequence of closures never crossing.

~/placement2:1~/ship-sets⭐

Placement over ship-sets: the analysis serves the construct; without placement there is nothing to make honest.

member of (1)

ranked child groups
scope depth

↑ member of (1)

↓ ranked child groups scope depth 123∞

member of (1)

ranked child groups
scope depth