@andresmassello/uscha 1.51.1 → 1.53.0

package/uscha-kit/CHANGELOG-1.51.0.md

@@ -1,44 +0,0 @@
-# uscha-kit 1.51.0 — a third install target: pi (Earendil) (2026-07-24)
-
-After the 1.50.2 portability patch made the kit run everywhere, this adds **pi** — Earendil's
-`@earendil-works/pi-coding-agent` — as a first-class install target alongside `codex` and
-`claude`. The 9 skills implement the Agent Skills standard, so they load into pi unmodified.
-Smoke suite: 386/386.
-
-## The target
-`install --target pi` places the 9 `uscha-*` skill directories flat under **`~/.agents/skills/`**
-— the harness-neutral sibling of the `codex` target's `~/.agents/plugins/` — plus an install
-marker so the doctor can measure presence and version. Skills only: no plugin manifest, no
-`settings.json`, no hook. It uses the same transactional install as the Claude target (stage →
-back up → atomic replace → marker last), so a late failure rolls the target back with nothing
-lost.
-
-- **`--target all`** installs codex + claude + pi in one run. **`both` stays a legacy alias**
-  for codex + claude, so existing scripts and users keep their exact prior behavior.
-- `doctor --target pi` reports `healthy`, `version_match`, and the skill roster, exactly like
-  the other targets.
-
-## `golden_guard`: INV-GOLDEN-01 per target, reported honestly
-The doctor now reports, per target, whether the golden-write guard is **mechanical** or
-**advisory** — the field `golden_guard`:
-
-- **claude: `enforced`** when the PreToolUse hook is registered (else `advisory`).
-- **codex: `advisory`** — the Codex plugin has no hooks mechanism, so INV-GOLDEN-01 has always
-  been advisory there (this just makes it visible).
-- **pi: `advisory`.** pi's blocking `tool_call` event can enforce the invariant, and the guard
-  ships as a precompiled extension — `uscha-kit/pi/golden-guard.js`, plain JS, no build step, to
-  respect the kit's stdlib-only limit. But the kit reports **advisory, not enforced**, because
-  the block has not been measured against a real pi run — the same honesty the plugin
-  `hooks.json` gap follows. A verified pi run flips it to enforced; until then the kit does not
-  claim enforcement it hasn't seen.
-
-## Not done (out of this release)
-Verified against a real pi install: the extension's actual load path and the `tool_call` block
-(the `advisory` above is exactly this gap). Also unverified: the Codex install roots on POSIX,
-and a real macOS end-to-end `npx` install (the CI matrix runs the suite on macOS runners, but
-not a user-style install flow). `AGENTS.md` (shipped 1.50.2) is the context file pi reads.
-
-Regression: smoke **T101** — pi installs 9 skills + marker under `~/.agents/skills`; doctor
-reads healthy for a real install and unhealthy for an empty home; `golden_guard` is `advisory`
-for pi and `enforced` for a hook-registered Claude install; `--target all` resolves to all
-three while `both` stays codex+claude.

package/uscha-kit/CHANGELOG-1.51.1.md

