An effort to reproduce the Geerts 2022 PBPK/QSP model with SBML and python. References: Geerts H, Walker M, Rose R, et al. A combined physiologically-based pharmacokinetic and quantitative systems pharmacology model for modeling amyloid aggregation in Alzheimer's disease. CPT Pharmacometrics Syst Pharmacol. 2023; 12: 444-461. doi:10.1002/psp4.1291
Public verification URL for QSP product contracts with compatibility guarantees, fail-closed enforcement, and deterministic trust exposure.
Stage369: Real Timestamp Verifier Runner with Production Receipt Generation. Runs or prepares OpenTimestamps/RFC3161 verifier commands and emits metadata receipts without final timestamp acceptance.
QSP Evidence Match Gate for verifying AI claims against reproduction evidence using target binding, evidence files, SHA256, and signatures.
Stage303 REMEDA product-style verification UI for readable trust decisions and evidence display.
REMEDA Stage308: Policy Versioning proves that decisions are bound to explicit policy versions and policy hashes.
REMEDA Stage327: structured reproduction evidence schema for AI vulnerability verification, target matching, SHA256 integrity binding, and third-party audit verification.
Stage356: Runtime Verification and Fail-Closed Execution Gate with Stage355 integrity binding, runtime decision enforcement, CI context detection, and PQC intent-only protection.
Verifiable audit evidence export package with JSON, HTML, PDF, signed history, and independent verification.
Stage271: External Review Linked Proof — signed, hash-linked, CI-verifiable review records on top of Stage270.
Stage373: Final Acceptance Attestation and External Transparency Binding Gate. Binds Stage372 result and manifest, prepares Sigstore/Rekor verification, and preserves ML-DSA as pending until real verification succeeds.
Persistent verification result URL UI with JSON storage, enabling shareable and reloadable verification records for QSP/VEP.
Stage361: Revocation Proof Injection Gate with Stage360 External Timestamp Binding. Adds OCSP, CRL, and signed revocation metadata receivers into the QSP evidence rail without false verified claims.
QSP product contract compatibility verification with explicit version-aware policy and stable backward-compatible semantics.
REMEDA Stage309: Verification History DB proving trust accumulation across policy evolution and Sigstore-based global verification.
REMEDA Stage329: submit-ready AI security audit artifacts built on Stage328 evidence match verification.
Stage354: Signature Key Rotation Ledger Layer with Stage178 Assumption, Threat Model, and Guarantee Binding. Transparent key lifecycle tracking, signature key status recording, ledger chaining, and PQC migration-aware verification metadata.
Stage355: Signature Key Status Verification and Revocation Enforcement Layer with signing-time validity checks, Stage354 ledger binding, fail-closed revoked-key rejection, and PQC intent-only protection.
Public Verification API for QSP/VEP returning decision, trust score, and evidence. Signing is local-only; public endpoint is verification-first.
Stage370: Runner Safety Brake Test Gate with Stage369 Receipt Generation Binding. Confirms bad commands, missing metadata, fake verified claims, and raw timestamp binary references fail safely before real timestamp acceptance.
To associate your repository with the qsp topic, visit your repo's landing page and select "manage topics."