Network Working Group D. O. Watts Internet-Draft GoodShyt Group Inc. Intended status: Experimental 30 October 2026 Expires: 3 May 2027 Typed UNISON and Non-Collapse Boundaries for Evidence and Authorization Systems draft-watts-unison-noncollapse-01 Abstract This document describes a transport-neutral model for bounded correspondence among distinct representations and explicit promotion boundaries between observation, evidence, authorization, and execution. Status of This Memo 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 3 May 2027. Copyright Notice 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. Watts Expires 3 May 2027 [Page 1] Internet-Draft Typed UNISON and Non-Collapse Boundaries October 2026 Table of Contents 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . 2 2. Requirements Language . . . . . . . . . . . . . . . . . . . . 2 3. Typed Comparison Spaces . . . . . . . . . . . . . . . . . . . 2 4. Non-Collapse . . . . . . . . . . . . . . . . . . . . . . . . 2 5. Comparison Relations . . . . . . . . . . . . . . . . . . . . 3 6. Selection . . . . . . . . . . . . . . . . . . . . . . . . . . 3 7. Status of Validation . . . . . . . . . . . . . . . . . . . . 3 8. Security Considerations . . . . . . . . . . . . . . . . . . . 3 9. Privacy Considerations . . . . . . . . . . . . . . . . . . . 3 10. IANA Considerations . . . . . . . . . . . . . . . . . . . . . 3 11. Normative References . . . . . . . . . . . . . . . . . . . . 3 Appendix A. Changes since -00 . . . . . . . . . . . . . . . . . 4 Author's Address . . . . . . . . . . . . . . . . . . . . . . . . 4 1. Introduction This document defines a typed correspondence model for comparing evidence and state representations without treating coordinate equality, semantic equivalence, scientific support, authorization, and execution as the same property. 2. Requirements Language 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. 3. Typed Comparison Spaces Each required comparison declares source representations, a common comparison space, bridge functions, units, snapshot alignment, uncertainty treatment, and tolerance. Missing required bridge data is indeterminate rather than pass. 4. Non-Collapse Observation does not imply evidence qualification; evidence qualification does not imply authorization; authorization does not imply execution. Each promotion requires an explicit procedure and artifact. Watts Expires 3 May 2027 [Page 2] Internet-Draft Typed UNISON and Non-Collapse Boundaries October 2026 5. Comparison Relations Profiles distinguish strict invariance, covariant transformation, quotient equivalence, and tolerance-bounded equivalence. A comparison MUST state which relation is being tested. 6. Selection An empty authorized set yields no selection. A tie without a declared tie rule yields no implicit selection. Feasibility does not imply attainment or progress. 7. Status of Validation The v0.1 reference implementation reports 40 passing boundary checks, including fail-closed empty-set, missing-representation, unit- mismatch, uncertainty, tie, promotion, and finite quotient checks. Independent formal proof is not claimed. 8. Security Considerations This document defines an architectural model. Implementations MUST fail closed when required authority, evidence, or enforcement state is unknown. The model does not establish closure outside a declared enforcement boundary. 9. Privacy Considerations Capability and evidence graphs can reveal topology, identity relationships, and operational context. Implementations SHOULD minimize disclosure and use scoped identifiers and digests where possible. 10. IANA Considerations This document has no IANA actions. 11. Normative References [RFC8174] Leiba, B., "Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words", BCP 14, RFC 8174, DOI 10.17487/RFC8174, May 2017, . [RFC2119] Bradner, S., "Key words for use in RFCs to Indicate Requirement Levels", BCP 14, RFC 2119, DOI 10.17487/RFC2119, March 1997, . Watts Expires 3 May 2027 [Page 3] Internet-Draft Typed UNISON and Non-Collapse Boundaries October 2026 Appendix A. Changes since -00 This section is to be removed before publishing as an RFC. Editorial and tooling-conformance changes only; no technical content was changed. * Added BCP 14 Requirements Language section (document uses uppercase requirement keywords without the boilerplate; idnits error) * Added RFC 2119 reference entry * Added RFC 8174 reference entry * Normalized author metadata (full name with ASCII form, initials, organization GoodShyt Group Inc., San Francisco CA postal, email, ORCID URI) * Updated document date and revision number. Author's Address Deonté O'dell Watts GoodShyt Group Inc. San Francisco, CA United States of America Email: deonte@goodshyt.fun URI: https://orcid.org/0009-0005-8586-3650 Watts Expires 3 May 2027 [Page 4]