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
gardes du contrat / conformite (pull_request) Successful in 17s
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:
co-authored by
Claude Fable 5.1
parent
887d9a90c3
commit
ecf13fe1da
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user