mangle

package

v0.3.0 Latest Latest Go to latest Published: Jun 11, 2026 License: Apache-2.0 Imports: 10 Imported by: 0

Details

This section is empty.

This section is empty.

This section is empty.

type ReasoningAdapter struct {
	MaxRecursionDepth int
	EvalTimeout       time.Duration
}

ReasoningAdapter implements ports.ReasoningPort using the Google Mangle engine.

func NewReasoningAdapter() *ReasoningAdapter

NewReasoningAdapter initializes the Datalog evaluator with strict circuit breakers.

func (a *ReasoningAdapter) Query(ctx context.Context, query string, genome []domain.DomainGene) ([]domain.Atom, error)

Query allows raw datalog extraction, bounded by the depth limit.

func (a *ReasoningAdapter) Verify(ctx context.Context, subject interface{}, genome []domain.DomainGene) (*domain.AuditResult, error)

Verify implements the Shadow Audit for structured plans.

func (a *ReasoningAdapter) VerifyAtoms(ctx context.Context, atoms []domain.Atom, genome []domain.DomainGene) (*domain.AuditResult, error)

VerifyAtoms executes the core Mangle evaluation (semi-naive with stratification).