]> Provenance Identity Continuity (PIC) Model Specification Nitro Agility S.r.l.
nicola.gallo@nitroagility.com
This document is the PIC Specification: the entry point of the PIC specification set. It defines the normative semantics of the Provenance Identity Continuity (PIC) Model and indexes the subordinate specifications that cover specific domains. The PIC Specification expresses the execution invariants of the PIC Model in normative form, without redefining, extending, or altering the underlying theoretical model. In case of conflict, the PIC Model publications remain authoritative for the theoretical framework, while this PIC Specification is authoritative for normative requirements and conformance language. Project: PIC Protocol Project Website: www.pic-protocol.org Document: pic-specification-02 Version: 0.2 (Draft) Document Status: Public Draft Intended Use: Informational and Experimental Published: 2026-07-15 Editor(s): Nicola Gallo (Nitro Agility S.r.l.) Steward: Nitro Agility S.r.l. Source: github.com/pic-protocol/pic-spec/draft/0.2/pic-spec.md
  • Public Draft — Not a Standard This document is an independently developed specification published as part of the PIC Protocol and maintained by Nitro Agility S.r.l. in its role as Specification Steward. It has not been adopted, endorsed, approved, or published by the IETF, IRTF, IAB, RFC Editor, ISO, IEC, W3C, CNCF, OpenID Foundation, or any other standards-development organization, unless a later version explicitly states otherwise. It is not an RFC, an Internet Standard, or an official work item of any working group or standards body. This document is published for public review, research, experimentation, implementation feedback, and possible future standardization work. It may be revised, replaced, or withdrawn at any time. Implementers use this draft at their own risk. Any implementation, interoperability statement, or conformance claim applies only to the exact document version identified above. Publication of this draft does not constitute certification, endorsement, security approval, interoperability assurance, regulatory approval, or standards-body recognition. Current project information and published specifications are available at https://www.pic-protocol.org/.
Introduction The PIC Model defines the foundational execution theory and invariants (see ). The PIC Specification (this document and its subordinate specifications) defines the normative semantics of the PIC Model.
Requirements Notation The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED", "MAY", and "OPTIONAL" are to be interpreted as described in BCP 14 [2] [3] when, and only when, they appear in all capitals. Documents and implementations claiming conformance with PIC MUST faithfully preserve the invariants defined by the PIC Model as expressed by this Specification. Anything that violates these invariants is not PIC-compliant, regardless of naming or intent. Subordinate specifications: MUST NOT redefine, extend, or alter the invariants of the PIC Model, MUST incorporate the PIC Legal Appendices by reference, are canonical only in the version designated by the Specification Steward.
Core Invariants This section is normative. A PIC-conformant specification, profile, or implementation MUST preserve all of the following invariants: A root PIC Context of Authority establishes the upper authority bound for its lineage. Every accepted non-root advancement MUST continue exactly one causal predecessor. The selected profile MUST establish the required Proof of Relationship (PoR) relation between the predecessor and successor. Successor authority MUST be no greater than predecessor authority under the selected profile's attenuation order. For set-valued authority, successor authority is a subset of predecessor authority. Authority from unrelated lineages MUST NOT be imported into a valid continuation. A Proof of Continuity is the composition of valid hops that preserve these invariants.
Documents Document Description Status Date PIC Prover and Verifier Normative requirements for PIC Provers and Verifiers: trusted roots, non-root continuity advancements, Proof of Relationship, ordered Verifier checks including profile-conditional request/execution binding, authority as an abstract attenuation domain, and profile-selected continuity representations. Current Profile 0.2 uses centralized settlement with PIC Token JWTs carrying settled PIC Continuity COSE, PIC PCA COSE checkpoints, and workload-signed candidate advancement artifacts. Draft 0.2 2026-07-15 PIC Revocation Revocation around PCA ID, position, optional authenticated selectors, authorized causal cutoffs, position witnesses, revocation authorization, and authenticated revocation state. Draft 0.2 2026-07-18 PIC Sandboxed Execution Sandboxed Execution as an outer ENFORCE PIC continuity governing a Composition Collection of independently verifiable PIC continuities. The collection is bound exactly, members remain independent, and no authority union is created. Draft 0.2 2026-08-12 PIC Architecture and Deployment Profile-selected PIC deployment architectures, including trusted continuity services, hybrid enterprise topologies, service meshes, and optional interoperability through selected exchange profiles. Current Profile 0.2 is centralized, with PIC-X as one realization; future or other profiles may define other modes. Draft 0.2 2026-08-12
Acknowledgement The Provenance Identity Continuity (PIC) Model — the theoretical framework this specification expresses in normative form — was created by Nicola Gallo. It first appeared on Zenodo on 1 December 2025 and is developed in full in the Proof-of-Continuity paper: Gallo, N. (2025). PIC Model — Provenance Identity Continuity for Distributed Execution Systems. Zenodo. zenodo.org/records/17777421 (DOI: 10.5281/zenodo.17777421). Gallo, N. (2026). Proof-of-Continuity: A Temporal Model for Authority Propagation in Distributed Systems and AI Agents. Zenodo. zenodo.org/records/21285112 (DOI: 10.5281/zenodo.21285112). Authorship of the PIC Model remains with Nicola Gallo; the PIC specifications are published and maintained by Nitro Agility S.r.l. as Specification Steward. Any work that references, implements, or claims conformance with PIC must preserve this attribution, distinguishing the PIC Model (author: Nicola Gallo) from the PIC Specifications (steward: Nitro Agility S.r.l.), as required by the PIC Legal Appendices (Appendix B, Attribution; Appendix D, Acknowledgements), which are incorporated into this specification by reference.
Legal Notices The appendices governing: A. Use of Automated Language Assistance, B. Authorship, Stewardship, Attribution, and Derivative Works, C. Disclaimer and Limitation of Liability, D. Acknowledgements, are maintained in a single canonical document, the PIC Legal Appendices (draft/0.2/pic-legal.md), and are incorporated into this specification by reference as if fully set forth herein. In case of conflict between this document and the PIC Legal Appendices, the PIC Legal Appendices prevail for legal, governance, licensing, and attribution matters.
References [1] Gallo, N. (2026). Proof-of-Continuity: A Temporal Model for Authority Propagation in Distributed Systems and AI Agents. arXiv:2607.08906 [cs.CR]. arxiv.org/abs/2607.08906 [2] Bradner, S. (1997). Key words for use in RFCs to Indicate Requirement Levels. BCP 14, RFC 2119. rfc-editor.org/rfc/rfc2119 [3] Leiba, B. (2017). Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words. BCP 14, RFC 8174. rfc-editor.org/rfc/rfc8174