Module sync 

Sync Command - The ONLY command in ggen v26_5_19

ggen sync is the unified code synchronization pipeline that replaces ALL previous ggen commands. It transforms domain ontologies through inference rules into typed code via Tera templates.

A2A-RS μ Pipeline

For A2A-RS integration, the sync command executes the full μ₁-μ₅ pipeline:

• μ₁ (CONSTRUCT): Normalize RDF ontology from .specify/specs/014-a2a-integration/
• μ₂ (SELECT): Extract bindings for each module (agent, message, task, transport, skill)
• μ₃ (Tera): Generate Rust code from templates
• μ₄ (Canonicalize): Format and organize generated code
• μ₅ (Receipt): Generate cryptographic receipt for verification

Usage: ggen sync –audit # Full A2A pipeline with receipt ggen sync –dry-run # Preview without writing ggen sync –output crates/ # Custom output directory

Architecture: Three-Layer Pattern

• Layer 3 (CLI): Input validation, output formatting, thin routing
• Layer 2 (Integration): Async execution, error handling
• Layer 1 (Domain): Pure generation logic from ggen_core::codegen

Exit Codes

Code	Meaning
0	Success
1	Manifest validation error
2	Ontology load error
3	SPARQL query error
4	Template rendering error
5	File I/O error
6	Timeout exceeded

Structs

GateResult

Result of a single proof gate

SyncOutput

Output for the ggen sync command

SyncedFile

Individual file sync result

Functions

sync

Execute the complete code synchronization pipeline from a ggen.toml manifest.