Public declaration syntax from forge-swift/Sources/ForgeAuth/Delegation.swift
Original source SHA-256: e90f59cc0cea58b3bc69fb6aa8e4da0144927c6c6c129b5852f5245721b9e917
Function bodies and constant values are omitted. This is not the complete implementation.

Source line 30
public struct DelegationRequest: Sendable

Source line 32
public let parentACT: ArsenalACT
/// The parent agent's OAS DID.
public let parentDid: String
/// The child agent's OAS DID.
public let childDid: String
/// The capabilities requested for the child agent.
///
/// Must be a subset of the parent's capabilities.
public let requestedCapabilities: [Capability]
/// The scope strings requested for the child agent.
///
/// Must be a subset of the parent's scopes.
public let requestedScopes: [String]

/// Creates a new delegation request.
///
/// - Parameters:
///   - parentACT: The parent agent's Arsenal ACT.
///   - parentDid: The parent agent's OAS DID.
///   - childDid: The child agent's OAS DID.
///   - requestedCapabilities: The capabilities requested for the child.
///   - requestedScopes: The scope strings requested for the child.
public init(
parentACT: ArsenalACT,
parentDid: String,
childDid: String,

Source line 34
public let parentDid: String
/// The child agent's OAS DID.
public let childDid: String
/// The capabilities requested for the child agent.
///
/// Must be a subset of the parent's capabilities.
public let requestedCapabilities: [Capability]
/// The scope strings requested for the child agent.
///
/// Must be a subset of the parent's scopes.
public let requestedScopes: [String]

/// Creates a new delegation request.
///
/// - Parameters:
///   - parentACT: The parent agent's Arsenal ACT.
///   - parentDid: The parent agent's OAS DID.
///   - childDid: The child agent's OAS DID.
///   - requestedCapabilities: The capabilities requested for the child.
///   - requestedScopes: The scope strings requested for the child.
public init(
parentACT: ArsenalACT,
parentDid: String,
childDid: String,
requestedCapabilities: [Capability],
requestedScopes: [String]

Source line 36
public let childDid: String
/// The capabilities requested for the child agent.
///
/// Must be a subset of the parent's capabilities.
public let requestedCapabilities: [Capability]
/// The scope strings requested for the child agent.
///
/// Must be a subset of the parent's scopes.
public let requestedScopes: [String]

/// Creates a new delegation request.
///
/// - Parameters:
///   - parentACT: The parent agent's Arsenal ACT.
///   - parentDid: The parent agent's OAS DID.
///   - childDid: The child agent's OAS DID.
///   - requestedCapabilities: The capabilities requested for the child.
///   - requestedScopes: The scope strings requested for the child.
public init(
parentACT: ArsenalACT,
parentDid: String,
childDid: String,
requestedCapabilities: [Capability],
requestedScopes: [String]
)

Source line 40
public let requestedCapabilities: [Capability]
/// The scope strings requested for the child agent.
///
/// Must be a subset of the parent's scopes.
public let requestedScopes: [String]

/// Creates a new delegation request.
///
/// - Parameters:
///   - parentACT: The parent agent's Arsenal ACT.
///   - parentDid: The parent agent's OAS DID.
///   - childDid: The child agent's OAS DID.
///   - requestedCapabilities: The capabilities requested for the child.
///   - requestedScopes: The scope strings requested for the child.
public init(
parentACT: ArsenalACT,
parentDid: String,
childDid: String,
requestedCapabilities: [Capability],
requestedScopes: [String]
)

Source line 44
public let requestedScopes: [String]

/// Creates a new delegation request.
///
/// - Parameters:
///   - parentACT: The parent agent's Arsenal ACT.
///   - parentDid: The parent agent's OAS DID.
///   - childDid: The child agent's OAS DID.
///   - requestedCapabilities: The capabilities requested for the child.
///   - requestedScopes: The scope strings requested for the child.
public init(
parentACT: ArsenalACT,
parentDid: String,
childDid: String,
requestedCapabilities: [Capability],
requestedScopes: [String]
)

Source line 54
public init(
parentACT: ArsenalACT,
parentDid: String,
childDid: String,
requestedCapabilities: [Capability],
requestedScopes: [String]
)

Source line 81
public struct DelegationManager: Sendable

Source line 84
public init()

Source line 108
public func delegateCapabilities(_ request: DelegationRequest) throws -> ArsenalACT

Source line 216
public func delegateCapabilities(_ request: DelegationRequest) throws -> ArsenalACT