ARCHKEEL GitHub ↗

See the architecture.
Check the evidence.

ArchKeel compares observed code with declared architecture. Explore dependencies, findings and explicit gaps in what can be proven.

ArchKeel’s current architecture

The latest report from Main. Navigate observed code, declared intent and their differences — down to the source evidence.

Open current report →

Explore full-project journeys

Each journey links one pinned source project, its independently authored Target and three source-only changes. Observation, coverage, declared rules and UML comparison remain separate.

Compass booking

flutter/samples@5541c59ab8e9d7e74c1a35ef22bd43a487fc596c · 111 Dart files, 89 libraries, 22 parts

Authentication through search, results, activities and booking, backed by repositories and local/remote services.

Target: Feature ownership, nested booking components, and closed class/member APIs.

Evidence limits: Thirty typed source-resolution gaps leave coverage incomplete; they are not confirmed syntax errors.

Baseline

uml-compass-project

The complete pinned Compass application: routing, session/auth, repositories, booking, persistence, API services and generated model APIs are compared with an independently…

Coverage: lib/main.dart:22 could not be analyzed: superclass source is unresolved.

Per-rule assessments

UNKNOWN Compose environment, localization, routes and app shell:REQUIRES-COMPLETE (0)
UNKNOWN data:REQUIRES-COMPLETE (0)
UNKNOWN domain:REQUIRES-COMPLETE (0)
UNKNOWN presentation:REQUIRES-COMPLETE (0)
UNKNOWN REQUIRES-COMPLETE (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)
UNKNOWN utilities:REQUIRES-COMPLETE (0)

Open UML detail →

Source-only variants

uml-compass-forbidden-edge

Make the local asset service call the HTTP API client. That cross-component dependency is not permitted by the nested data Target.

Known rule failure: data:REQUIRES-COMPLETE (1)

Coverage: lib/main.dart:22 could not be analyzed: superclass source is unresolved.

Per-rule assessments

UNKNOWN Compose environment, localization, routes and app shell:REQUIRES-COMPLETE (0)
FAIL data:REQUIRES-COMPLETE (1)
UNKNOWN domain:REQUIRES-COMPLETE (0)
UNKNOWN presentation:REQUIRES-COMPLETE (0)
UNKNOWN REQUIRES-COMPLETE (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)
UNKNOWN utilities:REQUIRES-COMPLETE (0)

Open UML detail →

uml-compass-signature-fail

Widen BookingCreateUseCase.createFrom's result from Booking to Object. The source declaration remains analyzable, while the closed API contract no longer matches.

Known rule failure: UML-TARGET-a2e40c5592b1b06a (1)

Coverage: lib/main.dart:22 could not be analyzed: superclass source is unresolved.

Per-rule assessments

UNKNOWN Compose environment, localization, routes and app shell:REQUIRES-COMPLETE (0)
UNKNOWN data:REQUIRES-COMPLETE (0)
UNKNOWN domain:REQUIRES-COMPLETE (0)
UNKNOWN presentation:REQUIRES-COMPLETE (0)
UNKNOWN REQUIRES-COMPLETE (0)
FAIL UML-TARGET-a2e40c5592b1b06a (1)
UNKNOWN utilities:REQUIRES-COMPLETE (0)

Open UML detail →

uml-compass-dynamic-unknown

Keep BookingViewModel._createBooking and its createFrom call, but make the receiver's declared type dynamic. The same Target call can no longer be proven.

Known rule failure: UML-TARGET-a2e40c5592b1b06a (1)

Coverage: lib/main.dart:22 could not be analyzed: superclass source is unresolved.

Per-rule assessments

UNKNOWN Compose environment, localization, routes and app shell:REQUIRES-COMPLETE (0)
UNKNOWN data:REQUIRES-COMPLETE (0)
UNKNOWN domain:REQUIRES-COMPLETE (0)
UNKNOWN presentation:REQUIRES-COMPLETE (0)
UNKNOWN REQUIRES-COMPLETE (0)
FAIL UML-TARGET-a2e40c5592b1b06a (1)
UNKNOWN utilities:REQUIRES-COMPLETE (0)

Open UML detail →

Python RealWorld

nsidnev/fastapi-realworld-example-app@029eb7781c60d5f563ee8990a0cbfb79b244538c · 72 Python modules from the complete selected application