@@ -1,33 +0,0 @@
-# uscha-kit 1.51.1 — the doctor recognizes the golden hook across an interpreter change (2026-07-24)
-
-A patch on 1.51.0, surfaced by the CI matrix's new real-installer end-to-end step (install
-`--target all` → doctor on every OS). On **Windows / Python 3.8** the step failed: `doctor
---target claude` reported `hook_registered: False` for a hook that was, in fact, correctly
-installed. Not a CI artifact — a real doctor false-negative. Smoke suite: 388/388.
-
-## Root cause
-The installer writes the INV-GOLDEN PreToolUse hook command via
-`list2cmdline([sys.executable, <hook path>])` — an **absolute interpreter path** plus the hook
-script. The doctor's `hook_registered` then checked for that command by **exact string
-equality**. When install-time and doctor-time run under different interpreters — a bare
-`python` that resolves to a different `sys.executable` between two invocations, as happened on
-the Windows 3.8 runner — the two command strings differ only in their interpreter prefix, and
-the exact-match reported the healthy hook as unregistered. That flipped `healthy` and the
-`golden_guard` trust signal to a false negative on an otherwise correct install.
-
-## Fix
-`hook_registered` now matches a registered `"*"` hook by the **guard script it references**,
-not by the full command string — the same robustness the N-1 reinstall prune already uses. The
-match is **path-anchored** (`/block-approved-writes.py` or `\block-approved-writes.py`) so a
-foreign command that merely *mentions* the name — `...not-block-approved-writes.py`, or the
-literal inside a `-c` snippet — cannot read as our enforced guard, since this check feeds
-`golden_guard`. Exact command stays a fallback; a `None` command entry is skipped, not a crash.
-
-The interpreter-path sensitivity was latent before 1.51.0 (any Python move after install would
-trip it); the real-installer CI step is what finally measured it. This is the step doing its
-job — the same way the first matrix run caught the T75 router substring bug.
-
-Regression: smoke **T103** — `hook_registered` matches across an interpreter change (install
-wrote interpreter A, doctor computes B, same script → recognized), and does **not** match a
-suffix-collision script, a bare `-c` mention, a foreign hook, a `None` command, or empty
-settings. The CI real-installer step (all three OSes × Python 3.8/3.13) is the end-to-end proof.

package/uscha-kit/CHANGELOG-1.6.0.md

@@ -1,57 +0,0 @@
-# dev-loop-kit 1.6.0 — adapter `type: go` (2026-07-02)
-
-Tercer adapter consecutivo donde el costo baja porque el engine habla FORMATOS, no
-lenguajes: el linter reusa `parse_checkstyle` (golangci-lint emite checkstyle) y los
-tests reusan `junit_test_count` (gotestsum emite JUnit). Lo único nuevo: el parser del
-cover profile nativo de Go. Smoke suite: 37/37 (31 previos intactos + 6 go).
-
-## Engine (qa_ledger.py)
-
-- **`type: go`**.
-- **`go_coverage()`** — cover profile nativo (`go test -coverprofile=coverage.out`):
-  formato `import/path/file.go:S.C,E.C numStatements hitCount`; cobertura por
-  **SENTENCIAS** (la convención Go, no líneas). First match: `coverage.out`,
-  `cover.out`, `reports/coverage.out`. Profile vacío (solo línea `mode:`) → 0.0
-  fail-closed, nunca un verde inventado.
-- Test count: **reusa `junit_test_count`** vía `gotestsum --junitfile` (root envuelto
-  ya soportado).
-- Linter: **reusa `parse_checkstyle` parametrizado** (`tool="golangci"`) — golangci-lint
-  `--out-format checkstyle`; error→HIGH, warning→MEDIUM; gosec entra por el mismo
-  reporte si está habilitado en la config del linter. Los IDs de finding llevan
-  `golangci:` (los de Java siguen `checkstyle:` — sin migración de IDs).
-- `ingest-gate`: branch go (`reports/golangci.xml` / `golangci.xml`, o `--golangci`);
-  combinado = `go-qa-gate`. Mismo contrato de ausencia.
-- Guard UNMEASURED: `maven`/`python`/`node`/`go`.
-- LOC go: test = sufijo `_test.go` (la convención — los tests viven junto al código);
-  prod = el resto. `SKIP_DIRS` += `vendor` (dependencias vendorizadas explotarían el
-  LOC) y `testdata` (fixtures no compilables).
-
-## Config / docs
-
-- `test_command_go` (gotestsum + coverprofile) + repo de ejemplo `api-svc`;
-  version 1.6.0 (triple sync).
-- Kit README: tabla Go; SKILL.md types + `go test`; docs ES/EN tipos y versión.
-
-## Smoke (tests/smoke-engine.sh)
-
-- `repo-e` (`type: go`): cover profile 3/5 sentencias → 60.0%, gotestsum junit → 4
-  tests, LOC prod=4/test=2 (`_test.go` junto al código), golangci checkstyle
-  (error gateado HIGH + warning MEDIUM), UNMEASURED pre-ingest → medido post-ingest.
-
-## Nota estructural (regla de tres cumplida)
-
-Con 5 types, los dispatchers siguen siendo ifs de 3 ramas y cada adapter nuevo reusó
-parsers existentes — la presión para refactorizar `type` → perfiles de reporte
-(cobertura+junit+linters como config, no código) existe pero todavía no duele. Si
-entra un 6º type o un type necesita MEZCLAR formatos, ese es el momento.
-
-## Criterio pendiente (mismo contrato que python/node)
-
-Dry-run de solo lectura contra un repo Go real — el adapter entra sin repo de
-dogfooding detrás, mismo criterio abierto que 1.4.0/1.5.0.
-
-## Diferido consciente (sin cambios)
-
-- rebuild: densidad de asserts por test-file. Perfiles A-E mecanizados (`--profile`).
-- Rust: cargo-llvm-cov emite Cobertura (reusa `python_coverage`) + cargo-nextest emite
-  JUnit — entra cuando haya repo real.

