feat: July-1 credibility — honest gaps, temporal reconstruction, VCLTGate

A1: at_time now reconstructs Octad from snapshot instead of returning
    current state; adds regression test for historical version retrieval.

A4/A7: README and docs corrected (haversine not R-tree, auth-disabled
    warning, known issues #29–31); CLAUDE.md machine_readable section
    matches actual directory layout.

A5/A6: unused burn dep removed; duplicate CHANGELOG.md deleted.

A2/A3 (prior): TXN endpoints return 501; ZKP surface rebranded.

C: VCLTGate Elixir module + vclt_gate_test (VERISIM_VCLT_GATE env var,
    JSON payload to temp file, exit-0/1/2 semantics); wired into
    VCLExecutor.execute_string via gate_check — mutations bypass gate.

Infra: bolt_sips removed (unused, OTP-25-incompatible protocol module);
    hackney/tzdata unlocked as now-unused transitives; parse_trans bumped
    to 3.4.2; rust_core_timeout lowered to 2s in test env so GenServer
    handle_call returns before the 5s caller timeout.

Fixes: Resolver.register/deregister Rust notifications made async to
    prevent GenServer blocking under unavailable core; Task.yield_many
    timed-out tasks killed non-blocking (unlink+demonitor+exit); type
    warnings for RustClient.normalize/:ok and delete_octad/:ok corrected.

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

Author: hyperpolymath

.claude/CLAUDE.md

@@ -8,10 +8,13 @@ VeriSimDB (Veridical Simulacrum Database) is a cross-system **identity-consonanc
 
 ## Machine-Readable Artefacts
 
-The following files in `.machine_readable/` contain structured project metadata:
-- `STATE.scm` - Current project state and progress
-- `META.scm` - Architecture decisions and development practices
-- `ECOSYSTEM.scm` - Position in the ecosystem and related projects
+`.machine_readable/` contains a2ml/Nickel estate spec artefacts:
+- `6a2/` — L1 specs: `STATE.a2ml`, `META.a2ml`, `ECOSYSTEM.a2ml`, `PLAYBOOK.a2ml`, `AGENTIC.a2ml`, `NEUROSYM.a2ml`, `0-AI-MANIFEST.a2ml`
+- `contractiles/` — per-repo contracts: `must/`, `trust/`, `intend/`, `adjust/`, `dust/`, `bust/`
+- `bot_directives/` — per-bot directives (echidnabot, hypatia, finishbot, …)
+- `anchors/` — anchor declarations
+- `svc/` — service-level specs
+- `ENSAID_CONFIG.a2ml` — top-level estate config
 
 ## Architecture
 
@@ -159,7 +162,7 @@ An Octad is one entity with 8 synchronized representations:
 - **Document**: Full-text searchable content
 - **Temporal**: Version history and time-series
 - **Provenance**: Origin tracking, transformation chain, actor trail (implemented — hash-chain integrity, actor search)
-- **Spatial**: Geospatial coordinates, geometries, proximity queries (implemented — R-tree index, radius/bounds/nearest search)
+- **Spatial**: Geospatial coordinates, geometries, proximity queries (implemented — haversine brute-force; R-tree index planned)
 
 ### Drift Detection
 Drift is measured as divergence between modalities: