feat: complete 5 remaining tasks — kanren FP suppression, GUI, storage, Chapel

1. Kanren: 6 new context-fact extractors (null_checked, schema_validated,
   enum_args, timeout_protected, path_canonicalized, constant_args) with
   cross-pattern detection and 10 new tests. All 10 suppression rules now
   have matching extractors, targeting ~8% → ~2-3% FP reduction.

2. GUI: File picker (text input + Load button), SystemImage viewer tab
   with color-coded health/risk indicators, TemporalDiff viewer tab with
   trend analysis and before/after comparison grids.

3. VeriSimDB storage: Exponential backoff retry (3 attempts), Bearer auth
   via VERISIM_API_TOKEN, batch push endpoint, query support, gateway
   health check with 30s cache.

4. Chapel: Fingerprint cache JSON parsing (loadFingerprintCacheFromFile),
   attack/adjudicate result integration back into RepoResult with crash
   counts and verdict strings.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: hyperpolymath