Crate ggen_domain

Crate ggen_domain 

Source
Expand description

§ggen-domain - Domain Logic Layer

This crate contains all domain/business logic for ggen, completely separated from CLI concerns. It provides pure business logic functions that can be used by CLI, web APIs, or other interfaces.

§Architecture

  • No CLI dependencies: This crate has ZERO dependencies on clap or clap-noun-verb
  • Infrastructure dependencies: Uses ggen-core, ggen-ai, ggen-marketplace for operations
  • Async by default: Domain functions are async for non-blocking operations

§Module Organization

Domain logic is organized by functional area:

  • ai - AI operations (code analysis, generation)
  • graph - Graph operations (RDF loading, SPARQL queries)
  • marketplace - Marketplace operations (search, install, publish)
  • template - Template operations (generate, lint, render)
  • project - Project operations (create, generate, plan)
  • rdf - RDF metadata operations
  • audit - Security auditing
  • ci - CI/CD operations
  • shell - Shell completion generation

Modules§

action_types
Type-Indexed Actions - Compile-Time Governance Algebra
ahi_contract
AHI Contract - Formal Interface for Autonomic Hyper-Intelligence in ggen
audit
Audit utilities domain layer
capability_system
Capability-Based Effect System: Governance Through Ownership
ci
CI/CD utilities domain layer
doctrine_engine
Doctrine Engine - Executable Constraints System
generation
Generation safety module - Poka-Yoke controls for code generation
graph
Graph domain layer - RDF operations with real Oxigraph integration
mape_k
MAPE-K Autonomic Integration
ontology
Ontology Domain - RDF/OWL Ontology Operations
ontology_proposal_engine
Ontology Proposal Engine - ΔΣ Generation from Γ
project
Project domain layer - pure business logic
proof_carrier
Proof Carrier for Overlays - Auditable Justification for ΔΣ Proposals
proof_types
Proof-Carrying Decisions: Decisions Only Exist If Proofs Exist
rdf
RDF metadata management for templates (v2 domain layer)
shell
Shell utilities domain layer
swarm_coordination
Swarm Coordination: Type-Level Scheduling and Lock-Free Snapshots
template
Template domain layer - business logic for template operations
temporal_fabric
Temporal Fabric: Causality, Tick Budgets, and MAPE-K Cycles in Types
utils
Utility functions domain layer

Structs§

Error
Custom error type for the ggen project

Type Aliases§

Result
Result type alias for the ggen project