Prismagram/published-language
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Instrument : les gardes nommées, comme candidats — le plus petit lecteur qui prouve la thèse
gardes du contrat / conformite (pull_request) Failing after 18s
Details

Browse Source 
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>
This commit is contained in:
temoin-agent
2026-09-21 15:23:10 +02:00
co-authored by Claude Fable 5.1
parent 887d9a90c3
commit e27cbbbeff
7 changed files with 112 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
instrument/README.md
+16
View File
@@ -46,6 +46,22 @@ jamais. La grossièreté se dit dans le réglage (en commentaire) : un rang
absent de la correspondance est un rang que la juridiction ne sait pas
instrumenter, pas un rang qui va de soi.
## Les gardes nommées — des candidats, jamais des constats (optionnel)
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 porte
`gardes_nommees` (motifs de fichiers) et `adr` (où chercher les citations),
le journal d'exécution rend `gardes_nommees: { total, sans_declaration,
candidats }` — seuls ceux qu'aucun parcours ne cite sont listés, avec leur
strate et ce qui les cite (ADR, épreuve). L'instrument **mesure une existence,
il ne déclare rien** : déclarer un candidat (un invariant dans le parcours qui
le porte) ou décider que non reste à la juridiction. Rien ne devient un
constat, aucun état ne change de sens ; sans les clés, la section n'existe pas.
Pourquoi si peu : c'est le plus petit instrument qui prouve que le code tient
des règles que nul n'a déclarées. Mesuré chez openathle le jour de son
écriture — huit exceptions de domaine, zéro citée par un parcours.
## Ce qu'il écrit — chez la juridiction, jamais ailleurs
- **`sortie`** : les constats, en **ajout seul**, et **seulement quand l'état