Serialization packages

Platform spec node

Serialization packages

Back to Metaprogramming ◎ Open in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

ADRs

No architecture decision records under adr/ for this feature yet. Standard features must publish at least one ADR or keep a ## Decisions summary on the hub.

Articles

• Compiler Mod SDK Beskid-side compiler-mod contracts, Beskid.Syntax mirror, declarative query, and typed AST operations. article Standard Reviewed Wed May 20
• Language macros Module-level macro rules with fragment parameters, `name!` invocation, and typed AST expansion in any project kind. article Standard Reviewed Wed May 20
• Metaprogramming Source generators, attributes that drive compiler plug-ins, and scheduling relative to other analyses. The broader generator roadmap may live in guides; v0.1 rules are normative here. article Standard Reviewed Thu May 21
• Serialization packages Serialization core package, Serialization Mod, and format-specific packages (JSON). article Standard Reviewed Wed May 20

History

0 revisions (git unavailable at build; counts may be empty)

Open full history on GitHub

No commits recorded for this path.

Completeness

OKarea · 2 SpecSection(s) · 0 H2 heading(s)

Section id	Required	Found
scope	yes	yes
features	yes	yes

Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).

Related spec docs

• Area
  Metaprogramming

  Parent area

• Feature
  Compiler Mod SDK

  Generator and AttributeGenerator contracts

• Area
  Compiler Mods

  Host execution of serialization mod

Package split

Serialization is split across three package roles:

Package	Role
Serialization Mod (type: Mod)	Defines [Serialize] via AttributeGenerator; implements Generator for serializer emission
Serialization (library)	References Serialization Mod; exposes common metadata APIs for serializable types
Json (library)	Format-specific read/write primitives consumed by generated serializers

Attribute ownership

The [Serialize] attribute is defined in Serialization Mod, not in Compiler Mod SDK core. Host projects depend on Serialization (library), which transitively loads Serialization Mod through the dependency graph.

Generation model

Serialization Mod generators:

1. Collect types annotated with [Serialize] through Collector contracts.
2. Emit typed AST (for example extend type helpers and format adapters) through incremental Generator contracts.
3. Never emit formatted source text; output is structural AST only.

Analyzers in Serialization Mod validate serializable shape constraints before lowering.