domain

type Atom = core.Atom

type AuditResult struct {
	Pass          bool             `json:"pass"`
	ViolationTier TrustTier        `json:"violation_tier"`
	TierID        string           `json:"tier_id"`
	ConflictPath  string           `json:"conflict_path"` // "safety.dl:42"
	ProofTree     *ProofNode       `json:"proof_tree"`    // "Why" it failed
	EntropyDelta  float64          `json:"entropy_delta"` // Feedback for EAST
	Trail         *core.AuditTrail `json:"-"`             // Governance audit trail from gate evaluation
}

type CognitiveFrame struct {
	ID        uuid.UUID
	Timestamp time.Time
	Intent    IntentStr

	// Task Metadata (Datalog-Driven from strategy.dl)
	TaskType   TaskType   // INDUCTION, GENERATION, AUDIT, RECOVERY
	OutputType OutputType // PLAN (structured JSON) or RULE (Datalog rules)

	// Memory & Logic
	Context       []Atom       // Soft Logic (INT8) - Observed facts, pruneable
	AttentionSink []Atom       // Hard Logic (FP32) - Immutable Axioms (Tier 0), never pruned
	ActiveGenes   []DomainGene // Logic Pinning - active rules for this epoch

	// Reasoning
	Draft  interface{}  // Neural proposal: *Plan or []byte
	Proof  *AuditResult // Verification trace
	Status VerifyStatus // PENDING, FP32_PASSED, LOGIC_VIOLATION, WARNING

	// Telemetry
	TraceID        string
	SessionHistory []AuditResult // Temporal conversation trace
	EAST           EASTState     // Cognitive Pressure metrics

	// Staging
	IsProposal bool
}

type DecisionOutput struct {
	Action string
	Params map[string]any
}

type DomainGene struct {
	Name         string    `json:"name"`
	Tier         TrustTier `json:"tier"` // TIER_0 .. TIER_3
	TierID       string    `json:"tier_id"`
	Rules        []byte    `json:"rules"`     // Compiled Datalog content
	Signature    [32]byte  `json:"signature"` // SHA256 integrity hash
	MMapAddr     uintptr   `json:"-"`         // Zero-copy mmap pointer
	Capabilities []string  `json:"capabilities"`
	Intents      []string  `json:"intents"`
	FactPath     string    `json:"fact_path,omitempty"`
	SourcePath   string    `json:"source_path,omitempty"`
	IsUnverified bool      `json:"is_unverified"`
}

type EASTState struct {
	LogicSuccess       float64 `json:"logic_success"`       // L (0.0 - 1.0)
	EntropyCoefficient float64 `json:"entropy_coefficient"` // N (Novelty)
	SteeringMagnitude  float64 `json:"steering_magnitude"`  // P = exp(1-L) / N
}

type Envelope = core.Envelope

type GeneManifest struct {
	Version string         `yaml:"version"`
	Genes   []GeneMetadata `yaml:"genes"`
}

type GeneMetadata struct {
	Name         string    `yaml:"name"`
	Tier         TrustTier `yaml:"tier"`
	Path         string    `yaml:"path"`
	FactPath     string    `yaml:"fact_path,omitempty"`
	Signature    string    `yaml:"signature"` // SHA256 hex string
	Capabilities []string  `yaml:"capabilities"`
	Intents      []string  `yaml:"intents"`
}

type IntentStr = core.IntentStr

type OutputType string

type Payload iter.Seq[Atom]

type PortType string

type ProofNode struct {
	Rule    string
	Matches map[string]string
	Pass    bool
}

type Quad = core.Quad

type Signal struct {
	ID         string    `json:"id"`
	Source     PortType  `json:"source"`
	Timestamp  time.Time `json:"timestamp"`
	RawContent string    `json:"raw_content"`
	Intent     IntentStr `json:"intent,omitempty"`
	IntentHint string    `json:"intent_hint,omitempty"`
	IsProposal bool      `json:"is_proposal,omitempty"`
}

type TaskType string

type TrustTier string

type VerifyStatus string