///|
fn main {
  let report = @harborcheck.audit(@harborcheck.example_snapshot())
  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",
  )
  let identity_report = @harborcheck.acceptance_identity_report(
    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 =
    #|```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(
    "HarborCheck " + report.verdict + " " + report.score.to_string() + "/100",
  )
  println("package=" + report.package_name)
  println("doc-proof=" + proof.verdict)
  println("identity-proof=" + identity_report.verdict)
}