First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation (ArXiv cs.LO Recent Papers, 2026)