Registry for tracking which functions are covered by which tests.

This namespace provides the foundation for transitive test coverage proofs.
Tests declare which functions they cover via the :covers metadata in the
specification macro, and this registry tracks those declarations.

The :covers metadata is a map of {fn-symbol signature-string} where the
signature is a short hash of the function's source code at the time the
test was written/verified. This enables staleness detection when functions
change.

Cross-platform instrumentation functions for mock validation.
These wrap stub functions to validate args/return against Malli schemas or Clojure Specs.

Tools for verifying transitive test coverage proofs.

This namespace provides functions to verify that a function and all its
transitive dependencies have declared test coverage. This enables building
a provable chain of tests from low-level functions up to application logic.

Additionally, it supports staleness detection: when a function's source code
changes after a test was sealed, the coverage is marked as stale until the
developer reviews and re-seals the test.

Configuration:
Configuration is automatically loaded from `.fulcro-spec.edn` in the project root
when first needed. You can also use `configure!` to set options programmatically:

- :scope-ns-prefixes - set of namespace prefix strings to include (e.g. #{"myapp"})
- :enforce? - when true, when-mocking!! and provided!! will throw on missing coverage

Example .fulcro-spec.edn:
  {:scope-ns-prefixes #{"myapp" "myapp.lib"}
   :enforce? false}

Or programmatically:
  (proof/configure! {:scope-ns-prefixes #{"myapp"}})