rulvar API reference / @rulvar/plan / LadderVerdictValue
Interface: LadderVerdictValue
Defined in: packages/plan/src/ladder.ts:140
The ladder verdict decision entry: the producer contract both folds already consume. A RAISING verdict debits one rung unit (rungIndexAfter/rungsRemainingAfter embedded, checked by foldTermination) and carries the rung RESPAWN's embedded admission (spawn debit) plus nextAttempt (the lineage registration: relation 'rung-retry'). A non-raising verdict records the ladder's end (exhausted rungs, top rung, or a denied respawn) and authorizes nothing.
Properties
| Property | Type | Description | Defined in |
|---|---|---|---|
admissions? | Json[] | The embedded respawn admission (the spawn debit). | packages/plan/src/ladder.ts:159 |
attemptRef | number | The judged attempt's root dispatch seq. | packages/plan/src/ladder.ts:146 |
decisionType | "ladder-verdict" | - | packages/plan/src/ladder.ts:141 |
logicalTaskId | string | - | packages/plan/src/ladder.ts:142 |
nextAttempt? | { childScope: string; lineage: Json; rungIndex: number; } | Present exactly when raising: the authorized next rung attempt. | packages/plan/src/ladder.ts:151 |
nextAttempt.childScope | string | - | packages/plan/src/ladder.ts:152 |
nextAttempt.lineage | Json | The full admission-computed lineage block (registerAttempt input). | packages/plan/src/ladder.ts:154 |
nextAttempt.rungIndex | number | The concrete rung the next attempt executes on. | packages/plan/src/ladder.ts:156 |
nodeId | string | - | packages/plan/src/ladder.ts:143 |
raisesRung | boolean | - | packages/plan/src/ladder.ts:147 |
reason? | | "rungs_exhausted" | "top_rung" | "respawn_denied" | "trigger_not_declared" | Non-raising verdicts: why the ladder ended here. | packages/plan/src/ladder.ts:161 |
rungIndexAfter? | number | - | packages/plan/src/ladder.ts:148 |
rungsRemainingAfter? | number | - | packages/plan/src/ladder.ts:149 |
trigger | TriggerClass | - | packages/plan/src/ladder.ts:144 |