Release v4.191.0

Tools that author concepts, such as Studio, can now read which options each generation strategy accepts and check a single concept declaration without compiling a whole application.

Added

• GenerationStrategyCatalog in Cratis.Screenplay.Semantics lists every generation strategy and what it accepts:

  • the ESM kind, primitives and the version that introduced it;
  • whether it is admitted or reserved, and whether it needs an implementation;
  • its fixed entropy;
  • each option's placement, kind, limits, choices, default and conditions.

  The compiler reads the same catalog, so it always matches what Screenplay accepts. See Generation strategies. (#812)

• SemanticConceptCheck.Check checks one concept, given as syntax or from an executable model, and returns:

  • its findings, each pointing at the generation, an option or a rule rather than a source location;
  • its rule proofs;
  • its generation support and entropy;
  • the ESM version it requires.

  See Check a concept declaration. (#812)