ArchUnitNET 0.13.4 coverage

A row reads as the tab claims only when every piece of its evidence passed: an upstream spec or ported case in conformance gate 1 or gate 2, or a named Rulebearing test. Any other row reads unproven, whatever the tab says (ADR-0009, ADR-0075). Written from nightly run 38190518342. Evidence marked upstream is the pinned suite's own; the rest is Rulebearing's tests.

69 of 69 rows proven; 0 unproven.

Selectors (`select.kind`)

ArchUnitNET	Rulebearing	Languages	Evidence
`Types()`	Parity	.NET, TS (class, interface, enum, type alias), Python (class)	gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest DependencySearch-DependencyLocationTests: passed in run 38190518342
`Classes()`	Parity	all	gate 2: ArchUnitNET LogicalConjunctionTests: passed in run 38190518342 gate 2: ArchUnitNET ClassSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342
`Interfaces()`	Parity	.NET, TS	gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest ConditionTests: passed in run 38190518342 gate 2: NetArchTest PredicateTests: passed in run 38190518342
`Attributes()`	Parity	.NET; TS and Python decorators	gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET AttributeSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET DependenciesToOtherAssembliesTests: passed in run 38190518342
`Members()`	Parity	all	gate 2: ArchUnitNET MemberSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET RuleEvaluationTests: passed in run 38190518342
`FieldMembers()`	Parity	.NET, TS class fields, Python class attributes	rb-rules/lib: elements::tests::two_objects_with_one_key_fail_when_either_fails: passed in run 38190518342
`MethodMembers()`	Parity	all	gate 2: ArchUnitNET MethodMemberSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342
`PropertyMembers()`	Parity	.NET, TS accessors, Python `@property`	gate 2: ArchUnitNET PropertyMemberSyntaxElementsTests: passed in run 38190518342
(none)	Addition	TS, Python additions	rb-rules/lib: elements::tests::the_function_kind_selects_functions_only: passed in run 38190518342 rb-rules/mappings: typescript_modules_reside_in_their_path_and_depend_on_their_imports: passed in run 38190518342 rb-rules/mappings: python_modules_reside_in_their_dotted_name: passed in run 38190518342

Predicates and conditions shared by every element (`ObjectPredicatesDefinition`, `ObjectConditionsDefinition`)

ArchUnitNET (predicate / condition)	Rulebearing key	Status	Evidence
`Are` / `Be`, `AreNot` / `NotBe` (a type, a list, or a selector)	`are`, `be`	Parity, Cross	gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET PropertyMemberSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`Exist` / `NotExist`	`exist`	Parity	gate 2: ArchUnitNET LogicalConjunctionTests: passed in run 38190518342 gate 2: ArchUnitNET DependenciesToOtherAssembliesTests: passed in run 38190518342 gate 2: ArchUnitNET RuleEvaluationTests: passed in run 38190518342
`HaveName`, `HaveNameMatching`, `HaveNameStartingWith`, `HaveNameEndingWith`, `HaveNameContaining` (+ `DoNot`, `Not`)	`haveName`, `haveNameMatching`, `haveNameStartingWith`, `haveNameEndingWith`, `haveNameContaining`	Parity, Cross	gate 2: NetArchTest DependencySearch-DependencyLocationTests: passed in run 38190518342 gate 2: NetArchTest DependencySearch-DependencyTypeTests: passed in run 38190518342 gate 2: NetArchTest ConditionTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`HaveFullName`, `HaveFullNameMatching`, `...StartingWith`, `...EndingWith`, `...Containing`	`haveFullName*`	Parity, Cross (dotted module path)	gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`HaveAssemblyQualifiedName` and its four variants	`haveAssemblyQualifiedName*`	Parity (.NET); TS and Python: package-qualified name	gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342
`ArePublic`, `ArePrivate`, `AreProtected`, `AreInternal`, `AreProtectedInternal`, `ArePrivateProtected` / `Be...`	`arePublic` ... `arePrivateProtected`; `be...`	Parity; Cross for `public` / `private` / `protected` (TS), `public` / `private` by underscore (Python)	gate 2: NetArchTest DependencySearch-DependencyTypeTests: passed in run 38190518342 gate 2: ArchUnitNET ObjectSyntaxElementsVisibilityTest: passed in run 38190518342 gate 2: NetArchTest DependencySearch-VariousTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`DependOnAny` / `DoNotDependOnAny` / `NotDependOnAny`, `DependOnAnyTypesThat`	`dependOnAny` (value: names, regex, or nested selector)	Parity, Cross	gate 2: NetArchTest DependencySearch-DependencyLocationTests: passed in run 38190518342 gate 2: NetArchTest DependencySearch-DependencyTypeTests: passed in run 38190518342 gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`OnlyDependOn` / `OnlyDependOnTypesThat`	`onlyDependOn`	Parity, Cross	gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest DependencySearch-SearchTypeTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`CallAny` / `DoNotCallAny` / `NotCallAny`	`callAny`	Parity (.NET IL); TS and Python: resolved call expressions	gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`HaveAnyAttributes`, `HaveAnyAttributesThat`, `OnlyHaveAttributes`, `OnlyHaveAttributesThat`	`haveAnyAttributes`, `onlyHaveAttributes`	Parity, Cross (decorators)	gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest ConditionTests: passed in run 38190518342 gate 2: NetArchTest PredicateTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`HaveAttributeWithArguments`, `HaveAttributeWithNamedArguments`, `HaveAnyAttributesWithArguments`, `HaveAnyAttributesWithNamedArguments`	`haveAttributeWithArguments`, `haveAttributeWithNamedArguments`, `haveAnyAttributesWithArguments`, `haveAnyAttributesWithNamedArguments`	Parity; Cross for literal decorator arguments	gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342 rb-rules/attribute_arguments: every test: passed in run 38190518342
`FollowCustomPredicate` / `FollowCustomCondition`	none	Stays	ArchUnitNET tests left upstream: custom-predicate: passed in run 38190518342

