///|
fn main {
  let report = @reviewproof.audit(@reviewproof.example_snapshot())
  let identity = @reviewproof.SubmissionIdentity(
    applicant_name="武步",
    phone="19733880451",
    email="wubu1234@qq.com",
    github_owner="WB-ai-nb",
    repository_name="harborcheck",
    mooncakes_owner="WB-ai-nb",
    package_name="reviewproof-kit",
  )
  let identity_report = @reviewproof.acceptance_identity_report(
    identity,
    @reviewproof.example_snapshot(),
    "武步 19733880451 wubu1234@qq.com",
    git_user_name="WB-ai-nb",
    git_user_email="wubu1234@qq.com",
    git_remote="https://github.com/WB-ai-nb/harborcheck.git",
  )
  let markdown =
    #|```moonbit
    #|fn main {
    #|  println("verified")
    #|}
    #|```
    #|
  let proof = @reviewproof.doc_proof(markdown, [
    @reviewproof.SourceEvidence(
      name="ReviewProof source",
      kind=@reviewproof.OwnedCode,
      license="MIT",
      note="Original MoonBit implementation by 武步",
    ),
  ])
  let review = @reviewproof.review_feedback_response(
    @reviewproof.example_review_feedback(),
  )
  let dossier = @reviewproof.resubmission_dossier(
    @reviewproof.example_dossier_profile(),
  )
  let boundary = @reviewproof.boundary_matrix_report(
    @reviewproof.example_boundary_matrix(),
  )
  println(
    "ReviewProof " + report.verdict + " " + report.score.to_string() + "/100",
  )
  println("package=" + report.package_name)
  println("doc-proof=" + proof.verdict)
  println("identity-proof=" + identity_report.verdict)
  println("review-proof=" + review.verdict)
  println(@reviewproof.dossier_summary_line(dossier))
  println(@reviewproof.boundary_summary_line(boundary))
}