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:a4a96441668a9f8b33afbcb3f696a2639f5fae145f36ddc063d7f67d5fb87ce8
- Declaration root
- sha256:32e23758454685fc981954784597553339394130a100a7dc02f4b9747f1ae309
- Adapter root
- sha256:8ec77edf92e574e31e1bf1ccb452ed192531737b2bcd46dfff7809b06734efc9
- Source row root
- sha256:32e23758454685fc981954784597553339394130a100a7dc02f4b9747f1ae309
- Acquisition root
- sha256:16b5cd5489a13ab20311b6333a27b062bc0eca9a67b51aa3848e2ae340555dce
- Observation root
- sha256:7aab3b0ae451d18ce1c37369327c937678cec8442ba4503fa1b21d21fa1e50e0
- Projected source-native rows root
- sha256:d9dfa12109c134ccd544774cfc5dcae52f927e411c95de206bc7f904f0901d3c
- Snapshot root
- not retained