We are encountering a problem validating an example against its intended profile (via entry in meta.profile) with slicing on binding, as evidenced by a QA report error following a IG publisher build.

The profile au-immunisation has sliced Immunization.vaccineCode.coding with a discriminator of value:system
Each slice is distinguished by a required binding.
The intent is to present our preferred valueSets from different terminologies
The ig-publisher raises no errors on the StructureDefinition

If I edit one of the examples so that the IG Publisher validates it against the au-immunisation profile, I get the error "Could not match discriminator (system) for slice Immunization.vaccineCode.coding:amtVaccineCode in profile http://hl7.org.au/fhir/StructureDefinition/au-immunisation - does not have fixed value, binding or existence assertions"

The error is not raised if I change au-immunisation so that the value of Immunization.vaccineCode.coding.system is fixed in the slices AMT Vaccine and AIR Vaccine.

Is this a problem with the ig-publisher or the way the profile has been designed?

This has been raised in zulip without much result, hence this ticket.

Thank you