Voltar para Documentação

Docs Técnicas

Loops And Bounds

TREA supports bounded loops only.

O conteúdo abaixo vem das fontes técnicas do repositório e é prerenderizado no site para leitura direta por pessoas, crawlers e agentes.

TREA supports bounded loops only.

Static Range

python
for i in range(4):
    emit Step(i)

N must be a static integer.

Sparse Vector Iteration

python
for marker in self.checkpoints:
    emit CheckpointSeen(marker)

Vector loops iterate over current sparse vector values.

Runtime Cap

Each loop is capped at 1024 iterations.

Other per-execution limits:

text
writes: 128
deletes: 128
posts: 16
posting lines: 64
emits: 64
returns: 16

If a workflow needs more work than this, split it into multiple contract calls at the application layer.