Demo190 — Retrieved Evidence

Préparer la démo

Depuis la racine de la distribution complète compilée en Release. Les projets partagés Maf.Rag et Maf.DemoConnection sont nécessaires. Le stockage SQLite est local. rebuild/probe/compare demandent les embeddings réels ; answer demande en plus le chat si des preuves restent admissibles. audit seul ne demande aucun modèle. Le profil livré sépare embeddinggemma:300m et granite4:3b.

• Installation et configuration initiale

• Connexion et capacités

Lancer depuis la racine

Créer la racine une seule fois pour la série RAG ; si Demo180 a déjà ingéré le corpus, garder sa valeur existante et ne pas exécuter à nouveau l’affectation ci-dessous. Sans index compatible, rebuild est requis explicitement.

$env:MAF_STATE_ROOT = Join-Path $env:TEMP ('maf-rag-' + [guid]::NewGuid().ToString('N'))

dotnet run --project demos/Demo190_RetrievedEvidence/Demo190.App.csproj -c Release --no-build -- --Rag:AsOf 2026-10-23

Modes et manipulation

Après rebuild, poser Where can I export CSV in Reporting? puis How do I bake an apple pie? Comparer hits, hostCalls, citations acceptées et refus.

public static ControlledAnswer Validate(AnswerProposal? proposal, Retrieval retrieval)
{
    if (retrieval.Hits.Length == 0 || proposal is not { CanAnswer: true, Evidence.Length: > 0 and <= 3 })
        return ControlledAnswer.Refuse("no supported answer.");
    var sources = retrieval.Hits.ToDictionary(h => h.Chunk.Id, StringComparer.Ordinal);
    foreach (var evidence in proposal.Evidence)
    {
        if (evidence is null || string.IsNullOrWhiteSpace(evidence.SourceId)
            || !sources.TryGetValue(evidence.SourceId, out var source)
            || !CorpusPolicy.Eligible(source.Chunk.Source, retrieval.AsOf, source.Chunk.Source.Scope)
            || string.IsNullOrWhiteSpace(evidence.Quote) || evidence.Quote.Trim().Length < 20
            || !source.Chunk.Text.Contains(evidence.Quote, StringComparison.Ordinal))
            return ControlledAnswer.Refuse("invalid citation or quotation.");
    }
    return new(true, string.Join("\n", proposal.Evidence.Select(e => $"[{e.SourceId}] {e.Quote}")), proposal.Evidence);

shared/Maf.Rag/RagContracts.cs · L112–L126 · 9a895c94534c

Code source · Maf.Rag · Dossier

• shared/Maf.Rag/Maf.Rag.csproj

Résultats et échecs utiles

Le mode tool fait d’abord une recherche hôte puis exige un appel réel à retrieve_knowledge. Un deuxième agent propose AnswerProposal. Aucun appel d’outil observé, mauvais contrat ou fausse citation empêche l’acceptation.

Ces observations sont attendues par lecture du code à la révision publique liée. Le lot du site rejoue séparément les tests déterministes : il ne présente pas une réponse générée ou un score de fournisseur non mesuré comme une sortie observée.

Persistance et limites

L’index est partagé dans la racine sélectionnée ; le démarrage ne le réinitialise pas. rebuild remplace les tables RAG volontairement et une incompatibilité de modèle d’embeddings, dimension, corpus ou découpage échoue explicitement. Changer le chat seul ne modifie pas les vecteurs. Pas d’effacement universel, de qualification générale du modèle ni de garantie de production.

dotnet test tests/Maf.Rag.Tests/Maf.Rag.Tests.csproj -m:1 -c Release --no-build --no-restore

Poursuivre et vérifier

• Index vectoriel et preuves retrouvées

• Index des démonstrations