modwire 10.1.0__tar.gz → 11.0.0__tar.gz

{modwire-10.1.0 → modwire-11.0.0}/.dev/modwire.egg-info/SOURCES.txt

@@ -199,7 +199,16 @@ src/modwire/extraction/extractors/models/extraction_request.py
 src/modwire/extraction/extractors/models/extractor_resource.py
 src/modwire/extraction/extractors/models/extractor_resource_set.py
 src/modwire/extraction/extractors/models/extractor_runtime.py
-src/modwire/extraction/extractors/models/python_call_context.py
+src/modwire/extraction/extractors/php/__init__.py
+src/modwire/extraction/extractors/php/extractor.py
+src/modwire/extraction/extractors/python/__init__.py
+src/modwire/extraction/extractors/python/assigned_value_reader.py
+src/modwire/extraction/extractors/python/call_context.py
+src/modwire/extraction/extractors/python/call_reader.py
+src/modwire/extraction/extractors/python/domain.py
+src/modwire/extraction/extractors/python/expression_reference_reader.py
+src/modwire/extraction/extractors/python/extractor.py
+src/modwire/extraction/extractors/python/syntax_parser.py
 src/modwire/extraction/extractors/resources/__init__.py
 src/modwire/extraction/extractors/resources/php/build.php
 src/modwire/extraction/extractors/resources/php/build.py
@@ -216,12 +225,8 @@ src/modwire/extraction/extractors/resources/typescript/package.json
 src/modwire/extraction/extractors/resources/typescript/script.js
 src/modwire/extraction/extractors/resources/typescript/script.ts
 src/modwire/extraction/extractors/resources/typescript/tsconfig.json
-src/modwire/extraction/extractors/services/__init__.py
-src/modwire/extraction/extractors/services/php_extractor.py
-src/modwire/extraction/extractors/services/python_call_reader.py
-src/modwire/extraction/extractors/services/python_extractor.py
-src/modwire/extraction/extractors/services/python_syntax_parser.py
-src/modwire/extraction/extractors/services/type_script_extractor.py
+src/modwire/extraction/extractors/typescript/__init__.py
+src/modwire/extraction/extractors/typescript/extractor.py
 src/modwire/implementation/__init__.py
 src/modwire/implementation/facade.py
 src/modwire/implementation/manifest/__init__.py
@@ -274,6 +279,8 @@ src/modwire/shared/code/models/runtime_observation.py
 src/modwire/shared/code/models/scan_policy.py
 src/modwire/shared/code/models/source_abstract_class.py
 src/modwire/shared/code/models/source_artifact.py
+src/modwire/shared/code/models/source_assigned_value.py
+src/modwire/shared/code/models/source_assigned_value_kind.py
 src/modwire/shared/code/models/source_call.py
 src/modwire/shared/code/models/source_callable.py
 src/modwire/shared/code/models/source_callable_symbol.py
@@ -317,6 +324,7 @@ tests/application/test_06_happy_path.py
 tests/application/test_07_cache.py
 tests/application/test_08_implementation_manifest.py
 tests/application/test_09_source_manifest_identity.py
+tests/application/test_10_assigned_value_evidence.py
 tests/architecture/__init__.py
 tests/architecture/base_test.py
 tests/architecture/boundaries/__init__.py

