Module profile 

Modules

link_rel

Defined link relationships. rel is an open vocabulary: clients accept other non-empty values and may render them as generic links.

Structs

AgentProfile

The materialized profile document: the latest payload’s fields exactly as signed, plus the service-derived updated_at and event_id.

ProfileBatchReadRequest

ProfileDelegationHint

Discovery hint only. It carries no service URLs: the publishing agent is the party whose claim is checked, so clients resolve the principal document at principal.id and query the service it names.

ProfileLink

ProfileServiceDiscovery

ProfileServiceEndpoints

ProfileUpdatePayload

The closed profile.update payload (Section 4.1): undefined fields are rejected at deserialization, and application data belongs in extra.

ServiceEndpoint

Constants

PROFILE_UPDATE

PROTOCOL

Functions

latest_profile_update

Selects the latest profile state from accepted update envelopes. Nonces are strictly monotonic per Agent ID, so the latest profile is defined as the accepted profile.update with the greatest nonce — deterministic and independently checkable from event history alone.

materialize_profile

profile_update_event

validate_profile_payload

Section 4.1 field rules for a profile.update payload. The field set itself is closed by ProfileUpdatePayload deserialization.

validate_profile_succession

Durable ordering check for a new update (Agent Profile Section 6): its nonce must exceed the nonce of the latest accepted update for the same Agent ID, independent of the replay cache.

validate_profile_update

Type Aliases

ProfileBatchReadResponse

Agent Identity list of profile documents; never carries next_cursor.

ProfileEventsResponse

Agent Identity list of accepted updates, newest first by nonce.