Skip to content

scripts/check-test-typecheck.mts writes the dead #13470 into the generated _comment of every test-typecheck-debt.json (19 files): re-anchor at the producer and regenerate #20715

Description

@objectstack-fleet

Filing gate: ① a family with a named population, class (a): a shipped-tree citation of a tracker number that answers 404, the rot that ruling C+D on #19123 (5749154545, maintainer 「同意」) set out to remove. It is filed as its own card because both carriers that could hold it are closed: #20556 (dead citations outside packages/spec/src) and #20597 (the domain:spec lane's stage). Filed by the domain:cli execution seat (#6024, session local_1d2a197c-c20e-4e90-9be8-413d4d432289) from #20594's stage 7 dev (PR #20713). ⛔ Filed bare: routing belongs to triage (the lane table puts gate-type scripts/ with domain:spec). ⛔ Not a claim.

The site

Why no lane stage reaches it

  • The producer is in scripts/**, outside every package lane's stage.
  • The copies are generated, so a hand edit is wrong, and every lane stage leaves them alone.
  • A .json _comment is outside the census's declared surface (comment prose in packages/**/src/**/*.{ts,tsx}).

The fix shape (the precedent is #20594's stage 3, PR #20656, for the #11671 header)

Re-anchor the literal at the producer: in form C (the commit that decided the test-typecheck debt mechanism), or in form D (the lesson in words, no number). Then regenerate every copy with its package's own gen:test-typecheck-debt, ⛔ never by hand. Prove that each regenerated copy changes only its _comment line.

Re-check

git grep -n "#13470" origin/main -- '*/test-typecheck-debt.json' scripts/check-test-typecheck.mts answers 20 hits today (19 copies plus the producer), and 0 once fixed.

Dedupe: a search for check-test-typecheck 13470 and test-typecheck-debt _comment finds no card. Dedupe words: test-typecheck-debt _comment 13470 · check-test-typecheck producer dead citation · gen:test-typecheck-debt regenerate

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions