Package Version Semantic Diff Supersession
This output is deterministic read-model evidence. It is not canonical truth, semantic adoption, review approval, a governance decision, promotion, model certification, release authority, or proof of backend-specific equivalence.
Source identity
| Artifact | Repository path | SHA-256 |
|---|---|---|
| Query fixture | fixtures/queries/package-version-semantic-diff-supersession.json | sha256:99d80e1cc5ac54af2324ea253efa01fbb6bef20adaebdc49402afecc6daab272 |
| Declared input | fixtures/canonical/contradiction-supersession-thin-slice.json | sha256:96e6e5f4031a8239aaa916979e07c622281b7e3cb6d0ff4e814a6ad868a24d9c |
| Executed result | Runtime output matched the fixture expectation | sha256:bca5291beb028a981c934854570b8fbea48bf4ee0b4cbbd8a6c798704fab36fc |
Request
{
"packageRef": "package:compliance-demo",
"leftVersionRef": "version:compliance-demo-v1",
"rightVersionRef": "version:compliance-demo-v2"
}
Expected canonical output
{
"packageRef": "package:compliance-demo",
"leftVersionRef": "version:compliance-demo-v1",
"rightVersionRef": "version:compliance-demo-v2",
"comparisonScope": "package-version",
"leftIncludedObjectRefs": [
"assertion:control-support-original",
"evidence:vendor-page-support"
],
"rightIncludedObjectRefs": [
"assertion:control-support-original",
"assertion:control-support-successor",
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor",
"evidence:vendor-page-support"
],
"addedObjectRefs": [
"assertion:control-support-successor",
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor"
],
"removedObjectRefs": [],
"semanticDiffSummary": {
"created": [
"assertion:control-support-successor",
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor"
],
"changed": [],
"superseded": [
"assertion:control-support-original"
],
"conflicts": [
"conflict:control-support-cc1"
]
},
"assertionChanges": {
"added": [
"assertion:control-support-successor"
],
"removed": [],
"changed": [],
"superseded": [
"assertion:control-support-original"
]
},
"evidenceChanges": {
"added": [
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor"
],
"removed": [],
"changed": []
},
"governanceChanges": {
"changeSetRefs": [
"changeset:resolve-control-support-conflict"
],
"proposalRefs": [
"proposal:resolve-control-support-conflict"
],
"reviewRefs": [
"review:resolve-control-support-conflict"
],
"decisionRefs": [
"decision:resolve-control-support-conflict"
],
"promotionRefs": [
"promotion:resolve-control-support-conflict"
],
"validationResultRefs": [
"validation:conflict-resolution-001"
]
},
"conflictCandidateRefs": [
"conflict:control-support-cc1"
],
"requiredValidationRefs": [
"validation:conflict-resolution-001"
],
"requiredGovernanceDecisionRefs": [
"decision:resolve-control-support-conflict"
]
}
Verified runtime output
The python-canonical-runtime executor returned this result and it
matched the expected output using exact JSON structural equality.
{
"packageRef": "package:compliance-demo",
"leftVersionRef": "version:compliance-demo-v1",
"rightVersionRef": "version:compliance-demo-v2",
"comparisonScope": "package-version",
"leftIncludedObjectRefs": [
"assertion:control-support-original",
"evidence:vendor-page-support"
],
"rightIncludedObjectRefs": [
"assertion:control-support-original",
"assertion:control-support-successor",
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor",
"evidence:vendor-page-support"
],
"addedObjectRefs": [
"assertion:control-support-successor",
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor"
],
"removedObjectRefs": [],
"semanticDiffSummary": {
"created": [
"assertion:control-support-successor",
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor"
],
"changed": [],
"superseded": [
"assertion:control-support-original"
],
"conflicts": [
"conflict:control-support-cc1"
]
},
"assertionChanges": {
"added": [
"assertion:control-support-successor"
],
"removed": [],
"changed": [],
"superseded": [
"assertion:control-support-original"
]
},
"evidenceChanges": {
"added": [
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor"
],
"removed": [],
"changed": []
},
"governanceChanges": {
"changeSetRefs": [
"changeset:resolve-control-support-conflict"
],
"proposalRefs": [
"proposal:resolve-control-support-conflict"
],
"reviewRefs": [
"review:resolve-control-support-conflict"
],
"decisionRefs": [
"decision:resolve-control-support-conflict"
],
"promotionRefs": [
"promotion:resolve-control-support-conflict"
],
"validationResultRefs": [
"validation:conflict-resolution-001"
]
},
"conflictCandidateRefs": [
"conflict:control-support-cc1"
],
"requiredValidationRefs": [
"validation:conflict-resolution-001"
],
"requiredGovernanceDecisionRefs": [
"decision:resolve-control-support-conflict"
]
}
Declared input document
Show the complete input fixture
{
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"actors": [
{
"id": "actor:max",
"objectType": "Actor",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"actorKind": "Person",
"displayName": "Max",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:00:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "ProvenanceGap",
"ref": "gap:bootstrap-self-declared"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "actor:reviewer",
"objectType": "Actor",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"actorKind": "Person",
"displayName": "Compliance Reviewer",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:00:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "ProvenanceGap",
"ref": "gap:fixture-persona"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"packages": [
{
"id": "package:compliance-demo",
"objectType": "Package",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"label": "Compliance demo package",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:00:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "ProvenanceGap",
"ref": "gap:fixture-package"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"versions": [
{
"id": "version:compliance-demo-v1",
"objectType": "Version",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"packageRef": "package:compliance-demo",
"versionLabel": "v1",
"description": "Version containing the original accepted assertion.",
"includedObjectRefs": [
"assertion:control-support-original",
"evidence:vendor-page-support"
],
"lifecycle": {
"identity": "retired"
},
"createdAt": "2026-05-02T04:10:00Z",
"createdBy": "actor:reviewer",
"provenanceRefs": [
{
"carrierType": "ProvenanceGap",
"ref": "gap:fixture-base-version"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "version:compliance-demo-v2",
"objectType": "Version",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"packageRef": "package:compliance-demo",
"versionLabel": "v2",
"description": "Version preserving the superseded assertion and accepting the successor assertion.",
"includedObjectRefs": [
"assertion:control-support-original",
"assertion:control-support-successor",
"evidence:vendor-page-support",
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor"
],
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:30:00Z",
"createdBy": "actor:reviewer",
"provenanceRefs": [
{
"carrierType": "Promotion",
"ref": "promotion:resolve-control-support-conflict"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"sources": [
{
"id": "source:vendor-site",
"objectType": "Source",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceKind": "WebSource",
"label": "Vendor public website",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:01:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "ProvenanceGap",
"ref": "gap:fixture-source"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "source:independent-audit",
"objectType": "Source",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceKind": "AuditSource",
"label": "Independent audit report",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:12:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "ProvenanceGap",
"ref": "gap:fixture-source"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"artifacts": [
{
"id": "artifact:vendor-page-001",
"objectType": "Artifact",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceId": "source:vendor-site",
"artifactKind": "WebPage",
"uri": "https://example.com/compliance",
"capturedAt": "2026-05-02T04:02:00Z",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:02:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Source",
"ref": "source:vendor-site"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "artifact:audit-report-001",
"objectType": "Artifact",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceId": "source:independent-audit",
"artifactKind": "AuditReport",
"uri": "https://example.com/audit/report-001",
"capturedAt": "2026-05-02T04:13:00Z",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:13:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Source",
"ref": "source:independent-audit"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"assertions": [
{
"id": "assertion:control-support-original",
"objectType": "Assertion",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"subjectRef": "service:alpha",
"predicate": "supportsControl:control:soc2-cc1",
"value": true,
"assertionKind": "descriptive",
"epistemicState": "superseded",
"lifecycle": {
"assertion": "superseded"
},
"evidenceRefs": [
"evidence:vendor-page-support",
"evidence:audit-report-challenge"
],
"provenanceRefs": [
{
"carrierType": "Evidence",
"ref": "evidence:vendor-page-support"
},
{
"carrierType": "Evidence",
"ref": "evidence:audit-report-challenge"
},
{
"carrierType": "Decision",
"ref": "decision:resolve-control-support-conflict"
}
],
"createdAt": "2026-05-02T04:03:00Z",
"createdBy": "actor:max",
"updatedAt": "2026-05-02T04:30:00Z",
"updatedBy": "actor:reviewer",
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "assertion:control-support-successor",
"objectType": "Assertion",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"subjectRef": "service:alpha",
"predicate": "supportsControl:control:soc2-cc1",
"value": false,
"assertionKind": "descriptive",
"epistemicState": "accepted",
"lifecycle": {
"assertion": "accepted"
},
"evidenceRefs": [
"evidence:audit-report-support-successor"
],
"provenanceRefs": [
{
"carrierType": "Evidence",
"ref": "evidence:audit-report-support-successor"
},
{
"carrierType": "Promotion",
"ref": "promotion:resolve-control-support-conflict"
}
],
"createdAt": "2026-05-02T04:18:00Z",
"createdBy": "actor:max",
"updatedAt": "2026-05-02T04:30:00Z",
"updatedBy": "actor:reviewer",
"scopeRefs": [
"package:compliance-demo"
]
}
],
"evidence": [
{
"id": "evidence:vendor-page-support",
"objectType": "Evidence",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"assertionId": "assertion:control-support-original",
"artifactRefs": [
"artifact:vendor-page-001"
],
"sourceSpanRefs": [
{
"artifactId": "artifact:vendor-page-001",
"selectorType": "text-fragment",
"selector": "supports SOC 2 CC1"
}
],
"supportKind": "supports",
"method": "manual-extraction",
"quality": {
"confidence": 0.72,
"freshness": "unknown"
},
"lifecycle": {
"evidence": "accepted-as-support"
},
"createdAt": "2026-05-02T04:04:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Artifact",
"ref": "artifact:vendor-page-001"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "evidence:audit-report-challenge",
"objectType": "Evidence",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"assertionId": "assertion:control-support-original",
"artifactRefs": [
"artifact:audit-report-001"
],
"sourceSpanRefs": [
{
"artifactId": "artifact:audit-report-001",
"selectorType": "section",
"selector": "SOC 2 CC1 unsupported for service Alpha"
}
],
"supportKind": "challenges",
"method": "manual-review",
"quality": {
"confidence": 0.91,
"freshness": "current"
},
"lifecycle": {
"evidence": "accepted-as-challenge"
},
"createdAt": "2026-05-02T04:14:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Artifact",
"ref": "artifact:audit-report-001"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "evidence:audit-report-support-successor",
"objectType": "Evidence",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"assertionId": "assertion:control-support-successor",
"artifactRefs": [
"artifact:audit-report-001"
],
"sourceSpanRefs": [
{
"artifactId": "artifact:audit-report-001",
"selectorType": "section",
"selector": "SOC 2 CC1 unsupported for service Alpha"
}
],
"supportKind": "supports",
"method": "manual-review",
"quality": {
"confidence": 0.91,
"freshness": "current"
},
"lifecycle": {
"evidence": "accepted-as-support"
},
"createdAt": "2026-05-02T04:18:30Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Artifact",
"ref": "artifact:audit-report-001"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"validationResults": [
{
"id": "validation:conflict-resolution-001",
"objectType": "ValidationResult",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"targetRef": "proposal:resolve-control-support-conflict",
"checkRef": "rule:supersession-preserves-prior-state",
"outcome": "pass",
"message": "The proposal preserves the superseded assertion, challenge evidence, successor assertion, and resolving decision.",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:20:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Evidence",
"ref": "evidence:audit-report-challenge"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"changeSets": [
{
"id": "changeset:resolve-control-support-conflict",
"objectType": "ChangeSet",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"expectedBaseRef": "version:compliance-demo-v1",
"affectedObjectRefs": [
"assertion:control-support-original",
"assertion:control-support-successor",
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor"
],
"mutations": [
{
"operation": "supersede",
"objectRef": "assertion:control-support-original",
"beforeRef": "assertion:control-support-original",
"afterRef": "assertion:control-support-successor"
},
{
"operation": "create",
"objectRef": "evidence:audit-report-challenge",
"afterRef": "evidence:audit-report-challenge"
},
{
"operation": "create",
"objectRef": "evidence:audit-report-support-successor",
"afterRef": "evidence:audit-report-support-successor"
}
],
"rationale": "Resolve contradictory evidence by superseding the earlier accepted assertion while preserving its lineage.",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:19:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Evidence",
"ref": "evidence:audit-report-challenge"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"proposals": [
{
"id": "proposal:resolve-control-support-conflict",
"objectType": "Proposal",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"targetPackageRef": "package:compliance-demo",
"baseVersionRef": "version:compliance-demo-v1",
"changeSetRefs": [
"changeset:resolve-control-support-conflict"
],
"semanticDiffSummary": {
"created": [
"assertion:control-support-successor",
"evidence:audit-report-challenge",
"evidence:audit-report-support-successor"
],
"changed": [],
"superseded": [
"assertion:control-support-original"
],
"conflicts": [
"conflict:control-support-cc1"
]
},
"reviewerRefs": [
"actor:reviewer"
],
"validationResultRefs": [
"validation:conflict-resolution-001"
],
"lifecycle": {
"proposal": "approved"
},
"createdAt": "2026-05-02T04:21:00Z",
"createdBy": "actor:max",
"updatedAt": "2026-05-02T04:29:00Z",
"updatedBy": "actor:reviewer",
"provenanceRefs": [
{
"carrierType": "ChangeSet",
"ref": "changeset:resolve-control-support-conflict"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"reviews": [
{
"id": "review:resolve-control-support-conflict",
"objectType": "Review",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"proposalRef": "proposal:resolve-control-support-conflict",
"reviewerRef": "actor:reviewer",
"outcome": "approve",
"comment": "The challenge evidence is stronger and the proposal preserves the original assertion as superseded rather than overwriting it.",
"validationResultRefs": [
"validation:conflict-resolution-001"
],
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:28:00Z",
"createdBy": "actor:reviewer",
"provenanceRefs": [
{
"carrierType": "ValidationResult",
"ref": "validation:conflict-resolution-001"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"decisions": [
{
"id": "decision:resolve-control-support-conflict",
"objectType": "Decision",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"targetRef": "proposal:resolve-control-support-conflict",
"outcome": "supersede",
"authorityBasis": {
"basisKind": "review",
"ref": "review:resolve-control-support-conflict"
},
"rationale": "Supersede the earlier assertion because independent audit evidence challenges it and supports the successor assertion.",
"decidedBy": "actor:reviewer",
"decidedAt": "2026-05-02T04:29:00Z",
"lifecycle": {
"decision": "recorded"
},
"createdAt": "2026-05-02T04:29:00Z",
"createdBy": "actor:reviewer",
"provenanceRefs": [
{
"carrierType": "Review",
"ref": "review:resolve-control-support-conflict"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"promotions": [
{
"id": "promotion:resolve-control-support-conflict",
"objectType": "Promotion",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"decisionRef": "decision:resolve-control-support-conflict",
"promotedChangeSetRefs": [
"changeset:resolve-control-support-conflict"
],
"sourceProposalRef": "proposal:resolve-control-support-conflict",
"targetPackageRef": "package:compliance-demo",
"fromVersionRef": "version:compliance-demo-v1",
"toVersionRef": "version:compliance-demo-v2",
"promotedAt": "2026-05-02T04:30:00Z",
"promotedBy": "actor:reviewer",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-02T04:30:00Z",
"createdBy": "actor:reviewer",
"provenanceRefs": [
{
"carrierType": "Decision",
"ref": "decision:resolve-control-support-conflict"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"provenanceGaps": [
{
"id": "gap:bootstrap-self-declared",
"objectType": "ProvenanceGap",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"gapKind": "bootstrap",
"reason": "Fixture declares the initial actor without an external source.",
"declaredBy": "actor:max",
"declaredAt": "2026-05-02T04:00:00Z"
},
{
"id": "gap:fixture-persona",
"objectType": "ProvenanceGap",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"gapKind": "fixture",
"reason": "Review persona exists only to exercise governance semantics.",
"declaredBy": "actor:max",
"declaredAt": "2026-05-02T04:00:00Z"
},
{
"id": "gap:fixture-package",
"objectType": "ProvenanceGap",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"gapKind": "fixture",
"reason": "Demo package is created by the fixture.",
"declaredBy": "actor:max",
"declaredAt": "2026-05-02T04:00:00Z"
},
{
"id": "gap:fixture-base-version",
"objectType": "ProvenanceGap",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"gapKind": "fixture",
"reason": "Base version is synthetic for the supersession flow.",
"declaredBy": "actor:max",
"declaredAt": "2026-05-02T04:00:00Z"
},
{
"id": "gap:fixture-source",
"objectType": "ProvenanceGap",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"gapKind": "fixture",
"reason": "Fixture source is illustrative and not fetched by the fixture.",
"declaredBy": "actor:max",
"declaredAt": "2026-05-02T04:00:00Z"
}
]
}