max / quasi

Point CONTRIBUTING at the population script A measurement nobody knows about is a measurement nobody runs, and this one is the denominator of the whole declaration transition. Names the two rules that matter: run --selftest first, and re-run rather than quoting a note's number.

Author: Max Johnson <me@maxj.phd> · 2026-09-03 15:54 UTC

Signed with PGP, not checked

Commit: 3aab4323770942458b7bd3260d4c9db3d0ac5f2a

Parent: d1a999b

1 file changed, +21 insertions, -0 deletions

M CONTRIBUTING.md +21

			@@ -12,6 +12,27 @@
12	12		- `cargo fmt` + `cargo clippy --all-targets` clean.
13	13		- Commits are concise, imperative, no emoji.
14	14
	15	+	## Measuring the shape-function population
	16	+
	17	+	`scripts/population.py` answers how many functions across MNW, goingson and
	18	+	audiofiles return a description type. That number is the denominator of the
	19	+	declaration transition, and five different answers to it existed before the
	20	+	script, none reproducible, because none had written its predicate down.
	21	+
	22	+	```
	23	+	python3 scripts/population.py # the count, per tree
	24	+	python3 scripts/population.py --list # path:line name -> type
	25	+	python3 scripts/population.py --json # the same, machine-readable
	26	+	python3 scripts/population.py --selftest # the predicate against known answers
	27	+	```
	28	+
	29	+	Two rules if you use it. Run `--selftest` first, because every case in it is
	30	+	a mistake this script has actually made. And **re-run it rather than quoting a
	31	+	number from a note**: the predicate is stable and the count is not.
	32	+
	33	+	The predicate itself, and what it deliberately excludes, is documented in the
	34	+	script's header and in `~/Wiki/quasi-declare-form.md` section 2.
	35	+
15	36		## The rule this repo exists to hold
16	37
17	38		Nothing in `quasi-router` may import a host crate. Not `tauri`, not `axum`,