domain

package

v0.10.2 Latest Latest Go to latest Published: Sep 10, 2026 License: Apache-2.0 Imports: 4 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/duynguyendang/manglekit

Links

Open Source Insights

Documentation ¶

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

This section is empty.

Types ¶

type Atom ¶

type Atom = core.Atom

Atom is an alias to the core Atom type.

type AuditResult ¶

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
	Trail         *core.AuditTrail `json:"-"`             // Governance audit trail from gate evaluation
}

AuditResult represents the outcome of a verification phase.

type CognitiveFrame ¶

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

	// 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

	// Staging
	IsProposal bool
}

CognitiveFrame represents the state of a single reasoning Epoch. It is the central data structure carrying context and traces through the OODA loop.

type DecisionOutput ¶

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

DecisionOutput is a placeholder for the final structured output from the agent.

type Envelope ¶

type Envelope = core.Envelope

Envelope is an alias to the core Envelope type for internal domain usage.

type IntentStr ¶

type IntentStr = core.IntentStr

IntentStr is an alias to core.IntentStr.

type OutputType ¶

type OutputType string

OutputType defines the expected output format.

const (
	OutputTypePlan OutputType = "PLAN" // Structured action plan (JSON)
	OutputTypeRule OutputType = "RULE" // Datalog rules
)

type Payload ¶

type Payload iter.Seq[Atom]

Payload is a zero-allocation stream of Atoms.

type PortType ¶

type PortType string

PortType identifies the source of a signal.

type ProofNode ¶

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

ProofNode represents a step in the Datalog proof tree.

type Quad ¶

type Quad = core.Quad

Quad is an alias to the core Quad type.

type Signal ¶

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"`
}

Signal represents an event triggering the OODA loop.

type TaskType ¶

type TaskType string

TaskType defines the category of cognitive work.

const (
	TaskTypeInduction  TaskType = "INDUCTION"  // Learning from raw input
	TaskTypeGeneration TaskType = "GENERATION" // Creating structured output
	TaskTypeAudit      TaskType = "AUDIT"      // System verification
	TaskTypeRecovery   TaskType = "RECOVERY"   // Error remediation
)

type TrustTier ¶

type TrustTier string

TrustTier defines the authority level of an action or decision.

const (
	Tier0Kernel TrustTier = "TIER_0" // Immutable Core
	Tier1Admin  TrustTier = "TIER_1" // Human Operator
	Tier2AI     TrustTier = "TIER_2" // Induced Logic
	Tier3User   TrustTier = "TIER_3" // Untrusted Input
)

type VerifyStatus ¶

type VerifyStatus string

VerifyStatus represents the outcome of the verification phase.

const (
	VerifyStatusPending VerifyStatus = "PENDING"
	VerifyStatusPassed  VerifyStatus = "FP32_PASSED"
	VerifyStatusFailed  VerifyStatus = "LOGIC_VIOLATION"
	VerifyStatusWarning VerifyStatus = "WARNING"
)

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL