-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Qualified MC/DC coverage tooling — GNATcoverage + GNATPro for Rust (the pedigree path rustc abandoned)
needs-resourcesNot engineering: needs money, a licence, or a legal act (qualified toolchain, entity, funding)Not engineering: needs money, a licence, or a legal act (qualified toolchain, entity, funding)Status: Open.#51 In almide/als;17 contracts cite a since release that was never tagged (unmeasured in the provenance ledger)
S-editorialno normative changeno normative changeStatus: Open.#31 In almide/als;Legal entity, LTS commitment, funding
needs-resourcesNot engineering: needs money, a licence, or a legal act (qualified toolchain, entity, funding)Not engineering: needs money, a licence, or a legal act (qualified toolchain, entity, funding)Status: Open.#19 In almide/als;Qualified native toolchain material — Ferrocene subscription or CompCert commercial licence
needs-resourcesNot engineering: needs money, a licence, or a legal act (qualified toolchain, entity, funding)Not engineering: needs money, a licence, or a legal act (qualified toolchain, entity, funding)Status: Open.#18 In almide/als;Authority acceptance — TQL in a certification program (SOI reviews)
needs-externalImpossible alone: needs an external party (independent verifier, DER, customer, authority)Impossible alone: needs an external party (independent verifier, DER, customer, authority)Status: Open.#17 In almide/als;Tool-qualification gap assessment by a DER / qualification engineer
needs-externalImpossible alone: needs an external party (independent verifier, DER, customer, authority)Impossible alone: needs an external party (independent verifier, DER, customer, authority)Status: Open.#15 In almide/als;First regulated-adjacent deployment — start the service-history clock
needs-externalImpossible alone: needs an external party (independent verifier, DER, customer, authority)Impossible alone: needs an external party (independent verifier, DER, customer, authority)Status: Open.#16 In almide/als;Independent human verifier — verification independence
needs-externalImpossible alone: needs an external party (independent verifier, DER, customer, authority)Impossible alone: needs an external party (independent verifier, DER, customer, authority)Status: Open.#14 In almide/als;Gap 3 — Independence and authority: mechanisms and documents now, people and acceptance later
epicTracking issue for one gap of the aviation-grade claim ladder (checklist, not an S-* class)Tracking issue for one gap of the aviation-grade claim ladder (checklist, not an S-* class)needs-externalImpossible alone: needs an external party (independent verifier, DER, customer, authority)Impossible alone: needs an external party (independent verifier, DER, customer, authority)Status: Open.#12 In almide/als;Gap 2 — Certification seat: flight-profile requirements here first, keystones in the implementation, a qualified native toolchain in the chain
epicTracking issue for one gap of the aviation-grade claim ladder (checklist, not an S-* class)Tracking issue for one gap of the aviation-grade claim ladder (checklist, not an S-* class)needs-resourcesNot engineering: needs money, a licence, or a legal act (qualified toolchain, entity, funding)Not engineering: needs money, a licence, or a legal act (qualified toolchain, entity, funding)Status: Open.#11 In almide/als;Aviation-grade claim ladder: from process discipline to authority acceptance
epicTracking issue for one gap of the aviation-grade claim ladder (checklist, not an S-* class)Tracking issue for one gap of the aviation-grade claim ladder (checklist, not an S-* class)Status: Open.#9 In almide/als;