Expand description
Definition of Done: Type-safe, deterministic autonomous substrate
§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
Re-exports§
pub use autonomic::mape_k::AnalysisPhase;pub use autonomic::mape_k::ExecutionPhase;pub use autonomic::mape_k::MAPEKLoop;pub use autonomic::mape_k::ObservationPhase;pub use autonomic::mape_k::PlanningPhase;pub use contract::Contract;pub use contract::ContractId;pub use contract::ContractVersion;pub use contract::Ontology;pub use decision::Decision;pub use decision::DecisionId;pub use decision::DecisionStore;pub use doctrine::DoctrineCompliance;pub use error::DoDError;pub use error::DoDResult;pub use invariant::Invariant;pub use invariant::InvariantChecker;pub use invariant::InvariantId;pub use kernel::Kernel;pub use kernel::KernelAction;pub use kernel::KernelDecision;pub use observation::Observation;pub use observation::ObservationId;pub use observation::ObservationSchema;pub use observation::ObservationType;pub use receipt::Receipt;pub use receipt::ReceiptId;pub use receipt::ReceiptStore;pub use tenant::TenantContext;pub use tenant::TenantId;pub use tenant::TenantIsolation;pub use timing::TimingEnforcer;pub use timing::TimingGuarantee;pub use timing::TimingMeasurement;
Modules§
- autonomic
- Autonomic subsystem: Self-improving ggen without human intervention
- binding_
completeness - Binding completeness: Σ → Π → μ proof system
- constants
- Core constants for DoD
- contract
- Contract system (Σ): Versioned ontologies and decision contracts
- decision
- Decision system: Tracking and queryable decision history
- decision_
closure - Decision Closure: Proves all decisions derive from (O, Σ, Q, Γ)
- doctrine
- Doctrine_2027 compliance: Automated governance and evolution constraints
- error
- Error types for the DoD system
- invariant
- Invariant system (Q): Hard-blocking constraints that cannot be violated
- kernel
- μ-Kernel: Deterministic decision engine with timing guarantees
- observation
- Observation system (O): Type-safe observations from connected systems
- receipt
- Receipt and history system (Γ): Immutable, cryptographically signed audit trail
- replay
- Time-travel and replay infrastructure: Verify determinism through replay
- tenant
- Multi-tenant isolation and context management
- timing
- Timing system: Enforces Chatman Constant (τ ≤ 8ms) guarantees