package/uscha-kit/CHANGELOG-1.7.0.md

@@ -1,74 +0,0 @@
-# dev-loop-kit 1.7.0 — adapters `type: rust` y `type: dotnet` (2026-07-02)
-
-> Publicado junto con 1.8.0 y 1.9.0 en un único commit (no existe commit
-> standalone de 1.7.0); la suite final de ese commit es 63/63. Los fixes que
-> el review fresco de este adapter encontró (blocker de clippy incluido)
-> están aplicados y documentados en CHANGELOG-1.9.0.
-
-Dos adapters en un release porque ambos REUSAN la infraestructura existente:
-coverage vía Cobertura (`cobertura_coverage`, renombrado desde `python_coverage`) y
-tests vía `junit_test_count`. Nuevo de verdad: `parse_clippy` (JSONL de cargo) y
-`parse_sarif` (SARIF v2 — el formato universal de análisis estático). Incluye los
-fixes del review fresco de 1.6.0.
-
-## Rust (`type: rust`)
-
-- Coverage: `cargo llvm-cov --cobertura --output-path reports/coverage.xml` —
-  **reusa `cobertura_coverage`** sin cambios.
-- Tests: cargo-nextest con reporter junit — **reusa `junit_test_count`**.
-- **`parse_clippy()`** — `cargo clippy --message-format=json` (JSON Lines):
-  `error`→HIGH, `warning`→MEDIUM; **`code: null`** (error de compilación de rustc,
-  no un lint) → HIGH siempre — la lección del ruff/tsc, tercera aplicación.
-  Los IDs preservan el path del span primario (`_mk_id_rel`).
-- LOC: `tests/` = integración; los tests inline `#[cfg(test)]` cuentan como prod
-  (limitación documentada de la clasificación por path). `target/` ya estaba en
-  SKIP_DIRS (cargo y maven comparten el nombre).
-
-## C#/.NET (`type: dotnet`)
-
-- Coverage: coverlet.msbuild → Cobertura — **reusa `cobertura_coverage`**.
-- Tests: `dotnet test --logger "junit;LogFilePath=reports/junit.xml"`
-  (JUnitXml.TestLogger) — **reusa `junit_test_count`**.
-- **`parse_sarif()`** — SARIF v2 (Roslyn vía `dotnet build /p:ErrorLog=...`):
-  `error`→HIGH, `warning`→MEDIUM, `note`→INFO. El parser sirve para CUALQUIER
-  herramienta que emita SARIF (semgrep, CodeQL, etc.) — inversión, no solo .NET.
-- LOC: proyectos `*.Tests/` y archivos `*Test(s).cs` = test. SKIP_DIRS += `obj`,
-  `TestResults`.
-
-## Fixes del review fresco de 1.6.0 (incluidos acá)
-
-- **BLOCKER**: la tabla Go del kit README había pisado el heading `## Instalación`
-  — restaurado.
-- **HIGH**: el comando documentado de golangci-lint usaba el flag v1
-  (`--out-format`), **eliminado en golangci-lint v2** (2025) — documentado el flag
-  v2 (`--output.checkstyle.path=...`) con fallback v1.
-- **MEDIUM**: gotestsum pone `errors` SOLO en el root `<testsuites>` (un paquete
-  que no compila tenía errors>0 invisibles) — `junit_test_count` ahora toma
-  `max(root, suma de hijos)` por contador.
-- **LOW**: `go_coverage` dedupea bloques repetidos (perfiles `-coverpkg` merged);
-  IDs de golangci preservan el path repo-relativo (basename colisionaba en repos
-  Go idiomáticos); nota de severidades de golangci en README.
-
-## Trade-off documentado (global, igual que `coverage/` en 1.5.0)
-
-`vendor/`, `testdata/`, `obj/`, `TestResults/` en SKIP_DIRS son globales: un paquete
-fuente legítimamente llamado así en OTRO type queda fuera del LOC (métrica advisory;
-la detección de reportes es por glob/paths y no se afecta).
-
-## Nota estructural (regla de tres, re-evaluada en el 7º type)
-
-Siete types y los dispatchers siguen siendo ifs por FORMATO (jacoco / cobertura /
-lcov / cover-profile · surefire / junit / aproximado). El refactor a perfiles
-declarativos sigue sin pagar: no eliminaría los parsers (el costo real) y agregaría
-indirección. Se re-evalúa si un type necesita MEZCLAR formatos por config.
-
-## Criterio pendiente (mismo contrato que python/node/go)
-
-Dry-run de solo lectura contra repos Rust/.NET reales — ambos adapters entran sin
-repo de dogfooding detrás.
-
-## Diferido consciente (sin cambios)
-
-- rebuild: densidad de asserts. Perfiles A-E mecanizados.
-- C++: viable (gcovr emite Cobertura/lcov — parsers existentes; gtest/catch2 emiten
-  JUnit; clang-tidy necesitaría un parser tipo mypy) — entra cuando haya repo real.

