Implement L4-L6: financial/entity collections, ingest bridge, entity proofs

L4: Financial transaction collection — GQL test vectors for chain analysis,
    aggregate flow queries, anomaly detection, date-range filtering
L5: Entity collection + co-reference resolution — Idris2 dependent-type proofs:
    merge reversibility, alias uniqueness invariant, Jaro-Winkler threshold
    validity, EntityType injectivity with full DecEq (zero believe_me)
L6: Ingest bridge — GraphQL schema (bofig_ingest.graphql), gRPC proto
    (bofig_ingest.proto), OpenAPI REST endpoints for Docudactyl Cap'n Proto
    batch import with progress tracking and dedup

6 files, 1762 insertions.

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

Author: hyperpolymath