Fixed-membership POSIX realization. Prepared files are immutable durable
NativeEnvelope publications on the admitted store. The manifest binds their
actual payload digests, not rank/path names. This bounded publisher stages
each shard privately; it is not the hierarchical fleet checkpoint owner.
A store lease keeps referenced files immutable and retained through restore.
22family NativeRegionShard : Type 0
23constructor NativeRegionShardOf
24field unrestricted nativeRegionOrdinalValue : Nat
25field unrestricted nativeRegionIntervalValue : (family LogicalInterval)
26field unrestricted nativeRegionLayoutValue : (family NativeCheckpointLayout)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.