Release v4.173.0

Changed

• screenplay_declaration_details describes the ESM v21 strategies pattern, random and generate rule as executable. Their authored values are now under generation.arguments, which replaces previewArguments: pattern and checksum are strings, range carries exact Int64 minimum and maximum, and rule is the rule name. See generated values and responses. (part of #618)
• Pattern and random strategies report the compiler's exact supportCount, with entropyBits and the 1% collision count computed from it. Date tokens use the minimum support over the compiler's 100-year UTC horizon. Malformed patterns or ranges, support-budget exhaustion (PLAY0691) and empty support (PLAY0692) give null entropy and the compiler's message instead of an error. Rule generation reports unknown entropy because the implementation is opaque. (part of #618)
• generation.derivedPattern covers pattern strategies, using the same expression the PLAY0688 repair writes, and checksum validation rules are listed with their proof status. (part of #618)

Fixed

• Generated-concept rule proofs in MCP declaration details use the same UTC assessment year as the compiler, so date patterns get the same proven, refuted or unproven status as the PLAY0688/PLAY0689 diagnostics. (part of #618)