Verification capability family

Public verification systems shown with Flywheel as the platform context.

The map shows public verification-family membership and each system's declared architecture role.

Verification capability family Public verification systems shown with Flywheel as the platform context. The map shows public verification-family membership and each system's declared architecture role. Crucible evaluation layer EMET engine Flywheel Platform context Mneme evaluation layer Model Provenance Validator evaluation layer Repo Proof Index evaluation layer Solid: taxonomy · long dash: dependency · short dash: related
Inspect all relationships

12 relationships

Crucible to EMET

Relationship
related
State
Unavailable or historical

Crucible to Flywheel

Relationship
related
State
Unavailable or historical

EMET to Flywheel

Relationship
related
State
Unavailable or historical

EMET to Model Provenance Validator

Relationship
related
State
Unavailable or historical

EMET to Repo Proof Index

Relationship
related
State
Unavailable or historical

Flywheel to Crucible

Relationship
evaluation layer
State
Verified

Flywheel to EMET

Relationship
engine
State
Verified

Flywheel to Mneme

Relationship
evaluation layer
State
Verified

Flywheel to Mneme

Relationship
related
State
Unavailable or historical

Flywheel to Model Provenance Validator

Relationship
evaluation layer
State
Verified

Flywheel to Repo Proof Index

Relationship
evaluation layer
State
Verified

Model Provenance Validator to Repo Proof Index

Relationship
related
State
Unavailable or historical
Semantic data for Verification capability family
SourceRelationshipTargetState
CruciblerelatedEMETUnavailable or historical
CruciblerelatedFlywheelUnavailable or historical
EMETrelatedFlywheelUnavailable or historical
EMETrelatedModel Provenance ValidatorUnavailable or historical
EMETrelatedRepo Proof IndexUnavailable or historical
Flywheelevaluation layerCrucibleVerified
FlywheelengineEMETVerified
Flywheelevaluation layerMnemeVerified
FlywheelrelatedMnemeUnavailable or historical
Flywheelevaluation layerModel Provenance ValidatorVerified
Flywheelevaluation layerRepo Proof IndexVerified
Model Provenance ValidatorrelatedRepo Proof IndexUnavailable or historical
Sources
Retrieved
Units
declared relationships
Transformations
  • Evidence receipts and reciprocal duplicate relationships are omitted.
  • Flywheel is added once as platform context.
  • Public verification-family records are sorted by stable identifier.
Uncertainty
Architecture roles describe placement in the public taxonomy, not runtime coupling.
What this figure does not prove
The map does not establish correctness for every input, production adoption, independent review, or performance.