Ce document présente une spécification structurelle de la cessation (nirodha) en tant que jugement porteur de sens à l'intérieur d'une structure auto-référentielle fermée (un système interprétativement fermé, Ω), tout en bloquant les mauvaises interprétations persistantes qui réduisent le nibbāna à un "état" phénoménal ou assimilent la "termination" à une destruction, au nihilisme, à l'automutilation ou à un interrupteur d'arrêt. Ce travail ne cherche pas une preuve formelle mathématique, ni ne fournit un manuel procédural pour la pratique. Au contraire, il spécifie les conditions logiques minimales sous lesquelles un circuit contraignant peut être libéré de manière à la fois non coercitive et résistante aux mauvaises interprétations. Méthodologiquement, le document adopte une double herméneutique qui lit Paṭiccasamuppāda comme un algorithme de jugement conditionnel plutôt qu'un récit ontologique de genèse, et le re-décrit à l'aide de concepts de dynamique des systèmes, topologie et théorie du contrôle. Une notation théorique des ensembles et algorithmico-logique est employée comme grammaire de modélisation qualitative : les symboles servent à réduire l'ambiguïté linguistique et à prévenir les violations de type (par exemple, confondre règles et données, ou jugement et mesure). Les voies de mauvaise lecture sont traitées comme un modèle de menace, avec des contre-mesures explicites (verrouillage des énoncés et restrictions de domaine) intégrées dans la structure de la spécification. Les principales contributions sont : (1) une redéfinition de la cessation en tant que terminaison des règles liant l'upādāna—c’est-à-dire, libérer les liens d'attribution et ouvrir une boucle fermée—plutôt que d’anéantir un système ou éliminer l'expérience ; (2) un modèle de théorie du contrôle avec une fonction de liaison B, un opérateur d'observation Obs, et un contrôleur de supervision R (sammādiṭṭhi) agissant au niveau des règles via les contraintes Permit/Cut ; (3) des prédicats de jugement semblables à des portes qui formalisent les trois caractéristiques comme des motifs d'échec internes évalués sur des fenêtres d'observation, incluant un ratio auxiliaire SR(t)=ΔE/(k·ΔI) qui soutient le déclenchement au niveau des règles de nibbidā (arrêt de l'investissement) ; et (4) une couche éthique de sécurité qui re-décrit cattāro appamaññā en tant que contraintes de conception de non-nuisance, non-intervention et anti-domination. En somme, le document distingue la termination du crash et trace une frontière stricte entre spécification/jugement (temps de compilation) et exécution/silence (temps d'exécution), fermant délibérément pour que la spécification elle-même ne devienne pas un nouvel objet d'attachement.
Wonheo Seok (Jeu,) a étudié cette question.