Markdown for LLMs

N. Package, context, snapshots, case, result, and test

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# N. Package, context, snapshots, case, result, and test

14 pages in this book.

| Page | What it is for |
|---|---|
| [Present an event with a time](/recipes/n-package/event/) | I want to present an event that actually moves the case into the next stage. |
| [Separate an action from a duty](/recipes/n-package/action/) | I want to name an action without automatically attributing a permission or a duty to it. |
| [Correct an event with a new version](/recipes/n-package/event-version/) | I want to correct an event's time while keeping the earlier record. |
| [Read an external limit from a snapshot](/recipes/n-package/external-snapshot/) | I want to obtain an external indicator from a precisely pinned data set. |
| [Inherit an explicit context](/recipes/n-package/context-profile/) | I want to lift the common axes of a case into a named profile. |
| [Record a case with ready values](/recipes/n-package/case-input/) | I want to present my facts to an existing rule. |
| [Compose facts from two cases](/recipes/n-package/compose-cases/) | I want to join selected facts from two cases while keeping their origin. |
| [Choose a mode for assumptions](/recipes/n-package/evaluation-mode/) | I want to evaluate an assumption in an explicitly chosen mode. |
| [Name a package and parameters for a reader](/recipes/n-package/labels/) | I want to give the reader names for the package, a relation, and its parameter. |
| [Place metadata in the manifest](/recipes/n-package/package-metadata/) | I want to describe the package and the origin of its review in the artefacts meant for that. |
| [Write a scenario with a checkable expectation](/recipes/n-package/lawtest/) | I want to keep the input, the question, and the expected answer as an executable scenario. |
| [Check a property on a finite domain](/recipes/n-package/property/) | I want to check that every element of the presented domain gets the expected conclusion. |
| [Check that an example is sensitive to the rule](/recipes/n-package/mutation/) | I want to prove that the promised answer depends on the shown rule. |
| [Mark a phase that is not yet executable](/recipes/n-package/reserved-stage/) | I want to mark explicitly the boundary of a future computation round. |