FE-747: Declarative output routing for branching transitions by kostandinang · Pull Request #154 · hashintel/brunch

kostandinang · 2026-05-25T23:41:36Z

Summary

Replaces inline report-field branching inside transition fire closures with declarative RouteGuard predicates on HandlerDescriptor (always, reportFieldTruthy).
Exposes evalRouteGuard and enumerateCandidateOutputs so topology can be analyzed without instantiating handlers or running agents.
Records analyzable output arcs as SPEC invariant I125-K, separating “what the net could do” from closure-only behavior.

Context

FE-745 made epic verification correct under parallel slice sandboxes. Phase 3/4 goals (reachability, deadlock simulation, stale-graph routing) need routing rules on arcs, not logic hidden inside fire implementations.
This change is intentionally usable without FE-700 graph UI: it makes guards data the compiler and tests can read today.
Halt paths and some token transforms remain in closures; I125-K documents what is declarative now vs follow-on work.

What changed

RouteGuard on HandlerDescriptor with shared evaluation on the runtime fire path and the static analyzer.
topology.test.ts: twelve tests covering guard evaluation and candidate output enumeration, pinned with literal-fixture goldens.
Fail-fast when an unsupported guard kind is encountered at runtime, avoiding silent mis-routing during cook.

Verification

Existing engine contract suite behavior preserved; new topology module tests added.
npm run verify green.

Out of scope

Moving halt paths and token transforms fully onto declarative guards (tracked as follow-ons under I125-K).
End-to-end stale-graph routing wired through FE-700 graph compilation.

Traceability

Requirements 46–48; decision D155-K; invariant I125-K; frontier petri-declarative-routing in memory/PLAN.md; umbrella H-6476.

kostandinang · 2026-05-25T23:41:53Z

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

This stack of pull requests is managed by Graphite. Learn more about stacking.

cursor · 2026-05-26T07:52:59Z

PR Summary

Low Risk
Refactor of orchestrator routing with preserved contract-test behavior; scope is compiler/blueprint and new topology tests, not product auth or data paths.

Overview
FE-747 moves Petri branching off inline report-field checks in wireHandlers fire closures and onto declarative RouteGuard data on HandlerDescriptor (always, reportFieldTruthy), with shared evalRouteGuard on the runtime path.

A pure enumerateCandidateOutputs(transition) lets analyzers list every declared output place per transition without running actions or reading reports. topology.test.ts pins guard evaluation and enumeration (including golden place sets). Plan/spec record completed petri-declarative-routing and invariant I125-K; retry/rework halts and token transforms stay in closures for follow-on work.

^{Reviewed by Cursor Bugbot for commit 89a128a. Bugbot is set up for automated code reviews on this repo. Configure here.}

augmentcode

Review completed. 1 suggestion posted.

Comment augment review to trigger a new review at any time.

cursor

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 578e7c9. Configure here.}

New TRACK F frontier between petri-epic-verification-merge (done) and petri-graph-compilation (horizon, blocked on FE-700). Moves conditional output routing from wireHandlers fire closures into typed Guard predicates declared on HandlerDescriptor so a topology-only consumer can enumerate reachable output places per transition without invoking actions, reports, or the test runner — structural prerequisite for any static analysis (simulation, reachability, deadlock detection) and FE-700-independent. Retires the "Declarative output arcs" sub-bullet under petri-graph-compilation since it's now its own frontier; keeps "Token state enrichment" there. Co-Authored-By: Claude <noreply@anthropic.com>

Move conditional output routing from wireHandlers fire closures into typed Guard predicates declared on HandlerDescriptor. ActionDescriptor gains a required guard:Guard (replacing routeField); RunTestsDescriptor adds passGuard; AssessSemanticDescriptor adds satisfiedGuard. wireHandlers consumes them via a pure evalGuard(guard, report) helper. Adds enumerateCandidateOutputs(transition) so static consumers can derive the reachable output-place set per transition from topology alone, without instantiating actions, reports, or the test runner. Halt paths (budget exhaustion, verify-epic failure) and token transforms stay in fire closures and remain follow-on slices. New invariant I125-K. Engine contract suite unchanged (84 orchestrator tests pass); npm run verify green. Co-Authored-By: Claude <noreply@anthropic.com>

Disambiguates the typed routing predicate from TransitionContract.guard, the pre-existing human-readable note string on the same record. Pure rename across net-blueprint.ts (type + interpreter), net-compiler.ts (consumer), and topology.test.ts. Descriptor field names (passGuard, satisfiedGuard, ActionDescriptor.guard) keep their domain identifiers. No behavior change; 84 orchestrator tests pass. Co-Authored-By: Claude <noreply@anthropic.com>

The existing per-kind tests computed expected output sets from the same descriptor fields the enumerator consumes, so they'd pass silently if both the topology emitter and the enumerator dropped a branch in lockstep. Add three goldens that pin literal expected place names for slice-1:evaluate, slice-1:run-tests, and slice-1:assess-semantic against the simplePlan fixture. Lockstep drift now surfaces immediately. Retires memory/REFACTOR.md (FE-747 refactor pass complete). Co-Authored-By: Claude <noreply@anthropic.com>

