Summary

• Deprecate the 8 module-level estimator convenience wrappers (imputation_did, two_stage_did, stacked_did, trop, synthetic_control, triple_difference, bacon_decompose, chaisemartin_dhaultfoeuille) for 3.9 → removed in 4.0 (ledger rows [M-070]..[M-077] → shimmed, phase 5): every call emits a FutureWarning naming the class successor on one uniform template (diagnostic wording for Bacon — BaconDecompositionResults subclasses the Diagnostic marker), and each docstring gains a deprecation note rendered by the kept autofunction pages. Wrappers stay pure construct+fit relays — bit-exact equivalence vs the class path is pinned across the full inference quintet at zero tolerance (assert_allclose(rtol=0, atol=0, equal_nan=True); Bacon compares an enumerated diagnostic field list + the comparisons payload) in the new tests/test_v4_wrapper_shims.py.
• Alias diet ([M-132]..[M-134] via the new mechanism row [M-135] → done): CDiD/Gardner/Stacked leave module globals (gone from dir()/vars() and static autocomplete) but stay importable and in __all__ through 3.9, served by a new PEP 562 module __getattr__ that warns and returns ContinuousDiD/TwoStageDiD/StackedDiD. The package import protocol resolves each missing __all__ name twice, so a star-import records six warnings for the three aliases — the tests assert the message set, covering both access routes.
• New introduce-only alias SCM = SyntheticControl ([M-062] → done, silent).
• Sentinel forwarding unchanged: a plain wrapper call fires exactly ONE warning (the wrapper deprecation, never the fit-time aggregate one); four plain-call no-warn test pins flipped BY DESIGN. DiagnosticReport's internal Bacon runner migrated to the class (weights= → ctor, survey_design= → fit; the two mock-based threading tests re-pointed accordingly).
• Emitted-guidance register: practitioner recommendation rosters use full class names (e.g. "CallawaySantAnna, SunAbraham, or TwoStageDiD"), practitioner_next_steps()'s TwoStageDiD display label drops the dying "(Gardner)" parenthetical (kept-alias parentheticals stay), and the report Bacon caveats name classes.
• Ledger/docs: [M-021]/[M-022] notes + their REGISTRY twins amended (plain wrapper calls now warn); docs/v4-design.md records the 2(d) two-PR split (§9) and PR-B's locked [M-081]/[M-096] implementation decisions (§7); guides annotate the dying **Alias:** lines and drop them from the use-this roster; docs/api/estimators.rst carries the RST deprecation note; three api-page convenience blocks and four tutorials (02/08/09/10) migrated to the class quick-form.

Methodology references (required if estimator / math changes)

• Method name(s): N/A — no methodology changes. Estimator mathematics, weights, variance estimators, and defaults are untouched; the wrappers were pure construct+fit relays and their bit-exact equivalence to the class path is pinned per wrapper.
• Paper / source link(s): N/A
• Any intentional deviations from the source (and why): None

Validation

• Tests added/updated: tests/test_v4_wrapper_shims.py (new — warning pins on re.escaped full messages, zero-tolerance quintet equivalence gate, sentinel-forwarding pins), tests/test_aliases.py (rewritten — dual-route warn pins, set-wise star-import, dir()/vars() absence, SCM), ~140 wrapper call sites migrated to the class API via suite-local helpers (test_methodology_synthetic_control.py, test_bacon.py, test_methodology_bacon.py, test_trop.py, report/fixture suites), ~40 wrapper-specific keeps updated for the new warning, 6 forwarded-shim pins updated for dual warnings, per-site emitted-guidance pins in test_practitioner.py/test_business_report.py/test_diagnostic_report.py, matrix/naming-guard green (M-070..M-077 flips, M-062/M-135 done).
• Backtest / simulation / notebook evidence (if applicable): tutorials 02/08/09/10 re-executed via nbmake against the new code (numbers unchanged — the wrappers were pure relays); Sphinx -W build + the docs CI's four post-build HTML guards pass.

Security / privacy

• Confirm no secrets/PII in this PR: Yes