1 viewer
Protocol
Inspect stored programs and how their parts relate.
People and agents reviewing compiled protocol artifacts and graph evidence
- App codeBrowse the runtime's own source by the app it belongs to.
- One app's codeSee one app's source files, functions and runs. Opens from a record in App code
- DashboardSee an overview of everything in the graph store.
- CrystalsBrowse crystals, the smallest reusable units of computation.
- CrystalSee one crystal's proofs and history. Opens from a record in Crystals
- Protocol GraphSee one unit's neighbours in the program graph. Opens from a record in Programs
- ProgramsBrowse compiled programs and their linked symbols.
- Program GraphSee one program's units and symbol links. Opens from a record in Programs
Code · 0 files
No ingested source sits in a crate named for this app. Either its crate has not been ingested, or the app's name does not match its crate.
View declarations · 8
- protocol.app.indexdocument · /view/protocol/apps
- protocol.app.itemdocument · /view/protocol/app/{app_name}
- protocol.atlasdocument · /view/protocol/atlas
- protocol.crystal.indexdocument · /view/protocol/crystals
- protocol.crystal.itemdocument · /view/protocol/crystal/{crystal_hash}
- protocol.graphdocument · /view/protocol/{ir_hash}
- protocol.program.indexdocument · /view/protocol/list
- protocol.program.itemdocument · /view/protocol/program/{protocol_id}
Connections · 26
Find the indexed connection. Execution still requires permission.
- Protocol.AnalyzeFind connection
- Protocol.AttestFind connection
- Protocol.AttestationsFind connection
- Protocol.CertificatesFind connection
- Protocol.CertifyFind connection
- Protocol.CompileFind connection
- Protocol.ConsensusFind connection
- Protocol.CreateFind connection
- Protocol.DetailFind connection
- Protocol.EvidenceClaimsFind connection
- Protocol.EvidenceEquivalentFind connection
- Protocol.EvidenceNeighborhoodFind connection
- Protocol.ExecuteFind connection
- Protocol.ExportFind connection
- Protocol.FetchFind connection
- Protocol.GraphPatchFind connection
- Protocol.GraphStatusFind connection
- Protocol.LanguagesFind connection
- Protocol.ListFind connection
- Protocol.ProvidersFind connection
- Protocol.ResolveFind connection
- Protocol.SimilarFind connection
- Protocol.SourceFind connection
- Protocol.StatusFind connection
- Protocol.SymbolUsingFind connection
- Protocol.TransformOutputsFind connection
Data model
Declared storage and kinds. Linked kinds open their app pages.
- Authorityhyper_with_sql_compat
- Preferred truthhyper
- App ownerProtocol
- SQL projectioncompatibility_projection · DDL declarations: 9
- EvidenceClaim
- Output
- Protocol
- ProtocolAttestation
- ProtocolCertificate
- ProtocolProvider
- ProtocolSource
- Symbol
- TransformPlan
- AppManifest
- ConsensusStamp
- EvidenceClaim
- ExecutionReceipt
- Protocol
- ProtocolAttestation
- ProtocolCertificate
- ProtocolSource
- None declared.
- None declared.
- protocol/attestation
- protocol/catalog
- protocol/certificate
- protocol/execution
- protocol/fetch
- protocol/source
- warningApp declares a Hyper graph model and SQL DDL; treat SQL as compatibility/projection until migrated. (hybrid_model)
Structure review · 1
About this reference
Protocol · cre8.app_structure.v1. App declarations, not live storage or execution status.