evidence-kernel

The calculator built for AI. JACKAL is a deterministic math kernel agents call instead of guessing; every answer says what kind of answer it is: exact, bounded, checked, estimated, or refused with a reason. This Omarchy plugin is its mission control: bar pill, dropdown and cockpit with live call ledger, probes, graph deck and receipt verification.

A witness-governed research stack bridging analogue, digital, and formal systems through Self Referential Neural Network(SRNN) cognition, evidence contracts, and reference runtimes.