FE-784: Petrinaut export: colour-fold per-slice subnet

[kostandinang]

Summary

This PR makes the Petrinaut export readable at scale by color-folding repeated per-slice topology into one shared slice lifecycle. Slice identity moves from node IDs into token color metadata, so a two-slice plan drops from 42 to 23 places and from 37 to 21 transitions.

The fold is an export projection only. Runtime Petri-net execution stays concrete; net.json, net.sdcpn.json, and petrinaut-events.jsonl all map that concrete runtime into the same folded view.

What Changed

• Adds a shared NetFolding projection used by both static export and live events.
• Folds uniform slice places and transitions while preserving genuinely divergent dependency gates.
• Adds token type metadata for slice color in net.json and bumps the export schema to 0.2.0.
• Keeps SDCPN export count-folded until Petrinaut supports discrete string token dimensions.
• Adds regression oracles for fold divergence, SDCPN naming, folded event mapping, and loader schema validity.
• Aligns Brunch naming with Petrinaut's colorId wire vocabulary and updates the spec lexicon.

Scope

The folded net is a faithful projection of the compiled blueprint, not a separate runtime model. Runtime files such as petri-net.ts and net-compiler.ts are not changed for execution semantics.

Verification

npm run verify passed: format and lint checks, full test suite, and production build.

[cursor]

PR Summary

High Risk
Large orchestrator changes touch net topology, async firing, git worktree isolation, and export/event contracts; regressions could affect cook runs, halt semantics, or Petrinaut integration without strong contract test coverage on every path.

Overview
Petrinaut legibility (FE-784) introduces createNetFolding so net.json, SDCPN export, and petrinaut-events.jsonl share one concrete→folded projection: repeated per-slice places/transitions collapse to slice-independent ids while slice identity moves onto token color (tokenTypes / place typeId, export schema 0.2.0). Dependency-divergent nodes (e.g. dep-gated slice-ready) stay concrete. Runtime firing remains per-slice; only the visualization/export layer folds.

Brownfield cook replaces the reserved stub with resolveCookMode: .brunch/cook/plan.yaml triggers git-backed sandbox init (clean-tree gate, parent cook/<runId> worktree, per-slice cook-slice/<runId>/<sliceId> worktrees plus CoW copy of untracked deps). Cook artifacts and docs move from .cook/ to .brunch/cook/; integration smoke asserts source repo byte-identical isolation.

Petri-net / Petrinaut alignment (FE-761–763) refactors branching into sibling transitions with EnablingGuard, splits long-running steps into dispatch → running → complete with deferred async handlers, routes halts via :halted places and token haltReason (replacing ctx.halted), and emits net.json / event JSONL from the engine when runDir is set (failures surface as run warnings, not hard failures).

Planning/spec docs (orchestrator.md, PLAN.md, SPEC.md) and a new docs/praxis/orchestration-guide.md record codebase mode, Petrinaut integration track, and cook-on-brunch workflow.

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

[kostandinang]

• FE-764: Brunch<> Petrinaut stream — ephemeral orchestrator hosted SSE server #165
• FE-784: Petrinaut export: colour-fold per-slice subnet #160 👈 (View in Graphite)
• FE-763: Petrinaut event stream — initial markings + transition firings #158
• FE-762: Petrinaut-format JSON export of the compiled net #157
• FE-761: Petri-net semantic alignment for Petrinaut visualization #156
• FE-755: Cook codebase mode for brownfield brunch #155
• FE-747: Declarative output routing for branching transitions #154
• FE-745: Epic-scoped sandbox merge for verify-epic #152
• FE-743: Petri parallel execution with resource pools and per-slice sandboxes #149
• FE-738: Petri semantic lanes with two-lane subnet and engine factory #148
• FE-730: Greenfield orchestrator POC with pi-agent dispatch #143
• main

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

[augmentcode]

🤖 Augment PR Summary

Summary: Implements FE-784 “color fold” for Petrinaut exports by collapsing per-slice subnets into a single slice-independent projection while preserving slice identity on per-token color.

Changes:

• Adds petrinaut-fold.ts with createNetFolding() (folded places/transitions/marking, transition id folding, and SliceColor token type)
• Updates serializeBlueprint to export folded topology + initial marking, adds tokenTypes and optional place typeId, bumps schema to 0.2.0
• Threads a single folding instance into the live Petrinaut event stream so exported net.json and emitted events fold identically
• Adds focused fold-rule tests and “divergence oracle” tests to pin which transitions remain per-slice
• Extends SDCPN export tests to validate naming/collision behavior on a real 2-slice folded net
• Updates PLAN/SPEC lexicon entries and retires memory/CARDS.md

Technical notes: Folding keeps certain dependency-gated transitions concrete (e.g. slice-ready, return-done) while folding uniform lifecycle transitions and moving slice identity to token color dimensions.

_{🤖 Was this summary useful? React with 👍 or 👎}

[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 5303ecc. Configure here.}