pub(all) struct CitationEdge {
  claim_index : Int
  source_id : String
  call_id : String?
  line : Int
  evidence_status : String
} derive(ToJson)

pub(all) struct CitationNote {
  claim : String
  quote : String
  url : String
  line : Int
} derive(ToJson)

pub(all) struct CitationNotes {
  notes : Array[CitationNote]
  diagnostics : Array[Diagnostic]
} derive(ToJson)

pub(all) struct Diagnostic {
  line : Int
  code : String
  message : String
} derive(ToJson)

pub(all) struct DocumentCoveragePolicy {
  max_skipped_web : Int?
  max_unbound_snippets : Int?
} derive(ToJson)

pub(all) struct DocumentProjectConfig {
  version : Int
  paths : Array[String]
  exclude : Array[String]
  baseline : String?
  strict : Bool
  online : Bool
  coverage : DocumentCoveragePolicy
} derive(ToJson)

pub(all) struct DocumentProjectConfigResult {
  config : DocumentProjectConfig?
  diagnostics : Array[Diagnostic]
} derive(ToJson)

pub(all) struct DocumentReference {
  line : Int
  source : String
  kind : String
  excerpt : String?
} derive(ToJson)

pub(all) struct DocumentReferences {
  references : Array[DocumentReference]
  diagnostics : Array[Diagnostic]
  warnings : Array[Diagnostic]
  unbound_snippets : Int
} derive(ToJson)

pub(all) struct DocumentSnapshot {
  version : Int
  entries : Array[DocumentSnapshotEntry]
} derive(ToJson, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct DocumentSnapshotChange {
  document : String
  source : String
  kind : String
  excerpt : String?
  change : String
  previous : String?
  current : String?
} derive(ToJson)

pub(all) struct DocumentSnapshotEntry {
  document : String
  source : String
  kind : String
  excerpt : String?
  observed : String
} derive(ToJson, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct DriftReport {
  old_run_id : String?
  new_run_id : String?
  old_valid : Bool
  new_valid : Bool
  unchanged_count : Int
  changes : Array[SourceChange]
  old_diagnostics : Array[Diagnostic]
  new_diagnostics : Array[Diagnostic]
} derive(ToJson)

pub(all) struct LiveCitationMatch {
  source_id : String
  claim_index : Int
  quote_present : Bool
} derive(ToJson)

pub(all) struct Report {
  run_id : String?
  event_count : Int
  call_count : Int
  source_count : Int
  claim_count : Int
  verified_citation_count : Int
  sources : Array[SourceRecord]
  citations : Array[CitationEdge]
  diagnostics : Array[Diagnostic]
} derive(ToJson)

pub(all) struct SelectedSource {
  ok : Bool
  text : String
  code : String
} derive(ToJson)

pub(all) struct SourceChange {
  kind : String
  uri : String
} derive(ToJson)

pub(all) struct SourceRecord {
  id : String
  uri : String
  title : String?
  call_id : String
  line : Int
  content_present : Bool
} derive(ToJson)

fn bounded_document_text(text : String) -> String

fn check_live_source_quotes(input : String, uri : String, live_content : String) -> Array[LiveCitationMatch]

fn compare_document_snapshots(previous : DocumentSnapshot, current : DocumentSnapshot) -> Array[DocumentSnapshotChange]

fn compare_jsonl(old_input : String, new_input : String) -> DriftReport

fn document_excerpt_matches(content : String, excerpt : String, kind : String) -> Bool

fn document_path_has_glob(path : String) -> Bool

fn document_path_pattern_matches(pattern : String, path : String) -> Bool

fn document_source_context(content : String, excerpt : String, kind : String) -> String

fn markdown_heading_slug(title : String) -> String

fn normalize_document_path_pattern(path : String) -> String?

fn normalize_web_text(input : String) -> String

fn parse_citation_notes(input : String) -> CitationNotes

fn parse_document(input : String) -> DocumentReferences

fn parse_document_project_config(input : String) -> DocumentProjectConfigResult

fn parse_markdown_report(input : String) -> CitationNotes

fn quote_appears_in_text(source : String, quote : String) -> Bool

fn select_document_source(content : String, fragment : String) -> SelectedSource

fn source_snapshot_matches(input : String, uri : String, live_content : String) -> Bool

fn valid_document_path_pattern(path : String) -> Bool

fn validate_evidence_jsonl(input : String) -> Report

fn validate_jsonl(input : String) -> Report