Crosswake.Doctor.FindingPolicy (crosswake v0.1.0)

View Source

Central Phase 18 finding taxonomy for proof posture and support-claim severity.

Summary

Types

shell_proof_status()
support_status()

Functions

shell_proof(atom, label, script_path)
support_claim(atom)

Types

shell_proof_status()

@type shell_proof_status() :: :passed | :failed | :missing | :verification_required

support_status()

@type support_status() :: :supported | :verification_required

Functions

shell_proof(atom, label, script_path)

@spec shell_proof(shell_proof_status(), String.t(), String.t()) ::
  {atom(), String.t(), String.t()}

support_claim(atom)

@spec support_claim(support_status()) :: {atom(), String.t(), String.t(), String.t()}