Bourse.OracleProvenance (bourse v0.1.0)

Derives and compares binary oracle provenance from committed reality evidence.

Summary

ledger_entry()

Builds the exact verified-slot baseline for the binary oracle gate.

Returns exact-set differences between current binary reports and the committed baseline.

Derives binary verified/unverified reports from committed reality.

Parses explicit authored-slice markers from the open ledger section.

Returns open-ledger conflicts for semantically verified production claims.

@type ledger_entry() :: %{heading: String.t(), slots: [{String.t(), String.t()}]}

@spec binary_baseline([Bourse.OracleProvenance.Derivation.venue_report()]) :: map()

Builds the exact verified-slot baseline for the binary oracle gate.

@spec binary_baseline_differences(
  [Bourse.OracleProvenance.Derivation.venue_report()],
  map()
) :: [
  String.t()
]

Returns exact-set differences between current binary reports and the committed baseline.

@spec binary_reports!(keyword()) :: [
  Bourse.OracleProvenance.Derivation.venue_report()
]

Derives binary verified/unverified reports from committed reality.

@spec open_ledger_entries(String.t()) :: [ledger_entry()]

Parses explicit authored-slice markers from the open ledger section.

@spec tier_one_ledger_conflicts([Bourse.OracleProvenance.Derivation.venue_report()], [
  ledger_entry()
]) ::
  [String.t()]

Returns open-ledger conflicts for semantically verified production claims.