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:1fb787df4a98a035
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:c9d14c459c518937e758918b5897dc3b22f1a55f07739afe99502f5b046c907a
- Declaration root
- sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83
- Adapter root
- sha256:73b36591a9b0a5a4451f65df7f3471a5ef805b18f5aec4165dc882eb6dbf5c01
- Source row root
- sha256:7d1f359011a04c5bd0226c4de94d62713bd1f29c39e60caa9bb959c0e4a8ae83
- Acquisition root
- sha256:1fb787df4a98a035b84aa8e4c947e802fad8a8f0e62aa52f2c7ee852fcc0799d
- Observation root
- sha256:2be53aa5e39a891f40426f0286ed111804d5b20a7ad7a8180923dd5f4a8dccb9
- Projected source-native rows root
- sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
- Snapshot root
- not retained