d2`, `diagramForm:
+ "d2"`): a ` ```d2 ` fence in Markdown, `` in HTML, and in a PDF the figure drawn
+ by the `d2` executable that `OPENSYSML_D2` names (or `d2` on `PATH`), kept as source under a
+ notice without one. `scripts/download-doc-pdf-toolchain.sh` provisions a pinned D2.
+
+- **A data-import demo.** `examples/data-import-demo` imports a Python script's CSV, JSON, JSON Lines and TSV output into a rover model with `-import … -convert sysml -o`, a mapping file for the JSON report, `-import-dry-run` and `%import`.
+
+- **`-import` and `%import` set feature values from CSV, TSV, JSON and JSON Lines files.** Each row names an element and the values its features take, with units as `mass [kg]`; a declared value is replaced and an inherited one redefined, including a feature reached through an inherited part (`Fleet::car1::engine`) or an alias. An optional JSON mapping file maps differently named columns and nested fields, each `-import-map` and `-import-format` qualifying the `-import` before it, and `-import-dry-run`/`dry-run` previews the edit. JSON numbers and Booleans may be written as strings. The file is checked whole and applied as one edit, so a row, value or unit the model refuses leaves it unchanged; `-convert sysml -o` writes the imported model. See `docs/manual/importing-data.md`.
+
+- **`MigrationMetadata::DeferredKeeper` marks the keeping accept of a deferred signal.** The SysML v1 migrator and the PSSM referee write the accept of each keeping loop of the standard deferred-signal encoding as `#MigrationMetadata::DeferredKeeper action receive accept kept : Sig;`, so the accept that keeps the signal for the state is declared rather than recognized by its shape. An accept node takes prefix metadata like any other usage (`#M action a accept e : E;`), as the grammar's `PrefixMetadataMember` allows.
+- **The `deferred-keeper-unmarked` lint reports a keeping loop written without the marker.** An accept of a deferred signal at the root of the do action of a state annotated `MigrationMetadata::DeferredEvent` where no accept of that signal carries `MigrationMetadata::DeferredKeeper` — the shape the migrator wrote before the marker existed, not an ordinary consumer written beside a marked keeper — is reported as a warning in every mode, since the runtime now runs it as an ordinary accept that consumes the occurrence rather than keeping it; the model still analyses and runs, and re-migrating it or writing the marker on the accept clears the warning. The annotations are known by their resolved type, however the model spells them. The lint is switched off like the others, by its code.
+
+- The SysML v1 migrator writes a DocGen `TableExpressionColumn` written in an OCL subset — navigation chains, `->size()`, `->select`, `->exists`, `->collect`, `oclAsType`, `=`/`<>`, `and`/`or`/`not`, literals — as a `Column` computed over the row when the document's queries run: `_typedElementOfType->size()` counts the features typed by the row, a connector's `end…propertyPath` walks the ends' feature chains to the parts they pass through, their types and flow direction. An expression outside the subset is still refused with the expression quoted.
+- A DocGen column whose own chain collects before it reads (`CollectOwnedElements`, `CollectTypes`, a metaclass, stereotype or name filter, then `Name`/`Documentation`) is written as a `Column` applying the chain's query operations to the row and reading the attribute of every element collected; a step with no query spelling, or whose result only the elements known at migration spell (`CollectByAssociation`), keeps refusing the column with the step quoted.
+- A DocGen `StructuredQuery` or `Dynamic View` with `loop = true` is written once per element the chain collected, each pass over that element alone — one table (list, figure) per element behind its bullet, or one section per element when `createSections` is set — instead of one table over all of them.
+- `DocumentQueries::Distinct` keeps each element of a collection once, in first-seen order, and the query evaluator runs the standard library's `SequenceFunctions` and `ControlFunctions` (`size`, `last`, `excluding`, `select`, `collect`, `exists`, …) over row-relative collections in a `Column` cell — a connection's `connectorEnd`, an end's `chainingFeature`, `RelatedElements(source = row, …)`.
+
+- **The documentation site gains a Downloads page** listing release artifacts and
+ package-manager routes.
+
+- **The in-browser engine can render declared views and targeted pseudo-views, with ports and edge endpoint pins in both engine and language-server render data.** Diagram clients can draw a visitor's edited model from the same semantic rendering used by the workspace.
+
+- **A design note on exact Rational values beside a binary64 Real** (`docs/internals/design/exact-rational-literals.md`). It maps where a number is represented today — a `LiteralReal` rounds to a `float64` in `ParseReal`, `RealArith` and `IntQuotient` compute in binary64, `FormatReal` prints the shortest round-tripping decimal — against the two references, the pinned pilot (binary64, so `0.1 + 0.2` is `0.30000000000000004`) and sysml-toolkit (exact, so `0.3`), proposes a `big.Rat` value kind for literals and `Rational`-typed features with the `Real` type as the one place rounding enters, costs it against the tree, and recommends leaving the arithmetic as it is unless the project adopts toolkit parity as a conformance goal. No evaluator behavior changes.
+
+- **Return state-machine execution traces from the service, clients, and browser engine.** Opt-in traces expose typed event, state, transition, and choice records for a single run; a failed run keeps the records made before the failure on the client's execution error.
+
+- **A `GeneralView` draws the requirement, definition and usage, and package graphs its filters select.** A GeneralView whose element filters name the metaclasses the OMG library lists for a specialization — `filter @SysML::RequirementUsage;`, `expose P::**[@SysML::Definition or @SysML::Usage];`, `filter @SysML::Package;`, or an `or` of them — is drawn as a graph of nodes and edges in `text`, `mermaid`, `dot`, `plantuml` and `d2`, under the Pilot and Cameo styles and the palettes: requirements with their id and text and the satisfy, verify, derive, refine, allocate, specialization and typing edges between them; definitions and usages with specialization, typing, composition and reference edges; packages with containment and imports. An unfiltered GeneralView, and one whose filters are of any other shape, stays the containment tree it was. An opt-in `verdicts` overlay — `-render-overlay verdicts`, `%render