Source Local Vocabulary Seon Demo
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/source-local-vocabulary-seon-demo.json | sha256:18a533eb71b7273c65315510f3a95f161345e4231eb0cd64f02e96fe321749a3 |
| Declared input | fixtures/canonical/networked-import-manifest-extension.json | sha256:cebf648f5a2a1b65ae7c926f4567b2a6bcbf0a69fbf0a3d85a0409748b8008b9 |
| Executed result | Runtime output matched the fixture expectation | sha256:f6be4acd6fa3a78c7d7e16d960900c60e0b44c1cb1963e24d9c2e5ed83f87916 |
Request
{
"packageRef": "package:compliance-demo"
}
Expected canonical output
{
"alignmentArtifactRefs": [
"alignment:seon-reqon-requirement-artifact-overlap"
],
"items": [
{
"alignmentState": {
"alignmentArtifactRefs": [
"alignment:seon-reqon-requirement-artifact-overlap"
],
"derivationEventRefs": [
"derivation:seon-networked-import-manifest-preservation"
],
"descriptiveExtractionRefs": [],
"semanticGapRefs": [
"semantic-gap:seon-reqon-requirement-artifact-overlap"
],
"unresolvedOverlapRefs": [
"source-overlap:seon-reqon-requirement-artifact"
],
"unresolvedOverlaps": [
{
"alignmentArtifactRef": "alignment:seon-reqon-requirement-artifact-overlap",
"semanticGapRef": "semantic-gap:seon-reqon-requirement-artifact-overlap",
"sourceCandidateRefs": [
"artifact:seon-concepts-index",
"artifact:seon-reqon-module-doc"
],
"status": "preserved-unresolved",
"targetCandidateRefs": [
"assertion:control-support-001"
],
"unresolvedOverlapRef": "source-overlap:seon-reqon-requirement-artifact"
}
]
},
"manifestRef": "networked-import-manifest:seon-dev-nemo-001",
"nonCanonicalPolicy": {
"moduleIdentityAutoPromote": false,
"preserveUnresolvedOverlap": true,
"promotionRequires": [
"ChangeSet",
"Proposal",
"Review",
"Decision",
"Promotion",
"Version"
],
"rawSourceIsCanonicalTruth": false,
"sourceLabelsAutoPromote": false,
"sourceNetworkEdgesAutoPromote": false
},
"sourceBundleArtifactRef": "artifact:seon-bundle-manifest",
"sourceBundleRef": "source:seon-dev-nemo-bundle",
"sourceLocalVocabulary": {
"sourceArtifactRefs": [
"artifact:seon-bundle-manifest",
"artifact:seon-concepts-index",
"artifact:seon-network-doc",
"artifact:seon-network-projection",
"artifact:seon-network-stats",
"artifact:seon-owl-serialization",
"artifact:seon-reqon-module-doc"
],
"sourceLayerRefs": [
"source-layer:seon-core",
"source-layer:seon-domain",
"source-layer:seon-foundational"
],
"sourceLayers": [
{
"label": "Foundational layer",
"layerKind": null,
"sourceArtifactRefs": [],
"sourceLayerRef": "source-layer:seon-foundational",
"sourceModuleRefs": []
},
{
"label": "Core layer",
"layerKind": null,
"sourceArtifactRefs": [],
"sourceLayerRef": "source-layer:seon-core",
"sourceModuleRefs": []
},
{
"label": "Domain-specific layer",
"layerKind": null,
"sourceArtifactRefs": [],
"sourceLayerRef": "source-layer:seon-domain",
"sourceModuleRefs": []
}
],
"sourceModuleRefs": [
"source-module:com",
"source-module:goro",
"source-module:reqon",
"source-module:spo",
"source-module:ufo"
],
"sourceModules": [
{
"label": "UFO",
"moduleKind": null,
"sourceArtifactRefs": [
"artifact:seon-network-doc",
"artifact:seon-owl-serialization"
],
"sourceDependencyRefs": [],
"sourceLayerRefs": [],
"sourceModuleRef": "source-module:ufo"
},
{
"label": "SPO",
"moduleKind": null,
"sourceArtifactRefs": [
"artifact:seon-network-doc",
"artifact:seon-owl-serialization"
],
"sourceDependencyRefs": [
"source-module:ufo"
],
"sourceLayerRefs": [],
"sourceModuleRef": "source-module:spo"
},
{
"label": "COM",
"moduleKind": null,
"sourceArtifactRefs": [
"artifact:seon-network-stats",
"artifact:seon-owl-serialization"
],
"sourceDependencyRefs": [
"source-module:ufo"
],
"sourceLayerRefs": [],
"sourceModuleRef": "source-module:com"
},
{
"label": "ReqON",
"moduleKind": null,
"sourceArtifactRefs": [
"artifact:seon-concepts-index",
"artifact:seon-network-projection",
"artifact:seon-reqon-module-doc"
],
"sourceDependencyRefs": [
"source-module:goro",
"source-module:spo"
],
"sourceLayerRefs": [],
"sourceModuleRef": "source-module:reqon"
},
{
"label": "GORO",
"moduleKind": null,
"sourceArtifactRefs": [
"artifact:seon-network-projection",
"artifact:seon-network-stats",
"artifact:seon-owl-serialization"
],
"sourceDependencyRefs": [
"source-module:com",
"source-module:spo"
],
"sourceLayerRefs": [],
"sourceModuleRef": "source-module:goro"
}
],
"sourceSideLinkRefs": [
"source-link:goro-to-spo",
"source-link:reqon-to-goro"
],
"sourceSideLinks": [
{
"fromModuleRef": "source-module:reqon",
"linkKind": "declared-related-ontology",
"sourceArtifactRefs": [
"artifact:seon-network-projection",
"artifact:seon-reqon-module-doc"
],
"sourceSideLinkRef": "source-link:reqon-to-goro",
"toModuleRef": "source-module:goro"
},
{
"fromModuleRef": "source-module:goro",
"linkKind": "source-side-dependency",
"sourceArtifactRefs": [
"artifact:seon-network-projection",
"artifact:seon-network-stats"
],
"sourceSideLinkRef": "source-link:goro-to-spo",
"toModuleRef": "source-module:spo"
}
],
"sourceSubnetworkRefs": [
"source-subnetwork:reqon"
],
"sourceSubnetworks": [
{
"label": "Requirements engineering Ontology subNetwork",
"sourceArtifactRefs": [
"artifact:seon-network-projection",
"artifact:seon-reqon-module-doc"
],
"sourceDependencyRefs": [],
"sourceModuleRefs": [],
"sourceSubnetworkRef": "source-subnetwork:reqon",
"subnetworkKind": null
}
]
},
"sourceSystem": {
"capturedAt": "2026-05-06T06:01:00Z",
"capturedFrom": "dev.nemo.inf.ufes.br",
"name": "SEON",
"sourceRoot": "mirror://seon/dev.nemo.inf.ufes.br/",
"version": "1.0.5"
}
}
],
"manifestRefs": [
"networked-import-manifest:seon-dev-nemo-001"
],
"nonCanonicalStateProof": {
"currentIncludedObjectRefs": [
"assertion:control-support-001",
"evidence:extract-001"
],
"currentVersionRef": "version:compliance-demo-v1",
"derivedRefsInCurrentVersion": [],
"promotionRefsForSourceLocalVocabulary": [],
"sourceArtifactRefsInCurrentVersion": [],
"sourceLocalRefsInCurrentVersion": []
},
"packageRef": "package:compliance-demo",
"semanticGapRefs": [
"semantic-gap:seon-reqon-requirement-artifact-overlap"
],
"sourceLocalVocabularyRefs": {
"sourceArtifactRefs": [
"artifact:seon-bundle-manifest",
"artifact:seon-concepts-index",
"artifact:seon-network-doc",
"artifact:seon-network-projection",
"artifact:seon-network-stats",
"artifact:seon-owl-serialization",
"artifact:seon-reqon-module-doc"
],
"sourceLayerRefs": [
"source-layer:seon-core",
"source-layer:seon-domain",
"source-layer:seon-foundational"
],
"sourceModuleRefs": [
"source-module:com",
"source-module:goro",
"source-module:reqon",
"source-module:spo",
"source-module:ufo"
],
"sourceSideLinkRefs": [
"source-link:goro-to-spo",
"source-link:reqon-to-goro"
],
"sourceSubnetworkRefs": [
"source-subnetwork:reqon"
]
}
}
Verified runtime output
The python-canonical-runtime executor returned this result and it
matched the expected output using exact JSON structural equality.
{
"alignmentArtifactRefs": [
"alignment:seon-reqon-requirement-artifact-overlap"
],
"items": [
{
"alignmentState": {
"alignmentArtifactRefs": [
"alignment:seon-reqon-requirement-artifact-overlap"
],
"derivationEventRefs": [
"derivation:seon-networked-import-manifest-preservation"
],
"descriptiveExtractionRefs": [],
"semanticGapRefs": [
"semantic-gap:seon-reqon-requirement-artifact-overlap"
],
"unresolvedOverlapRefs": [
"source-overlap:seon-reqon-requirement-artifact"
],
"unresolvedOverlaps": [
{
"alignmentArtifactRef": "alignment:seon-reqon-requirement-artifact-overlap",
"semanticGapRef": "semantic-gap:seon-reqon-requirement-artifact-overlap",
"sourceCandidateRefs": [
"artifact:seon-concepts-index",
"artifact:seon-reqon-module-doc"
],
"status": "preserved-unresolved",
"targetCandidateRefs": [
"assertion:control-support-001"
],
"unresolvedOverlapRef": "source-overlap:seon-reqon-requirement-artifact"
}
]
},
"manifestRef": "networked-import-manifest:seon-dev-nemo-001",
"nonCanonicalPolicy": {
"rawSourceIsCanonicalTruth": false,
"sourceLabelsAutoPromote": false,
"sourceNetworkEdgesAutoPromote": false,
"moduleIdentityAutoPromote": false,
"preserveUnresolvedOverlap": true,
"promotionRequires": [
"ChangeSet",
"Proposal",
"Review",
"Decision",
"Promotion",
"Version"
]
},
"sourceBundleArtifactRef": "artifact:seon-bundle-manifest",
"sourceBundleRef": "source:seon-dev-nemo-bundle",
"sourceLocalVocabulary": {
"sourceArtifactRefs": [
"artifact:seon-bundle-manifest",
"artifact:seon-concepts-index",
"artifact:seon-network-doc",
"artifact:seon-network-projection",
"artifact:seon-network-stats",
"artifact:seon-owl-serialization",
"artifact:seon-reqon-module-doc"
],
"sourceLayerRefs": [
"source-layer:seon-core",
"source-layer:seon-domain",
"source-layer:seon-foundational"
],
"sourceLayers": [
{
"label": "Foundational layer",
"layerKind": null,
"sourceArtifactRefs": [],
"sourceLayerRef": "source-layer:seon-foundational",
"sourceModuleRefs": []
},
{
"label": "Core layer",
"layerKind": null,
"sourceArtifactRefs": [],
"sourceLayerRef": "source-layer:seon-core",
"sourceModuleRefs": []
},
{
"label": "Domain-specific layer",
"layerKind": null,
"sourceArtifactRefs": [],
"sourceLayerRef": "source-layer:seon-domain",
"sourceModuleRefs": []
}
],
"sourceModuleRefs": [
"source-module:com",
"source-module:goro",
"source-module:reqon",
"source-module:spo",
"source-module:ufo"
],
"sourceModules": [
{
"label": "UFO",
"moduleKind": null,
"sourceArtifactRefs": [
"artifact:seon-network-doc",
"artifact:seon-owl-serialization"
],
"sourceDependencyRefs": [],
"sourceLayerRefs": [],
"sourceModuleRef": "source-module:ufo"
},
{
"label": "SPO",
"moduleKind": null,
"sourceArtifactRefs": [
"artifact:seon-network-doc",
"artifact:seon-owl-serialization"
],
"sourceDependencyRefs": [
"source-module:ufo"
],
"sourceLayerRefs": [],
"sourceModuleRef": "source-module:spo"
},
{
"label": "COM",
"moduleKind": null,
"sourceArtifactRefs": [
"artifact:seon-network-stats",
"artifact:seon-owl-serialization"
],
"sourceDependencyRefs": [
"source-module:ufo"
],
"sourceLayerRefs": [],
"sourceModuleRef": "source-module:com"
},
{
"label": "ReqON",
"moduleKind": null,
"sourceArtifactRefs": [
"artifact:seon-concepts-index",
"artifact:seon-network-projection",
"artifact:seon-reqon-module-doc"
],
"sourceDependencyRefs": [
"source-module:goro",
"source-module:spo"
],
"sourceLayerRefs": [],
"sourceModuleRef": "source-module:reqon"
},
{
"label": "GORO",
"moduleKind": null,
"sourceArtifactRefs": [
"artifact:seon-network-projection",
"artifact:seon-network-stats",
"artifact:seon-owl-serialization"
],
"sourceDependencyRefs": [
"source-module:com",
"source-module:spo"
],
"sourceLayerRefs": [],
"sourceModuleRef": "source-module:goro"
}
],
"sourceSideLinkRefs": [
"source-link:goro-to-spo",
"source-link:reqon-to-goro"
],
"sourceSideLinks": [
{
"fromModuleRef": "source-module:reqon",
"linkKind": "declared-related-ontology",
"sourceArtifactRefs": [
"artifact:seon-network-projection",
"artifact:seon-reqon-module-doc"
],
"sourceSideLinkRef": "source-link:reqon-to-goro",
"toModuleRef": "source-module:goro"
},
{
"fromModuleRef": "source-module:goro",
"linkKind": "source-side-dependency",
"sourceArtifactRefs": [
"artifact:seon-network-projection",
"artifact:seon-network-stats"
],
"sourceSideLinkRef": "source-link:goro-to-spo",
"toModuleRef": "source-module:spo"
}
],
"sourceSubnetworkRefs": [
"source-subnetwork:reqon"
],
"sourceSubnetworks": [
{
"label": "Requirements engineering Ontology subNetwork",
"sourceArtifactRefs": [
"artifact:seon-network-projection",
"artifact:seon-reqon-module-doc"
],
"sourceDependencyRefs": [],
"sourceModuleRefs": [],
"sourceSubnetworkRef": "source-subnetwork:reqon",
"subnetworkKind": null
}
]
},
"sourceSystem": {
"name": "SEON",
"version": "1.0.5",
"capturedFrom": "dev.nemo.inf.ufes.br",
"capturedAt": "2026-05-06T06:01:00Z",
"sourceRoot": "mirror://seon/dev.nemo.inf.ufes.br/"
}
}
],
"manifestRefs": [
"networked-import-manifest:seon-dev-nemo-001"
],
"nonCanonicalStateProof": {
"currentIncludedObjectRefs": [
"assertion:control-support-001",
"evidence:extract-001"
],
"currentVersionRef": "version:compliance-demo-v1",
"derivedRefsInCurrentVersion": [],
"promotionRefsForSourceLocalVocabulary": [],
"sourceArtifactRefsInCurrentVersion": [],
"sourceLocalRefsInCurrentVersion": []
},
"packageRef": "package:compliance-demo",
"semanticGapRefs": [
"semantic-gap:seon-reqon-requirement-artifact-overlap"
],
"sourceLocalVocabularyRefs": {
"sourceArtifactRefs": [
"artifact:seon-bundle-manifest",
"artifact:seon-concepts-index",
"artifact:seon-network-doc",
"artifact:seon-network-projection",
"artifact:seon-network-stats",
"artifact:seon-owl-serialization",
"artifact:seon-reqon-module-doc"
],
"sourceLayerRefs": [
"source-layer:seon-core",
"source-layer:seon-domain",
"source-layer:seon-foundational"
],
"sourceModuleRefs": [
"source-module:com",
"source-module:goro",
"source-module:reqon",
"source-module:spo",
"source-module:ufo"
],
"sourceSideLinkRefs": [
"source-link:goro-to-spo",
"source-link:reqon-to-goro"
],
"sourceSubnetworkRefs": [
"source-subnetwork:reqon"
]
}
}
Declared input document
Show the complete input fixture
{
"extensionVersion": "ontograph.fixture-extension.v0.1",
"baseFixture": "fixtures/canonical/assertion-evidence-thin-slice.json",
"purpose": "Executable NetworkedImportManifest slice proving multi-ontology source bundle structure is preserved as source-side evidence without canonical promotion.",
"commands": [
{
"commandType": "appendCanonicalObject",
"collection": "sources",
"objectId": "source:seon-dev-nemo-bundle"
},
{
"commandType": "appendCanonicalObject",
"collection": "artifacts",
"objectId": "artifact:seon-bundle-manifest"
},
{
"commandType": "appendCanonicalObject",
"collection": "artifacts",
"objectId": "artifact:seon-owl-serialization"
},
{
"commandType": "appendCanonicalObject",
"collection": "artifacts",
"objectId": "artifact:seon-network-doc"
},
{
"commandType": "appendCanonicalObject",
"collection": "artifacts",
"objectId": "artifact:seon-reqon-module-doc"
},
{
"commandType": "appendCanonicalObject",
"collection": "artifacts",
"objectId": "artifact:seon-concepts-index"
},
{
"commandType": "appendCanonicalObject",
"collection": "artifacts",
"objectId": "artifact:seon-network-projection"
},
{
"commandType": "appendCanonicalObject",
"collection": "artifacts",
"objectId": "artifact:seon-network-stats"
},
{
"commandType": "appendCanonicalObject",
"collection": "evidence",
"objectId": "evidence:seon-reqon-overlap-source-context"
},
{
"commandType": "appendCanonicalObject",
"collection": "alignmentArtifacts",
"objectId": "alignment:seon-reqon-requirement-artifact-overlap"
},
{
"commandType": "appendCanonicalObject",
"collection": "semanticGaps",
"objectId": "semantic-gap:seon-reqon-requirement-artifact-overlap"
},
{
"commandType": "appendCanonicalObject",
"collection": "validationResults",
"objectId": "validation:networked-import-manifest-noncanonical"
},
{
"commandType": "appendCanonicalObject",
"collection": "derivationEvents",
"objectId": "derivation:seon-networked-import-manifest-preservation"
},
{
"commandType": "appendCanonicalObject",
"collection": "networkedImportManifests",
"objectId": "networked-import-manifest:seon-dev-nemo-001"
}
],
"appends": {
"sources": [
{
"id": "source:seon-dev-nemo-bundle",
"objectType": "Source",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceKind": "OntologyDocumentationBundle",
"label": "SEON dev.nemo.inf.ufes.br mirrored documentation bundle",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:00:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "ProvenanceGap",
"ref": "gap:fixture-source"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"artifacts": [
{
"id": "artifact:seon-bundle-manifest",
"objectType": "Artifact",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceId": "source:seon-dev-nemo-bundle",
"artifactKind": "BundleManifest",
"uri": "mirror://seon/dev.nemo.inf.ufes.br/manifest.json",
"capturedAt": "2026-05-06T06:01:00Z",
"contentDigest": "sha256:fixture-seon-bundle-manifest",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:01:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Source",
"ref": "source:seon-dev-nemo-bundle"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "artifact:seon-owl-serialization",
"objectType": "Artifact",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceId": "source:seon-dev-nemo-bundle",
"artifactKind": "OntologySerialization",
"uri": "mirror://seon/dev.nemo.inf.ufes.br/seon/SEON.owl.xml",
"capturedAt": "2026-05-06T06:01:00Z",
"contentDigest": "sha256:fixture-seon-owl-serialization",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:01:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Source",
"ref": "source:seon-dev-nemo-bundle"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "artifact:seon-network-doc",
"objectType": "Artifact",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceId": "source:seon-dev-nemo-bundle",
"artifactKind": "NetworkDocumentationPage",
"uri": "mirror://seon/dev.nemo.inf.ufes.br/seon/SEON.html",
"capturedAt": "2026-05-06T06:01:00Z",
"contentDigest": "sha256:fixture-seon-network-doc",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:01:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Source",
"ref": "source:seon-dev-nemo-bundle"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "artifact:seon-reqon-module-doc",
"objectType": "Artifact",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceId": "source:seon-dev-nemo-bundle",
"artifactKind": "SubnetworkDocumentationPage",
"uri": "mirror://seon/dev.nemo.inf.ufes.br/seon/ReqON.html",
"capturedAt": "2026-05-06T06:01:00Z",
"contentDigest": "sha256:fixture-seon-reqon-module-doc",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:01:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Source",
"ref": "source:seon-dev-nemo-bundle"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "artifact:seon-concepts-index",
"objectType": "Artifact",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceId": "source:seon-dev-nemo-bundle",
"artifactKind": "GeneratedConceptIndex",
"uri": "mirror://seon/dev.nemo.inf.ufes.br/seon/ConceptsHash.js",
"capturedAt": "2026-05-06T06:01:00Z",
"contentDigest": "sha256:fixture-seon-concepts-index",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:01:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Source",
"ref": "source:seon-dev-nemo-bundle"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "artifact:seon-network-projection",
"objectType": "Artifact",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceId": "source:seon-dev-nemo-bundle",
"artifactKind": "GeneratedNetworkProjection",
"uri": "mirror://seon/dev.nemo.inf.ufes.br/seon/networkCode.js",
"capturedAt": "2026-05-06T06:01:00Z",
"contentDigest": "sha256:fixture-seon-network-projection",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:01:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Source",
"ref": "source:seon-dev-nemo-bundle"
}
],
"scopeRefs": [
"package:compliance-demo"
]
},
{
"id": "artifact:seon-network-stats",
"objectType": "Artifact",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceId": "source:seon-dev-nemo-bundle",
"artifactKind": "GeneratedNetworkStatistics",
"uri": "mirror://seon/dev.nemo.inf.ufes.br/seon/NetworkStats.html",
"capturedAt": "2026-05-06T06:01:00Z",
"contentDigest": "sha256:fixture-seon-network-stats",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:01:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Source",
"ref": "source:seon-dev-nemo-bundle"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"evidence": [
{
"id": "evidence:seon-reqon-overlap-source-context",
"objectType": "Evidence",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"assertionId": "assertion:control-support-001",
"artifactRefs": [
"artifact:seon-reqon-module-doc",
"artifact:seon-concepts-index"
],
"sourceSpanRefs": [
{
"artifactId": "artifact:seon-reqon-module-doc",
"selectorType": "page-anchor",
"selector": "ReqON requirements engineering ontology subnetwork"
},
{
"artifactId": "artifact:seon-concepts-index",
"selectorType": "generated-index-entry",
"selector": "Requirement Artifact"
}
],
"supportKind": "contextualizes",
"method": "manual-source-bundle-overlap-review",
"quality": {
"confidence": 0.52,
"freshness": "source-captured",
"knownLimitations": [
"source module concept is preserved for review only",
"no canonical equivalence or promotion is asserted"
]
},
"lifecycle": {
"evidence": "linked"
},
"createdAt": "2026-05-06T06:03:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Artifact",
"ref": "artifact:seon-reqon-module-doc"
},
{
"carrierType": "Artifact",
"ref": "artifact:seon-concepts-index"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"alignmentArtifacts": [
{
"id": "alignment:seon-reqon-requirement-artifact-overlap",
"objectType": "AlignmentArtifact",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"alignmentKind": "possible-overlap",
"state": "challenged",
"sourceCandidateRefs": [
"artifact:seon-reqon-module-doc",
"artifact:seon-concepts-index"
],
"targetCandidateRefs": [
"assertion:control-support-001"
],
"sourceArtifactRefs": [
"artifact:seon-reqon-module-doc",
"artifact:seon-concepts-index"
],
"evidenceRefs": [
"evidence:seon-reqon-overlap-source-context"
],
"basis": {
"labelSimilarity": "medium",
"structuralSimilarity": "uncertain",
"provenanceQuality": "source-bundle-preserved",
"semanticCautions": [
"SEON Requirement Artifact is requirements-engineering source meaning",
"OntoGraph assertion/evidence semantics are governance/provenance meaning",
"the overlap is preserved for later review and is not equivalence"
]
},
"antiFlatteningNotes": [
"do not merge SEON Requirement Artifact into OntoGraph Assertion or Evidence",
"preserve ReqON module and source index context",
"challenged alignment remains source-side review history"
],
"recommendedNextAction": "preserve-as-history",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:04:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Artifact",
"ref": "artifact:seon-reqon-module-doc"
},
{
"carrierType": "Evidence",
"ref": "evidence:seon-reqon-overlap-source-context"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"semanticGaps": [
{
"id": "semantic-gap:seon-reqon-requirement-artifact-overlap",
"objectType": "SemanticGap",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"gapKind": "identity-boundary-uncertain",
"affectedObjectRef": "alignment:seon-reqon-requirement-artifact-overlap",
"stage": "proposed-canonical-change",
"reason": "The source bundle preserves a plausible ReqON requirement-artifact overlap, but the OntoGraph identity boundary is unresolved and must not be promoted as equivalence.",
"declaredBy": "actor:max",
"declaredAt": "2026-05-06T06:05:00Z",
"blocksPromotion": true,
"followUp": "Review the SEON module context and OntoUML role/artifact distinction before any stronger alignment.",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:05:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "AlignmentArtifact",
"ref": "alignment:seon-reqon-requirement-artifact-overlap"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"validationResults": [
{
"id": "validation:networked-import-manifest-noncanonical",
"objectType": "ValidationResult",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"targetRef": "alignment:seon-reqon-requirement-artifact-overlap",
"checkRef": "rule:networked-import-manifest-noncanonical",
"outcome": "warn",
"message": "Networked source bundle overlap is preserved for review but is blocked from canonical promotion.",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:06:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "SemanticGap",
"ref": "semantic-gap:seon-reqon-requirement-artifact-overlap"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"derivationEvents": [
{
"id": "derivation:seon-networked-import-manifest-preservation",
"objectType": "DerivationEvent",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"eventKind": "import",
"inputRefs": [
"artifact:seon-bundle-manifest",
"artifact:seon-owl-serialization",
"artifact:seon-network-doc",
"artifact:seon-reqon-module-doc",
"artifact:seon-concepts-index",
"artifact:seon-network-projection",
"artifact:seon-network-stats"
],
"outputRefs": [
"alignment:seon-reqon-requirement-artifact-overlap",
"semantic-gap:seon-reqon-requirement-artifact-overlap",
"validation:networked-import-manifest-noncanonical"
],
"lossReportRefs": [],
"actorRef": "actor:max",
"occurredAt": "2026-05-06T06:07:00Z",
"method": "manual-networked-import-manifest-preservation",
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:07:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Artifact",
"ref": "artifact:seon-bundle-manifest"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
],
"networkedImportManifests": [
{
"id": "networked-import-manifest:seon-dev-nemo-001",
"objectType": "NetworkedImportManifest",
"schemaVersion": "ontograph.canonical.thin-slice.v0.1",
"sourceBundleRef": "source:seon-dev-nemo-bundle",
"sourceBundleArtifactRef": "artifact:seon-bundle-manifest",
"importedAt": "2026-05-06T06:08:00Z",
"importedBy": "actor:max",
"sourceSystem": {
"name": "SEON",
"version": "1.0.5",
"capturedFrom": "dev.nemo.inf.ufes.br",
"capturedAt": "2026-05-06T06:01:00Z",
"sourceRoot": "mirror://seon/dev.nemo.inf.ufes.br/"
},
"sourceArtifactRefs": [
"artifact:seon-bundle-manifest",
"artifact:seon-owl-serialization",
"artifact:seon-network-doc",
"artifact:seon-reqon-module-doc",
"artifact:seon-concepts-index",
"artifact:seon-network-projection",
"artifact:seon-network-stats"
],
"networkLayers": [
{
"id": "source-layer:seon-foundational",
"label": "Foundational layer",
"moduleRefs": [
"source-module:ufo"
]
},
{
"id": "source-layer:seon-core",
"label": "Core layer",
"moduleRefs": [
"source-module:spo",
"source-module:com"
]
},
{
"id": "source-layer:seon-domain",
"label": "Domain-specific layer",
"moduleRefs": [
"source-module:reqon",
"source-module:goro"
]
}
],
"subnetworks": [
{
"id": "source-subnetwork:reqon",
"label": "Requirements engineering Ontology subNetwork",
"moduleRefs": [
"source-module:reqon",
"source-module:goro"
],
"sourceArtifactRefs": [
"artifact:seon-reqon-module-doc",
"artifact:seon-network-projection"
]
}
],
"modules": [
{
"id": "source-module:ufo",
"label": "UFO",
"declaredRole": "foundational ontology",
"layerRef": "source-layer:seon-foundational",
"sourceArtifactRefs": [
"artifact:seon-owl-serialization",
"artifact:seon-network-doc"
],
"sourceDependencyRefs": []
},
{
"id": "source-module:spo",
"label": "SPO",
"declaredRole": "core software process ontology",
"layerRef": "source-layer:seon-core",
"sourceArtifactRefs": [
"artifact:seon-owl-serialization",
"artifact:seon-network-doc"
],
"sourceDependencyRefs": [
"source-module:ufo"
]
},
{
"id": "source-module:com",
"label": "COM",
"declaredRole": "core ontology module",
"layerRef": "source-layer:seon-core",
"sourceArtifactRefs": [
"artifact:seon-owl-serialization",
"artifact:seon-network-stats"
],
"sourceDependencyRefs": [
"source-module:ufo"
]
},
{
"id": "source-module:reqon",
"label": "ReqON",
"declaredRole": "requirements engineering subnetwork module",
"layerRef": "source-layer:seon-domain",
"subnetworkRefs": [
"source-subnetwork:reqon"
],
"sourceArtifactRefs": [
"artifact:seon-reqon-module-doc",
"artifact:seon-concepts-index",
"artifact:seon-network-projection"
],
"sourceDependencyRefs": [
"source-module:spo",
"source-module:goro"
]
},
{
"id": "source-module:goro",
"label": "GORO",
"declaredRole": "goal-oriented requirements ontology module",
"layerRef": "source-layer:seon-domain",
"subnetworkRefs": [
"source-subnetwork:reqon"
],
"sourceArtifactRefs": [
"artifact:seon-owl-serialization",
"artifact:seon-network-projection",
"artifact:seon-network-stats"
],
"sourceDependencyRefs": [
"source-module:spo",
"source-module:com"
]
}
],
"sourceSideLinks": [
{
"id": "source-link:reqon-to-goro",
"linkKind": "declared-related-ontology",
"fromModuleRef": "source-module:reqon",
"toModuleRef": "source-module:goro",
"sourceArtifactRefs": [
"artifact:seon-network-projection",
"artifact:seon-reqon-module-doc"
]
},
{
"id": "source-link:goro-to-spo",
"linkKind": "source-side-dependency",
"fromModuleRef": "source-module:goro",
"toModuleRef": "source-module:spo",
"sourceArtifactRefs": [
"artifact:seon-network-stats",
"artifact:seon-network-projection"
]
}
],
"importOutputs": {
"descriptiveExtractionRefs": [],
"derivationEventRefs": [
"derivation:seon-networked-import-manifest-preservation"
],
"alignmentArtifactRefs": [
"alignment:seon-reqon-requirement-artifact-overlap"
],
"semanticGapRefs": [
"semantic-gap:seon-reqon-requirement-artifact-overlap"
]
},
"unresolvedOverlaps": [
{
"id": "source-overlap:seon-reqon-requirement-artifact",
"status": "preserved-unresolved",
"sourceCandidateRefs": [
"artifact:seon-reqon-module-doc",
"artifact:seon-concepts-index"
],
"targetCandidateRefs": [
"assertion:control-support-001"
],
"alignmentArtifactRef": "alignment:seon-reqon-requirement-artifact-overlap",
"semanticGapRef": "semantic-gap:seon-reqon-requirement-artifact-overlap"
}
],
"nonCanonicalPolicy": {
"rawSourceIsCanonicalTruth": false,
"sourceLabelsAutoPromote": false,
"sourceNetworkEdgesAutoPromote": false,
"moduleIdentityAutoPromote": false,
"preserveUnresolvedOverlap": true,
"promotionRequires": [
"ChangeSet",
"Proposal",
"Review",
"Decision",
"Promotion",
"Version"
]
},
"lifecycle": {
"identity": "active"
},
"createdAt": "2026-05-06T06:08:00Z",
"createdBy": "actor:max",
"provenanceRefs": [
{
"carrierType": "Source",
"ref": "source:seon-dev-nemo-bundle"
},
{
"carrierType": "Artifact",
"ref": "artifact:seon-bundle-manifest"
},
{
"carrierType": "DerivationEvent",
"ref": "derivation:seon-networked-import-manifest-preservation"
}
],
"scopeRefs": [
"package:compliance-demo"
]
}
]
},
"queries": {
"packageRef": "package:compliance-demo",
"currentVersionRef": "version:compliance-demo-v1",
"manifestRef": "networked-import-manifest:seon-dev-nemo-001",
"sourceBundleRef": "source:seon-dev-nemo-bundle",
"sourceArtifactRefs": [
"artifact:seon-bundle-manifest",
"artifact:seon-owl-serialization",
"artifact:seon-network-doc",
"artifact:seon-reqon-module-doc",
"artifact:seon-concepts-index",
"artifact:seon-network-projection",
"artifact:seon-network-stats"
],
"moduleRefs": [
"source-module:ufo",
"source-module:spo",
"source-module:com",
"source-module:reqon",
"source-module:goro"
],
"layerRefs": [
"source-layer:seon-foundational",
"source-layer:seon-core",
"source-layer:seon-domain"
],
"subnetworkRefs": [
"source-subnetwork:reqon"
],
"sourceSideLinkRefs": [
"source-link:reqon-to-goro",
"source-link:goro-to-spo"
],
"derivationEventRefs": [
"derivation:seon-networked-import-manifest-preservation"
],
"alignmentArtifactRefs": [
"alignment:seon-reqon-requirement-artifact-overlap"
],
"semanticGapRefs": [
"semantic-gap:seon-reqon-requirement-artifact-overlap"
],
"unresolvedOverlapRefs": [
"source-overlap:seon-reqon-requirement-artifact"
],
"nonCanonicalStateProof": {
"manifestRefsInCurrentVersion": [],
"sourceArtifactRefsInCurrentVersion": [],
"derivedRefsInCurrentVersion": [],
"promotionRefsForManifestOutputs": []
}
}
}