disensor 0.6.0__tar.gz → 0.6.2__tar.gz

{disensor-0.6.0/src/disensor.egg-info → disensor-0.6.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: disensor
-Version: 0.6.0
+Version: 0.6.2
 Summary: Adversarial plan & code review with a declared residue. Emits, validates and CI-enforces residue declarations (residue/v0.3 schema).
 Author-email: Nicolas Rocchia <nicolasrocchia@gmail.com>
 License: MIT
@@ -93,7 +93,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
-      - uses: NicolasRocchia/disensor@v0.6.0
+      - uses: NicolasRocchia/disensor@v0.6.2
 ```
 
 El gate valida las declaraciones que **el PR agrega**, aplica la política y publica el resultado como comentario (se actualiza en el lugar en cada push). Todo lo que decide sale de objetos de git en el rango `merge-base..head`, nunca del working tree: en un evento `pull_request` el checkout deja el merge commit sintético mientras `head.sha` apunta al head real, así que leer del disco clasificaría un árbol y validaría otro.
@@ -155,7 +155,7 @@ Límite explícito: leer la política de la base convierte un bypass de un paso
 
 No corre modelos, no pide claves de API en CI, y ningún código viaja a ningún servicio: valida un JSON que ya está versionado en el repo. La orquestación del loop vive donde el equipo ya trabaja; el perfil `minimized` del artefacto está pensado para ambientes donde el texto de los hallazgos no puede salir del entorno.
 
-En el perfil `minimized`, R9 impide el texto libre en los campos que el protocolo define y el esquema exige además que todo valor bajo `extensions` sea opaco —un hash `sha256:`, un número, un booleano o contenedores de esos— y que toda clave tenga forma de identificador: un nombre, no un mensaje. El espacio de extensión no lo interpretan las reglas, que es justamente por qué el texto estacionado ahí saldría del entorno mientras el perfil afirma que nada sale. Queda un string libre fuera del alcance, `verification.detail`, cuya política se decide en la próxima tanda.
+En el perfil `minimized`, R9 impide el texto libre en los campos que el protocolo define y el esquema exige además que todo valor bajo `extensions` sea opaco (un hash `sha256:`, un número, un booleano o contenedores de esos) y que toda clave tenga forma de identificador: un nombre, no un mensaje. El espacio de extensión no lo interpretan las reglas, que es justamente por qué el texto estacionado ahí saldría del entorno mientras el perfil afirma que nada sale. Queda un string libre fuera del alcance, `verification.detail`, cuya política se decide en la próxima tanda.
 
 ## Conformidad entre implementaciones
 
@@ -192,7 +192,7 @@ Migración desde v0.1: renombrar `.residuo/` a `.residue/`, las claves del confi
 
 Cuidado con la ambigüedad: esta sección habla de la versión **del esquema**; la siguiente habla de versiones **del paquete**. Son dos numeraciones distintas.
 
-La v0.3 no renombra ni agrega claves. Endurece los puntos donde la garantía declarada era más fuerte que la implementada —tres detectados antes de la ronda y dos que la propia ronda adversarial de v0.3 agregó—, y suma un valor a un enum:
+La v0.3 no renombra ni agrega claves. Endurece los puntos donde la garantía declarada era más fuerte que la implementada (tres detectados antes de la ronda y dos que la propia ronda adversarial de v0.3 agregó), y suma un valor a un enum:
 
 | Antes valía | Ahora se rechaza | Por qué |
 |---|---|---|
@@ -204,7 +204,7 @@ La v0.3 no renombra ni agrega claves. Endurece los puntos donde la garantía dec
 
 Y `verification.against` acepta ahora **`external_source`**: literatura, especificaciones de terceros, advisories o documentación externa. En v0.2 una verificación contra una fuente externa no tenía categoría verdadera disponible y había que declararla como `repository` ([#7](https://github.com/NicolasRocchia/disensor/issues/7)).
 
-**Cómo migrar**: renombrar el campo `schema` a `residue/v0.3`. Si el artefacto ya satisface los invariantes de la tabla, no hay nada más que hacer — ninguno de los artefactos, ejemplos ni vectores de este repositorio los violaba. El validador reconoce un artefacto v0.2 y explica qué endureció la v0.3 en lugar de limitarse a decir que el `const` falló.
+**Cómo migrar**: renombrar el campo `schema` a `residue/v0.3`. Si el artefacto ya satisface los invariantes de la tabla, no hay nada más que hacer: ninguno de los artefactos, ejemplos ni vectores de este repositorio los violaba. El validador reconoce un artefacto v0.2 y explica qué endureció la v0.3 en lugar de limitarse a decir que el `const` falló.
 
 **Por qué se subió el identificador en vez de endurecer v0.2 en el lugar**: no fue por compatibilidad, que no había ninguna que proteger. Fue porque el producto entero se apoya en que un identificador de esquema signifique una cosa; si v0.2 significara distinto según cuándo se lo lea, la herramienta se contradiría en su propio repositorio.
 
@@ -232,7 +232,7 @@ El esquema del artefacto no cambia y las declaraciones ya versionadas siguen sie
 
 ## Estado
 
-v0.6.0, la release de transición a **residue/v0.3** (la última publicada en PyPI es la 0.5.0 hasta que esta salga). La v0.4 reescribió el gate para que derive el alcance del PR de git (ver "Qué hace cumplir el gate") y la v0.5 entrega la consigna adversarial empaquetada con hash reproducible; el paso a residue/v0.3 endurece tres puntos del artefacto, cerrando los issues [#5](https://github.com/NicolasRocchia/disensor/issues/5), [#7](https://github.com/NicolasRocchia/disensor/issues/7) y [#8](https://github.com/NicolasRocchia/disensor/issues/8). Ver "Migración de v0.2 a v0.3". Decisión cerrada en v0.2: claves del esquema y CLI en inglés (el español queda como alias en la CLI y como idioma de la documentación). El esquema puede cambiar hasta v1.0; los cambios se declaran en el propio esquema. Decisión abierta antes de v1.0: licencia definitiva (hoy MIT; Apache-2.0 está en consideración por la concesión de patentes).
+v0.6.2, sobre **residue/v0.3**. Las releases se publican a PyPI vía Trusted Publishing (OIDC, `release.yml`): sin tokens en ninguna máquina. La v0.4 reescribió el gate para que derive el alcance del PR de git (ver "Qué hace cumplir el gate") y la v0.5 entrega la consigna adversarial empaquetada con hash reproducible; el paso a residue/v0.3 endurece tres puntos del artefacto, cerrando los issues [#5](https://github.com/NicolasRocchia/disensor/issues/5), [#7](https://github.com/NicolasRocchia/disensor/issues/7) y [#8](https://github.com/NicolasRocchia/disensor/issues/8). Ver "Migración de v0.2 a v0.3". Decisión cerrada en v0.2: claves del esquema y CLI en inglés (el español queda como alias en la CLI y como idioma de la documentación). El esquema puede cambiar hasta v1.0; los cambios se declaran en el propio esquema. Decisión abierta antes de v1.0: licencia definitiva (hoy MIT; Apache-2.0 está en consideración por la concesión de patentes).
 
 ## Licencia
 

{disensor-0.6.0 → disensor-0.6.2}/README.md

@@ -79,7 +79,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
-      - uses: NicolasRocchia/disensor@v0.6.0
+      - uses: NicolasRocchia/disensor@v0.6.2
 ```
 
 El gate valida las declaraciones que **el PR agrega**, aplica la política y publica el resultado como comentario (se actualiza en el lugar en cada push). Todo lo que decide sale de objetos de git en el rango `merge-base..head`, nunca del working tree: en un evento `pull_request` el checkout deja el merge commit sintético mientras `head.sha` apunta al head real, así que leer del disco clasificaría un árbol y validaría otro.
@@ -141,7 +141,7 @@ Límite explícito: leer la política de la base convierte un bypass de un paso
 
 No corre modelos, no pide claves de API en CI, y ningún código viaja a ningún servicio: valida un JSON que ya está versionado en el repo. La orquestación del loop vive donde el equipo ya trabaja; el perfil `minimized` del artefacto está pensado para ambientes donde el texto de los hallazgos no puede salir del entorno.
 
-En el perfil `minimized`, R9 impide el texto libre en los campos que el protocolo define y el esquema exige además que todo valor bajo `extensions` sea opaco —un hash `sha256:`, un número, un booleano o contenedores de esos— y que toda clave tenga forma de identificador: un nombre, no un mensaje. El espacio de extensión no lo interpretan las reglas, que es justamente por qué el texto estacionado ahí saldría del entorno mientras el perfil afirma que nada sale. Queda un string libre fuera del alcance, `verification.detail`, cuya política se decide en la próxima tanda.
+En el perfil `minimized`, R9 impide el texto libre en los campos que el protocolo define y el esquema exige además que todo valor bajo `extensions` sea opaco (un hash `sha256:`, un número, un booleano o contenedores de esos) y que toda clave tenga forma de identificador: un nombre, no un mensaje. El espacio de extensión no lo interpretan las reglas, que es justamente por qué el texto estacionado ahí saldría del entorno mientras el perfil afirma que nada sale. Queda un string libre fuera del alcance, `verification.detail`, cuya política se decide en la próxima tanda.
 
 ## Conformidad entre implementaciones
 
@@ -178,7 +178,7 @@ Migración desde v0.1: renombrar `.residuo/` a `.residue/`, las claves del confi
 
 Cuidado con la ambigüedad: esta sección habla de la versión **del esquema**; la siguiente habla de versiones **del paquete**. Son dos numeraciones distintas.
 
-La v0.3 no renombra ni agrega claves. Endurece los puntos donde la garantía declarada era más fuerte que la implementada —tres detectados antes de la ronda y dos que la propia ronda adversarial de v0.3 agregó—, y suma un valor a un enum:
+La v0.3 no renombra ni agrega claves. Endurece los puntos donde la garantía declarada era más fuerte que la implementada (tres detectados antes de la ronda y dos que la propia ronda adversarial de v0.3 agregó), y suma un valor a un enum:
 
 | Antes valía | Ahora se rechaza | Por qué |
 |---|---|---|
@@ -190,7 +190,7 @@ La v0.3 no renombra ni agrega claves. Endurece los puntos donde la garantía dec
 
 Y `verification.against` acepta ahora **`external_source`**: literatura, especificaciones de terceros, advisories o documentación externa. En v0.2 una verificación contra una fuente externa no tenía categoría verdadera disponible y había que declararla como `repository` ([#7](https://github.com/NicolasRocchia/disensor/issues/7)).
 
-**Cómo migrar**: renombrar el campo `schema` a `residue/v0.3`. Si el artefacto ya satisface los invariantes de la tabla, no hay nada más que hacer — ninguno de los artefactos, ejemplos ni vectores de este repositorio los violaba. El validador reconoce un artefacto v0.2 y explica qué endureció la v0.3 en lugar de limitarse a decir que el `const` falló.
+**Cómo migrar**: renombrar el campo `schema` a `residue/v0.3`. Si el artefacto ya satisface los invariantes de la tabla, no hay nada más que hacer: ninguno de los artefactos, ejemplos ni vectores de este repositorio los violaba. El validador reconoce un artefacto v0.2 y explica qué endureció la v0.3 en lugar de limitarse a decir que el `const` falló.
 
 **Por qué se subió el identificador en vez de endurecer v0.2 en el lugar**: no fue por compatibilidad, que no había ninguna que proteger. Fue porque el producto entero se apoya en que un identificador de esquema signifique una cosa; si v0.2 significara distinto según cuándo se lo lea, la herramienta se contradiría en su propio repositorio.
 
@@ -218,7 +218,7 @@ El esquema del artefacto no cambia y las declaraciones ya versionadas siguen sie
 
 ## Estado
 
-v0.6.0, la release de transición a **residue/v0.3** (la última publicada en PyPI es la 0.5.0 hasta que esta salga). La v0.4 reescribió el gate para que derive el alcance del PR de git (ver "Qué hace cumplir el gate") y la v0.5 entrega la consigna adversarial empaquetada con hash reproducible; el paso a residue/v0.3 endurece tres puntos del artefacto, cerrando los issues [#5](https://github.com/NicolasRocchia/disensor/issues/5), [#7](https://github.com/NicolasRocchia/disensor/issues/7) y [#8](https://github.com/NicolasRocchia/disensor/issues/8). Ver "Migración de v0.2 a v0.3". Decisión cerrada en v0.2: claves del esquema y CLI en inglés (el español queda como alias en la CLI y como idioma de la documentación). El esquema puede cambiar hasta v1.0; los cambios se declaran en el propio esquema. Decisión abierta antes de v1.0: licencia definitiva (hoy MIT; Apache-2.0 está en consideración por la concesión de patentes).
+v0.6.2, sobre **residue/v0.3**. Las releases se publican a PyPI vía Trusted Publishing (OIDC, `release.yml`): sin tokens en ninguna máquina. La v0.4 reescribió el gate para que derive el alcance del PR de git (ver "Qué hace cumplir el gate") y la v0.5 entrega la consigna adversarial empaquetada con hash reproducible; el paso a residue/v0.3 endurece tres puntos del artefacto, cerrando los issues [#5](https://github.com/NicolasRocchia/disensor/issues/5), [#7](https://github.com/NicolasRocchia/disensor/issues/7) y [#8](https://github.com/NicolasRocchia/disensor/issues/8). Ver "Migración de v0.2 a v0.3". Decisión cerrada en v0.2: claves del esquema y CLI en inglés (el español queda como alias en la CLI y como idioma de la documentación). El esquema puede cambiar hasta v1.0; los cambios se declaran en el propio esquema. Decisión abierta antes de v1.0: licencia definitiva (hoy MIT; Apache-2.0 está en consideración por la concesión de patentes).
 
 ## Licencia
 

{disensor-0.6.0 → disensor-0.6.2}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "disensor"
-version = "0.6.0"
+version = "0.6.2"
 description = "Adversarial plan & code review with a declared residue. Emits, validates and CI-enforces residue declarations (residue/v0.3 schema)."
 readme = "README.md"
 requires-python = ">=3.10"

{disensor-0.6.0 → disensor-0.6.2}/src/disensor/__init__.py

@@ -1,2 +1,2 @@
 """disensor: residue declaration of adversarial review (controlled disagreement)."""
-__version__ = "0.6.0"
+__version__ = "0.6.2"

{disensor-0.6.0 → disensor-0.6.2}/src/disensor/cli.py

@@ -89,7 +89,18 @@ def build_parser() -> argparse.ArgumentParser:
     validate.add_argument("files", nargs="+")
     validate.set_defaults(func=main_validate)
 
-    gate = sub.add_parser("gate", help="CI gate: validates the declarations this PR adds and applies policy G1 to G8.")
+    gate = sub.add_parser(
+        "gate",
+        help="CI gate: validates the declarations this PR adds and applies policy G1 to G9.",
+        # `help` solo se ve en el listado de `disensor --help`; `description` es lo
+        # que muestra `disensor gate --help`, que es donde alguien mira cuando
+        # quiere saber que hace este subcomando.
+        description=(
+            "CI gate: validates the residue declarations this PR adds and applies policy "
+            "G1 to G9. Everything it decides comes from git objects in the merge-base..head "
+            "range, never from the working tree."
+        ),
+    )
     gate.add_argument("--directory", "--directorio", default=".residue")
     gate.add_argument("--config", default="disensor.config.json")
     gate.add_argument("--base", default=None, help="Base SHA of the PR (defaults to the GitHub event).")

{disensor-0.6.0 → disensor-0.6.2}/src/disensor/residue.schema.json

@@ -2,7 +2,7 @@
   "$schema": "https://json-schema.org/draft/2020-12/schema",
   "$id": "https://www.pelatech.com.ar/specs/residue/v0.3/residue.schema.json",
   "title": "Residue declaration of an adversarial review event (controlled disagreement)",
-  "description": "Artifact that an adversarial review event emits at the close of the cycle. It declares residue, not coverage (protocol, section 9): it lists what the cycle could not close by itself, or expressly declares its absence. Resolved and verified findings are not residue; their evidence is the diff. Provisional version v0.2, subject to ratification. v0.2 renames every key and enum from Spanish (residuo/v0.1) to English; the mapping is documented in the repository glossary. No structural semantics changed between v0.1 and v0.2.",
+  "description": "Artifact that an adversarial review event emits at the close of the cycle. It declares residue, not coverage (protocol, section 9): it lists what the cycle could not close by itself, or expressly declares its absence. Resolved and verified findings are not residue; their evidence is the diff. Provisional version v0.3, subject to ratification. v0.2 renames every key and enum from Spanish (residuo/v0.1) to English; the mapping is documented in the repository glossary. No structural semantics changed between v0.1 and v0.2.",
   "type": "object",
   "required": [
     "schema",

{disensor-0.6.0 → disensor-0.6.2/src/disensor.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: disensor
-Version: 0.6.0
+Version: 0.6.2
 Summary: Adversarial plan & code review with a declared residue. Emits, validates and CI-enforces residue declarations (residue/v0.3 schema).
 Author-email: Nicolas Rocchia <nicolasrocchia@gmail.com>
 License: MIT
@@ -93,7 +93,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
-      - uses: NicolasRocchia/disensor@v0.6.0
+      - uses: NicolasRocchia/disensor@v0.6.2
 ```
 
 El gate valida las declaraciones que **el PR agrega**, aplica la política y publica el resultado como comentario (se actualiza en el lugar en cada push). Todo lo que decide sale de objetos de git en el rango `merge-base..head`, nunca del working tree: en un evento `pull_request` el checkout deja el merge commit sintético mientras `head.sha` apunta al head real, así que leer del disco clasificaría un árbol y validaría otro.
@@ -155,7 +155,7 @@ Límite explícito: leer la política de la base convierte un bypass de un paso
 
 No corre modelos, no pide claves de API en CI, y ningún código viaja a ningún servicio: valida un JSON que ya está versionado en el repo. La orquestación del loop vive donde el equipo ya trabaja; el perfil `minimized` del artefacto está pensado para ambientes donde el texto de los hallazgos no puede salir del entorno.
 
-En el perfil `minimized`, R9 impide el texto libre en los campos que el protocolo define y el esquema exige además que todo valor bajo `extensions` sea opaco —un hash `sha256:`, un número, un booleano o contenedores de esos— y que toda clave tenga forma de identificador: un nombre, no un mensaje. El espacio de extensión no lo interpretan las reglas, que es justamente por qué el texto estacionado ahí saldría del entorno mientras el perfil afirma que nada sale. Queda un string libre fuera del alcance, `verification.detail`, cuya política se decide en la próxima tanda.
+En el perfil `minimized`, R9 impide el texto libre en los campos que el protocolo define y el esquema exige además que todo valor bajo `extensions` sea opaco (un hash `sha256:`, un número, un booleano o contenedores de esos) y que toda clave tenga forma de identificador: un nombre, no un mensaje. El espacio de extensión no lo interpretan las reglas, que es justamente por qué el texto estacionado ahí saldría del entorno mientras el perfil afirma que nada sale. Queda un string libre fuera del alcance, `verification.detail`, cuya política se decide en la próxima tanda.
 
 ## Conformidad entre implementaciones
 
@@ -192,7 +192,7 @@ Migración desde v0.1: renombrar `.residuo/` a `.residue/`, las claves del confi
 
 Cuidado con la ambigüedad: esta sección habla de la versión **del esquema**; la siguiente habla de versiones **del paquete**. Son dos numeraciones distintas.
 
-La v0.3 no renombra ni agrega claves. Endurece los puntos donde la garantía declarada era más fuerte que la implementada —tres detectados antes de la ronda y dos que la propia ronda adversarial de v0.3 agregó—, y suma un valor a un enum:
+La v0.3 no renombra ni agrega claves. Endurece los puntos donde la garantía declarada era más fuerte que la implementada (tres detectados antes de la ronda y dos que la propia ronda adversarial de v0.3 agregó), y suma un valor a un enum:
 
 | Antes valía | Ahora se rechaza | Por qué |
 |---|---|---|
@@ -204,7 +204,7 @@ La v0.3 no renombra ni agrega claves. Endurece los puntos donde la garantía dec
 
 Y `verification.against` acepta ahora **`external_source`**: literatura, especificaciones de terceros, advisories o documentación externa. En v0.2 una verificación contra una fuente externa no tenía categoría verdadera disponible y había que declararla como `repository` ([#7](https://github.com/NicolasRocchia/disensor/issues/7)).
 
-**Cómo migrar**: renombrar el campo `schema` a `residue/v0.3`. Si el artefacto ya satisface los invariantes de la tabla, no hay nada más que hacer — ninguno de los artefactos, ejemplos ni vectores de este repositorio los violaba. El validador reconoce un artefacto v0.2 y explica qué endureció la v0.3 en lugar de limitarse a decir que el `const` falló.
+**Cómo migrar**: renombrar el campo `schema` a `residue/v0.3`. Si el artefacto ya satisface los invariantes de la tabla, no hay nada más que hacer: ninguno de los artefactos, ejemplos ni vectores de este repositorio los violaba. El validador reconoce un artefacto v0.2 y explica qué endureció la v0.3 en lugar de limitarse a decir que el `const` falló.
 
 **Por qué se subió el identificador en vez de endurecer v0.2 en el lugar**: no fue por compatibilidad, que no había ninguna que proteger. Fue porque el producto entero se apoya en que un identificador de esquema signifique una cosa; si v0.2 significara distinto según cuándo se lo lea, la herramienta se contradiría en su propio repositorio.
 
@@ -232,7 +232,7 @@ El esquema del artefacto no cambia y las declaraciones ya versionadas siguen sie
 
 ## Estado
 
-v0.6.0, la release de transición a **residue/v0.3** (la última publicada en PyPI es la 0.5.0 hasta que esta salga). La v0.4 reescribió el gate para que derive el alcance del PR de git (ver "Qué hace cumplir el gate") y la v0.5 entrega la consigna adversarial empaquetada con hash reproducible; el paso a residue/v0.3 endurece tres puntos del artefacto, cerrando los issues [#5](https://github.com/NicolasRocchia/disensor/issues/5), [#7](https://github.com/NicolasRocchia/disensor/issues/7) y [#8](https://github.com/NicolasRocchia/disensor/issues/8). Ver "Migración de v0.2 a v0.3". Decisión cerrada en v0.2: claves del esquema y CLI en inglés (el español queda como alias en la CLI y como idioma de la documentación). El esquema puede cambiar hasta v1.0; los cambios se declaran en el propio esquema. Decisión abierta antes de v1.0: licencia definitiva (hoy MIT; Apache-2.0 está en consideración por la concesión de patentes).
+v0.6.2, sobre **residue/v0.3**. Las releases se publican a PyPI vía Trusted Publishing (OIDC, `release.yml`): sin tokens en ninguna máquina. La v0.4 reescribió el gate para que derive el alcance del PR de git (ver "Qué hace cumplir el gate") y la v0.5 entrega la consigna adversarial empaquetada con hash reproducible; el paso a residue/v0.3 endurece tres puntos del artefacto, cerrando los issues [#5](https://github.com/NicolasRocchia/disensor/issues/5), [#7](https://github.com/NicolasRocchia/disensor/issues/7) y [#8](https://github.com/NicolasRocchia/disensor/issues/8). Ver "Migración de v0.2 a v0.3". Decisión cerrada en v0.2: claves del esquema y CLI en inglés (el español queda como alias en la CLI y como idioma de la documentación). El esquema puede cambiar hasta v1.0; los cambios se declaran en el propio esquema. Decisión abierta antes de v1.0: licencia definitiva (hoy MIT; Apache-2.0 está en consideración por la concesión de patentes).
 
 ## Licencia
 

disensor-0.6.2/tests/test_docs.py

@@ -0,0 +1,167 @@
+"""The documented Action version has to be the version being shipped.
+
+Between 0.2.0 and 0.3.0 the README kept pointing at `@v0.2.0` while `init` wrote
+`@v0.3.0`, so anyone following the documentation ran a different gate than the
+one the tool installs. That is cheap to catch and expensive to notice by hand.
+"""
+from __future__ import annotations
+
+import os
+import re
+import subprocess
+import sys
+from pathlib import Path
+
+from disensor import __version__
+
+ROOT = Path(__file__).resolve().parents[1]
+DOCS = [ROOT / "README.md", ROOT / "docs" / "ejemplo-workflow.yml"]
+
+PIN = re.compile(r"NicolasRocchia/disensor@v([0-9]+\.[0-9]+\.[0-9]+)")
+
+
+def test_documented_action_version_matches_the_package():
+    for path in DOCS:
+        pins = PIN.findall(path.read_text(encoding="utf-8"))
+        assert pins, f"{path.name} documents no Action version"
+        for pinned in pins:
+            assert pinned == __version__, (
+                f"{path.name} documents @v{pinned} while the package is {__version__}"
+            )
+
+
+NUL = chr(0)
+
+
+def split_ls_files(output: str) -> list[str]:
+    """Corta la salida de `git ls-files -z` por NUL.
+
+    Separada del test para poder probarla con una salida armada. `git ls-files`
+    sin `-z` separa por salto de linea y entrecomilla los nombres raros, y
+    `.split()` ademas corta en los espacios: un archivo llamado `mi nota.md` se
+    partia en dos rutas inexistentes, las dos se saltaban en silencio, y el
+    archivo que si violaba la regla nunca se abria. El test pasaba justo cuando
+    tenia que fallar.
+    """
+    return [name for name in output.split(NUL) if name]
+
+
+def tracked_markdown() -> list[str]:
+    out = subprocess.run(
+        ["git", "ls-files", "-z", "--", "*.md"],
+        cwd=ROOT, capture_output=True, text=True, check=True,
+    ).stdout
+    return split_ls_files(out)
+
+
+def test_a_name_with_spaces_stays_one_path():
+    assert split_ls_files("README.md" + NUL + "docs/mi nota.md" + NUL) == [
+        "README.md", "docs/mi nota.md",
+    ]
+
+
+EM_DASH = "\u2014"
+
+
+def test_no_em_dashes_in_the_documents():
+    """Regla editorial dura del proyecto: jamás guiones largos.
+
+    Vivía en la cabeza de quien escribía y las rondas 0.4 a 0.6 metieron 38 sin
+    que nadie los viera, tres de ellos en el README, que es la página de PyPI.
+    Una regla que depende de recordarla no es una regla, es una intención: acá
+    pasa al CI, la misma doctrina que el gate aplica a las declaraciones.
+
+    `.residue/` queda afuera a propósito. Son declaraciones ya emitidas y la
+    evidencia es de solo agregar (G8): corregirles el texto para satisfacer una
+    regla de estilo sería reescribir un registro histórico, que es exactamente
+    lo que la herramienta existe para impedir.
+    """
+    # -z y corte por NUL: `git ls-files` separa por salto de línea y entrecomilla
+    # los nombres raros, y `.split()` además corta en los espacios. Un archivo
+    # llamado `mi nota.md` se partía en dos rutas inexistentes, las dos se
+    # saltaban en silencio, y el archivo que sí tenía el guión largo nunca se
+    # abría: el test pasaba justo cuando tenía que fallar.
+    tracked = tracked_markdown()
+    offenders = {}
+    for name in tracked:
+        if name.startswith(".residue/"):
+            continue
+        text = (ROOT / name).read_text(encoding="utf-8")
+        if EM_DASH in text:
+            offenders[name] = text.count(EM_DASH)
+    assert not offenders, f"guiones largos encontrados: {offenders}"
+
+
+def implemented_checks() -> list[int]:
+    """Los chequeos G que gate.py implementa de verdad, no los que dice implementar."""
+    src = (ROOT / "src" / "disensor" / "gate.py").read_text(encoding="utf-8")
+    # \d+ y no \d: con un solo digito, un G10 quedaba invisible.
+    return sorted({int(n) for n in re.findall(r"\[G(\d+)\]", src)})
+
+
+def cli_help(*argv: str) -> str:
+    """La ayuda que ve un usuario, ejercitando la interfaz y no leyendo el fuente.
+
+    El test anterior leia cli.py como texto y por eso daba verde sobre una ayuda
+    que el usuario nunca ve: `help=` solo aparece en el listado de
+    `disensor --help`, mientras `disensor gate --help` muestra `description`.
+    Corregir el primero y afirmar que se arreglo el segundo era falso, y el test
+    lo confirmaba igual.
+    """
+    out = subprocess.run(
+        [sys.executable, "-m", "disensor", *argv, "--help"],
+        cwd=ROOT, capture_output=True, text=True,
+        env={**os.environ, "PYTHONPATH": str(ROOT / "src")},
+    )
+    return out.stdout
+
+
+def test_the_gate_help_names_every_implemented_check():
+    """G9 es el que exige residue/v0.3 a las declaraciones que un PR agrega.
+
+    Una ayuda que no lo nombra esconde el chequeo que hace cumplir la version
+    del contrato.
+    """
+    checks = implemented_checks()
+    assert checks, "no se detecto ningun chequeo G en gate.py"
+    assert checks == list(range(checks[0], checks[-1] + 1)), (
+        f"los chequeos implementados no son contiguos: {checks}. Un rango en la ayuda "
+        "no puede describirlos con honestidad"
+    )
+    for texto, donde in ((cli_help("gate"), "disensor gate --help"),
+                         (cli_help(), "disensor --help")):
+        rango = re.search(r"G(\d+)\s*(?:to|a)\s*G(\d+)", texto.replace("\n", " "))
+        assert rango, f"{donde} no declara un rango de chequeos"
+        assert [int(rango.group(1)), int(rango.group(2))] == [checks[0], checks[-1]], (
+            f"{donde} dice G{rango.group(1)} a G{rango.group(2)} y gate.py implementa "
+            f"G{checks[0]} a G{checks[-1]}"
+        )
+
+
+def test_the_schema_declares_the_version_the_tool_enforces():
+    """El $id, la descripcion y lo que el gate exige tienen que decir lo mismo.
+
+    El test anterior comparaba el $id contra la descripcion del mismo archivo, o
+    sea derivaba la expectativa del valor que debia proteger: bajar los dos a
+    v0.2 a la vez lo dejaba pasar. La referencia ahora es CURRENT_SCHEMA, que es
+    lo que el gate exige de verdad a las declaraciones nuevas.
+    """
+    import json
+
+    from disensor.gate import CURRENT_SCHEMA
+
+    esperada = CURRENT_SCHEMA.split("/")[-1]
+    for ruta in (ROOT / "spec" / "residue.schema.json",
+                 ROOT / "src" / "disensor" / "residue.schema.json"):
+        s = json.loads(ruta.read_text(encoding="utf-8"))
+        assert f"/residue/{esperada}/" in s["$id"], (
+            f"{ruta.name}: el $id es {s['$id']} y el gate exige {CURRENT_SCHEMA}"
+        )
+        provisional = re.search(r"Provisional version (v[0-9.]+)", s.get("description", ""))
+        assert provisional, f"{ruta.name}: la descripcion no dice cual es la version provisional"
+        assert provisional.group(1) == esperada, (
+            f"{ruta.name}: la descripcion dice {provisional.group(1)} y el gate exige {esperada}"
+        )
+        assert CURRENT_SCHEMA in s["properties"]["schema"]["enum"], (
+            f"{ruta.name}: el enum de schema no admite {CURRENT_SCHEMA}"
+        )

disensor-0.6.0/tests/test_docs.py

@@ -1,27 +0,0 @@
-"""The documented Action version has to be the version being shipped.
-
-Between 0.2.0 and 0.3.0 the README kept pointing at `@v0.2.0` while `init` wrote
-`@v0.3.0`, so anyone following the documentation ran a different gate than the
-one the tool installs. That is cheap to catch and expensive to notice by hand.
-"""
-from __future__ import annotations
-
-import re
-from pathlib import Path
-
-from disensor import __version__
-
-ROOT = Path(__file__).resolve().parents[1]
-DOCS = [ROOT / "README.md", ROOT / "docs" / "ejemplo-workflow.yml"]
-
-PIN = re.compile(r"NicolasRocchia/disensor@v([0-9]+\.[0-9]+\.[0-9]+)")
-
-
-def test_documented_action_version_matches_the_package():
-    for path in DOCS:
-        pins = PIN.findall(path.read_text(encoding="utf-8"))
-        assert pins, f"{path.name} documents no Action version"
-        for pinned in pins:
-            assert pinned == __version__, (
-                f"{path.name} documents @v{pinned} while the package is {__version__}"
-            )