feat(loops): emittable select — the planner authors the winner (Phase 3a) by tangletools · Pull Request #136 · tangle-network/agent-runtime

tangletools · 2026-06-03T15:59:35Z

Roadmap Phase 3a — grow the topology ISA with an emittable select move. The program-synthesis lens flagged that select was an interpreter builtin the agent couldn't author; this makes it authorable — the planner runs the selector (declares the winner) instead of the kernel's argmax.

What

TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration index as the winner. validateMove requires a non-negative integer index; plan() range-checks it against history and requires the selected iteration produced output (fail-loud — override the argmax, don't invent a winner).
New optional Driver.selectWinner(history) — the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner. Drivers that don't implement it (or return undefined) keep the exact prior behavior.
sandbox-planner: envelope gains index; envelopeToMove decodes select; the planner prompt documents the move.

Verified

tsc + biome clean; 74/74 loops tests. The 4 new tests prove: select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope.

Notes

No cadence change — select returns [] and breaks the loop exactly like stop, so the kernel's plan→batch→decide rhythm is untouched. seq (sub-program / nested topology) is the remaining, higher-risk ISA step (it does touch the kernel cadence) — a deliberate follow-on, not in this PR.

… 3a) Grows the topology ISA from {refine, fanout, stop} to include `select`: the planner declares which iteration wins instead of the kernel's argmax. The selector role made agent-authorable (the program-synthesis lens in architecture-interpretations.md: "select is an interpreter builtin the agent can't author — making it emittable is the additive first step"). - TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration `index` as the winner. validateMove checks index is a non-negative integer; plan() range-checks it against history AND requires the iteration produced output (fail-loud — the planner can override the argmax, not invent a winner). - New optional Driver.selectWinner(history): the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner — drivers that don't implement it, or return undefined, keep the exact prior behavior. - sandbox-planner: envelope gains `index`; envelopeToMove decodes select; the planner prompt documents the move. - tests/loops/dynamic.test.ts (+4): select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope. 74/74 loops tests; tsc + biome clean. No cadence change (select returns [] and breaks the loop exactly like stop). `seq` (sub-program) is the remaining, higher-risk ISA step — a follow-on.

tangletools · 2026-06-03T15:59:35Z

Roadmap Phase 3a — grow the topology ISA with an emittable select move. The program-synthesis lens flagged that select was an interpreter builtin the agent couldn't author; this makes it authorable — the planner runs the selector (declares the winner) instead of the kernel's argmax.

What

TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration index as the winner. validateMove requires a non-negative integer index; plan() range-checks it against history and requires the selected iteration produced output (fail-loud — override the argmax, don't invent a winner).
New optional Driver.selectWinner(history) — the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner. Drivers that don't implement it (or return undefined) keep the exact prior behavior.
sandbox-planner: envelope gains index; envelopeToMove decodes select; the planner prompt documents the move.

Verified

tsc + biome clean; 74/74 loops tests. The 4 new tests prove: select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope.

Notes

No cadence change — select returns [] and breaks the loop exactly like stop, so the kernel's plan→batch→decide rhythm is untouched. seq (sub-program / nested topology) is the remaining, higher-risk ISA step (it does touch the kernel cadence) — a deliberate follow-on, not in this PR.

… 3a) Grows the topology ISA from {refine, fanout, stop} to include `select`: the planner declares which iteration wins instead of the kernel's argmax. The selector role made agent-authorable (the program-synthesis lens in architecture-interpretations.md: "select is an interpreter builtin the agent can't author — making it emittable is the additive first step"). - TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration `index` as the winner. validateMove checks index is a non-negative integer; plan() range-checks it against history AND requires the iteration produced output (fail-loud — the planner can override the argmax, not invent a winner). - New optional Driver.selectWinner(history): the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner — drivers that don't implement it, or return undefined, keep the exact prior behavior. - sandbox-planner: envelope gains `index`; envelopeToMove decodes select; the planner prompt documents the move. - tests/loops/dynamic.test.ts (+4): select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope. 74/74 loops tests; tsc + biome clean. No cadence change (select returns [] and breaks the loop exactly like stop). `seq` (sub-program) is the remaining, higher-risk ISA step — a follow-on.

tangletools · 2026-06-03T15:59:35Z

