ggen-dod: The Definition of Done

This crate implements the complete Definition of Done specification for ggen, ensuring it operates as a closed-world, autonomic substrate without human arbitration in the critical path.

Core Systems

• O (Observations): Type-safe observation model with schema validation
• Σ (Contracts): Versioned ontology and contract system with invariant enforcement
• Q (Invariants): Hard-blocking constraint checks
• μ (Kernel): Deterministic decision kernel with timing guarantees (τ ≤ 8)
• Γ (History): Immutable receipt and audit trail system
• ΔΣ (Evolution): Doctrine-aligned schema changes with proofs
• MAPE-K (Autonomy): Monitor-Analyze-Plan-Execute-Knowledge loop

Guarantees

• Determinism: μ(O) produces identical A across all executions for fixed O, Σ*, Γ
• Idempotence: μ ∘ μ = μ for all idempotent operations
• Closed-world: All decisions derivable from O, Σ, Q, Γ (proven by decision closure checker)
• Provenance: Every action has cryptographically signed receipt
• Timing: Performance guarantees (τ ≤ 8ms) enforced at compile and runtime

ggen-dod

Definition of Done: Type-safe observation system, deterministic kernel, provenance tracking, and MAPE-K autonomic governance.

Overview

This crate provides the Definition of Done (DoD) system for ggen, including type-safe observation, deterministic kernel operations, provenance tracking, and MAPE-K (Monitor, Analyze, Plan, Execute, Knowledge) autonomic governance.

License

MIT