dspy.Assert: validare strictă a constrângerilor logice cu backtrack automat în DSPy & Programare Algoritmică LLM

`dspy.Assert` impune constrângeri stricte de corectitudine peste ieșirile generate de module. Dacă condiția booleană specificată este falsă, DSPy capturează eșecul și declanșează automat mecanismul de backtracking, re-executând modulul cu un prompt de corecție ce conține mesajul de eroare specificat.

Constrângeri Tari (Hard Constraints) cu Backtracking

Garantează respectarea strictă a formatului, a limitelor de lungime sau a regulilor de afaceri.

import dspy

class StrictResponder(dspy.Module):
    def __init__(self):
        super().__init__()
        self.generate = dspy.ChainOfThought("query -> answer")

    def forward(self, query):
        pred = self.generate(query=query)
        # Asigură că răspunsul conține cel puțin 20 de cuvinte și nu conține cuvinte interzise:
        dspy.Assert(
            len(pred.answer.split()) >= 20,
            msg="Răspunsul este prea scurt. Elaborează mai detaliat explicația tehnică."
        )
        return pred

Utilizarea corectă a acestei funcționalități în DSPy asigură programarea algoritmică robustă a modelelor mari de limbaj, decuplând arhitectura codului de redactarea fragilă a prompturilor manuale.