Gardes nommées, reprise de revue : « nommée » jamais « déclarée », exclusions, registre du refus #5

2026-09-21T19:13:04Z

temoin-agent commented

2026-09-21 19:13:04 +00:00

Correctif de ma main : les trois corrections retenues de la revue extérieure sur openathle#275 avaient été amendées sur la branche d'une PR déjà fusionnée (#4) — force-poussées dans le vide, jamais livrées. La première ronde d'openathle vient de le prouver : journal aux anciens noms de champs, SessionNotFoundException listé alors qu'il devait être exclu.

Ce que la PR livre, rebasé sur master, selftest et conformité verts (code de sortie lu) :

les champs disent ce qu'ils mesurent — nommee_par_parcours, nommee_par_adr, nommee_par_epreuve ; un parcours peut porter la règle en prose sans nommer la classe, et absent ≠ non déclaré ;
gardes_exclues : une absence (NotFound) n'est une règle pour personne — exclue = non observée ;
gardes_ecartees : le registre du refus, tenu par la juridiction, lu par l'instrument, jamais écrit par lui — l'écarté sort des candidats, reste au compte ; le différé revient à sa date ;
motifs au journal : la limite est dite là où la mesure s'écrit ;
sans_epreuve : la triade nom / throw / épreuve est mesurée, plus affirmée.

À sa fusion : le bot proposera l'adoption chez temoin ; openathle déplacera son épingle par PR relue — son réglage porte déjà les clés.

🤖 Generated with Claude Code

Correctif de ma main : les trois corrections retenues de la revue extérieure sur openathle#275 avaient été **amendées sur la branche d'une PR déjà fusionnée** (#4) — force-poussées dans le vide, jamais livrées. La première ronde d'openathle vient de le prouver : journal aux anciens noms de champs, `SessionNotFoundException` listé alors qu'il devait être exclu. **Ce que la PR livre**, rebasé sur master, selftest et conformité verts (code de sortie lu) : - les champs disent ce qu'ils mesurent — `nommee_par_parcours`, `nommee_par_adr`, `nommee_par_epreuve` ; un parcours peut porter la règle en prose sans nommer la classe, et *absent ≠ non déclaré* ; - `gardes_exclues` : une absence (`NotFound`) n'est une règle pour personne — exclue = non observée ; - `gardes_ecartees` : le registre du refus, tenu par la juridiction, lu par l'instrument, jamais écrit par lui — l'écarté sort des candidats, reste au compte ; le différé revient à sa date ; - `motifs` au journal : la limite est dite là où la mesure s'écrit ; - `sans_epreuve` : la triade nom / throw / épreuve est mesurée, plus affirmée. À sa fusion : le bot proposera l'adoption chez temoin ; openathle déplacera son épingle par PR relue — son réglage porte déjà les clés. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

temoin-agent added 1 commit 2026-09-21 19:13:05 +00:00

Gardes nommées, reprise de revue : « nommée » jamais « déclarée », exclusions, registre du refus

gardes du contrat / conformite (pull_request) Successful in 17s

Details

654042d0fa

Les trois corrections retenues de la revue extérieure d'openathle#275 —
que j'avais amendées sur la branche d'une PR déjà fusionnée, donc jamais
livrées : les champs disent ce qu'ils mesurent (nommee_par_parcours,
_par_adr, _par_epreuve — un parcours peut porter la règle en prose sans
nommer la classe) ; une absence n'est pas une règle (gardes_exclues, par
motif — exclue = non observée) ; décider que non a un réceptacle
(gardes_ecartees, registre de la juridiction, lu jamais écrit). Le
journal porte ses motifs : la limite est dite là où la mesure s'écrit.
La triade est mesurée : sans_epreuve.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

oat_gitadmin approved these changes

2026-09-21 19:25:16 +00:00

oat_gitadmin merged commit 0808286bf7 into master

2026-09-21 19:25:21 +00:00

Sign in to join this conversation.

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Prismagram/published-language#5