← Policy gallery

artifacts_baselined

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

All life-cycle data configuration items are identified and placed under configuration management (baselined).

Formula

G((HLR ∨ LLR ∨ SourceCode ∨ Test) → baselined)

Hover any operator or symbol for what it means.

Why it matters

DO-178C Table A-8: configuration items are identified, baselines established, and the integrity of the configuration is maintained throughout the life cycle.

Examples

passes see rationale

fails the required objective evidence is absent

Use it

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