Repository navigation

feat(runtime): execute repeated action steps beyond plain successions - #834

Open

devin-ai-integration[bot] wants to merge 30 commits into

developfrom

feat/repeated-step-coverage

Commits on Oct 2, 2026

feat(runtime): execute repeated steps in block flows, part performs, reads and bindings

devin-ai-integration[bot]
and
HuiJun
committed
e8c2e78
test(parser): add parse goldens for repeated steps in loop bodies and on parts

devin-ai-integration[bot]
and
HuiJun
committed
b6e2cae
fix(runtime): give each repeated part performance its own occurrence

devin-ai-integration[bot]
and
HuiJun
committed
1b0a8c9
feat(runtime): execute repeated steps adjacent to control nodes and guarded successions

devin-ai-integration[bot]
and
HuiJun
committed
c371570
feat(smt): encode exact repeated action steps

devin-ai-integration[bot]
and
HuiJun
committed
e3b0aea
test(parser): add parse golden for a guarded succession's written target end

devin-ai-integration[bot]
and
HuiJun
committed
17b0c65
fix(smt): refuse the repeated-step shapes CheckStep refuses

devin-ai-integration[bot]
and
HuiJun
committed
0b6beaa
docs(project): record repeated-step coverage in the semantic oracle and compliance map

devin-ai-integration[bot]
and
HuiJun
committed
0c8dda8
fix(ast): encode the written target end of a succession through the codec

devin-ai-integration[bot]
and
HuiJun
committed
b4eeb7a
fix(export): carry a guarded succession's written target end

devin-ai-integration[bot]
and
HuiJun
committed
73dcd6d
fix(runtime): credit a synchronization to the token whose try performed it

devin-ai-integration[bot]
and
HuiJun
committed
9984eae
fix(smt): spend a move on a repeated step's split

devin-ai-integration[bot]
and
HuiJun
committed
9bed268
chore(workspace): regenerate the stdlib snapshot for the succession target ends

devin-ai-integration[bot]
and
HuiJun
committed
a75f494

Navigation Menu

Repository navigation

feat(runtime): execute repeated action steps beyond plain successions - #834

feat(runtime): execute repeated action steps beyond plain successions#834
devin-ai-integration[bot] wants to merge 30 commits into
developfrom
feat/repeated-step-coverage

Commits on Oct 2, 2026

feat(runtime): execute repeated steps in block flows, part performs, reads and bindings

test(parser): add parse goldens for repeated steps in loop bodies and on parts

fix(runtime): give each repeated part performance its own occurrence

feat(runtime): execute repeated steps adjacent to control nodes and guarded successions

feat(smt): encode exact repeated action steps

test(parser): add parse golden for a guarded succession's written target end

fix(smt): refuse the repeated-step shapes CheckStep refuses

docs(project): record repeated-step coverage in the semantic oracle and compliance map

fix(ast): encode the written target end of a succession through the codec

fix(export): carry a guarded succession's written target end

fix(runtime): credit a synchronization to the token whose try performed it

fix(smt): spend a move on a repeated step's split

chore(workspace): regenerate the stdlib snapshot for the succession target ends

Commits on Oct 3, 2026

fix(lower): fix a control node's count to a repeated step's only where the successions derive it

fix(exec): report repeated steps in block bodies as observed rather than proved or bounded

docs(project): derive control-node and block-body repeated-step semantics from the spec

fix(lower): read an unwritten control node's count as one unless its ends force the repeated step's

docs(project): describe the one-performance reading for unwritten nodes beside repeated steps

test(conformance): pin the merge per-performance exploration budget

Merge branch 'develop' into feat/repeated-step-coverage

fix(smt): land a fork's token pending at a repeated target so its split makes the siblings

fix(runtime): capture coverage notes in snapshots and fold them during the check search

fix(exec): prune a literal-false succession into a single performance instead of refusing it

fix(exec): return every direct behavior match so repeated performances stay ambiguous

docs(project): note the pending fork landing at a repeated target and the pruned single-performance guard

Merge remote-tracking branch 'origin/develop' into feat/repeated-step-coverage

Merge remote-tracking branch 'origin/develop' into feat/repeated-step-coverage

Merge remote-tracking branch 'origin/develop' into feat/repeated-step-coverage

Merge remote-tracking branch 'origin/develop' into feat/repeated-step-coverage

Merge remote-tracking branch 'origin/develop' into feat/repeated-step-coverage