Authentication, users, profiles, articles, comments, favorites and feeds through routes, asyncpg SQL repositories and persistence.

Target: Five responsibility areas with closed principal class and method scopes.

Evidence limits: All files have AST coverage; 34 class inventories and 13 inheritance relationships remain UNKNOWN.

Baseline

uml-python-realworld-project

The full pinned RealWorld app: account, profile, article/feed/favorite, comment, tag, repository and PostgreSQL query modules compared with the frozen project Target.

Per-rule assessments

PASS Host and runtime composition:REQUIRES-COMPLETE (0)
PASS PostgreSQL persistence adapter:REQUIRES-COMPLETE (0)
PASS Product and wire contracts:REQUIRES-COMPLETE (0)
PASS Product policy and identity services:REQUIRES-COMPLETE (0)
PASS RealWorld HTTP interface:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

Source-only variants

uml-python-realworld-forbidden-edge

Add a direct SQL-query import to an HTTP route, bypassing its repository.

Known rule failure: REQUIRES-COMPLETE (1)

Per-rule assessments

PASS Host and runtime composition:REQUIRES-COMPLETE (0)
PASS PostgreSQL persistence adapter:REQUIRES-COMPLETE (0)
PASS Product and wire contracts:REQUIRES-COMPLETE (0)
PASS Product policy and identity services:REQUIRES-COMPLETE (0)
PASS RealWorld HTTP interface:REQUIRES-COMPLETE (0)
FAIL REQUIRES-COMPLETE (1)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

uml-python-realworld-signature-fail

Change Article.tags from List[str] to List[int] in the closed UML scope.

Known rule failure: UML-TARGET-a2e40c5592b1b06a (1)

Per-rule assessments

PASS Host and runtime composition:REQUIRES-COMPLETE (0)
PASS PostgreSQL persistence adapter:REQUIRES-COMPLETE (0)
PASS Product and wire contracts:REQUIRES-COMPLETE (0)
PASS Product policy and identity services:REQUIRES-COMPLETE (0)
PASS RealWorld HTTP interface:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
FAIL UML-TARGET-a2e40c5592b1b06a (1)

Open UML detail →

uml-python-realworld-dynamic-unknown

Dispatch login JWT creation with getattr; the required call becomes UNKNOWN.

Per-rule assessments

PASS Host and runtime composition:REQUIRES-COMPLETE (0)
PASS PostgreSQL persistence adapter:REQUIRES-COMPLETE (0)
PASS Product and wire contracts:REQUIRES-COMPLETE (0)
PASS Product policy and identity services:REQUIRES-COMPLETE (0)
PASS RealWorld HTTP interface:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

Nest RealWorld

mikro-orm/nestjs-realworld-example-app@a6818d84b6a019cf2df4ef391dc87cea7d02c6a9 · 41 prepared TypeScript build inputs, including two README-prescribed config copies

Account/authentication, article and comment publishing, profile/follow, tags, composition and persistence.

Target: Seven root responsibilities, nested feature components, and 266 Target entities with closed principal member scopes.

Evidence limits: A computed dynamic import leaves source coverage incomplete; a known complete-requires FAIL remains visible in its forbidden-edge variant.

Baseline

uml-nest-realworld-project

Full pinned Nest RealWorld app against its frozen 41-input Target.

Coverage: Computed dynamic_import cannot be resolved.

Per-rule assessments

