{"analyzer":{"code_digest":"c2e05f4ac71d3bb4c5e4ada3f5f225f0f7080762fda5695c94589ad8f474cc18","name":"archkeel-python-analyzer","version":"0.63.0"},"bindings":[],"calls":[["CALL-083cd161b4d9cc59","FACT","$35","$50","Call sorted",["builtins.sorted","$88"],["EVD-a54579840df29e64"],[],[],[],[1,false,"sorted","Python builtin","$85","$88","resolved",[],["builtins.sorted"]]],["CALL-0c84d7ab5f90b9e7","FACT","$35","$50","Call encode",["$94","$98"],["EVD-ae32a6716562f39e"],[],[],[],[1,false,"encode","$44","$95","$98","resolved",["EVD-ac6210f7ea66f63c"],["$94"]]],["CALL-182446c0a2215637","FACT","$35","$50","Call Order.from_dict",["$71","$93"],["EVD-cb26e324deea5970"],[],[],[],[1,false,"Order.from_dict","attribute of imported symbol binding","$90","$93","resolved",["EVD-daa05f47b32b9483"],["$71"]]],["CALL-1c953772015daea2","FACT","$35","unresolved_call","Call cls",["$71"],["EVD-5f753a04f576585b"],[],[],[],[0,false,"cls","name has no statically indexed binding","$60","$71","unresolved",[],[]]],["CALL-250f740c9757299f","FACT","$35","$50","Call _indent",["shop.render.text._indent","$77"],["EVD-d1a4e82612885bf8"],[],[],[],[1,false,"_indent","module-local symbol","$76","$77","resolved",["EVD-1c55304fac7d5d2d"],["shop.render.text._indent"]]],["CALL-270aeaf50681f9b5","FACT","$35","$47","Call path.with_suffix",["pathlib.Path.with_suffix","$84"],["EVD-bcd9058ba24a118a"],[],[],[],[1,false,"path.with_suffix","$34","$80","$84","partially_resolved",[],["pathlib.Path.with_suffix"]]],["CALL-28be3d0e643e48cb","FACT","$35","$50","Call Order",["$55","$70"],["EVD-c10610b7a1b98b6b"],[],[],[],[1,false,"Order","$44","$54","$55","resolved",["EVD-13b53f5e83189b76"],["$70"]]],["CALL-2a15a4f5a8d405a7","FACT","$35","$50","Call Money",["$61","$67"],["EVD-7b88e6b7b17c8a8c"],[],[],[],[1,false,"Money","module-local symbol","$60","$61","resolved",["EVD-809590eb3ddf92d6"],["$67"]]],["CALL-2a3395ee738e9ddc","FACT","$35","$50","Call '\\n'.join",["builtins.str.join","$77"],["EVD-baa5ebd6927240c7"],[],[],[],[1,false,"'\\n'.join","literal receiver of known type","$76","$77","resolved",[],["builtins.str.join"]]],["CALL-2b8f5b54e2d2e5a9","FACT","$35","$50","Call place_order",["$55","$58"],["EVD-57b4ddb217507dd5"],[],[],[],[1,false,"place_order","$44","$57","$58","resolved",["EVD-0d980b58b58a2c27"],["$55"]]],["CALL-2c6c25b9c187bda9","FACT","$35","$50","Call ValueError",["builtins.ValueError","$93"],["EVD-781c3d777da02b93"],[],[],[],[1,false,"ValueError","Python builtin","$90","$93","resolved",[],["builtins.ValueError"]]],["CALL-31ac102849a30f24","FACT","$35","$50","Call OrderRepository",["$55","shop.store.OrderRepository"],["EVD-f8a2d5ed5f18af60"],[],[],[],[1,false,"OrderRepository","$44","$54","$55","resolved",[],["shop.store.OrderRepository"]]],["CALL-3b59994b4a20e51a","FACT","$35","$50","Call json.loads",["json.loads","$93"],["EVD-b6ab36b8cbc8abd2"],[],[],[],[1,false,"json.loads","attribute of imported module binding","$90","$93","resolved",[],["json.loads"]]],["CALL-3e8e0ec25f9e9a3c","FACT","$35","$50","Call write_document",["shop.store.backend.write_document","$98"],["EVD-d3ebe0da699ef368"],[],[],[],[1,false,"write_document","$44","$95","$98","resolved",[],["shop.store.backend.write_document"]]],["CALL-4482728a13a76d91","FACT","$35","$47","Call path.read_text",["pathlib.Path.read_text","$83"],["EVD-af91ee021bacf2aa"],[],[],[],[1,false,"path.read_text","$34","$80","$83","partially_resolved",[],["pathlib.Path.read_text"]]],["CALL-44d00f3387c412c0","FACT","$35","$50","Call int",["builtins.int","$58"],["EVD-77dabdd9ac9a201e"],[],[],[],[1,false,"int","Python builtin","$57","$58","resolved",[],["builtins.int"]]],["CALL-46bd5eb5b49d27e1","FACT","$35","$50","Call Money",["$63","$67"],["EVD-b5809056b0d2d4ce"],[],[],[],[1,false,"Money","module-local symbol","$60","$63","resolved",["EVD-809590eb3ddf92d6"],["$67"]]],["CALL-4ba2fb087ae069a0","FACT","$35","$50","Call Money",["$67","$69"],["EVD-fae74776900ba6db"],[],[],[],[1,false,"Money","module-local symbol","$60","$69","resolved",["EVD-809590eb3ddf92d6"],["$67"]]],["CALL-4d5de6fb6fc67f39","FACT","$35","$50","Call vacuum",["$53","$101"],["EVD-7b94d9808f72b720"],[],[],[],[1,false,"vacuum","$44","$52","$53","resolved",["EVD-0fe909c92608a522"],["$101"]]],["CALL-4e8baa19b97e90b1","FACT","$35","$47","Call partial.write_text",["pathlib.Path.write_text","$84"],["EVD-474ae2400c81030c"],[],[],[],[1,false,"partial.write_text","receiver bound to a call result of documented type, unproven at runtime","$80","$84","partially_resolved",[],["pathlib.Path.write_text"]]],["CALL-5233b989d47a627c","FACT","$35","$47","Call root.glob",["pathlib.Path.glob","$88"],["EVD-b80791c644a0f00a"],[],[],[],[1,false,"root.glob","$34","$85","$88","partially_resolved",[],["pathlib.Path.glob"]]],["CALL-59f4ad4fd7e392a1","FACT","$35","$50","Call Line",["$55","$62"],["EVD-9daa80cbabed8ba0"],[],[],[],[1,false,"Line","$44","$54","$55","resolved",["EVD-1bc0e01868608acb"],["$62"]]],["CALL-5cc9f12ce53da1f0","FACT","$35","$50","Call read_document",["shop.store.backend.read_document","$97"],["EVD-28c2ecc02cf4daff"],[],[],[],[1,false,"read_document","$44","$95","$97","resolved",[],["shop.store.backend.read_document"]]],["CALL-5d289aab81c5452a","FACT","$35","$50","Call tuple",["builtins.tuple","$71"],["EVD-002214d1259b8690"],[],[],[],[1,false,"tuple","Python builtin","$60","$71","resolved",[],["builtins.tuple"]]],["CALL-67ca91b834a98839","FACT","$35","$50","Call discard_document",["shop.store.backend.discard_document","$101"],["EVD-bcef9351d265aa13"],[],[],[],[1,false,"discard_document","$44","$99","$101","resolved",[],["shop.store.backend.discard_document"]]],["CALL-68e1674deaeb3f9a","FACT","$35","$50","Call json.dumps",["json.dumps","$94"],["EVD-cd4cbf212d2a3a4c"],[],[],[],[1,false,"json.dumps","attribute of imported module binding","$90","$94","resolved",[],["json.dumps"]]],["CALL-6d94b3b30296660a","FACT","$35","$50","Call Path",["pathlib.Path","$58"],["EVD-ae3e0efd16661009"],[],[],[],[1,false,"Path","$44","$57","$58","resolved",[],["pathlib.Path"]]],["CALL-75b6ee4ead83d132","FACT","$35","$50","Call lines.append",["builtins.list.append","$77"],["EVD-3fd4861a53d6e4da"],[],[],[],[1,false,"lines.append","literal-bound receiver of known type","$76","$77","resolved",[],["builtins.list.append"]]],["CALL-7dbb7c9aff9125e7","FACT","$35","$47","Call line.to_dict",["$64","$72","$72"],["EVD-48e1586facec492f"],[],[],[],[2,false,"line.to_dict","$41","$60","$72","partially_resolved",["EVD-380072b2520ec91b","EVD-ea5b17eeeff85142"],["$64","$72"]]],["CALL-828a6d7f83af09d1","FACT","$35","$47","Call order.total",["$65","$73","$77"],["EVD-2d6ab9f7d4c4c7e2"],[],[],[],[2,false,"order.total","$41","$76","$77","partially_resolved",["EVD-41e509000836a272","EVD-db42ea9082a4945d"],["$65","$73"]]],["CALL-84f1a173601b686d","FACT","$35","unresolved_call","Call OrderRepository(store_dir).save",["$55"],["EVD-f8a2d5ed5f18af60"],[],[],[],[0,false,"OrderRepository(store_dir).save","expression is dynamic","$54","$55","unresolved",[],[]]],["CALL-8668702d554123fe","FACT","$35","$50","Call order_paths",["shop.store.backend.order_paths","$101"],["EVD-3ed2dcf2fe27ec48"],[],[],[],[1,false,"order_paths","$44","$99","$101","resolved",[],["shop.store.backend.order_paths"]]],["CALL-8ad11b4451bae8d5","FACT","$35","$50","Call dataclass",["$36","shop.model.entities.Discount"],["EVD-db14419f2eca8a41"],[],[],[],[1,false,"dataclass","$44","$60","shop.model.entities.Discount","resolved",[],["$36"]]],["CALL-92bc655a87ca47d4","FACT","$35","$47","Call path.unlink",["pathlib.Path.unlink","$82"],["EVD-1641769a3e1d7b02"],[],[],[],[1,false,"path.unlink","$34","$80","$82","partially_resolved",[],["pathlib.Path.unlink"]]],["CALL-9a91649a6d292045","FACT","$35","$50","Call decode",["$93","$97"],["EVD-fd78f48dca4340ce"],[],[],[],[1,false,"decode","$44","$95","$97","resolved",["EVD-538428ebc2c45adf"],["$93"]]],["CALL-9e1f51182d186d06","FACT","$35","$50","Call order_path",["shop.store.backend.order_path","$97"],["EVD-6783cc17029c5852"],[],[],[],[1,false,"order_path","$44","$95","$97","resolved",[],["shop.store.backend.order_path"]]],["CALL-9ff4d9a1d24d8931","FACT","$35","$50","Call Money",["$67","$68"],["EVD-364f7fe891f0a9b4"],[],[],[],[1,false,"Money","module-local symbol","$60","$68","resolved",["EVD-809590eb3ddf92d6"],["$67"]]],["CALL-a06e0f01bde1adb7","FACT","$35","$50","Call Money",["$67","$73"],["EVD-1b582c9947790135"],[],[],[],[1,false,"Money","module-local symbol","$60","$73","resolved",["EVD-809590eb3ddf92d6"],["$67"]]],["CALL-a49a3c573401ecdc","FACT","$35","$50","Call print",["builtins.print","$58"],["EVD-c950c2e696960710"],[],[],[],[1,false,"print","Python builtin","$57","$58","resolved",[],["builtins.print"]]],["CALL-aae1a8ccb0495442","FACT","$35","unresolved_call","Call OrderRepository(store_dir).load",["$56"],["EVD-a58c017b74a0ce6d"],[],[],[],[0,false,"OrderRepository(store_dir).load","expression is dynamic","$54","$56","unresolved",[],[]]],["CALL-b835c7a5b441e0f9","FACT","$35","$47","Call order.to_dict",["$64","$72","$94"],["EVD-89d99e7a0b3b9fd3"],[],[],[],[2,false,"order.to_dict","$41","$90","$94","partially_resolved",["EVD-380072b2520ec91b","EVD-ea5b17eeeff85142"],["$64","$72"]]],["CALL-b8f69fdd111b69c6","FACT","$35","$47","Call partial.replace",["pathlib.Path.replace","$84"],["EVD-e2d93466c2b1ee5c"],[],[],[],[1,false,"partial.replace","receiver bound to a call result of documented type, unproven at runtime","$80","$84","partially_resolved",[],["pathlib.Path.replace"]]],["CALL-c2a99e49722d37c3","FACT","$35","unresolved_call","Call candidate.stat",["$101"],["EVD-40cf110254bb2a19"],[],[],[],[0,false,"candidate.stat","dynamic attribute receiver","$99","$101","unresolved",[],[]]],["CALL-cade0dd922464ad1","FACT","$35","$50","Call order_path",["shop.store.backend.order_path","$98"],["EVD-d304c9bd851acba2"],[],[],[],[1,false,"order_path","$44","$95","$98","resolved",[],["shop.store.backend.order_path"]]],["CALL-cb31d6cdcfae43b0","FACT","$35","$50","Call lines.extend",["builtins.list.extend","$77"],["EVD-ed64ac8c02c504a8"],[],[],[],[1,false,"lines.extend","literal-bound receiver of known type","$76","$77","resolved",[],["builtins.list.extend"]]],["CALL-cc72be80a115c456","FACT","$35","$50","Call dataclass",["$36","$67"],["EVD-f85359de8c6bd244"],[],[],[],[1,false,"dataclass","$44","$60","$67","resolved",[],["$36"]]],["CALL-cdc0f88188468209","FACT","$35","unresolved_call","Call path.parent.mkdir",["$84"],["EVD-0c12626667c2b2df"],[],[],[],[0,false,"path.parent.mkdir","dynamic attribute receiver","$80","$84","unresolved",[],[]]],["CALL-cfda7b21bdd2cca0","FACT","$35","unresolved_call","Call cls",["$63"],["EVD-0e33736516e068da"],[],[],[],[0,false,"cls","name has no statically indexed binding","$60","$63","unresolved",[],[]]],["CALL-d5aec7b934e3d882","FACT","$35","$47","Call line.total",["$65","$73","$73"],["EVD-a5540a12732ce8a0"],[],[],[],[2,false,"line.total","$41","$60","$73","partially_resolved",["EVD-41e509000836a272","EVD-db42ea9082a4945d"],["$65","$73"]]],["CALL-d7a1fe0547f73197","FACT","$35","$50","Call OrderRepository",["$56","shop.store.OrderRepository"],["EVD-a58c017b74a0ce6d"],[],[],[],[1,false,"OrderRepository","$44","$54","$56","resolved",[],["shop.store.OrderRepository"]]],["CALL-d821b880d4863ce7","FACT","$35","$50","Call int",["builtins.int","$58"],["EVD-74ddeaef7cdc525a"],[],[],[],[1,false,"int","Python builtin","$57","$58","resolved",[],["builtins.int"]]],["CALL-e12d2fabcd62f499","FACT","$35","$50","Call render_order",["$58","$77"],["EVD-0cccbc597680df5c"],[],[],[],[1,false,"render_order","$44","$57","$58","resolved",["EVD-e32da9f19fec9395"],["$77"]]],["CALL-ed4fec0e09f45c36","FACT","$35","$50","Call _indent",["shop.render.text._indent","$77"],["EVD-de0535b632bbf9a5"],[],[],[],[1,false,"_indent","module-local symbol","$76","$77","resolved",["EVD-1c55304fac7d5d2d"],["shop.render.text._indent"]]],["CALL-f1d0ad2553c86959","FACT","$35","$50","Call dataclass",["$36","$100"],["EVD-d86333b864b965b3"],[],[],[],[1,false,"dataclass","$44","$99","$100","resolved",[],["$36"]]],["CALL-f2897f43663b6317","FACT","$35","$50","Call dataclass",["$36","$70"],["EVD-d1b70d9273097937"],[],[],[],[1,false,"dataclass","$44","$60","$70","resolved",[],["$36"]]],["CALL-f2c895a3c3372054","FACT","$35","$50","Call Money",["$55","$67"],["EVD-b8153f097d4f6f8b"],[],[],[],[1,false,"Money","$44","$54","$55","resolved",["EVD-809590eb3ddf92d6"],["$67"]]],["CALL-f7a3dec1d1b6c4a4","FACT","$35","$50","Call Line.from_dict",["$63","$71"],["EVD-b0f402cc74eb9e1a"],[],[],[],[1,false,"Line.from_dict","class-qualified local method","$60","$71","resolved",["EVD-f306204066b62b9f"],["$63"]]],["CALL-f9335c1966589bca","FACT","$35","unresolved_call","Call OrderRepository(store_dir).load(order_id).total",["$56"],["EVD-a58c017b74a0ce6d"],[],[],[],[0,false,"OrderRepository(store_dir).load(order_id).total","expression is dynamic","$54","$56","unresolved",[],[]]],["CALL-ff31d6af7d88ebe7","FACT","$35","$50","Call dataclass",["$36","$62"],["EVD-d73f3509fba000e5"],[],[],[],[1,false,"dataclass","$44","$60","$62","resolved",[],["$36"]]]],"constructs":[["CONSTRUCT-014bd85141423fac","FACT","constructs","broad_except","shop.cli.main.main uses broad_except",["$58"],["EVD-28c0566df62f3acb"],[],[],[],["broad_except",["Exception"],"$58"]]],"context_evidence":[],"contexts":[["CONTEXT-8d9001d32c6a703d","UNKNOWN","contexts_state","declared_context_not_observed","shop",["shop"],[],[],[],[],[[],"declared_root","DECLARED ROOT",true,[],[],[],[],"shop",[],[]]]],"contract":{"digest":"1d60193ae8e2aa143c01255b1d08d81dd7e7708a85cbc1878a878a6bbf1b9521","path":"architecture-contract.json","schema_version":"2.1.0"},"coverage":{"ast_coverage_percent":100.0,"call_resolution_percent":71.19,"calls_analyzed":59,"calls_partially_resolved":10,"calls_resolved":42,"calls_unresolved":7,"failures":[],"files_discovered":13,"files_parsed":13,"files_read":13,"rules":"PASS","status":"PASS"},"cycles":[],"declarations":[["API-6027d4f632f2d976","$4","api_surface","declared_public_api","shop.model.entities:Money",["shop.model.entities:Money"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","shop.model.entities:Money","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m",[]]],["API-69ccf7d39fe03a65","$4","api_surface","declared_public_api","shop.model.entities:Line",["shop.model.entities:Line"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","shop.model.entities:Line","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m",[]]],["API-718ff38bcea8ca70","$4","api_surface","declared_public_api","shop.model.entities:Order",["shop.model.entities:Order"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","shop.model.entities:Order","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m",[]]],["API-7b370787f25d53ff","$4","api_surface","declared_public_api","shop.app.orders:place_order",["shop.app.orders:place_order"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","shop.app.orders:place_order","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m",[]]],["APP-TYPES-NOT-DICT","$4","type_architecture","boundary_types","Declared facade functions below shop.app take and return no bare dict or object, and no undeclared type",["shop.app"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","shop.app's functions take and return typed models, never a bare dict standing in for one.","$m","$m","$m","$m","$m","$m","shop.app","$m","$m","$m","$m"]],["ASSIGNMENT-COMPLETE","$4","components","complete_assignment","Every module in shop belongs to one component",["shop"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","A module without one owning component escapes every boundary rule.","$m","$m","$m","$m","$m","$m","shop","$m","$m","$m","$m"]],["CAP-SHOP","$4","components","capability","Shop sample ordering",["SHOP"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","SHOP","$m","$m","$m","$m","$m","$m","$m","$m","$m",1,"$m","$m","$m","$m","$m","$m","$m"]],["CMD-SHOP-PLACE-ORDER","$4","api_surface","declared_public_command","shop.cli.main:main",["shop.cli.main:main"],[],[],[],["$40"],["$m","$m","$m","$m","shop.cli.main:main","$m","$m","$m","Parse order arguments, place the order and print it as text.","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["COMP-APP","$4","components","component_responsibility","app",["shop.app"],[],[],[],["$40"],["$m","$m","CAP-SHOP","$m","$m","$m","architect","$m","$m","$m","$m",["Persistence details and presentation."],"$m","$m","$m","shop.app","$m","$m",["shop.app.orders:place_order"],"$m","$m",[],["Use cases: place and summarise orders."],"$m","$m","component","$m","$m","$m","$m","$m","$m"]],["COMP-CLI","$4","components","component_responsibility","cli",["shop.cli"],[],[],[],["$40"],["$m","$m","CAP-SHOP","$m","$m","$m","architect","$m","$m","$m","$m",["Domain logic, persistence and presentation formatting."],"$m","$m","$m","shop.cli","$m","$m","$m","$m","$m",[],["Argument parsing, composition and the single broad error boundary."],"$m","$m","component","$m","$m","$m","$m","$m","$m"]],["COMP-MODEL","$4","components","component_responsibility","model",["$59"],[],[],[],["$40"],["$m","$m","CAP-SHOP","$m","$m","$m","architect","$m","$m","$m","$m",["Persistence, use cases, presentation or command-line orchestration."],"$m","$m","$m","$59","$m","$m",["$60"],"$m","$m",[],["Order and Line value types, and Money arithmetic."],"$m","$m","component","$m","$m","$m","$m","$m","$m"]],["COMP-RENDER","$4","components","component_responsibility","render",["$75"],[],[],[],["$40"],["$m","$m","CAP-SHOP","$m","$m","$m","architect","$m","$m","$m","$m",["Order use cases and persistence."],"$m","$m","$m","$75","$m","$m",["$76"],"$m","$m",[],["Text projection of an order."],"$m","$m","component","$m","$m","$m","$m","$m","$m"]],["COMP-STORE","$4","components","component_responsibility","store",["$78"],[],[],[],["$40"],["$m","$m","CAP-SHOP","$m","$m","$m","architect","$m","$m","$m","$m",["Order use cases and presentation."],"$m","shop/store/architecture-contract.json","$m","$78","$m","$m",["shop.store.repository:OrderRepository","shop.store.sqlite:Connection","shop.store.sqlite:vacuum"],"$m","$m",[],["Persist orders as JSON files."],"$m","$m","component","$m","$m","$m","$m","$m","$m"]],["COMPONENT-NO-CYCLES","$4","cycles","no_component_cycles","Component dependencies form no cycle",[],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","Components stay layered so each one can be reviewed and replaced in dependency order.","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["CONSTRUCT-NO-ANY","$4","type_architecture","forbidden_construct","shop forbids any_annotation",["shop"],[],[],[],["$40"],["$m",[],"$m","$m","$m",["any_annotation"],"architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","A value that crosses a module boundary carries a type the reader can follow; Any hides exactly what the boundary exists to state.","$m","$m","$m","$m","$m","$m","shop","$m","$m","$m","$m"]],["CONSTRUCT-NO-ASSERT","$4","type_architecture","forbidden_construct","shop forbids assert",["shop"],[],[],[],["$40"],["$m",[],"$m","$m","$m",["assert"],"architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","Invariants are checked where values are built, because assert statements vanish under python -O.","$m","$m","$m","$m","$m","$m","shop","$m","$m","$m","$m"]],["CONSTRUCT-NO-BROAD-EXCEPT","$4","type_architecture","forbidden_construct","shop forbids broad_except",["shop"],[],[],[],["$40"],["$m",[],"$m","$m","$m",["broad_except"],"architect","$m","$m","$m",["$58"],"$m","$m","$m","$m","$m","$m","$m","$m","$m","Failures stay typed and visible; only the CLI error boundary, main's own body, turns any failure into an exit code.","$m","$m","$m","$m","$m","$m","shop","$m","$m","$m","$m"]],["CONSTRUCT-NO-DYNAMIC","$4","type_architecture","forbidden_construct","shop forbids getattr, hasattr, cast, eval, exec, dynamic_import, type_ignore, setattr, delattr, vars, dunder_dict",["shop"],[],[],[],["$40"],["$m",[],"$m","$m","$m",["getattr","hasattr","cast","eval","exec","dynamic_import","type_ignore","setattr","delattr","vars","dunder_dict"],"architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","Static architecture evidence remains explicit and mechanically traceable.","$m","$m","$m","$m","$m","$m","shop","$m","$m","$m","$m"]],["CONSTRUCT-NO-PLACEHOLDER","$4","type_architecture","forbidden_construct","shop forbids placeholder_body",["shop"],[],[],[],["$40"],["$m",[],"$m","$m","$m",["placeholder_body"],"architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","A function whose body is pass, ellipsis or a lone NotImplementedError reports capability it does not have, and its callers are written against that promise.","$m","$m","$m","$m","$m","$m","shop","$m","$m","$m","$m"]],["CONSTRUCT-NO-STRING-LITERAL-COMPARE","$4","type_architecture","forbidden_construct","shop forbids string_literal_compare",["shop"],[],[],[],["$40"],["$m",[],"$m","$m","$m",["string_literal_compare"],"architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","A closed vocabulary is an enum or Literal the type checker follows; a value compared with a string literal is a vocabulary nobody declared.","$m","$m","$m","$m","$m","$m","shop","$m","$m","$m","$m"]],["CTX-8d9001d32c6a703d","$4","contexts_state","declared_context_root","shop",["shop"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","shop","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["DEP-APP-ALLOWS-MODEL","$4","$39","allowed_dependency","shop.app may depend on shop.model",["shop.app","$59"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","Use cases construct orders from domain values.","$m","$m","$m","$m","$m","$m","shop.app","$m","$59","$m","$m"]],["DEP-APP-ALLOWS-STORE","$4","$39","allowed_dependency","shop.app may depend on shop.store",["shop.app","$78"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","Use cases persist and load orders through the repository.","$m","$m","$m","$m","$m","$m","shop.app","$m","$78","$m","$m"]],["DEP-APP-NO-CLI","$4","$39","$42","shop.app must not depend on shop.cli",["shop.app","shop.cli"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Use cases remain callable without command-line orchestration.","$m","$m","$m","$m","$m","$m","shop.app","$m","shop.cli","$m","$m"]],["DEP-APP-NO-RENDER","$4","$39","$42","shop.app must not depend on shop.render",["shop.app","$75"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Use cases return typed values; only the composition root decides how to project them.","$m","$m","$m","$m","$m","$m","shop.app","$m","$75","$m","$m"]],["DEP-APP-NO-STORE-BACKEND","$4","$39","$42","shop.app must not depend on shop.store.backend",["shop.app","$79"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","The file layout behind the repository is the store's own business; use cases reach persistence through OrderRepository, never through its backend.","$m","$m","$m","$m","$m","$m","shop.app","$m","$79","$m","$m"]],["DEP-APP-NO-STORE-SQLITE","$4","$39","$42","shop.app must not depend on shop.store.sqlite",["shop.app","$99"],[],[],[],["$40"],["$m",["$52"],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",false,"$m","$m","$m","$m","$m","$m","$m","Only the maintenance use case may run store housekeeping; ordinary order use cases stay on the repository.","$m","$m","$m","$m","$m","$m","shop.app","$m","$99","$m","$m"]],["DEP-CLI-ALLOWS-APP","$4","$39","allowed_dependency","shop.cli may depend on shop.app",["shop.app","shop.cli"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","The composition root invokes the order use cases.","$m","$m","$m","$m","$m","$m","shop.cli","$m","shop.app","$m","$m"]],["DEP-CLI-ALLOWS-RENDER","$4","$39","allowed_dependency","shop.cli may depend on shop.render",["shop.cli","$75"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","The composition root prints the rendered order.","$m","$m","$m","$m","$m","$m","shop.cli","$m","$75","$m","$m"]],["DEP-CLI-NO-MODEL","$4","$39","$42","shop.cli must not depend on shop.model",["shop.cli","$59"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","The composition root reaches domain values only through the use cases it calls.","$m","$m","$m","$m","$m","$m","shop.cli","$m","$59","$m","$m"]],["DEP-CLI-NO-STORE","$4","$39","$42","shop.cli must not depend on shop.store",["shop.cli","$78"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","The composition root reaches persistence only through the use cases it calls.","$m","$m","$m","$m","$m","$m","shop.cli","$m","$78","$m","$m"]],["DEP-MODEL-NO-APP","$4","$39","$42","shop.model must not depend on shop.app",["shop.app","$59"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Value types remain reusable without depending on the use cases that construct them.","$m","$m","$m","$m","$m","$m","$59","$m","shop.app","$m","$m"]],["DEP-MODEL-NO-CLI","$4","$39","$42","shop.model must not depend on shop.cli",["shop.cli","$59"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Value types remain independent of command-line composition.","$m","$m","$m","$m","$m","$m","$59","$m","shop.cli","$m","$m"]],["DEP-MODEL-NO-RENDER","$4","$39","$42","shop.model must not depend on shop.render",["$59","$75"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Value types remain independent of how orders are projected as text.","$m","$m","$m","$m","$m","$m","$59","$m","$75","$m","$m"]],["DEP-MODEL-NO-STORE","$4","$39","$42","shop.model must not depend on shop.store",["$59","$78"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Order and Line value types stay independent of any persistence mechanism.","$m","$m","$m","$m","$m","$m","$59","$m","$78","$m","$m"]],["DEP-RENDER-ALLOWS-MODEL","$4","$39","allowed_dependency","shop.render may depend on shop.model",["$59","$75"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","Text projection reads the values it renders.","$m","$m","$m","$m","$m","$m","$75","$m","$59","$m","$m"]],["DEP-RENDER-NO-APP","$4","$39","$42","shop.render must not depend on shop.app",["shop.app","$75"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Text projection stays a pure view over values, not a caller of use cases.","$m","$m","$m","$m","$m","$m","$75","$m","shop.app","$m","$m"]],["DEP-RENDER-NO-CLI","$4","$39","$42","shop.render must not depend on shop.cli",["shop.cli","$75"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Text projection remains reusable without command-line composition.","$m","$m","$m","$m","$m","$m","$75","$m","shop.cli","$m","$m"]],["DEP-RENDER-NO-STORE","$4","$39","$42","shop.render must not depend on shop.store",["$75","$78"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Text projection consumes typed values without touching persistence.","$m","$m","$m","$m","$m","$m","$75","$m","$78","$m","$m"]],["DEP-STORE-ALLOWS-MODEL","$4","$39","allowed_dependency","shop.store may depend on shop.model",["$59","$78"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","Persistence serialises the domain values it is given.","$m","$m","$m","$m","$m","$m","$78","$m","$59","$m","$m"]],["DEP-STORE-NO-APP","$4","$39","$42","shop.store must not depend on shop.app",["shop.app","$78"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Persistence stays a leaf dependency and never calls back into use cases.","$m","$m","$m","$m","$m","$m","$78","$m","shop.app","$m","$m"]],["DEP-STORE-NO-CLI","$4","$39","$42","shop.store must not depend on shop.cli",["shop.cli","$78"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Persistence stays callable without command-line orchestration.","$m","$m","$m","$m","$m","$m","$78","$m","shop.cli","$m","$m"]],["DEP-STORE-NO-MONEY","$4","$39","$42","shop.store must not depend on shop.model.entities.Money",["$67","$78"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Persistence serialises whole orders and must not compute or interpret money amounts itself.","$m","$m","$m","$m","$m","$m","$78","$m","$60","Money","$m"]],["DEP-STORE-NO-RENDER","$4","$39","$42","shop.store must not depend on shop.render",["$75","$78"],[],[],[],["$40"],["$m",[],"$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Persistence remains independent of how orders are displayed.","$m","$m","$m","$m","$m","$m","$78","$m","$75","$m","$m"]],["EXTERNAL-COMPLETE","$4","$38","complete_external_scope","Every dependency shop imports is declared",["shop"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","A dependency no rule names is a dependency nobody chose, and a package that does not exist looks exactly the same from inside the code.","$m","$m","$m","$m","$m","$m","shop","$m","$m","$m","$m"]],["EXTERNAL-JSON-STORE","$4","$39","external_dependency_scope","json is allowed only in shop.store",["json","$78"],[],[],[],["$40"],["$m",["$78"],"$m","$m","$m","$m","architect","json","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","Only the store component chooses the JSON file format; other components stay format-agnostic.","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["INTERFACE-BOUNDARY","$4","api_surface","interface_boundary","Cross-component imports must reach the target's declared public interface",[],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Components communicate only through declared interfaces, so reaching into another component's internals requires a visible contract change.","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["MODEL-TYPES-IN-ENTITIES","$4","type_architecture","symbol_placement","dataclass classes below shop.model are defined only in an allowed module",["$59"],[],[],[],["$40"],["$m",[],"$m",["dataclass"],"$m","$m","architect","$m","$m","$m",["$60"],"$m","$m","$m","$m","$m","$m","$m","$m","$m","Every order, line and money type shop.model owns lives in one module, not scattered across the package.","$m","$m","$m","$m","$m","$m","$59","$m","$m","$m","$m"]],["OWNER-SHOP-MODEL","$4","spot_ownership","spot_owner","Order value types",["$59"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$59","$m","$m","$m","$m","$m","$m","Order, Line and Money stay the single source of truth for order arithmetic.","$m","$m","$m","$m","$m","$m","$m","$m"]],["PATH-SHOP-PLACE-ORDER","$4","read_write_paths","declared_write_path","Place an order",["$54","$57","$60","$78"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m",["$57","$54","$78","$60"],"$m","$m","$m"]],["ROOT-LAYOUT","$4","$46","root_layout","Immediate children below shop are explicitly allowed",["shop","shop.app","shop.cli","$59","$75","$78"],[],[],[],["$40"],[["shop.app","shop.cli","$59","$75","$78"],"$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","The shop root exposes only its declared top-level components.","$m","$m","$m","$m","$m","shop","$m","$m","$m","$m","$m"]],["SCOPE-SHOP-ORDERS","$4","components","review_scope","Order placement review",["$54"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","CAP-SHOP","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["STORE-PEERS-ISOLATED","$4","$39","sibling_isolation","2 peers must not import each other",["$95","$99"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","$m","$m","$m","Persistence and maintenance are peers behind the store's entry point, so neither reaches into the other.","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["store:STORE-REQUIRES-COMPLETE","$4","components","complete_requires","Every cross-component import is covered by the source's requires list",[],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m",true,"$m","$m","$m","$m","store","$m","$m","Inside the store the same principle holds as above it: an import nobody asked for is an accident, so each part names what it needs and absence refuses the rest.","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["store:COMP-STORE-API","$4","components","inside_component_responsibility","api",["$99"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","store",["shop.store.sqlite:Connection","shop.store.sqlite:vacuum"],"$m","$m",[{"component":"backend","decided_by":"architect","rationale":"Compaction walks the stored files and deletes them, which is the only knowledge of the directory layout it is allowed to hold.","through":[]}],["Housekeeping on a whole store directory, for the maintenance use case."],"$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["store:COMP-STORE-BACKEND","$4","components","inside_component_responsibility","backend",["$79"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","store",[],"$m","$m",[],["Where a document lives, how it is named, and how it is read and replaced."],"$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["store:COMP-STORE-CODEC","$4","components","inside_component_responsibility","codec",["$90"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","store",[],"$m","$m",[],["The stored document format and the version stamped into it."],"$m","$m","$m","$m","$m","$m","$m","$m","$m"]],["store:COMP-STORE-REPOSITORY","$4","components","inside_component_responsibility","repository",["$95"],[],[],[],["$40"],["$m","$m","$m","$m","$m","$m","architect","$m","$m",["$78"],"$m","$m","$m","$m","$m","$m","$m","store",["shop.store.repository:OrderRepository"],"$m","$m",[{"component":"backend","decided_by":"architect","rationale":"An order is stored somewhere, and the place it is stored is settled in one module rather than at every call site.","through":[]},{"component":"codec","decided_by":"architect","rationale":"Turning an order into bytes and back is a format decision the persistence API delegates, so the format can change without the API changing.","through":[]}],["The order-facing persistence API the rest of the shop is written against."],"$m","$m","$m","$m","$m","$m","$m","$m","$m"]]],"dependency_edges":[["EDGE-0487f23fb5e5ad9b","FACT","package_topology","package_dependency","shop.store → shop.model",["$59","$78"],[],[],["IMP-433582f82cd7fab1","IMP-5f69fd090c6fbedd","IMP-854cd25ac952c923"],[],[false,3,"package",3,"$78",2,"$59",3,0]],["EDGE-14e0785acd31207d","FACT","$46","$45","shop.render.text → shop.model.entities",["$60","$76"],[],[],["IMP-5f3a2916e5c4b873"],[],[false,1,"module",1,"$76",1,"$60",5,0]],["EDGE-15998beff06a9fcf","FACT","package_topology","package_dependency","shop.cli → shop.render",["shop.cli","$75"],[],[],["IMP-6ad83ea777b33c5f"],[],[false,1,"package",1,"shop.cli",0,"$75",1,0]],["EDGE-1ad88587dca0df62","FACT","$46","$45","shop.cli.main → shop.app.orders",["$54","$57"],[],[],["IMP-c14d352eb623ce98"],[],[false,1,"module",1,"$57",0,"$54",1,0]],["EDGE-1b6c0110cf77ea30","FACT","$46","$45","shop.cli.main → shop.render.text",["$57","$76"],[],[],["IMP-6ad83ea777b33c5f"],[],[false,1,"module",1,"$57",0,"$76",1,0]],["EDGE-2c180bf81696690f","FACT","$46","$45","shop.store.sqlite → shop.store.backend",["$79","$99"],[],[],["IMP-9c9a26650d07d53f","IMP-f54cf5a2e86cdf79"],[],[false,2,"module",2,"$99",2,"$79",4,0]],["EDGE-33b8bbe5026be864","FACT","$46","$45","shop.store.repository → shop.store.backend",["$79","$95"],[],[],["IMP-6985ff97250b4a9e","IMP-6fc8896a544cf33e","IMP-73286559e2179cec"],[],[false,3,"module",3,"$95",3,"$79",4,0]],["EDGE-3710f672fd2f0c2a","FACT","$46","$45","shop.app.maintenance → shop.store.sqlite",["$52","$99"],[],[],["IMP-2dc76c96a33ea0db","IMP-35c1c35b56f8cf07"],[],[false,2,"module",2,"$52",0,"$99",2,0]],["EDGE-40faba752ec25c2f","FACT","package_topology","package_dependency","shop.app → shop.store",["shop.app","$78"],[],[],["IMP-03885a05810e2a9f","IMP-2dc76c96a33ea0db","IMP-35c1c35b56f8cf07","IMP-c19389d425ac8d7e"],[],[false,4,"package",3,"shop.app",1,"$78",2,1]],["EDGE-54d546847f078bd8","FACT","package_topology","package_dependency","shop.render → shop.model",["$59","$75"],[],[],["IMP-5f3a2916e5c4b873"],[],[false,1,"package",1,"$75",1,"$59",3,0]],["EDGE-58b9293354ac6170","FACT","$46","$45","shop.app.orders → shop.model.entities",["$54","$60"],[],[],["IMP-16ccedd1f609248a","IMP-9f25bb7363e01cf3","IMP-bb173b5fb587bdc1"],[],[false,3,"module",3,"$54",1,"$60",5,0]],["EDGE-75837215763c54f2","FACT","$46","$45","shop.app.orders → shop.store",["$54","$78"],[],[],["IMP-c19389d425ac8d7e"],[],[false,1,"module",1,"$54",1,"$78",2,0]],["EDGE-92c89d881e05d6ac","FACT","$46","$45","shop.store.repository → shop.store.codec",["$90","$95"],[],[],["IMP-05cafa2b6a9ca69f","IMP-373ca14ad39cb31e"],[],[false,2,"module",2,"$95",3,"$90",4,0]],["EDGE-98d3237939201824","FACT","$46","$45","shop.app.orders → shop.store.sqlite",["$54","$99"],[],[],["IMP-03885a05810e2a9f"],[],[false,1,"module",0,"$54",1,"$99",2,1]],["EDGE-9f96d87e78c4abc3","FACT","$46","$45","shop.store.backend → shop.store.backend.files",["$79","$80"],[],[],["IMP-41f62d4d879417db","IMP-7557dc2b068fbad5","IMP-b6b0e3c086bad72f"],[],[false,3,"module",3,"$79",4,"$80",5,0]],["EDGE-ad55f037555582ca","FACT","package_topology","package_dependency","shop.app → shop.model",["shop.app","$59"],[],[],["IMP-16ccedd1f609248a","IMP-9f25bb7363e01cf3","IMP-bb173b5fb587bdc1"],[],[false,3,"package",3,"shop.app",1,"$59",3,0]],["EDGE-afcd576017d020e3","FACT","$46","$45","shop.store.codec → shop.model.entities",["$60","$90"],[],[],["IMP-433582f82cd7fab1","IMP-5f69fd090c6fbedd"],[],[false,2,"module",2,"$90",4,"$60",5,0]],["EDGE-bd584a42d403a133","FACT","$46","$45","shop.store.backend → shop.store.backend.paths",["$79","$85"],[],[],["IMP-4b0aa8afde47d300","IMP-a84fd48911442825"],[],[false,2,"module",2,"$79",4,"$85",5,0]],["EDGE-d129074b8c0a4140","FACT","$46","$45","shop.store → shop.store.repository",["$78","$95"],[],[],["IMP-c0bf18fb78cbe14c"],[],[false,1,"module",1,"$78",2,"$95",3,0]],["EDGE-d224ff0cbe705785","FACT","$46","$45","shop.store.backend.probe → shop.store.repository",["$89","$95"],[],[],["IMP-cbb072022435f2f9"],[],[false,1,"module",1,"$89",0,"$95",3,0]],["EDGE-db0372f1a8a568e1","FACT","package_topology","package_dependency","shop.cli → shop.app",["shop.app","shop.cli"],[],[],["IMP-c14d352eb623ce98"],[],[false,1,"package",1,"shop.cli",0,"shop.app",1,0]],["EDGE-f647d4d8e69e0f81","FACT","$46","$45","shop.store.repository → shop.model.entities",["$60","$95"],[],[],["IMP-854cd25ac952c923"],[],[false,1,"module",1,"$95",3,"$60",5,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":[],"calls":["candidate_count","candidates_truncated","expression","reason","source_module","source_scope","status","target_evidence_ids","targets"],"constructs":["construct","handled","owner"],"context_evidence":[],"contexts":["constructed_by","context_class","context_class_label","declared_root","dependencies","fields","methods","passes","qualified_name","reads","writes"],"cycles":[],"declarations":["allowed_children","allowed_sources","capability_id","class_kinds","command","constructs","decided_by","dependency","description","exact_modules","exact_sources","forbidden_responsibilities","include_type_checking","inside","name","namespace","owner","parent_id","public","qualified_name","rationale","requires","responsibilities","responsibility","review_order","role","root","source","steps","target","target_symbol","types"],"dependency_edges":["bidirectional","count","level","runtime_count","source","source_rank","target","target_rank","type_checking_count"],"imports":["binding","declared_in_all","origin_definition","reexport","reexport_chain","relative_level","source_binding_unique","source_module","source_package","symbol","symbol_visibility","symbols_known","target_module","target_package","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":["path_id","reason","source","status","target"],"references":["expression","source_module","source_scope","status","targets","use"],"scope_observations":["component_id","coverage_complete","cycle_graph_components","cycle_scope_complete","cycle_scope_components","fan_out","files","module_count","modules","observed_module_count","outgoing_modules","outgoing_scopes","parent_id","scope","scope_module_counts","scopes"],"symbols":["alias","async","base_roots","bases","class_body_control_flow","class_kind","class_members","constant","declared_in_all","decorators","facade_types","fields","frozen_object","method_kind","module","name","overload_signature","package","parameters","parent","qualified_name","receiver_parameter","record_kind","returns","shape","shape_nodes","symbol_category","visibility"],"transitive_paths":["level","path","source","target"],"typing_signals":[],"unknowns":["ambiguous_binding","ambiguous_facade","annotation","decided","dotted_name","external_type","forward_reference","generic","inherited_surface","missing_annotation","module","nested_type","occurrence","other","position","positions","qualified_name","reason","undecidable_positions","undecided","union","unresolved_calls","unresolved_name"],"violations":["source_component","source_module","target_component","target_module"]},"string_reference":"$<index>"},"evidence":[["EVD-002214d1259b8690","$104",96,96,16,"        lines = tuple(Line.from_dict(item) for item in payload[\"lines\"])"],["EVD-03b7b333aac461f3","$107",17,22,0,"def write_document(path: Path, document: str) -> None:"],["EVD-0438ee79361aecbd","$110",19,19,26,"    def save(self, order: Order) -> None:"],["EVD-05fd09bb70b1612d","$109",32,32,18,"    if version != DOCUMENT_VERSION:"],["EVD-09134357b4a872f1","$109",23,23,18,"def encode(order: Order) -> str:"],["EVD-0977f81fc2ac2b19","$108",13,14,0,"def order_path(root: Path, order_id: str) -> Path:"],["$5","$110",1,1,0,"# Archkeel"],["EVD-0bf559167b8b8e33","$111",9,9,0,"from pathlib import Path"],["EVD-0c12626667c2b2df","$107",19,19,4,"    path.parent.mkdir(parents=True, exist_ok=True)"],["EVD-0cccbc597680df5c","$103",20,20,14,"        print(render_order(order))"],["EVD-0d980b58b58a2c27","$102",18,28,0,"def place_order("],["EVD-0e33736516e068da","$104",73,77,15,"        return cls("],["$6","$106",1,1,0,"# Archkeel"],["EVD-0f1718615c647d6d","$102",31,31,49,"def summarize(store_dir: Path, order_id: str) -> Money:"],["EVD-0f6ca1ef6fa8044a","$109",11,11,0,"from shop.model.entities import Order, OrderPayload"],["EVD-0fe909c92608a522","$111",19,23,0,"def vacuum(connection: Connection) -> None:"],["EVD-13b53f5e83189b76","$104",81,97,0,"class Order:"],["EVD-13e6b96ba80aa9fa","$102",11,11,0,"from shop.model.entities import Line, Money, Order"],["EVD-1641769a3e1d7b02","$107",26,26,4,"    path.unlink()"],["EVD-19ff467f293c6747","$109",13,13,0,"DOCUMENT_VERSION = 1"],["EVD-1a1f857322507e84","$104",35,36,4,"    def __add__(self, other: Money) -> Money:"],["EVD-1adb244d07352ea3","$109",16,20,0,"class OrderDocument(TypedDict):"],["EVD-1b582c9947790135","$104",86,86,17,"        result = Money(0)"],["EVD-1bc0e01868608acb","$104",56,77,0,"class Line:"],["EVD-1c55304fac7d5d2d","$105",18,19,0,"def _indent(text: str) -> str:"],["EVD-236abf80e8185e88","$109",29,29,29,"def decode(document: str) -> Order:"],["EVD-2762c89dd9f6d61a","shop/store/backend/probe.py",3,3,18,"REPOSITORY_TYPE = OrderRepository"],["EVD-28c0566df62f3acb","$103",22,23,4,"    except Exception:"],["EVD-28c2ecc02cf4daff","$110",23,23,22,"$1"],["EVD-2d6ab9f7d4c4c7e2","$105",14,14,35,"    lines.append(_indent(f\"Total: {order.total()}\"))"],["$7","shop/store/__init__.py",1,1,0,"# Archkeel"],["EVD-31f9e21dae914e30","shop/store/backend/probe.py",3,3,0,"REPOSITORY_TYPE = OrderRepository"],["$8","$109",1,1,0,"# Archkeel"],["EVD-34ef3407cb9a05ed","$106",8,8,0,"from shop.store.backend.files import discard_document, read_document, write_document"],["EVD-364f7fe891f0a9b4","$104",36,36,15,"        return Money(self.cents + other.cents)"],["EVD-36d7c34b4c900849","$102",9,9,0,"from typing import TYPE_CHECKING"],["EVD-37c486563c79e998","$111",6,6,0,"$43"],["EVD-380072b2520ec91b","$104",91,92,4,"    def to_dict(self) -> OrderPayload:"],["EVD-38710e4b9bb44644","$102",6,6,0,"$43"],["EVD-38891c635c506c91","shop/app/maintenance.py",11,11,32,"def run_maintenance(connection: Connection) -> None:"],["EVD-39161d918b372be5","$104",95,95,49,"    def from_dict(cls, payload: OrderPayload) -> Order:"],["EVD-3a45cf803befe154","$104",51,52,4,"    def apply(self, amount: Money) -> Money:"],["EVD-3adffac283771a7d","$104",46,52,0,"class Discount:"],["EVD-3b29e5a0919fffbd","$104",64,64,25,"    def to_dict(self) -> LinePayload:"],["EVD-3b7170d21682aff8","$110",16,17,4,"    def __init__(self, root: Path) -> None:"],["EVD-3c3d843fb403333d","$104",38,38,40,"    def __mul__(self, quantity: int) -> Money:"],["EVD-3ed2dcf2fe27ec48","$111",21,21,21,"    for candidate in order_paths(connection.path):"],["EVD-3fd4861a53d6e4da","$105",14,14,4,"    lines.append(_indent(f\"Total: {order.total()}\"))"],["EVD-40830476b83d35c2","shop/store/__init__.py",6,6,0,"$43"],["EVD-40cf110254bb2a19","$111",22,22,11,"        if candidate.stat().st_size == 0:"],["EVD-41e509000836a272","$104",85,89,4,"    def total(self) -> Money:"],["EVD-44e79b72ed075656","$106",9,9,0,"from shop.store.backend.paths import order_path, order_paths"],["EVD-45244797ec95e427","$102",24,24,5,") -> Order:"],["EVD-474ae2400c81030c","$107",21,21,4,"    partial.write_text(document, encoding=ENCODING)"],["EVD-48e1586facec492f","$104",92,92,53,"        return {\"order_id\": self.order_id, \"lines\": [line.to_dict() for line in self.lines]}"],["EVD-4ae1cbcd504ea7e5","$104",95,95,32,"    def from_dict(cls, payload: OrderPayload) -> Order:"],["$9","$107",1,1,0,"# Archkeel"],["EVD-4e97525dc3f2aafe","$111",8,8,0,"from dataclasses import dataclass"],["EVD-538428ebc2c45adf","$109",29,34,0,"def decode(document: str) -> Order:"],["EVD-54388728e808af06","$104",26,26,16,"    lines: list[LinePayload]"],["EVD-54b158ca4efa9858","shop/app/maintenance.py",8,8,0,"from shop.store.sqlite import Connection, vacuum"],["EVD-55874fa4e1457292","$111",15,16,0,"class Connection:"],["EVD-57b4ddb217507dd5","$103",17,19,16,"        order = place_order("],["EVD-598749736e720d9d","$104",22,26,0,"class OrderPayload(TypedDict):"],["EVD-5c8241ce36e16819","$104",85,85,23,"    def total(self) -> Money:"],["EVD-5e3d87c185579640","$108",17,19,0,"def order_paths(root: Path) -> list[Path]:"],["EVD-5f753a04f576585b","$104",97,97,15,"        return cls(order_id=payload[\"order_id\"], lines=lines)"],["EVD-5ff808486c74736f","$104",41,42,4,"    def __str__(self) -> str:"],["EVD-6405258d305a1282","$110",12,12,0,"from shop.store.codec import decode, encode"],["EVD-653af1cabbbe417a","$104",35,35,39,"    def __add__(self, other: Money) -> Money:"],["EVD-6783cc17029c5852","$110",23,23,36,"$1"],["$10","shop/app/maintenance.py",1,1,0,"# Archkeel"],["EVD-6df5566c06174695","$104",35,35,29,"    def __add__(self, other: Money) -> Money:"],["EVD-6f5a6a9e4fa47055","$104",91,91,25,"    def to_dict(self) -> OrderPayload:"],["EVD-6fbd36d2c47c81f8","$104",8,8,0,"from dataclasses import dataclass"],["EVD-6fe2461604a4723c","$107",8,8,0,"from pathlib import Path"],["EVD-708c06c60b82f2a7","$109",30,30,12,"    parsed: OrderDocument = json.loads(document)"],["EVD-71716ad6c2134d34","$108",14,14,31,"    return root / f\"{order_id}{DOCUMENT_SUFFIX}\""],["EVD-72372a3ea85bb31c","$102",35,35,36,"def describe_connection(connection: Connection) -> str:"],["EVD-73c79d763526af76","$110",19,20,4,"    def save(self, order: Order) -> None:"],["EVD-74ddeaef7cdc525a","$103",18,18,67,"$0"],["EVD-77dabdd9ac9a201e","$103",18,18,52,"$0"],["EVD-781c3d777da02b93","$109",33,33,14,"        raise ValueError(f\"order document version {version} was written by another store\")"],["EVD-7b88e6b7b17c8a8c","$104",52,52,15,"        return Money(amount.cents * (100 - self.percent) // 100)"],["EVD-7b94d9808f72b720","shop/app/maintenance.py",12,12,4,"    vacuum(connection)"],["EVD-7c110b28a0df0f5f","$110",11,11,0,"from shop.store.backend import order_path, read_document, write_document"],["EVD-7f51fedbd4d4c267","$103",11,11,0,"from shop.render.text import render_order"],["EVD-809590eb3ddf92d6","$104",30,42,0,"class Money:"],["EVD-816df6c812228713","$105",11,11,24,"def render_order(order: Order) -> str:"],["EVD-81ea2509d3cf2d51","$107",10,10,0,"ENCODING = \"utf-8\""],["EVD-832db48c570c8ce0","$107",13,14,0,"def read_document(path: Path) -> str:"],["EVD-8774c54c206b3af2","$109",20,20,11,"    order: OrderPayload"],["EVD-89d99e7a0b3b9fd3","$109",25,25,69,"$3"],["EVD-8b4173ee45cd16b0","$103",10,10,0,"from shop.app.orders import place_order"],["EVD-8ee8ada66bf8fc10","$107",14,14,35,"    return path.read_text(encoding=ENCODING)"],["EVD-933bbeffbe7cc2f8","$102",8,8,0,"from pathlib import Path"],["EVD-96ecc1244386d2d9","$104",59,59,16,"    unit_price: Money"],["EVD-976a02b50cb046c6","$108",10,10,0,"DOCUMENT_SUFFIX = \".json\""],["EVD-9daa80cbabed8ba0","$102",25,25,11,"    line = Line(description=description, quantity=quantity, unit_price=Money(unit_price_cents))"],["EVD-9e74ddf8aa380382","$104",72,72,48,"    def from_dict(cls, payload: LinePayload) -> Line:"],["EVD-9f647874c3ddd340","$104",61,61,23,"    def total(self) -> Money:"],["EVD-9f8966569f535072","shop/store/__init__.py",8,8,0,"from shop.store.repository import OrderRepository"],["EVD-a2a4d5e6bd3ab2a3","$107",25,26,0,"def discard_document(path: Path) -> None:"],["$11","$111",1,1,0,"# Archkeel"],["EVD-a54579840df29e64","$108",19,19,11,"    return sorted(root.glob(f\"*{DOCUMENT_SUFFIX}\"))"],["EVD-a5540a12732ce8a0","$104",88,88,30,"            result = result + line.total()"],["EVD-a58c017b74a0ce6d","$102",32,32,11,"    return OrderRepository(store_dir).load(order_id).total()"],["EVD-a81ad4dfc4432e68","$110",6,6,0,"$43"],["EVD-a825188e58318989","$103",14,23,0,"def main(argv: list[str]) -> int:"],["EVD-a83b2490ca0443b4","$108",6,6,0,"$43"],["$12","$103",1,1,0,"# Archkeel"],["EVD-a96161054ab910f0","shop/app/maintenance.py",6,6,0,"$43"],["EVD-aa01569e504bae6c","$109",25,25,14,"$3"],["EVD-ac6210f7ea66f63c","$109",23,26,0,"def encode(order: Order) -> str:"],["EVD-ae32a6716562f39e","$110",20,20,63,"$2"],["EVD-ae3e0efd16661009","$103",18,18,12,"$0"],["EVD-af91ee021bacf2aa","$107",14,14,11,"    return path.read_text(encoding=ENCODING)"],["EVD-afb590cbb7cf5954","$110",8,8,0,"from pathlib import Path"],["EVD-b0f402cc74eb9e1a","$104",96,96,22,"        lines = tuple(Line.from_dict(item) for item in payload[\"lines\"])"],["EVD-b294cd3ee3c7c698","$108",19,19,32,"    return sorted(root.glob(f\"*{DOCUMENT_SUFFIX}\"))"],["EVD-b2e814d241b4556d","$104",51,51,38,"    def apply(self, amount: Money) -> Money:"],["EVD-b40369c1d9f82ec1","$104",83,83,17,"    lines: tuple[Line, ...]"],["EVD-b5809056b0d2d4ce","$104",76,76,23,"            unit_price=Money(payload[\"unit_price\"]),"],["EVD-b6ab36b8cbc8abd2","$109",30,30,28,"    parsed: OrderDocument = json.loads(document)"],["EVD-b80791c644a0f00a","$108",19,19,18,"    return sorted(root.glob(f\"*{DOCUMENT_SUFFIX}\"))"],["EVD-b8153f097d4f6f8b","$102",25,25,71,"    line = Line(description=description, quantity=quantity, unit_price=Money(unit_price_cents))"],["EVD-baa5ebd6927240c7","$105",15,15,11,"    return \"\\n\".join(lines)"],["EVD-bb058fe2332a7f1b","shop/app/maintenance.py",11,12,0,"def run_maintenance(connection: Connection) -> None:"],["$13","$104",1,1,0,"# Archkeel"],["EVD-bcd9058ba24a118a","$107",20,20,14,"    partial = path.with_suffix(f\"{path.suffix}.part\")"],["EVD-bcef9351d265aa13","$111",23,23,12,"            discard_document(candidate)"],["$14","$108",1,1,0,"# Archkeel"],["EVD-c10610b7a1b98b6b","$102",26,26,12,"    order = Order(order_id=order_id, lines=(line,))"],["EVD-c44d78e7201ad264","$105",6,6,0,"$43"],["EVD-c950c2e696960710","$103",20,20,8,"        print(render_order(order))"],["EVD-c991daacc9de08d7","$105",8,8,0,"from shop.model.entities import Order"],["EVD-ca13d9862b9b81f7","$103",8,8,0,"from pathlib import Path"],["EVD-cae8c0e1ec1b7c23","$102",15,15,4,"    from shop.store.sqlite import Connection"],["EVD-cb26e324deea5970","$109",34,34,11,"    return Order.from_dict(parsed[\"order\"])"],["EVD-cb9ee39184d05841","$109",8,8,0,"import json"],["EVD-cc70494be6f8b1f8","$106",6,6,0,"$43"],["EVD-cd4cbf212d2a3a4c","$109",26,26,11,"    return json.dumps(document, sort_keys=True)"],["EVD-cdb32424562c421b","$107",6,6,0,"$43"],["$15","shop/store/backend/probe.py",1,1,0,"from shop.store.repository import OrderRepository"],["EVD-cf8e27a1f06f4855","$110",15,23,0,"class OrderRepository:"],["EVD-d1a4e82612885bf8","$105",14,14,17,"    lines.append(_indent(f\"Total: {order.total()}\"))"],["EVD-d1b70d9273097937","$104",80,80,1,"@dataclass(frozen=True, slots=True)"],["EVD-d304c9bd851acba2","$110",20,20,23,"$2"],["EVD-d3ebe0da699ef368","$110",20,20,8,"$2"],["EVD-d489e429536aba44","$102",12,12,0,"from shop.store import OrderRepository"],["EVD-d73f3509fba000e5","$104",55,55,1,"@dataclass(frozen=True, slots=True)"],["EVD-d80a75bcbfde3ec0","$104",51,51,28,"    def apply(self, amount: Money) -> Money:"],["EVD-d86333b864b965b3","$111",14,14,1,"@dataclass(frozen=True, slots=True)"],["EVD-d8fca82a3f584f5a","$109",6,6,0,"$43"],["EVD-da884023325e20c8","$104",72,72,32,"    def from_dict(cls, payload: LinePayload) -> Line:"],["EVD-daa05f47b32b9483","$104",95,97,4,"    def from_dict(cls, payload: OrderPayload) -> Order:"],["EVD-db14419f2eca8a41","$104",45,45,1,"@dataclass(frozen=True, slots=True)"],["EVD-db42ea9082a4945d","$104",61,62,4,"    def total(self) -> Money:"],["EVD-dc0a3a7501ee19b1","$104",6,6,0,"$43"],["EVD-de0535b632bbf9a5","$105",13,13,17,"    lines.extend(_indent(f\"{line.quantity} x {line.description}\") for line in order.lines)"],["$16","$102",1,1,0,"# Archkeel"],["EVD-e0f88b132b28fe82","$110",22,22,37,"    def load(self, order_id: str) -> Order:"],["EVD-e2d93466c2b1ee5c","$107",22,22,4,"    partial.replace(path)"],["EVD-e32da9f19fec9395","$105",11,15,0,"def render_order(order: Order) -> str:"],["EVD-e70f569a2eb95368","$111",19,19,23,"def vacuum(connection: Connection) -> None:"],["EVD-ea5b17eeeff85142","$104",64,69,4,"    def to_dict(self) -> LinePayload:"],["$17","$105",1,1,0,"# Archkeel"],["EVD-ec0fe67b9d443379","$109",25,25,42,"$3"],["EVD-ecb3fa6409a4f536","$104",9,9,0,"from typing import TypedDict"],["EVD-ed3cfc06e043e57d","$110",22,23,4,"    def load(self, order_id: str) -> Order:"],["EVD-ed64ac8c02c504a8","$105",13,13,4,"    lines.extend(_indent(f\"{line.quantity} x {line.description}\") for line in order.lines)"],["EVD-ed97a6a2fb111212","$104",38,39,4,"    def __mul__(self, quantity: int) -> Money:"],["EVD-eff28e3e21752fa0","$110",10,10,0,"from shop.model.entities import Order"],["EVD-f1c0bc85b0d48c3d","$107",21,21,42,"    partial.write_text(document, encoding=ENCODING)"],["EVD-f306204066b62b9f","$104",72,77,4,"    def from_dict(cls, payload: LinePayload) -> Line:"],["EVD-f3e29659f2dc7586","$111",11,11,0,"from shop.store.backend import discard_document, order_paths"],["EVD-f444c1f0eee27cf5","$108",8,8,0,"from pathlib import Path"],["EVD-f672877e67023ac8","$103",6,6,0,"$43"],["EVD-f85359de8c6bd244","$104",29,29,1,"@dataclass(frozen=True, slots=True)"],["EVD-f8a2d5ed5f18af60","$102",27,27,4,"    OrderRepository(store_dir).save(order)"],["EVD-fae74776900ba6db","$104",39,39,15,"        return Money(self.cents * quantity)"],["EVD-fc14974701907ab7","$102",35,37,0,"def describe_connection(connection: Connection) -> str:"],["EVD-fd291905059136db","$104",14,19,0,"class LinePayload(TypedDict):"],["EVD-fd68302f088e77a9","$102",31,32,0,"def summarize(store_dir: Path, order_id: str) -> Money:"],["EVD-fd78f48dca4340ce","$110",23,23,15,"$1"],["EVD-ff9b0bda3a211da3","$109",9,9,0,"from typing import TypedDict"]],"imports":[["IMP-03885a05810e2a9f","FACT","$38","import","Import shop.store.sqlite.Connection",["$54","$99"],["EVD-cae8c0e1ec1b7c23"],[],[],[],["Connection",false,"$100",false,["$100"],0,false,"$54","shop.app","Connection","$48",true,"$99","$78",true]],["IMP-05cafa2b6a9ca69f","FACT","$38","import","Import shop.store.codec.decode",["$90","$95"],["EVD-6405258d305a1282"],[],[],[],["decode",false,"$93",false,["$93"],0,true,"$95","$78","decode","$48",true,"$90","$78",false]],["IMP-118653f1d73aa79a","FACT","$38","import","Import pathlib.Path",["pathlib","$85"],["EVD-f444c1f0eee27cf5"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$85","$78","Path","$48",true,"pathlib","pathlib",false]],["IMP-16ccedd1f609248a","FACT","$38","import","Import shop.model.entities.Money",["$54","$60"],["EVD-13e6b96ba80aa9fa"],[],[],[],["Money",false,"$67",false,["$67"],0,true,"$54","shop.app","Money","$48",true,"$60","$59",false]],["IMP-1c796543547f675f","FACT","$38","import","$18",["__future__","$90"],["EVD-d8fca82a3f584f5a"],[],[],[],["annotations",false,"$33",false,["$33"],0,true,"$90","$78","annotations","$48",true,"__future__","__future__",false]],["IMP-272d211158330912","FACT","$38","import","$18",["__future__","$85"],["EVD-a83b2490ca0443b4"],[],[],[],["annotations",false,"$33",false,["$33"],0,true,"$85","$78","annotations","$48",true,"__future__","__future__",false]],["IMP-2dc76c96a33ea0db","FACT","$38","import","Import shop.store.sqlite.Connection",["$52","$99"],["EVD-54b158ca4efa9858"],[],[],[],["Connection",false,"$100",false,["$100"],0,true,"$52","shop.app","Connection","$48",true,"$99","$78",false]],["IMP-35c1c35b56f8cf07","FACT","$38","import","Import shop.store.sqlite.vacuum",["$52","$99"],["EVD-54b158ca4efa9858"],[],[],[],["vacuum",false,"$101",false,["$101"],0,true,"$52","shop.app","vacuum","$48",true,"$99","$78",false]],["IMP-373ca14ad39cb31e","FACT","$38","import","Import shop.store.codec.encode",["$90","$95"],["EVD-6405258d305a1282"],[],[],[],["encode",false,"$94",false,["$94"],0,true,"$95","$78","encode","$48",true,"$90","$78",false]],["IMP-391e8de5f075e214","FACT","$38","import","Import json",["json","$90"],["EVD-cb9ee39184d05841"],[],[],[],["json",false,null,false,[],0,"$m","$90","$78",null,null,true,"json","json",false]],["IMP-40dc47b4a52f3f04","FACT","$38","import","$18",["__future__","$79"],["EVD-cc70494be6f8b1f8"],[],[],[],["annotations",false,"$33",true,["$33"],0,true,"$79","$78","annotations","$48",true,"__future__","__future__",false]],["IMP-41f62d4d879417db","FACT","$38","import","Import shop.store.backend.files.discard_document",["$79","$80"],["EVD-34ef3407cb9a05ed"],[],[],[],["discard_document",true,"$82",true,["$82"],0,true,"$79","$78","discard_document","$48",true,"$80","$78",false]],["IMP-433582f82cd7fab1","FACT","$38","import","Import shop.model.entities.OrderPayload",["$60","$90"],["EVD-0f6ca1ef6fa8044a"],[],[],[],["OrderPayload",false,"$74",false,["$74"],0,true,"$90","$78","OrderPayload","$48",true,"$60","$59",false]],["IMP-43acd31d3147af83","FACT","$38","import","Import pathlib.Path",["pathlib","$95"],["EVD-afb590cbb7cf5954"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$95","$78","Path","$48",true,"pathlib","pathlib",false]],["IMP-43bbb90887945961","FACT","$38","import","Import typing.TYPE_CHECKING",["$54","typing"],["EVD-36d7c34b4c900849"],[],[],[],["TYPE_CHECKING",false,"typing.TYPE_CHECKING",false,["typing.TYPE_CHECKING"],0,true,"$54","shop.app","TYPE_CHECKING","$48",true,"typing","typing",false]],["IMP-4b0aa8afde47d300","FACT","$38","import","Import shop.store.backend.paths.order_path",["$79","$85"],["EVD-44e79b72ed075656"],[],[],[],["order_path",true,"$87",true,["$87"],0,true,"$79","$78","order_path","$48",true,"$85","$78",false]],["IMP-5f3a2916e5c4b873","FACT","$38","import","Import shop.model.entities.Order",["$60","$76"],["EVD-c991daacc9de08d7"],[],[],[],["Order",false,"$70",false,["$70"],0,true,"$76","$75","Order","$48",true,"$60","$59",false]],["IMP-5f69fd090c6fbedd","FACT","$38","import","Import shop.model.entities.Order",["$60","$90"],["EVD-0f6ca1ef6fa8044a"],[],[],[],["Order",false,"$70",false,["$70"],0,true,"$90","$78","Order","$48",true,"$60","$59",false]],["IMP-6985ff97250b4a9e","FACT","$38","import","Import shop.store.backend.write_document",["$79","$95"],["EVD-7c110b28a0df0f5f"],[],[],[],["write_document",false,"$84",false,["shop.store.backend.write_document","$84"],0,true,"$95","$78","write_document","$48",true,"$79","$78",false]],["IMP-6ad83ea777b33c5f","FACT","$38","import","Import shop.render.text.render_order",["$57","$76"],["EVD-7f51fedbd4d4c267"],[],[],[],["render_order",false,"$77",false,["$77"],0,true,"$57","shop.cli","render_order","$48",true,"$76","$75",false]],["IMP-6fc8896a544cf33e","FACT","$38","import","Import shop.store.backend.read_document",["$79","$95"],["EVD-7c110b28a0df0f5f"],[],[],[],["read_document",false,"$83",false,["shop.store.backend.read_document","$83"],0,true,"$95","$78","read_document","$48",true,"$79","$78",false]],["IMP-73286559e2179cec","FACT","$38","import","Import shop.store.backend.order_path",["$79","$95"],["EVD-7c110b28a0df0f5f"],[],[],[],["order_path",false,"$87",false,["shop.store.backend.order_path","$87"],0,true,"$95","$78","order_path","$48",true,"$79","$78",false]],["IMP-74924e8f5c7757f4","FACT","$38","import","$18",["__future__","$60"],["EVD-dc0a3a7501ee19b1"],[],[],[],["annotations",false,"$33",false,["$33"],0,true,"$60","$59","annotations","$48",true,"__future__","__future__",false]],["IMP-7557dc2b068fbad5","FACT","$38","import","Import shop.store.backend.files.write_document",["$79","$80"],["EVD-34ef3407cb9a05ed"],[],[],[],["write_document",true,"$84",true,["$84"],0,true,"$79","$78","write_document","$48",true,"$80","$78",false]],["IMP-7baa098cf9f32582","FACT","$38","import","Import pathlib.Path",["pathlib","$54"],["EVD-933bbeffbe7cc2f8"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$54","shop.app","Path","$48",true,"pathlib","pathlib",false]],["IMP-854cd25ac952c923","FACT","$38","import","Import shop.model.entities.Order",["$60","$95"],["EVD-eff28e3e21752fa0"],[],[],[],["Order",false,"$70",false,["$70"],0,true,"$95","$78","Order","$48",true,"$60","$59",false]],["IMP-87894cd70d035bc3","FACT","$38","import","Import typing.TypedDict",["$90","typing"],["EVD-ff9b0bda3a211da3"],[],[],[],["TypedDict",false,"typing.TypedDict",false,["typing.TypedDict"],0,true,"$90","$78","TypedDict","$48",true,"typing","typing",false]],["IMP-8bbf941e901f7f4a","FACT","$38","import","Import dataclasses.dataclass",["dataclasses","$99"],["EVD-4e97525dc3f2aafe"],[],[],[],["dataclass",false,"$36",false,["$36"],0,true,"$99","$78","dataclass","$48",true,"dataclasses","dataclasses",false]],["IMP-8cb1beabb96ccce3","FACT","$38","import","$18",["__future__","$52"],["EVD-a96161054ab910f0"],[],[],[],["annotations",false,"$33",false,["$33"],0,true,"$52","shop.app","annotations","$48",true,"__future__","__future__",false]],["IMP-962198a948c076ad","FACT","$38","import","Import typing.TypedDict",["$60","typing"],["EVD-ecb3fa6409a4f536"],[],[],[],["TypedDict",false,"typing.TypedDict",false,["typing.TypedDict"],0,true,"$60","$59","TypedDict","$48",true,"typing","typing",false]],["IMP-9c9a26650d07d53f","FACT","$38","import","Import shop.store.backend.discard_document",["$79","$99"],["EVD-f3e29659f2dc7586"],[],[],[],["discard_document",false,"$82",false,["shop.store.backend.discard_document","$82"],0,true,"$99","$78","discard_document","$48",true,"$79","$78",false]],["IMP-9f25bb7363e01cf3","FACT","$38","import","Import shop.model.entities.Line",["$54","$60"],["EVD-13e6b96ba80aa9fa"],[],[],[],["Line",false,"$62",false,["$62"],0,true,"$54","shop.app","Line","$48",true,"$60","$59",false]],["IMP-a43851fde0771792","FACT","$38","import","Import pathlib.Path",["pathlib","$57"],["EVD-ca13d9862b9b81f7"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$57","shop.cli","Path","$48",true,"pathlib","pathlib",false]],["IMP-a6f48b1a01a28dc6","FACT","$38","import","$18",["__future__","$78"],["EVD-40830476b83d35c2"],[],[],[],["annotations",false,"$33",true,["$33"],0,true,"$78","$78","annotations","$48",true,"__future__","__future__",false]],["IMP-a84fd48911442825","FACT","$38","import","Import shop.store.backend.paths.order_paths",["$79","$85"],["EVD-44e79b72ed075656"],[],[],[],["order_paths",true,"$88",true,["$88"],0,true,"$79","$78","order_paths","$48",true,"$85","$78",false]],["IMP-ac184bc3f4c77a42","FACT","$38","import","$18",["__future__","$99"],["EVD-37c486563c79e998"],[],[],[],["annotations",false,"$33",false,["$33"],0,true,"$99","$78","annotations","$48",true,"__future__","__future__",false]],["IMP-b3d2ef7c426c42f0","FACT","$38","import","Import dataclasses.dataclass",["dataclasses","$60"],["EVD-6fbd36d2c47c81f8"],[],[],[],["dataclass",false,"$36",false,["$36"],0,true,"$60","$59","dataclass","$48",true,"dataclasses","dataclasses",false]],["IMP-b6b0e3c086bad72f","FACT","$38","import","Import shop.store.backend.files.read_document",["$79","$80"],["EVD-34ef3407cb9a05ed"],[],[],[],["read_document",true,"$83",true,["$83"],0,true,"$79","$78","read_document","$48",true,"$80","$78",false]],["IMP-bb173b5fb587bdc1","FACT","$38","import","Import shop.model.entities.Order",["$54","$60"],["EVD-13e6b96ba80aa9fa"],[],[],[],["Order",false,"$70",false,["$70"],0,true,"$54","shop.app","Order","$48",true,"$60","$59",false]],["IMP-bd06e8b32b124cc0","FACT","$38","import","$18",["__future__","$95"],["EVD-a81ad4dfc4432e68"],[],[],[],["annotations",false,"$33",false,["$33"],0,true,"$95","$78","annotations","$48",true,"__future__","__future__",false]],["IMP-bdc3c1214b95ab15","FACT","$38","import","$18",["__future__","$76"],["EVD-c44d78e7201ad264"],[],[],[],["annotations",false,"$33",false,["$33"],0,true,"$76","$75","annotations","$48",true,"__future__","__future__",false]],["IMP-c0bf18fb78cbe14c","FACT","$38","import","Import shop.store.repository.OrderRepository",["$78","$95"],["EVD-9f8966569f535072"],[],[],[],["OrderRepository",true,"$96",true,["$96"],0,true,"$78","$78","OrderRepository","$48",true,"$95","$78",false]],["IMP-c14d352eb623ce98","FACT","$38","import","Import shop.app.orders.place_order",["$54","$57"],["EVD-8b4173ee45cd16b0"],[],[],[],["place_order",false,"$55",false,["$55"],0,true,"$57","shop.cli","place_order","$48",true,"$54","shop.app",false]],["IMP-c19389d425ac8d7e","FACT","$38","import","Import shop.store.OrderRepository",["$54","$78"],["EVD-d489e429536aba44"],[],[],[],["OrderRepository",false,"$96",false,["shop.store.OrderRepository","$96"],0,true,"$54","shop.app","OrderRepository","$48",true,"$78","$78",false]],["IMP-cad3239b0443530a","FACT","$38","import","$18",["__future__","$54"],["EVD-38710e4b9bb44644"],[],[],[],["annotations",false,"$33",false,["$33"],0,true,"$54","shop.app","annotations","$48",true,"__future__","__future__",false]],["IMP-cbb072022435f2f9","FACT","$38","import","Import shop.store.repository.OrderRepository",["$89","$95"],["$15"],[],[],[],["OrderRepository",false,"$96",false,["$96"],0,true,"$89","$78","OrderRepository","$48",true,"$95","$78",false]],["IMP-e02d0115bcc4fb2a","FACT","$38","import","$18",["__future__","$57"],["EVD-f672877e67023ac8"],[],[],[],["annotations",false,"$33",false,["$33"],0,true,"$57","shop.cli","annotations","$48",true,"__future__","__future__",false]],["IMP-e792ec1e804cd973","FACT","$38","import","Import pathlib.Path",["pathlib","$80"],["EVD-6fe2461604a4723c"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$80","$78","Path","$48",true,"pathlib","pathlib",false]],["IMP-f2339e702a50c2ea","FACT","$38","import","Import pathlib.Path",["pathlib","$99"],["EVD-0bf559167b8b8e33"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$99","$78","Path","$48",true,"pathlib","pathlib",false]],["IMP-f4e5d009557d854f","FACT","$38","import","$18",["__future__","$80"],["EVD-cdb32424562c421b"],[],[],[],["annotations",false,"$33",false,["$33"],0,true,"$80","$78","annotations","$48",true,"__future__","__future__",false]],["IMP-f54cf5a2e86cdf79","FACT","$38","import","Import shop.store.backend.order_paths",["$79","$99"],["EVD-f3e29659f2dc7586"],[],[],[],["order_paths",false,"$88",false,["shop.store.backend.order_paths","$88"],0,true,"$99","$78","order_paths","$48",true,"$79","$78",false]]],"metrics":[["METRIC-0477b10f3aa518a5","FACT","overview","interface_surface","Interface surface",[],[],[],["IMP-03885a05810e2a9f","IMP-16ccedd1f609248a","IMP-2dc76c96a33ea0db","IMP-35c1c35b56f8cf07","IMP-433582f82cd7fab1","IMP-5f3a2916e5c4b873","IMP-5f69fd090c6fbedd","IMP-6ad83ea777b33c5f","IMP-854cd25ac952c923","IMP-9f25bb7363e01cf3","IMP-bb173b5fb587bdc1","IMP-c14d352eb623ce98","IMP-c19389d425ac8d7e"],[],["api",9]],["METRIC-115ac1d218349491","FACT","overview","forbidden_package_edges","Forbidden package edges",[],[],[],[],[],["violations",0]],["METRIC-130e9ec98394803f","FACT","overview","private_crossings","Confirmed private symbol crossings",[],[],[],[],[],["api",0]],["METRIC-1ea50a8caf608504","FACT","overview","symbols","Symbols",[],[],[],["SYM-01d2c4dfc342d97f","SYM-03a741a00a38e247","SYM-094cb8a1abb8f245","SYM-0f98fb6f9a3c1a88","SYM-1268d346aa3386e0","SYM-1413fc34058d59ad","SYM-1d32533c0809c896","SYM-213a7c362a680705","SYM-25e035a8f02b4217","SYM-2ee4771f93d18185","SYM-306fffdb8811c478","SYM-3084c7286ff5a998","SYM-31c700c61943c8dd","SYM-3ddc33e5a1bedfc4","SYM-421012b9fa5f6934","SYM-44ce6b303fb819a9","SYM-4698877829fcbfae","SYM-521e10b69216a628","SYM-5e29728aec775442","SYM-5e8c22c32a17a88c","SYM-617dbdf906017b98","SYM-651121df4d1e8ad5","SYM-6a6e23a6aabf9211","SYM-785f9f9b17ce8f3c","SYM-7be0fbfe04d8ef32","SYM-891b0ba59ee7a735","SYM-912783379834f463","SYM-98565702bb3be343","SYM-9961cb1a552ff2e5","SYM-a3e7c6567ab50c7e","SYM-b183fc3dea9441aa","SYM-bdbad6c793f01a7e","SYM-c24e1dc0171bbef6","SYM-c6dc50ed43219b97","SYM-d63ca702f952e689","SYM-ebdd1de485e05bb4","SYM-f3293ef7f8441e4a","SYM-f4f91ac449914582","SYM-f66eff607f8f1109","SYM-f7d39b41d9b7b9a7","SYM-f9d489ab3f329c71"],[],["components",41]],["METRIC-45b586bf31456c32","FACT","overview","violating_import_sites","Violating import sites",[],[],[],["IMP-cbb072022435f2f9"],[],["violations",0]],["METRIC-5610c365b3e34d3d","FACT","overview","typing_signals","Typing & dynamic signals",[],[],[],[],[],["types",0]],["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",0]],["METRIC-9a8bf9ba32aac4c3","FACT","overview","ast_coverage","AST coverage",[],[],[],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["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-40ff2c6a28c6b584","PKG-8b1cb6422b713e24","PKG-9b03abc666a221d0","PKG-9fabb79a6f08c53a","PKG-e385c617d48de32a"],[],["package",5]],["METRIC-b2983be8c3741e5b","FACT","overview","source_files","Source files",[],[],[],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["coverage",13]],["METRIC-b5246b04f97b5e43","FACT","overview","call_resolution","Uniquely resolved calls",[],[],[],["CALL-083cd161b4d9cc59","CALL-0c84d7ab5f90b9e7","CALL-182446c0a2215637","CALL-250f740c9757299f","CALL-28be3d0e643e48cb","CALL-2a15a4f5a8d405a7","CALL-2a3395ee738e9ddc","CALL-2b8f5b54e2d2e5a9","CALL-2c6c25b9c187bda9","CALL-31ac102849a30f24","CALL-3b59994b4a20e51a","CALL-3e8e0ec25f9e9a3c","CALL-44d00f3387c412c0","CALL-46bd5eb5b49d27e1","CALL-4ba2fb087ae069a0","CALL-4d5de6fb6fc67f39","CALL-59f4ad4fd7e392a1","CALL-5cc9f12ce53da1f0","CALL-5d289aab81c5452a","CALL-67ca91b834a98839","CALL-68e1674deaeb3f9a","CALL-6d94b3b30296660a","CALL-75b6ee4ead83d132","CALL-8668702d554123fe","CALL-8ad11b4451bae8d5","CALL-9a91649a6d292045","CALL-9e1f51182d186d06","CALL-9ff4d9a1d24d8931","CALL-a06e0f01bde1adb7","CALL-a49a3c573401ecdc","CALL-cade0dd922464ad1","CALL-cb31d6cdcfae43b0","CALL-cc72be80a115c456","CALL-d7a1fe0547f73197","CALL-d821b880d4863ce7","CALL-e12d2fabcd62f499","CALL-ed4fec0e09f45c36","CALL-f1d0ad2553c86959","CALL-f2897f43663b6317","CALL-f2c895a3c3372054","CALL-f7a3dec1d1b6c4a4","CALL-ff31d6af7d88ebe7"],[],["calls","71.19%"]],["METRIC-c6ba710e0c094515","FACT","overview","violations","Forbidden symbol crossings",[],[],[],["IMP-cbb072022435f2f9"],[],["violations",1]],["METRIC-cd26a4b22ffceb0b","FACT","overview","unresolved_calls","Unresolved calls",[],[],[],["CALL-1c953772015daea2","CALL-84f1a173601b686d","CALL-aae1a8ccb0495442","CALL-c2a99e49722d37c3","CALL-cdc0f88188468209","CALL-cfda7b21bdd2cca0","CALL-f9335c1966589bca"],[],["calls",7]],["METRIC-f96ad8a9b8498c26","FACT","overview","rollup_only_package_cycles","Package cycles no module cycle crosses",[],[],[],[],[],["cycles",0]],["METRIC-fbc6c1d4c3b6db8f","FACT","overview","modules","Modules",[],[],[],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["module",13]]],"modules":[["$19","FACT","$46","module","$89",["$78","$89"],["$15"],[],[],[],[[],false,false,0,1,"shop/store/backend/probe.py","$78","$89",0,1]],["$20","FACT","$46","module","$85",["$78","$85"],["$14"],[],[],[],[[],false,false,1,0,"$108","$78","$85",5,3]],["$21","FACT","$46","module","$80",["$78","$80"],["$9"],[],[],[],[[],false,false,1,0,"$107","$78","$80",5,4]],["$22","FACT","$46","module","$99",["$78","$99"],["$11"],[],[],[],[[],false,false,2,1,"$111","$78","$99",2,2]],["$23","FACT","$46","module","$57",["shop.cli","$57"],["$12"],[],[],[],[[],false,false,0,2,"$103","shop.cli","$57",0,1]],["$24","FACT","$46","module","$54",["shop.app","$54"],["$16"],[],[],[],[[],false,false,1,3,"$102","shop.app","$54",1,3]],["$25","FACT","$46","module","$78",["$78","$78"],["$7"],[],[],[],[["OrderRepository"],true,true,1,1,"shop/store/__init__.py","$78","$78",2,0]],["$26","FACT","$46","module","$90",["$78","$90"],["$8"],[],[],[],[[],false,false,1,1,"$109","$78","$90",4,4]],["$27","FACT","$46","module","$52",["shop.app","$52"],["$10"],[],[],[],[[],false,false,0,1,"shop/app/maintenance.py","shop.app","$52",0,1]],["$28","FACT","$46","module","$60",["$59","$60"],["$13"],[],[],[],[["Line","LinePayload","Money","Order","OrderPayload"],true,false,4,0,"$104","$59","$60",5,16]],["$29","FACT","$46","module","$95",["$78","$95"],["$5"],[],[],[],[[],false,false,2,3,"$110","$78","$95",3,4]],["$30","FACT","$46","module","$76",["$75","$76"],["$17"],[],[],[],[[],false,false,1,1,"$105","$75","$76",1,2]],["$31","FACT","$46","module","$79",["$78","$79"],["$6"],[],[],[],[["discard_document","order_path","order_paths","read_document","write_document"],true,true,2,2,"$106","$78","$79",4,0]]],"packages":[["PKG-40ff2c6a28c6b584","FACT","package_topology","package","$75",["$75"],[],[],["$30"],[],[["$59"],1,1,1,"$75",1]],["PKG-8b1cb6422b713e24","FACT","package_topology","package","shop.app",["shop.app"],[],[],["$24","$27"],[],[["$59","$78"],1,2,2,"shop.app",1]],["PKG-9b03abc666a221d0","FACT","package_topology","package","$78",["$78"],[],[],["$19","$20","$21","$22","$25","$26","$29","$31"],[],[["$59"],1,1,8,"$78",2]],["PKG-9fabb79a6f08c53a","FACT","package_topology","package","shop.cli",["shop.cli"],[],[],["$23"],[],[["shop.app","$75"],0,2,1,"shop.cli",0]],["PKG-e385c617d48de32a","FACT","package_topology","package","$59",["$59"],[],[],["$28"],[],[[],3,0,1,"$59",3]]],"path_observations":[["UNKNOWN-PATH-1fc4669d2fe17fa6","UNKNOWN","read_write_paths","path_segment_not_statically_observed","shop.store → shop.model.entities lacks direct static import evidence",["$60","$78"],[],["PATH-SHOP-PLACE-ORDER"],[],[],["PATH-SHOP-PLACE-ORDER","$32","$78","UNKNOWN","$60"]],["UNKNOWN-PATH-691aca3e6620bb4f","UNKNOWN","read_write_paths","path_segment_not_statically_observed","shop.app.orders → shop.store lacks direct static import evidence",["$54","$78"],[],["PATH-SHOP-PLACE-ORDER"],[],[],["PATH-SHOP-PLACE-ORDER","$32","$54","UNKNOWN","$78"]],["UNKNOWN-PATH-8135df7987d7fc62","UNKNOWN","read_write_paths","path_segment_not_statically_observed","shop.cli.main → shop.app.orders lacks direct static import evidence",["$54","$57"],[],["PATH-SHOP-PLACE-ORDER"],[],[],["PATH-SHOP-PLACE-ORDER","$32","$57","UNKNOWN","$54"]]],"python_version":"3.11.12","references":[["REF-1bfda9f551c3a61b","FACT","$35","$112","Reference OrderPayload",["$74","$92"],["EVD-8774c54c206b3af2"],[],[],[],["OrderPayload","$90","$92","resolved",["$74"],"value"]],["REF-1ca870ea02ec3df7","FACT","$35","$112","Reference LinePayload",["$64","$66"],["EVD-3b29e5a0919fffbd"],[],[],[],["LinePayload","$60","$64","resolved",["$66"],"value"]],["REF-2845a79b997f3eb3","FACT","$35","$112","Reference ENCODING",["$81","$84"],["EVD-f1c0bc85b0d48c3d"],[],[],[],["ENCODING","$80","$84","resolved",["$81"],"value"]],["REF-28f92e5024233324","FACT","$35","$112","Reference DOCUMENT_SUFFIX",["$86","$88"],["EVD-b294cd3ee3c7c698"],[],[],[],["DOCUMENT_SUFFIX","$85","$88","resolved",["$86"],"value"]],["REF-2b55a2aa682d4dcc","FACT","$35","$112","Reference Connection",["$53","$100"],["EVD-38891c635c506c91"],[],[],[],["Connection","$52","$53","resolved",["$100"],"value"]],["REF-305bb7d1824c48c7","FACT","$35","$112","Reference Line",["$62","$63"],["EVD-9e74ddf8aa380382"],[],[],[],["Line","$60","$63","resolved",["$62"],"value"]],["REF-35dd66df641a5df3","FACT","$35","$112","Reference Connection",["$100","$101"],["EVD-e70f569a2eb95368"],[],[],[],["Connection","$99","$101","resolved",["$100"],"value"]],["REF-3867f271aad4cd82","FACT","$35","$112","Reference Money",["$62","$67"],["EVD-96ecc1244386d2d9"],[],[],[],["Money","$60","$62","resolved",["$67"],"value"]],["REF-3badae467c662cc5","FACT","$35","$112","Reference Money",["$56","$67"],["EVD-0f1718615c647d6d"],[],[],[],["Money","$54","$56","resolved",["$67"],"value"]],["REF-43f7d894300ffef6","FACT","$35","$112","Reference DOCUMENT_SUFFIX",["$86","$87"],["EVD-71716ad6c2134d34"],[],[],[],["DOCUMENT_SUFFIX","$85","$87","resolved",["$86"],"value"]],["REF-4b5b66a49e898e2e","FACT","$35","$112","Reference Money",["$67","$73"],["EVD-5c8241ce36e16819"],[],[],[],["Money","$60","$73","resolved",["$67"],"value"]],["REF-5baaffd310306267","FACT","$35","$112","Reference Order",["$55","$70"],["EVD-45244797ec95e427"],[],[],[],["Order","$54","$55","resolved",["$70"],"value"]],["REF-5bbb67dda517182c","FACT","$35","$112","Reference LinePayload",["$66","$74"],["EVD-54388728e808af06"],[],[],[],["LinePayload","$60","$74","resolved",["$66"],"value"]],["REF-62c5766dcd9edd1e","FACT","$35","$112","Reference Money",["$67","$68"],["EVD-653af1cabbbe417a"],[],[],[],["Money","$60","$68","resolved",["$67"],"value"]],["REF-7233f986b60ad68a","FACT","$35","$112","Reference Money",["$67","$69"],["EVD-3c3d843fb403333d"],[],[],[],["Money","$60","$69","resolved",["$67"],"value"]],["REF-75c729a6c7515cf2","FACT","$35","$112","Reference DOCUMENT_VERSION",["$91","$94"],["EVD-ec0fe67b9d443379"],[],[],[],["DOCUMENT_VERSION","$90","$94","resolved",["$91"],"value"]],["REF-7a8eeb0c25e9c774","FACT","$35","$112","Reference OrderPayload",["$72","$74"],["EVD-6f5a6a9e4fa47055"],[],[],[],["OrderPayload","$60","$72","resolved",["$74"],"value"]],["REF-855f55d89bf7b153","FACT","$35","$112","Reference OrderRepository",["$89","$96"],["EVD-2762c89dd9f6d61a"],[],[],[],["OrderRepository","$89","$89","resolved",["$96"],"value"]],["REF-8c52efeaec2f8091","FACT","$35","$112","Reference Order",["$70","$98"],["EVD-0438ee79361aecbd"],[],[],[],["Order","$95","$98","resolved",["$70"],"value"]],["REF-8f8c9e0a521ac5f1","FACT","$35","$112","Reference Money",["$67","$68"],["EVD-6df5566c06174695"],[],[],[],["Money","$60","$68","resolved",["$67"],"value"]],["REF-92ff1366448818f0","FACT","$35","$112","Reference LinePayload",["$63","$66"],["EVD-da884023325e20c8"],[],[],[],["LinePayload","$60","$63","resolved",["$66"],"value"]],["REF-a7382d364b9d7733","FACT","$35","$112","Reference OrderDocument",["$92","$94"],["EVD-aa01569e504bae6c"],[],[],[],["OrderDocument","$90","$94","resolved",["$92"],"value"]],["REF-b2dfecfd4123a062","FACT","$35","$112","Reference OrderDocument",["$92","$93"],["EVD-708c06c60b82f2a7"],[],[],[],["OrderDocument","$90","$93","resolved",["$92"],"value"]],["REF-b2ef9c4b6f2d63f4","FACT","$35","$112","Reference Money",["$61","$67"],["EVD-d80a75bcbfde3ec0"],[],[],[],["Money","$60","$61","resolved",["$67"],"value"]],["REF-b4fa9a4d65c47f5a","FACT","$35","$112","Reference Order",["$70","$93"],["EVD-236abf80e8185e88"],[],[],[],["Order","$90","$93","resolved",["$70"],"value"]],["REF-ba23f70777e35599","FACT","$35","$112","Reference Line",["$62","$70"],["EVD-b40369c1d9f82ec1"],[],[],[],["Line","$60","$70","resolved",["$62"],"value"]],["REF-d1a538704e91b6fa","FACT","$35","$112","Reference Order",["$70","$94"],["EVD-09134357b4a872f1"],[],[],[],["Order","$90","$94","resolved",["$70"],"value"]],["REF-e6a966895dd8c31d","FACT","$35","$112","Reference Order",["$70","$97"],["EVD-e0f88b132b28fe82"],[],[],[],["Order","$95","$97","resolved",["$70"],"value"]],["REF-e8c1acd4b8cb7a01","FACT","$35","$112","Reference Connection",["shop.app.orders.describe_connection","$100"],["EVD-72372a3ea85bb31c"],[],[],[],["Connection","$54","shop.app.orders.describe_connection","resolved",["$100"],"value"]],["REF-eaef3313391645d6","FACT","$35","$112","Reference ENCODING",["$81","$83"],["EVD-8ee8ada66bf8fc10"],[],[],[],["ENCODING","$80","$83","resolved",["$81"],"value"]],["REF-eb0c0e912d4392a2","FACT","$35","$112","Reference Money",["$61","$67"],["EVD-b2e814d241b4556d"],[],[],[],["Money","$60","$61","resolved",["$67"],"value"]],["REF-eb421da07cdf2ed2","FACT","$35","$112","Reference DOCUMENT_VERSION",["$91","$93"],["EVD-05fd09bb70b1612d"],[],[],[],["DOCUMENT_VERSION","$90","$93","resolved",["$91"],"value"]],["REF-f0acc3c1106a6867","FACT","$35","$112","Reference OrderPayload",["$71","$74"],["EVD-4ae1cbcd504ea7e5"],[],[],[],["OrderPayload","$60","$71","resolved",["$74"],"value"]],["REF-f7a398c7bdecd0f2","FACT","$35","$112","Reference Order",["$70","$71"],["EVD-39161d918b372be5"],[],[],[],["Order","$60","$71","resolved",["$70"],"value"]],["REF-fc614f63b89e9ca0","FACT","$35","$112","Reference Money",["$65","$67"],["EVD-9f647874c3ddd340"],[],[],[],["Money","$60","$65","resolved",["$67"],"value"]],["REF-fe7bdc8b7df06542","FACT","$35","$112","Reference Order",["$70","$77"],["EVD-816df6c812228713"],[],[],[],["Order","$76","$77","resolved",["$70"],"value"]]],"schema_version":"1.3.0","scope_observations":[["INSIDE-REQUIRES-EVALUATION-77bb2dbd9d0df98d","FACT","components","inside_rule_evaluation","store:STORE-REQUIRES-COMPLETE evaluated its scoped imports",["$79","$79","$79","$79","$79","$89","$90","$90","$95","$95","$95","$95","$95","$95","$99","$99"],["EVD-6405258d305a1282","EVD-6405258d305a1282","EVD-7c110b28a0df0f5f","EVD-7c110b28a0df0f5f","EVD-7c110b28a0df0f5f","$15","EVD-f3e29659f2dc7586","EVD-f3e29659f2dc7586"],["store:STORE-REQUIRES-COMPLETE"],["IMP-05cafa2b6a9ca69f","IMP-373ca14ad39cb31e","IMP-6985ff97250b4a9e","IMP-6fc8896a544cf33e","IMP-73286559e2179cec","IMP-9c9a26650d07d53f","IMP-cbb072022435f2f9","IMP-f54cf5a2e86cdf79"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","store","$m","$m","$m"]],["RULE-EVALUATION-02e2a16085f8541c","FACT","rules","$51","COMPONENT-NO-CYCLES evaluator completed",["app","cli","model","render","store"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["COMPONENT-NO-CYCLES"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m",["app","cli","model","render","store"],true,["app","cli","model","render","store"],"$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-030e8a16319bfc7d","FACT","rules","$51","DEP-MODEL-NO-STORE evaluator completed",["$60"],["$13"],["DEP-MODEL-NO-STORE"],["$28"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-10e44d5c07cfd6de","FACT","rules","$51","MODEL-TYPES-IN-ENTITIES evaluator completed",["$60"],["$13"],["MODEL-TYPES-IN-ENTITIES"],["$28"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-191e7229f705ca78","FACT","rules","$51","DEP-APP-NO-STORE-SQLITE evaluator completed",["$52","$54"],["$10","$16"],["DEP-APP-NO-STORE-SQLITE"],["$24","$27"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-20d98c1bb9193bb7","FACT","rules","$51","DEP-MODEL-NO-CLI evaluator completed",["$60"],["$13"],["DEP-MODEL-NO-CLI"],["$28"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-2e25f0f8b85ae114","FACT","rules","$51","DEP-APP-NO-STORE-BACKEND evaluator completed",["$52","$54"],["$10","$16"],["DEP-APP-NO-STORE-BACKEND"],["$24","$27"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-3362ebc9245a26ae","FACT","rules","$51","DEP-STORE-NO-MONEY evaluator completed",["$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$11","$14","$15"],["DEP-STORE-NO-MONEY"],["$19","$20","$21","$22","$25","$26","$29","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-3b4644f18ce3e187","FACT","rules","$51","CONSTRUCT-NO-STRING-LITERAL-COMPARE evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["CONSTRUCT-NO-STRING-LITERAL-COMPARE"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-3dfad042414ee8be","FACT","rules","$51","DEP-RENDER-NO-STORE evaluator completed",["$76"],["$17"],["DEP-RENDER-NO-STORE"],["$30"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-451901b74e17e608","FACT","rules","$51","ROOT-LAYOUT evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["ROOT-LAYOUT"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-452c8cba5c90a239","FACT","rules","$51","DEP-CLI-NO-STORE evaluator completed",["$57"],["$12"],["DEP-CLI-NO-STORE"],["$23"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-51420f2ea2e96d22","FACT","rules","$51","CONSTRUCT-NO-BROAD-EXCEPT evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["CONSTRUCT-NO-BROAD-EXCEPT"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-6cf4b24b43586968","FACT","rules","$51","STORE-PEERS-ISOLATED evaluator completed",["$95","$99"],["$5","$11"],["STORE-PEERS-ISOLATED"],["$22","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-759e577f2e2fbbc9","FACT","rules","$51","EXTERNAL-COMPLETE evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["EXTERNAL-COMPLETE"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-77bb2dbd9d0df98d","FACT","rules","$51","store:STORE-REQUIRES-COMPLETE evaluator completed",["$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$11","$14","$15"],["store:STORE-REQUIRES-COMPLETE"],["$19","$20","$21","$22","$25","$26","$29","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","store","$m","$m"]],["RULE-EVALUATION-7a8c1556dc93730b","FACT","rules","$51","INTERFACE-BOUNDARY evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["INTERFACE-BOUNDARY"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-811868a63b7b52cc","FACT","rules","$51","DEP-APP-NO-CLI evaluator completed",["$52","$54"],["$10","$16"],["DEP-APP-NO-CLI"],["$24","$27"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-83d219176c4f04dc","FACT","rules","$51","APP-TYPES-NOT-DICT evaluator completed",["$54","$55"],["EVD-0d980b58b58a2c27"],["APP-TYPES-NOT-DICT"],["SYM-1413fc34058d59ad"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-83e74db18f43b1f5","FACT","rules","$51","CONSTRUCT-NO-ANY evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["CONSTRUCT-NO-ANY"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-86b01ec12fe9adb0","FACT","rules","$51","CONSTRUCT-NO-DYNAMIC evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["CONSTRUCT-NO-DYNAMIC"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-8733a92e0a9642e1","FACT","rules","$51","DEP-STORE-NO-CLI evaluator completed",["$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$11","$14","$15"],["DEP-STORE-NO-CLI"],["$19","$20","$21","$22","$25","$26","$29","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-8ccb5a7b1f07d9ef","FACT","rules","$51","DEP-CLI-NO-MODEL evaluator completed",["$57"],["$12"],["DEP-CLI-NO-MODEL"],["$23"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-8d65305b0ed80807","FACT","rules","$51","ASSIGNMENT-COMPLETE evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["ASSIGNMENT-COMPLETE"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-8f3b8b868f3f340d","FACT","rules","$51","DEP-MODEL-NO-APP evaluator completed",["$60"],["$13"],["DEP-MODEL-NO-APP"],["$28"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-97ca2131d6ca67d2","FACT","rules","$51","DEP-RENDER-NO-APP evaluator completed",["$76"],["$17"],["DEP-RENDER-NO-APP"],["$30"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-a06f509d5f711440","FACT","rules","$51","EXTERNAL-JSON-STORE evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["EXTERNAL-JSON-STORE"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-a82a67ae50619ffb","FACT","rules","$51","DEP-APP-NO-RENDER evaluator completed",["$52","$54"],["$10","$16"],["DEP-APP-NO-RENDER"],["$24","$27"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-cd8ae7ee2ca2a903","FACT","rules","$51","DEP-STORE-NO-RENDER evaluator completed",["$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$11","$14","$15"],["DEP-STORE-NO-RENDER"],["$19","$20","$21","$22","$25","$26","$29","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-d97a8f8032db359e","FACT","rules","$51","CONSTRUCT-NO-PLACEHOLDER evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["CONSTRUCT-NO-PLACEHOLDER"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-e17823143425894f","FACT","rules","$51","CONSTRUCT-NO-ASSERT evaluator completed",["$52","$54","$57","$60","$76","$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16","$17"],["CONSTRUCT-NO-ASSERT"],["$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29","$30","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-ee8f8309fc5c5610","FACT","rules","$51","DEP-MODEL-NO-RENDER evaluator completed",["$60"],["$13"],["DEP-MODEL-NO-RENDER"],["$28"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-f281ba5718129592","FACT","rules","$51","DEP-STORE-NO-APP evaluator completed",["$78","$79","$80","$85","$89","$90","$95","$99"],["$5","$6","$7","$8","$9","$11","$14","$15"],["DEP-STORE-NO-APP"],["$19","$20","$21","$22","$25","$26","$29","$31"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-f5b90c596df8aa47","FACT","rules","$51","DEP-RENDER-NO-CLI evaluator completed",["$76"],["$17"],["DEP-RENDER-NO-CLI"],["$30"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["SCOPE-3e3f23ce706d1486","FACT","components","$37","Observed source scope for model",["$59"],["$13"],["COMP-MODEL"],["$28"],[],["COMP-MODEL",true,"$m","$m","$m",0,["$104"],1,["$60"],1,[],[],"$m","$m",[{"kind":"package","observed_module_count":1,"scope":"$59"}],["$59"]]],["SCOPE-4824390c78bd833c","FACT","components","$37","Observed source scope for app",["shop.app"],["$10","$16"],["COMP-APP"],["EDGE-3710f672fd2f0c2a","EDGE-58b9293354ac6170","EDGE-75837215763c54f2","EDGE-98d3237939201824","$24","$27"],[],["COMP-APP",true,"$m","$m","$m",2,["shop/app/maintenance.py","$102"],2,["$52","$54"],2,["$60","$78","$99"],["$59","$78"],"$m","$m",[{"kind":"package","observed_module_count":2,"scope":"shop.app"}],["shop.app"]]],["SCOPE-57b086922ac9c0aa","FACT","components","$37","Observed source scope for render",["$75"],["$17"],["COMP-RENDER"],["EDGE-14e0785acd31207d","$30"],[],["COMP-RENDER",true,"$m","$m","$m",1,["$105"],1,["$76"],1,["$60"],["$59"],"$m","$m",[{"kind":"package","observed_module_count":1,"scope":"$75"}],["$75"]]],["SCOPE-cf339b3b760efdaa","FACT","components","$37","Observed source scope for cli",["shop.cli"],["$12"],["COMP-CLI"],["EDGE-1ad88587dca0df62","EDGE-1b6c0110cf77ea30","$23"],[],["COMP-CLI",true,"$m","$m","$m",2,["$103"],1,["$57"],1,["$54","$76"],["shop.app","$75"],"$m","$m",[{"kind":"package","observed_module_count":1,"scope":"shop.cli"}],["shop.cli"]]],["SCOPE-dec4382bbde4da11","FACT","components","$37","Observed source scope for store",["$78"],["$5","$6","$7","$8","$9","$11","$14","$15"],["COMP-STORE"],["EDGE-afcd576017d020e3","EDGE-f647d4d8e69e0f81","$19","$20","$21","$22","$25","$26","$29","$31"],[],["COMP-STORE",true,"$m","$m","$m",1,["shop/store/__init__.py","$106","$107","$108","shop/store/backend/probe.py","$109","$110","$111"],8,["$78","$79","$80","$85","$89","$90","$95","$99"],8,["$60"],["$59"],"$m","$m",[{"kind":"package","observed_module_count":8,"scope":"$78"}],["$78"]]]],"source":{"dirty":true,"git_head":"c81fb01cb9b0a88a431afcb6382972f3658f3b32","scope":["shop/**/*.py"],"source_digest":"c10f72a30a0d6ebf45f9a7b6d3fbd703b485f4376d3b4d2d4127ba254639e592"},"string_table":["            Path(store_dir), order_id, description, int(quantity), int(unit_price_cents)","        return decode(read_document(order_path(self._root, order_id)))","        write_document(order_path(self._root, order.order_id), encode(order))","    document: OrderDocument = {\"version\": DOCUMENT_VERSION, \"order\": order.to_dict()}","DECLARED_RULE","EVD-0bc1ac0341f42b20","EVD-0e6de0672e6a3e36","EVD-30263e40ce3f9226","EVD-32a548d291612a9d","EVD-4af1c0e685325907","EVD-686bfc024de0e17f","EVD-a46ec27f5abbd9cc","EVD-a88d07cff62ce2f2","EVD-bbbbeb02d4c0aed4","EVD-bd9899a51f65f727","EVD-cedc76a4f6801261","EVD-dff16dfb262b2579","EVD-ec03fd7255ed89b3","Import __future__.annotations","MOD-003cd36f7fdb6164","MOD-2613d08cbfa31192","MOD-4e4e7559db7d702d","MOD-651628f6395e3f74","MOD-7484964315f131f2","MOD-9a0394d8e9355d76","MOD-9b03abc666a221d0","MOD-a5f5919aae7f572b","MOD-a911202de97fe81b","MOD-c7aefefacb7161e3","MOD-d9d532913f09f5f2","MOD-ddd1236afac37f18","MOD-e0926795712d4e0e","Missing static proof does not prove that the runtime path is absent","__future__.annotations","annotated receiver of known type, unproven at runtime","call_hierarchy","dataclasses.dataclass","declared_component_scope_observation","dependencies","dependency_violations","docs/architecture/shop.md","dynamic receiver with matching internal methods","forbidden_dependency","from __future__ import annotations","imported symbol binding","module_dependency","module_topology","partially_resolved_call","public_name","repository_topology","resolved_call","rule_evaluation","shop.app.maintenance","shop.app.maintenance.run_maintenance","shop.app.orders","shop.app.orders.place_order","shop.app.orders.summarize","shop.cli.main","shop.cli.main.main","shop.model","shop.model.entities","shop.model.entities.Discount.apply","shop.model.entities.Line","shop.model.entities.Line.from_dict","shop.model.entities.Line.to_dict","shop.model.entities.Line.total","shop.model.entities.LinePayload","shop.model.entities.Money","shop.model.entities.Money.__add__","shop.model.entities.Money.__mul__","shop.model.entities.Order","shop.model.entities.Order.from_dict","shop.model.entities.Order.to_dict","shop.model.entities.Order.total","shop.model.entities.OrderPayload","shop.render","shop.render.text","shop.render.text.render_order","shop.store","shop.store.backend","shop.store.backend.files","shop.store.backend.files.ENCODING","shop.store.backend.files.discard_document","shop.store.backend.files.read_document","shop.store.backend.files.write_document","shop.store.backend.paths","shop.store.backend.paths.DOCUMENT_SUFFIX","shop.store.backend.paths.order_path","shop.store.backend.paths.order_paths","shop.store.backend.probe","shop.store.codec","shop.store.codec.DOCUMENT_VERSION","shop.store.codec.OrderDocument","shop.store.codec.decode","shop.store.codec.encode","shop.store.repository","shop.store.repository.OrderRepository","shop.store.repository.OrderRepository.load","shop.store.repository.OrderRepository.save","shop.store.sqlite","shop.store.sqlite.Connection","shop.store.sqlite.vacuum","shop/app/orders.py","shop/cli/main.py","shop/model/entities.py","shop/render/text.py","shop/store/backend/__init__.py","shop/store/backend/files.py","shop/store/backend/paths.py","shop/store/codec.py","shop/store/repository.py","shop/store/sqlite.py","value_reference"],"symbols":[["SYM-01d2c4dfc342d97f","FACT","$49","static_constant","DOCUMENT_VERSION",["$90","$91"],["EVD-19ff467f293c6747"],[],[],[],["$m","$m","$m","$m","$m","$m","$m",1,"$m","$m","$m","$m","$m","$m","$90","DOCUMENT_VERSION","$m","$m","$m",null,"$91","$m","static_constant","$m","$m","$m","$m","$48"]],["SYM-03a741a00a38e247","FACT","$49","function","vacuum",["$99","$101"],["EVD-0fe909c92608a522"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["pathlib.Path","$100"],"$m","$m","$m","$99","vacuum",false,"$78",[{"annotation":"Connection","name":"connection"}],null,"$101","connection","$m","None","1233c60337e90701",27,"function","$48"]],["SYM-094cb8a1abb8f245","FACT","$49","function","decode",["$90","$93"],["EVD-538428ebc2c45adf"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$90","decode",false,"$78",[{"annotation":"str","name":"document"}],null,"$93","document","$m","Order","ce57632699ffda91",48,"function","$48"]],["SYM-0f98fb6f9a3c1a88","FACT","$49","function","read_document",["$80","$83"],["EVD-832db48c570c8ce0"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$80","read_document",false,"$78",[{"annotation":"Path","name":"path"}],null,"$83","path","$m","str","acdee450ad07ad82",9,"function","$48"]],["SYM-1268d346aa3386e0","FACT","$49","method","to_dict",["$60","$72"],["EVD-380072b2520ec91b"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["$66","$74"],"$m","$m","instance","$60","to_dict",false,"$59",[{"annotation":null,"name":"self"}],"$70","$72","self","$m","OrderPayload","c8b222d85473c23c",21,"method","$48"]],["SYM-1413fc34058d59ad","FACT","$49","function","place_order",["$54","$55"],["EVD-0d980b58b58a2c27"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["pathlib.Path","$62","$67","$70"],"$m","$m","$m","$54","place_order",false,"shop.app",[{"annotation":"Path","name":"store_dir"},{"annotation":"str","name":"order_id"},{"annotation":"str","name":"description"},{"annotation":"int","name":"quantity"},{"annotation":"int","name":"unit_price_cents"}],null,"$55","store_dir","$m","Order","29ee4973a7595fd0",46,"function","$48"]],["SYM-1d32533c0809c896","FACT","$49","class","Discount",["$60","shop.model.entities.Discount"],["EVD-3adffac283771a7d"],[],[],[],["$m","$m",[],[],false,"dataclass",["apply"],"$m",false,["dataclass"],"$m",[{"annotation":"int","name":"percent"}],true,"$m","$60","Discount","$m","$59","$m",null,"shop.model.entities.Discount","$m","$m","$m","$m","$m","class","$48"]],["SYM-213a7c362a680705","FACT","$49","method","total",["$60","$65"],["EVD-db42ea9082a4945d"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["$67"],"$m","$m","instance","$60","total",false,"$59",[{"annotation":null,"name":"self"}],"$62","$65","self","$m","Money","1c390dac5aec669a",11,"method","$48"]],["SYM-25e035a8f02b4217","FACT","$49","class","LinePayload",["$60","$66"],["EVD-fd291905059136db"],[],[],[],["$m","$m",["typing.TypedDict"],["TypedDict"],false,"class",[],"$m",true,[],"$m",[{"annotation":"str","name":"description"},{"annotation":"int","name":"quantity"},{"annotation":"int","name":"unit_price"}],false,"$m","$60","LinePayload","$m","$59","$m",null,"$66","$m","$m","$m","$m","$m","class","$48"]],["SYM-2ee4771f93d18185","FACT","$49","type_alias","REPOSITORY_TYPE",["$89","shop.store.backend.probe.REPOSITORY_TYPE"],["EVD-31f9e21dae914e30"],[],[],[],["OrderRepository","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$89","REPOSITORY_TYPE","$m","$m","$m",null,"shop.store.backend.probe.REPOSITORY_TYPE","$m","type_alias","$m","$m","$m","$m","$48"]],["SYM-306fffdb8811c478","FACT","$49","method","total",["$60","$73"],["EVD-41e509000836a272"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["$67"],"$m","$m","instance","$60","total",false,"$59",[{"annotation":null,"name":"self"}],"$70","$73","self","$m","Money","9d3b44c27afb48d8",29,"method","$48"]],["SYM-3084c7286ff5a998","FACT","$49","function","render_order",["$76","$77"],["EVD-e32da9f19fec9395"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["$62","$67","$70"],"$m","$m","$m","$76","render_order",false,"$75",[{"annotation":"Order","name":"order"}],null,"$77","order","$m","str","db9a3e602e01c1e6",65,"function","$48"]],["SYM-31c700c61943c8dd","FACT","$49","class","Order",["$60","$70"],["EVD-13b53f5e83189b76"],[],[],[],["$m","$m",[],[],false,"dataclass",["from_dict","to_dict","total"],"$m",true,["dataclass"],"$m",[{"annotation":"str","name":"order_id"},{"annotation":"tuple[Line, ...]","name":"lines"}],true,"$m","$60","Order","$m","$59","$m",null,"$70","$m","$m","$m","$m","$m","class","$48"]],["SYM-3ddc33e5a1bedfc4","FACT","$49","function","write_document",["$80","$84"],["EVD-03b7b333aac461f3"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$80","write_document",false,"$78",[{"annotation":"Path","name":"path"},{"annotation":"str","name":"document"}],null,"$84","path","$m","None","c30c2656741bbe05",46,"function","$48"]],["SYM-421012b9fa5f6934","FACT","$49","method","from_dict",["$60","$63"],["EVD-f306204066b62b9f"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,["classmethod"],["$62","$66","$67"],"$m","$m","class","$60","from_dict",false,"$59",[{"annotation":null,"name":"cls"},{"annotation":"LinePayload","name":"payload"}],"$62","$63","cls","$m","Line","bffa006109dfdc32",25,"method","$48"]],["SYM-44ce6b303fb819a9","FACT","$49","function","describe_connection",["$54","shop.app.orders.describe_connection"],["EVD-fc14974701907ab7"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$54","describe_connection",false,"shop.app",[{"annotation":"Connection","name":"connection"}],null,"shop.app.orders.describe_connection","connection","$m","str","d864e6477b9a53f9",8,"function","$48"]],["SYM-4698877829fcbfae","FACT","$49","method","to_dict",["$60","$64"],["EVD-ea5b17eeeff85142"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["$66"],"$m","$m","instance","$60","to_dict",false,"$59",[{"annotation":null,"name":"self"}],"$62","$64","self","$m","LinePayload","c96bc6296e78f88a",19,"method","$48"]],["SYM-521e10b69216a628","FACT","$49","method","__add__",["$60","$68"],["EVD-1a1f857322507e84"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["$67"],"$m","$m","instance","$60","__add__",false,"$59",[{"annotation":null,"name":"self"},{"annotation":"Money","name":"other"}],"$67","$68","self","$m","Money","1df72fadcc5f1f60",14,"method","private"]],["SYM-5e29728aec775442","FACT","$49","function","order_paths",["$85","$88"],["EVD-5e3d87c185579640"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$85","order_paths",false,"$78",[{"annotation":"Path","name":"root"}],null,"$88","root","$m","list[Path]","a381c6af608fa84d",14,"function","$48"]],["SYM-5e8c22c32a17a88c","FACT","$49","function","_indent",["$76","shop.render.text._indent"],["EVD-1c55304fac7d5d2d"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$76","_indent",false,"$75",[{"annotation":"str","name":"text"}],null,"shop.render.text._indent","text","$m","str","fef6164d0766e1aa",6,"function","private"]],["SYM-617dbdf906017b98","FACT","$49","function","run_maintenance",["$52","$53"],["EVD-bb058fe2332a7f1b"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$52","run_maintenance",false,"shop.app",[{"annotation":"Connection","name":"connection"}],null,"$53","connection","$m","None","126a6c743b6f955a",6,"function","$48"]],["SYM-651121df4d1e8ad5","FACT","$49","function","summarize",["$54","$56"],["EVD-fd68302f088e77a9"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$54","summarize",false,"shop.app",[{"annotation":"Path","name":"store_dir"},{"annotation":"str","name":"order_id"}],null,"$56","store_dir","$m","Money","6c0b58e6e0d3e57e",14,"function","$48"]],["SYM-6a6e23a6aabf9211","FACT","$49","class","Money",["$60","$67"],["EVD-809590eb3ddf92d6"],[],[],[],["$m","$m",[],[],false,"dataclass",["__add__","__mul__","__str__"],"$m",true,["dataclass"],"$m",[{"annotation":"int","name":"cents"}],true,"$m","$60","Money","$m","$59","$m",null,"$67","$m","$m","$m","$m","$m","class","$48"]],["SYM-785f9f9b17ce8f3c","FACT","$49","function","main",["$57","$58"],["EVD-a825188e58318989"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$57","main",false,"shop.cli",[{"annotation":"list[str]","name":"argv"}],null,"$58","argv","$m","int","d21ed6e2232d4fae",57,"function","$48"]],["SYM-7be0fbfe04d8ef32","FACT","$49","method","load",["$95","$97"],["EVD-ed3cfc06e043e57d"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["$62","$67","$70"],"$m","$m","instance","$95","load",false,"$78",[{"annotation":null,"name":"self"},{"annotation":"str","name":"order_id"}],"$96","$97","self","$m","Order","034b056e2c8feff4",16,"method","$48"]],["SYM-891b0ba59ee7a735","FACT","$49","method","__str__",["$60","shop.model.entities.Money.__str__"],["EVD-5ff808486c74736f"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","instance","$60","__str__",false,"$59",[{"annotation":null,"name":"self"}],"$67","shop.model.entities.Money.__str__","self","$m","str","55f65d10d221adf9",12,"method","private"]],["SYM-912783379834f463","FACT","$49","function","order_path",["$85","$87"],["EVD-0977f81fc2ac2b19"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$85","order_path",false,"$78",[{"annotation":"Path","name":"root"},{"annotation":"str","name":"order_id"}],null,"$87","root","$m","Path","c4d271c707395ce7",12,"function","$48"]],["SYM-98565702bb3be343","FACT","$49","method","save",["$95","$98"],["EVD-73c79d763526af76"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["$62","$67","$70"],"$m","$m","instance","$95","save",false,"$78",[{"annotation":null,"name":"self"},{"annotation":"Order","name":"order"}],"$96","$98","self","$m","None","622311be837367e6",20,"method","$48"]],["SYM-9961cb1a552ff2e5","FACT","$49","static_constant","ENCODING",["$80","$81"],["EVD-81ea2509d3cf2d51"],[],[],[],["$m","$m","$m","$m","$m","$m","$m","utf-8","$m","$m","$m","$m","$m","$m","$80","ENCODING","$m","$m","$m",null,"$81","$m","static_constant","$m","$m","$m","$m","$48"]],["SYM-a3e7c6567ab50c7e","FACT","$49","class","OrderPayload",["$60","$74"],["EVD-598749736e720d9d"],[],[],[],["$m","$m",["typing.TypedDict"],["TypedDict"],false,"class",[],"$m",true,[],"$m",[{"annotation":"str","name":"order_id"},{"annotation":"list[LinePayload]","name":"lines"}],false,"$m","$60","OrderPayload","$m","$59","$m",null,"$74","$m","$m","$m","$m","$m","class","$48"]],["SYM-b183fc3dea9441aa","FACT","$49","method","apply",["$60","$61"],["EVD-3a45cf803befe154"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","instance","$60","apply",false,"$59",[{"annotation":null,"name":"self"},{"annotation":"Money","name":"amount"}],"shop.model.entities.Discount","$61","self","$m","Money","a7b125c011b349da",20,"method","$48"]],["SYM-bdbad6c793f01a7e","FACT","$49","static_constant","DOCUMENT_SUFFIX",["$85","$86"],["EVD-976a02b50cb046c6"],[],[],[],["$m","$m","$m","$m","$m","$m","$m",".json","$m","$m","$m","$m","$m","$m","$85","DOCUMENT_SUFFIX","$m","$m","$m",null,"$86","$m","static_constant","$m","$m","$m","$m","$48"]],["SYM-c24e1dc0171bbef6","FACT","$49","method","__mul__",["$60","$69"],["EVD-ed97a6a2fb111212"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["$67"],"$m","$m","instance","$60","__mul__",false,"$59",[{"annotation":null,"name":"self"},{"annotation":"int","name":"quantity"}],"$67","$69","self","$m","Money","0ba3a10f50ddaed1",12,"method","private"]],["SYM-c6dc50ed43219b97","FACT","$49","function","encode",["$90","$94"],["EVD-ac6210f7ea66f63c"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$90","encode",false,"$78",[{"annotation":"Order","name":"order"}],null,"$94","order","$m","str","b27149e11f1ca9c1",25,"function","$48"]],["SYM-d63ca702f952e689","FACT","$49","class","Connection",["$99","$100"],["EVD-55874fa4e1457292"],[],[],[],["$m","$m",[],[],false,"dataclass",[],"$m",false,["dataclass"],"$m",[{"annotation":"Path","name":"path"}],true,"$m","$99","Connection","$m","$78","$m",null,"$100","$m","$m","$m","$m","$m","class","$48"]],["SYM-ebdd1de485e05bb4","FACT","$49","class","OrderDocument",["$90","$92"],["EVD-1adb244d07352ea3"],[],[],[],["$m","$m",["typing.TypedDict"],["TypedDict"],false,"class",[],"$m",false,[],"$m",[{"annotation":"int","name":"version"},{"annotation":"OrderPayload","name":"order"}],false,"$m","$90","OrderDocument","$m","$78","$m",null,"$92","$m","$m","$m","$m","$m","class","$48"]],["SYM-f3293ef7f8441e4a","FACT","$49","method","from_dict",["$60","$71"],["EVD-daa05f47b32b9483"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,["classmethod"],["$62","$66","$67","$70","$74"],"$m","$m","class","$60","from_dict",false,"$59",[{"annotation":null,"name":"cls"},{"annotation":"OrderPayload","name":"payload"}],"$70","$71","cls","$m","Order","fc94866367e8a19a",35,"method","$48"]],["SYM-f4f91ac449914582","FACT","$49","class","Line",["$60","$62"],["EVD-1bc0e01868608acb"],[],[],[],["$m","$m",[],[],false,"dataclass",["from_dict","to_dict","total"],"$m",true,["dataclass"],"$m",[{"annotation":"str","name":"description"},{"annotation":"int","name":"quantity"},{"annotation":"Money","name":"unit_price"}],true,"$m","$60","Line","$m","$59","$m",null,"$62","$m","$m","$m","$m","$m","class","$48"]],["SYM-f66eff607f8f1109","FACT","$49","method","__init__",["$95","shop.store.repository.OrderRepository.__init__"],["EVD-3b7170d21682aff8"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],["pathlib.Path"],"$m","$m","instance","$95","__init__",false,"$78",[{"annotation":null,"name":"self"},{"annotation":"Path","name":"root"}],"$96","shop.store.repository.OrderRepository.__init__","self","$m","None","2c6355b85672647c",7,"method","private"]],["SYM-f7d39b41d9b7b9a7","FACT","$49","function","discard_document",["$80","$82"],["EVD-a2a4d5e6bd3ab2a3"],[],[],[],["$m",false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$80","discard_document",false,"$78",[{"annotation":"Path","name":"path"}],null,"$82","path","$m","None","c7c4dad5b7c281bd",6,"function","$48"]],["SYM-f9d489ab3f329c71","FACT","$49","class","OrderRepository",["$95","$96"],["EVD-cf8e27a1f06f4855"],[],[],[],["$m","$m",[],[],false,"class",["__init__","load","save"],"$m",false,[],"$m",[],false,"$m","$95","OrderRepository","$m","$78","$m",null,"$96","$m","$m","$m","$m","$m","class","$48"]]],"transitive_paths":[["PATH-21fc6d9ca7c296ed","FACT","package_topology","transitive_package_dependency","shop.cli → shop.app → shop.store",["shop.app","shop.cli","$78"],[],[],["EDGE-40faba752ec25c2f","EDGE-db0372f1a8a568e1"],[],["package",["shop.cli","shop.app","$78"],"shop.cli","$78"]],["PATH-39053f9fed4a02a2","FACT","package_topology","transitive_package_dependency","shop.cli → shop.app → shop.model",["shop.app","shop.cli","$59"],[],[],["EDGE-ad55f037555582ca","EDGE-db0372f1a8a568e1"],[],["package",["shop.cli","shop.app","$59"],"shop.cli","$59"]]],"typing_signals":[],"unknowns":[["UNKNOWN-BOUNDARY-TYPE-POSITION-6f4acc9ca5130f7b","UNKNOWN","type_architecture","boundary_type_position","shop.app.orders.place_order store_dir: external_type",["shop.app","$54","$55"],["EVD-0d980b58b58a2c27"],["APP-TYPES-NOT-DICT"],["SYM-1413fc34058d59ad"],[],["$m","$m","Path","$m","$m","$m","$m","$m","$m","$m","$54","$m",0,"$m","store_dir","$m","$55","external_type","$m","$m","$m","$m","$m"]],["UNKNOWN-BOUNDARY-TYPES-d4c18ad1fb20590a","UNKNOWN","type_architecture","boundary_type_limit","APP-TYPES-NOT-DICT decided 5 of 6 declared facade type positions",["shop.app"],[],["APP-TYPES-NOT-DICT"],[],[],[0,0,"$m",5,0,1,0,0,0,0,"$m",0,"$m",0,"$m",6,"$m","$m",[{"annotation":"Path","module":"$54","occurrence":0,"position":"store_dir","qualified_name":"$55","reason":"external_type"}],1,0,"$m",0]],["UNKNOWN-CONTEXT-DATAFLOW","UNKNOWN","contexts_state","context_alias_limit","Context read/write topology excludes unproven dynamic aliases",["shop"],[],[],[],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","The scanner follows direct annotations, constructor bindings, and self-field access only","$m","$m","$m","$m","$m"]],["UNKNOWN-PYTHON-DYNAMIC-CALLS","UNKNOWN","$35","dynamic_call_limit","Python dynamic behavior prevents a complete call graph",["shop"],[],[],[],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m",7,"$m"]]],"violations":[["VIO-2f1332f55134b2c2","VIOLATION","$39","complete_requires","backend imports repository without requiring it",["$89","$95"],["$15"],["store:STORE-REQUIRES-COMPLETE"],["IMP-cbb072022435f2f9"],[],["backend","$89","repository","$95"]]]}