POM-RX — contrôle avant exécution et preuve vérifiable
POM-RX explore comment relier, dans une chaîne de reçus fournie, une politique déclarée, un contrôle avant exécution, une autorisation, un accusé d’exécution et une réconciliation.
POM-RX v0.1 — spécification de travail publique et prototype testé.
Simulation interactive d’intégrité
La chaîne de preuves fournie est-elle cohérente ?
Analyse une chaîne de trois reçus numériques. POM-RX vérifie leurs champs obligatoires, leur ordre et le lien cryptographique qui relie chaque reçu au précédent.
Prototype pédagogique : POM-RX vérifie uniquement les reçus fournis. Il ne confirme pas qu’une action a eu lieu et ne bloque aucune opération réelle.
Avant l’action · Analyse du contrôle 1
Chaque nouveau reçu doit être complet et reprendre exactement l’empreinte numérique du précédent. Même empreinte : la chaîne continue. Champ absent ou empreinte différente : POM-RX rejette la chaîne fournie.
- 1Avant l’action : ce qui est déclaré.
- 2Compte rendu : ce que le reçu suivant référence.
- 3Bilan final : ce qui est relié au compte rendu.
Prototype pédagogique : POM-RX vérifie uniquement les reçus fournis. Il ne confirme pas qu’une action a eu lieu et ne bloque aucune opération réelle.
Aucune limite de temps · tactile et clavier · premier dossier guidé
Modèle de reçus
Trois phases liées dans une chaîne fournie.
Chaque phase décrit des données déclarées et fournies à la relecture. Les liens de hachage permettent de contrôler la cohérence structurelle de cette chaîne, sans établir ce qui s’est produit en dehors des reçus.
Préflight
Un reçu fourni déclare une conclusion `allow` ou `deny` et des assertions associées. Il ne confirme pas à lui seul un fait externe.
Accusé de réception d’exécution
Un résultat `accepted`, `rejected` ou `unresolved` est relié par hachage au préflight fourni. POM-RX ne réalise pas l’action.
Réconciliation
Un résultat `matched`, `mismatched` ou `unresolved` peut être relié par hachage à l’accusé de réception pour relire la chaîne fournie.
Contrôle structurel
Relire une chaîne fournie, sans lui attribuer plus qu’elle ne contient.
Le commit public épinglé contient le schéma `pom-rx/0.1`, un vérificateur de référence Node/TypeScript et une suite Node de sept tests. Le vérificateur contrôle la structure fournie, l’ordre contigu des phases, certains champs partagés et les liens de hachage entre reçus.
Ces contrôles portent uniquement sur les reçus fournis. Ils n’établissent ni chronologie fiable, ni vérité d’un fait externe, ni authenticité de la source, ni consommation d’une autorisation, ni observation indépendante, ni blocage de l’exécution. POM-RX v0.1 n’exécute pas d’ordre, ne conserve pas d’actifs et n’est ni un contrôle de production, ni un audit, ni une certification, ni une garantie de sécurité ou de performance.
Sources publiques épinglées
Lire les artefacts exacts, pas une promesse résumée.
Chaque lien vise le même commit public. Les sources permettent de vérifier le périmètre, le schéma, le vérificateur et les sept tests publiés.
Commit public épinglé
Référence exacte de la spécification de travail et du prototype testé.
Spécification POM-RX v0.1
Portée publique, modèle de reçus et limites déclarées.
Schéma `pom-rx/0.1`
Structure attendue pour les reçus POM-RX fournis.
Vérificateur Node/TypeScript
Unique vérificateur de référence POM-RX publié.
Suite Node de sept tests
Chaînes valides et rejets structurels ciblés.