| 1 | package agent |
| 2 | |
| 3 | import ( |
| 4 | "reasonix/internal/completion" |
| 5 | "reasonix/internal/evidence" |
| 6 | "testing" |
| 7 | ) |
| 8 | |
| 9 | func TestCompletionProjectionUsesFactsAndUnknownVerdict(t *testing.T) { |
| 10 | ledger := evidence.NewLedger() |
| 11 | ledger.Record(evidence.Receipt{ToolName: "edit_file", Mutation: true, Write: true, Success: true, Paths: []string{"calc.py"}}) |
| 12 | receipt := completionReceipt(completion.BuildFacts(ledger, "", nil)) |
| 13 | if receipt == nil || receipt.AssessmentKind != "facts" || receipt.Verdict != "unknown" || len(receipt.Gaps) != 0 { |
| 14 | t.Fatalf("receipt=%+v", receipt) |
| 15 | } |
| 16 | } |
| 17 |