Roadmap Phase 3a — grow the topology ISA with an emittable select move. The program-synthesis lens flagged that select was an interpreter builtin the agent couldn't author; this makes it authorable — the planner runs the selector (declares the winner) instead of the kernel's argmax.

What

TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration index as the winner. validateMove requires a non-negative integer index; plan() range-checks it against history and requires the selected iteration produced output (fail-loud — override the argmax, don't invent a winner).
New optional Driver.selectWinner(history) — the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner. Drivers that don't implement it (or return undefined) keep the exact prior behavior.
sandbox-planner: envelope gains index; envelopeToMove decodes select; the planner prompt documents the move.

Verified

tsc + biome clean; 74/74 loops tests. The 4 new tests prove: select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope.

Notes

No cadence change — select returns [] and breaks the loop exactly like stop, so the kernel's plan→batch→decide rhythm is untouched. seq (sub-program / nested topology) is the remaining, higher-risk ISA step (it does touch the kernel cadence) — a deliberate follow-on, not in this PR.

… 3a) Grows the topology ISA from {refine, fanout, stop} to include `select`: the planner declares which iteration wins instead of the kernel's argmax. The selector role made agent-authorable (the program-synthesis lens in architecture-interpretations.md: "select is an interpreter builtin the agent can't author — making it emittable is the additive first step"). - TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration `index` as the winner. validateMove checks index is a non-negative integer; plan() range-checks it against history AND requires the iteration produced output (fail-loud — the planner can override the argmax, not invent a winner). - New optional Driver.selectWinner(history): the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner — drivers that don't implement it, or return undefined, keep the exact prior behavior. - sandbox-planner: envelope gains `index`; envelopeToMove decodes select; the planner prompt documents the move. - tests/loops/dynamic.test.ts (+4): select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope. 74/74 loops tests; tsc + biome clean. No cadence change (select returns [] and breaks the loop exactly like stop). `seq` (sub-program) is the remaining, higher-risk ISA step — a follow-on.

tangletools · 2026-06-03T15:59:35Z

Roadmap Phase 3a — grow the topology ISA with an emittable select move. The program-synthesis lens flagged that select was an interpreter builtin the agent couldn't author; this makes it authorable — the planner runs the selector (declares the winner) instead of the kernel's argmax.

What

TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration index as the winner. validateMove requires a non-negative integer index; plan() range-checks it against history and requires the selected iteration produced output (fail-loud — override the argmax, don't invent a winner).
New optional Driver.selectWinner(history) — the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner. Drivers that don't implement it (or return undefined) keep the exact prior behavior.
sandbox-planner: envelope gains index; envelopeToMove decodes select; the planner prompt documents the move.

Verified

tsc + biome clean; 74/74 loops tests. The 4 new tests prove: select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope.

Notes

No cadence change — select returns [] and breaks the loop exactly like stop, so the kernel's plan→batch→decide rhythm is untouched. seq (sub-program / nested topology) is the remaining, higher-risk ISA step (it does touch the kernel cadence) — a deliberate follow-on, not in this PR.

… 3a) Grows the topology ISA from {refine, fanout, stop} to include `select`: the planner declares which iteration wins instead of the kernel's argmax. The selector role made agent-authorable (the program-synthesis lens in architecture-interpretations.md: "select is an interpreter builtin the agent can't author — making it emittable is the additive first step"). - TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration `index` as the winner. validateMove checks index is a non-negative integer; plan() range-checks it against history AND requires the iteration produced output (fail-loud — the planner can override the argmax, not invent a winner). - New optional Driver.selectWinner(history): the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner — drivers that don't implement it, or return undefined, keep the exact prior behavior. - sandbox-planner: envelope gains `index`; envelopeToMove decodes select; the planner prompt documents the move. - tests/loops/dynamic.test.ts (+4): select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope. 74/74 loops tests; tsc + biome clean. No cadence change (select returns [] and breaks the loop exactly like stop). `seq` (sub-program) is the remaining, higher-risk ISA step — a follow-on.

tangletools · 2026-06-03T15:59:35Z

Roadmap Phase 3a — grow the topology ISA with an emittable select move. The program-synthesis lens flagged that select was an interpreter builtin the agent couldn't author; this makes it authorable — the planner runs the selector (declares the winner) instead of the kernel's argmax.

