FE-738: Petri semantic lanes — two-lane subnet, compiler split, engine factory#148

Open

kostandinang wants to merge 7 commits into

ka/fe-730-orchestrator-poc-dual-enginefrom

ka/fe-738-petri-semantic-lanes

Commits on May 25, 2026

FE-738: two-lane subnet with semantic completion gate

kostandinang
and
ampcode-com
committed
FE-738: TransitionContract type with metadata on all transitions

kostandinang
and
ampcode-com
committed
FE-738: §7 event vocabulary — structured events on transition firing

kostandinang
and
ampcode-com
committed
plan: cards 1-3 done for petri-semantic-lanes, retire CARDS.md

kostandinang
and
ampcode-com
committed
FE-738: compiler topology/wiring split + engine factory + semantic budget

kostandinang
and
ampcode-com
committed
plan: petri-semantic-lanes done, criterion 5 deferred to petri-graph-compilation

kostandinang
and
ampcode-com
committed
Fix bot review issues on semantic-lanes cook path and deadlock detection.

kostandinang
and
cursoragent
committed