{modwire-10.1.0 → modwire-11.0.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: modwire
-Version: 10.1.0
+Version: 11.0.0
 Summary: Code extraction, architecture analysis and the Modwire CLI.
 Author: Tomasz Szpak
 License-Expression: MIT
@@ -158,6 +158,18 @@ Generic persistent-cache settings supplied by a caller.
 
 Caller-owned filesystem traversal policy with explicit exclusions and opt-in symlink following.
 
+## `SourceAssignedValue`
+
+Language-neutral evidence observed at one class-property assignment site.
+
+### `validate_state`
+
+Require the expression and reference fields appropriate to the evidence kind.
+
+## `SourceAssignedValueKind`
+
+Kinds of class-property assignment evidence published by extractors.
+
 ## `SourceManifestIdentity`
 
 Canonical identity of one observed source manifest.

{modwire-10.1.0 → modwire-11.0.0}/README.md

@@ -130,6 +130,18 @@ Generic persistent-cache settings supplied by a caller.
 
 Caller-owned filesystem traversal policy with explicit exclusions and opt-in symlink following.
 
+## `SourceAssignedValue`
+
+Language-neutral evidence observed at one class-property assignment site.
+
+### `validate_state`
+
+Require the expression and reference fields appropriate to the evidence kind.
+
+## `SourceAssignedValueKind`
+
+Kinds of class-property assignment evidence published by extractors.
+
 ## `SourceManifestIdentity`
 
 Canonical identity of one observed source manifest.

modwire-11.0.0/docs/target-language-ownership.md

@@ -0,0 +1,37 @@
+# Target-language ownership
+
+Modwire is hosted and distributed as a Python package. References to Python versions, Python packaging, type checking,
+and Python-based development commands are host concerns rather than analyzed-language behavior.
+
+All analyzed-language facts belong to extractor-owned locations:
+
+- `src/modwire/extraction/extractors/{python,typescript,php}/` gives every extractor an owned package for its
+  contracts, context, adapters, registration, target identity, file extensions, runtime commands, parser selection,
+  and batch policy. Filenames rely on that package context; class names retain their explicit language intent.
+- `src/modwire/extraction/extractors/resources/` owns parser programs, dependency manifests, generated executables,
+  and build adapters.
+- `tests/fixtures/languages/` and extractor integration tests own language-specific validation inputs.
+- `tests/extraction/big_projects/projects.json` owns pinned language-specific production fixtures.
+
+Shared code, dependency resolution, architecture analysis, traversal, consumer verification, benchmarks, and CI
+orchestration must not contain supported-language tables, runtime commands, extension tables, or language-selection
+branches. Callers select a registered extractor explicitly.
+
+## Shared contract version 6
+
+The class-level `CodeMap.schema_version` is `6`. Every class property carries ordered, language-neutral assigned-value
+evidence. Evidence distinguishes unassigned declarations, calls, references, literals, unresolved expressions, and
+extractors that do not support the fact yet. Every runtime `SourceValue` declares a language-neutral `module`, `local`,
+or `member` scope. Extractors distinguish variable assignments from constants and keep type aliases and export metadata
+out of runtime values. Callable kinds are `function`, `instance_method`, `type_method`, `static_method`, `constructor`,
+`callable_value`, and `anonymous`. Parameter kinds are `positional`, `variadic_positional`, `named_only`, and
+`variadic_named`.
+
+Earlier serialized maps do not satisfy the current contract. Regenerate them from source with the same registered
+extractor; the cache identity includes the code-map schema and invalidates older maps instead of migrating them silently.
+
+## Adding an extractor
+
+Add one automatic Wireup `SourceExtractor` registration, its extractor-owned resources and optional `build.py`
+adapter, and extractor integration fixtures. Package data and the generic build runner discover those resources without
+changes to shared services, CLI traversal, architecture analysis, the top-level Makefile, or CI orchestration.

{modwire-10.1.0 → modwire-11.0.0}/src/modwire/application.py

@@ -29,6 +29,8 @@ from .shared.code.models.declaration_identity import DeclarationIdentity
 from .shared.code.models.fact_capability import FactCapability
 from .shared.code.models.queryable_code_map import QueryableCodeMap
 from .shared.code.models.scan_policy import ScanPolicy
+from .shared.code.models.source_assigned_value import SourceAssignedValue
+from .shared.code.models.source_assigned_value_kind import SourceAssignedValueKind
 from .shared.code.models.source_manifest_identity import SourceManifestIdentity
 from .shared.code.models.source_member_kind import SourceMemberKind
 from .shared.code.models.source_relation_kind import SourceRelationKind
@@ -51,6 +53,8 @@ __all__ = [
     "ModwireApplication",
     "QueryableCodeMap",
     "ScanPolicy",
+    "SourceAssignedValue",
+    "SourceAssignedValueKind",
     "SourceMemberKind",
     "SourceManifestIdentity",
     "SourceRelationKind",
@@ -239,6 +243,8 @@ class ModwireApplication:
                 CachedResult,
                 CacheOptions,
                 ScanPolicy,
+                SourceAssignedValue,
+                SourceAssignedValueKind,
                 SourceManifestIdentity,
                 SourceMemberKind,
                 SourceRelationKind,

{modwire-10.1.0 → modwire-11.0.0}/src/modwire/extraction/extractors/domain.py

@@ -1,17 +1,9 @@
-import ast
 from abc import ABC, abstractmethod
 
 from ...shared.code.models.identity import ModuleId
 from ...shared.code.models.source_file import SourceFile
 from .models.batch_config import BatchConfig
 from .models.extractor_runtime import ExtractorRuntime
-from .models.python_call_context import PythonCallContext
-
-
-class PythonCallReader(ABC):
-    @abstractmethod
-    def collect(self, node: ast.AST, context: PythonCallContext) -> list[dict[str, object]]:
-        raise NotImplementedError
 
 
 class SourceParser(ABC):

modwire-10.1.0/src/modwire/extraction/extractors/services/php_extractor.py → modwire-11.0.0/src/modwire/extraction/extractors/php/extractor.py

@@ -70,6 +70,11 @@ class PhpExtractor(SourceExtractor):
                         "and member kind are extracted."
                     ),
                 ),
