bitexoft-verify 0.2.0__tar.gz → 0.3.0__tar.gz

{bitexoft_verify-0.2.0 → bitexoft_verify-0.3.0}/.gitignore

@@ -11,12 +11,14 @@ __pycache__/
 
 # generated
 app/dist/
+app/shots/
 dist/
 build/
 app/src/content/catalog.json
 app/src/content/briefs.json
 app/src/content/glossary-detail.json
 app/src/content/check-feedback.json
+app/public/media/
 verify-report.json
 coverage/
 htmlcov/

{bitexoft_verify-0.2.0 → bitexoft_verify-0.3.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: bitexoft-verify
-Version: 0.2.0
+Version: 0.3.0
 Summary: Verifica las entregas de los proyectos de Bitexoft: la misma herramienta en tu máquina y en CI.
 Author: Bitexoft
 License: Proprietary
@@ -128,12 +128,18 @@ First release, by hand on pypi.org:
    repository `sports-lab-v1`, workflow `release-verify.yml`, environment `pypi`.
 2. In the repository settings, create the environment `pypi`.
 
-Each release:
+Each release (`<version>` is `__version__`; 0.3.0 is the first that knows A2, and the workflow pin `0.3.*` waits for it):
 
 ```bash
-git tag verify-v0.2.0 && git push origin verify-v0.2.0
+git tag verify-v<version> && git push origin verify-v<version>
 ```
 
 The workflow runs `pytest` on 3.10 and 3.12, refuses a tag that differs from `__version__`, builds
 with `python -m build` and publishes with trusted publishing (no tokens). Check it in a clean
 environment: `pipx run --spec bitexoft-verify bitexoft-verify deliveries`.
+
+After the release, in this order (the workflow pins `==0.3.*`, so publishing it before the version exists on PyPI breaks every learner's CI):
+
+1. Check PyPI from a clean environment: `pipx run --spec "bitexoft-verify==<version>" bitexoft-verify deliveries` lists the deliveries the version can verify.
+2. Publish the reusable workflow and move its `v1` tag: `scripts/publish-verify-workflow.sh` (it asks before moving the tag).
+3. Run the whole path once as a learner: a repository made from the template, `delivery: A2` in its workflow, CI green on a correct solution.

{bitexoft_verify-0.2.0 → bitexoft_verify-0.3.0}/README.md

@@ -105,12 +105,18 @@ First release, by hand on pypi.org:
    repository `sports-lab-v1`, workflow `release-verify.yml`, environment `pypi`.
 2. In the repository settings, create the environment `pypi`.
 
-Each release:
+Each release (`<version>` is `__version__`; 0.3.0 is the first that knows A2, and the workflow pin `0.3.*` waits for it):
 
 ```bash
-git tag verify-v0.2.0 && git push origin verify-v0.2.0
+git tag verify-v<version> && git push origin verify-v<version>
 ```
 
 The workflow runs `pytest` on 3.10 and 3.12, refuses a tag that differs from `__version__`, builds
 with `python -m build` and publishes with trusted publishing (no tokens). Check it in a clean
 environment: `pipx run --spec bitexoft-verify bitexoft-verify deliveries`.
+
+After the release, in this order (the workflow pins `==0.3.*`, so publishing it before the version exists on PyPI breaks every learner's CI):
+
+1. Check PyPI from a clean environment: `pipx run --spec "bitexoft-verify==<version>" bitexoft-verify deliveries` lists the deliveries the version can verify.
+2. Publish the reusable workflow and move its `v1` tag: `scripts/publish-verify-workflow.sh` (it asks before moving the tag).
+3. Run the whole path once as a learner: a repository made from the template, `delivery: A2` in its workflow, CI green on a correct solution.

{bitexoft_verify-0.2.0 → bitexoft_verify-0.3.0}/src/bitexoft_verify/__init__.py

@@ -1,3 +1,3 @@
 """bitexoft-verify: the platform's only definition of "correct"."""
 
-__version__ = "0.2.0"
+__version__ = "0.3.0"

{bitexoft_verify-0.2.0 → bitexoft_verify-0.3.0}/src/bitexoft_verify/checks/a1.py

@@ -24,6 +24,7 @@ from .common import (
     check_symbol,
     check_tests_cover_invariants,
     check_tests_pass,
+    guarded,
     import_symbol,
 )
 
@@ -51,6 +52,7 @@ def _domain_error(ctx: Context):
     return _domain(ctx, "<layers.domain>.errors:DomainError")
 
 
+@guarded("position_invariants", "Position refuses coordinates off the pitch")
 def check_position_rejects_impossible(ctx: Context) -> Check:
     title = "Position refuses coordinates off the pitch"
     try:
@@ -94,6 +96,7 @@ def check_position_rejects_impossible(ctx: Context) -> Check:
     return Check("position_invariants", title, "pass")
 
 
+@guarded("frame_invariants", "Frame refuses impossible instants")
 def check_frame_rejects_impossible(ctx: Context) -> Check:
     title = "Frame refuses impossible instants"
     try:
@@ -125,6 +128,7 @@ def check_frame_rejects_impossible(ctx: Context) -> Check:
     return Check("frame_invariants", title, "pass")
 
 
+@guarded("value_semantics", "Compared by value, hashable and immutable")
 def check_value_semantics(ctx: Context) -> Check:
     title = "Compared by value, hashable and immutable"
     try:
@@ -195,6 +199,7 @@ def _line_frame(ctx: Context, step: float):
     return Frame(t=0.0, players=players, ball=Position(x=cx, y=cy))
 
 
+@guarded("geometry", "The centroid and the spread are right")
 def check_geometry(ctx: Context) -> Check:
     title = "The centroid and the spread are right"
     try:
@@ -207,6 +212,8 @@ def check_geometry(ctx: Context) -> Check:
     centre = getattr(square, "centroid", None)
     if centre is None:
         problems.append("Frame has no centroid")
+    elif callable(centre):
+        problems.append("Frame.centroid is a method; the contract asks for a property (add @property)")
     elif abs(centre.x - PITCH_LENGTH_M / 2) > 1e-6 or abs(centre.y - PITCH_WIDTH_M / 2) > 1e-6:
         problems.append(f"the centroid of a centred square is not the centre ({centre.x}, {centre.y})")
 
@@ -229,6 +236,7 @@ def check_geometry(ctx: Context) -> Check:
     return Check("geometry", title, "pass")
 
 
+@guarded("classification", "Classification is monotonic and reaches all three states")
 def check_classification(ctx: Context) -> Check:
     title = "Classification is monotonic and reaches all three states"
     try:
@@ -265,6 +273,7 @@ def check_classification(ctx: Context) -> Check:
     return Check("classification", title, "pass")
 
 
+@guarded("thresholds", "BlockCompactness refuses thresholds that make no sense")
 def check_thresholds_are_validated(ctx: Context) -> Check:
     title = "BlockCompactness refuses thresholds that make no sense"
     try:
@@ -283,6 +292,7 @@ def check_thresholds_are_validated(ctx: Context) -> Check:
     )
 
 
+@guarded("cli_analyze", "The program analyses the sample file")
 def check_cli_analyses_fixture(ctx: Context) -> Check:
     title = "The program analyses the sample file"
     try:
@@ -303,6 +313,7 @@ def check_cli_analyses_fixture(ctx: Context) -> Check:
     return Check("cli_analyze", title, "pass")
 
 
+@guarded("cli_bad_input", "With impossible data it fails cleanly, without a traceback")
 def check_cli_fails_cleanly(ctx: Context) -> Check:
     title = "With impossible data it fails cleanly, without a traceback"
     try: