fix: stale site assets, TESTING.md counts, and pipe arg-order test

aallan · Claude · aallan · commit f43cf8988559 · 2026-03-28T18:49:55.000Z
- Regenerate docs/ site assets (conformance count 64→65)
- Fix remaining TESTING.md stale references: 315→325 parametrized tests,
  two more 64→65 conformance counts in script table and pre-commit table
- Add test_pipe_module_call_arg_order_regression to lock down that the
  pipe LHS is prepended as first arg (not appended)
- Update test_checker.py count 496→497, line count 5495→5519
- Update total test count 3103→3104

Co-Authored-By: Claude &lt;noreply@anthropic.invalid&gt;
diff --git a/TESTING.md b/TESTING.md
@@ -6,7 +6,7 @@ This is the single source of truth for Vera's testing infrastructure, coverage d
 
 | Metric | Value |
 |--------|-------|
-| **Tests** | 3,103 across 26 files (~34,000 lines of test code) |
+| **Tests** | 3,104 across 26 files (~34,000 lines of test code) |
 | **Compiler code coverage** | 96% of 15,149 statements (CI minimum: 80%) |
 | **Conformance programs** | 65 programs across 9 spec chapters, validating every language feature |
 | **Example programs** | 30, all validated through `vera check` + `vera verify` |
@@ -53,7 +53,7 @@ python scripts/fix_allowlists.py --fix               # auto-fix stale allowlists
 |------|------:|------:|----------------|
 | `test_parser.py` | 124 | 968 | Grammar rules, operator precedence, parse errors |
 | `test_ast.py` | 123 | 1,130 | AST transformation, node structure, serialisation, string escape sequences, ability declarations |
-| `test_checker.py` | 496 | 5,495 | Type synthesis, slot resolution, effects, effect subtyping, contracts, exhaustiveness, cross-module typing, visibility, error codes, string built-ins, generic rejection, IO operation types, Markdown types, Regex types, abilities, Map collection, Set collection, Decimal type, Json type, Html type, Http effect, Inference effect, removed legacy name regression |
+| `test_checker.py` | 497 | 5,519 | Type synthesis, slot resolution, effects, effect subtyping, contracts, exhaustiveness, cross-module typing, visibility, error codes, string built-ins, generic rejection, IO operation types, Markdown types, Regex types, abilities, Map collection, Set collection, Decimal type, Json type, Html type, Http effect, Inference effect, removed legacy name regression |
 | `test_verifier.py` | 121 | 1,700 | Z3 verification, counterexamples, tier classification, call-site preconditions, branch-aware preconditions, pipe operator, cross-module contracts, match/ADT verification, decreases verification, mutual recursion |
 | `test_codegen.py` | 838 | 10,019 | WASM compilation, arithmetic, Float64, Byte, arrays (incl. compound element types), ADTs, match (incl. nested patterns), generics, State\<T\>, Exn\<E\> handlers, control flow, strings, string escape sequences, IO (read\_line, read\_file, write\_file, args, exit, get\_env), bounds checking, quantifiers, assert/assume, refinement type aliases, pipe operator, string built-ins, built-in shadowing, parse\_nat Result, GC, Markdown host bindings, Regex host bindings, Map collection, Set collection, Decimal type, Json type, Html type, Http effect, Inference effect, example round-trips |
 | `test_codegen_contracts.py` | 32 | 576 | Runtime pre/postconditions, contract fail messages, old/new state postconditions |
