Toulmin
reins — del Quest CLI solo queda el dominio; el ratchet se vuelve framework
how-make-quest enseñó a construir un Quest CLI con las manos. Pero al levantar el segundo CLI vuelves a escribir el mismo ratchet, el mismo scan/next/submit, la misma agregación. reins extrae ese invariante a un framework — el ratchet, el esqueleto de comandos, la agregación y el export los suministra reins, y tú solo implementas la puerta del dominio (los 4 métodos de gate.Definition). La puerta es un catálogo de reglas de defensa contra el cheese, y el defeat graph de toulmin le devuelve al agente una guía de 'por qué perdiste y qué cambiar para ganar'.
Un triple no es un hecho, es una afirmación
Los triples de Wikidata no son hechos, son afirmaciones. Al colocar el modelo de argumentación de Toulmin sobre los triples, se obtiene un grafo de conocimiento dinámico cuyo veredicto cambia según el contexto. El almacenamiento es estructura argumentativa; el juicio ocurre en tiempo de ejecución.
toulmin — Un motor de reglas que calcula contratos
Los motores de reglas han tratado el objeto de verificacion como un hecho (fact) durante 60 anos. toulmin lo trata como una afirmacion (claim). Implementamos el modelo de argumentacion de Toulmin como un motor de reglas en Go.