Transitions.AaExecWhy: type of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
Lines 41-51 of bend-osdev-apparmor@0.1.0.0/transitions.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&start_line=41&end_line=51

import Base
import bend-osdev-apparmor@0.1.0.0/eval.bend as V

type AaExecWhy is Data:
  # the profile does not grant x on the path (the decision says how it refused)
  AaExecDenied{decision: V.AaDecision}
  # px or cx found no profile, and there is no fallback
  AaExecNoProfile{}
  # the matching rules give different exec modes or targets
  AaExecConflict{}
  # two attachments match equally well
  AaExecAmbiguous{}
  # the executing profile is not in the policy
  AaExecUnknown{}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/eval.bend&name=AaDecision