[codex] update overlap docs example and local resolve note

README.md

@@ -88,7 +88,7 @@ function main(β = 10, ωmax = 8, ε = 1e-6)
     ρ₀(ω) = 2/π * √(1 - clamp(ω, -1, +1)^2)
 
     # Compute the IR basis coefficients for the non-interacting propagator
-    ρ₀l = overlap.(basis.v, ρ₀)
+    ρ₀l = overlap(basis.v, ρ₀)
     G₀l = -basis.s .* ρ₀l
 
     # Self-consistency loop: alternate between second-order expression for the

development.md

@@ -27,6 +27,16 @@ using Documenter
 include("docs/make.jl")
 ```
 
+If `Pkg.instantiate()` fails because a local `Manifest.toml` has fallen out of sync
+with `Project.toml`, run `Pkg.resolve()` and then retry `Pkg.instantiate()`:
+
+```julia
+using Pkg
+Pkg.activate(".")
+Pkg.resolve()
+Pkg.instantiate()
+```
+
 ### Using Local libsparseir for Development
 
 During development, you may want to use a locally built version of `libsparseir` instead of the pre-built JLL package. This allows you to test changes to the C API immediately.
@@ -241,4 +251,3 @@ Profile.print()
 3. Ensure all tests pass
 4. Build documentation
 5. Create and push a tag
-

docs/src/guide.md

@@ -41,7 +41,7 @@ U = 1.2
 ρ₀(ω) = 2/π * √(1 - clamp(ω, -1, +1)^2)
 
 # Compute the IR basis coefficients for the non-interacting propagator
-ρ₀l = overlap.(basis.v, ρ₀)
+ρ₀l = overlap(basis.v, ρ₀)
 G₀l = -basis.s .* ρ₀l
 
 # Self-consistency loop: alternate between second-order expression for the
@@ -353,7 +353,7 @@ julia> U = 1.2
 julia> ρ₀(ω) = 2/π * √(1 - clamp(ω, -1, +1)^2)
 ρ₀ (generic function with 1 method)
 
-julia> ρ₀l = overlap.(basis.v, ρ₀)
+julia> ρ₀l = overlap(basis.v, ρ₀)
 20-element Vector{Float64}:
   0.601244316541724
   1.3444106938820255e-17
@@ -522,7 +522,7 @@ function main(; β=10.0, ωmax=8.0, ε=1e-6)
     ρ₀(ω) = 2 / π * √(1 - clamp(ω, -1, +1)^2)
 
     # Compute the IR basis coefficients for the non-interacting propagator
-    ρ₀l = overlap.(basis.v, ρ₀)::Vector{Float64}
+    ρ₀l = overlap(basis.v, ρ₀)::Vector{Float64}
     G₀l = -basis.s .* ρ₀l
 
     # Self-consistency loop: alternate between second-order expression for the