aboutsummaryrefslogtreecommitdiff
path: root/tests/property
AgeCommit message (Collapse)AuthorFilesLines
12 dayschore: enforce fully strict static typing across library, tests, and tooling ↵natsuoto4-39/+46
with zero suppressions
13 dayschore: codebase-wide rule audit — eliminate Any/object where non-protocol, ↵natsuoto1-1/+2
hoist in-function imports, rename compound/folder-repeat files, replace generic-exception raises, bind chained comprehensions, strip __init__ docstrings, remove pragmas
13 daystest(property): Hypothesis harness + property tests for builder emission, ↵natsuoto4-0/+248
roundtrips, quantifier count parity, reverse parser