Type predicates and conditions (`TypePredicatesDefinition`, `TypeConditionsDefinition`)

ArchUnitNET	Rulebearing key	Status	Evidence
`ResideInNamespace`, `ResideInNamespaceMatching` (+ `DoNot` / `Not`)	`resideInNamespace`, `resideInNamespaceMatching`	Parity, Cross (dotted module path; TS folder path)	gate 2: NetArchTest DependencySearch-DependencyTypeTests: passed in run 38190518342 gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest PredicateTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`ResideInAssembly`, `ResideInAssemblyMatching`	`resideInAssembly`, `resideInAssemblyMatching`	Parity; Cross as package / distribution	gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`AreAssignableTo` / `BeAssignableTo`, `BeAssignableToTypesThat`	`areAssignableTo`, `beAssignableTo`	Parity; Cross for `extends` chains	gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest PredicateTests: passed in run 38190518342 gate 2: NetArchTest ConditionTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`ImplementInterface`, `ImplementAny`, `ImplementAnyInterfacesThat`	`implementInterface`, `implementAny`	Parity; TS `implements`	gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest ConditionListTests: passed in run 38190518342 gate 2: NetArchTest ConditionTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`AreEnums`, `AreStructs`, `AreValueTypes` / `Be...`	`areEnums`, `areStructs`, `areValueTypes`	Parity; `areEnums` Cross (TS enum, Python `Enum`)	gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`AreNested`, `AreNestedIn` / `BeNested`, `BeNestedIn`	`areNested`, `areNestedIn`	Parity, Cross	gate 2: NetArchTest DependencySearch-DependencyTypeTests: passed in run 38190518342 gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest DependencySearch-VariousTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`HaveMemberWithName`, `HaveFieldMemberWithName`, `HaveMethodMemberWithName`, `HavePropertyMemberWithName`	`haveMemberWithName`, `haveFieldMemberWithName`, `haveMethodMemberWithName`, `havePropertyMemberWithName`	Parity, Cross	gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`BeTypesThat`	nested selector under `be`	Parity	gate 2: ArchUnitNET ObjectSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET TypeSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET PropertyMemberSyntaxElementsTests: passed in run 38190518342
`AdhereToPlantUmlDiagram`	`adhereTo: <file>.puml` (diagram rule)	Parity, Cross	gate 2: ArchUnitNET PlantUmlFileBuilderTest: passed in run 38190518342 gate 2: ArchUnitNET PlantUmlTypeSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET PlantUmlFluentComponentDiagramTests: passed in run 38190518342 rb-cli/plantuml: path_slices_of_typescript_round_trip: passed in run 38190518342

Class and attribute predicates and conditions

ArchUnitNET	Rulebearing key	Status	Evidence
`AreAbstract` / `BeAbstract` (classes, attributes)	`areAbstract`, `beAbstract`	Parity; TS `abstract`, Python `ABC`	gate 2: ArchUnitNET AttributeSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET ClassSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest ConditionTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`AreSealed` / `BeSealed` (classes, attributes)	`areSealed`, `beSealed`	Parity; TS and Python: validation error	gate 2: ArchUnitNET AttributeSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET ClassSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest ConditionTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`AreRecord` / `BeRecord`	`areRecord`, `beRecord`	Parity; Python `@dataclass(frozen=True)` as `areImmutable`	gate 2: ArchUnitNET ClassSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`AreImmutable` / `BeImmutable`	`areImmutable`, `beImmutable`	Parity	gate 2: ArchUnitNET ClassSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET MemberSyntaxElementsTests: passed in run 38190518342

Member predicates and conditions

