Google DeepMind
Native namespace alphaproof-nexus-results
Source-native objects
The declaration may retain only an exact reference or omission.
Repository bindings
A source observation does not create a local scientific record.
Exact observation
observation:alphaproof-nexus-results:a56886d764f14d92
observation: sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83
reference only · none retention
Source-native objects and Repository bindings
0 exact source-native objects
0 rows · unobserved coverage
0 exact links to local Repository records
Coverage and omissions
The repository identity and commit the source declaration pins
No AlphaProof Lean source is retained or projected, so no proof-level coverage is claimed.
The Erdős Repository's machine verdicts over this library are Repository-derived evidence and are not published as source records.
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:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83
- Adapter root
- sha256:73b36591a9b0a5a4451f65df7f3471a5ef805b18f5aec4165dc882eb6dbf5c01
- Source row root
- sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83
- Acquisition root
- sha256:a56886d764f14d92b9ba99e5a0b80510a4acca28ae3caff0e061ccd6123de522
- Observation root
- sha256:03fb5322ef3cc980f296ac73d80f9f8eadca6d1136387e7947ea15ac9e3603b2
- Projected source-native rows root
- sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
- Snapshot root
- not retained