+                CapabilityCoverage(
+                    capability=FactCapability.ASSIGNED_VALUES,
+                    status=CapabilityStatus.UNSUPPORTED,
+                    explanation="PHP property assigned-value evidence is not extracted yet.",
+                ),
                 CapabilityCoverage(
                     capability=FactCapability.INHERITANCE,
                     status=CapabilityStatus.SUPPORTED,

modwire-11.0.0/src/modwire/extraction/extractors/python/assigned_value_reader.py

@@ -0,0 +1,107 @@
+import ast
+from dataclasses import dataclass
+from functools import singledispatchmethod
+
+from wireup import injectable
+
+from ....shared.code.models.source_assigned_value import SourceAssignedValue
+from ....shared.code.models.source_assigned_value_kind import SourceAssignedValueKind
+from .domain import PythonAssignedValueReader, PythonExpressionReferenceReader
+
+
+@injectable(as_type=PythonAssignedValueReader)
+@dataclass(frozen=True)
+class SyntaxAssignedValueReader(PythonAssignedValueReader):
+    references: PythonExpressionReferenceReader
+
+    def read(self, node: ast.expr) -> SourceAssignedValue:
+        return self.visit(node)
+
+    def unassigned(self) -> SourceAssignedValue:
+        return SourceAssignedValue(kind=SourceAssignedValueKind.UNASSIGNED, expression="", reference="")
+
+    @singledispatchmethod
+    def visit(self, node: ast.AST) -> SourceAssignedValue:
+        return self.generic_visit(node)
+
+    @visit.register
+    def visit_Call(self, node: ast.Call) -> SourceAssignedValue:
+        expression = ast.unparse(node)
+        reference = self.references.read(node.func)
+        if not reference:
+            return SourceAssignedValue(
+                kind=SourceAssignedValueKind.UNRESOLVED,
+                expression=expression,
+                reference="",
+            )
+        return SourceAssignedValue(
+            kind=SourceAssignedValueKind.CALL,
+            expression=expression,
+            reference=reference,
+        )
+
+    @visit.register
+    def visit_Name(self, node: ast.Name) -> SourceAssignedValue:
+        return SourceAssignedValue(
+            kind=SourceAssignedValueKind.REFERENCE,
+            expression=ast.unparse(node),
+            reference=self.references.read(node),
+        )
+
+    @visit.register
+    def visit_Attribute(self, node: ast.Attribute) -> SourceAssignedValue:
+        reference = self.references.read(node)
+        if not reference:
+            return self.generic_visit(node)
+        return SourceAssignedValue(
+            kind=SourceAssignedValueKind.REFERENCE,
+            expression=ast.unparse(node),
+            reference=reference,
+        )
+
+    @visit.register
+    def visit_Constant(self, node: ast.Constant) -> SourceAssignedValue:
+        return SourceAssignedValue(
+            kind=SourceAssignedValueKind.LITERAL,
+            expression=ast.unparse(node),
+            reference="",
+        )
+
+    @visit.register
+    def visit_List(self, node: ast.List) -> SourceAssignedValue:
+        return SourceAssignedValue(
+            kind=SourceAssignedValueKind.LITERAL,
+            expression=ast.unparse(node),
+            reference="",
+        )
+
+    @visit.register
+    def visit_Tuple(self, node: ast.Tuple) -> SourceAssignedValue:
+        return SourceAssignedValue(
+            kind=SourceAssignedValueKind.LITERAL,
+            expression=ast.unparse(node),
+            reference="",
+        )
+
+    @visit.register
+    def visit_Set(self, node: ast.Set) -> SourceAssignedValue:
+        return SourceAssignedValue(
+            kind=SourceAssignedValueKind.LITERAL,
+            expression=ast.unparse(node),
+            reference="",
+        )
+
+    @visit.register
+    def visit_Dict(self, node: ast.Dict) -> SourceAssignedValue:
+        return SourceAssignedValue(
+            kind=SourceAssignedValueKind.LITERAL,
+            expression=ast.unparse(node),
+            reference="",
+        )
+
+    def generic_visit(self, node: ast.AST) -> SourceAssignedValue:
+        return SourceAssignedValue(
+            kind=SourceAssignedValueKind.UNRESOLVED,
+            expression=ast.unparse(node),
+            reference="",
+        )

modwire-10.1.0/src/modwire/extraction/extractors/services/python_call_reader.py → modwire-11.0.0/src/modwire/extraction/extractors/python/call_reader.py

@@ -3,8 +3,8 @@ from dataclasses import dataclass
 
 from wireup import injectable
 
-from ..domain import PythonCallReader
-from ..models.python_call_context import PythonCallContext
+from .call_context import PythonCallContext
+from .domain import PythonCallReader
 
 
 @injectable(as_type=PythonCallReader)

modwire-11.0.0/src/modwire/extraction/extractors/python/domain.py

@@ -0,0 +1,27 @@
+import ast
+from abc import ABC, abstractmethod
+
+from ....shared.code.models.source_assigned_value import SourceAssignedValue
+from .call_context import PythonCallContext
+
+
+class PythonCallReader(ABC):
+    @abstractmethod
+    def collect(self, node: ast.AST, context: PythonCallContext) -> list[dict[str, object]]:
+        raise NotImplementedError
+
+
+class PythonExpressionReferenceReader(ABC):
+    @abstractmethod
+    def read(self, node: ast.expr) -> str:
+        raise NotImplementedError
+
+
+class PythonAssignedValueReader(ABC):
+    @abstractmethod
+    def read(self, node: ast.expr) -> SourceAssignedValue:
+        raise NotImplementedError
+
+    @abstractmethod
+    def unassigned(self) -> SourceAssignedValue:
+        raise NotImplementedError

modwire-11.0.0/src/modwire/extraction/extractors/python/expression_reference_reader.py

@@ -0,0 +1,30 @@
+import ast
+from dataclasses import dataclass
+from functools import singledispatchmethod
+
+from wireup import injectable
+
+from .domain import PythonExpressionReferenceReader
+
+
+@injectable(as_type=PythonExpressionReferenceReader)
+@dataclass(frozen=True)
+class SyntaxExpressionReferenceReader(PythonExpressionReferenceReader):
+    def read(self, node: ast.expr) -> str:
+        return self.visit(node)
+
+    @singledispatchmethod
+    def visit(self, node: ast.AST) -> str:
+        return self.generic_visit(node)
+
+    @visit.register
+    def visit_Name(self, node: ast.Name) -> str:
+        return node.id
+
+    @visit.register
+    def visit_Attribute(self, node: ast.Attribute) -> str:
+        parent = self.read(node.value)
+        return f"{parent}.{node.attr}" if parent else ""
+
+    def generic_visit(self, node: ast.AST) -> str:
+        return ""

modwire-10.1.0/src/modwire/extraction/extractors/services/python_extractor.py → modwire-11.0.0/src/modwire/extraction/extractors/python/extractor.py

@@ -71,6 +71,14 @@ class PythonExtractor(SourceExtractor):
                         "are extracted."
                     ),
                 ),