ArchUnitNET	Rulebearing key	Status	Evidence
`AreDeclaredIn`, `BeDeclaredIn`, `BeDeclaredInTypesThat` (+ `Not`)	`areDeclaredIn`, `declaredInTypesThat`	Parity, Cross	gate 2: ArchUnitNET MemberSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`AreStatic` / `BeStatic`	`areStatic`, `beStatic`	Parity, Cross (TS `static`, Python `@staticmethod` / `@classmethod`)	gate 2: ArchUnitNET MemberSyntaxElementsTests: passed in run 38190518342 gate 2: NetArchTest ConditionTests: passed in run 38190518342 gate 2: NetArchTest PredicateTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`AreReadOnly` / `BeReadOnly`	`areReadOnly`, `beReadOnly`	Parity; TS `readonly`	gate 2: ArchUnitNET MemberSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`AreImmutable` / `BeImmutable`	`areImmutable`	Parity	gate 2: ArchUnitNET ClassSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET MemberSyntaxElementsTests: passed in run 38190518342
Method: `AreConstructors` / `BeConstructor`, `AreNoConstructors`	`areConstructors`	Parity, Cross	gate 2: ArchUnitNET MethodMemberSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
Method: `AreVirtual` / `BeVirtual`	`areVirtual`	Parity	gate 2: ArchUnitNET MethodMemberSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET PropertyMemberSyntaxElementsTests: passed in run 38190518342
Method: `HaveReturnType` / `DoNotHaveReturnType`	`haveReturnType`	Parity; TS annotated return types	gate 2: ArchUnitNET MethodMemberSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
Method: `HaveDependencyInMethodBodyTo` / `DoNotHave...`	`haveDependencyInMethodBodyTo`	Parity; TS and Python: references inside the function body	gate 2: ArchUnitNET MethodMemberSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
Method: `AreCalledBy` / `BeCalledBy` / `NotBeCalledBy`	`areCalledBy`	Parity; Cross where calls resolve	gate 2: ArchUnitNET MethodMemberSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
Method: `BeMethodMembersThat`	nested selector	Parity	gate 2: ArchUnitNET MethodMemberSyntaxElementsTests: passed in run 38190518342
Property: `HaveGetter`, `HaveNoGetter`, `HaveSetter`, `HaveNoSetter`, `HaveInitSetter`	`haveGetter`, `haveSetter`, `haveInitSetter`	Parity; TS accessors	gate 2: ArchUnitNET PropertyMemberSyntaxElementsTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
Property: `HavePublicGetter`, `HavePrivateGetter`, `HaveProtectedGetter`, `HaveInternalGetter`, `HaveProtectedInternalGetter`, `HavePrivateProtectedGetter` and the six setter twins	`getterVisibility: public`, `setterVisibility: private`, and so on	Parity	rb-config/lib: elements::tests::accessor_visibility_is_the_have_getter_and_setter_family: passed in run 38190518342 rb-rules/lib: elements::concepts::tests::writability_decides_immutability: passed in run 38190518342
Property: `AreVirtual` / `BeVirtual`	`areVirtual`	Parity	gate 2: ArchUnitNET MethodMemberSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET PropertyMemberSyntaxElementsTests: passed in run 38190518342

Combinators and rule operations

ArchUnitNET	Rulebearing	Status	Evidence
`That()`, `Should()`	Parity	Parity	gate 2: every ported ArchUnitNET case: passed in run 38190518342 gate 2: every ported NetArchTest case: passed in run 38190518342
`And()`, `Or()` in predicates; `AndShould()`, `OrShould()` in conditions	Parity	Parity	gate 2: ArchUnitNET LogicalConjunctionTests: passed in run 38190518342 gate 2: NetArchTest ConditionTests: passed in run 38190518342 gate 2: NetArchTest PredicateTests: passed in run 38190518342
`Because(reason)`	Parity	Parity	rb-rules/lib: families::tests::because_is_appended_to_the_comment_every_reporter_prints: passed in run 38190518342
`Check(architecture)`, `Evaluate(architecture)` returning results per object	Parity	Parity	rb-report/xml_schemas: every test: passed in run 38190518342 rb-report/sarif_schema: every test: passed in run 38190518342 rb-cli/agent: every test: passed in run 38190518342
`WithoutRequiringPositiveResults()`	Parity	Parity	rb-rules/lib: evaluate::tests::liveness_and_allow_empty: passed in run 38190518342 rb-rules/lib: slices::tests::an_empty_selection_is_vacuous_unless_allowed: passed in run 38190518342 rb-cli/first_run: every test: passed in run 38190518342
Combined rules (`rule1.And(rule2)`, `Or`)	Parity	Parity	gate 2: ArchUnitNET LogicalConjunctionTests: passed in run 38190518342 gate 2: ArchUnitNET MultipleConditionRulesTests: passed in run 38190518342