UNKNOWN API composition:REQUIRES-COMPLETE (0)
UNKNOWN Account and authentication:REQUIRES-COMPLETE (0)
UNKNOWN Article and comment publishing:REQUIRES-COMPLETE (0)
UNKNOWN Persistence and schema lifecycle:REQUIRES-COMPLETE (0)
UNKNOWN REQUIRES-COMPLETE (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

Source-only variants

uml-nest-realworld-forbidden-edge

Make shared request validation import Article across a forbidden boundary.

Known rule failure: REQUIRES-COMPLETE (1)

Coverage: Computed dynamic_import cannot be resolved.

Per-rule assessments

UNKNOWN API composition:REQUIRES-COMPLETE (0)
UNKNOWN Account and authentication:REQUIRES-COMPLETE (0)
UNKNOWN Article and comment publishing:REQUIRES-COMPLETE (0)
UNKNOWN Persistence and schema lifecycle:REQUIRES-COMPLETE (0)
FAIL REQUIRES-COMPLETE (1)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

uml-nest-realworld-signature-fail

Change ArticleService.findFeed's declared result from IArticlesRO to IArticleRO.

Known rule failure: UML-TARGET-a2e40c5592b1b06a (1)

Coverage: Computed dynamic_import cannot be resolved.

Per-rule assessments

UNKNOWN API composition:REQUIRES-COMPLETE (0)
UNKNOWN Account and authentication:REQUIRES-COMPLETE (0)
UNKNOWN Article and comment publishing:REQUIRES-COMPLETE (0)
UNKNOWN Persistence and schema lifecycle:REQUIRES-COMPLETE (0)
UNKNOWN REQUIRES-COMPLETE (0)
FAIL UML-TARGET-a2e40c5592b1b06a (1)

Open UML detail →

uml-nest-realworld-dynamic-unknown

Use a type-asserted constructor in UserService.create to make creates unknown.

Coverage: Computed dynamic_import cannot be resolved.

Per-rule assessments

UNKNOWN API composition:REQUIRES-COMPLETE (0)
UNKNOWN Account and authentication:REQUIRES-COMPLETE (0)
UNKNOWN Article and comment publishing:REQUIRES-COMPLETE (0)
UNKNOWN Persistence and schema lifecycle:REQUIRES-COMPLETE (0)
UNKNOWN REQUIRES-COMPLETE (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

Rule fixtures and smaller control

These focused examples show individual rules and interactions. I-flutter-shop is a smaller runnable control, not a full-project demo.

uml-match

Independent inner intent matches recorded Python facts.

Per-rule assessments

PASS UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

uml-complete

Closed static Target with internal uses; incomplete observation stays UNKNOWN.

Per-rule assessments

UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

uml-dart-match

Native Dart source matches its independently authored nested Target.

Per-rule assessments

PASS adapters:REQUIRES-COMPLETE (0)
PASS ordering:domain:REQUIRES-COMPLETE (0)
PASS ordering:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
PASS UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

uml-dart-signature-fail

A deep Order method signature differs from the unchanged Target.

Known rule failure: UML-TARGET-a2e40c5592b1b06a (1)

Per-rule assessments

PASS adapters:REQUIRES-COMPLETE (0)
PASS ordering:domain:REQUIRES-COMPLETE (0)
PASS ordering:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
FAIL UML-TARGET-a2e40c5592b1b06a (1)

Open UML detail →

uml-dart-missing-member-fail

A Target-only enum literal is absent from valid Dart source.

Known rule failure: UML-TARGET-a2e40c5592b1b06a (1)

Per-rule assessments

PASS adapters:REQUIRES-COMPLETE (0)
PASS ordering:domain:REQUIRES-COMPLETE (0)
PASS ordering:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
FAIL UML-TARGET-a2e40c5592b1b06a (1)

Open UML detail →

uml-dart-forbidden-dependency-fail

Order source adds an unapproved cross-component pricing dependency.

Known rule failure: ordering:domain:REQUIRES-COMPLETE (1)

Per-rule assessments

PASS adapters:REQUIRES-COMPLETE (0)
FAIL ordering:domain:REQUIRES-COMPLETE (1)
PASS ordering:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
PASS UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

uml-dart-partial-unknown

A dynamic receiver leaves one Target-required call unresolved.

Per-rule assessments

PASS adapters:REQUIRES-COMPLETE (0)
PASS ordering:domain:REQUIRES-COMPLETE (0)
PASS ordering:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

I-flutter-shop · smaller runnable control

The independently Targeted Flutter shop journey: catalog, cart, checkout, and orders. Local source facts are compared through the shared UML graph; unresolved framework and…

Per-rule assessments

PASS data:REQUIRES-COMPLETE (0)
PASS domain:REQUIRES-COMPLETE (0)
PASS presentation:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)
PASS presentation:shopping:REQUIRES-COMPLETE (0)
PASS state:REQUIRES-COMPLETE (0)

Open UML detail →

uml-flutter-signature-fail

Widen OrderLine.lineTotalCents from int to num. The Dart source remains valid, but the Target's closed member signature no longer matches.

Known rule failure: UML-TARGET-a2e40c5592b1b06a (1)

Per-rule assessments

PASS data:REQUIRES-COMPLETE (0)
PASS domain:REQUIRES-COMPLETE (0)
PASS presentation:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
FAIL UML-TARGET-a2e40c5592b1b06a (1)
PASS presentation:shopping:REQUIRES-COMPLETE (0)
PASS state:REQUIRES-COMPLETE (0)

Open UML detail →

uml-flutter-missing-member-fail

Remove the unused completed enum literal. The closed OrderStatus inventory reports a precise existence mismatch without breaking Dart compilation.

Known rule failure: UML-TARGET-a2e40c5592b1b06a (1)

Per-rule assessments

PASS data:REQUIRES-COMPLETE (0)
PASS domain:REQUIRES-COMPLETE (0)
PASS presentation:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
FAIL UML-TARGET-a2e40c5592b1b06a (1)
PASS presentation:shopping:REQUIRES-COMPLETE (0)
PASS state:REQUIRES-COMPLETE (0)

Open UML detail →

uml-flutter-forbidden-dependency-fail

Make CartPage call the concrete DemoBackend service. The observed presentation-to-data edge violates the existing complete_requires boundary.

Known rule failure: REQUIRES-COMPLETE (1)

Per-rule assessments

PASS data:REQUIRES-COMPLETE (0)
PASS domain:REQUIRES-COMPLETE (0)
PASS presentation:REQUIRES-COMPLETE (0)
FAIL REQUIRES-COMPLETE (1)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)
PASS presentation:shopping:REQUIRES-COMPLETE (0)
PASS state:REQUIRES-COMPLETE (0)

