Release v4.172.0

Added

• Concepts can generate values from a pattern with digits, letters, ASCII classes, bounded repeats and UTC date segments ({yyyy}, {yy}, {MM}, {dd}), optionally followed by a checksum luhn, mod11 or mod97 check digit; generation draws uniformly from the exact set of values the pattern and checksum can produce, and a pattern whose set is empty for any date in the next hundred years, or too large to count, is a binding error (PLAY0692, PLAY0691) (part of #616)
• Int concepts can generate a random <min>..<max> value, and generate rule Name names a value generator implemented in code, which receives the current time and tenant (part of #616)
• validate checksum luhn|mod11|mod97 checks a String concept's check digits, and is proven to hold for values the matching checksum strategy generates (part of #616)
• Rules on concepts with these strategies are proven like the other strategies' rules, including length and min/max against random, and specification fixtures are checked against the pattern, its date segments (using given clock) and the checksum (part of #616)
• Executable model version 21 carries these strategies and checksum validations; models without them keep their version, bytes and outcomes (part of #616)

Changed

• PLAY0268 no longer refuses pattern, random and rule generation; generated secrets remain refused (part of #616)
• The generated-values documentation covers patterns, checksums, ranges and rule generators with the shop example (part of #616)