Data and code for: Pressure-driven electrokinetic coupling as a sign-sensitive modifier of amyloid-β transport in charged basement membrane–extracellular space microdomains

Reproducibility package for the finite electric-double-layer (finite-EDL) electrokinetic transport results of the associated manuscript. Version v0.8 contains the FEniCSx-based nonlinear Poisson–Boltzmann workflow with package-relative paths, frozen inputs and accepted reference outputs, the exact numeric sources for Figure 2 and Table 1, a measured environment-identity snapshot, and SHA-256 checksums for every other included file; MANIFEST.sha256 is self-excluded. The F-axis R_EK curves (Figure 2) and F-zero brackets (Table 1) are reproduced by running the finite-EDL nonlinear Poisson–Boltzmann solver. The 18-point direct multivariate stress panel is deterministically materialized from frozen direct-run input JSON files and does not rerun the 18 direct PDE cases. In the measured WSL2 system-apt environment (dolfinx 0.10.0.post5, PETSc 3.24.4), the R4 solver output and the panel postprocessor outputs reproduce their respective accepted references byte-identically. The execution environment is identified but not bundled. See README.md for the run procedure, ENVIRONMENT_LOCK.md for the measured environment identity, RESULT_SOURCE_MAP.tsv for result provenance, and MANIFEST.sha256 for file checksums. This package supports computational reproducibility of the reported model results only. It does not constitute evidence of biological retention, clearance enhancement, therapeutic effect, device effect, in vivo effect, or tissue-level burden.