plby
Native namespace plby-lean-proofs
Source-native objects
Repository bindings
A source observation does not create a local scientific record.
Exact observation
observation:plby-lean-proofs:16b5cd5489a13ab2
git: 68da20b96673899166e94638f5a7fffeb7231d35
content root only · none retention
Source-native objects and Repository bindings
202 exact source-native objects
202 rows · complete coverage
0 exact links to local Repository records
Coverage and omissions
Every entry in the exact plby proof manifest retained by the Problems projection acquisition config.
Proof-source bytes outside the exact manifest are not copied into the Math source projection.
PLBY author, version, partial, and conditional labels remain attributed source metadata; they are neither Vela Verification nor Standing.
Source declarations, observations, source-native object rows, and Repository bindings record provenance. None creates scientific Standing; only an admitted local Claim can enter the attributed Decision path.
- Release root
- sha256:c9d14c459c518937e758918b5897dc3b22f1a55f07739afe99502f5b046c907a
- Declaration root
- sha256:32e23758454685fc981954784597553339394130a100a7dc02f4b9747f1ae309
- Adapter root
- sha256:8ec77edf92e574e31e1bf1ccb452ed192531737b2bcd46dfff7809b06734efc9
- Source row root
- sha256:32e23758454685fc981954784597553339394130a100a7dc02f4b9747f1ae309
- Acquisition root
- sha256:16b5cd5489a13ab20311b6333a27b062bc0eca9a67b51aa3848e2ae340555dce
- Observation root
- sha256:9f3ce8a3289c6e20818279c4c11cb56893962d2f8bd446a9e907f03404ebf279
- Projected source-native rows root
- sha256:d9dfa12109c134ccd544774cfc5dcae52f927e411c95de206bc7f904f0901d3c
- Snapshot root
- not retained