Evidence Versions
Wire versions preserve machine-readable compatibility. They are scoped to an evidence family: a larger number is not a stronger claim, and two families may use the same version.
Suite and Property families
| Family | Version | Selected when | Catalog |
|---|---|---|---|
| Scenario local | v1 | Local report without source binding | Input via VerificationSchemaCatalog; local report model |
| Scenario source-bound | v2 | Ordinary source-owning Suite | VerificationEvidenceSchemaCatalog |
| Fixture fidelity | v4 | Declared control observations are published | VerificationFixtureEvidenceSchemaCatalog |
| Contract sensitivity | v6 | Baseline plus supported controlled mutants | VerificationSensitivityEvidenceSchemaCatalog |
| Property samples | v7 | Finite Property without relation or shrink | VerificationPropertyEvidenceSchemaCatalog |
| Environment isolation | v8 | Lease/namespace isolation evidence | VerificationIsolationEvidenceSchemaCatalog |
| Oracle independence | v10 | Reference-model child observation | VerificationOracleIndependenceEvidenceSchemaCatalog |
| Metamorphic invariant | v12 | One INVARIANT relation | VerificationMetamorphicEvidenceSchemaCatalog |
| Idempotent repetition | v13 | One IDEMPOTENT_REPETITION relation | VerificationIdempotencyEvidenceSchemaCatalog |
| Permutation invariant | v14 | One PERMUTATION_INVARIANT relation | VerificationPermutationEvidenceSchemaCatalog |
| Numeric conservation | v15 | One CONSERVES_NUMERIC_TOTAL relation | VerificationConservationEvidenceSchemaCatalog |
| Property shrink | v16 | Supported signed-64-bit values or integerRange shrink | VerificationShrinkEvidenceSchemaCatalog |
| Case process boundary | v17 | Each Case executes behind a process boundary | VerificationCaseProcessEvidenceSchemaCatalog |
Durable families
| Version | Content | Reader / catalog |
|---|---|---|
| v1 | Local durable report | DurableVerificationEvidence / DurableVerificationEvidenceSchemaCatalog |
| v2 | Source-owning durable action evidence | DurableSourceBoundEvidence / DurableSourceBoundEvidenceSchemaCatalog |
| v3 | Durable actions plus Scenario business projection | DurableSourceBoundEvidence / DurableScenarioSourceBoundEvidenceSchemaCatalog |
| v4 | Team evidence with Policy continuity, effect provenance, and declared ports | DurableSourceBoundEvidence / DurableTeamSourceBoundEvidenceSchemaCatalog |
Durable action and temporal input schemas use DurableVerificationSchemaCatalog and DurableTemporalSchemaCatalog. Their input versions are a separate axis from durable evidence v1–v4.
Project and Reactor families
| Family | Version | Content | Catalog |
|---|---|---|---|
| Project aggregate | v2 | Requirement aggregate and complete child receipt inventory | VerificationProjectEvidenceSchemaCatalog |
| Project child | v3 | Ordinary source-bound child | VerificationProjectEvidenceSchemaCatalog |
| Fixture project child | v5 | Fixture-fidelity child | VerificationFixtureProjectEvidenceSchemaCatalog |
| Isolation project child | v9 | Environment-isolation child | VerificationIsolationProjectEvidenceSchemaCatalog |
| Oracle project child | v11 | Reference-model child | VerificationOracleIndependenceEvidenceSchemaCatalog |
| Process project child | v18 | Case-process-boundary child | VerificationCaseProcessEvidenceSchemaCatalog |
| Reactor aggregate | v1 | Literal Maven root coordinates | VerificationReactorEvidenceSchemaCatalog |
| Reactor aggregate | v2 | Controlled CI-friendly root property snapshot | VerificationReactorEvidenceSchemaCatalog |
A project child version is not a capability level. The project reader binds every exact module, Suite, run, and receipt from the parent manifest to one child artifact.
Comparison and attestation families
| Family | Version | Content | Catalog |
|---|---|---|---|
| DSL graph comparison | v1 | One DSL_GRAPH change axis | VerificationComparisonEvidenceSchemaCatalog |
| BLOGE toolchain comparison | v1 | BLOGE_TOOLCHAIN with controlled child JVM/runtime cohort | VerificationToolchainComparisonEvidenceSchemaCatalog |
| Toolchain request/response | v1 | Parent/child protocol | VerificationToolchainProtocolSchemaCatalog |
| External provenance attestation | v1 | Signed Oracle provenance claims | VerificationExternalAttestationSchemaCatalog |
| Release attestation | v1 | Governed receipt plus attributed comparison receipt | VerificationReleaseAttestationSchemaCatalog |
Reader rules
- Select the schema and reader by family, not by version number alone.
- Pass the artifact directory, original project root, and externally retained receipt.
- Do not copy, migrate, or re-seal a source-bound artifact.
- Treat an unknown version, missing relation, or projection mismatch as a verification failure.
- Pass only reader-verified facts to
VerificationClaims.assess(...).
The artifact version describes the wire contract. The resulting EvidenceTrust and ClaimCapability depend on the verified contents and cumulative prerequisites.