///|
fn main {
  let report = @harborcheck.audit(@harborcheck.example_snapshot())
  println(report.to_markdown())
  let identity = @harborcheck.SubmissionIdentity(
    applicant_name="Project Applicant",
    phone="10000000000",
    email="owner@example.invalid",
    github_owner="WB-ai-nb",
    repository_name="harborcheck",
    mooncakes_owner="WB-ai-nb",
    package_name="docproof-harbor",
  )
  println(
    @harborcheck.acceptance_identity_markdown(
      identity,
      @harborcheck.example_snapshot(),
      "Project Applicant 10000000000 owner@example.invalid",
      git_user_name="WB-ai-nb",
      git_user_email="owner@example.invalid",
      git_remote="https://github.com/WB-ai-nb/harborcheck.git",
    ),
  )
  let markdown =
    #|# Usage
    #|
    #|```moonbit
    #|fn main {
    #|  println("verified")
    #|}
    #|```
    #|
  let proof = @harborcheck.doc_proof(markdown, [
    @harborcheck.SourceEvidence(
      name="HarborCheck source",
      kind=@harborcheck.OwnedCode,
      license="MIT",
      note="Original MoonBit implementation by the project applicant",
    ),
  ])
  println(proof.to_markdown())
}