Published February 4, 2026
| Version v1
Preprint
Open
Preregistration: Structural Stratification Without Dynamic Lock-In in Mathlib
Description
Preregistered analysis plan for panel-econometric test of path dependence in Mathlib formal library growth. Includes variable definitions, model specification, four-step diagnostic protocol, and kill criteria. Frozen before analysis.
Files
crosswalk_FROZEN.json
Files
(70.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:16fcd385847cf33e6e29444281a449dc
|
2.2 kB | Preview Download |
|
md5:be1e5a835e14e23ca5139fe975f06235
|
40.2 kB | Download |
|
md5:ca76d5e952c80183b53e4f8ad0d4b442
|
2.7 kB | Download |
|
md5:8d60c2c2e805c52586bea75026b78008
|
3.3 kB | Download |
|
md5:b88d312eda7baf26428e574439be9595
|
4.5 kB | Download |
|
md5:34da903e320c0351d6bbc997bfbbade3
|
2.0 kB | Preview Download |
|
md5:c83bfba7192a1432b172788211f8504c
|
3.4 kB | Download |
|
md5:ed59f1d2def19181cc803f11ddc1b19a
|
11.9 kB | Download |