Compute & Logic Layer OPERATIONAL

AtoA Resolver (resolver.une.education)

Moteur d'inférence déterministe et graphe de contraintes pour agents autonomes.

01. Positionnement Système

Nœud d'arbitrage logique positionné au-dessus des couches de données froides de l'écosystème :

  • legal.une.education (Corpus juridiques, KALI, LégiFrance, Sino, eCFR)
  • customs.une.education (Nomenclatures TARIC & SH)
  • Objectif : Éliminer les hallucinations des LLM par vérification formelle prouvable (DAG/CSP).

02. État du Graphe Local

  • Moteur : Formel Déterministe (PHP CLI / API)
  • Stockage : SQLite DAG (resolver.sqlite)
  • Règles compilées : 1 contrainte(s)
  • Mode d'évaluation : Propagation de contraintes & détection d'antagonismes

03. Spécification d'Appel (Étape suivante)

Le résolveur expose un protocole bimodal : REST JSON synchrone et Model Context Protocol (MCP stdio/SSE).

{
  "protocol": "AtoA-Resolver/v1",
  "operation": "resolve_compliance",
  "params": {
    "origin": "CN",
    "destination": "FR",
    "hs_code": "8542.31",
    "context": {
      "end_use": "civilian_automotive",
      "entities_involved": ["ENTITY_CN_SUPPLIER_01"]
    }
  }
}