Skip to content

Add code scanning over this repository's own language #81

Description

@iderex

The target gate runs three code-scanning analyses and reports them as
Analyze (actions), Analyze (csharp) and Analyze (javascript-typescript).
This repository has one language and its workflows, so the shape differs while
the property does not.

The deviation and its reason: fewer analyses, because there are fewer languages
here, and the workflow analysis is kept because this repository has workflows
that publish artifacts.

What this produces

Code scanning over the repository's own language and over its workflow
definitions, uploading to the code-scanning surface and failing the gate on an
actionable finding rather than only reporting one.

A stated position on findings that are not fixed, which is the machine-readable
statement in #89 rather than an ignored alert.

Done when

The analysis runs on every pull request and on push to main, the leg refuses a
report carrying a finding rather than only reporting one, and the check-run names
are recorded in the table in #80.

REWRITTEN 2026-08-31, AND THE CONDITION IT REPLACES WAS WIDER. It read that a
deliberately introduced finding of the kind the analysis is meant to catch
reddens it. Two such defects were written against the loaded queries and
reverted, once in #195 before this crate declared a dependency and once on the
branch of #223 after it did, and both runs reported nothing. The query pack is
fetched at run time rather than tracked here, so that condition waited on
something outside this repository that nobody had undertaken to move and that no
reading of this tree could settle either way. What this leg can prove from here,
and does, is that it refuses a report carrying a finding.

WHAT THAT DOES NOT PROVE IS THAT THE LOADED PACK FINDS A DEFECT OF THIS KIND IN
THIS LANGUAGE. The two attempts above are what establish that this is unproven
rather than assumed, and the narrower condition is not a claim that the wider one
holds.

The two blockers this issue carried are closed and the labels came off on
2026-08-25.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions