TestCase pass-specification_optionality_and_facet_optionality_can_be_combined not passes

[Cudok]

description

the TestCase form the folder ids with the regarding files:

• pass-specification_optionality_and_facet_optionality_can_be_combined not passes.ifc and
• pass-specification_optionality_and_facet_optionality_can_be_combined not passes.ids

not pass with the usage of ifcTester. From my understanding (based on https://github.com/buildingSMART/IDS/blob/development/Documentation/ImplementersDocumentation/TestCases/scripts.md) this TestCase should pass fully.

used python script

import ifcopenshell
import ifctester
import ifctester.ids
import ifctester.reporter
import webbrowser
model = ifcopenshell.open('pass-specification_optionality_and_facet_optionality_can_be_combined.ifc')
my_ids = ifctester.ids.open('pass-specification_optionality_and_facet_optionality_can_be_combined.ids')
my_ids.validate(model)

# return the check of specifications pass(true) or fail(false) with
# and the name of the specification
# and if all specifications of one IDS pass
all_spec_pass = True
for spec in my_ids.specifications:
    print("name: {}, passed: {}".format(spec.name, spec.status))
    if not spec.status:
        all_spec_pass = False
print(">>>>>> ")
print("all checks of the specifications of this IDS pass: {}".format(all_spec_pass))

# for check the results of return above
ifctester.reporter.Console(my_ids).report()

return

name: Specification optionality and facet optionality can be combined, passed: False
>>>>>> 
all checks of the specifications of this IDS pass: False
Specification optionality and facet optionality can be combined
[FAIL] (0/1) Specification optionality and facet optionality can be combined
    Applies to:
        All IFCWALL data
    Requirements:
        The Name shall be Waldo
        The Description may be Foobar
            The attribute value None is empty - #1=IfcWall('1hqIFTRjfV6AWq_bMtnZwI',$,'Waldo',$,$,$,$,$,$)

setup

python: 3.11
ifctester: 0.8.1
ifcopenshell: 0.7.0.240627
os: PopOS

[Moult]

This is not a bug in IDS? I'm closing this referencing it here: IfcOpenShell/IfcOpenShell#6323

[Moult]

Reopening because I think this is potentially a bug in IDS itself. The test case says it should pass pass-specification_optionality_and_facet_optionality_can_be_combined not passes.ifc, however, the written documentation seems to contradict.

https://github.com/buildingSMART/IDS/blob/development/Documentation/UserManual/attribute-facet.md states for prohibited facets:

The attribute Description must not exist on applicable objects, even if empty.

And for optional it says:

If the attribute Description exists on applicable objects, it needs to have the value Answer.

From this, the word "exists" seems to mean is part of the schema definition, and has nothing to do with emptiness. Therefore, I'd say that the test case should fail, not pass.