| Internet-Draft | AI-Native 5G/6G Finality | August 2026 |
| Das | Expires 28 February 2027 | [Page] |
In programmable and AI-assisted mobile networks, successful authentication of a network function or AI controller does not establish authority for every routing, signaling, session, resource-allocation, sensing, or subscriber-specific consequence that the function can generate.¶
This document defines an informational execution-finality profile for AI-native 5G, 5G-Advanced, IMT-2030/6G, O-RAN, and AI-RAN environments. A proposed network operation is represented as a Network Candidate Act and remains in a Non-Effective State while a Protected Enforcement Domain validates act-specific predicates. Protected validation evidence is committed before, or atomically with, release of scoped non-bearer finality authority. A Network Finality Sink at the enforcement boundary independently verifies that authority immediately before live network state changes.¶
The governing rule is that network authentication is not network finality, and computation is not authority. This revision also defines a JSON interoperability profile for Candidate Acts, validation decisions, scoped authority, and sink verification.¶
This Internet-Draft is submitted in full conformance with the provisions of BCP 78 and BCP 79.¶
Internet-Drafts are working documents of the Internet Engineering Task Force (IETF). Note that other groups may also distribute working documents as Internet-Drafts. The list of current Internet-Drafts is at https://datatracker.ietf.org/drafts/current/.¶
Internet-Drafts are draft documents valid for a maximum of six months and may be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to use Internet-Drafts as reference material or to cite them other than as "work in progress."¶
This Internet-Draft will expire on 28 February 2027.¶
Copyright (c) 2026 IETF Trust and the persons identified as the document authors. All rights reserved.¶
This document is subject to BCP 78 and the IETF Trust's Legal Provisions Relating to IETF Documents (https://trustee.ietf.org/license-info) in effect on the date of publication of this document. Please review these documents carefully, as they describe your rights and restrictions with respect to this document. Code Components extracted from this document must include Revised BSD License text as described in Section 4.e of the Trust Legal Provisions and are provided without warranty as described in the Revised BSD License.¶
Future telecommunications systems are increasingly programmable, API-driven, AI-assisted, distributed, sensing-aware, and autonomous. An authenticated network function, Near-RT RIC xApp, rApp, orchestrator, or AI agent may be permitted to participate in the network while lacking authority to cause every possible live-network consequence.¶
Existing mobile-network security mechanisms answer an earlier question: whether an entity may enter a domain, invoke an interface, or obtain a token. Execution finality answers a later question: whether one particular proposed operation may become effective now, for this subscriber or resource, purpose, scope, destination, jurisdiction, policy epoch, and enforcement boundary.¶
This document specifies that later control as a two-boundary architecture:¶
The standards surface is deliberately narrow: a Network Candidate Act plus a Network Finality Sink. This document does not replace 3GPP authentication, O-RAN policy interfaces, or ordinary routing procedures. It defines an additional pre-effectuation gate for AI-mediated and other autonomous network acts. A companion informational draft discusses the same finality pattern outside the mobile-network profile [I-D.das-ef-interop].¶
The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in BCP 14 [RFC2119] [RFC8174] when, and only when, they appear in all capitals, as shown here.¶
The protocol invariant is mandatory: failure to establish current finality authority MUST NOT be converted into permission to effectuate a protected network consequence.¶
Traditional network security controls primarily determine who may enter a system, who may invoke an API, and whether a network function is authenticated. Those controls remain necessary. They do not, by themselves, decide whether one already-generated operation may become a live-network consequence.¶
That distinction matters more as control loops become autonomous. An AI-RAN controller, RIC xApp, or orchestrator can compute a resource reallocation, traffic-steering decision, or sensing export without a human decision point immediately before effectuation. Authentication of the controller answers "who are you?". Execution finality answers "may this exact network act become effective now?".¶
IMT-2030 work describes expected capabilities that widen the consequence surface: native AI integration, distributed learning and inference, integrated sensing and communication, high-precision positioning, cloud-native and edge-native architectures, network slicing, and heterogeneous multi-stakeholder environments [ITU-IMT2030] [ITU-T-IMT2030-SEC]. In such an environment, location, presence, and subscriber context may be derived from infrastructure measurements rather than from a single application GPS API. Removing one application's positioning permission therefore does not necessarily control final disclosure or actuation.¶
This document does not claim that existing cybersecurity or privacy controls will collapse. It claims that access-centric assumptions are incomplete if they are relied upon without a separate control over the transition from computation to consequence.¶
A Candidate Act MUST NOT become consequence-bearing merely because it has been generated, computed, selected, routed, scheduled, delegated, authenticated, or permitted by an upstream application or AI system.¶
A Candidate Act MUST remain in a Non-Effective State until all of the following have occurred:¶
This is a two-boundary architecture rather than a single authorization gate. The first boundary determines whether scoped finality authority may be created. The second determines whether the consequence may actually occur.¶
Candidate Act
|
v
Non-Effective State
|
v
Protected Enforcement Domain
|
v
Act-Specific Validation
|
v
Protected Validation Evidence
|
v
Scoped Non-Bearer Finality Authority
|
v
Independent Finality Sink Verification
|
+------ FAILURE ------> remain non-effective
|
`------ SUCCESS
|
v
authority consumed
|
v
permitted consequence
No individual element substitutes for this chain. A policy engine, application permission, access token, attestation, human approval, LAVR, or Finality Sink without act-bound authority is insufficient by itself.¶
An implementation MUST preserve the Non-Effective State whenever a required element of the execution-finality chain is absent, invalid, stale, expired, revoked, replayed, already consumed, act-mismatched, scope-mismatched, policy-mismatched, jurisdiction-mismatched, protected-state-mismatched, or Finality-Sink-mismatched.¶
Failure at a load-bearing point MUST leave the Candidate Act non-effective. A warning or audit record alone is not sufficient.¶
A conforming implementation SHOULD create or derive a machine-verifiable descriptor for the Candidate Act before effectuation. The precise serialization is defined for the network profile in Section 8. A conceptual descriptor includes:¶
Not every field is required for every consequence class. Data precision is particularly relevant to location or sensitive-data release. Destination jurisdiction is relevant to cross-border export. Tool or function identity is important for agentic controllers. Permitted consequence class distinguishes a model recommendation from a live network mutation.¶
A Candidate Act SHOULD have a stable digest over its load-bearing attributes. Changing a load-bearing attribute MUST cause previously issued authority to fail verification unless the changed operation is separately authorized.¶
Upon receiving or resolving a Candidate Act, the PED MUST keep that act non-effective while validation is performed. The PED SHOULD evaluate all predicates required by the applicable consequence class. Predicates MAY include authority, purpose, application and agent identity, tool/function scope, instruction provenance, destination, jurisdiction, data residency, data precision, policy epoch, revocation state, freshness, nonce, protected state, permitted consequence class, and Finality Sink identity.¶
PED approval alone MUST NOT make the Candidate Act effective. Validation success is not external consequence.¶
If validation succeeds, the PED MUST:¶
At this stage the Candidate Act remains non-effective. The PED has authorized issuance of finality authority. It has not yet caused effectuation.¶
If validation fails, the PED MUST NOT release usable finality authority. The implementation SHOULD create protected denial state or denial evidence sufficient to prevent unauthorized retry, replay, rollback, substitution, or stale reuse where those risks apply. The implementation MAY consume or lock a nonce, advance protected monotonic state, generate a denial receipt, update revocation or exposure state, quarantine the Candidate Act, or require renewed authorization. The Candidate Act MUST remain non-effective.¶
The system MUST NOT treat a simple Boolean result such as ALLOW=TRUE as sufficient execution-finality authority. The protected validation result is committed into protected evidence before the act can proceed. A LAVR, where used, is a pre-effectuation protected commitment, not a post-event receipt. External blockchain finality is NOT required for the hot path.¶
The Finality Sink MUST NOT merely trust that the PED previously approved the Candidate Act. It MUST independently verify the applicable finality authority immediately before effectuation.¶
The Finality Sink SHOULD verify, where applicable: authority validity; Candidate Act identity or digest; protected validation evidence; protected-state reference or transition; scope; purpose; destination; jurisdiction; data precision; nonce; freshness; policy epoch; revocation epoch; consumption state; permitted consequence class; effectuation-boundary identity; and Finality Sink identity.¶
The Finality Sink MUST reject the Candidate Act if a required verification fails. A failed verification MUST prevent effectuation. It MUST NOT merely create an alert while allowing the consequence to proceed. For a telecom failure, no governed network consequence occurs. For a location-export failure, exact coordinates are not released.¶
If Finality Sink verification succeeds, the implementation MUST ensure that the finality authority cannot be reused outside its permitted semantics. For single-use operations, consumption, invalidation, or protected-state advancement SHOULD occur before or atomically with effectuation. The implementation SHOULD also create sink-side finality evidence identifying the completed protected consequence.¶
The execution sequence is:¶
A telecom Candidate Act MAY include routing modification, signaling operation, session establishment or modification, resource allocation, service activation, slice orchestration, network API invocation, traffic-steering decision, autonomous optimization, machine-to-machine communication operation, AI-RAN action, subscriber-specific network operation, sensing operation, RF enablement, or another network-state transition.¶
An AI network controller proposes a NETWORK_RESOURCE_REALLOCATION for cell-108 and slice emergency-services, with purpose congestion-optimization and Finality Sink at a RAN enforcement boundary. The controller may fully compute the optimization. The optimization remains a Candidate Act. The PED validates the applicable network, policy, subscriber, jurisdiction, resource, and authority predicates. Only then may scoped finality authority be released. The RAN enforcement point verifies that authority immediately before the allocation becomes live.¶
Depending on deployment, a telecom Finality Sink MAY be located at or associated with a carrier gateway, UPF, control-plane function, session controller, network API gateway, AI-RAN enforcement point, O-RAN E2 or A1-adjacent enforcement logic, signaling gateway, edge network function, or a future 6G enforcement node.¶
Carrier and 6G deployments may require near-line-rate behavior. Such deployments MAY rely on local protected state, cached short-lived policy, current revocation epoch, sink-bound capabilities, SmartNIC or DPU enforcement, secure network functions, or hardware-adjacent validation. High-risk or anomalous operations SHOULD be escalated rather than allowed as unverifiable network consequences.¶
This section defines a JSON interoperability profile for AI-generated or AI-mediated network Candidate Acts. The schema makes the proposed network effect, resource scope, subscriber scope, network-function identity, policy state, and intended Network Finality Sink explicit. This profile defines the semantic contract. It does not require one transport.¶
Candidate Acts and finality authorities MAY be carried over protected local IPC, operator-internal HTTPS, service-based interfaces, O-RAN control interfaces, or other authenticated transports. A transport binding MUST preserve object integrity, sink identity, freshness, and the protected non-bearer semantics of the authority.¶
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"$id": "urn:ietf:params:json-schema:network-finality:candidate-act:1",
"title": "NetworkCandidateAct",
"type": "object",
"additionalProperties": false,
"required": [
"version",
"object_type",
"candidate_act_id",
"act_type",
"created_at",
"expires_at",
"initiator",
"network_context",
"resource_scope",
"purpose",
"requested_effect",
"policy_state",
"freshness",
"finality_sink"
],
"properties": {
"version": { "type": "string", "const": "1.0" },
"object_type": { "type": "string", "const": "network_candidate_act" },
"candidate_act_id": { "type": "string", "minLength": 16 },
"act_type": {
"type": "string",
"enum": [
"ROUTE_CHANGE",
"SESSION_MODIFICATION",
"QOS_CHANGE",
"SLICE_RESOURCE_ALLOCATION",
"RAN_PARAMETER_CHANGE",
"POLICY_UPDATE",
"NETWORK_API_INVOCATION",
"UPF_RULE_CHANGE",
"BEAM_CHANGE",
"SENSING_OPERATION",
"RF_ENABLE",
"SERVICE_ACTIVATION",
"OTHER"
]
},
"created_at": { "type": "string", "format": "date-time" },
"expires_at": { "type": "string", "format": "date-time" },
"initiator": {
"type": "object",
"required": ["network_function_id", "function_type"],
"properties": {
"network_function_id": { "type": "string" },
"function_type": {
"type": "string",
"enum": [
"AI_RAN_CONTROLLER",
"RIC_XAPP",
"RIC_RAPP",
"SMF",
"AMF",
"PCF",
"UPF_CONTROLLER",
"ORCHESTRATOR",
"NETWORK_API_CLIENT",
"EDGE_AGENT",
"OTHER"
]
},
"agent_id": { "type": "string" },
"model_id": { "type": "string" },
"runtime_attestation_digest": { "type": "string" }
}
},
"network_context": {
"type": "object",
"properties": {
"plmn_id": { "type": "string" },
"network_domain": { "type": "string" },
"slice_id": { "type": "string" },
"cell_ids": { "type": "array", "items": { "type": "string" } },
"edge_region": { "type": "string" },
"jurisdiction": { "type": "string" }
}
},
"resource_scope": {
"type": "object",
"required": ["resource_type", "resource_ids"],
"properties": {
"resource_type": {
"type": "string",
"enum": [
"SLICE",
"CELL",
"QOS_FLOW",
"SESSION",
"UPF_RULE",
"ROUTE",
"SPECTRUM_RESOURCE",
"BEAM",
"NETWORK_API",
"SENSING_RESOURCE",
"OTHER"
]
},
"resource_ids": {
"type": "array",
"minItems": 1,
"items": { "type": "string" }
},
"subscriber_scope": {
"type": "object",
"properties": {
"scope_type": {
"type": "string",
"enum": [
"NONE",
"SINGLE_SUBSCRIBER",
"SUBSCRIBER_GROUP",
"TENANT",
"SLICE",
"CELL_POPULATION"
]
},
"scope_reference": { "type": "string" }
}
}
}
},
"purpose": {
"type": "object",
"required": ["purpose_id", "declared_purpose"],
"properties": {
"purpose_id": { "type": "string" },
"declared_purpose": { "type": "string" },
"service_intent_reference": { "type": "string" },
"purpose_epoch": { "type": "integer", "minimum": 0 }
}
},
"requested_effect": {
"type": "object",
"required": ["effect_type", "parameters_digest"],
"properties": {
"effect_type": { "type": "string" },
"parameters_digest": {
"type": "object",
"required": ["algorithm", "value"],
"properties": {
"algorithm": {
"type": "string",
"enum": ["SHA-256", "SHA-384", "SHA-512"]
},
"value": { "type": "string" }
}
},
"duration_seconds": { "type": "integer", "minimum": 0 },
"reversibility": {
"type": "string",
"enum": ["REVERSIBLE", "PARTIALLY_REVERSIBLE", "IRREVERSIBLE"]
}
}
},
"policy_state": {
"type": "object",
"required": ["policy_epoch", "authority_epoch", "revocation_epoch"],
"properties": {
"policy_epoch": { "type": "integer", "minimum": 0 },
"authority_epoch": { "type": "integer", "minimum": 0 },
"revocation_epoch": { "type": "integer", "minimum": 0 },
"operator_policy_profile": { "type": "string" },
"regulatory_profile": { "type": "string" }
}
},
"freshness": {
"type": "object",
"required": ["nonce"],
"properties": {
"nonce": { "type": "string", "minLength": 16 },
"sequence": { "type": "integer", "minimum": 0 },
"session_id": { "type": "string" }
}
},
"finality_sink": {
"type": "object",
"required": ["sink_id", "sink_type"],
"properties": {
"sink_id": { "type": "string" },
"sink_type": {
"type": "string",
"enum": [
"UPF",
"CONTROL_PLANE_GATEWAY",
"RAN_CONTROL",
"O_RAN_E2",
"O_RAN_A1",
"NETWORK_API_GATEWAY",
"RF_ENABLE",
"SESSION_CONTROLLER",
"OTHER"
]
}
}
}
}
}
¶
The protected network enforcement function evaluates whether the proposed network consequence is valid for the current network state. A successful AI recommendation or policy-engine decision does not itself cause the network effect.¶
{
"version": "1.0",
"object_type": "network_validation_decision",
"decision_id": "nvd-1882bd",
"candidate_act_id": "net-39f8820b",
"decision": "ALLOW",
"validated_predicates": {
"initiator_attested": true,
"resource_scope_valid": true,
"subscriber_scope_valid": true,
"purpose_valid": true,
"requested_effect_valid": true,
"operator_policy_valid": true,
"regulatory_policy_valid": true,
"network_state_valid": true,
"policy_epoch_valid": true,
"revocation_state_valid": true,
"freshness_valid": true,
"sink_binding_valid": true
},
"network_state": {
"topology_epoch": 993,
"configuration_epoch": 771,
"slice_state": "ACTIVE",
"congestion_state": "NORMAL"
},
"protected_state": {
"state_reference": "net-ped-state-7801",
"monotonic_counter": 184991
}
}
¶
{
"version": "1.0",
"object_type": "network_finality_authority",
"authority_id": "nfa-7f51ca",
"candidate_act_id": "net-39f8820b",
"decision_id": "nvd-1882bd",
"scope": {
"act_type": "SLICE_RESOURCE_ALLOCATION",
"resource_type": "SLICE",
"resource_ids": ["slice-17"],
"subscriber_scope": {
"scope_type": "TENANT",
"scope_reference": "tenant-A"
},
"permitted_effect": {
"effect_type": "ALLOCATE_CAPACITY",
"parameters_digest": "base64url-effect-digest",
"duration_seconds_max": 300
},
"network_domain": "ran-domain-2",
"jurisdiction": "IN"
},
"binding": {
"candidate_act_digest": {
"algorithm": "SHA-256",
"value": "base64url-net-act-digest"
},
"protected_state_reference": "net-ped-state-7801",
"topology_epoch": 993,
"configuration_epoch": 771,
"policy_epoch": 42,
"authority_epoch": 8,
"revocation_epoch": 7,
"nonce": "C3929177AA801C55",
"finality_sink_id": "ran-finality-sink-04"
},
"lifetime": {
"issued_at": "2026-08-26T17:50:01Z",
"expires_at": "2026-08-26T17:50:05Z",
"single_use": true
},
"issuer": {
"ped_id": "operator-ped-1",
"key_id": "operator-finality-key-4",
"signature": "base64url-signature"
}
}
¶
The Network Finality Sink verifies the actual requested network effect immediately before the protected configuration, forwarding, signaling, RF, or resource-allocation change becomes effective.¶
{
"operation": "NetworkSinkVerify",
"request_id": "net-verify-991",
"candidate_act_id": "net-39f8820b",
"authority_id": "nfa-7f51ca",
"sink": {
"sink_id": "ran-finality-sink-04",
"sink_type": "RAN_CONTROL"
},
"proposed_effect": {
"effect_type": "ALLOCATE_CAPACITY",
"resource_type": "SLICE",
"resource_ids": ["slice-17"],
"parameters": {
"additional_prb_percent": 12,
"duration_seconds": 120
},
"parameters_digest": {
"algorithm": "SHA-256",
"value": "base64url-effect-digest"
}
},
"current_network_state": {
"topology_epoch": 993,
"configuration_epoch": 771
},
"freshness": {
"nonce": "C3929177AA801C55"
}
}
¶
{
"operation": "NetworkSinkVerify",
"request_id": "net-verify-991",
"decision": "ALLOW",
"verification": {
"authority_signature": "VALID",
"candidate_act_binding": "MATCH",
"initiator_scope": "MATCH",
"resource_scope": "MATCH",
"subscriber_scope": "MATCH",
"effect_parameters": "MATCH",
"topology_epoch": "CURRENT",
"configuration_epoch": "CURRENT",
"policy_epoch": "CURRENT",
"revocation_epoch": "CURRENT",
"nonce": "FRESH",
"consumption_state": "UNUSED",
"sink_binding": "MATCH"
},
"consumption": {
"authority_id": "nfa-7f51ca",
"status": "CONSUMED",
"consumed_at": "2026-08-26T17:50:02Z"
},
"effectuation": {
"permitted": true,
"network_effect_id": "net-effect-4481"
}
}
¶
If the topology or configuration changes between protected validation and effectuation, the sink can deny the stale authority and require revalidation. This matters for low-latency autonomous control because a valid decision for one state may be unsafe in a later state.¶
{
"operation": "NetworkSinkVerify",
"request_id": "net-verify-992",
"decision": "DENY",
"error": {
"code": "EF_NETWORK_STATE_MISMATCH",
"message": "Configuration epoch differs from the bound authority epoch.",
"retryable": true
},
"verification": {
"authority_signature": "VALID",
"configuration_epoch_expected": 771,
"configuration_epoch_observed": 772,
"resource_scope": "MATCH",
"sink_binding": "MATCH"
},
"effectuation": {
"permitted": false,
"required_action": "REVALIDATE_CANDIDATE_ACT"
}
}
¶
{
"step_1_ai_recommendation": {
"agent_id": "ai-ran-controller-7",
"recommendation": "Increase slice-17 radio capacity by 12% for 120s",
"effect_status": "NON_EFFECTIVE"
},
"step_2_candidate_act": {
"candidate_act_id": "net-39f8820b",
"act_type": "SLICE_RESOURCE_ALLOCATION",
"initiator": {
"network_function_id": "ai-ran-controller-7",
"function_type": "AI_RAN_CONTROLLER",
"agent_id": "ran-agent-7",
"model_id": "traffic-optimizer-v5"
},
"network_context": {
"plmn_id": "00101",
"network_domain": "ran-domain-2",
"slice_id": "slice-17",
"jurisdiction": "IN"
},
"resource_scope": {
"resource_type": "SLICE",
"resource_ids": ["slice-17"],
"subscriber_scope": {
"scope_type": "TENANT",
"scope_reference": "tenant-A"
}
},
"purpose": {
"purpose_id": "latency-optimization",
"declared_purpose": "Maintain latency SLO for tenant-A"
},
"requested_effect": {
"effect_type": "ALLOCATE_CAPACITY",
"parameters_digest": {
"algorithm": "SHA-256",
"value": "base64url-effect-digest"
},
"duration_seconds": 120,
"reversibility": "REVERSIBLE"
},
"policy_state": {
"policy_epoch": 42,
"authority_epoch": 8,
"revocation_epoch": 7,
"operator_policy_profile": "ran-autonomy-v3"
},
"freshness": {
"nonce": "C3929177AA801C55",
"sequence": 8821
},
"finality_sink": {
"sink_id": "ran-finality-sink-04",
"sink_type": "RAN_CONTROL"
}
},
"step_3_protected_validation": {
"decision": "ALLOW",
"topology_epoch": 993,
"configuration_epoch": 771
},
"step_4_authority": {
"authority_id": "nfa-7f51ca",
"single_use": true,
"expires_in_seconds": 4
},
"step_5_sink_verification": {
"decision": "ALLOW",
"authority_consumed": true
},
"step_6_network_effect": {
"slice_id": "slice-17",
"additional_prb_percent": 12,
"duration_seconds": 120,
"effect_status": "EFFECTIVE"
}
}
¶
Act Generator PED Finality Sink
| | |
|-- Candidate Act ---->| |
| | |
| NON-EFFECTIVE | |
|<---------------------| |
| | |
| |-- validate predicates |
| |-- verify protected state |
| |-- verify nonce/epochs |
| | |
| | [DENY] |
| |---- denial evidence ---->|
| | remains NON-EFFECTIVE |
| | |
| | [ALLOW] |
| |-- commit evidence |
| |-- create scoped |
| | finality authority |
| | |
|---------------------- finality authority ------>|
| |
| verify act |
| verify scope |
| verify nonce |
| verify state |
| verify epochs |
| verify sink |
| |
| [FAIL] |
| no effect |
| |
| [PASS] |
| consume |
| authority |
|<---------------- permitted consequence ---------|
The following procedure is illustrative:¶
function PED_VALIDATE(candidate):
if candidate is malformed:
return DENY(MALFORMED_ACT)
if candidate.nonce is not fresh:
return DENY(REPLAY_OR_STALE)
if candidate.policy_epoch != current_policy_epoch:
return DENY(POLICY_EPOCH_MISMATCH)
if candidate.revocation_epoch != current_revocation_epoch:
return DENY(REVOCATION_STATE_MISMATCH)
if candidate.finality_sink_id is not authorized:
return DENY(SINK_NOT_AUTHORIZED)
if protected_state does not permit candidate:
return DENY(PROTECTED_STATE_DENIAL)
if purpose, jurisdiction, or scope checks fail:
return DENY(PREDICATE_DENIAL)
evidence = COMMIT_PROTECTED_VALIDATION(candidate)
authority = ISSUE_SCOPED_FINALITY_AUTHORITY(
candidate, evidence, current_protected_state)
return ALLOW(authority)
¶
An implementation MAY evaluate additional predicates, including attestation, instruction provenance, data residency, accelerator identity, or cumulative disclosure state. The PED MUST perform these checks while the Candidate Act remains non-effective.¶
function FINALITY_SINK_VERIFY(candidate, authority):
if authority is absent:
return DENY(NO_FINALITY_AUTHORITY)
if authority integrity check fails:
return DENY(INVALID_AUTHORITY)
if HASH(candidate) != authority.candidate_act_digest:
return DENY(ACT_MISMATCH)
if authority.finality_sink_id != THIS_SINK:
return DENY(SINK_MISMATCH)
if authority is expired or already consumed:
return DENY(STALE_OR_USED)
if authority.nonce is not current:
return DENY(NONCE_FAILURE)
if authority epochs do not match current protected state:
return DENY(EPOCH_OR_STATE_MISMATCH)
if candidate exceeds authorized scope, destination,
jurisdiction, or precision:
return DENY(SCOPE_OR_CONTEXT_MISMATCH)
ATOMICALLY:
consume(authority)
advance_replay_state()
permit_effectuation()
return EFFECTUATED
¶
For a single-use operation, successful authority consumption SHOULD be atomic with the state transition that enables effectuation. An implementation MUST prevent verify- then-effectuate-then-replay of the same authority. Replay protection MAY use nonce consumption, monotonic counters, sequence numbers, protected consumed flags, protected-state advancement, short expiration windows, epoch advancement, or an equivalent mechanism.¶
A previously issued authority MUST NOT override a newer revocation state. If an authority was created under Revocation-Epoch 51 and the applicable protected state has advanced to Revocation-Epoch 52, the older authority SHOULD fail unless an explicitly defined policy permits continued validity. Revocation SHOULD be checked at the Finality Sink, not merely when the authority was originally created.¶
The same principle applies to policy epochs. An authority issued before a material policy change SHOULD NOT silently inherit authority under the new policy state. Examples include a newly prohibited location-export precision, a revoked AI tool, a telecom action removed from authorized scope, a changed data-residency rule, or a withdrawn model version.¶
Not every Candidate Act requires identical validation cost. A hot path MAY be used for frequent, previously bounded, low-risk, or latency-sensitive classes of acts, relying on local protected state, fresh nonce state, cached policy, short-lived authority, pre-bound sink identity, and current revocation epoch. A hot-path operation MUST still perform Finality Sink verification. "Hot path" does not mean "skip finality."¶
A Candidate Act SHOULD be escalated to a cold or higher-assurance path where it involves exact location export, high-value sovereign data export, cross-jurisdiction processing, RF emission, actuator-class control, cryptographic-key release, unusual agent behavior, unknown tool delegation, changed destination, uncertain jurisdiction, policy anomaly, missing cached state, or high-consequence infrastructure operation.¶
A Candidate Act MUST NOT obtain default permission merely because the hot path cannot make a decision. Cache miss, policy miss, revocation uncertainty, network failure, unknown destination, unknown jurisdiction, changed sink, changed tool, or runtime anomaly SHOULD result in cold-path escalation, delay, downgrade, or denial. Timeout, cache miss, or uncertainty MUST NOT create default authority.¶
A successful cold-path evaluation MAY establish a bounded policy envelope for subsequent low-latency operations. Later Candidate Acts within that exact envelope MAY use faster local validation. If any bound condition changes, the system SHOULD escalate again.¶
Execution finality SHOULD be implementable without a remote ledger round trip for every operation. Representative local paths may operate in the millisecond range; stronger attestation or multi-party validation may take longer. These figures are implementation examples, not protocol requirements. External anchoring can strengthen later evidence. It MUST NOT retroactively authorize an act that was not valid when effectuation occurred.¶
The following identifiers are protocol-design suggestions and are not IANA assignments. A conforming implementation MAY expose equivalent numeric or symbolic codes.¶
A denial response MAY specify an allowed remediation, such as downgrade of precision, escalation to a cold path, or requirement for fresh authority. Permitted denial actions MAY include deny, delay, downgrade, redact, suppress, quarantine, request new authority, escalate, or route for review.¶
A conforming implementation MUST fail closed for a protected consequence when required execution-finality state cannot be verified. Failure prevents consequence rather than merely documenting that an unauthorized consequence occurred.¶
A timeout MUST NOT be interpreted as approval. Verification timeout is not permission. The implementation MAY retry within policy, escalate, delay, downgrade, or deny. If no permitted resolution is available, the Candidate Act remains non-effective.¶
An implementation MUST consider alternate paths capable of producing the same protected consequence. Moving the act to a different interface, plugin, interconnect, or network function MUST NOT inherently remove the execution-finality requirement if that path can produce the same protected consequence. Routing around a cold path, using stale cached authority, fragmenting an act, relocating the Finality Sink, or moving effectuation to another component does not create a bypass.¶
The principal security objective is that a protected consequence MUST remain technically non-effective unless current, act-specific, scoped authority is verified at the applicable Finality Sink. Implementations MUST consider attacks against every load-bearing element of the finality chain.¶
An attacker may attempt to reuse a previously valid finality authority after the original act has completed. Finality authority SHOULD therefore be bound to Candidate Act identity or digest, nonce, sequence state, policy and revocation epochs, protected state, scope, Finality Sink identity, and consumption state. Single-use authority MUST be consumed or otherwise made unusable before or atomically with effectuation.¶
An attacker may obtain valid authority for one Candidate Act and attempt to substitute a different operation, for example replacing coarse location with precise coordinates, one tool with another, or one resource allocation with a broader change. The Finality Sink MUST verify that the actual consequence corresponds to the act or digest bound to the authority.¶
Authority issued for one Finality Sink MUST NOT automatically be usable at another sink. A Finality Sink MUST verify its own identity or protected boundary identity against the authority before effectuation.¶
An act MAY have been valid when created but invalid when effectuation is attempted. The Finality Sink SHOULD verify current policy and revocation state immediately before consequence. An old upstream approval MUST NOT automatically override current protected state.¶
An attacker may attempt rollback, deletion of consumed state, nonce reset, epoch rollback, stale snapshot restoration, or protected-state substitution. High-assurance implementations SHOULD use protected monotonic state, sealed storage, secure counters, or authenticated state transitions where rollback could produce a consequence.¶
The PED is security-critical. If its integrity cannot be established, the implementation SHOULD NOT release finality authority for protected consequence classes. Depending on risk class, the system MAY fail closed, downgrade, quarantine, require another protected validator, require human approval, move to a cold path, or disable the protected consequence.¶
The Finality Sink is equally load-bearing. An upstream PED cannot compensate for a sink that permits consequence without checking authority. A Finality Sink without act-bound authority is not equivalent to the architecture described here.¶
The architecture is an additional finality-control mechanism, not a replacement for ordinary telecommunications authentication, authorization, or routing procedures. In AI-native 5G, 5G-Advanced, O-RAN, and future 6G environments, possible Finality Sink locations include the UPF, carrier gateway, network API gateway, control-plane interface, signaling gateway, session-control function, O-RAN enforcement point, AI-RAN control boundary, packet-egress boundary, or another consequence-bearing network function.¶
A valid network identity demonstrates that an entity is recognized. It does not necessarily establish authority for this act, purpose, subscriber, destination, jurisdiction, time, policy state, and consequence. Authentication SHOULD NOT be treated as universal network-consequence authority.¶
This profile MAY consume decisions or evidence from identity systems, OAuth and access-control systems, RBAC, policy engines, AI safety systems, attestation systems, telecom authentication, enterprise policy, regulatory policy, human approval, and risk engines. Those systems provide inputs to finality validation. They do not replace Finality Sink verification.¶
This document requests no IANA actions. It does not define a new IP protocol number, transport port, DNS record type, media type, URI scheme, or mandatory global registry.¶
If later versions standardize wire-format fields, error codes, consequence classes, precision classes, capability types, or protocol parameters, an IANA registry MAY be proposed at that time. The EF-xxx failure identifiers in this document are illustrative and are not IANA assignments.¶
Certain technical concepts described in this document are associated with pending patent applications in the DAS Protocols family, including PCT/IB2026/054453, PCT/IB2026/055615, PCT/IB2026/055760, PCT/IB2026/055870, PCT/IB2026/056058, and PCT/IB2026/053385. Any IETF intellectual-property disclosure required in connection with this work should be handled in accordance with BCP 79 [RFC8179]. This section is informational and does not define licensing terms.¶
In AI-native telecommunications, network identity and upstream policy approval should not automatically become authority for a live network consequence. A proposed network operation remains non-effective until protected validation, evidence commitment, scoped finality authority, and independent sink verification complete successfully. Network authentication is not network finality. Computation is not authority.¶