Experimental Livebook-friendly DSL for sketching requirements traceability models.

This Lab DSL compiles to the stable, pipe-first Choreo.Requirement builders and returns an ordinary %Choreo.Requirement{}. It is useful for quickly connecting requirements to stakeholders, implementation components, tests, and traceability links in design notebooks.

Examples

iex> import Choreo.Lab.DSL.Requirement
...> model = requirements "Auth v2" do
...>   security = stakeholder("Security Team")
...>   mfa = functional("Users must authenticate with MFA", id: "REQ-001", risk: :high)
...>   auth = component("Auth Service")
...>   mfa_test = test_case("MFA login test")
...>
...>   security ~> mfa |> traces("owns")
...>   auth ~> mfa |> satisfies("implements")
...>   mfa_test ~> mfa |> verifies("proves")
...> end
iex> model.name
"Auth v2"
iex> Enum.sort(Choreo.Requirement.requirements(model))
[:mfa]

Requirement constructors accept a text/label and can infer stable options for quick sketches:

mfa = requirement("Users must authenticate with MFA", id: "REQ-001")
perf = performance("p95 latency below 100ms", risk: :high)

Edges can use generic, typed, or pipe-modified forms:

auth ~> mfa |> satisfies("implements")
test ~> mfa |> verifies("covers")
child ~> parent |> refines("elaborates")
edge req_a ~> req_b, depends: "requires first"
contains parent ~> child, "breaks down"