Corpus Task-pack Loop v1

Source schema: doc/schemas/corpus-task-pack-loop.v1.schema.json

The bounded experiment loop of one Corpus query (P094-023c): its append-only facts and their projection. The requester's Flow drives the deliberation; the host holds its bounds. A claimed passage spends max/passages and, for an implementer or a reviewer, its role's counter; a signed proposal opens a cycle; an admitted experiment spends a run, and needs its cycle. A charge has one key, so a replay spends nothing. The loop stops on a verified run, on a run concluded unknown, on a run refused for safety, or on cancellation; a run that fails verification, is denied by HIL or is cancelled leaves it going. An exhausted counter or a passed deadline refuses the next charge, and a passed deadline refuses every new effect of an admitted run.

Fields

Field	Required	Shape	Description
schema	yes	const: corpus-task-pack-loop.v1
query/id	yes	string
binding/ref	yes	string
state	yes	enum: open, deadline-passed, stopped	open takes charges; deadline-passed waits for a renewal; stopped takes nothing more.
limits	yes	ref: #/$defs/limits
deadline	yes	string
spent	yes	ref: #/$defs/spent
stop	no	ref: #/$defs/stop
facts	yes	array	At most 1366 facts by the loop's own bounds: its opening, every counter at the contract's widest, a conclusion per run, 64 renewals and one cancellation.

Definitions

Definition	Shape	Description
limits	ref: operator-task-common.v1.schema.json#/$defs/deliberationLimits	The effective limits: every counter is stated.
spent	object
stop	unspecified
fact	object

Conditional Rules

Rule 1

When:

{
  "properties": {
    "state": {
      "const": "stopped"
    }
  }
}

Then:

{
  "required": [
    "stop"
  ]
}

Field Semantics

schema

• Required: yes
• Shape: const: corpus-task-pack-loop.v1

query/id

• Required: yes
• Shape: string

binding/ref

• Required: yes
• Shape: string

state

• Required: yes
• Shape: enum: open, deadline-passed, stopped

open takes charges; deadline-passed waits for a renewal; stopped takes nothing more.

limits

• Required: yes
• Shape: ref: #/$defs/limits

deadline

• Required: yes
• Shape: string

spent

• Required: yes
• Shape: ref: #/$defs/spent

stop

• Required: no
• Shape: ref: #/$defs/stop

facts

• Required: yes
• Shape: array

At most 1366 facts by the loop's own bounds: its opening, every counter at the contract's widest, a conclusion per run, 64 renewals and one cancellation.

Definition Semantics

$defs.limits

• Shape: ref: operator-task-common.v1.schema.json#/$defs/deliberationLimits

The effective limits: every counter is stated.

$defs.spent

• Shape: object

$defs.stop

• Shape: unspecified

$defs.fact

• Shape: object