{"analyzer":{"code_digest":"6ed891a951931796dd691234f14726b7145b9986ff478e3dfb47f7e9996ba96b","name":"archkeel-typescript-imports","version":"0.74.0"},"bindings":[["VALUEBIND-fca533a541bede92","FACT","source","bindings","demo.src.core_x2e_ts.build.item binding",["$30"],["EVD-b931a6c2b916aaac"],[],[],[],["item","$27","$27","$30"]]],"calls":[["TSCALL-e618ae2d8910be8a","FACT","source","calls","helper",["demo.src.app_x2e_ts.work","$31"],["EVD-b417dabac30b3dc5"],[],[],[],[1,false,"$m","helper","$m","$m","$15","$26","demo.src.app_x2e_ts.work","resolved",["$31"]]],["TSCALL-f65049f011527767","FACT","source","calls","helper",["$29","$31"],["EVD-f92d430f380cbe5c"],[],[],[],[1,false,"$m","helper","$m","$m","$21","$27","$29","resolved",["$31"]]],["TSCALL-28fd79f0fcba9e39","FACT","source","calls","String",["$31"],["EVD-f34d36706200e1b1"],[],[],[],[0,false,"$m","String","definition is missing or ambiguous","$m","$17","$27","$31","unresolved",[]]],["$10","FACT","source","calls","constructors[0]",["$30"],["$5"],[],[],[],[0,false,{"candidates_truncated":false,"reason":"computed expression is not statically bound","status":"unresolved","targets":[]},"constructors[0]","computed expression is not statically bound",[{"annotation":null,"definition_contexts":[],"evidence_ids":["EVD-b931a6c2b916aaac"],"id":"VALUEBIND-fca533a541bede92","initializer":"new constructors[0]()","name":"item","target_kind":"name"}],"$22","$27","$30","unresolved",[]]]],"constructs":null,"context_evidence":[],"contexts":[],"contract":{"digest":"08db5fb99906b4155b2f438778a0a7912a1ef400b44c3c4e114d2d407df15bea","path":"architecture-contract.json","schema_version":"2.2.0"},"coverage":{"ast_coverage_percent":100.0,"call_resolution_percent":50.0,"calls_analyzed":4,"calls_partially_resolved":0,"calls_resolved":2,"calls_unresolved":2,"failures":[],"files_discovered":2,"files_parsed":2,"files_read":2,"rules":"PASS","status":"PASS"},"cycles":[],"declarations":[["demo-component","DECLARED_RULE","components","component_responsibility","demo",["demo"],[],[],[],["$32"],["architect","$m",[],"$m","$m","$m","demo","$m",["$26","$27"],"$m","$m",[],["Demonstrate static UML evidence and independent design intent."],"component","$m"]],["UML-TARGET-a2e40c5592b1b06a","DECLARED_RULE","uml","uml_target","Independent UML target",[],[],[],[],["architecture-contract.json"],["$m",[],"$m",[],[],[],"$m",["demo-component"],"$m",[],"Independent UML intent defines required entities and relationships.","$m","$m","$m",{"entities":[{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":"src/core.ts","id":"core-module","initializer":null,"kind":"module","language":"typescript","modifiers":[],"parent_id":"demo-component","presence":"planned","provenance":["$32"],"qualified_name":"$27","record_ids":[],"responsibilities":["Define the execution port and local implementation."],"signature":null,"visibility":{"basis":"unknown","kind":"unknown","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":"src/app.ts","id":"app-module","initializer":null,"kind":"module","language":"typescript","modifiers":[],"parent_id":"demo-component","presence":"planned","provenance":["$32"],"qualified_name":"$26","record_ids":[],"responsibilities":["Delegate requests through the published helper."],"signature":null,"visibility":{"basis":"unknown","kind":"unknown","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"port","initializer":null,"kind":"interface","language":"typescript","modifiers":[],"parent_id":"core-module","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.Port","record_ids":[],"responsibilities":["Accept a value and return its text."],"signature":null,"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"port-run","initializer":null,"kind":"method","language":"typescript","modifiers":[],"parent_id":"port","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.Port.run","record_ids":[],"responsibilities":["Declare the execution operation."],"signature":{"parameters":[{"annotation":"number","default":null,"default_known":true,"kind":"positional","name":"value"}],"returns":"string"},"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"base","initializer":null,"kind":"class","language":"typescript","modifiers":[],"parent_id":"core-module","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.Base","record_ids":[],"responsibilities":["Provide the base classifier."],"signature":null,"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"client","initializer":null,"kind":"class","language":"typescript","modifiers":[],"parent_id":"core-module","presence":"planned","provenance":["$32"],"qualified_name":"$28","record_ids":[],"responsibilities":["Implement the execution port."],"signature":null,"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"run","initializer":null,"kind":"method","language":"typescript","modifiers":[],"parent_id":"client","presence":"planned","provenance":["$32"],"qualified_name":"$29","record_ids":[],"responsibilities":["Delegate formatting to helper."],"signature":{"parameters":[{"annotation":"number","default":null,"default_known":true,"kind":"positional","name":"value"}],"returns":"string"},"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":"string","definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"private-token","initializer":null,"kind":"attribute","language":"typescript","modifiers":[],"parent_id":"client","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.Client._token","record_ids":[],"responsibilities":["Reserve private token storage."],"signature":null,"visibility":{"basis":"declared","kind":"private","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"limit","initializer":null,"kind":"attribute","language":"typescript","modifiers":["static"],"parent_id":"client","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.Client.limit","record_ids":[],"responsibilities":["Hold the shared limit."],"signature":null,"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"reset","initializer":null,"kind":"method","language":"typescript","modifiers":["static"],"parent_id":"client","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.Client.reset","record_ids":[],"responsibilities":["Expose the static reset operation."],"signature":{"parameters":[],"returns":"void"},"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"unit","initializer":null,"kind":"class","language":"typescript","modifiers":[],"parent_id":"core-module","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.Unit","record_ids":[],"responsibilities":["Represent a statically constructed value."],"signature":null,"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"state","initializer":null,"kind":"enum","language":"typescript","modifiers":[],"parent_id":"core-module","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.State","record_ids":[],"responsibilities":["Name the lifecycle states."],"signature":null,"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"ready","initializer":null,"kind":"enum_literal","language":"typescript","modifiers":[],"parent_id":"state","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.State.READY","record_ids":[],"responsibilities":["Name the ready state."],"signature":null,"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"stopped","initializer":null,"kind":"enum_literal","language":"typescript","modifiers":[],"parent_id":"state","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.State.STOPPED","record_ids":[],"responsibilities":["Name the stopped state."],"signature":null,"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"helper","initializer":null,"kind":"function","language":"typescript","modifiers":[],"parent_id":"core-module","presence":"planned","provenance":["$32"],"qualified_name":"$31","record_ids":[],"responsibilities":["Convert the value to text."],"signature":{"parameters":[{"annotation":"number","default":null,"default_known":true,"kind":"positional","name":"value"}],"returns":"string"},"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"build","initializer":null,"kind":"function","language":"typescript","modifiers":[],"parent_id":"core-module","presence":"planned","provenance":["$32"],"qualified_name":"$30","record_ids":[],"responsibilities":["Construct one Unit."],"signature":{"parameters":[],"returns":"Unit"},"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"item","initializer":null,"kind":"binding","language":"typescript","modifiers":[],"parent_id":"build","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.build.item","record_ids":[],"responsibilities":["Hold the constructed Unit at this assignment site."],"signature":null,"visibility":{"basis":"unknown","kind":"unknown","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"work","initializer":null,"kind":"function","language":"typescript","modifiers":[],"parent_id":"app-module","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.app_x2e_ts.work","record_ids":[],"responsibilities":["Call the published helper."],"signature":{"parameters":[{"annotation":"number","default":null,"default_known":true,"kind":"positional","name":"value"}],"returns":"string"},"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"text","initializer":null,"kind":"type_alias","language":"typescript","modifiers":[],"parent_id":"core-module","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.Text","record_ids":[],"responsibilities":["Name the text result type."],"signature":null,"visibility":{"basis":"declared","kind":"public","spelling":null}},{"annotation":null,"definition_contexts":[],"evidence_ids":[],"file_path":null,"id":"version","initializer":null,"kind":"constant","language":"typescript","modifiers":[],"parent_id":"core-module","presence":"planned","provenance":["$32"],"qualified_name":"demo.src.core_x2e_ts.VERSION","record_ids":[],"responsibilities":["Name the demo version."],"signature":null,"visibility":{"basis":"declared","kind":"public","spelling":null}}],"relationships":[{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"client-base","kind":"inherits","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"client","target_id":"base","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"client-port","kind":"realizes","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"client","target_id":"port","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"run-helper","kind":"calls","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"run","target_id":"helper","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"build-unit-reference","kind":"references","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"build","target_id":"unit","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"app-import","kind":"imports","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"app-module","target_id":"core-module","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"work-helper","kind":"calls","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"work","target_id":"helper","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"build-unit","kind":"creates","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"build","target_id":"unit","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"item-unit","kind":"instance_of","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"item","target_id":"unit","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"run-token","kind":"references","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"run","target_id":"private-token","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"client-base-reference","kind":"references","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"client","target_id":"base","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"client-port-reference","kind":"references","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"client","target_id":"port","through":[]},{"candidate_count":null,"candidate_ids":[],"candidates_truncated":false,"decided_by":null,"evidence_ids":[],"expression":null,"id":"build-unit-call","kind":"calls","provenance":["$32"],"reason":null,"record_ids":[],"resolution":"not_applicable","source_id":"build","target_id":"unit","through":[]}],"schema_version":"1.1.0","scopes":[{"entity_kinds":["attribute","method"],"mode":"closed","provenance":["$32"],"rationale":"$0","relationship_kinds":[],"scope_id":"client"},{"entity_kinds":["enum_literal"],"mode":"closed","provenance":["$32"],"rationale":"$0","relationship_kinds":[],"scope_id":"state"},{"entity_kinds":["attribute","method"],"mode":"closed","provenance":["$32"],"rationale":"$0","relationship_kinds":[],"scope_id":"base"},{"entity_kinds":["attribute","method"],"mode":"closed","provenance":["$32"],"rationale":"$0","relationship_kinds":[],"scope_id":"unit"},{"entity_kinds":["attribute","method"],"mode":"closed","provenance":["$32"],"rationale":"$0","relationship_kinds":[],"scope_id":"port"}]}]]],"dependency_edges":[["EDGE-34d34455448ca1aa","FACT","module_topology","module_dependency","demo.src.app_x2e_ts → demo.src.core_x2e_ts",["$26","$27"],[],[],["IMP-0950f4135cc6e52b"],[],[false,1,"module",1,"$26",0,"$27",1,0]]],"encoding":{"escaped_literal":"additional leading $","evidence_fields":["id","file","line","end_line","column","excerpt"],"kind":"architecture-ir-columnar-v1","record_fields":["id","evidence_class","area","kind","title","subjects","evidence_ids","rule_ids","fact_ids","provenance","data"],"section_data_fields":{"bindings":["binding","module","source_module","source_scope"],"calls":["candidate_count","candidates_truncated","construction","expression","reason","result_bindings","source_definition_id","source_module","source_scope","status","targets"],"constructs":[],"context_evidence":[],"contexts":[],"cycles":[],"declarations":["decided_by","external_scope_ids","forbidden_responsibilities","inside_levels","layout_rule_ids","module_target_ids","namespace","owner_ids","public","public_api_ids","rationale","requires","responsibilities","role","target"],"dependency_edges":["bidirectional","count","level","runtime_count","source","source_rank","target","target_rank","type_checking_count"],"imports":["binding","reexport","relative_level","source_module","source_package","specifier","symbol","symbols_known","target_module","target_package","type_only","under_type_checking"],"metrics":["tab","value"],"modules":["all_exports","all_literal","compatibility_logic_free","fan_in","fan_out","file","package","qualified_name","rank","symbol_count"],"packages":["dependencies","fan_in","fan_out","module_count","qualified_name","rank"],"path_observations":[],"references":["candidate_count","candidates_truncated","expression","reason","source_definition_id","source_module","source_scope","status","targets","use"],"scope_observations":["assessment_complete","comparison","component_id","coverage_complete","fan_out","files","module_count","modules","observed_module_count","outgoing_modules","outgoing_scopes","scope","scope_module_counts","scopes"],"symbols":["annotation","attribute_declarations","base_declarations","class_header_static","class_kind","decorators","enum_members","lexical_parent_id","member_inventories","method_kind","module","name","overload_signature","package","parameters","parent","qualified_name","returns","signature_complete","source_binding_unique","source_member_binding_static","symbol_category","visibility_detail"],"transitive_paths":[],"typing_signals":[],"unknowns":["aspect","change","evidence_ids","fact_ids","id","observed_ids","reason","status","subject_id"],"violations":[]},"string_reference":"$<index>"},"evidence":[["EVD-047e74cd182a350b","src/core.ts",18,18,21,"READY"],["EVD-07e45436007873f3","src/core.ts",10,10,45,"Port"],["EVD-11995cdd37a73c9e","src/core.ts",13,13,37,"_token"],["EVD-1b71c72aba26449f","src/app.ts",1,1,0,"// Archkeel"],["EVD-25a6273ac23a7b21","src/core.ts",13,13,53,"value"],["EVD-2cacfe5ee8ded827","src/app.ts",4,4,1,"import { helper } from './core';"],["$4","src/core.ts",1,1,0,"// Archkeel"],["EVD-5fb8b4857572b2a3","src/app.ts",6,6,8,"function work(value: number): string { return helper(value); }"],["EVD-6ad903a33e95c15b","src/core.ts",5,5,3,"run(value: number): string"],["EVD-6d291d5b9381585c","src/core.ts",26,26,14,"VERSION = 1"],["EVD-702b14071f1cb31b","src/core.ts",23,23,10,"item"],["EVD-73298ac2264b32b7","src/core.ts",12,12,10,"limit"],["EVD-8353be057eb9788f","src/core.ts",10,10,29,"Base"],["EVD-8d6642ca8957d74d","src/core.ts",8,8,8,"class Base {}"],["EVD-9b5d1349bdd9ed44","src/core.ts",18,18,38,"STOPPED"],["EVD-9d236277027b7e51","src/core.ts",25,25,8,"type Text = string;"],["$5","src/core.ts",22,22,16,"new constructors[0]()"],["EVD-b1c7525530a79b9f","src/app.ts",6,6,61,"value"],["EVD-b417dabac30b3dc5","src/app.ts",6,6,54,"helper(value)"],["EVD-b488e621972c5751","src/core.ts",17,17,8,"class Unit {}"],["EVD-b52d2736ca0d164d","src/core.ts",20,20,26,"Unit"],["EVD-b931a6c2b916aaac","src/core.ts",22,22,9,"item"],["EVD-bd8baf657790805d","src/core.ts",4,6,8,"interface Port {\n  run(value: number): string;\n}"],["EVD-c3d3928001f84b03","src/core.ts",19,19,63,"value"],["$6","src/core.ts",10,15,8,"class Client extends Base implements Port {\n  private _token: string = '';\n  static limit = 10;\n  run(value: number): string { this._token = helper(value); return this._token; }\n  static reset(): void {}\n}"],["EVD-c9d233bd7a0f666c","src/core.ts",13,13,73,"_token"],["EVD-ca883428c21a822c","src/core.ts",18,18,8,"enum State { READY = 'ready', STOPPED = 'stopped' }"],["EVD-d6a52670fe86277a","src/core.ts",13,13,3,"run(value: number): string { this._token = helper(value); return this._token; }"],["EVD-da3816449d3dc8d1","src/core.ts",20,24,8,"function build(): Unit {\n  const constructors = [Unit];\n  const item = new constructors[0]();\n  return item;\n}"],["EVD-e91eaa3fe34c1927","src/core.ts",21,21,25,"Unit"],["EVD-f34d36706200e1b1","src/core.ts",19,19,56,"String(value)"],["EVD-f63be870ed478a5b","src/core.ts",11,11,11,"_token"],["EVD-f92d430f380cbe5c","src/core.ts",13,13,46,"helper(value)"],["EVD-f994943e271e2985","src/core.ts",19,19,8,"function helper(value: number): string { return String(value); }"],["EVD-faabfb0d68df1f28","src/core.ts",14,14,3,"static reset(): void {}"]],"imports":[["IMP-0950f4135cc6e52b","FACT","source","import","demo.src.app_x2e_ts imports ./core",["$26","$27"],["EVD-2cacfe5ee8ded827"],[],[],[],[null,false,0,"$26","demo.src","./core",null,false,"$27","demo.src",false,false]]],"metrics":[["METRIC-0477b10f3aa518a5","FACT","overview","interface_surface","Interface surface",[],[],[],[],[],["api",0]],["METRIC-115ac1d218349491","FACT","overview","forbidden_package_edges","Forbidden package edges",[],[],[],[],[],["violations",0]],["METRIC-130e9ec98394803f","FACT","overview","private_crossings","Confirmed private symbol crossings",[],[],[],[],[],["api",null]],["METRIC-1ea50a8caf608504","FACT","overview","symbols","Symbols",[],[],[],["$11","$12","$13","$14","$15","$16","$17","$18","$19","$20","$21","$22","$23"],[],["components",13]],["METRIC-45b586bf31456c32","FACT","overview","violating_import_sites","Violating import sites",[],[],[],[],[],["violations",0]],["METRIC-5610c365b3e34d3d","FACT","overview","typing_signals","Typing & dynamic signals",[],[],[],[],[],["types",null]],["METRIC-58f9e6977954a47e","FACT","overview","module_cycles","Module cycles",[],[],[],[],[],["cycles",0]],["METRIC-5e1b38214272f111","FACT","overview","untyped_private_accesses","Private attribute accesses through untyped or Any parameters",[],[],[],[],[],["api",null]],["METRIC-9a8bf9ba32aac4c3","FACT","overview","ast_coverage","AST coverage",[],[],[],["$8","$9"],[],["coverage","100.0%"]],["METRIC-a4770d56d0e45bc8","FACT","overview","affected_violation_modules","Affected source modules",[],[],[],[],[],["violations",0]],["METRIC-af8a12e31cd6b969","FACT","overview","package_cycles","Package cycles",[],[],[],[],[],["cycles",0]],["METRIC-b28b1ed9821f38c6","FACT","overview","packages","Packages",[],[],[],["PKG-ce1fda1bcfb5e56f"],[],["package",1]],["METRIC-b2983be8c3741e5b","FACT","overview","source_files","Source files",[],[],[],["$8","$9"],[],["coverage",2]],["METRIC-b5246b04f97b5e43","FACT","overview","call_resolution","Uniquely resolved recorded call sites",[],[],[],["TSCALL-e618ae2d8910be8a","TSCALL-f65049f011527767"],[],["calls","50.0%"]],["METRIC-c6ba710e0c094515","FACT","overview","violations","Contract violations",[],[],[],[],[],["violations",0]],["METRIC-cd26a4b22ffceb0b","FACT","overview","unresolved_calls","Unresolved recorded call sites",[],[],[],["TSCALL-28fd79f0fcba9e39","$10"],[],["calls",2]],["METRIC-f96ad8a9b8498c26","FACT","overview","rollup_only_package_cycles","Package cycles no module cycle crosses",[],[],[],[],[],["cycles",0]],["METRIC-fbc6c1d4c3b6db8f","FACT","overview","modules","Modules",[],[],[],["$8","$9"],[],["module",2]]],"modules":[["$8","FACT","module_topology","module","$26",["demo.src","$26"],["EVD-1b71c72aba26449f"],[],[],[],[[],false,false,0,1,"src/app.ts","demo.src","$26",0,1]],["$9","FACT","module_topology","module","$27",["demo.src","$27"],["$4"],[],[],[],[[],false,false,1,0,"src/core.ts","demo.src","$27",1,12]]],"packages":[["PKG-ce1fda1bcfb5e56f","FACT","package_topology","package","demo.src",["demo.src"],[],[],["$8","$9"],[],[[],0,0,2,"demo.src",0]]],"path_observations":[],"producer":{"code_digest":"8116d92bd63a18c0d191b0a71a02e70a77aab1597906da0a95334505a7ee9827","name":"archkeel-typescript-imports","version":"2.0.0"},"references":[["TSREF-641e1720e59486dc","FACT","source","references","value",["demo.src.app_x2e_ts.work"],["EVD-b1c7525530a79b9f"],[],[],[],[0,false,"value","lexical binding may shadow the name","$15","$26","demo.src.app_x2e_ts.work","unresolved",[],"value"]],["TSREF-0f8c01f38fa85568","FACT","source","references","Base",["demo.src.core_x2e_ts.Base","$28"],["EVD-8353be057eb9788f"],[],[],[],[1,false,"Base","$m","$11","$27","$28","resolved",["demo.src.core_x2e_ts.Base"],"value"]],["TSREF-14b2ddda1edaba78","FACT","source","references","Port",["$28","demo.src.core_x2e_ts.Port"],["EVD-07e45436007873f3"],[],[],[],[1,false,"Port","$m","$11","$27","$28","resolved",["demo.src.core_x2e_ts.Port"],"type"]],["TSREF-0276381eb5920fab","FACT","source","references","this._token",["demo.src.core_x2e_ts.Client._token","$29"],["EVD-11995cdd37a73c9e"],[],[],[],[1,false,"this._token","$m","$21","$27","$29","resolved",["demo.src.core_x2e_ts.Client._token"],"member"]],["TSREF-d38e4a479ac118fc","FACT","source","references","value",["$29"],["EVD-25a6273ac23a7b21"],[],[],[],[0,false,"value","lexical binding may shadow the name","$21","$27","$29","unresolved",[],"value"]],["TSREF-83b0c05d2f3316cf","FACT","source","references","this._token",["demo.src.core_x2e_ts.Client._token","$29"],["EVD-c9d233bd7a0f666c"],[],[],[],[1,false,"this._token","$m","$21","$27","$29","resolved",["demo.src.core_x2e_ts.Client._token"],"member"]],["TSREF-a0341cd315ace057","FACT","source","references","value",["$31"],["EVD-c3d3928001f84b03"],[],[],[],[0,false,"value","lexical binding may shadow the name","$17","$27","$31","unresolved",[],"value"]],["TSREF-4c39c25c718e9be8","FACT","source","references","Unit",["demo.src.core_x2e_ts.Unit","$30"],["EVD-b52d2736ca0d164d"],[],[],[],[1,false,"Unit","$m","$22","$27","$30","resolved",["demo.src.core_x2e_ts.Unit"],"type"]],["TSREF-2aed02aa50b8367e","FACT","source","references","Unit",["demo.src.core_x2e_ts.Unit","$30"],["EVD-e91eaa3fe34c1927"],[],[],[],[1,false,"Unit","$m","$22","$27","$30","resolved",["demo.src.core_x2e_ts.Unit"],"value"]],["TSREF-7c89fc047c3913f8","FACT","source","references","item",["$30"],["EVD-702b14071f1cb31b"],[],[],[],[0,false,"item","lexical binding may shadow the name","$22","$27","$30","unresolved",[],"value"]]],"runtime":{"name":"python","required":">=3.11","version":"3.11.12"},"schema_version":"2.0.0","scope_observations":[["SCOPE-a25fd99dd5ab7f3e","FACT","components","declared_component_scope_observation","Observed source scope for demo",["demo"],["EVD-1b71c72aba26449f","$4"],["demo-component"],["$8","$9"],[],["$m","$m","demo-component",true,0,["src/app.ts","src/core.ts"],2,["$26","$27"],2,[],[],"$m",[{"kind":"package","observed_module_count":2,"scope":"demo"}],["demo"]]],["UML-EVALUATION-91ba575e64c861dd","FACT","uml","rule_evaluation","Independent UML target evaluated",[],["EVD-047e74cd182a350b","EVD-07e45436007873f3","EVD-11995cdd37a73c9e","EVD-1b71c72aba26449f","EVD-2cacfe5ee8ded827","$4","EVD-5fb8b4857572b2a3","EVD-6ad903a33e95c15b","EVD-6d291d5b9381585c","EVD-73298ac2264b32b7","EVD-8353be057eb9788f","EVD-8d6642ca8957d74d","EVD-9b5d1349bdd9ed44","EVD-9d236277027b7e51","$5","EVD-b417dabac30b3dc5","EVD-b488e621972c5751","EVD-b52d2736ca0d164d","EVD-b931a6c2b916aaac","EVD-bd8baf657790805d","$6","EVD-c9d233bd7a0f666c","EVD-ca883428c21a822c","EVD-d6a52670fe86277a","EVD-da3816449d3dc8d1","EVD-e91eaa3fe34c1927","EVD-f63be870ed478a5b","EVD-f92d430f380cbe5c","EVD-f994943e271e2985","EVD-faabfb0d68df1f28"],["UML-TARGET-a2e40c5592b1b06a"],["IMP-0950f4135cc6e52b","$8","$9","$10","TSCALL-e618ae2d8910be8a","TSCALL-f65049f011527767","$11","$12","$13","$14","$15","$16","$17","$18","$19","$20","$21","$22","$23","TSREF-0276381eb5920fab","TSREF-0f8c01f38fa85568","TSREF-14b2ddda1edaba78","TSREF-2aed02aa50b8367e","TSREF-4c39c25c718e9be8","TSREF-83b0c05d2f3316cf"],["architecture-contract.json"],[false,{"assessments":[{"aspect":"existence","change":"matched","evidence_ids":["$4"],"fact_ids":["$9"],"id":"UML-ASSESSMENT-92525fccbbf86aab","observed_ids":["$9"],"reason":"$1","status":"PASS","subject_id":"core-module"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-1b71c72aba26449f"],"fact_ids":["$8"],"id":"UML-ASSESSMENT-67280e4ce12b3946","observed_ids":["$8"],"reason":"$1","status":"PASS","subject_id":"app-module"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-bd8baf657790805d"],"fact_ids":["$23"],"id":"UML-ASSESSMENT-b60409f4868bc5dd","observed_ids":["$23"],"reason":"$1","status":"PASS","subject_id":"port"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-bd8baf657790805d"],"fact_ids":["$9","$23"],"id":"UML-ASSESSMENT-2d5da878985bc7bc","observed_ids":["$9","$23"],"reason":"$7","status":"PASS","subject_id":"port"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-bd8baf657790805d"],"fact_ids":["$23"],"id":"UML-ASSESSMENT-1704b2eb7738e520","observed_ids":["$23"],"reason":"$25","status":"PASS","subject_id":"port"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-6ad903a33e95c15b"],"fact_ids":["$18"],"id":"UML-ASSESSMENT-4fd2d2447ce6ab2b","observed_ids":["$18"],"reason":"$1","status":"PASS","subject_id":"port-run"},{"aspect":"containment","change":"matched","evidence_ids":["EVD-6ad903a33e95c15b","EVD-bd8baf657790805d"],"fact_ids":["$18","$23"],"id":"UML-ASSESSMENT-5c425f7630f46f7d","observed_ids":["$18","$23"],"reason":"$7","status":"PASS","subject_id":"port-run"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-6ad903a33e95c15b"],"fact_ids":["$18"],"id":"UML-ASSESSMENT-0d5861adfacd9c59","observed_ids":["$18"],"reason":"$2","status":"PASS","subject_id":"port-run"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-6ad903a33e95c15b"],"fact_ids":["$18"],"id":"UML-ASSESSMENT-7931a261e699a932","observed_ids":["$18"],"reason":"$25","status":"PASS","subject_id":"port-run"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-8d6642ca8957d74d"],"fact_ids":["$13"],"id":"UML-ASSESSMENT-542bf19d9d9d13a2","observed_ids":["$13"],"reason":"$1","status":"PASS","subject_id":"base"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-8d6642ca8957d74d"],"fact_ids":["$9","$13"],"id":"UML-ASSESSMENT-9f549e82e63ac8ad","observed_ids":["$9","$13"],"reason":"$7","status":"PASS","subject_id":"base"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-8d6642ca8957d74d"],"fact_ids":["$13"],"id":"UML-ASSESSMENT-63b3765448b914b4","observed_ids":["$13"],"reason":"$25","status":"PASS","subject_id":"base"},{"aspect":"existence","change":"matched","evidence_ids":["$6"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-952d906fbc73c8f1","observed_ids":["$11"],"reason":"$1","status":"PASS","subject_id":"client"},{"aspect":"containment","change":"matched","evidence_ids":["$4","$6"],"fact_ids":["$9","$11"],"id":"UML-ASSESSMENT-29efd4f9e6ca1b9d","observed_ids":["$9","$11"],"reason":"$7","status":"PASS","subject_id":"client"},{"aspect":"visibility","change":"matched","evidence_ids":["$6"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-71c25e957826e4e2","observed_ids":["$11"],"reason":"$25","status":"PASS","subject_id":"client"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-d6a52670fe86277a"],"fact_ids":["$21"],"id":"UML-ASSESSMENT-c611ff94649c637b","observed_ids":["$21"],"reason":"$1","status":"PASS","subject_id":"run"},{"aspect":"containment","change":"matched","evidence_ids":["$6","EVD-d6a52670fe86277a"],"fact_ids":["$11","$21"],"id":"UML-ASSESSMENT-0c5d4ef776d2c971","observed_ids":["$11","$21"],"reason":"$7","status":"PASS","subject_id":"run"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-d6a52670fe86277a"],"fact_ids":["$21"],"id":"UML-ASSESSMENT-ea201c5d8a9188f8","observed_ids":["$21"],"reason":"$2","status":"PASS","subject_id":"run"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-d6a52670fe86277a"],"fact_ids":["$21"],"id":"UML-ASSESSMENT-a2d81d3c2b0263d6","observed_ids":["$21"],"reason":"$25","status":"PASS","subject_id":"run"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-f63be870ed478a5b"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-ad9060d8e4f8aab7","observed_ids":["TSATTR-fb9b5a13bdb62d01"],"reason":"$1","status":"PASS","subject_id":"private-token"},{"aspect":"containment","change":"matched","evidence_ids":["$6","EVD-f63be870ed478a5b"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-4fd80337bfbd8ced","observed_ids":["TSATTR-fb9b5a13bdb62d01","$11"],"reason":"$7","status":"PASS","subject_id":"private-token"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-f63be870ed478a5b"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-8fabc8f48f86e569","observed_ids":["TSATTR-fb9b5a13bdb62d01"],"reason":"$25","status":"PASS","subject_id":"private-token"},{"aspect":"annotation","change":"matched","evidence_ids":["EVD-f63be870ed478a5b"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-c7aa9a5ca6f5ff99","observed_ids":["TSATTR-fb9b5a13bdb62d01"],"reason":"Annotation matches.","status":"PASS","subject_id":"private-token"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-73298ac2264b32b7"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-ec30cffa75ec249d","observed_ids":["TSATTR-d0e0a9726e6fdb5c"],"reason":"$1","status":"PASS","subject_id":"limit"},{"aspect":"containment","change":"matched","evidence_ids":["EVD-73298ac2264b32b7","$6"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-194cba8830d5c5f9","observed_ids":["TSATTR-d0e0a9726e6fdb5c","$11"],"reason":"$7","status":"PASS","subject_id":"limit"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-73298ac2264b32b7"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-01b0b3eac7372e9a","observed_ids":["TSATTR-d0e0a9726e6fdb5c"],"reason":"$25","status":"PASS","subject_id":"limit"},{"aspect":"modifiers","change":"matched","evidence_ids":["EVD-73298ac2264b32b7"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-8b35a957d8aead12","observed_ids":["TSATTR-d0e0a9726e6fdb5c"],"reason":"Requested traits are recorded.","status":"PASS","subject_id":"limit"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-faabfb0d68df1f28"],"fact_ids":["$19"],"id":"UML-ASSESSMENT-54033f22d229011d","observed_ids":["$19"],"reason":"$1","status":"PASS","subject_id":"reset"},{"aspect":"containment","change":"matched","evidence_ids":["$6","EVD-faabfb0d68df1f28"],"fact_ids":["$11","$19"],"id":"UML-ASSESSMENT-dec1cf243ef17c6b","observed_ids":["$11","$19"],"reason":"$7","status":"PASS","subject_id":"reset"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-faabfb0d68df1f28"],"fact_ids":["$19"],"id":"UML-ASSESSMENT-b96b65aaf47932bb","observed_ids":["$19"],"reason":"$2","status":"PASS","subject_id":"reset"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-faabfb0d68df1f28"],"fact_ids":["$19"],"id":"UML-ASSESSMENT-d5e78d7cec9af2b2","observed_ids":["$19"],"reason":"$25","status":"PASS","subject_id":"reset"},{"aspect":"modifiers","change":"matched","evidence_ids":["EVD-faabfb0d68df1f28"],"fact_ids":["$19"],"id":"UML-ASSESSMENT-92e2a6a913e866f3","observed_ids":["$19"],"reason":"Requested traits are recorded.","status":"PASS","subject_id":"reset"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-b488e621972c5751"],"fact_ids":["$16"],"id":"UML-ASSESSMENT-35e4783b9b730dc0","observed_ids":["$16"],"reason":"$1","status":"PASS","subject_id":"unit"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-b488e621972c5751"],"fact_ids":["$9","$16"],"id":"UML-ASSESSMENT-5c0ed56e73253448","observed_ids":["$9","$16"],"reason":"$7","status":"PASS","subject_id":"unit"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-b488e621972c5751"],"fact_ids":["$16"],"id":"UML-ASSESSMENT-91feef0e4f7cbab6","observed_ids":["$16"],"reason":"$25","status":"PASS","subject_id":"unit"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-ca883428c21a822c"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-2538e62b1734ab99","observed_ids":["$12"],"reason":"$1","status":"PASS","subject_id":"state"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-ca883428c21a822c"],"fact_ids":["$9","$12"],"id":"UML-ASSESSMENT-8643e945524f84eb","observed_ids":["$9","$12"],"reason":"$7","status":"PASS","subject_id":"state"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-ca883428c21a822c"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-d42940b84371537a","observed_ids":["$12"],"reason":"$25","status":"PASS","subject_id":"state"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-047e74cd182a350b"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-c0513466003afbb4","observed_ids":["TSATTR-f166698cb1388272"],"reason":"$1","status":"PASS","subject_id":"ready"},{"aspect":"containment","change":"matched","evidence_ids":["EVD-047e74cd182a350b","EVD-ca883428c21a822c"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-729f8ff8fad5e250","observed_ids":["TSATTR-f166698cb1388272","$12"],"reason":"$7","status":"PASS","subject_id":"ready"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-047e74cd182a350b"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-ed349433a4335fb8","observed_ids":["TSATTR-f166698cb1388272"],"reason":"$25","status":"PASS","subject_id":"ready"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-9b5d1349bdd9ed44"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-966724f7555bc410","observed_ids":["TSATTR-3e2ca7a1a4663cf2"],"reason":"$1","status":"PASS","subject_id":"stopped"},{"aspect":"containment","change":"matched","evidence_ids":["EVD-9b5d1349bdd9ed44","EVD-ca883428c21a822c"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-609c2015a23c6de3","observed_ids":["TSATTR-3e2ca7a1a4663cf2","$12"],"reason":"$7","status":"PASS","subject_id":"stopped"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-9b5d1349bdd9ed44"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-b14feccd04b2d168","observed_ids":["TSATTR-3e2ca7a1a4663cf2"],"reason":"$25","status":"PASS","subject_id":"stopped"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-f994943e271e2985"],"fact_ids":["$17"],"id":"UML-ASSESSMENT-b8c867112af6abd4","observed_ids":["$17"],"reason":"$1","status":"PASS","subject_id":"helper"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-f994943e271e2985"],"fact_ids":["$9","$17"],"id":"UML-ASSESSMENT-a7a3a92e71092ce4","observed_ids":["$9","$17"],"reason":"$7","status":"PASS","subject_id":"helper"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-f994943e271e2985"],"fact_ids":["$17"],"id":"UML-ASSESSMENT-62efaf85eecc04a2","observed_ids":["$17"],"reason":"$2","status":"PASS","subject_id":"helper"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-f994943e271e2985"],"fact_ids":["$17"],"id":"UML-ASSESSMENT-6c654e2ae1f5f1e5","observed_ids":["$17"],"reason":"$25","status":"PASS","subject_id":"helper"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-da3816449d3dc8d1"],"fact_ids":["$22"],"id":"UML-ASSESSMENT-f72a7aa93435b466","observed_ids":["$22"],"reason":"$1","status":"PASS","subject_id":"build"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-da3816449d3dc8d1"],"fact_ids":["$9","$22"],"id":"UML-ASSESSMENT-4f0caa5235bca4e8","observed_ids":["$9","$22"],"reason":"$7","status":"PASS","subject_id":"build"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-da3816449d3dc8d1"],"fact_ids":["$22"],"id":"UML-ASSESSMENT-afc12dbb1e22f543","observed_ids":["$22"],"reason":"$2","status":"PASS","subject_id":"build"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-da3816449d3dc8d1"],"fact_ids":["$22"],"id":"UML-ASSESSMENT-ce2dd553f5893609","observed_ids":["$22"],"reason":"$25","status":"PASS","subject_id":"build"},{"aspect":"existence","change":"matched","evidence_ids":["$5","EVD-b931a6c2b916aaac"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-e05d4029dcf3ef76","observed_ids":["VALUEBIND-fca533a541bede92"],"reason":"$1","status":"PASS","subject_id":"item"},{"aspect":"containment","change":"matched","evidence_ids":["$5","EVD-b931a6c2b916aaac","EVD-da3816449d3dc8d1"],"fact_ids":["$10","$22"],"id":"UML-ASSESSMENT-1535c21cba7ef72a","observed_ids":["$22","VALUEBIND-fca533a541bede92"],"reason":"$7","status":"PASS","subject_id":"item"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-5fb8b4857572b2a3"],"fact_ids":["$15"],"id":"UML-ASSESSMENT-ba9172077bcb0646","observed_ids":["$15"],"reason":"$1","status":"PASS","subject_id":"work"},{"aspect":"containment","change":"matched","evidence_ids":["EVD-1b71c72aba26449f","EVD-5fb8b4857572b2a3"],"fact_ids":["$8","$15"],"id":"UML-ASSESSMENT-9fa1cc2d0c2c559d","observed_ids":["$8","$15"],"reason":"$7","status":"PASS","subject_id":"work"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-5fb8b4857572b2a3"],"fact_ids":["$15"],"id":"UML-ASSESSMENT-833128de967e4986","observed_ids":["$15"],"reason":"$2","status":"PASS","subject_id":"work"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-5fb8b4857572b2a3"],"fact_ids":["$15"],"id":"UML-ASSESSMENT-b3db224047f71135","observed_ids":["$15"],"reason":"$25","status":"PASS","subject_id":"work"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-9d236277027b7e51"],"fact_ids":["$14"],"id":"UML-ASSESSMENT-ad93b2a33fd32a0d","observed_ids":["$14"],"reason":"$1","status":"PASS","subject_id":"text"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-9d236277027b7e51"],"fact_ids":["$9","$14"],"id":"UML-ASSESSMENT-5f4bace71e2b089f","observed_ids":["$9","$14"],"reason":"$7","status":"PASS","subject_id":"text"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-9d236277027b7e51"],"fact_ids":["$14"],"id":"UML-ASSESSMENT-31774ae8cfd0f460","observed_ids":["$14"],"reason":"$25","status":"PASS","subject_id":"text"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-6d291d5b9381585c"],"fact_ids":["$20"],"id":"UML-ASSESSMENT-0847b8a41da2381a","observed_ids":["$20"],"reason":"$1","status":"PASS","subject_id":"version"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-6d291d5b9381585c"],"fact_ids":["$9","$20"],"id":"UML-ASSESSMENT-f96e447da8535c92","observed_ids":["$9","$20"],"reason":"$7","status":"PASS","subject_id":"version"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-6d291d5b9381585c"],"fact_ids":["$20"],"id":"UML-ASSESSMENT-bc485e5ddc31cc1f","observed_ids":["$20"],"reason":"$25","status":"PASS","subject_id":"version"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-8353be057eb9788f"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-34ba71968599c606","observed_ids":["TSBASE-3f7d9878cfaa2b3a"],"reason":"$3","status":"PASS","subject_id":"client-base"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-07e45436007873f3"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-7c21d0c3c1a9bcbb","observed_ids":["TSBASE-d69232d2866517d1"],"reason":"$3","status":"PASS","subject_id":"client-port"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-f92d430f380cbe5c"],"fact_ids":["TSCALL-f65049f011527767"],"id":"UML-ASSESSMENT-2aa9ee8536e0a682","observed_ids":["TSCALL-f65049f011527767"],"reason":"$3","status":"PASS","subject_id":"run-helper"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-b52d2736ca0d164d","EVD-e91eaa3fe34c1927"],"fact_ids":["TSREF-2aed02aa50b8367e","TSREF-4c39c25c718e9be8"],"id":"UML-ASSESSMENT-3fdd151e90ce7444","observed_ids":["TSREF-2aed02aa50b8367e","TSREF-4c39c25c718e9be8"],"reason":"$3","status":"PASS","subject_id":"build-unit-reference"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-2cacfe5ee8ded827"],"fact_ids":["IMP-0950f4135cc6e52b"],"id":"UML-ASSESSMENT-ffd4125adacf59a9","observed_ids":["IMP-0950f4135cc6e52b"],"reason":"$3","status":"PASS","subject_id":"app-import"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-b417dabac30b3dc5"],"fact_ids":["TSCALL-e618ae2d8910be8a"],"id":"UML-ASSESSMENT-e989dff3a22c5b91","observed_ids":["TSCALL-e618ae2d8910be8a"],"reason":"$3","status":"PASS","subject_id":"work-helper"},{"aspect":"relationship","change":"unavailable","evidence_ids":["$5"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-383b4d89b927f97e","observed_ids":["CONSTRUCTION-5eac37470d0599e2"],"reason":"$24","status":"UNKNOWN","subject_id":"build-unit"},{"aspect":"relationship","change":"unavailable","evidence_ids":["$5"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-0fce395e2460d46b","observed_ids":["CONSTRUCTION-7fe6e5a4bcedf6bd"],"reason":"$24","status":"UNKNOWN","subject_id":"item-unit"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-11995cdd37a73c9e","EVD-c9d233bd7a0f666c"],"fact_ids":["TSREF-0276381eb5920fab","TSREF-83b0c05d2f3316cf"],"id":"UML-ASSESSMENT-88f5a07332ba37e7","observed_ids":["TSREF-0276381eb5920fab","TSREF-83b0c05d2f3316cf"],"reason":"$3","status":"PASS","subject_id":"run-token"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-8353be057eb9788f"],"fact_ids":["TSREF-0f8c01f38fa85568"],"id":"UML-ASSESSMENT-dce9ec96f7dd321f","observed_ids":["TSREF-0f8c01f38fa85568"],"reason":"$3","status":"PASS","subject_id":"client-base-reference"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-07e45436007873f3"],"fact_ids":["TSREF-14b2ddda1edaba78"],"id":"UML-ASSESSMENT-ede37ffa257eba9b","observed_ids":["TSREF-14b2ddda1edaba78"],"reason":"$3","status":"PASS","subject_id":"client-port-reference"},{"aspect":"relationship","change":"unavailable","evidence_ids":["$5"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-0780ad087a66bc6f","observed_ids":["$10"],"reason":"$24","status":"UNKNOWN","subject_id":"build-unit-call"},{"aspect":"completeness","change":"matched","evidence_ids":["$6"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-bf12596e43787c8f","observed_ids":["$11"],"reason":"Closed scope inventory is covered.","status":"PASS","subject_id":"client"},{"aspect":"completeness","change":"matched","evidence_ids":["EVD-ca883428c21a822c"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-c88e06fa514505fd","observed_ids":["$12"],"reason":"Closed scope inventory is covered.","status":"PASS","subject_id":"state"},{"aspect":"completeness","change":"matched","evidence_ids":["EVD-8d6642ca8957d74d"],"fact_ids":["$13"],"id":"UML-ASSESSMENT-b337312b769c30ca","observed_ids":["$13"],"reason":"Closed scope inventory is covered.","status":"PASS","subject_id":"base"},{"aspect":"completeness","change":"matched","evidence_ids":["EVD-b488e621972c5751"],"fact_ids":["$16"],"id":"UML-ASSESSMENT-652d31c634ca5054","observed_ids":["$16"],"reason":"Closed scope inventory is covered.","status":"PASS","subject_id":"unit"},{"aspect":"completeness","change":"matched","evidence_ids":["EVD-bd8baf657790805d"],"fact_ids":["$23"],"id":"UML-ASSESSMENT-1a9a5ca141a01de2","observed_ids":["$23"],"reason":"Closed scope inventory is covered.","status":"PASS","subject_id":"port"}],"correspondences":[{"observed_ids":["$9"],"target_id":"core-module"},{"observed_ids":["$8"],"target_id":"app-module"},{"observed_ids":["$23"],"target_id":"port"},{"observed_ids":["$18"],"target_id":"port-run"},{"observed_ids":["$13"],"target_id":"base"},{"observed_ids":["$11"],"target_id":"client"},{"observed_ids":["$21"],"target_id":"run"},{"observed_ids":["TSATTR-fb9b5a13bdb62d01"],"target_id":"private-token"},{"observed_ids":["TSATTR-d0e0a9726e6fdb5c"],"target_id":"limit"},{"observed_ids":["$19"],"target_id":"reset"},{"observed_ids":["$16"],"target_id":"unit"},{"observed_ids":["$12"],"target_id":"state"},{"observed_ids":["TSATTR-f166698cb1388272"],"target_id":"ready"},{"observed_ids":["TSATTR-3e2ca7a1a4663cf2"],"target_id":"stopped"},{"observed_ids":["$17"],"target_id":"helper"},{"observed_ids":["$22"],"target_id":"build"},{"observed_ids":["VALUEBIND-fca533a541bede92"],"target_id":"item"},{"observed_ids":["$15"],"target_id":"work"},{"observed_ids":["$14"],"target_id":"text"},{"observed_ids":["$20"],"target_id":"version"}],"schema_version":"1.0.0","status":"UNKNOWN"},"$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]]],"source":{"dirty":true,"git_head":"3c80a9480e030122002660157028d95cbe838f93","scope":["src/**"],"source_digest":"f623cfc6e40279fd37b8197f34ebac46689a258f1318dd0da2267ed1db4e83dd"},"string_table":["Declare the complete classifier member inventory recorded by the analyzer.","Declared definition is recorded.","Declared signature matches recorded syntax.","Directed relationship is recorded.","EVD-33b19d2673d8e738","EVD-a21a4eec804783ce","EVD-c8f1a15deff0740e","Lexical parent matches.","MOD-3cb9d4b9e7612688","MOD-ffd8b92be6c7d450","TSCALL-be5b86492932b755","TSDEF-05207330171bd6e0","TSDEF-10617efaee9b35fc","TSDEF-2747ab702aec8c0d","TSDEF-2b13f44e17e79815","TSDEF-380deda68b3cc338","TSDEF-41a07233f6c4e1a5","TSDEF-4b2561b3635eee9b","TSDEF-52cdcebda13c0f42","TSDEF-6b0447746a1f8f1f","TSDEF-726f626d041c38e6","TSDEF-9ce7d1989eec6c79","TSDEF-ddf2077d1df956bb","TSDEF-f0ee363041c37184","Unresolved source sites may refer to this endpoint.","Visibility matches.","demo.src.app_x2e_ts","demo.src.core_x2e_ts","demo.src.core_x2e_ts.Client","demo.src.core_x2e_ts.Client.run","demo.src.core_x2e_ts.build","demo.src.core_x2e_ts.helper","docs/target.md"],"symbols":[["$11","FACT","source","class","demo.src.core_x2e_ts.Client declaration",["$28"],["$6"],[],[],[],["$m",[{"annotation":"string","definition_id":"TSATTR-fb9b5a13bdb62d01","evidence_ids":["EVD-f63be870ed478a5b"],"name":"_token","static":false,"visibility":{"basis":"language","kind":"private","spelling":"_token"}},{"annotation":null,"definition_id":"TSATTR-d0e0a9726e6fdb5c","evidence_ids":["EVD-73298ac2264b32b7"],"name":"limit","static":true,"visibility":{"basis":"language","kind":"public","spelling":"limit"}}],[{"candidate_count":1,"candidates_truncated":false,"evidence_ids":["EVD-8353be057eb9788f"],"expression":"Base","id":"TSBASE-3f7d9878cfaa2b3a","relationship_kind":"inherits","status":"resolved","targets":["demo.src.core_x2e_ts.Base"]},{"candidate_count":1,"candidates_truncated":false,"evidence_ids":["EVD-07e45436007873f3"],"expression":"Port","id":"TSBASE-d69232d2866517d1","relationship_kind":"realizes","status":"resolved","targets":["demo.src.core_x2e_ts.Port"]}],true,"$m",[],"$m",null,[{"definition_ids":["TSATTR-fb9b5a13bdb62d01","TSATTR-d0e0a9726e6fdb5c"],"kind":"attribute","reason":null,"schema_version":"1.0.0","status":"complete"},{"definition_ids":["$21","$19"],"kind":"method","reason":null,"schema_version":"1.0.0","status":"complete"}],"$m","$27","Client",false,"demo.src","$m",null,"$28","$m",true,true,true,"class",{"basis":"language","kind":"public","spelling":"Client"}]],["$12","FACT","source","class","demo.src.core_x2e_ts.State declaration",["demo.src.core_x2e_ts.State"],["EVD-ca883428c21a822c"],[],[],[],["$m",[{"annotation":null,"definition_id":"TSATTR-f166698cb1388272","evidence_ids":["EVD-047e74cd182a350b"],"name":"READY","static":true,"visibility":{"basis":"language","kind":"public","spelling":"READY"}},{"annotation":null,"definition_id":"TSATTR-3e2ca7a1a4663cf2","evidence_ids":["EVD-9b5d1349bdd9ed44"],"name":"STOPPED","static":true,"visibility":{"basis":"language","kind":"public","spelling":"STOPPED"}}],[],true,"enum",[],["READY","STOPPED"],null,[{"definition_ids":["TSATTR-f166698cb1388272","TSATTR-3e2ca7a1a4663cf2"],"kind":"attribute","reason":null,"schema_version":"1.0.0","status":"complete"},{"definition_ids":[],"kind":"method","reason":null,"schema_version":"1.0.0","status":"complete"}],"$m","$27","State",false,"demo.src","$m",null,"demo.src.core_x2e_ts.State","$m",true,true,true,"class",{"basis":"language","kind":"public","spelling":"State"}]],["$13","FACT","source","class","demo.src.core_x2e_ts.Base declaration",["demo.src.core_x2e_ts.Base"],["EVD-8d6642ca8957d74d"],[],[],[],["$m",[],[],true,"$m",[],"$m",null,[{"definition_ids":[],"kind":"attribute","reason":null,"schema_version":"1.0.0","status":"complete"},{"definition_ids":[],"kind":"method","reason":null,"schema_version":"1.0.0","status":"complete"}],"$m","$27","Base",false,"demo.src","$m",null,"demo.src.core_x2e_ts.Base","$m",true,true,true,"class",{"basis":"language","kind":"public","spelling":"Base"}]],["$14","FACT","source","type_alias","demo.src.core_x2e_ts.Text declaration",["demo.src.core_x2e_ts.Text"],["EVD-9d236277027b7e51"],[],[],[],["string","$m","$m",true,"$m",[],"$m",null,"$m","$m","$27","Text",true,"demo.src",[],null,"demo.src.core_x2e_ts.Text",null,true,true,true,"type_alias",{"basis":"language","kind":"public","spelling":"Text"}]],["$15","FACT","source","function","demo.src.app_x2e_ts.work declaration",["demo.src.app_x2e_ts.work"],["EVD-5fb8b4857572b2a3"],[],[],[],[null,"$m","$m",true,"$m",[],"$m",null,"$m","$m","$26","work",false,"demo.src",[{"annotation":"number","default":null,"default_known":true,"kind":"positional","name":"value"}],null,"demo.src.app_x2e_ts.work","string",true,true,true,"function",{"basis":"language","kind":"public","spelling":"work"}]],["$16","FACT","source","class","demo.src.core_x2e_ts.Unit declaration",["demo.src.core_x2e_ts.Unit"],["EVD-b488e621972c5751"],[],[],[],["$m",[],[],true,"$m",[],"$m",null,[{"definition_ids":[],"kind":"attribute","reason":null,"schema_version":"1.0.0","status":"complete"},{"definition_ids":[],"kind":"method","reason":null,"schema_version":"1.0.0","status":"complete"}],"$m","$27","Unit",false,"demo.src","$m",null,"demo.src.core_x2e_ts.Unit","$m",true,true,true,"class",{"basis":"language","kind":"public","spelling":"Unit"}]],["$17","FACT","source","function","demo.src.core_x2e_ts.helper declaration",["$31"],["EVD-f994943e271e2985"],[],[],[],[null,"$m","$m",true,"$m",[],"$m",null,"$m","$m","$27","helper",false,"demo.src",[{"annotation":"number","default":null,"default_known":true,"kind":"positional","name":"value"}],null,"$31","string",true,true,true,"function",{"basis":"language","kind":"public","spelling":"helper"}]],["$18","FACT","source","method","demo.src.core_x2e_ts.Port.run declaration",["demo.src.core_x2e_ts.Port.run"],["EVD-6ad903a33e95c15b"],[],[],[],[null,"$m","$m",true,"$m",[],"$m","$23","$m","instance","$27","run",true,"demo.src",[{"annotation":"number","default":null,"default_known":true,"kind":"positional","name":"value"}],"demo.src.core_x2e_ts.Port","demo.src.core_x2e_ts.Port.run","string",true,true,true,"method",{"basis":"language","kind":"public","spelling":"run"}]],["$19","FACT","source","method","demo.src.core_x2e_ts.Client.reset declaration",["demo.src.core_x2e_ts.Client.reset"],["EVD-faabfb0d68df1f28"],[],[],[],[null,"$m","$m",true,"$m",[],"$m","$11","$m","static","$27","reset",false,"demo.src",[],"$28","demo.src.core_x2e_ts.Client.reset","void",true,true,true,"method",{"basis":"language","kind":"public","spelling":"reset"}]],["$20","FACT","source","constant","demo.src.core_x2e_ts.VERSION declaration",["demo.src.core_x2e_ts.VERSION"],["EVD-6d291d5b9381585c"],[],[],[],[null,"$m","$m",true,"$m",[],"$m",null,"$m","$m","$27","VERSION",false,"demo.src",[],null,"demo.src.core_x2e_ts.VERSION",null,true,true,true,"constant",{"basis":"language","kind":"public","spelling":"VERSION"}]],["$21","FACT","source","method","demo.src.core_x2e_ts.Client.run declaration",["$29"],["EVD-d6a52670fe86277a"],[],[],[],[null,"$m","$m",true,"$m",[],"$m","$11","$m","instance","$27","run",false,"demo.src",[{"annotation":"number","default":null,"default_known":true,"kind":"positional","name":"value"}],"$28","$29","string",true,true,true,"method",{"basis":"language","kind":"public","spelling":"run"}]],["$22","FACT","source","function","demo.src.core_x2e_ts.build declaration",["$30"],["EVD-da3816449d3dc8d1"],[],[],[],[null,"$m","$m",true,"$m",[],"$m",null,"$m","$m","$27","build",false,"demo.src",[],null,"$30","Unit",true,true,true,"function",{"basis":"language","kind":"public","spelling":"build"}]],["$23","FACT","source","class","demo.src.core_x2e_ts.Port declaration",["demo.src.core_x2e_ts.Port"],["EVD-bd8baf657790805d"],[],[],[],["$m",[],[],true,"protocol",[],"$m",null,[{"definition_ids":[],"kind":"attribute","reason":null,"schema_version":"1.0.0","status":"complete"},{"definition_ids":["$18"],"kind":"method","reason":null,"schema_version":"1.0.0","status":"complete"}],"$m","$27","Port",false,"demo.src","$m",null,"demo.src.core_x2e_ts.Port","$m",true,true,true,"class",{"basis":"language","kind":"public","spelling":"Port"}]]],"transitive_paths":[],"typing_signals":null,"unknowns":[["UML-FINDING-61076f0e9c626c0b","UNKNOWN","uml","uml_conformance","$24",[],["$5"],["UML-TARGET-a2e40c5592b1b06a"],["$10"],["architecture-contract.json"],["relationship","unavailable",["$5"],["$10"],"UML-ASSESSMENT-383b4d89b927f97e",["CONSTRUCTION-5eac37470d0599e2"],"$24","UNKNOWN","build-unit"]],["UML-FINDING-542e271b0eff7143","UNKNOWN","uml","uml_conformance","$24",[],["$5"],["UML-TARGET-a2e40c5592b1b06a"],["$10"],["architecture-contract.json"],["relationship","unavailable",["$5"],["$10"],"UML-ASSESSMENT-0fce395e2460d46b",["CONSTRUCTION-7fe6e5a4bcedf6bd"],"$24","UNKNOWN","item-unit"]],["UML-FINDING-83fb326265d11459","UNKNOWN","uml","uml_conformance","$24",[],["$5"],["UML-TARGET-a2e40c5592b1b06a"],["$10"],["architecture-contract.json"],["relationship","unavailable",["$5"],["$10"],"UML-ASSESSMENT-0780ad087a66bc6f",["$10"],"$24","UNKNOWN","build-unit-call"]]],"violations":[]}