EXPLAINME.adoc

VeriSimDB Data Repository — Show Me The Receipts

Table of Contents

• Technology choices (Purpose 2 — ABI)
• File map
• Related
• Questions?

The README makes claims. This file backs them up.

This repository serves two explicit purposes: (1) a flat-file data store for panic-attacker scan results, hardware-crash-team findings, and drift snapshots; (2) an ABI dogfood site for the hyperpolymath Idris2 + Zig ABI shared with proven, burble, gossamer.

— README

See docs/decisions/ADR-0001-repo-purpose.adoc for why both purposes live in one repo.

Technology choices (Purpose 2 — ABI)

Technology	Learn More
Zig	https://ziglang.org
Idris2 ABI	https://www.idris-lang.org

The Zig FFI implementation lives in ffi/zig/ and follows the same pattern as proven, burble, and gossamer.

File map

Path	What’s there	Purpose
scans/	Per-repo scan results (JSON; ~301 files)	data
dispatch/	Dispatch records	data
patterns/	Drift / scan pattern definitions	data
recipes/	Ingest and aggregation recipes	data
outcomes/	Outcome records	data
policy/	Storage and retention policy notes	data
health/	Health-state snapshots	data
index.json	Master index of stored data	data
ffi/zig/	Zig FFI implementation	ABI dogfood

Related

verisimiser (https://github.com/hyperpolymath/verisimiser) is the augmentation CLI; this repo holds its scan/drift output but is not a runtime dependency.

Questions?

Open an issue or reach out directly — happy to explain anything in more detail.