+                CapabilityCoverage(
+                    capability=FactCapability.ASSIGNED_VALUES,
+                    status=CapabilityStatus.SUPPORTED,
+                    explanation=(
+                        "Ordered assignment evidence distinguishes calls, references, literals, unresolved "
+                        "expressions, and declarations without an assigned value."
+                    ),
+                ),
                 CapabilityCoverage(
                     capability=FactCapability.INHERITANCE,
                     status=CapabilityStatus.SUPPORTED,
@@ -97,16 +105,32 @@ class PythonExtractor(SourceExtractor):
                 ),
                 identity_resources=(
                     ExtractorResource(
-                        package="modwire.extraction.extractors.resources",
-                        path="python/script.py",
+                        package="modwire.extraction.extractors.python",
+                        path="assigned_value_reader.py",
+                    ),
+                    ExtractorResource(
+                        package="modwire.extraction.extractors.python",
+                        path="call_context.py",
                     ),
                     ExtractorResource(
-                        package="modwire.extraction.extractors.services",
-                        path="python_call_reader.py",
+                        package="modwire.extraction.extractors.python",
+                        path="call_reader.py",
                     ),
                     ExtractorResource(
-                        package="modwire.extraction.extractors.services",
-                        path="python_syntax_parser.py",
+                        package="modwire.extraction.extractors.python",
+                        path="domain.py",
+                    ),
+                    ExtractorResource(
+                        package="modwire.extraction.extractors.python",
+                        path="expression_reference_reader.py",
+                    ),
+                    ExtractorResource(
+                        package="modwire.extraction.extractors.python",
+                        path="syntax_parser.py",
+                    ),
+                    ExtractorResource(
+                        package="modwire.extraction.extractors.resources",
+                        path="python/script.py",
                     ),
                 ),
             ),

