Plan-004 — Native formal source correspondence
Contents of the reviewed source bridge implementation plan.
# Plan-004 — Native formal source correspondence ## Contents - [Plan](plan.md) — scope, dependency ordering and verification. - [Task-007](tasks/Task-007-formal-source.md) — bridge and qualification. - [Log](log.md) — actual lifecycle events.