RepositoryCurrent collected state Current
Observed since 20 Oct, 21:56 UTC
No superseded metadata states collected. Unchanged observations do not create new revisions.
Back to packageRELEASE DETAILS
1.0.0
crates.ioaion_verify_subject
A small, dependency-free access-control domain -- badges, roles, clearances, wings, revocation -- published so that aion_verify's test suite can demonstrate the thing that matters about a proof engine: proving ANOTHER crate's invariants, over the whole of a finite domain, in code that knows nothing about the engine. Not a verification tool; the SUBJECT of one. no_std, no alloc, no unsafe, no dependencies.
Published9 Aug 2026
Direct dependencies0
Transitive dependenciesNot calculated
Downloads & popularity
44downloads
Cumulative counter · observed snapshots20 Oct 2026
4443.142.2
20 Oct20 Oct
crates · 1 observations shown. Missing days are unknown. Counter changes are not daily download totals.
View observed values
| Date / source period | Value | Observed at |
|---|---|---|
| 2026-10-20 | 44 | 2026-10-20T21:56:05.2371175Z |
Declared dependencies 0
Native requirements0 direct targetsNot calculated transitive count
No declared dependencies in this collected response
Declarations describe requirements; they are not a resolved dependency graph.
Distribution files
0 collectedNo distribution files are present in the collected metadata.
Checksums from source
{
"sha256": "7fcc48eb25361a2b5cbb98a3084e4217b7825a631d9768ab6ff6da234c3f04b5"
}Repository
PENDINGnubbynubkins/aion_verify_subject
Shared repository data · GitHub
- License detected in repository
- Not collected
Metadata history
Meaningful changesRecord identity
package_version:d8f6e07331a10a2cae1f451151969487544f50c048da04bc5a8038f2e1383b47