Miner Prompt Editing Rules
What prompt edits are allowed in miner submissions - allow token optimizations and loop safety without changing agent behavior.
This document defines what prompt edits are allowed in miner submissions.
Goal: allow token optimizations and loop safety without changing agent behavior.
Hard rule
Only two categories of edits are allowed: compression markers and loop detection guards. Everything else is disallowed.
1. Compression marker definitions
Compression markers are metadata wrappers around existing prompt content.
- Preserve the original instruction meaning exactly.
- Preserve instruction order.
- Preserve all requirements.
- Preserve tool policy, safety policy, role policy, and output contract.
- Use clear marker boundaries such as
Compressed text starts hereandCompressed text ends here. - Marker aliases may be defined once and reused;
[[CMP]]is the start marker and[[/CMP]]is the end marker. - Omission markers
[[Omitted]]/[[/Omitted]]and[[deleted]]/[[/deleted]]may be used in place of[[CMP]]/[[/CMP]]to wrap omitted content. - When compressing code, include a source line reference inside the marker so omitted lines remain locatable (single line or an inclusive range).
Same response as in ...references are allowed only when the referenced block is explicit and unambiguous.
- Rewriting, weakening, strengthening, or deleting instructions.
- Adding new behavior constraints.
- Changing output format/schema requirements.
- Ambiguous references such as
Same response as abovewithout a unique target.
2. Loop detection definitions
Loop detection is a runtime safety guard that terminates repeated no-progress behavior.
- Trigger only on objective repeated / no-progress conditions.
- Keep normal successful execution behavior unchanged.
- Do not alter scoring logic.
- Do not alter final-output criteria.
- Fail fast with a clear loop reason when a loop is detected.
- Prompt edits that change strategy, reasoning policy, or tool-use policy.
- Prompt edits that force shortcuts to reduce token usage.
- Any change that affects non-loop successful behavior.
3. Global disallowed changes
The following are disallowed under this policy:
- Any prompt semantic change beyond marker metadata.
- Any new instruction that changes agent behavior.
- Any reordering or removal of policy blocks.
- Any schema / contract change for outputs.
- Any safety or tool-policy change.
4. Submission definition checklist
A compliant submission satisfies all of the following:
Prompt meaning is unchanged except metadata markers.
No instruction was added, removed, or reordered.
Loop detection only targets repeated / no-progress cycles.
Non-loop successful behavior is unchanged.
Output format contract is unchanged.
Safety and tool-use policies are unchanged.
5. Allowed prompts
If miners want to use any prompt format or exact string outside this list, they should discuss it first on the public channel.
5.1 Markers
Allowed exact strings:
Compressed text starts here
Compressed text ends here
[[CMP]]
[[/CMP]]
[[Omitted]]
[[/Omitted]]
[[deleted]]
[[/deleted]]
[[BLOCK X]]
[[/BLOCK X]]
Same response as in [[BLOCK X]].
[[CMP]] source line N [[/CMP]]
[[CMP]] source line N ~ source line M Omitted [[/CMP]]5.2 Loop detection
Allowed exact loop-detection reason strings:
loop_detected: repeated assistant response
loop_detected: repeated tool call signaturedocs-content/miner/prompting-rules.mdxSOMA Lock Program
Official terms of the SOMA Lock Program, outlining how participants can lock SOMA alpha for 365 days to receive a 50% reward, along with all eligibility, verification and payment rules.
Compression
The evaluation pipeline measures how well a miner preserves task-relevant information under constrained compression in the presence of injected noise.