AEON Specification v1
Scope: normative overview of AEON Core v1, its boundaries, and the companion reference set.
1. What AEON Is
AEON is a human-readable, typed, semantics-first data notation.
At its core, an AEON document is a sequence of bindings:
key\identity\@{attributes}:type = value
Implementations may accept looser transport forms, but this overview defines the Core v1 model and points to the detailed companion references.
2. Smallest Useful Example
name:string = "AEON"
build:number = 1
active:toggle = on
This demonstrates:
key/value assignment
explicit datatype annotation
deterministic literal interpretation
3. Document Model
AEON Core v1 is built from a small set of structural ideas:
bindings
keys
structural identities
values
attributes
references
canonical paths
comments/annotations
Bindings are separated by newline or comma at document/object level and may contain structured values such as objects, lists, tuples, nodes, and references. Structural identities, when present, are head metadata preserved by Core processors without changing canonical path identity.
4. Core Value Families
Core value families include:
strings
numbers
infinity literals
booleans
switches
hex, radix, and encoding literals
date, time, datetime, and WTC forms
objects, lists, tuples, and nodes
clone and alias references
separator literals
Normative detailed reference:
5. Structural Syntax Surface
Core structural syntax includes:
bare and quoted keys
attribute blocks
nested attribute heads
datatype annotations
datatype clarifiers
comma/newline element separation rules
comma/newline binding rules
Quoted keys are part of Core v1 syntax, but empty quoted keys are invalid.
Normative detailed reference:
6. Addressing and References
AEON Core v1 provides:
canonical path identity using root/member/index segments
quoted-segment disambiguation
index-based element addressing
attribute selectors for attribute-namespace traversal
deterministic reference legality rules
Reference legality is fail-closed:
forward references are invalid
missing targets are invalid
self-references are invalid
Normative detailed reference:
7. Comments and Annotation Channels
AEON distinguishes:
plain comments
structured annotation channels
reserved structured channels
Comments do not alter parse semantics, path identity, reference legality, or assignment ordering.
Structured comments may attach deterministically to neighboring targets and may be emitted as a separate annotation stream.
Normative detailed reference:
8. Behavior Modes and Datatype Policy
AEON Core v1 defines three behavior modes:
transportstrictcustom
aeon:mode / aeon:header.mode is a declared document mode. It records the author's intended processing discipline, but it is not authoritative over the processor.
Processors apply an effective mode when enforcing mode-dependent rules:
the effective mode MAY be selected by processor/runtime configuration;
the effective mode MAY be inferred from the declared document mode when no external policy is supplied;
processor/runtime configuration MUST remain authoritative when it supplies an effective mode;
a document-declared mode MUST NOT force a processor to become stricter, looser, or custom-enabled against processor policy.
Effective mode resolution:
Declared aeon:mode | External effective mode | Resulting effective mode |
|---|---|---|
| absent | absent | transport |
transport | absent | transport |
strict | absent | strict |
custom | absent | custom |
| any value | transport | transport |
| any value | strict | strict |
| any value | custom | custom |
Core v1 behavior under the effective mode is:
transportmay omit datatype annotations and accepts custom datatype labelsstrictrequires datatype presence and accepts only the reserved Core datatype surface by defaultcustomrequires datatype presence and accepts custom datatype labelsexplicit datatype annotations are validated in all modes
Implementations MAY still expose an explicit datatype-policy override as an implementation control. Datatype policy applies to the effective mode, not merely to a document-declared mode claim.
Authoritative compliance requirements and behavioral floors are defined in:
9. Deterministic Policy Knobs
Core v1 requires deterministic depth-policy controls for:
max_attribute_depthmax_separator_depthmax_generic_depth
Core v1 also defines an optional event-budget control:
max_events
Reference implementation defaults lock the depth-policy controls to 1, while
conforming implementations must support a capability floor of at least 8.
When max_events is configured, implementations MUST fail closed if the emitted
AES event count exceeds the configured value. This limit is a consumer-side
resource budget and does not change source syntax or canonical path assignment.
10. Phase Boundaries
AEON Core is responsible for:
lexical analysis
parsing
canonical path assignment
reference legality
annotation-stream extraction when enabled
Core does not define downstream application semantics such as:
domain validation meaning
profile-specific projection decisions
schema/business-rule interpretation
AEOS/schema/profile layers build on top of Core rather than redefining it.
Document-declared conventions, profiles, and schemas are advisory until selected or trusted by the consumer/processor. They do not self-activate.
The standard GP security envelope, when used, is convention-driven.
It is represented as a normal top-level object binding typed as :envelope rather than a Core-special key:
aeon.gp.security.v1defines the envelope structureaeon.gp.integrity.v1defines canonical integrity hashingaeon.gp.signature.v1defines signature representationaeon.gp.encryption.v1defines encryption metadata representation
Header placement is part of Core syntax:
shorthand header bindings (
aeon:mode,aeon:profile,aeon:schema,aeon:version, etc.) form the document header only when they appear in the initial header block at the start of the document;a structured header (
aeon:header = { ... }) MUST appear before any body binding;a structured header that appears after any body binding is invalid.
11. Conformance Surface
Normative conformance requirements are defined in:
CTS protocol and lane baselines:
cts/protocol/v1cts/core/v1cts/aes/v1cts/annotations/v1cts/aeos/v1
Core conformance should be reviewed by backbone behavior family, not only by individual suite file.
Current v1 backbone families are:
canonical rendering and node normalization
fail-closed parsing and deterministic rejection behavior
addressing and canonical path semantics
quoted-key and traversal disambiguation
attribute traversal and attribute-depth semantics
annotation attachment and slash-channel binding
strict literal acceptance and rejection boundaries
separator/path literal handling
datatype-to-literal validation behavior
The anti-drift coverage state for those families is tracked in aeonite-cts/CONFORMANCE-COVERAGE.md.
12. Contracts
Canonical baseline v1 contracts are provided in:
These contracts are authoritative artifacts for the baseline general-purpose profile/schema set. They are official baseline contracts, not implicit defaults when no trusted profile/schema is selected.
13. Companion Reference Set
The official v1 documentation is intentionally split by concern:
AEON-spec-v1— overview and boundariesAEON-v1-compliance— mandatory conformance requirementsAEOS-spec-v1— AEOS validation layervalue-types-v1— value families and literal formsstructure-syntax-v1— keys, attributes, separators, newline behavioraddressing-references-v1— canonical paths and reference rulescomments-annotations-v1— comment channels and attachment behaviorappendices/appendix-directive-block-capabilities— informative v1 reservation for capability-based evolution
This overview should stay short and stable. Detailed syntax, examples, and edge-case rules belong in the companion references.
14. Anti-Drift Requirement
AEON Core conformance is not satisfied by passing a small representative sample.
A conforming implementation must preserve behavior across the Core backbone families named above and their corresponding CTS lanes, especially:
canonical output and normalization behavior
fail-closed invalid syntax handling
canonical path identity and quoted-key disambiguation
reference legality and attribute traversal behavior
annotation attachment behavior
strict literal acceptance and rejection boundaries
Behavior must remain stable across implementations so the canonical backbone of the format does not fragment.