[candidate-miner] Unused Antora attribute kotlin-issues in framework-docs/antora.yml

[github-actions]

What is wrong

The Antora attribute kotlin-issues is defined in the framework documentation configuration, but the miner found that its name is never referenced anywhere in the documentation tree. It holds a URL literal that no .adoc file resolves, so it is a dead configuration entry: it adds noise to the attribute list and can silently drift out of date because nothing depends on it.

Where

• File: framework-docs/antora.yml
• Advisory line: 75 (the line number is a hint; confirm by searching for the attribute name)
• Occurrence: `kotlin-issues: '(youtrack.jetbrains.com/redacted)

Evidence

config_kind:             antora_attribute
pattern:                 kotlin-issues
value:                   '(youtrack.jetbrains.com/redacted)
raw_line:                kotlin-issues: '(youtrack.jetbrains.com/redacted)
matches_nothing_in_tree: true
names_a_literal:         true
extractor (miner):       config_dead_entry (v1.0.0)
score:                   75
  config_kind_prior:     40
  names_a_literal:       25
  single_line_fix:       10
  staleness_years:       0

Suggested fix

If the attribute is genuinely unused, the fix is to delete the single line defining kotlin-issues from framework-docs/antora.yml. Before removing it, search the documentation sources for any reference to {kotlin-issues} to make sure no page relies on it; the docs team may prefer to keep or repurpose the attribute in their own wording.

How to verify the fix

From tools/candidate-miner/, run the miner and confirm this fingerprint is no longer emitted:

./miner.py run --miner config_dead_entry --dry-run

Provenance

Mined at commit c8113fb299872b608ebe0bcccf6904470db09964 (branch main).

candidate-miner:fingerprint sha256:a9aab66225f4fd19e76b445a51efbe13b64b2f097946feda56224d13b671fee1

Generated by Candidate scan: file mined candidates as issues · opus48 · 59.8 AIC · ⌖ 31.2 AIC · ⊞ 4.7K · ◷