Relation Types

The relation vocabulary.

Relations connect graph nodes. HAIEC only accepts relations backed by evidence — a name alone never qualifies a relation. Only continuity-family relations (calls, deliveries, declared bearer paths) count toward reachability; structural relations like PART_OF never do.

113

relation types

Agentic & model

Agent → model, tool, memory, MCP server, peer handoff

AGENT_INVOKES_MODELAGENT_USES_TOOLAGENT_READS_MEMORYAGENT_WRITES_MEMORYAGENT_DELEGATES_TOAGENT_HANDS_OFF_TOAGENT_INVOKES_MCP_SERVERMODEL_GENERATES_ACTIONAGENT_PROFILE_DECLARES

O-RAN interfaces & 3GPP reference points

Declared communication paths — A1, E2, O1, O2, R1, N1–N9

R1_RAPP_TO_SMOA1_NON_RT_RIC_TO_NEAR_RT_RICO1_SMO_TO_MANAGED_ELEMENTO2_SMO_TO_O_CLOUDE2_NEAR_RT_RIC_TO_O_DUN1_UE_TO_AMFN2_RAN_TO_AMFN3_RAN_TO_UPFN4_SMF_TO_UPFN6_UPF_TO_DNN9_UPF_TO_UPF

RAN, slice & transport

Cells, sessions, QoS flows, transport links, slice use

BASEBAND_TO_RADIO_UNITUE_SERVED_BY_CELLCELL_PART_OF_SITECELL_PART_OF_TRACKING_AREASECTOR_HOSTS_CELLQOS_FLOW_USES_SLICESBI_CALL_CONSUMER_TO_PRODUCERSCP_ROUTES_TOTRANSPORT_LINK_CONNECTS_NODESSESSION_CARRIED_BY_TRANSPORTUE_USES_QOS_FLOW

Slice, function & tenant structure

Slice composition, isolation, NF registration — structural, not reachability

SLICE_USES_SUBNETSLICE_PROTECTED_BY_ISOLATIONSLICE_HAS_SLATENANT_OWNS_SLICENF_REGISTERED_WITH_NRFNF_FOLLOWS_PATTERN

Delegation & identity bindings

Authority chains, credential attestation, scope reduction

DELEGATION_SOURCE_TO_TARGETAUTHORITY_NARROWING_CHAINACTION_CLAIM_PROPOSED_BYACTION_CLAIM_AUTHORIZED_BYJUSTIFICATION_GAP_EXCEEDSCAPABILITY_BOUND_TOTASK_ENVELOPE_CONTAINSEXECUTION_ENVELOPE_BOUNDED_BYANCHOR_COVERSCAUSE_ATTRIBUTED_TOAGENTIC_IDENTITY_BELONGS_TOOAUTH_CLIENT_BOUND_TOSPIFFE_ID_ATTESTED_BYDELEGATION_CHAIN_CONTAINSSCOPE_REDUCTION_ENFORCEDAGENT_PROFILE_DECLARESTRUST_PROFILE_EVALUATESLINEAGE_CHAIN_TRACKS

Supply chain & CI/CD

Artifacts, pipelines, SBOM, VEX, secrets in build

BUILD_PRODUCES_ARTIFACTARTIFACT_DEPLOYED_ASSBOM_DESCRIBES_PACKAGEVEX_ASSERTS_EXPLOITABILITYPIPELINE_BUILDS_ARTIFACTPIPELINE_RUNS_SCANPIPELINE_DEPLOYS_TOCOMMIT_TRIGGERS_PIPELINESECRET_USED_IN_PIPELINEPOD_SCHEDULED_ON_NODESERVICE_ACCOUNT_BOUND_TOCONTAINER_MOUNTS_SECRETINGRESS_ROUTES_TO_SERVICENETWORK_POLICY_APPLIES_TO_POD

Service ordering (TMF)

Order requests/targets — never execution

SERVICE_ORDER_REQUESTS_SERVICESERVICE_ORDER_ITEM_TARGETS_RESOURCE

Generic continuity

Calls, publishes, delivers, handles — the base vocabulary

REALIZED_BYDEPENDS_ONHOSTED_ONCONNECTED_TOPART_OFSERVESIMPLEMENTSCALLSPUBLISHESSUBSCRIBES_TODELIVERS_TOTRIGGERSHANDLED_BYSCHEDULESREQUESTSTARGETSINVOKESAPPLIES_TOCHANGESRESULTS_INAFFECTSDEGRADESRESTORESSERVICE_RELATIONSHIPRESOURCE_RELATIONSHIPSERVICE_USES_RESOURCERESOURCE_SUPPORTS_SERVICESERVICE_ORDER_REQUESTS_SERVICESERVICE_ORDER_ITEM_TARGETS_RESOURCEPRODUCT_OFFERING_REALIZED_BY_SERVICERELATED_PARTYSUPPORTING_SERVICERESOURCE_CONTAINS_RESOURCER1_RAPP_TO_SMOA1_NON_RT_RIC_TO_NEAR_RT_RICO1_SMO_TO_MANAGED_ELEMENTO2_SMO_TO_O_CLOUDE2_NEAR_RT_RIC_TO_O_DUN1_UE_TO_AMFN2_RAN_TO_AMFN3_RAN_TO_UPFN4_SMF_TO_UPFN6_UPF_TO_DNN9_UPF_TO_UPFEUTRAN_CELL_TO_SECTOR_CARRIERNODE_TO_SECTOR_CARRIERBASEBAND_TO_RADIO_UNITAGENT_INVOKES_MODELAGENT_USES_TOOLAGENT_READS_MEMORYAGENT_WRITES_MEMORYAGENT_DELEGATES_TOAGENT_HANDS_OFF_TOAGENT_INVOKES_MCP_SERVERPROMPT_INFLUENCES_DECISIONMODEL_GENERATES_ACTIONMEMORY_CONTAMINATES_DECISIONEVIDENCE_DERIVED_FROMEVIDENCE_CORROBORATESEVIDENCE_CONTRADICTSEVIDENCE_SUPERSEDESCASE_INCLUDES_EVIDENCETIMELINE_EVENT_PRECEDESPACKAGE_DEPENDS_ONPACKAGE_VULNERABLE_TOBUILD_PRODUCES_ARTIFACTARTIFACT_DEPLOYED_ASSBOM_DESCRIBES_PACKAGEVEX_ASSERTS_EXPLOITABILITYPIPELINE_BUILDS_ARTIFACTPIPELINE_RUNS_SCANPIPELINE_DEPLOYS_TOCOMMIT_TRIGGERS_PIPELINESECRET_USED_IN_PIPELINEPOD_SCHEDULED_ON_NODESERVICE_ACCOUNT_BOUND_TOCONTAINER_MOUNTS_SECRETINGRESS_ROUTES_TO_SERVICENETWORK_POLICY_APPLIES_TO_PODDELEGATION_SOURCE_TO_TARGETAUTHORITY_NARROWING_CHAINACTION_CLAIM_PROPOSED_BYACTION_CLAIM_AUTHORIZED_BYJUSTIFICATION_GAP_EXCEEDSCAPABILITY_BOUND_TOTASK_ENVELOPE_CONTAINSEXECUTION_ENVELOPE_BOUNDED_BYANCHOR_COVERSCAUSE_ATTRIBUTED_TOAGENTIC_IDENTITY_BELONGS_TOOAUTH_CLIENT_BOUND_TOSPIFFE_ID_ATTESTED_BYDELEGATION_CHAIN_CONTAINSSCOPE_REDUCTION_ENFORCEDAGENT_PROFILE_DECLARESTRUST_PROFILE_EVALUATESLINEAGE_CHAIN_TRACKSUE_SERVED_BY_CELLCELL_PART_OF_SITECELL_PART_OF_TRACKING_AREASECTOR_HOSTS_CELLSLICE_USES_SUBNETSLICE_PROTECTED_BY_ISOLATIONSLICE_HAS_SLATENANT_OWNS_SLICEQOS_FLOW_USES_SLICENF_REGISTERED_WITH_NRFSBI_CALL_CONSUMER_TO_PRODUCERSCP_ROUTES_TONF_FOLLOWS_PATTERNTRANSPORT_LINK_CONNECTS_NODESSESSION_CARRIED_BY_TRANSPORTUE_USES_QOS_FLOW

Source of truth: lib/evidence/semantic-relation.ts. Domain grouping above is display-only — the qualification contract lives in code, and every persisted relation carries evidenceRefs and an establishment state (ESTABLISHED / PARTIAL / UNKNOWN / CONTRADICTED / NOT_ASSESSED).