feat(v2.0.0): final convergence and trustworthy analysis contract

CHANGELOG.md

@@ -0,0 +1,23 @@
+# Changelog
+
+All notable released ProcFlow changes are recorded here. Detailed verification
+evidence belongs in the canonical release note under `docs/releases/`.
+
+## v2.0.0 — Trustworthy SQL Analysis Contract
+
+- Added the cross-dialect adversarial semantic qualification matrix and its
+  fixture-only `dialectAdversarialSemanticAssertionRate` metric.
+- Reject newer and corrupt saved workspace schemas without coercion, mutation,
+  or automatic deletion.
+- Finalised the v2 accuracy and compatibility contract.
+
+## v1.14.1 — Targeted correctness patch
+
+- Preserved named PL/pgSQL `LATERAL` sources.
+- Kept DB2 `PREPARE`/`EXECUTE` dynamic SQL opaque instead of asserting an
+  object read or procedure call.
+- Preserved unique sequential DB2 `SESSION.` temporary-table data flow.
+
+See [the v1.14.1 release note](docs/releases/v1.14.1.md) and the
+[accuracy audit](docs/ACCURACY_GAPS.md) for the reproductions and verification
+record.

README.md

@@ -21,6 +21,10 @@ browser: no backend, database connection, sign-in, or installation is required.
 > database compiler. Treat diagrams as investigation aids and verify important
 > findings against the source SQL and target database.
 
+> **Trust model:** ProcFlow v2.0.0 asserts semantic relationships only where
+> static evidence supports them. Dynamic and ambiguous regions stay explicit.
+> See [Accuracy](docs/ACCURACY.md) and the [v2 accuracy contract](docs/V2_ACCURACY_CONTRACT.md).
+
 ## Use cases
 
 - **DBAs:** review procedures, functions, triggers, views, transactions,
@@ -34,7 +38,7 @@ browser: no backend, database connection, sign-in, or installation is required.
 
 ## Quick start
 
-1. Download the `v1.14.1` runtime ZIP from the [GitHub release](https://github.com/ikelaiah/ProcFlow/releases/tag/v1.14.1), or clone this repository.
+1. Download the `v2.0.0` runtime ZIP from the [GitHub release](https://github.com/ikelaiah/ProcFlow/releases/tag/v2.0.0), or clone this repository.
 2. Open `index.html` in a current Chromium, Firefox, or Edge browser.
 3. Paste SQL or import local files, select a dialect or **Auto**, and choose
    **Refresh**.
@@ -66,7 +70,7 @@ in the browser.
 
 ## Supported dialects
 
-ProcFlow v1.14.1 supports Microsoft T-SQL, IBM DB2 SQL PL, PostgreSQL
+ProcFlow v2.0.0 supports Microsoft T-SQL, IBM DB2 SQL PL, PostgreSQL
 PL/pgSQL, and SQLite. Detection is automatic but can be overridden. Vendor
 extensions outside these tested constructs may produce diagnostics or reduced
 coverage; see [Accuracy](docs/ACCURACY.md).
@@ -90,7 +94,11 @@ suite, and hostile labels are escaped for diagram/XML output. Read the full
   packaging.
 - [Benchmarks](docs/BENCHMARKS.md) — scale fixtures and indicative observations.
 - [Release history](docs/RELEASES.md) — versioning and release notes.
-- [v1.14.1 release note](docs/releases/v1.14.1.md) — current patch details.
+- [Changelog](CHANGELOG.md) — concise release history and current qualification
+  status.
+- [v2.0.0 accuracy contract](docs/V2_ACCURACY_CONTRACT.md) — stable guarantees,
+  semantics, compatibility, and qualification evidence.
+- [v2.0.0 release note](docs/releases/v2.0.0.md) — current release details.
 - [Roadmap](ROADMAP.md) — planned convergence work.
 
 ## Contributing

ROADMAP.md

@@ -233,7 +233,7 @@ v1.11.0, item 4 → v1.12.0.**
 | v1.12.0 | Report import | README 4 (RDL import + dataset linking); E report diagnostics |
 | v1.13.0 | Report intelligence | report → dataset → object → column views; F report export |
 | v1.14.0 | Scale and convergence | large-graph layout; full regression; metrics finalization |
-| v2.0.0 | Final convergence | accuracy contract; README + release notes; all fixtures green |
+| v2.0.0 | Final convergence | final accuracy contract; adversarial semantic matrix + metric; future-schema compatibility; README + release notes |
 
 ### v1.1.0 — Trustworthy semantic foundation
 
@@ -421,13 +421,17 @@ v1.11.0, item 4 → v1.12.0.**
 
 ### v2.0.0 — Final convergence
 
-- **Ships:** the v2.0.0 accuracy contract; README and release notes updated to
-  the contract; final verification that workstreams P and A–F and every README
-  post-v1.0.0 item scheduled here are delivered.
-- **Deferred:** nothing — this is the convergence release.
-- **Exit criteria:** all unaffected v1.0.0–v1.14.0 fixtures pass unchanged;
-  intentional corrected goldens are documented with their accuracy rationale;
-  every roadmap item is delivered and documented; full CI gate green.
+**Delivered in v2.0.0.**
+
+- **Accuracy contract:** finalised in `docs/V2_ACCURACY_CONTRACT.md` with
+  conservative semantic edge, provenance, diagnostic, confidence, export, and
+  local-first privacy guarantees.
+- **Adversarial qualification:** 15 synthetic cross-dialect cases assert 56
+  required and forbidden semantics. The checked-in v2 metric publishes
+  `dialectAdversarialSemanticAssertionRate = 1.0` with transparent counts.
+- **Workspace compatibility:** schema 2 migration remains deterministic for
+  older snapshots; unsupported future and corrupt saved workspaces are rejected
+  non-destructively until the user explicitly forgets them.
 
 ## Test and verification strategy