Redacted excerpt; full evidence withheld.

$ cd <host-path> && ls -la && cat README.md 2>/dev/null | head -200
exit: 0
 Python, pure checks that reject invalid input. Fields of other types, such as
   UUIDs, floats, lists or nested models, are [external](#external-fields): they
   get values without the solver.
2. **Prove.** The Z3 solver checks the fixed fields against the rules. When no
   values for the other fields can satisfy them, `fill()` raises
   `UnsatisfiableConstraints`, naming the inputs and rules in conflict.
3. **Choose.** Each remaining field gets its [canonical value](#canonical-values):
   the allowed value nearest a neutral anchor, such as 0, field by field in
   declaration order.
4. **Construct.** The values go through your model's own constructor and
[excerpt truncated]