Formalize and finalize TaxingWomen: revisions from Claude Opus 4.7 review - #69

Open

jzhan476 wants to merge 12 commits into

econ-ark:masterfrom

jzhan476:TaxingWomen-formalize-finalize

Commits on Apr 22, 2026

TaxingWomen_Summary.ipynb: add §II.0 Primitives subsection
jzhan476
committed
8a66672
TaxingWomen: add formalization-layer files (Item 2)
jzhan476
committed
b68c8e6
TaxingWomen: check in previously-untracked working-tree files
jzhan476
committed
01a99b5
We-Would-Like-In-Econ-ARK: sync TaxingWomen.ipynb and index
jzhan476
committed
a3c4681
TaxingWomen verification.md: tighten with GKV section refs (Item 3)
jzhan476
committed
72d7dd9
TaxingWomen: restructure literature layer (Item 4)
jzhan476
committed
e8581b2
TaxingWomen_Summary.ipynb: rewrite §I with distinguishing features (Item 5)
jzhan476
committed
24aa759
TaxingWomen: fix intro, add index.md and AGENTS.md (Item 6)
jzhan476
committed
ac3324d
TaxingWomen: route myst build through index.md
jzhan476
committed
3bc3103
TaxingWomen: repair broken {cite:t} syntax, normalize self-cites
jzhan476
committed
0f3498f
TaxingWomen_Intro.ipynb: add paper-redistribution license note
jzhan476
committed
b40b743
TaxingWomen: remove process-artifact markdown files
jzhan476
committed
7b666f7