26 lines
1.9 KiB
Go
26 lines
1.9 KiB
Go
package domain
|
|
|
|
import (
|
|
"fmt"
|
|
"git.cin.su/m/Assistant/contracts/self"
|
|
"git.cin.su/m/Assistant/platform/ids"
|
|
)
|
|
|
|
func ValidateCompetence(v self.CompetenceAssessment) error { return v.Validate() }
|
|
func ValidateLearning(v self.LearningLedgerEntry) error { return v.Validate() }
|
|
|
|
// ImprovementForReflexDivergence records a proposed review only. SELF never
|
|
// promotes, rewrites or trusts a Reflex from this observation.
|
|
func ImprovementForReflexDivergence(principal string, reflexRef self.SemanticReference, evidence []self.SemanticReference, at int64) (self.ImprovementNeed, self.LearningLedgerEntry, error) {
|
|
if principal == "" || !reflexRef.Valid() || len(evidence) == 0 || at < 1 {
|
|
return self.ImprovementNeed{}, self.LearningLedgerEntry{}, fmt.Errorf("reflex improvement lacks evidence")
|
|
}
|
|
need := self.ImprovementNeed{ID: self.AssessmentID("improvement:" + string(reflexRef.StableID) + ":" + fmt.Sprint(at)), PrincipalID: principal, SubjectRef: reflexRef, ProblemSummary: "shadow divergence requires governed reflex revalidation", EvidenceRefs: evidence, ExpectedBenefit: "restore verified bounded behavior or retire the reflex", Priority: 1, State: "OPEN", CreatedAt: at}
|
|
ref := self.SemanticReference{OwnerNamespace: "self", SemanticKind: "improvement_need", StableID: ids.StableID(need.ID)}
|
|
ledger := self.LearningLedgerEntry{ID: self.LearningLedgerEntryID("ledger:" + string(reflexRef.StableID) + ":" + fmt.Sprint(at)), PrincipalID: principal, ImprovementNeedRef: &ref, ObservedProblem: need.ProblemSummary, EvidenceRefs: evidence, Diagnosis: "bounded shadow comparison diverged or verifier rejected result", Hypothesis: "implementation or applicability no longer matches evidence", ProposedChangeRef: reflexRef, ExpectedImprovement: need.ExpectedBenefit, Decision: "PROPOSE_REVALIDATION", RecordedAt: at}
|
|
if err := ledger.Validate(); err != nil {
|
|
return self.ImprovementNeed{}, self.LearningLedgerEntry{}, err
|
|
}
|
|
return need, ledger, nil
|
|
}
|