Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func WithExtractor ¶
WithExtractor sets the optional text-to-struct extractor on a supervised action. This enables the neuro-symbolic bridge: free-text LLM responses are extracted to structured data before flattenToQuads, so Datalog rules can fire on the result.
Parameters:
- action: A supervised action (must be *supervisedActionV2).
- ext: The extractor to use for free-text payloads.
Returns:
- The action with extractor set, or the original action if type doesn't match.
Types ¶
type Action ¶
type Action interface {
Execute(ctx context.Context, input domain.Envelope) (domain.Envelope, error)
}
Action defines the inner, unprotected execution capability.
type Extractor ¶
type Extractor interface {
// Extract converts free-text input to a structured payload.
Extract(ctx context.Context, text string) (any, error)
}
Extractor defines the interface for converting free-text payloads to structured data. When set on a supervised action, it bridges the neuro-symbolic gap for unstructured LLM responses that would otherwise produce zero facts in flattenToQuads.
type SupervisedAction ¶
type SupervisedAction struct {
// contains filtered or unexported fields
}
SupervisedAction wraps an inner capability with the Zero-Trust Gatekeeper. LLD 6.1: Intercepts execution, shadows audit, and reflects on output.
func New ¶
func New(inner Action, verifier ports.ReasoningPort, genePool ports.GenePoolPort) *SupervisedAction
Source Files