What

TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration index as the winner. validateMove requires a non-negative integer index; plan() range-checks it against history and requires the selected iteration produced output (fail-loud — override the argmax, don't invent a winner).
New optional Driver.selectWinner(history) — the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner. Drivers that don't implement it (or return undefined) keep the exact prior behavior.
sandbox-planner: envelope gains index; envelopeToMove decodes select; the planner prompt documents the move.

Verified

tsc + biome clean; 74/74 loops tests. The 4 new tests prove: select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope.

Notes

No cadence change — select returns [] and breaks the loop exactly like stop, so the kernel's plan→batch→decide rhythm is untouched. seq (sub-program / nested topology) is the remaining, higher-risk ISA step (it does touch the kernel cadence) — a deliberate follow-on, not in this PR.

… 3a) Grows the topology ISA from {refine, fanout, stop} to include `select`: the planner declares which iteration wins instead of the kernel's argmax. The selector role made agent-authorable (the program-synthesis lens in architecture-interpretations.md: "select is an interpreter builtin the agent can't author — making it emittable is the additive first step"). - TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration `index` as the winner. validateMove checks index is a non-negative integer; plan() range-checks it against history AND requires the iteration produced output (fail-loud — the planner can override the argmax, not invent a winner). - New optional Driver.selectWinner(history): the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner — drivers that don't implement it, or return undefined, keep the exact prior behavior. - sandbox-planner: envelope gains `index`; envelopeToMove decodes select; the planner prompt documents the move. - tests/loops/dynamic.test.ts (+4): select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope. 74/74 loops tests; tsc + biome clean. No cadence change (select returns [] and breaks the loop exactly like stop). `seq` (sub-program) is the remaining, higher-risk ISA step — a follow-on.

tangletools · 2026-06-03T15:59:35Z

Roadmap Phase 3a — grow the topology ISA with an emittable select move. The program-synthesis lens flagged that select was an interpreter builtin the agent couldn't author; this makes it authorable — the planner runs the selector (declares the winner) instead of the kernel's argmax.

What

TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration index as the winner. validateMove requires a non-negative integer index; plan() range-checks it against history and requires the selected iteration produced output (fail-loud — override the argmax, don't invent a winner).
New optional Driver.selectWinner(history) — the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner. Drivers that don't implement it (or return undefined) keep the exact prior behavior.
sandbox-planner: envelope gains index; envelopeToMove decodes select; the planner prompt documents the move.

Verified

tsc + biome clean; 74/74 loops tests. The 4 new tests prove: select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope.

Notes

No cadence change — select returns [] and breaks the loop exactly like stop, so the kernel's plan→batch→decide rhythm is untouched. seq (sub-program / nested topology) is the remaining, higher-risk ISA step (it does touch the kernel cadence) — a deliberate follow-on, not in this PR.

… 3a) Grows the topology ISA from {refine, fanout, stop} to include `select`: the planner declares which iteration wins instead of the kernel's argmax. The selector role made agent-authorable (the program-synthesis lens in architecture-interpretations.md: "select is an interpreter builtin the agent can't author — making it emittable is the additive first step"). - TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration `index` as the winner. validateMove checks index is a non-negative integer; plan() range-checks it against history AND requires the iteration produced output (fail-loud — the planner can override the argmax, not invent a winner). - New optional Driver.selectWinner(history): the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner — drivers that don't implement it, or return undefined, keep the exact prior behavior. - sandbox-planner: envelope gains `index`; envelopeToMove decodes select; the planner prompt documents the move. - tests/loops/dynamic.test.ts (+4): select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope. 74/74 loops tests; tsc + biome clean. No cadence change (select returns [] and breaks the loop exactly like stop). `seq` (sub-program) is the remaining, higher-risk ISA step — a follow-on.

tangletools · 2026-06-03T15:59:35Z

Roadmap Phase 3a — grow the topology ISA with an emittable select move. The program-synthesis lens flagged that select was an interpreter builtin the agent couldn't author; this makes it authorable — the planner runs the selector (declares the winner) instead of the kernel's argmax.

What

TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration index as the winner. validateMove requires a non-negative integer index; plan() range-checks it against history and requires the selected iteration produced output (fail-loud — override the argmax, don't invent a winner).
New optional Driver.selectWinner(history) — the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner. Drivers that don't implement it (or return undefined) keep the exact prior behavior.
sandbox-planner: envelope gains index; envelopeToMove decodes select; the planner prompt documents the move.

Verified

tsc + biome clean; 74/74 loops tests. The 4 new tests prove: select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope.

Notes

No cadence change — select returns [] and breaks the loop exactly like stop, so the kernel's plan→batch→decide rhythm is untouched. seq (sub-program / nested topology) is the remaining, higher-risk ISA step (it does touch the kernel cadence) — a deliberate follow-on, not in this PR.

… 3a) Grows the topology ISA from {refine, fanout, stop} to include `select`: the planner declares which iteration wins instead of the kernel's argmax. The selector role made agent-authorable (the program-synthesis lens in architecture-interpretations.md: "select is an interpreter builtin the agent can't author — making it emittable is the additive first step"). - TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration `index` as the winner. validateMove checks index is a non-negative integer; plan() range-checks it against history AND requires the iteration produced output (fail-loud — the planner can override the argmax, not invent a winner). - New optional Driver.selectWinner(history): the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner — drivers that don't implement it, or return undefined, keep the exact prior behavior. - sandbox-planner: envelope gains `index`; envelopeToMove decodes select; the planner prompt documents the move. - tests/loops/dynamic.test.ts (+4): select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope. 74/74 loops tests; tsc + biome clean. No cadence change (select returns [] and breaks the loop exactly like stop). `seq` (sub-program) is the remaining, higher-risk ISA step — a follow-on.

tangletools · 2026-06-03T15:59:35Z

Roadmap Phase 3a — grow the topology ISA with an emittable select move. The program-synthesis lens flagged that select was an interpreter builtin the agent couldn't author; this makes it authorable — the planner runs the selector (declares the winner) instead of the kernel's argmax.

What

TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration index as the winner. validateMove requires a non-negative integer index; plan() range-checks it against history and requires the selected iteration produced output (fail-loud — override the argmax, don't invent a winner).
New optional Driver.selectWinner(history) — the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner. Drivers that don't implement it (or return undefined) keep the exact prior behavior.
sandbox-planner: envelope gains index; envelopeToMove decodes select; the planner prompt documents the move.

Verified

tsc + biome clean; 74/74 loops tests. The 4 new tests prove: select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope.

Notes

No cadence change — select returns [] and breaks the loop exactly like stop, so the kernel's plan→batch→decide rhythm is untouched. seq (sub-program / nested topology) is the remaining, higher-risk ISA step (it does touch the kernel cadence) — a deliberate follow-on, not in this PR.

… 3a) Grows the topology ISA from {refine, fanout, stop} to include `select`: the planner declares which iteration wins instead of the kernel's argmax. The selector role made agent-authorable (the program-synthesis lens in architecture-interpretations.md: "select is an interpreter builtin the agent can't author — making it emittable is the additive first step"). - TopologyMove gains {kind:'select', index, rationale?} — terminal like stop, but the kernel uses iteration `index` as the winner. validateMove checks index is a non-negative integer; plan() range-checks it against history AND requires the iteration produced output (fail-loud — the planner can override the argmax, not invent a winner). - New optional Driver.selectWinner(history): the dynamic driver returns the declared winner after a select move, undefined otherwise. run-loop finalize precedence: caller options.selectWinner > driver-authored > defaultSelectWinner — drivers that don't implement it, or return undefined, keep the exact prior behavior. - sandbox-planner: envelope gains `index`; envelopeToMove decodes select; the planner prompt documents the move. - tests/loops/dynamic.test.ts (+4): select overrides the argmax; out-of-range fails loud; a caller selectWinner beats a planner select (precedence); the sandbox-planner decodes a select envelope. 74/74 loops tests; tsc + biome clean. No cadence change (select returns [] and breaks the loop exactly like stop). `seq` (sub-program) is the remaining, higher-risk ISA step — a follow-on.

tangletools merged commit 8497dc5 into mainJun 3, 2026
1 check passed

tangletools deleted the feat/phase3-isa-select branch June 3, 2026 16:01