You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Added
screenplay_declaration_details describes a generated concept's rules: generation.derivedPattern is the anchored regular expression the strategy provably produces (or null with derivedPatternUnknownReason), and generation.rules lists every validation rule in authored order with its proof status (proven, refuted with a witness value, or unproven with a reason), plus diagnosticCode and repair when the compiler reported PLAY0688 or PLAY0689 at that rule. The proofs come from the same rule-consistency check the compiler uses. See declaration details. (part of #618)
Fixed
The repair-capabilities schema lists PLAY0688 among the repairable diagnostics.