docs(verification): record post-merge DSL status

[satran004]

Summary

• record PRs feat(verification): stabilize the typed verification DSL (E.4-E.6) #89 and feat(verification): establish canonical DSL schema 1 #90 as landed
• describe canonical julc.verification.dsl schema 1 as the current public contract
• retain schemas 1-10 only as historical unreleased milestone evidence formats
• close stale manual-review status markers on integrated verification ADRs
• update the integration-branch ledger for future work from main

Validation

• git diff --check
• documentation-only change; no compiler, verification runtime, or UPLC behavior changes

Notes

Historical E.4 milestone sections still name their original experimental schema gates where that provenance matters. They are now explicitly distinguished from the supported public schema 1 contract.