docs(roadmap): record E1, the fUML referee and the state-executor findings as landed on develop

[devin-ai-integration]

What and why

docs/project/roadmap.md is brought up to develop at fcfb0a7b9 (#352), 64 pull requests past v0.8.0. The previous refresh (#329) stopped at #318; #352 itself rewrote the E1 section and the Track E sequencing, and this change records everything else that moved a roadmap item since, without changing the roadmap's structure or reopening any item.

• Baseline header and "Suggested sequencing" intro — the head, the count, and the list of pull requests that moved an item: E1 (feat(runtime): execute terminate in actions #335, feat(runtime): terminate an occurrence, a state's behavior or the state machine, and run the PSSM terminate tests #352), modeled randomness beside A3 (feat(runtime): stochastic execution — weighted successions, seeded random draws, Monte Carlo runs #344), the fUML referee (feat(fuml): provision the fUML reference implementation and its expected-record #319, feat(fuml): read the fUML test models and classify every activity #321, feat(fuml): referee the action executor against the fUML test activities #334), R4's installer wizard (feat(msi): install through a setup wizard with a destination-folder page #350), the errata overlay (feat(errata): declare the standard library's dimension defects and correct the unambiguous ones #304), and the state-executor fixes and findings (fix(runtime): fire a join's segments with their own trigger bound and undo a refused join whole #322, docs(referee): attribute every remaining PSSM failure to a note row or a finding #326, fix(runtime): run a segment's effect after the entry of the state declaring its pseudostate #336, docs(design): recording the order of orthogonal regions as choice points #342). The "open against develop" list drops feat(fuml): provision the fUML reference implementation and its expected-record #319 and fix(runtime): fire a join's segments with their own trigger bound and undo a refused join whole #322 (merged) and names feat(stressmodel): generate the satellite network as a fleet of occurrences #308, feat(repl): analyze each loaded file as a workspace document of its own #309, perf(model): parse, index and validate a load's files on a pool of workers #312 and docs: document SysML v1 migration on the API, guide and roadmap #327; release: 0.8.1 — bug fixes since 0.8.0 and the open VS Code extension changes #347 (release/0.8.1, against main) is named as a release that moves no item.
• Where the repository stands — the build-time figures re-quoted at the head (1013 conformance cases, 307 + 80 trace goldens, 493 robustness cases, 208 golden ASTs) and a note that chore(ci): count test-suite figures at site build and register robustness cases per feature #345 spread the robustness cases over TestRuntimeRobustness* functions, so the tag table's single-function figure and the block are one census.
• R4 — feat(msi): install through a setup wizard with a destination-folder page #350's setup wizard, and that the next tag's .msi is the first to run it.
• Upstream follow-through — #790 and #794 fixed upstream; the nine quantity-library dimension defects added to the drafted-not-filed list and tied to feat(errata): declare the standard library's dimension defects and correct the unambiguous ones #304's overlay.
• A3 — what feat(runtime): stochastic execution — weighted successions, seeded random draws, Monte Carlo runs #344 added (weighted decisions, random functions on a separate stream, recorded draws, %runs), and what it left unweighted.
• Proposed › the pilot as an execution referee — rewritten from "feat(fuml): provision the fUML reference implementation and its expected-record #319 open" to the landed three-step fUML referee with its baseline (15 pass / 0 fail / 36 not-expressible / 4 differs-by-design) and the emitter's remaining not-expressible constructs.
• What remains open / Cross-cutting order — the 17 PSSM failures are all attributed (docs(referee): attribute every remaining PSSM failure to a note row or a finding #326); nine wait on the region-order choice point whose design record (docs(design): recording the order of orthogonal regions as choice points #342) stops at two maintainer decisions, named as the largest lever beside E2 and independent of it. The release paragraph now distinguishes release/0.8.1 (a patch cherry-picked from v0.8.0, release: 0.8.1 — bug fixes since 0.8.0 and the open VS Code extension changes #347) from the next cut from develop, which stays a minor bump; E1 is added to the reasons (a terminate statement v0.8.0 ran as an empty action now ends its performance).
• What released / Track W — the VS Code diagram panel's growth (feat(lsp): run a drawn behavior and report it in render IDs #294, feat(vscode): move a declaration by dropping its node on another with Shift held #305, feat(edit): write diagram layout into the document declaring its holder #307, feat(vscode): open a model file's diagram beside it by default #348, feat(vscode): choose the view on Open Diagram and show several views of a document at once #349) recorded as not touching a form item.

#327 (open) adds a D13 section and touches the Track D line of "What released"; this change does not edit those lines.

How it was verified

• make docs-check (link checker, internal-label hygiene, quoted oracle figures, changelog fragments, census and suite-figure tests) passes.
• go run ./cmd/doc-counts -check: already current.
• mkdocs build --strict builds clean.
• The quoted figures come from go run ./cmd/doc-counts -site-blocks at fcfb0a7b9, the PSSM buckets from docs/project/pssm-referee-baseline.json, the fUML buckets from docs/project/fuml-referee-baseline.json, and the merge count from git log --first-parent v0.8.0..develop.

Checklist

• make test and make lint pass locally (documentation-only change; make docs-check is the gate that applies)
• Tests added or updated for the change (none: documentation only)
• Documentation extended where it already covers the surface (see CONTRIBUTING.md)
• Changelog entry added as changes/unreleased/<slug>.<section>.md, not as an edit to CHANGELOG.md (project-record change; the roadmap has never carried a fragment)
• baselines regenerated and make docs-counts run if a gate count moved (compliance rows need nothing: the census is counted at docs build)
• No internal work-item labels (waves, slices, F4, K5) in the body, docs, or changelog

[devin-ai-integration]

🤖 Devin AI Engineer

I'll be helping with this pull request! Here's what you should know:

✅ I will automatically:

• Address comments on this PR. Add '(aside)' to your comment to have me ignore it.
• Look at CI failures and help fix them

Note: I can only respond to comments from users who have write access to this repository.

⚙️ Control Options:

• Disable automatic comment, CI, and merge conflict monitoring