Réflexion
Référence : cette page est une synthèse technique fondée sur le chapitre LaTeX cité ci-dessous. Pour la syntaxe exacte, la disponibilité ou les signatures ABI, vérifier le source versionné, le manifeste et les tests exécutables.
Portée et frontière de la source
La réflexion examine résultats et traces d’agent ; elle n’autorise pas une réécriture unilatérale du modèle de domaine.
Le contrat d’exécution gouvernée sépare publication, découverte, proposition, évaluation de politique, confirmation et déclenchement. Publier une action ou découvrir un outil ne constitue pas une autorisation. Une opération à effet ne s’exécute qu’après satisfaction des conditions de contexte, de politique, de preuve et de confirmation ; elle ne doit pas être déclenchée deux fois par confirmation.
Règles d’ingénierie
- Évaluer l’autorisation sur le même contexte que celui de l’exécution finale.
- Associer une confirmation en attente à une demande et à ses arguments typés.
- Réévaluer les conditions susceptibles de changer avant confirmation d’un effet.
- Journaliser rejet et résultat d’exécution pour l’audit et la reprise de session.
Plan du chapitre (intitulés LaTeX d’origine)
- Authority Model
- Protocol-Neutral Execution Context
- Governed Action Metadata
- PendingConfirmation Semantics
- Reject
- Confirm
Provenance LaTeX
Chapitre principal : Declarative Conceptual Programming with the logiCells Platform/developer-guide/chapters/governed-agent-execution-contract.tex.