Module explore 

Explore’s pure parts: the report a session’s run ends with (a claim, checked here), the brief the person’s choice composes and its digest, the session’s states, and the record a resumed run carries. No IO: the runtime stores sessions and runs the skills.

Structs

Approach

One option the model proposes: a claim, never a decision.

Brief

A composed brief.

Choice

The person’s choice: an approach and what they kept or added.

ExplorePayload

spec explore’s payload: one session as it stands, or the list.

ExploreReport

How a run of a session ended: the model’s report, schema-checked.

ExploreSession

One exploration of one idea in one project.

Item

A constraint or open question, by its source.

QaItem

A question the run asked and how it was answered.

RunRef

One run of a session.

SessionEntry

One session in a list.

Started

The unit a session started.

Enums

Event

What a session event does to its state.

Constants

BRIEF_MAX

The most a brief may hold.

CARRIED_MAX

What a resumed run carries of the session, at most.

FALLBACK

The skill spec explore falls back to when the format has none.

Functions

body_digest

The digest of a stored brief’s body (after its header line).

carried

What a resumed run carries of the session: earlier questions with the person’s answers, earlier approaches (the model’s), the person’s notes — verbatim, newest first, at most CARRIED_MAX bytes. Never a summary.

compose

The brief the person’s choice makes, deterministically: the approach verbatim, then the kept constraints and open questions. hash is the hex SHA-256 the runtime supplies; the digest covers the body only, so the header can name it.

next_state

The state after event in state.

validate_fallback

Whether the fallback’s report stands: at least three approaches with distinct titles, each with a trade-off and a risk. A format’s own skill is not held to this (its shape is its own).