docs: update for new crate layout

docs/adr/0007-no-repositories-in-presentation.md

@@ -146,3 +146,5 @@ naming the exact file and line, before reverting.
 - `CONTRIBUTING.md`'s architecture rules were updated in this same commit to stop describing use cases
   as taking `&AppContext` (a claim already false before this plan) and instead describe the
   `&FooDeps`-struct convention this ADR documents.
+
+Now at `crates/adapters/http-axum/src` (was `crates/presentation/src`); see [ADR-0014](0014-http-adapter-and-one-refusal-shape.md).

docs/adr/0008-presentation-names-renderers-not-reachers.md

@@ -263,3 +263,5 @@ recorded under Known follow-ups below, which is also pre-existing.
 ---
 
 Superseded in part by [ADR-0012](0012-sqlite-is-the-only-backend.md): the postgres backends, crates and features mentioned above no longer exist; SQLite is the only backend.
+
+Now `make check-http-adapter-deps` over `crates/adapters/http-axum/Cargo.toml` (was `check-presentation-adapters`); see [ADR-0014](0014-http-adapter-and-one-refusal-shape.md).

docs/adr/0009-federation-is-optional-at-the-dependency-level.md

@@ -369,3 +369,5 @@ still fails with the same two pre-existing errors. This branch neither fixed nor
 ---
 
 Superseded in part by [ADR-0012](0012-sqlite-is-the-only-backend.md): the postgres backends, crates and features mentioned above no longer exist; SQLite is the only backend.
+
+Now `make check-sqlite-is-ap-free` (was `check-social-crates-are-ap-free`); the sqlite social crates merged into `crates/adapters/sqlite`.