modwire-10.1.0/src/modwire/extraction/extractors/services/python_syntax_parser.py → modwire-11.0.0/src/modwire/extraction/extractors/python/syntax_parser.py

@@ -4,18 +4,21 @@ from typing import cast
 
 from wireup import injectable
 
+from ....shared.code.models.source_assigned_value import SourceAssignedValue
 from ....shared.code.models.source_class_property import SourceClassProperty
 from ....shared.code.models.source_member_kind import SourceMemberKind
 from ....shared.code.models.source_relation_kind import SourceRelationKind
 from ....shared.code.models.types import SourceVisibility
-from ..domain import PythonCallReader, SourceParser
-from ..models.python_call_context import PythonCallContext
+from ..domain import SourceParser
+from .call_context import PythonCallContext
+from .domain import PythonAssignedValueReader, PythonCallReader
 
 
 @injectable(as_type=SourceParser, qualifier="python")
 @dataclass(frozen=True)
 class PythonSyntaxParser(SourceParser):
     calls: PythonCallReader
+    assigned_values: PythonAssignedValueReader
 
     def declaration_ordinal(self, node: ast.stmt | ast.expr) -> int:
         return (node.lineno << 32) + node.col_offset + 1
@@ -152,6 +155,7 @@ class PythonSyntaxParser(SourceParser):
         annotation: str,
         visibility: SourceVisibility,
         member_kind: SourceMemberKind,
+        assigned_values: tuple[SourceAssignedValue, ...],
     ) -> SourceClassProperty:
         return SourceClassProperty(
             name=name,
@@ -159,6 +163,7 @@ class PythonSyntaxParser(SourceParser):
             annotation=annotation,
             visibility=visibility,
             member_kind=member_kind,
+            assigned_values=assigned_values,
         )
 
     def add_property(
@@ -178,8 +183,16 @@ class PythonSyntaxParser(SourceParser):
                 if SourceMemberKind.INSTANCE in {current.member_kind, property_definition.member_kind}
                 else SourceMemberKind.STATIC
             ),
+            assigned_values=(*current.assigned_values, *property_definition.assigned_values),
         )
 
