1. Portcullis-Core Security Flaw: GovernedMemory::read_label Hardcodes Deterministic Derivation, Laundering AI-Derived Taint
A critical information flow control (IFC) vulnerability has been identified in the Portcullis-core library. The `GovernedMemory::read_label()` function systematically discards the original derivation class of stored data, instead hardcoding a `Deterministic` derivation in the returned `IFCLabel`. This flaw effectively ...