Feature 007: the vacancy transform — field without location - #8

Merged

jeremymanning merged 38 commits into

mainfrom

007-vacancy-transform

Aug 4, 2026

Commits on Aug 4, 2026

Feature 007: spec + the TS/Python contract for the vacancy transform

jeremymanning
and
claude
committed
36b9f3d
Correct the stated reason for the u(stem) departure -- it was not a bug

jeremymanning
and
claude
committed
71ce570
Add the swap control, without which the pretrained number means nothing

jeremymanning
and
claude
committed
8da0cda
Fix two real contract defects the Python implementation exposed

jeremymanning
and
claude
committed
e5171a1
Correct the CODAS count and pin how types/stems are counted

jeremymanning
and
claude
committed
0007144
Pin salt semantics: quality thresholds count attempts, not absolute salt

jeremymanning
and
claude
committed
e678665
Python vacancy transform: the field-without-location instrument

jeremymanning
and
claude
committed
5d355ff
Pin the map's domain to the FULL Dolch list, not the active budget

jeremymanning
and
claude
committed
08f619b
Put the scope in the name: domainTypes* and corpusTypes*

jeremymanning
and
claude
committed
a0f8d7b
UI spec for both panels

jeremymanning
and
claude
committed
ad1c4dc
Measure the pretrained arm before building it -- and find the effect is small

jeremymanning
and
claude
committed
ac69fcf
TypeScript vacancy transform, built independently from the same contract

jeremymanning
and
claude
committed
4def8a7
Python vacancy: scoped counts, pinned domain, salt semantics

jeremymanning
and
claude
committed
44ea2d1
Remove the avoid parameter: the map must not depend on caller memory

jeremymanning
and
claude
committed
1309d1d
A saved Geometry Lab model lost its own words across a reload

jeremymanning
and
claude
committed
d6e9d5d
TS vacancy: implicit domain avoidance, and a vacancyDomain helper

jeremymanning
and
claude
committed
16250db
Correct a paragraph my own change had made stale

jeremymanning
and
claude
committed
0c3ef4e
Python vacancy: implicit domain avoidance, and str guards on type iterables

jeremymanning
and
claude
committed
9718c47
Verified TS/Python parity directly: 6,720 nonces, zero mismatches

jeremymanning
and
claude
committed
8a94ad2
Rename VacancyMap.map to .mapping so both stacks agree

jeremymanning
and
claude
committed
7bc4cb1
Point the Spec Kit feature marker at 007

jeremymanning
and
claude
committed
3212403
Notes: two shipped defects found while building 007

jeremymanning
and
claude
committed
bbee124
Two contract gaps the golden fixture found in the control conditions

jeremymanning
and
claude
committed
405c4ac
Golden fixture: TS/Python parity for the vacancy transform, pinned as data

jeremymanning
and
claude
committed
cae0fb8
Lexicon Lab: the vacancy panel, and the invariance result made visible

jeremymanning
and
claude
committed
2e4fb6a
Open the corpus view on the verse, not on the book's table of contents

jeremymanning
and
claude
committed
7163951
The inconsistent control must enforce condition B too

jeremymanning
and
claude
committed
6f3ec69
Stop asking for q4f16: it builds a working-looking session and returns garbage

jeremymanning
and
claude
committed
c115ec6
Condition B on the per-occurrence path, and the fixture regenerated

jeremymanning
and
claude
committed
0e1a60d
Pin `forbidden` as stored, including superseded re-mint nonces

jeremymanning
and
claude
committed
4c2c3da
Notes: the 13 contract defects, and how each was found

jeremymanning
and
claude
committed
7dc4918
The vacancy transform on the wire: POST /api/lex/vacancy, both stacks

jeremymanning
and
claude
committed
533ab2b
Contract: record feature 007's additive endpoints (frozen file, own commit)

jeremymanning
and
claude
committed
1b4704b
The swap control -- and a theorem retracting one of my own spec claims

jeremymanning
and
claude
committed
8a8f38a
The pretrained arm: what a word's form is actually worth

jeremymanning
and
claude
committed
1d09552
Enable the swap control, and document the whole transform

jeremymanning
and
claude
committed
ce53c9f
Notes: CI's HuggingFace rate limiting, and the two durable fixes

jeremymanning
and
claude
committed
904921a
Actually use the HF_TOKEN secret: no workflow referenced it

jeremymanning
and
claude
committed
ea9cd56