diff --git a/.github/workflows/pr-00-gate.yml b/.github/workflows/pr-00-gate.yml index 139eaed8..785041f7 100644 --- a/.github/workflows/pr-00-gate.yml +++ b/.github/workflows/pr-00-gate.yml @@ -67,7 +67,25 @@ jobs: with: python-versions: '["3.12"]' # Single version, no multi-platform typecheck: true - coverage-min: "60" # Target: 85% - tracking issue to be created + # RAISED 60 -> 86 on 2026-08-26, and the stale comment removed with it. That comment + # read "Target: 85% - tracking issue to be created" while measured coverage is 86.25%: + # the target was already MET, and had been for as long as reporting was off. A number + # nobody publishes cannot tell you that you already succeeded. + # + # 60 against 86.25% is a floor 26 points below reality -- it reports a pass on any + # input and could not fail if coverage fell by a quarter. Now matches + # config/coverage-baseline.json, set at the same measured current in #2245, so the soft + # gate and Maint Coverage Guard agree about this repo. 86 rather than 86.25 leaves the + # jitter tolerance where it belongs, in the guard's warn_drop of 1.0. + coverage-min: "86" + # Only the REPORTING leg was off: `enable-soft-gate` defaults to false upstream, so + # the Gate computed a coverage number every run and discarded it -- no trend + # artifact, no hotspot table, nothing for Maint Coverage Guard to read. Report-only: + # coverage_trend.py runs with --soft and always exits 0, so this cannot fail a PR. + # Measured 86.25% on 2026-08-25, which already MEETS the 85% target the line above + # calls untracked. The floor of 60 stays for now -- raising it is a gate change and + # belongs with the baseline work, not with turning reporting on. + enable-soft-gate: true format_check: false # Using ruff for formatting working-directory: "." artifact-prefix: "gate-" diff --git a/.gitignore b/.gitignore index 4a43586f..d19bce44 100644 --- a/.gitignore +++ b/.gitignore @@ -199,3 +199,6 @@ node_modules/ !/.github/scripts/node_modules/** # END WORKFLOWS STATUS FILES + +# Local derived GitNexus cache +.gitnexus