Verifierdocs
Documentation/Component index
Repository documentationMay include additions beyond the released package

Static discovery · no fetching or execution

Component index

This page presents unsigned declarations from one exact, content-addressed index. Membership and matching do not establish availability, qualification, correctness, authorization, ecosystem completeness, or Verifier Standard conformance.

Source commit
WORKTREE
Index digest
0c33a7b75bb77b1774ac08238bfe8ad869600752a79d8794d8714e5d4af34c7f
Packages
1
Components
19
Package availability
NOT_CHECKED
Native qualification
NOT_ESTABLISHED
Ecosystem completeness
UNKNOWN

Canonical index JSON · Exact index SHA-256 digest · Deployment coordinate · Interpretation and command-line use

Component identifierDeclared labelKind LifecycleInteraction modesPackage digest
component:artifact-bundle-verifierArtifact freeze and seal verifierVERIFIERIMPLEMENTEDOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:composed-untraversability-analyzerExperimental composed-graph untraversability analyzerCONSTRAINTEXPERIMENTALOFFLINE_REPLAY, STATICd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:generic-run-validatorVSTD-1 generic-run receipt validatorVERIFIERIMPLEMENTEDOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:graph-topology-analyzerExperimental exact-graph-bound topology analyzerCONSTRAINTEXPERIMENTALSTATICd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:platform-run-comparatorBounded operating-system result comparatorCOMPARATORIMPLEMENTEDOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:provenance-policy-verifierRecorded provenance policy verifierPOLICYIMPLEMENTEDSTATICd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:scitt-evidence-consumerSCITT native-evidence consumerADAPTEREXPERIMENTALOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:scitt-result-composerVSTD and SCITT adjacent-result composerTRANSLATOREXPERIMENTALOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd-graph-assurance-recheckerVSTD-Graph assurance-log recheckerVERIFIERIMPLEMENTEDOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd-graph-level-recheckerEvidence-bound VSTD-Graph profile recheckerVERIFIERIMPLEMENTEDOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd-graph-receipt-validatorVSTD-Graph receipt validatorVERIFIERIMPLEMENTEDOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd1-independent-auditorVSTD-1 satisfiability and grounding auditorCONSTRAINTIMPLEMENTEDSTATICd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd2-geometry-loaderStrict VSTD-2 geometry loader and semantic validatorVERIFIERIMPLEMENTEDSTATICd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd3-receipt-validatorVSTD-3 hardware receipt validatorVERIFIERIMPLEMENTEDOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd4-evidence-recheckerVSTD-4 evidence-bound receipt recheckerVERIFIERIMPLEMENTEDOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd4-grounded-certificate-kernelVSTD-4 grounded decision certificate kernelCONSTRAINTIMPLEMENTEDSTATICd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd4-refutation-checkerVSTD-4 reverse-unit-propagation proof checkerCHECKERIMPLEMENTEDSTATICd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd4-refutation-producerBounded VSTD-4 refutation proof producerPROVERIMPLEMENTEDSTATICd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c
component:vstd5-witness-recheckerVSTD-5 witness corroboration recheckerVERIFIERIMPLEMENTEDOFFLINE_REPLAYd09315f849192d0c1709e5f494a4402b758d8d4dd77846d964b43ff0a3160d2c

The index records bounded unsigned declarations and content-addressed package coordinates. A match establishes only that a descriptor in this exact index declares the queried capability. Package availability is NOT_CHECKED; publisher identity, license authenticity, implementation correctness, dependency completeness, native-platform qualification, authorization, and ecosystem completeness are NOT_ESTABLISHED or UNKNOWN. No package is fetched, imported, installed, or executed. Zero matches do not establish ecosystem absence.

CONTINUE READINGArchitecture

Type to search.