{"analyzer":{"code_digest":"6ed891a951931796dd691234f14726b7145b9986ff478e3dfb47f7e9996ba96b","name":"archkeel-typescript-imports","version":"0.74.0"},"bindings":[["VALUEBIND-07802248cee8b29e","FACT","source","bindings","demo.src.core_x2e_ts.build.item binding",["$29"],["EVD-1e0cc497b2f22c99"],[],[],[],["item","$25","$25","$29"]]],"calls":[["TSCALL-e618ae2d8910be8a","FACT","source","calls","helper",["demo.src.app_x2e_ts.work","$30"],["EVD-b417dabac30b3dc5"],[],[],[],[1,false,"$m","helper","$m","$14","$24","demo.src.app_x2e_ts.work","resolved",["$30"]]],["TSCALL-f65049f011527767","FACT","source","calls","helper",["$27","$30"],["EVD-f92d430f380cbe5c"],[],[],[],[1,false,"$m","helper","$m","$19","$25","$27","resolved",["$30"]]],["$9","FACT","source","calls","Unit",["$28","$29"],["EVD-f0c0cfcd25b7e305"],[],[],[],[1,false,{"candidates_truncated":false,"reason":"Unique local classifier construction","status":"resolved","targets":["$28"]},"Unit",[{"annotation":null,"definition_contexts":[],"evidence_ids":["EVD-1e0cc497b2f22c99"],"id":"VALUEBIND-07802248cee8b29e","initializer":"new Unit()","name":"item","target_kind":"name"}],"$21","$25","$29","resolved",["$28"]]]],"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":100.0,"calls_analyzed":3,"calls_partially_resolved":0,"calls_resolved":3,"calls_unresolved":0,"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"],[],[],[],["$31"],["architect","$m",[],"$m","$m","$m","demo","$m",["$24","$25"],"$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":["$31"],"qualified_name":"$25","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":["$31"],"qualified_name":"$24","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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"qualified_name":"$26","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":["$31"],"qualified_name":"$27","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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"qualified_name":"$28","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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"qualified_name":"$30","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":["$31"],"qualified_name":"$29","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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"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":["$31"],"rationale":"$0","relationship_kinds":[],"scope_id":"client"},{"entity_kinds":["enum_literal"],"mode":"closed","provenance":["$31"],"rationale":"$0","relationship_kinds":[],"scope_id":"state"},{"entity_kinds":["attribute","method"],"mode":"closed","provenance":["$31"],"rationale":"$0","relationship_kinds":[],"scope_id":"base"},{"entity_kinds":["attribute","method"],"mode":"closed","provenance":["$31"],"rationale":"$0","relationship_kinds":[],"scope_id":"unit"},{"entity_kinds":["attribute","method"],"mode":"closed","provenance":["$31"],"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",["$24","$25"],[],[],["IMP-0950f4135cc6e52b"],[],[false,1,"module",1,"$24",0,"$25",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","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":[],"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-1e0cc497b2f22c99","src/core.ts",21,21,9,"item"],["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-3f5ff4a2190612c0","src/core.ts",24,24,8,"type Text = string;"],["EVD-5799f99e292a973b","src/core.ts",25,25,14,"VERSION = 1"],["EVD-5fb8b4857572b2a3","src/app.ts",6,6,8,"function work(value: number): string { return helper(value); }"],["EVD-62fb2502e51c404d","src/core.ts",20,23,8,"function build(): Unit {\n  const item = new Unit();\n  return item;\n}"],["EVD-69a8528995ee4b54","src/core.ts",19,19,59,"value"],["EVD-6ad903a33e95c15b","src/core.ts",5,5,3,"run(value: number): string"],["EVD-73298ac2264b32b7","src/core.ts",12,12,10,"limit"],["EVD-8353be057eb9788f","src/core.ts",10,10,29,"Base"],["EVD-83c3e215261fed55","src/core.ts",22,22,10,"item"],["EVD-8d6642ca8957d74d","src/core.ts",8,8,8,"class Base {}"],["EVD-9b5d1349bdd9ed44","src/core.ts",18,18,38,"STOPPED"],["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-bd8baf657790805d","src/core.ts",4,6,8,"interface Port {\n  run(value: number): string;\n}"],["$5","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-f0c0cfcd25b7e305","src/core.ts",21,21,16,"new Unit()"],["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 `${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",["$24","$25"],["EVD-2cacfe5ee8ded827"],[],[],[],[null,false,0,"$24","demo.src","./core",null,false,"$25","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",[],[],[],["$10","$11","$12","$13","$14","$15","$16","$17","$18","$19","$20","$21","$22"],[],["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",[],[],[],["$7","$8"],[],["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",[],[],[],["$7","$8"],[],["coverage",2]],["METRIC-b5246b04f97b5e43","FACT","overview","call_resolution","Uniquely resolved recorded call sites",[],[],[],["$9","TSCALL-e618ae2d8910be8a","TSCALL-f65049f011527767"],[],["calls","100.0%"]],["METRIC-c6ba710e0c094515","FACT","overview","violations","Contract violations",[],[],[],[],[],["violations",0]],["METRIC-cd26a4b22ffceb0b","FACT","overview","unresolved_calls","Unresolved recorded call sites",[],[],[],[],[],["calls",0]],["METRIC-f96ad8a9b8498c26","FACT","overview","rollup_only_package_cycles","Package cycles no module cycle crosses",[],[],[],[],[],["cycles",0]],["METRIC-fbc6c1d4c3b6db8f","FACT","overview","modules","Modules",[],[],[],["$7","$8"],[],["module",2]]],"modules":[["$7","FACT","module_topology","module","$24",["demo.src","$24"],["EVD-1b71c72aba26449f"],[],[],[],[[],false,false,0,1,"src/app.ts","demo.src","$24",0,1]],["$8","FACT","module_topology","module","$25",["demo.src","$25"],["$4"],[],[],[],[[],false,false,1,0,"src/core.ts","demo.src","$25",1,12]]],"packages":[["PKG-ce1fda1bcfb5e56f","FACT","package_topology","package","demo.src",["demo.src"],[],[],["$7","$8"],[],[[],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","$14","$24","demo.src.app_x2e_ts.work","unresolved",[],"value"]],["TSREF-0f8c01f38fa85568","FACT","source","references","Base",["demo.src.core_x2e_ts.Base","$26"],["EVD-8353be057eb9788f"],[],[],[],[1,false,"Base","$m","$10","$25","$26","resolved",["demo.src.core_x2e_ts.Base"],"value"]],["TSREF-14b2ddda1edaba78","FACT","source","references","Port",["$26","demo.src.core_x2e_ts.Port"],["EVD-07e45436007873f3"],[],[],[],[1,false,"Port","$m","$10","$25","$26","resolved",["demo.src.core_x2e_ts.Port"],"type"]],["TSREF-0276381eb5920fab","FACT","source","references","this._token",["demo.src.core_x2e_ts.Client._token","$27"],["EVD-11995cdd37a73c9e"],[],[],[],[1,false,"this._token","$m","$19","$25","$27","resolved",["demo.src.core_x2e_ts.Client._token"],"member"]],["TSREF-d38e4a479ac118fc","FACT","source","references","value",["$27"],["EVD-25a6273ac23a7b21"],[],[],[],[0,false,"value","lexical binding may shadow the name","$19","$25","$27","unresolved",[],"value"]],["TSREF-83b0c05d2f3316cf","FACT","source","references","this._token",["demo.src.core_x2e_ts.Client._token","$27"],["EVD-c9d233bd7a0f666c"],[],[],[],[1,false,"this._token","$m","$19","$25","$27","resolved",["demo.src.core_x2e_ts.Client._token"],"member"]],["TSREF-7a6affc32e0a9561","FACT","source","references","value",["$30"],["EVD-69a8528995ee4b54"],[],[],[],[0,false,"value","lexical binding may shadow the name","$16","$25","$30","unresolved",[],"value"]],["TSREF-4c39c25c718e9be8","FACT","source","references","Unit",["$28","$29"],["EVD-b52d2736ca0d164d"],[],[],[],[1,false,"Unit","$m","$21","$25","$29","resolved",["$28"],"type"]],["TSREF-eae3e47f17aeacf8","FACT","source","references","item",["$29"],["EVD-83c3e215261fed55"],[],[],[],[0,false,"item","lexical binding may shadow the name","$21","$25","$29","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"],["$7","$8"],[],["$m","$m","demo-component",true,0,["src/app.ts","src/core.ts"],2,["$24","$25"],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-1e0cc497b2f22c99","EVD-2cacfe5ee8ded827","$4","EVD-3f5ff4a2190612c0","EVD-5799f99e292a973b","EVD-5fb8b4857572b2a3","EVD-62fb2502e51c404d","EVD-6ad903a33e95c15b","EVD-73298ac2264b32b7","EVD-8353be057eb9788f","EVD-8d6642ca8957d74d","EVD-9b5d1349bdd9ed44","EVD-b417dabac30b3dc5","EVD-b488e621972c5751","EVD-b52d2736ca0d164d","EVD-bd8baf657790805d","$5","EVD-c9d233bd7a0f666c","EVD-ca883428c21a822c","EVD-d6a52670fe86277a","EVD-f0c0cfcd25b7e305","EVD-f63be870ed478a5b","EVD-f92d430f380cbe5c","EVD-f994943e271e2985","EVD-faabfb0d68df1f28"],["UML-TARGET-a2e40c5592b1b06a"],["IMP-0950f4135cc6e52b","$7","$8","$9","TSCALL-e618ae2d8910be8a","TSCALL-f65049f011527767","$10","$11","$12","$13","$14","$15","$16","$17","$18","$19","$20","$21","$22","TSREF-0276381eb5920fab","TSREF-0f8c01f38fa85568","TSREF-14b2ddda1edaba78","TSREF-4c39c25c718e9be8","TSREF-83b0c05d2f3316cf"],["architecture-contract.json"],[true,{"assessments":[{"aspect":"existence","change":"matched","evidence_ids":["$4"],"fact_ids":["$8"],"id":"UML-ASSESSMENT-92525fccbbf86aab","observed_ids":["$8"],"reason":"$1","status":"PASS","subject_id":"core-module"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-1b71c72aba26449f"],"fact_ids":["$7"],"id":"UML-ASSESSMENT-67280e4ce12b3946","observed_ids":["$7"],"reason":"$1","status":"PASS","subject_id":"app-module"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-bd8baf657790805d"],"fact_ids":["$22"],"id":"UML-ASSESSMENT-b60409f4868bc5dd","observed_ids":["$22"],"reason":"$1","status":"PASS","subject_id":"port"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-bd8baf657790805d"],"fact_ids":["$8","$22"],"id":"UML-ASSESSMENT-2d5da878985bc7bc","observed_ids":["$8","$22"],"reason":"$6","status":"PASS","subject_id":"port"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-bd8baf657790805d"],"fact_ids":["$22"],"id":"UML-ASSESSMENT-1704b2eb7738e520","observed_ids":["$22"],"reason":"$23","status":"PASS","subject_id":"port"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-6ad903a33e95c15b"],"fact_ids":["$17"],"id":"UML-ASSESSMENT-4fd2d2447ce6ab2b","observed_ids":["$17"],"reason":"$1","status":"PASS","subject_id":"port-run"},{"aspect":"containment","change":"matched","evidence_ids":["EVD-6ad903a33e95c15b","EVD-bd8baf657790805d"],"fact_ids":["$17","$22"],"id":"UML-ASSESSMENT-5c425f7630f46f7d","observed_ids":["$17","$22"],"reason":"$6","status":"PASS","subject_id":"port-run"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-6ad903a33e95c15b"],"fact_ids":["$17"],"id":"UML-ASSESSMENT-0d5861adfacd9c59","observed_ids":["$17"],"reason":"$2","status":"PASS","subject_id":"port-run"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-6ad903a33e95c15b"],"fact_ids":["$17"],"id":"UML-ASSESSMENT-7931a261e699a932","observed_ids":["$17"],"reason":"$23","status":"PASS","subject_id":"port-run"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-8d6642ca8957d74d"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-542bf19d9d9d13a2","observed_ids":["$12"],"reason":"$1","status":"PASS","subject_id":"base"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-8d6642ca8957d74d"],"fact_ids":["$8","$12"],"id":"UML-ASSESSMENT-9f549e82e63ac8ad","observed_ids":["$8","$12"],"reason":"$6","status":"PASS","subject_id":"base"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-8d6642ca8957d74d"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-63b3765448b914b4","observed_ids":["$12"],"reason":"$23","status":"PASS","subject_id":"base"},{"aspect":"existence","change":"matched","evidence_ids":["$5"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-952d906fbc73c8f1","observed_ids":["$10"],"reason":"$1","status":"PASS","subject_id":"client"},{"aspect":"containment","change":"matched","evidence_ids":["$4","$5"],"fact_ids":["$8","$10"],"id":"UML-ASSESSMENT-29efd4f9e6ca1b9d","observed_ids":["$8","$10"],"reason":"$6","status":"PASS","subject_id":"client"},{"aspect":"visibility","change":"matched","evidence_ids":["$5"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-71c25e957826e4e2","observed_ids":["$10"],"reason":"$23","status":"PASS","subject_id":"client"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-d6a52670fe86277a"],"fact_ids":["$19"],"id":"UML-ASSESSMENT-c611ff94649c637b","observed_ids":["$19"],"reason":"$1","status":"PASS","subject_id":"run"},{"aspect":"containment","change":"matched","evidence_ids":["$5","EVD-d6a52670fe86277a"],"fact_ids":["$10","$19"],"id":"UML-ASSESSMENT-0c5d4ef776d2c971","observed_ids":["$10","$19"],"reason":"$6","status":"PASS","subject_id":"run"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-d6a52670fe86277a"],"fact_ids":["$19"],"id":"UML-ASSESSMENT-ea201c5d8a9188f8","observed_ids":["$19"],"reason":"$2","status":"PASS","subject_id":"run"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-d6a52670fe86277a"],"fact_ids":["$19"],"id":"UML-ASSESSMENT-a2d81d3c2b0263d6","observed_ids":["$19"],"reason":"$23","status":"PASS","subject_id":"run"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-f63be870ed478a5b"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-ad9060d8e4f8aab7","observed_ids":["TSATTR-fb9b5a13bdb62d01"],"reason":"$1","status":"PASS","subject_id":"private-token"},{"aspect":"containment","change":"matched","evidence_ids":["$5","EVD-f63be870ed478a5b"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-4fd80337bfbd8ced","observed_ids":["TSATTR-fb9b5a13bdb62d01","$10"],"reason":"$6","status":"PASS","subject_id":"private-token"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-f63be870ed478a5b"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-8fabc8f48f86e569","observed_ids":["TSATTR-fb9b5a13bdb62d01"],"reason":"$23","status":"PASS","subject_id":"private-token"},{"aspect":"annotation","change":"matched","evidence_ids":["EVD-f63be870ed478a5b"],"fact_ids":["$10"],"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":["$10"],"id":"UML-ASSESSMENT-ec30cffa75ec249d","observed_ids":["TSATTR-d0e0a9726e6fdb5c"],"reason":"$1","status":"PASS","subject_id":"limit"},{"aspect":"containment","change":"matched","evidence_ids":["EVD-73298ac2264b32b7","$5"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-194cba8830d5c5f9","observed_ids":["TSATTR-d0e0a9726e6fdb5c","$10"],"reason":"$6","status":"PASS","subject_id":"limit"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-73298ac2264b32b7"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-01b0b3eac7372e9a","observed_ids":["TSATTR-d0e0a9726e6fdb5c"],"reason":"$23","status":"PASS","subject_id":"limit"},{"aspect":"modifiers","change":"matched","evidence_ids":["EVD-73298ac2264b32b7"],"fact_ids":["$10"],"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":["$18"],"id":"UML-ASSESSMENT-54033f22d229011d","observed_ids":["$18"],"reason":"$1","status":"PASS","subject_id":"reset"},{"aspect":"containment","change":"matched","evidence_ids":["$5","EVD-faabfb0d68df1f28"],"fact_ids":["$10","$18"],"id":"UML-ASSESSMENT-dec1cf243ef17c6b","observed_ids":["$10","$18"],"reason":"$6","status":"PASS","subject_id":"reset"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-faabfb0d68df1f28"],"fact_ids":["$18"],"id":"UML-ASSESSMENT-b96b65aaf47932bb","observed_ids":["$18"],"reason":"$2","status":"PASS","subject_id":"reset"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-faabfb0d68df1f28"],"fact_ids":["$18"],"id":"UML-ASSESSMENT-d5e78d7cec9af2b2","observed_ids":["$18"],"reason":"$23","status":"PASS","subject_id":"reset"},{"aspect":"modifiers","change":"matched","evidence_ids":["EVD-faabfb0d68df1f28"],"fact_ids":["$18"],"id":"UML-ASSESSMENT-92e2a6a913e866f3","observed_ids":["$18"],"reason":"Requested traits are recorded.","status":"PASS","subject_id":"reset"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-b488e621972c5751"],"fact_ids":["$15"],"id":"UML-ASSESSMENT-35e4783b9b730dc0","observed_ids":["$15"],"reason":"$1","status":"PASS","subject_id":"unit"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-b488e621972c5751"],"fact_ids":["$8","$15"],"id":"UML-ASSESSMENT-5c0ed56e73253448","observed_ids":["$8","$15"],"reason":"$6","status":"PASS","subject_id":"unit"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-b488e621972c5751"],"fact_ids":["$15"],"id":"UML-ASSESSMENT-91feef0e4f7cbab6","observed_ids":["$15"],"reason":"$23","status":"PASS","subject_id":"unit"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-ca883428c21a822c"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-2538e62b1734ab99","observed_ids":["$11"],"reason":"$1","status":"PASS","subject_id":"state"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-ca883428c21a822c"],"fact_ids":["$8","$11"],"id":"UML-ASSESSMENT-8643e945524f84eb","observed_ids":["$8","$11"],"reason":"$6","status":"PASS","subject_id":"state"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-ca883428c21a822c"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-d42940b84371537a","observed_ids":["$11"],"reason":"$23","status":"PASS","subject_id":"state"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-047e74cd182a350b"],"fact_ids":["$11"],"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":["$11"],"id":"UML-ASSESSMENT-729f8ff8fad5e250","observed_ids":["TSATTR-f166698cb1388272","$11"],"reason":"$6","status":"PASS","subject_id":"ready"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-047e74cd182a350b"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-ed349433a4335fb8","observed_ids":["TSATTR-f166698cb1388272"],"reason":"$23","status":"PASS","subject_id":"ready"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-9b5d1349bdd9ed44"],"fact_ids":["$11"],"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":["$11"],"id":"UML-ASSESSMENT-609c2015a23c6de3","observed_ids":["TSATTR-3e2ca7a1a4663cf2","$11"],"reason":"$6","status":"PASS","subject_id":"stopped"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-9b5d1349bdd9ed44"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-b14feccd04b2d168","observed_ids":["TSATTR-3e2ca7a1a4663cf2"],"reason":"$23","status":"PASS","subject_id":"stopped"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-f994943e271e2985"],"fact_ids":["$16"],"id":"UML-ASSESSMENT-b8c867112af6abd4","observed_ids":["$16"],"reason":"$1","status":"PASS","subject_id":"helper"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-f994943e271e2985"],"fact_ids":["$8","$16"],"id":"UML-ASSESSMENT-a7a3a92e71092ce4","observed_ids":["$8","$16"],"reason":"$6","status":"PASS","subject_id":"helper"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-f994943e271e2985"],"fact_ids":["$16"],"id":"UML-ASSESSMENT-62efaf85eecc04a2","observed_ids":["$16"],"reason":"$2","status":"PASS","subject_id":"helper"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-f994943e271e2985"],"fact_ids":["$16"],"id":"UML-ASSESSMENT-6c654e2ae1f5f1e5","observed_ids":["$16"],"reason":"$23","status":"PASS","subject_id":"helper"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-62fb2502e51c404d"],"fact_ids":["$21"],"id":"UML-ASSESSMENT-f72a7aa93435b466","observed_ids":["$21"],"reason":"$1","status":"PASS","subject_id":"build"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-62fb2502e51c404d"],"fact_ids":["$8","$21"],"id":"UML-ASSESSMENT-4f0caa5235bca4e8","observed_ids":["$8","$21"],"reason":"$6","status":"PASS","subject_id":"build"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-62fb2502e51c404d"],"fact_ids":["$21"],"id":"UML-ASSESSMENT-afc12dbb1e22f543","observed_ids":["$21"],"reason":"$2","status":"PASS","subject_id":"build"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-62fb2502e51c404d"],"fact_ids":["$21"],"id":"UML-ASSESSMENT-ce2dd553f5893609","observed_ids":["$21"],"reason":"$23","status":"PASS","subject_id":"build"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-1e0cc497b2f22c99","EVD-f0c0cfcd25b7e305"],"fact_ids":["$9"],"id":"UML-ASSESSMENT-125a16942388e117","observed_ids":["VALUEBIND-07802248cee8b29e"],"reason":"$1","status":"PASS","subject_id":"item"},{"aspect":"containment","change":"matched","evidence_ids":["EVD-1e0cc497b2f22c99","EVD-62fb2502e51c404d","EVD-f0c0cfcd25b7e305"],"fact_ids":["$9","$21"],"id":"UML-ASSESSMENT-7e26ff45034561ba","observed_ids":["$21","VALUEBIND-07802248cee8b29e"],"reason":"$6","status":"PASS","subject_id":"item"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-5fb8b4857572b2a3"],"fact_ids":["$14"],"id":"UML-ASSESSMENT-ba9172077bcb0646","observed_ids":["$14"],"reason":"$1","status":"PASS","subject_id":"work"},{"aspect":"containment","change":"matched","evidence_ids":["EVD-1b71c72aba26449f","EVD-5fb8b4857572b2a3"],"fact_ids":["$7","$14"],"id":"UML-ASSESSMENT-9fa1cc2d0c2c559d","observed_ids":["$7","$14"],"reason":"$6","status":"PASS","subject_id":"work"},{"aspect":"signature","change":"matched","evidence_ids":["EVD-5fb8b4857572b2a3"],"fact_ids":["$14"],"id":"UML-ASSESSMENT-833128de967e4986","observed_ids":["$14"],"reason":"$2","status":"PASS","subject_id":"work"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-5fb8b4857572b2a3"],"fact_ids":["$14"],"id":"UML-ASSESSMENT-b3db224047f71135","observed_ids":["$14"],"reason":"$23","status":"PASS","subject_id":"work"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-3f5ff4a2190612c0"],"fact_ids":["$13"],"id":"UML-ASSESSMENT-34e2435da63986c6","observed_ids":["$13"],"reason":"$1","status":"PASS","subject_id":"text"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-3f5ff4a2190612c0"],"fact_ids":["$8","$13"],"id":"UML-ASSESSMENT-3843e12e7d8dfcd5","observed_ids":["$8","$13"],"reason":"$6","status":"PASS","subject_id":"text"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-3f5ff4a2190612c0"],"fact_ids":["$13"],"id":"UML-ASSESSMENT-9051d0ddd8da18e6","observed_ids":["$13"],"reason":"$23","status":"PASS","subject_id":"text"},{"aspect":"existence","change":"matched","evidence_ids":["EVD-5799f99e292a973b"],"fact_ids":["$20"],"id":"UML-ASSESSMENT-6e814d15137027b1","observed_ids":["$20"],"reason":"$1","status":"PASS","subject_id":"version"},{"aspect":"containment","change":"matched","evidence_ids":["$4","EVD-5799f99e292a973b"],"fact_ids":["$8","$20"],"id":"UML-ASSESSMENT-bb682a0e9ef6058f","observed_ids":["$8","$20"],"reason":"$6","status":"PASS","subject_id":"version"},{"aspect":"visibility","change":"matched","evidence_ids":["EVD-5799f99e292a973b"],"fact_ids":["$20"],"id":"UML-ASSESSMENT-ba0aa19c0d66d811","observed_ids":["$20"],"reason":"$23","status":"PASS","subject_id":"version"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-8353be057eb9788f"],"fact_ids":["$10"],"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":["$10"],"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"],"fact_ids":["TSREF-4c39c25c718e9be8"],"id":"UML-ASSESSMENT-c01242fb0c079a17","observed_ids":["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":"matched","evidence_ids":["EVD-f0c0cfcd25b7e305"],"fact_ids":["$9"],"id":"UML-ASSESSMENT-a08d97e60c8b55fa","observed_ids":["CONSTRUCTION-fd1139f44f5f836a"],"reason":"$3","status":"PASS","subject_id":"build-unit"},{"aspect":"relationship","change":"matched","evidence_ids":["EVD-f0c0cfcd25b7e305"],"fact_ids":["$9"],"id":"UML-ASSESSMENT-d770ba39edc8e0c9","observed_ids":["CONSTRUCTION-cb43a1cf14447895"],"reason":"$3","status":"PASS","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":"matched","evidence_ids":["EVD-f0c0cfcd25b7e305"],"fact_ids":["$9"],"id":"UML-ASSESSMENT-235f16a9e4e7408d","observed_ids":["$9"],"reason":"$3","status":"PASS","subject_id":"build-unit-call"},{"aspect":"completeness","change":"matched","evidence_ids":["$5"],"fact_ids":["$10"],"id":"UML-ASSESSMENT-bf12596e43787c8f","observed_ids":["$10"],"reason":"Closed scope inventory is covered.","status":"PASS","subject_id":"client"},{"aspect":"completeness","change":"matched","evidence_ids":["EVD-ca883428c21a822c"],"fact_ids":["$11"],"id":"UML-ASSESSMENT-c88e06fa514505fd","observed_ids":["$11"],"reason":"Closed scope inventory is covered.","status":"PASS","subject_id":"state"},{"aspect":"completeness","change":"matched","evidence_ids":["EVD-8d6642ca8957d74d"],"fact_ids":["$12"],"id":"UML-ASSESSMENT-b337312b769c30ca","observed_ids":["$12"],"reason":"Closed scope inventory is covered.","status":"PASS","subject_id":"base"},{"aspect":"completeness","change":"matched","evidence_ids":["EVD-b488e621972c5751"],"fact_ids":["$15"],"id":"UML-ASSESSMENT-652d31c634ca5054","observed_ids":["$15"],"reason":"Closed scope inventory is covered.","status":"PASS","subject_id":"unit"},{"aspect":"completeness","change":"matched","evidence_ids":["EVD-bd8baf657790805d"],"fact_ids":["$22"],"id":"UML-ASSESSMENT-1a9a5ca141a01de2","observed_ids":["$22"],"reason":"Closed scope inventory is covered.","status":"PASS","subject_id":"port"}],"correspondences":[{"observed_ids":["$8"],"target_id":"core-module"},{"observed_ids":["$7"],"target_id":"app-module"},{"observed_ids":["$22"],"target_id":"port"},{"observed_ids":["$17"],"target_id":"port-run"},{"observed_ids":["$12"],"target_id":"base"},{"observed_ids":["$10"],"target_id":"client"},{"observed_ids":["$19"],"target_id":"run"},{"observed_ids":["TSATTR-fb9b5a13bdb62d01"],"target_id":"private-token"},{"observed_ids":["TSATTR-d0e0a9726e6fdb5c"],"target_id":"limit"},{"observed_ids":["$18"],"target_id":"reset"},{"observed_ids":["$15"],"target_id":"unit"},{"observed_ids":["$11"],"target_id":"state"},{"observed_ids":["TSATTR-f166698cb1388272"],"target_id":"ready"},{"observed_ids":["TSATTR-3e2ca7a1a4663cf2"],"target_id":"stopped"},{"observed_ids":["$16"],"target_id":"helper"},{"observed_ids":["$21"],"target_id":"build"},{"observed_ids":["VALUEBIND-07802248cee8b29e"],"target_id":"item"},{"observed_ids":["$14"],"target_id":"work"},{"observed_ids":["$13"],"target_id":"text"},{"observed_ids":["$20"],"target_id":"version"}],"schema_version":"1.0.0","status":"PASS"},"$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]]],"source":{"dirty":true,"git_head":"3f6c2d5bf72e59fd13f2c07eae9ce0a52afa4a12","scope":["src/**"],"source_digest":"e257358f9d8533f2113eb2873728396029360d4cf6e361d137af79d7e8c15b23"},"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-c8f1a15deff0740e","Lexical parent matches.","MOD-3cb9d4b9e7612688","MOD-ffd8b92be6c7d450","TSCALL-23deff3183831760","TSDEF-05207330171bd6e0","TSDEF-10617efaee9b35fc","TSDEF-2747ab702aec8c0d","TSDEF-2e86be600ec50d8e","TSDEF-380deda68b3cc338","TSDEF-41a07233f6c4e1a5","TSDEF-4b2561b3635eee9b","TSDEF-52cdcebda13c0f42","TSDEF-6b0447746a1f8f1f","TSDEF-9ce7d1989eec6c79","TSDEF-a336b8ce5668710e","TSDEF-ddf2077d1df956bb","TSDEF-f0ee363041c37184","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.Unit","demo.src.core_x2e_ts.build","demo.src.core_x2e_ts.helper","docs/target.md"],"symbols":[["$10","FACT","source","class","demo.src.core_x2e_ts.Client declaration",["$26"],["$5"],[],[],[],["$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":["$19","$18"],"kind":"method","reason":null,"schema_version":"1.0.0","status":"complete"}],"$m","$25","Client",false,"demo.src","$m",null,"$26","$m",true,true,true,"class",{"basis":"language","kind":"public","spelling":"Client"}]],["$11","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","$25","State",false,"demo.src","$m",null,"demo.src.core_x2e_ts.State","$m",true,true,true,"class",{"basis":"language","kind":"public","spelling":"State"}]],["$12","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","$25","Base",false,"demo.src","$m",null,"demo.src.core_x2e_ts.Base","$m",true,true,true,"class",{"basis":"language","kind":"public","spelling":"Base"}]],["$13","FACT","source","type_alias","demo.src.core_x2e_ts.Text declaration",["demo.src.core_x2e_ts.Text"],["EVD-3f5ff4a2190612c0"],[],[],[],["string","$m","$m",true,"$m",[],"$m",null,"$m","$m","$25","Text",true,"demo.src",[],null,"demo.src.core_x2e_ts.Text",null,true,true,true,"type_alias",{"basis":"language","kind":"public","spelling":"Text"}]],["$14","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","$24","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"}]],["$15","FACT","source","class","demo.src.core_x2e_ts.Unit declaration",["$28"],["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","$25","Unit",false,"demo.src","$m",null,"$28","$m",true,true,true,"class",{"basis":"language","kind":"public","spelling":"Unit"}]],["$16","FACT","source","function","demo.src.core_x2e_ts.helper declaration",["$30"],["EVD-f994943e271e2985"],[],[],[],[null,"$m","$m",true,"$m",[],"$m",null,"$m","$m","$25","helper",false,"demo.src",[{"annotation":"number","default":null,"default_known":true,"kind":"positional","name":"value"}],null,"$30","string",true,true,true,"function",{"basis":"language","kind":"public","spelling":"helper"}]],["$17","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","$22","$m","instance","$25","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"}]],["$18","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","$10","$m","static","$25","reset",false,"demo.src",[],"$26","demo.src.core_x2e_ts.Client.reset","void",true,true,true,"method",{"basis":"language","kind":"public","spelling":"reset"}]],["$19","FACT","source","method","demo.src.core_x2e_ts.Client.run declaration",["$27"],["EVD-d6a52670fe86277a"],[],[],[],[null,"$m","$m",true,"$m",[],"$m","$10","$m","instance","$25","run",false,"demo.src",[{"annotation":"number","default":null,"default_known":true,"kind":"positional","name":"value"}],"$26","$27","string",true,true,true,"method",{"basis":"language","kind":"public","spelling":"run"}]],["$20","FACT","source","constant","demo.src.core_x2e_ts.VERSION declaration",["demo.src.core_x2e_ts.VERSION"],["EVD-5799f99e292a973b"],[],[],[],[null,"$m","$m",true,"$m",[],"$m",null,"$m","$m","$25","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","function","demo.src.core_x2e_ts.build declaration",["$29"],["EVD-62fb2502e51c404d"],[],[],[],[null,"$m","$m",true,"$m",[],"$m",null,"$m","$m","$25","build",false,"demo.src",[],null,"$29","Unit",true,true,true,"function",{"basis":"language","kind":"public","spelling":"build"}]],["$22","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":["$17"],"kind":"method","reason":null,"schema_version":"1.0.0","status":"complete"}],"$m","$25","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":[],"violations":[]}