+    def descendants_in_source_order(self, node: ast.AST) -> tuple[ast.AST, ...]:
+        descendants: list[ast.AST] = []
+        for child in ast.iter_child_nodes(node):
+            descendants.append(child)
+            descendants.extend(self.descendants_in_source_order(child))
+        return tuple(descendants)
+
     def class_properties(self, node: ast.ClassDef) -> list[dict[str, object]]:
         properties: dict[str, SourceClassProperty] = {}
 
@@ -187,6 +200,9 @@ class PythonSyntaxParser(SourceParser):
             if isinstance(child, ast.AnnAssign):
                 target = child.target
                 if isinstance(target, ast.Name):
+                    annotation_origin = (
+                        child.annotation.value if isinstance(child.annotation, ast.Subscript) else child.annotation
+                    )
                     self.add_property(
                         properties,
                         self.property_definition(
@@ -195,7 +211,18 @@ class PythonSyntaxParser(SourceParser):
                             or self.value_is_none(child.value),
                             annotation=self.unparse(child.annotation),
                             visibility=self.visibility_intent(target.id),
-                            member_kind=SourceMemberKind.STATIC,
+                            member_kind=(
+                                SourceMemberKind.STATIC
+                                if self.node_name(annotation_origin) in {"ClassVar", "typing.ClassVar"}
+                                else SourceMemberKind.INSTANCE
+                            ),
+                            assigned_values=(
+                                (
+                                    self.assigned_values.unassigned()
+                                    if child.value is None
+                                    else self.assigned_values.read(child.value)
+                                ),
+                            ),
                         ),
                     )
                 continue
@@ -210,13 +237,14 @@ class PythonSyntaxParser(SourceParser):
                                 annotation="",
                                 visibility=self.visibility_intent(target.id),
                                 member_kind=SourceMemberKind.STATIC,
+                                assigned_values=(self.assigned_values.read(child.value),),
                             ),
                         )
                 continue
             if not isinstance(child, (ast.FunctionDef, ast.AsyncFunctionDef)):
                 continue
             optional_parameter_names = self.optional_constructor_parameters(child)
-            for descendant in ast.walk(child):
+            for descendant in self.descendants_in_source_order(child):
                 if isinstance(descendant, ast.AnnAssign):
                     target = descendant.target
                     if (
@@ -237,6 +265,13 @@ class PythonSyntaxParser(SourceParser):
                                 member_kind=(
                                     SourceMemberKind.INSTANCE if target.value.id == "self" else SourceMemberKind.STATIC
                                 ),
+                                assigned_values=(
+                                    (
+                                        self.assigned_values.unassigned()
+                                        if descendant.value is None
+                                        else self.assigned_values.read(descendant.value)
+                                    ),
+                                ),
                             ),
                         )
                     continue
@@ -261,6 +296,7 @@ class PythonSyntaxParser(SourceParser):
                                 member_kind=(
                                     SourceMemberKind.INSTANCE if target.value.id == "self" else SourceMemberKind.STATIC
                                 ),
+                                assigned_values=(self.assigned_values.read(descendant.value),),
                             ),
                         )
         return [property_definition.model_dump(mode="json") for property_definition in properties.values()]

{modwire-10.1.0 → modwire-11.0.0}/src/modwire/extraction/extractors/resources/php/script.src.php

@@ -486,6 +486,11 @@ function collect_definitions(array $nodes, string $sourceId): array {
                         'annotation' => type_annotation($property->type),
                         'visibility' => member_visibility($property),
                         'member_kind' => $property->isStatic() ? 'static' : 'instance',
+                        'assigned_values' => [[
+                            'kind' => 'unsupported',
+                            'expression' => '',
+                            'reference' => '',
+                        ]],
                     ];
                 }
             }
@@ -502,6 +507,11 @@ function collect_definitions(array $nodes, string $sourceId): array {
                             'annotation' => type_annotation($param->type),
                             'visibility' => parameter_visibility($param),
                             'member_kind' => 'instance',
+                            'assigned_values' => [[
+                                'kind' => 'unsupported',
+                                'expression' => '',
+                                'reference' => '',
+                            ]],
                         ];
                     }
                 }

