Same build up as I did.
After I drilled through the battens and PIR into the brickwork, I squirted a glob of acrylic sealant into the holes before drilling the screw through to, hopefully, provide an airtight seal.
internal wall joint - I used Pro Clima Contega PV which is a plaster-able tape - to provide an airtight joint between PIR and internal wall
bottom of external wall - I used hemp lime plaster to bring the floor void flush with the PIR and taped again, opted for hemp lime for its breathability around the joist pockets into the brickwork.
top of external walls - I pulled the ceilings down, stapled an airtight membrane to the bottom of the rafters and taped the PIR to that, then fitted a service void to the ceiling and plasterboard it
external wall to intermediate 1st floor/ceiling - see "bottom of external wall"