Open UML detail →

uml-flutter-dynamic-unknown

Invoke the required order stream through a local dynamic value. The source remains valid, but static dispatch cannot prove the Target call.

Per-rule assessments

PASS data:REQUIRES-COMPLETE (0)
PASS domain:REQUIRES-COMPLETE (0)
PASS presentation:REQUIRES-COMPLETE (0)
PASS REQUIRES-COMPLETE (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)
PASS presentation:shopping:REQUIRES-COMPLETE (0)
PASS state:REQUIRES-COMPLETE (0)

Open UML detail →

uml-flutter-unsupported-declaration

Add a valid Dart extension on OrderStatus. The native profile does not model extension declarations, so UML coverage stays explicitly incomplete.

Coverage: lib/domain/orders/order.dart:12 could not be analyzed: declaration kind 'extension' is not represented.

Per-rule assessments

UNKNOWN data:REQUIRES-COMPLETE (0)
UNKNOWN domain:REQUIRES-COMPLETE (0)
UNKNOWN presentation:REQUIRES-COMPLETE (0)
UNKNOWN REQUIRES-COMPLETE (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)
UNKNOWN presentation:shopping:REQUIRES-COMPLETE (0)
UNKNOWN state:REQUIRES-COMPLETE (0)

Open UML detail →

uml-typescript

Independent typescript intent; incomplete inner coverage stays UNKNOWN.

Per-rule assessments

UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

uml-typescript-match

TypeScript source matches the independently declared classifier contract.

Per-rule assessments

PASS UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

uml-typescript-mismatch

A changed TypeScript static method return type fails its independent signature.

Known rule failure: UML-TARGET-a2e40c5592b1b06a (1)

Per-rule assessments

FAIL UML-TARGET-a2e40c5592b1b06a (1)

Open UML detail →

uml-typescript-partial

A computed TypeScript constructor keeps the result UNKNOWN.

Per-rule assessments

UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

uml-mismatch

A changed operation return type fails the independent signature.

Known rule failure: UML-TARGET-a2e40c5592b1b06a (1)

Per-rule assessments

FAIL UML-TARGET-a2e40c5592b1b06a (1)

Open UML detail →

uml-partial

Dynamic enum generation leaves literal existence UNKNOWN.

Per-rule assessments

UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →

tour

Every Class A rule kind that can be violated fires at least once in a single run (allowed_dependency structurally cannot, AD-11): a forbidden render->store pair, a store->Money…

Known rule failure: APP-TYPES-NOT-DICT (1)

Per-rule assessments

