docs(v4): complete Wooldridge aggregation-surface coverage in the ledger

Review feedback: [M-044] covered only the to_dataframe(aggregation->level)
rename while the spec claimed the 'event' spelling dies library-wide -
but WooldridgeDiDResults ALSO exposes an existing post-fit aggregate(type=)
(emfx-style prior art for the spec section 6 pattern) and
summary(aggregation=). New rows: [M-086] unifies the 'event' value spelling
on aggregate(type=) ('gt' stays as a documented estimator extra), [M-087]
retires summary(aggregation=) for the uniform summary(alpha=None) contract.
71-row ledger; snapshot/floor and spec sections 3.4/6/11 updated in the
same diff.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017eVKbBqzenDKa5idwtexQa

Author: igerber

docs/v4-deprecations.yaml

@@ -512,7 +512,7 @@ rows:
     phase: 2
     warning: FutureWarning
     code_refs: [diff_diff/wooldridge_results.py]
-    notes: "Every other to_dataframe selector is level=; value vocabulary unifies too ('event' -> 'event_study')."
+    notes: "Every other to_dataframe selector is level=. Covers ONLY the to_dataframe param rename; the 'event' value vocabulary across Wooldridge's aggregation surfaces is [M-086], and the summary(aggregation=) surface is [M-087]."
   - id: M-045
     kind: param
     group: renames-robust-drop
@@ -842,6 +842,33 @@ rows:
     code_refs: [diff_diff/chaisemartin_dhaultfoeuille.py, diff_diff/__init__.py]
     notes: "Use ChaisemartinDHaultfoeuille."
 
+  - id: M-086
+    kind: param-value
+    group: renames-level
+    old: "diff_diff:WooldridgeDiDResults.aggregate[type]=event"
+    new: "diff_diff:WooldridgeDiDResults.aggregate[type]=event_study"
+    introduced_in: "3.9"
+    deprecated_in: "3.9"
+    removed_in: "4.0"
+    status: planned
+    phase: 2
+    warning: FutureWarning
+    code_refs: [diff_diff/wooldridge_results.py]
+    notes: "Wooldridge's EXISTING post-fit aggregate() (emfx-style prior art for spec section 6) accepts the drifted 'event' spelling; unifies to 'event_study' across aggregate/summary/to_dataframe value vocabularies. 'gt' stays as a documented estimator extra (group-time table), like ContinuousDiD's 'dose'."
+  - id: M-087
+    kind: param
+    group: renames-level
+    old: "diff_diff:WooldridgeDiDResults.summary[aggregation]"
+    new: null
+    introduced_in: "3.9"
+    deprecated_in: "3.9"
+    removed_in: "4.0"
+    status: planned
+    phase: 2
+    warning: FutureWarning
+    code_refs: [diff_diff/wooldridge_results.py]
+    notes: "summary() unifies to the library-wide summary(alpha=None) signature (spec section 5); aggregation selection lives on aggregate(). The alpha param arrives additively in the same PR."
+
   # ---- Behavior policies (schema-tracked, spec-governed; no reality probe) -
   - id: M-080
     kind: behavior

docs/v4-design.md

@@ -141,7 +141,9 @@ signatures. Lifecycle facts live in the cited rows.
   [M-040]..[M-042].
 - `StackedDiD(control_group=...)` - `clean_control` renamed [M-043].
 - `WooldridgeDiDResults.to_dataframe(level=...)` - `aggregation` -> `level`
-  [M-044].
+  [M-044]; the `"event"` value spelling unifies across its existing
+  `aggregate(type=)` surface [M-086] and `summary(aggregation=)` is retired
+  for the uniform `summary(alpha=None)` [M-087].
 - `robust` constructor param dropped everywhere it exists
   [M-045]..[M-047] - fully redundant with `vcov_type`, and its default even
   differed across estimators (True/True/False).
@@ -310,9 +312,12 @@ strongest norm (`did::aggte`, `etwfe::emfx`, Stata `estat aggregation`).
 **Vocabulary.** Closed set: `"simple"`, `"event_study"`, `"group"`,
 `"calendar"`, plus per-estimator documented extras where the estimand demands
 them (ContinuousDiD adds `"dose"` [M-025]; HAD's `"overall"` maps to
-`"simple"` [M-027]). The drifted spellings die with their fit-params:
-`"eventstudy"` (ContinuousDiD), `"event"` (Wooldridge, via [M-044]'s value
-vocabulary).
+`"simple"` [M-027]; Wooldridge's `"gt"` group-time table stays as a
+documented extra). The drifted spellings die across ALL their surfaces:
+`"eventstudy"` (ContinuousDiD [M-025]); Wooldridge's `"event"` on its
+EXISTING post-fit `aggregate(type=)` - the emfx-style prior art for this
+section's pattern - plus `summary(aggregation=)` and
+`to_dataframe(aggregation=)` [M-044] [M-086] [M-087].
 
 **Semantics.** `aggregate()` re-aggregates WITHOUT refitting, from influence
 functions / bootstrap draws retained on the results object (CallawaySantAnna
@@ -514,7 +519,7 @@ forever - a removed symbol resurrecting is a test failure.
   the same object as its target, so the deprecation warning rides the parent
   class row (schema-enforced). Top-level `diff_diff:Name` class/function rows
   and alias rows also assert `__all__` membership consistent with their
-  status (stale `import *` entries fail). The initial 69 row ids are a
+  status (stale `import *` entries fail). The initial 71 row ids are a
   committed snapshot in the enforcement test: ids are never deleted or
   reused, and the test fails if any snapshot id disappears.
 

tests/test_v4_matrix.py

@@ -105,14 +105,14 @@
 _FIELD_RE = re.compile(r"^    ([a-z_]+):\s*(.*?)\s*$")
 _MD_TOKEN_RE = re.compile(r"\[(M-\d{3})\]")
 
-# Row-count floor: exactly the 69 rows shipped at Phase 1. Ids are never reused and terminal
+# Row-count floor: exactly the 71 rows shipped at Phase 1. Ids are never reused and terminal
 # rows are never deleted, so the ledger only grows - raise the floor when rows are added; a
 # lower parse count means scanner/format drift or an illegal row deletion.
-ROW_COUNT_FLOOR = 69
+ROW_COUNT_FLOOR = 71
 
 # Committed snapshot of the Phase 1 id set ("ids are never deleted or reused" contract - a
 # delete-one-add-one edit keeps the count above the floor but trips this). Extend, never edit.
-_INITIAL_ID_RANGES = [(1, 8), (10, 16), (20, 27), (30, 47), (50, 58), (60, 64), (70, 77), (80, 85)]
+_INITIAL_ID_RANGES = [(1, 8), (10, 16), (20, 27), (30, 47), (50, 58), (60, 64), (70, 77), (80, 87)]
 EXPECTED_INITIAL_IDS = frozenset(
     f"M-{n:03d}" for lo, hi in _INITIAL_ID_RANGES for n in range(lo, hi + 1)
 )
@@ -501,7 +501,7 @@ def test_initial_ids_never_deleted():
     ROW_COUNT_FLOOR alone would let a delete-one-add-one edit pass; this snapshot cannot."""
     missing = sorted(EXPECTED_INITIAL_IDS - set(_ROW_IDS))
     assert not missing, f"ledger rows deleted (ids are permanent): {missing}"
-    assert len(EXPECTED_INITIAL_IDS) == 69
+    assert len(EXPECTED_INITIAL_IDS) == 71
 
 
 def test_version_tuple_pads_to_three_components():