# For agents: Contracts as parameters

OpenProse today · board 5 of 17 · 2026-10-09.
This deck records dated experimental evidence, not general reliability.

A collection-assessment contract accepts a checker and preserves each entry’s subject and bindings.

## On the slide

**Assess a collection**

Supply a checker contract.

Give each entry its subject, bindings, and result.

The checker assesses the result against that subject.

## Explanation

The published example supplies a reusable checker to a collection-assessment contract. Each entry supplies a different topic and an existing brief to assess. The outer contract defines the interaction: invoke the checker with the right subject and bindings, retain its findings, and report unfinished work. The checker must assess the supplied record rather than write or repair the brief. This is parameterized composition in ordinary technical English. Its meaning depends on the supplied contracts' roles, not simply on substituting names into a template. These published records are synthetic examples, not evidence of historical brief-writing runs.

## Whiteboard sequence

Open only the frames useful to the question. Later frames add to the same board;
the final frame contains the complete drawing.

- [Frame 1 — black core](https://prose.md/visual-guide/2026-10-09/current/slide-05-layer-01.png)
- [Frame 2 — cumulative reveal](https://prose.md/visual-guide/2026-10-09/current/slide-05-layer-02.png)
- [Frame 3 — final](https://prose.md/visual-guide/2026-10-09/current/slide-05-layer-03.png)

These explanations add no normative requirements. Read the
[selected kernel 0.3.0-rc.3](https://pkg.prose.md/releases/0.3.0-rc.3/core/README.md) for language rules.

[Previous: The effective agreement](https://prose.md/visual-guide/current/04.md) · [Next: The kernel and selected documents](https://prose.md/visual-guide/current/06.md)

[All OpenProse today boards](https://prose.md/visual-guide/current.md) · [Guide index](https://prose.md/visual-guide.md) · [Agent entry](https://prose.md/agents.md)