FAIL APP-TYPES-NOT-DICT (1)
FAIL ASSIGNMENT-COMPLETE (1)
FAIL COMPONENT-NO-CYCLES (1)
FAIL CONSTRUCT-NO-ANY (1)
FAIL CONSTRUCT-NO-ASSERT (1)
FAIL CONSTRUCT-NO-BROAD-EXCEPT (1)
FAIL CONSTRUCT-NO-DYNAMIC (2)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
FAIL DEP-APP-NO-STORE-BACKEND (1)
FAIL DEP-APP-NO-STORE-SQLITE (1)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
FAIL DEP-MODEL-NO-RENDER (1)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
FAIL DEP-RENDER-NO-STORE (1)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
FAIL DEP-STORE-NO-MONEY (1)
PASS DEP-STORE-NO-RENDER (0)
FAIL EXTERNAL-COMPLETE (1)
FAIL EXTERNAL-JSON-STORE (1)
FAIL INTERFACE-BOUNDARY (1)
FAIL LAYERS-MODEL (1)
FAIL MODEL-TYPES-IN-ENTITIES (1)
FAIL ROOT-LAYOUT (1)
FAIL STORE-PEERS-ISOLATED (1)
FAIL store:STORE-REQUIRES-COMPLETE (1)

Open UML detail →

clean

The unmodified shop sample; validate and report both report no findings.

Per-rule assessments

PASS APP-TYPES-NOT-DICT (0)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
PASS DEP-STORE-NO-MONEY (0)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)

Open UML detail →

open

Removing DEP-CLI-NO-MODEL leaves shop.cli -> shop.model neither allowed nor forbidden: an open decision, unobserved at 0 import sites.

Per-rule assessments

PASS APP-TYPES-NOT-DICT (0)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
PASS DEP-STORE-NO-MONEY (0)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)

Open UML detail →

wide

Three nested contracts partition eight task modules below one executable package root, but its aggregate is UNKNOWN: STORE-REQUIRES-COMPLETE and DEEP-REQUIRES-COMPLETE lack…

Per-rule assessments

PASS APP-TYPES-NOT-DICT (0)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
PASS DEP-STORE-NO-MONEY (0)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)
UNKNOWN store:backend:tasks:DEEP-REQUIRES-COMPLETE (0)

Open UML detail →

deep

Removing that local requires entry reports the task edge under its full recursive rule ID.

Known rule failure: store:backend:tasks:DEEP-REQUIRES-COMPLETE (1)

Per-rule assessments

PASS APP-TYPES-NOT-DICT (0)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
PASS DEP-STORE-NO-MONEY (0)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)
FAIL store:backend:tasks:DEEP-REQUIRES-COMPLETE (1)

Open UML detail →

mixed

shop.app.reports.snapshot has a known bare-dict violation and an unresolved FutureOrder parameter. The same rule assessment stays FAIL with one UNKNOWN position.

Known rule failure: APP-TYPES-NOT-DICT (1)

Per-rule assessments

FAIL APP-TYPES-NOT-DICT (1)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
PASS DEP-STORE-NO-MONEY (0)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)

Open UML detail →

unknown

The public ordinary facade exports render_order through an intermediate ordinary module with no literal __all__. That hop cannot prove the broad implementation signature, so the…

Per-rule assessments

PASS APP-TYPES-NOT-DICT (0)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
PASS DEP-STORE-NO-MONEY (0)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
UNKNOWN RENDER-TYPES-NOT-DICT (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)

Open UML detail →

known

The baseline lists the Money import's subjects reversed, as a text-replaced namespace rename leaves them. The entry still names that violation: validate --baseline exits 0 with no…

Known rule failure: DEP-STORE-NO-MONEY (1)

Per-rule assessments

PASS APP-TYPES-NOT-DICT (0)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
FAIL DEP-STORE-NO-MONEY (1)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)

Open UML detail →

target-present

The Target report reaches the declared shop/app/orders.py file and its responsibility.

Per-rule assessments

PASS APP-TYPES-NOT-DICT (0)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
PASS DEP-STORE-NO-MONEY (0)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)

Open UML detail →

target-absent

The Target report retains a missing file while Diff names it as absent.

Per-rule assessments

PASS APP-TYPES-NOT-DICT (0)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
PASS DEP-STORE-NO-MONEY (0)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)

Open UML detail →

target-store

The declared shop and store roots expose one nested physical hierarchy.

Per-rule assessments

PASS APP-TYPES-NOT-DICT (0)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
PASS DEP-STORE-NO-MONEY (0)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)
PASS store:STORE-ROOT-LAYOUT (0)

Open UML detail →

empty-responsibility

Validation flags empty architect-decided responsibilities; the report keeps STORE-REQUIRES-COMPLETE UNKNOWN.

Per-rule assessments

