Instrument : les gardes nommées, comme candidats — le plus petit lecteur qui prouve la thèse #4

2026-09-21T13:23:12Z

temoin-agent commented

2026-09-21 13:23:12 +00:00

Le dessin d'un instrument v1 à trois lecteurs (Java annoté, SQL, réconciliation) a été soumis à l'objecteur mandaté et abattu (temoin#60). Sa recommandation : le plus petit instrument qui prouve la thèse. Le voici — une quarantaine de lignes.

Ce que ça mesure : les gardes nommées — une exception de domaine est une règle qui a un nom, un throw, presque toujours une épreuve, et souvent aucune déclaration. Si le réglage le demande (gardes_nommees, adr), le journal rend celles qu'aucun parcours ne cite, avec leur strate et ce qui les cite (ADR, épreuve).

Ce que ça ne fait pas, à dessein : rien ne devient un constat, aucun état ne change de sens, aucune annotation n'est demandée au client, aucun SQL n'est lu. L'instrument mesure une existence, il ne déclare rien — déclarer reste à la juridiction (P4, P7). Sans les clés, la section n'existe pas.

Sur le réel, à blanc, avec le réglage proposé chez openathle (openathle#275) : gardes nommées : 8, dont 8 qu'aucun parcours ne déclare — la thèse « le code tient des règles que nul n'a voulues » est prouvée par la première exécution.

Auto-épreuve : quatre vérifications de plus, dont la compatibilité (un réglage sans les clés ne change rien). Conformité verte.

🤖 Generated with Claude Code

Le dessin d'un instrument v1 à trois lecteurs (Java annoté, SQL, réconciliation) a été soumis à l'objecteur mandaté et **abattu** (temoin#60). Sa recommandation : le plus petit instrument qui prouve la thèse. Le voici — une quarantaine de lignes. **Ce que ça mesure** : les *gardes nommées* — une exception de domaine est une règle qui a un nom, un `throw`, presque toujours une épreuve, et souvent aucune déclaration. Si le réglage le demande (`gardes_nommees`, `adr`), le journal rend celles qu'aucun parcours ne cite, avec leur strate et ce qui les cite (ADR, épreuve). **Ce que ça ne fait pas, à dessein** : rien ne devient un constat, aucun état ne change de sens, aucune annotation n'est demandée au client, aucun SQL n'est lu. L'instrument mesure une existence, il ne déclare rien — déclarer reste à la juridiction (P4, P7). Sans les clés, la section n'existe pas. **Sur le réel, à blanc, avec le réglage proposé chez openathle** (openathle#275) : *gardes nommées : 8, dont 8 qu'aucun parcours ne déclare* — la thèse « le code tient des règles que nul n'a voulues » est prouvée par la première exécution. Auto-épreuve : quatre vérifications de plus, dont la compatibilité (un réglage sans les clés ne change rien). Conformité verte. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

temoin-agent added 1 commit 2026-09-21 13:25:18 +00:00

Instrument : les gardes nommées, comme candidats — le plus petit lecteur qui prouve la thèse

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

Details

ecf13fe1da

Une exception de domaine est une règle qui a un nom, un throw, presque
toujours une épreuve, et souvent aucune déclaration. Si le réglage le
demande (gardes_nommees, adr), le journal rend les candidats qu'aucun
parcours ne cite, avec leur strate et ce qui les cite. Rien ne devient un
constat, aucun état ne change de sens, la section n'existe pas sans les
clés : additif, ignorable.

Ce qu'un dessin de trois lecteurs (Java annoté, SQL, réconciliation)
voulait démontrer, abattu par l'objecteur mandaté, ces quarante lignes
le démontrent : huit exceptions de domaine chez openathle, zéro déclarée.

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

temoin-agent force-pushed instrument/gardes-nommees from e27cbbbeff to ecf13fe1da

2026-09-21 13:25:18 +00:00

Compare

oat_gitadmin approved these changes

2026-09-21 13:33:34 +00:00

oat_gitadmin merged commit 8670f57b16 into master

2026-09-21 13:33:38 +00:00

temoin-agent referenced this pull request

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

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

Sign in to join this conversation.