Unknown guard kinds now throw instead of falling through as false, so deserialized or malformed routing data cannot silently misroute tokens. Co-authored-by: Cursor <cursoragent@cursor.com>

This was referenced May 25, 2026

FE-730: Greenfield orchestrator POC with pi-agent dispatch #143

Open

FE-738: Petri semantic lanes with two-lane subnet and engine factory #148

Open

FE-743: Petri parallel execution with resource pools and per-slice sandboxes #149

Open

kostandinang mentioned this pull request May 25, 2026

FE-745: Epic-scoped sandbox merge for verify-epic #152

Open

kostandinang changed the title ~~FE-747: Add petri-declarative-routing frontier to plan.~~ FE-747: Declarative output arcs — topology-level routing for branching transitions May 25, 2026

kostandinang marked this pull request as ready for review May 26, 2026 07:52

augmentcode Bot reviewed May 26, 2026

View reviewed changes

Comment thread src/orchestrator/src/net-blueprint.ts

kostandinang changed the base branch from ka/fe-745-petri-epic-verification-merge to graphite-base/154 May 26, 2026 08:21

kostandinang force-pushed the ka/fe-747-petri-declarative-routing branch from f9de408 to ee16289 Compare May 26, 2026 17:03

kostandinang changed the base branch from graphite-base/154 to ka/fe-745-petri-epic-verification-merge May 26, 2026 17:03

kostandinang mentioned this pull request May 26, 2026

FE-755: Cook codebase mode for brownfield brunch #155

Open

kostandinang force-pushed the ka/fe-747-petri-declarative-routing branch from ee16289 to eef2f05 Compare May 27, 2026 20:44

kostandinang changed the title ~~FE-747: Declarative output arcs — topology-level routing for branching transitions~~ FE-747: Declarative output routing for branching transitions May 27, 2026

kostandinang force-pushed the ka/fe-747-petri-declarative-routing branch from eef2f05 to 578e7c9 Compare May 27, 2026 21:16

cursor Bot reviewed May 27, 2026

View reviewed changes

Comment thread src/orchestrator/src/net-blueprint.ts

This was referenced May 27, 2026

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

Open

FE-762: Petrinaut-format JSON export of the compiled net #157

Open

FE-763: Petrinaut event stream — initial markings + transition firings #158

Open

kostandinang force-pushed the ka/fe-745-petri-epic-verification-merge branch from b5c8c77 to 9ea1a4d Compare May 27, 2026 23:16

kostandinang force-pushed the ka/fe-747-petri-declarative-routing branch from 578e7c9 to 921cb17 Compare May 27, 2026 23:16

kostandinang force-pushed the ka/fe-745-petri-epic-verification-merge branch from 9ea1a4d to 78bf6ee Compare May 27, 2026 23:21

kostandinang force-pushed the ka/fe-747-petri-declarative-routing branch from 921cb17 to 2047ef2 Compare May 27, 2026 23:21

kostandinang force-pushed the ka/fe-745-petri-epic-verification-merge branch from 78bf6ee to 98729e9 Compare May 28, 2026 10:34

kostandinang force-pushed the ka/fe-747-petri-declarative-routing branch from 2047ef2 to 525fd4d Compare May 28, 2026 10:34

kostandinang and others added 4 commits May 28, 2026 12:51

Fail fast on unsupported RouteGuard kinds at runtime.

89a128a

Unknown guard kinds now throw instead of falling through as false, so deserialized or malformed routing data cannot silently misroute tokens. Co-authored-by: Cursor <cursoragent@cursor.com>

kostandinang force-pushed the ka/fe-747-petri-declarative-routing branch from 525fd4d to 89a128a Compare May 28, 2026 10:52

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

FE-747: Declarative output routing for branching transitions#154

FE-747: Declarative output routing for branching transitions#154
kostandinang wants to merge 5 commits into
ka/fe-745-petri-epic-verification-mergefrom
ka/fe-747-petri-declarative-routing

kostandinang commented May 25, 2026 •

edited

Loading

Uh oh!

kostandinang commented May 25, 2026 •

edited

Loading

Uh oh!

cursor Bot commented May 26, 2026 •

edited

Loading

Uh oh!

augmentcode Bot left a comment

Uh oh!

Uh oh!

cursor Bot left a comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

kostandinang commented May 25, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Context

What changed

Verification

Out of scope

Traceability

Uh oh!

kostandinang commented May 25, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

cursor Bot commented May 26, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

PR Summary

Uh oh!

augmentcode Bot left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

cursor Bot left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

kostandinang commented May 25, 2026 •

edited

Loading

kostandinang commented May 25, 2026 •

edited

Loading

cursor Bot commented May 26, 2026 •

edited

Loading