Skip to main content

A FORMAL AUTHORITY MODEL

Provenance Identity Continuity

Authority is a continuous system. Continuity is proven by relationship, not possession. PIC introduces a new authority ontology, formally proven.

Provenance

Provenance

The causal chain is always traceable and auditable. From Origin to end, unbroken. If it breaks, it stops.

Identity

Identity

The origin identity is immutable. It generates authority. It cannot change throughout the chain.

Continuity

Continuity

Continuity is proven at every step. Proof of Continuity replaces Proof of Possession. Authority can only shrink.

// authority_propagation_for_ai_agents

Protocol-level authority propagation for AI agents.

PIC models authority as provenance identity plus causal relationship. Agent systems verify Proof of Relationship, compose Proof of Continuity, and enforce non-expansion through Sandboxed Execution and multi-lineage guardrails.

protocol security layerPoR + PoC, not possession
01Provenance identity

Root authority in origin identity and causal provenance, not in bearer possession alone.

02PoR to PoC

Verify adjacent Proof of Relationship evidence, then compose it as Proof of Continuity.

03Guardrail non-expansion

Reject invalid mixed lineages and authority states that expand beyond their causal path.

// field_notes

Follow the design work behind PIC.

Architecture notes, protocol artifacts, exchange flows, and agent security essays for people building with authority continuity.

Explore PIC-X
arXiv / FormalFormal Model

Temporal proof of continuity

porpocsafety
2026-07-09Nicola Gallo

Proof-of-Continuity: A Temporal Model for Authority Propagation in Distributed Systems and AI Agents

Formalizes Proof-of-Continuity as a temporal authority-propagation model for distributed systems and AI agents, complementing possession with causal relationship and non-expansion.

Formal modelarXiv
Read article
Agent SecurityConfused deputy

Confused deputy to agent authority

compileragentauthority
2026-07-25Nicola Gallo

From Hardy Compiler to Hardy AI Agent

Connects compiler-style execution boundaries to AI agents, showing why confused-deputy failures appear when agents act through ambient credentials and why authority continuity matters.

AI agentsConfused deputy
Read article
01 / ArchitecturePIC-X

Spec to architecture to code

spectrust planeruntime
2026-08-01Nicola Gallo

Designing PIC-X: From Specification to Architecture to Code

Introduces PIC-X as the first open-source implementation component in the PIC software ecosystem, following the project from specification to architecture and code.

ArchitectureOpen source
Read article
02 / ExchangePIC-X

OAuth authority into PCA

oauthpca 0pic token
2026-08-01Nicola Gallo

Designing PIC-X: Deriving an Initial PIC Context of Authority

Defines the initial continuity exchange: validate OAuth authority, validate the initial proposal, derive PCA, issue PIC COSE artifacts, and return the first PIC Token JWT.

PCAToken exchange
Read article
03 / DiscoveryPIC-X

.well-known realm metadata

serverrealmjwks
2026-08-01Nicola Gallo

Designing PIC-X: Exposing Configuration through .well-known/pic-x-configuration

Explains PIC-X discovery: server control-plane metadata, realm issuer discovery, endpoints, JWKS, capabilities, and the multi-realm trust model.

DiscoveryRealms
Read article
04 / ArtifactsPIC-X

JWT envelope, COSE core

jwtpca cosecontinuity
2026-08-11Nicola Gallo

Designing PIC-X: PIC Token JWT and COSE Artifacts

Defines the PIC Token JWT and native COSE artifacts used by PIC Profile 0.2: PIC PCA COSE, PIC Continuity COSE, and PIC Continuity Transition COSE.

JWTCOSE
Read article
05 / WalkthroughPIC-X

End-to-end attenuation flow

pca 0pca 1pca 2
2026-08-14Nicola Gallo

Designing PIC-X: Centralized Token Exchange End to End

Shows a complete centralized PIC Token Exchange flow from OAuth authority to PIC Token JWT 0, through continuity advancement, to the final attenuated authority state.

WalkthroughContinuity
Read article
// join_network

Join Our Slack Community

Join the conversation on authority models, distributed execution, and the future of authorization. Open to researchers, engineers, and contributors.

Join Community →