{modwire-10.1.0 → modwire-11.0.0}/src/modwire/extraction/extractors/resources/typescript/script.js

@@ -230226,6 +230226,7 @@ function collectClasses(sourceFile, lineStarts, sourceId) {
                 annotation: textOf(property.getTypeNode()),
                 visibility: visibilityFromModifiers(property),
                 member_kind: memberKindFromModifiers(property),
+                assigned_values: [{ kind: 'unsupported', expression: '', reference: '' }],
             });
         }
         for (const constructorDeclaration of classDeclaration.getConstructors()) {
@@ -230238,6 +230239,7 @@ function collectClasses(sourceFile, lineStarts, sourceId) {
                         annotation: textOf(parameter.getTypeNode()),
                         visibility: visibilityFromModifiers(parameter),
                         member_kind: 'instance',
+                        assigned_values: [{ kind: 'unsupported', expression: '', reference: '' }],
                     });
                 }
             }
@@ -230321,6 +230323,7 @@ function collectInterfaces(sourceFile, lineStarts, sourceId) {
             annotation: textOf(property.getTypeNode()),
             visibility: 'public',
             member_kind: 'instance',
+            assigned_values: [{ kind: 'unsupported', expression: '', reference: '' }],
         }));
         const methods = interfaceDeclaration.getMethods().map(method => sourceClassMethod(method, lineStarts));
         return {
@@ -230352,6 +230355,7 @@ function collectTypes(sourceFile, lineStarts, sourceId) {
             annotation: textOf(property.getTypeNode()),
             visibility: 'public',
             member_kind: 'instance',
+            assigned_values: [{ kind: 'unsupported', expression: '', reference: '' }],
         }));
         return {
             declaration_id: {

{modwire-10.1.0 → modwire-11.0.0}/src/modwire/extraction/extractors/resources/typescript/script.ts

@@ -648,6 +648,7 @@ function collectClasses(sourceFile, lineStarts, sourceId) {
                 annotation: textOf(property.getTypeNode()),
                 visibility: visibilityFromModifiers(property),
                 member_kind: memberKindFromModifiers(property),
+                assigned_values: [{ kind: 'unsupported', expression: '', reference: '' }],
             });
         }
         for (const constructorDeclaration of classDeclaration.getConstructors()) {
@@ -660,6 +661,7 @@ function collectClasses(sourceFile, lineStarts, sourceId) {
                         annotation: textOf(parameter.getTypeNode()),
                         visibility: visibilityFromModifiers(parameter),
                         member_kind: 'instance',
+                        assigned_values: [{ kind: 'unsupported', expression: '', reference: '' }],
                     });
                 }
             }
@@ -745,6 +747,7 @@ function collectInterfaces(sourceFile, lineStarts, sourceId) {
             annotation: textOf(property.getTypeNode()),
             visibility: 'public',
             member_kind: 'instance',
+            assigned_values: [{ kind: 'unsupported', expression: '', reference: '' }],
         }));
         const methods = interfaceDeclaration.getMethods().map(method => sourceClassMethod(method, lineStarts));
         return {
@@ -777,6 +780,7 @@ function collectTypes(sourceFile, lineStarts, sourceId) {
             annotation: textOf(property.getTypeNode()),
             visibility: 'public',
             member_kind: 'instance',
+            assigned_values: [{ kind: 'unsupported', expression: '', reference: '' }],
         }));
         return {
             declaration_id: {

modwire-10.1.0/src/modwire/extraction/extractors/services/type_script_extractor.py → modwire-11.0.0/src/modwire/extraction/extractors/typescript/extractor.py

@@ -70,6 +70,11 @@ class TypeScriptExtractor(SourceExtractor):
                         "member kind are extracted."
                     ),
                 ),
+                CapabilityCoverage(
+                    capability=FactCapability.ASSIGNED_VALUES,
+                    status=CapabilityStatus.UNSUPPORTED,
+                    explanation="TypeScript property assigned-value evidence is not extracted yet.",
+                ),
                 CapabilityCoverage(
                     capability=FactCapability.INHERITANCE,
                     status=CapabilityStatus.SUPPORTED,