///|
fn main {
  let report = @reviewproof.audit(@reviewproof.example_snapshot())
  println(report.to_markdown())
  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",
  )
  println(
    @reviewproof.acceptance_identity_markdown(
      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 =
    #|# Usage
    #|
    #|```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 武步",
    ),
  ])
  println(proof.to_markdown())
  println(
    @reviewproof.review_feedback_markdown(
      @reviewproof.example_review_feedback(),
    ),
  )
  println(
    @reviewproof.resubmission_dossier_markdown(
      @reviewproof.example_dossier_profile(),
    ),
  )
  println(
    @reviewproof.boundary_matrix_markdown(
      @reviewproof.example_boundary_matrix(),
    ),
  )
}