{
  "id": "lib-process:shared--composition-aerospace-flight-control",
  "_kind": "LibraryProcess",
  "_file": "generated-library/processes.yaml",
  "_cluster": "generated-library",
  "attributes": {
    "displayName": "methodologies/composition-aerospace-flight-control",
    "description": "DO-178C flight-control software composition (backlog Example 6): Waterfall\n  system/software requirements capture -> V-Model decomposition with per-level verification\n  plans -> Cleanroom incremental development with statistical usage testing -> INLINE formal\n  verification of critical properties (parallel per-property proofs with EXECUTED proof-checker\n  output) -> certification evidence assembly with an independent adversarial certification gate\n  -> flight-software baseline release. Every stage exit is guarded by an EXECUTED\n  requirement-to-verification traceability gate plus a routed verification-lead sign-off;\n  safety-requirement waivers, DER certification sign-off, and baseline release are policy-gated,\n  fail-closed human approvals that never auto-execute. Pairs with composition-regulated-greenfield\n  to complete the safety/compliance quadrant. The formal-verification ingredient is modeled INLINE\n  as caf.* tasks per the batch-3 strangler-fig precedent (composition-legacy-modernization) because\n  no library/methodologies/formal-verification/ dir exists.",
    "libraryPath": "library/methodologies/composition-aerospace-flight-control/composition-aerospace-flight-control.js",
    "usesAgents": [
      "safety-assessment-engineer",
      "verification-planner",
      "trace-diff-computer",
      "formal-property-extractor",
      "formal-model-constructor",
      "property-prover",
      "formal-fixer",
      "verification-fixer",
      "certification-evidence-assembler",
      "baseline-release-engineer"
    ]
  },
  "outgoingEdges": [
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "skill-area:formal-verification",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "skill-area:acceptance-testing",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "skill-area:integration-testing",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "topic:compliance-traceability",
      "kind": "lib_covers_topic",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "topic:do-178c-certification",
      "kind": "lib_covers_topic",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "domain:software-engineering",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "domain:aerospace",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "role:safety-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "role:verification-lead",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "role:chief-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 0.5
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "workflow:release-management",
      "kind": "lib_implements_workflow",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "specialization:qa-testing-automation",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-process:shared--composition-aerospace-flight-control",
      "to": "methodology:composition-aerospace-flight-control",
      "kind": "follows_methodology",
      "attributes": {
        "weight": 1
      }
    }
  ],
  "incomingEdges": []
}