# VWDC-02 — Compositional Visual–World Reachability Graphs

## Core graph

$$
G_{\mathrm{VW}}
=
(
V,E,\tau,\sigma
).
$$

## Core typed bridge

```text
Task
 -> GENERATE -> Visual
 -> LIFT -> WorldCandidate
 -> VALIDATE -> RunnableWorld
 -> FORK / INTERVENE
 -> RENDER -> Visual
 -> EVALUATE -> Evidence
```

## Core composition result

$$
\boxed{
\text{multi-stage reachability can strictly exceed one-stage provider union}.
}
$$

## Core cycle distinction

$$
\boxed{
\text{productive type-level iteration}
\neq
\text{exact state-return cycle}.
}
$$

## Core evidence rule

$$
\boxed{
\text{deterministic derived artifacts}
\not\Rightarrow
\text{independent evidence}.
}
$$

## Package contents

- canonical paper;
- literature audit;
- roadmap;
- VWDC-03 handoff;
- theorem index;
- tests;
- validation;
- checksums.