[chris-dare-dev]

Summary

• Add a Copier template with an optional upstream anchor, exact direct Mathlib fallback, complete pinned answers, honest generated metadata, and zero Bridgeland-specific template text.
• Add the external declaration template path and fix the generated emitter to import and qualify Lean's name constructor.
• Record the template's validated generalization with evidence. New generated topic repositories still start with their own trust record set to false.
• References: derived-alg-geo-lean#182 and #183. They will be closed in the issue repository after this implementation is merged.

Second-topic evidence

• The anchor-free analytic-nt adopter updates from template commit 6f20f1800e84489867c0408a4a2d962d20df2d68; its Copier answer and MathFormalContract pin record that exact commit.
• arXiv 1202.3670v4 was fetched and ingested through ar5iv. The notebook corpus manifest hash is 91e111bba6ee0002dbaf8dc3992403879607fbb122f6a59c26ca7d21b0cbc148. The raw arXiv /e-print/ endpoint returned 406; the ingested ar5iv paper is the source used here.
• The five-entry registry has four digest-only paper locators and one Iwaniec–Kowalski publisher contents locator (chapter 2, page 31). That textbook row is bibliographic metadata only; it does not claim the textbook theorem text was inspected.
• Environment digest 91b38d5f6004a80b60d07b7ee36ac4095993e533a3f681430c3e6b4d3158c30d binds the direct Mathlib pin 520045ab14e26149ee970e2e617ca04b09bde5d6 and MathFormalContract 6f20f1800e84489867c0408a4a2d962d20df2d68. Nat.infinite_setOf_prime is emitted with scope: external, relation_claimed: exact, and an empty frontier. The local adopter evidence commit is 7e80b4914ccc463e3054ddd7ba87f76ebab48f2a.

Checks

• rg -ni Bridgeland copier.yml template: zero matches
• uv run --project contract --with pytest --with pyyaml pytest -q contract/tests: 632 passed, 3 skipped
• LEAN_NUM_THREADS=2 ~/.elan/bin/lake build AnalyticNt: passed
• copier update --defaults --vcs-ref 6f20f1800e84489867c0408a4a2d962d20df2d68: passed
• Registry validation: 13 passed
• Bundle: 3 declarations (2 topic-scoped, 1 cited external)
• Lint: 11 passed, 0 failed; E-11 not_run because this topic declares no forbidden vocabulary
• Coverage: 6 passed, 0 missing