FE-761: Petri-net semantic alignment for Petrinaut visualization#156

Open

kostandinang wants to merge 10 commits into

ka/fe-755-cook-codebase-modefrom

ka/fe-761-petri-petrinaut-semantics

Commits on May 27, 2026

FE-761: Plan reconciliation — Petrinaut sub-track frontier definitions

kostandinang
and
ampcode-com
committed
FE-761 Slice 1a: sibling-transition decomposition for evaluate + EnablingGuard infra

kostandinang
and
ampcode-com
committed
FE-761 Slice 1b: sibling-transition decomposition for run-tests, assess-semantic, verify-epic

kostandinang
and
ampcode-com
committed
FE-761: mark Slice 1 done, scope Slice 2 (dispatch/complete decomposition)

kostandinang
and
ampcode-com
committed
FE-761 Slice 2a: introduce halted:<scopeId> as a first-class place

kostandinang
and
ampcode-com
committed
FE-761 Slice 2b: retire ctx.halted/haltReason; halt becomes a place

kostandinang
and
ampcode-com
committed
FE-761: mark Slice 2 (halted-as-place) done, split out Slice 3 (dispatch/complete async)

kostandinang
and
ampcode-com
committed
FE-761 Slice 3: async dispatch via deferred-completion fire pattern

kostandinang
and
ampcode-com
committed
FE-761: CARDS.md — mark Slice 3 done with scope-adjustment note, add Slice 4 (Petrinaut topology split)

kostandinang
and
ampcode-com
committed
FE-761 Slice 4: explicit dispatch + running:* + complete topology split

kostandinang
and
ampcode-com
committed