Techniques

Markings and metadata — claims with explicit meaning

Annotations, status and provenance carry distinct design claims. They must be read with their property and profile contracts.

ddn@1New DDN source
Open viewerOpen designerRun verifierDownload DDN

Why use it?

"This path must not exist" and "this box is a draft" are design facts; keeping them in the model means they export, diff and render under every theme — instead of living in someone's slide notes.

When it helps

Migration plans (forbidden legacy paths), drafts under review (tentative scope), machine-generated documents (generator provenance), and audit claims (assertions).

How to read it

What you need

Things to check

Scope of this diagram

Verification checks declared contracts and supplied information; it cannot establish facts about an unobserved external system.

Work with the converted example

  1. Open the viewer and select main. Inspect the rendered view and its source.
  2. Open the designer. Keep the selected profile and inspect its legal palette and property controls.
  3. Change one displayed title or an appropriate data value. Apply the edit and check the resulting diagram.
  4. Run the verifier and review its diagnostics before moving complete content into review.
  5. Download your edited DDN source to retain the change.

The example uses the indentation-based ddn-next-1 dialect. The language guide explains reusable definitions, dotted data rows and explicit property blocks.

Other views in this example