package/uscha-kit/CHANGELOG-1.8.0.md

@@ -1,46 +0,0 @@
-# dev-loop-kit 1.8.0 — adapter `type: cpp` (2026-07-02)
-
-> Publicado junto con 1.7.0 y 1.9.0 en un único commit (no existe commit
-> standalone de 1.8.0); la suite final de ese commit es 63/63. Los fixes que el
-> review fresco de este adapter encontró están aplicados y documentados en
-> CHANGELOG-1.9.0.
-
-Séptimo lenguaje, UN parser nuevo: clang-tidy. Coverage vía gcovr→Cobertura (reusa
-`cobertura_coverage`) y tests vía ctest `--output-junit`/GoogleTest (reusa
-`junit_test_count` — el fixture de smoke usa el root PLANO `<testsuite>` para
-ejercitar la rama que los demás types no tocan).
-
-## Engine (qa_ledger.py)
-
-- **`type: cpp`** — extensiones `.cpp .cc .cxx .c .h .hpp .hh .hxx`.
-- Coverage: `gcovr --cobertura reports/coverage.xml` — **reusa `cobertura_coverage`**.
-- Tests: `ctest --test-dir build --output-junit ../reports/junit.xml` (CMake ≥3.21;
-  root plano) o `--gtest_output=xml:` (root envuelto) — **reusa `junit_test_count`**,
-  ambas formas de root ya soportadas.
-- **`parse_clang_tidy()`** — texto (`file:line:col: warning: msg [check-a,check-b]`):
-  error→HIGH, warning→MEDIUM; checks de seguridad (`cert-*`, o que contengan
-  `security`) con floor HIGH — misma disciplina que findsecbugs/eslint-security.
-  Líneas sin `[check]` (diagnósticos crudos del compilador) → rule `diagnostic`.
-  IDs con path preservado (`_mk_id_rel`).
-- `ingest-gate`: branch cpp (`reports/clang-tidy.txt`, o `--clang-tidy`);
-  combinado = `cpp-qa-gate`. Mismo contrato de ausencia.
-- Guard UNMEASURED: los 7 types linteables.
-- LOC: `test`/`tests` en el path, prefijo `test_` o sufijos `_test.cpp/.cc/.cxx`,
-  `Test.cpp`. `SKIP_DIRS` += `cmake-build-debug`, `cmake-build-release`, `_deps`
-  (FetchContent) — mismo trade-off global documentado.
-
-## Nota honesta sobre C++
-
-El ecosistema no tiene UNA convención de build (CMake/Bazel/make) — el kit no la
-elige: pide que los REPORTES existan (Cobertura + JUnit + texto de clang-tidy) y el
-cómo se generan vive en el adapter por-repo (`CLAUDE.md` del proyecto). Es el
-contrato de siempre, explícito.
-
-## Criterio pendiente (mismo contrato que python/node/go/rust/dotnet)
-
-Dry-run de solo lectura contra un repo C++ real — entra sin repo de dogfooding.
-
-## Diferido consciente
-
-- rebuild: densidad de asserts. Perfiles A-E mecanizados. cppcheck (`--xml`) como
-  segundo linter cpp si un repo real lo pide.

