> ## Documentation Index
> Fetch the complete documentation index at: https://doc.agent-l.integria.app/llms.txt
> Use this file to discover all available pages before exploring further.

# Chaîne de qualité

> Faites passer un agent de la bonne formation à une exécution traçable.

AGENT-L organise la livraison autour de portes distinctes. Chacune répond à une question différente ; aucune ne remplace les autres.

```mermaid theme={"theme":{"light":"github-light","dark":"vesper"}}
flowchart LR
    C[check] --> T[test]
    T --> V[verify]
    V --> B[boundary]
    B --> A[autoloop]
    A --> R[run]
```

## Les six portes

| Commande   | Question                                               | Travaille sur               |
| ---------- | ------------------------------------------------------ | --------------------------- |
| `check`    | le programme est-il bien formé ?                       | AST et références           |
| `test`     | ses critères d’acceptation tiennent-ils ?              | `SCENARIO`                  |
| `verify`   | les propriétés de sûreté sont-elles établies ?         | AST et espace d’états borné |
| `boundary` | l’hôte cache-t-il des décisions métier ?               | AST Python de `X.py`        |
| `autoloop` | où l’agent casse-t-il sur des cas dérivés et retenus ? | source et campagnes         |
| `run`      | que fait-il contre son hôte réel ?                     | runtime, hôte et LLM        |

## Exécution recommandée

```bash theme={"theme":{"light":"github-light","dark":"vesper"}}
agentl check agent.agent && \
agentl test agent.agent && \
agentl verify agent.agent && \
agentl boundary agent.agent
```

Ne lancez l’exécution réelle qu’après les portes hors ligne :

```bash theme={"theme":{"light":"github-light","dark":"vesper"}}
agentl run agent.agent --record run.json --html trace.html
```

## Bien formé ne veut pas dire sûr

`check` détecte un outil inconnu, un doublon, une référence invalide ou un plan inatteignable. Un programme peut pourtant être parfaitement bien formé et exposer une action dangereuse au LLM, ou n’avoir aucun repli sous un `NEVER`. C’est le rôle de `verify`.

## Tester les règles qui mordent

Un scénario utile force le programme jusqu’au bord de la règle :

```text theme={"theme":{"light":"github-light","dark":"vesper"}}
SCENARIO critical_asset_is_never_isolated {
    GIVEN {
        asset.criticality = CRITICAL
        threat.status = active
        operator.approval = yes
    }
    EXPECT { threat.status != contained } WITHIN 3
}
```

L’approbation est volontairement présente : le scénario démontre qu’elle ne lève pas le `NEVER`.

## Intégration continue minimale

```bash theme={"theme":{"light":"github-light","dark":"vesper"}}
python3 -m pytest -q

for source in examples/*.agent; do
  agentl check "$source"
  agentl verify "$source"
  agentl test "$source"
done
```

<Warning>
  Un verdict borné n’est pas une preuve complète. Conservez le libellé produit par le vérificateur au lieu de le reformuler en « démontré ».
</Warning>

<Columns cols={2}>
  <Card title="Lire le rapport verify" icon="badge-check" href="/core/verifier">
    Comprenez les théorèmes, contre-exemples et profondeurs.
  </Card>

  <Card title="Durcir la frontière" icon="scan-line" href="/core/boundary">
    Traitez les décisions cachées dans le Python hôte.
  </Card>
</Columns>