Appendix — Tonic Processor Governance

Appendix to: AEON Specification v1

This appendix defines the canonical terminology for AEON's downstream materialization processor (Tonic), the phase boundary contract, reference policies, and determinism requirements.

Canonical topic owners: AEON Specification v1 and AEOS Specification v1.

This appendix covers downstream processor guidance and terminology. If this appendix conflicts with the canonical v1 spec set, the canonical v1 spec set wins.

1. Terminology

Tonic is the canonical term for the downstream processor that consumes the Assignment Event Stream (AES) and materializes it into a runtime or domain representation.

  • Previous terminology: "Elixir" — deprecated

  • Public external naming: AEON Tonic

  • Transitional aliases for the deprecated term are permitted for one major release cycle, with warnings

2. Pipeline Contract

Graph: Text, AEON Core Parse, AES Output, AEOS Optional, Tonic Materialize, Runtime Relationships: Connection from Text to AEON Core Parse; Connection from AEON Core Parse to AES Output; Connection from AES Output to AEOS Optional; Connection from AEOS Optional to Tonic Materialize; Connection from Tonic Materialize to Runtime. Text AEON CoreParse AESOutput AEOSOptional TonicMaterialize Runtime

Relationships: Connection from Text to AEON Core Parse; Connection from AEON Core Parse to AES Output; Connection from AES Output to AEOS Optional; Connection from AEOS Optional to Tonic Materialize; Connection from Tonic Materialize to Runtime.

Figure 1: AEON materialization pipeline

Key invariants:

  • Tonic consumes AES, never raw text

  • Tonic operates after AEOS validation (if any)

  • Tonic does not re-enter the AEON Core parse phase

  • The pipeline is strictly ordered and fail-closed

3. Tonic Responsibilities

A Tonic MAY:

  • Perform domain materialization (e.g., AEON → TypeScript object)

  • Apply policy-driven runtime shaping

  • Resolve references according to its declared reference mode

  • Apply profile-specified processors

  • Materialize references more conservatively than authorial intent when explicitly configured by the consumer/profile

A Tonic MUST NOT:

  • Re-parse raw AEON text

  • Mutate the AES

  • Rewrite canonical paths

  • Suppress core diagnostics

  • Introduce implicit semantics based on document content

3.1 Host-Object Materialization Safety

AEON member names are inert data at the Core and AES layers. A Tonic that materializes those names into host-language objects MUST account for the target runtime's object model.

Host-object materialization MUST prevent source-controlled AEON names from mutating, shadowing, or escaping into host object metadata, prototypes, constructors, reflection surfaces, magic attributes, framework control fields, or equivalent host-specific authority surfaces.

Acceptable strategies include:

  • map-like containers whose keys are always data;

  • null-prototype or otherwise plain-data containers in runtimes with ambient prototype inheritance;

  • fail-closed rejection of host-dangerous names;

  • reversible escaping of host-dangerous names;

  • schema-driven allowlists before materialization.

JavaScript-family Tonics MUST specifically defend against prototype pollution through __proto__ and constructor.prototype paths when projecting AEON data into ordinary objects. Treating only __proto__ as dangerous is insufficient when constructor and prototype can still be used together to reach an ambient prototype.

This requirement does not make those names invalid AEON member names. It applies only when a Tonic, finalizer, binding adapter, or export path gives those names meaning in a host runtime.

3.2 Transitive Materialization Boundary

A Tonic's own implementation language may be safe while its output is later consumed by a less safe host runtime. For example, a Rust or PHP processor can emit JSON that is inert in that processor but later merged into an ordinary JavaScript object by a browser or Node.js application.

Processors that export AEON-derived names across a declared or reasonably expected downstream host boundary SHOULD document whether target-runtime dangerous names are preserved, escaped, rejected, or emitted only as inert transport data. A processor MUST NOT claim an output is safe for a target host object model unless it has applied an appropriate host-object safety strategy for that target.

4. Determinism Requirements

A Tonic MUST be deterministic:

Given identical AES + configuration, Tonic output and diagnostics MUST be identical.

Prohibited implicit dependencies:

  • Current time or date

  • Random values

  • Network state

  • Filesystem state (unless explicitly configured and stable)

  • Process environment (beyond declared configuration)

5. Reference Policy Modes

Each Tonic explicitly declares one reference mode:

Tonic reference policy modes
ModeBehavior
preserveReferences are kept as symbolic tokens in output (default)
aliasReferences create named aliases in runtime representation
inlineReferences are resolved and values are inlined (explicit opt-in only)

Reference mode MUST be declared in Tonic configuration, not inferred from document content.

DoS budgets are mandatory for non-trivial resolution behavior (particularly alias and inline modes).

Interpretation rule:

  • AES remains the source of truth for authorial reference intent.

  • Consumer/profile configuration decides how that intent is materialized at runtime.

  • Runtime materialization policy may be more conservative than authorial intent, but the original reference kind must remain observable from AES.

Recommended budget dimensions include:

  • maximum resolved/materialized node count

  • maximum inline/reference depth

  • maximum cumulative materialized weight for clone expansion

5.1 Reference Diagnostic Transparency

Reference diagnostics MUST include:

  • Origin anchor (the path of the reference source)

  • Target anchor (the path being referenced)

6. Two-Stage Hook Model

Tonics that support processing hooks MUST follow a two-stage model:

Stage A: Validate / Plan

  • No mutation

  • Produce diagnostics and an action plan

Stage B: Apply / Materialize

  • Deterministic mutation allowed

  • Apply action plan in fixed order

Fail-closed invariant: Stage B is skipped entirely if Stage A produces errors.

6.1 Hook Precedence

When multiple hook types could match a binding:

  1. Key/path hook (highest specificity)

  2. Datatype hook

  3. Auto-hook

  4. Baseline handler

Hooks may defer to the next precedence level.

7. Null Universe

Configurable null behavior is a Tonic policy decision, not a Core semantics decision.

Supported null modes (Tonic-declared):

  • void — Value is absent/undefined

  • null — Explicit null value (language-specific)

  • undefined — Language-level undefined

The mode MUST be declared in Tonic configuration and applied consistently.

8. Authority Boundary

Tonic authority boundaries
LayerResponsibility
AEON CoreParse, emit AES, assign canonical paths
AEOSStructural validation (form-level constraints)
TonicSemantic interpretation, materialization, runtime shaping

AEOS remains a form validator. Semantic interpretation and materialization policy belong to Tonic.

This means:

  • AEON documents may declare reference intent;

  • AEOS may constrain reference form;

  • Tonic still has final authority over runtime interpretation and cost controls.

9. Compatibility Governance

  • Public documentation and conformance claims should use Tonic.

  • Implementations may support deprecated Elixir aliases as a local compatibility policy.

  • Implementations using deprecated terminology should emit deprecation warnings.

  • Deprecated aliases must not change processor behavior or conformance claims.

10. Related v1 Sections

  • AEON Specification v1 (core language boundary and conformance)

  • AEOS Specification v1 (schema/validation boundary)

  • Appendix — Processing Model (phase and processor model)

  • Appendix — Error Model (diagnostics and fail-closed behavior)

Document Metadata

Standing: official · Lifecycle: published · Normativity: informative

Created: · Modified:

License: CC-BY-4.0

Available formats: HTML, Markdown, &ND, AEON source