Problem Reports Closed

warning

problem_reports_closed

software-assurance auditability pure_temporal software-assurancedo-178cavionicsconfiguration-managementrag-amberdal-A-D

Problem reports are tracked to closure — resolved, or deferred with recorded rationale.

Formula

G(ProblemReport → F(resolved ∨ deferred_with_rationale))

Why it matters

DO-178C Table A-8 / §7.2.3: problem reporting records process non-compliances and product deficiencies, which are tracked to resolution or documented deferral.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

ponens policies add problem_reports_closed --into ./trace.json
ponens trace check ./trace.json