package/uscha-kit/CHANGELOG-1.9.0.md

@@ -1,112 +0,0 @@
-# dev-loop-kit 1.9.0 — adapters `type: gradle` (Kotlin/JVM) y `type: swift` + fixes de los reviews 1.7.0/1.8.0 (2026-07-02)
-
-Los dos adapters más baratos hasta ahora: **CERO parsers nuevos**. Todo es reuso
-de formatos ya soportados en paths nuevos. Nota clave: **Kotlin sobre Maven ya
-funcionaba con `type: maven`** (`.kt` está en SOURCE_EXT maven desde 1.0) —
-`gradle` cubre el caso común Gradle. Smoke suite: 63/63.
-
-## Engine (qa_ledger.py)
-
-### `type: gradle` (Kotlin/JVM + Java-sobre-Gradle)
-
-- Extensiones `.kt .kts .java`. LOC: `src/main` = prod; `src/test` y source
-  sets custom (`src/*Test`: integrationTest, functionalTest) = test.
-- Coverage: **reusa el parser JaCoCo de maven** (`_jacoco_line_counter`) en los
-  paths Gradle (`build/reports/jacoco/test/jacocoTestReport.xml`).
-- Tests: **reusa la suma per-clase de surefire** — `maven_test_count` y
-  `gradle_test_count` ahora comparten `_perclass_xml_count()`; los
-  `build/test-results/**/TEST-*.xml` de Gradle son el mismo formato.
-- Linter: **detekt** emite formato checkstyle — `parse_checkstyle(tool="detekt")`
-  parametrizado, igual que golangci. `--detekt` explícito o por type;
-  combinado = `gradle-qa-gate`.
-
-### `type: swift`
-
-- Extensión `.swift`. LOC: convención SwiftPM (`Sources/` prod, `Tests/` +
-  `*Tests.swift`/`*Test.swift` test).
-- Coverage: **reusa el parser lcov** (Flutter/node) — `llvm-cov export
-  -format=lcov` sobre el `.profdata` de `swift test --enable-code-coverage`.
-- Tests: **reusa `junit_test_count`** — `swift test --xunit-output
-  reports/junit.xml` emite JUnit directo; el archivo hermano
-  `junit-swift-testing.xml` (Swift Testing) se SUMA (ver fixes 1.9.0).
-- Linter: **SwiftLint** también emite checkstyle —
-  `parse_checkstyle(tool="swiftlint")`. `--swiftlint` o por type;
-  combinado = `swift-qa-gate`.
-
-## Fixes del review fresco de 1.7.0 (rust/dotnet)
-
-- **BLOCKER — clippy contaba los summaries de rustc como HIGH fantasma**:
-  `1 warning emitted` / `aborting due to N previous errors` son diagnósticos
-  REALES (level warning/error, `code:null`, `spans:[]`) que el branch code-null
-  convertía en `compile-error` HIGH — el gate rust no podía converger nunca con
-  un solo warning MEDIUM vivo. Fix: diagnósticos SIN primary span se saltean
-  ANTES del check de code (los compile errors reales siempre traen span).
-  Además dedupe por finding ID (cargo re-emite por target lib/bin/test).
-- **SARIF**: Roslyn `ErrorLog` emite **v1** salvo `,version=2` — se documenta el
-  comando correcto Y el parser gana fallback v1 (`resultFile`/`analysisTarget`);
-  resultados suprimidos (`suppressions`/`suppressionStates`) se ignoran (un
-  `#pragma warning disable` no puede gatear un build limpio); URIs absolutas
-  `file:///` se relativizan contra el repo (IDs estables entre máquinas).
-- **Paths dotnet**: `LogFilePath`/`CoverletOutput` relativos resuelven contra el
-  PROYECTO DE TEST, no la raíz — comando de ejemplo ahora ancla con `$PWD` y el
-  README lo advierte (+ `MergeWith` para multi-proyecto).
-- **Junit de nextest**: no existe sin `[profile.default.junit]` en
-  `.config/nextest.toml` + copy desde `target/nextest/default/junit.xml` —
-  documentado y agregado al `test_command_rust`.
-- **Regla 5 saldada**: los fixes de 1.6.0 que entraron sin check propio ahora
-  tienen smoke — junit root-max (gotestsum errors solo en root), dedupe de
-  bloques del cover profile (-coverpkg), y el summary/dup de clippy (T20/T25).
-
-## Fixes del review fresco de 1.8.0 (cpp)
-
-- **`backtest.cpp` ya no cuenta como test LOC**: el sufijo bare `test.cpp`
-  (lowercased) tragaba `backtest/protest/contest.cpp`; ahora el patrón CamelCase
-  gtest (`FooTest.cpp`) se matchea case-sensitive, como hace dotnet con
-  `Test.cs`. Smoke T25 lo pinnea.
-- **`cmake-build-<perfil>` de CLion**: el skip ahora es por prefijo
-  (`cmake-build-*`), no solo debug/release — el README ya lo prometía y el
-  código no lo cumplía.
-- **clang-tidy con paths absolutos**: se relativizan contra el repo
-  (`_node_rel`), IDs estables entre checkouts; extensiones `.tpp/.ipp/.inl/
-  .mm/.cu` entran al regex (un cert-* en un template header ya no desaparece
-  en silencio).
-
-## Fixes del review fresco de 1.9.0 (gradle/swift)
-
-- **detekt y SwiftLint imprimen paths ABSOLUTOS por default** — el branch
-  isabs de `parse_checkstyle` colapsaba esos IDs a basename (colisiones entre
-  módulos Gradle y archivos homónimos Swift, corrompiendo fixed/new/oscillation
-  que se computan sobre sets de IDs). Fix: `parse_checkstyle` gana `base` y
-  relativiza SIEMPRE para tools no-java (`_node_rel`), igual que
-  eslint/tsc/clang-tidy; `golangci` también lo recibe. `_node_rel` dejó de
-  depender de `os.path.isabs` (su veredicto para paths `/posix` en Windows
-  cambió entre versiones de Python): intenta `relpath` y descarta si escapa
-  del repo. Smokes T27/T28 ahora usan paths absolutos (el default real) y
-  asserten IDs repo-relativos.
-- **Swift Testing era invisible**: `--xunit-output` escribe XCTest en
-  `junit.xml` y Swift Testing en un SEGUNDO `junit-swift-testing.xml` que el
-  counter no leía — un paquete Swift 6 (donde Swift Testing es el default)
-  medía `tests=0` con `report_found=True` y un failure real no disparaba el
-  veto "measured beats narrated": fail-open en la garantía central. Fix:
-  `junit_test_count` gana `extra_files` (reportes full-run de sets DISJUNTOS
-  que SÍ se suman) y el dispatch swift pasa ambos archivos. Smoke con failure
-  real en el archivo swift-testing.
-- **detekt fuera del test command**: su default `maxIssues: 0` corta el build
-  con UN finding — la corrida de tests leería roja aunque los tests pasen,
-  mezclando el gate de lint (que tiene su canal propio) con el de tests.
-  `test_command_gradle` queda `./gradlew test jacocoTestReport`.
-- **Source sets custom de Gradle**: `src/integrationTest/`, `src/functionalTest/`
-  (cualquier `src/*Test`) ahora cuentan como test LOC, no prod.
-- README swift: variante Linux de `llvm-cov` (sin `xcrun`) + path del binario
-  de tests documentados.
-
-## Contrato de siempre
-
-Reporte ausente = el gate no corrió (jamás acredita fixes). Guard UNMEASURED:
-los 9 types linteables. Criterio pendiente por adapter: dry-run de solo lectura
-contra un repo real de cada lenguaje.
-
-## Diferido consciente
-
-- rebuild: densidad de asserts. Perfiles A-E mecanizados. Android (Gradle +
-  variantes) queda explícitamente FUERA de `type: gradle` hasta un repo real.