PASS APP-TYPES-NOT-DICT (0)
PASS ASSIGNMENT-COMPLETE (0)
PASS COMPONENT-NO-CYCLES (0)
PASS CONSTRUCT-NO-ANY (0)
PASS CONSTRUCT-NO-ASSERT (0)
PASS CONSTRUCT-NO-BROAD-EXCEPT (0)
PASS CONSTRUCT-NO-DYNAMIC (0)
PASS CONSTRUCT-NO-PLACEHOLDER (0)
PASS CONSTRUCT-NO-STRING-LITERAL-COMPARE (0)
DECLARATION DEP-APP-ALLOWS-MODEL (0)
DECLARATION DEP-APP-ALLOWS-STORE (0)
PASS DEP-APP-NO-CLI (0)
PASS DEP-APP-NO-RENDER (0)
PASS DEP-APP-NO-STORE-BACKEND (0)
PASS DEP-APP-NO-STORE-SQLITE (0)
DECLARATION DEP-CLI-ALLOWS-APP (0)
DECLARATION DEP-CLI-ALLOWS-RENDER (0)
PASS DEP-CLI-NO-MODEL (0)
PASS DEP-CLI-NO-STORE (0)
PASS DEP-MODEL-NO-APP (0)
PASS DEP-MODEL-NO-CLI (0)
PASS DEP-MODEL-NO-RENDER (0)
PASS DEP-MODEL-NO-STORE (0)
DECLARATION DEP-RENDER-ALLOWS-MODEL (0)
PASS DEP-RENDER-NO-APP (0)
PASS DEP-RENDER-NO-CLI (0)
PASS DEP-RENDER-NO-STORE (0)
DECLARATION DEP-STORE-ALLOWS-MODEL (0)
PASS DEP-STORE-NO-APP (0)
PASS DEP-STORE-NO-CLI (0)
PASS DEP-STORE-NO-MONEY (0)
PASS DEP-STORE-NO-RENDER (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-JSON-STORE (0)
PASS INTERFACE-BOUNDARY (0)
PASS LAYERS-MODEL (0)
PASS MODEL-TYPES-IN-ENTITIES (0)
PASS ROOT-LAYOUT (0)
PASS STORE-PEERS-ISOLATED (0)
UNKNOWN store:STORE-REQUIRES-COMPLETE (0)

Open UML detail →

dart-clean

The G-dart package as committed: four components, a facade library that re-exports with `export ... show`, a conditional import, a `part` file and a `deferred as` import. No…

Per-rule assessments

PASS ASSIGNMENT-COMPLETE (0)
UNKNOWN COMPONENT-NO-CYCLES (0)
PASS DATA-PLATFORMS-ISOLATED (0)
PASS DEP-DOMAIN-NO-DART-IO (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-FLUTTER-UI (0)
PASS EXTERNAL-HTTP-DATA (0)
PASS INTERFACE-BOUNDARY (0)
PASS REQUIRES-COMPLETE (0)
PASS ROOT-LAYOUT (0)

Open UML detail →

dart-tour

The Dart rows at once: dart:io in the domain, a domain -> data -> presentation -> domain cycle, an unowned library, http in a widget, a non-public name imported with `show`, and…

Known rule failure: ASSIGNMENT-COMPLETE (1)

Per-rule assessments

FAIL ASSIGNMENT-COMPLETE (1)
FAIL COMPONENT-NO-CYCLES (1)
PASS DATA-PLATFORMS-ISOLATED (0)
FAIL DEP-DOMAIN-NO-DART-IO (1)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-FLUTTER-UI (0)
FAIL EXTERNAL-HTTP-DATA (1)
FAIL INTERFACE-BOUNDARY (1)
FAIL REQUIRES-COMPLETE (2)
FAIL ROOT-LAYOUT (1)

Open UML detail →

typescript-clean

Seven modules and a complete acyclic import graph.

Per-rule assessments

PASS ASSIGNMENT (0)
PASS COMPONENT-CYCLES (0)
PASS DATA-PEERS (0)
PASS DOMAIN-NO-DATA (0)
PASS EXTERNAL-COMPLETE (0)
PASS EXTERNAL-SHOP (0)
PASS LAYOUT (0)
PASS MODULE-CYCLES (0)
PASS REQUIRES (0)
UNKNOWN UML-TARGET-a2e40c5592b1b06a (0)

Open UML detail →