Slices (`SliceRuleDefinition`)

ArchUnitNET	Rulebearing	Status	Evidence
`Slices().Matching("Ns.(*)")`	Parity, Cross (path or module pattern)	Parity, Cross (path or module pattern)	gate 2: ArchUnitNET SlicesTests: passed in run 38190518342 gate 2: ArchUnitNET FreezeTests: passed in run 38190518342 rb-rules/mappings: typescript_slices_by_path: passed in run 38190518342 rb-rules/mappings: python_slices_by_dotted_module: passed in run 38190518342
`Slices().MatchingWithPackages("Ns.(**)")`	Parity, Cross	Parity, Cross	gate 2: ArchUnitNET SlicesTests: passed in run 38190518342 gate 2: ArchUnitNET FreezeTests: passed in run 38190518342 rb-rules/lib: slices::tests::single_and_double_asterisks_name_slices_as_archunitnet_does: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`Should().NotDependOnEachOther()`	Parity, Cross	Parity, Cross	gate 2: ArchUnitNET SlicesTests: passed in run 38190518342 gate 2: ArchUnitNET FreezeTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
`Should().BeFreeOfCycles()`	Parity, Cross	Parity, Cross	gate 2: ArchUnitNET SlicesTests: passed in run 38190518342 rb-rules/mappings: every test: passed in run 38190518342
slice filtering (`Where`, ignoring named slices)	Parity	Parity	rb-rules/lib: slices::tests::where_keeps_only_the_slices_it_matches: passed in run 38190518342

PlantUML

ArchUnitNET	Rulebearing	Status	Evidence
`Types().Should().AdhereToPlantUmlDiagram(file)` (component diagram with `<<..pattern..>>` stereotypes, aliases, associations)	Parity, Cross	Parity, Cross	gate 2: ArchUnitNET PlantUmlTypeSyntaxElementsTests: passed in run 38190518342 gate 2: ArchUnitNET PlantUmlDependenciesTest: passed in run 38190518342 gate 2: ArchUnitNET PlantUmlErrorMessagesCheck: passed in run 38190518342 rb-cli/plantuml: path_slices_of_typescript_round_trip: passed in run 38190518342
`PlantUmlDefinition.ComponentDiagram().WithDependenciesFromSlices(...)` / `WithDependenciesFromTypes` / `WithDependenciesFromNamespaces`, `WriteToFile`	types	types	rb-cli/plantuml: every test: passed in run 38190518342 gate 2: ArchUnitNET PlantUmlFileBuilderTest: passed in run 38190518342
`GenerationOptions`: `LimitDependencies`, `C4Style`, `FocusOn`, `IncludeDependenciesToOther`, `DependencyFilters`	Parity	Parity	gate 2: ArchUnitNET PlantUmlFileBuilderTest: passed in run 38190518342 gate 2: ArchUnitNET PlantUmlFluentComponentDiagramTests: passed in run 38190518342 rb-cli/plantuml: every test: passed in run 38190518342
Import exceptions (`IllegalDiagramException`, `ComponentIntersectionException`, ...)	Parity	Parity	gate 2: ArchUnitNET PlantUmlErrorMessagesCheck: passed in run 38190518342 gate 2: ArchUnitNET PlantUmlParserTest: passed in run 38190518342

Loader and caches

ArchUnitNET	Rulebearing	Status	Evidence
`LoadAssembly`, `LoadAssemblies`, `LoadAssemblyIncludingDependencies`, `LoadAssembliesIncludingDependencies`, `LoadAssembliesRecursively`	Parity	Parity	rb-extract-dotnet/discover: every test: passed in run 38190518342 rb-extract-dotnet/extract: every test: passed in run 38190518342
`LoadFilteredDirectory(dir, filter)`, `LoadFilteredDirectoryIncludingDependencies`	Parity	Parity	rb-extract-dotnet/discover: every test: passed in run 38190518342
`LoadNamespacesWithinAssembly(assembly, namespaces...)`	Parity	Parity	rb-extract-dotnet/discover: every test: passed in run 38190518342
`Build()`	Parity	Parity	gate 2: every ported ArchUnitNET case: passed in run 38190518342
`WithoutArchitectureCache`, `WithoutRuleEvaluationCache`	Parity	Parity	rb-cli/cache: every test: passed in run 38190518342
solution-driven loading (none in ArchUnitNET)	Addition	Addition	rb-extract-dotnet/discover: every test: passed in run 38190518342

Test framework adapters

ArchUnitNET	Rulebearing	Status	Evidence
`ArchUnitNET.xUnit`, `.xUnitV3`, `.NUnit`, `.MSTestV2`, `.MSTestV4`, `.TUnit` (`rule.Check(arch)` throws a framework assertion)	Parity in effect	Parity in effect	CI job dotnet-adapters: passed in run 38186190014