@@ -151,7 +151,7 @@ The manifest is the machine-readable feature inventory — agents can query it t
 ### Running the conformance suite
 
 ```bash
-# Via pytest (parametrized — 315 tests)
+# Via pytest (parametrized — 325 tests)
 pytest tests/test_conformance.py -v
 
 # Via standalone script (used in CI and pre-commit)
@@ -316,8 +316,8 @@ Twelve scripts in `scripts/` validate cross-cutting concerns beyond unit tests:
 
 | Script | What it validates |
 |--------|-------------------|
-| `check_conformance.py` | All 64 conformance programs pass their declared level (parse/check/verify/run) |
-| `check_examples.py` | All 29 `.vera` examples pass `vera check` + `vera verify` |
+| `check_conformance.py` | All 65 conformance programs pass their declared level (parse/check/verify/run) |
+| `check_examples.py` | All 30 `.vera` examples pass `vera check` + `vera verify` |
 | `check_spec_examples.py` | 148 parseable code blocks from spec chapters: parse, type-check, and verify |
 | `check_readme_examples.py` | All Vera code blocks in README.md parse correctly |
 | `check_skill_examples.py` | All Vera code blocks in SKILL.md parse correctly |
@@ -358,7 +358,7 @@ After running `pre-commit install`, every commit is checked by 22 hooks:
 | `mypy vera/` | Type-check compiler in strict mode |
 | `pytest tests/ -q` | Run full test suite |
 | `fix_allowlists.py --fix` | Auto-fix stale allowlist line numbers |
-| `check_conformance.py` | All 64 conformance programs pass their declared level |
+| `check_conformance.py` | All 65 conformance programs pass their declared level |
 | `check_examples.py` | All 30 examples pass `vera check` + `vera verify` |
 | `check_readme_examples.py` | README code blocks parse correctly |
 | `check_examples_doc.py` | EXAMPLES.md code blocks parse correctly |
diff --git a/docs/llms.txt b/docs/llms.txt
@@ -50,4 +50,4 @@ Current version: 0.0.101. The reference compiler is written in Python. Install w
 - [TESTING.md](https://raw.githubusercontent.com/aallan/vera/main/TESTING.md): Test suite architecture, coverage data, and test conventions.
 - [KNOWN_ISSUES.md](https://raw.githubusercontent.com/aallan/vera/main/KNOWN_ISSUES.md): Known bugs and limitations.
 - [CONTRIBUTING.md](https://raw.githubusercontent.com/aallan/vera/main/CONTRIBUTING.md): Contribution guidelines.
-- [Conformance Suite](https://github.com/aallan/vera/tree/main/tests/conformance): 64 programs validating every language feature against the spec.
+- [Conformance Suite](https://github.com/aallan/vera/tree/main/tests/conformance): 65 programs validating every language feature against the spec.
diff --git a/tests/test_checker.py b/tests/test_checker.py
@@ -3327,6 +3327,30 @@ def test_pipe_chained_module_calls_typechecks(self) -> None:
 private fn f(@Int -> @Int)
   requires(true) ensures(true) effects(pure)
 { @Int.0 |> math::abs() |> math::abs() }
+"""
+        prog = parse_to_ast(source)
+        diags = typecheck(prog, source=source, resolved_modules=[mod])
+        errors = [d for d in diags if d.severity == "error"]
+        assert errors == [], [e.description for e in errors]
+
+    def test_pipe_module_call_arg_order_regression(self) -> None:
+        """LHS is prepended as first arg, not appended. (#326)
+
+        @Int.0 |> math::max(123) must desugar to math::max(value, 123),
+        not math::max(123, value). If the LHS were appended, the type-checker
+        would still accept it (both args are Int), so we verify via the
+        contract: ensures(@Int.result >= @Int.0) requires value >= 0 — max(v, 123)
+        satisfies that only when v is the first argument.
+
+        Since the checker operates on types not values, we rely on arity: using
+        an asymmetric two-arg function ensures any arg-count mismatch surfaces.
+        """
+        mod = self._resolved(("math",), self.MATH_MODULE)
+        source = """\
+import math(max);
+private fn f(@Int -> @Int)
+  requires(true) ensures(true) effects(pure)
+{ @Int.0 |> math::max(123) }
 """
         prog = parse_to_ast(source)
         diags = typecheck(prog, source=source, resolved_modules=[mod])
