tool si.act.keep_ladder.
Its ordered rungs, each a predicate over the population, and the rung that qualifies; the rungs' predicates in full where they are not yet kept: the ladder with its version, not ready while a rung's predicate is not kept or does not compile.
Figure 1si.act.keep_ladderspecified
the ladder with its version, not ready while a rung’s predicate is not kept or does not compile. The call needs the act grant at the brand rung.
- input
- KeepLadderInput
- result
- a card whose body is Ladder
- read-only
- no
- destructive
- yes
- card address
ui://scale-intelligence/cards/Ladder- HTTP route
/v1/act/keep_ladder
| field | type | required | note |
|---|---|---|---|
ladder | Ladder | yes | the rungs carry their predicates by hash; a rung whose predicate is given in full under predicates is kept first |
predicates | Predicate | no | the rungs’ predicates in full, kept by their hashes before the ladder |
Claims#
| claim | state | route or tool |
|---|---|---|
| The MCP server declares si.act.keep_ladder at contract 0476e35e6e275db5. | target | si.act.keep_ladder |