[media-types] Vendor media type registration: application/vn d.a2ml

Dear IANA Media Types team,

I would like to register the following vendor-tree media type per RFC 6838:

Type name: application
Subtype name: vnd.a2ml

A2ML (Attested Markup Language) is a lightweight markup language that
compiles to a typed, verifiable core with formal proof obligations. It
enables progressive strictness: from permissive authoring to formally
verified structural invariants enforced by dependent types.

Required parameters: N/A
Optional parameters: charset (MUST be "utf-8" if specified)
Encoding considerations: 8-bit text (UTF-8, with optional binary
opaque payloads)
File extension(s): .a2ml

Published specification:
  https://github.com/hyperpolymath/standards/blob/main/a2ml/SPEC-v1.0.adoc

Security considerations: A2ML is not executable by itself. It MAY
embed opaque payload blocks and code blocks that MUST be treated as
untrusted data. Processors MUST NOT execute embedded content by
default. Full security analysis is included in the registration
template below.

Applications that use this media type:
  - A2ML compilers and validators
  - Static site generators, document management systems
  - Academic publishing workflows
  - AI agent manifest files (0-AI-MANIFEST.a2ml)

Intended usage: COMMON

Contact: Jonathan D.A. Jewell <[email protected]>
Author/Change controller: Jonathan D.A. Jewell, The Open University

I have also prepared the complete registration template per RFC 6838
Section 5.6, available at:
  https://github.com/hyperpolymath/format-registrations/blob/main/iana/a2ml-media-type.txt

I am happy to submit via the IANA web form at
https://www.iana.org/form/media-types if that is preferred, or to
provide any additional information needed for the review.

Best regards,
Jonathan D.A. Jewell
[email protected]
https://github.com/hyperpolymath

_______________________________________________
media-types mailing list -- [email protected]
To unsubscribe send an email to [email protected]