{"analyzer":{"code_digest":"c2e05f4ac71d3bb4c5e4ada3f5f225f0f7080762fda5695c94589ad8f474cc18","name":"archkeel-python-analyzer","version":"0.63.0"},"bindings":[],"calls":[["CALL-083cd161b4d9cc59","FACT","$33","$48","Call sorted",["builtins.sorted","$86"],["EVD-a54579840df29e64"],[],[],[],[1,false,"sorted","Python builtin","$83","$86","resolved",[],["builtins.sorted"]]],["CALL-0c84d7ab5f90b9e7","FACT","$33","$48","Call encode",["$91","$95"],["EVD-ae32a6716562f39e"],[],[],[],[1,false,"encode","$42","$92","$95","resolved",["EVD-ac6210f7ea66f63c"],["$91"]]],["CALL-182446c0a2215637","FACT","$33","$48","Call Order.from_dict",["$69","$90"],["EVD-cb26e324deea5970"],[],[],[],[1,false,"Order.from_dict","attribute of imported symbol binding","$87","$90","resolved",["EVD-daa05f47b32b9483"],["$69"]]],["CALL-1c953772015daea2","FACT","$33","unresolved_call","Call cls",["$69"],["EVD-5f753a04f576585b"],[],[],[],[0,false,"cls","name has no statically indexed binding","$58","$69","unresolved",[],[]]],["CALL-250f740c9757299f","FACT","$33","$48","Call _indent",["shop.render.text._indent","$75"],["EVD-d1a4e82612885bf8"],[],[],[],[1,false,"_indent","module-local symbol","$74","$75","resolved",["EVD-1c55304fac7d5d2d"],["shop.render.text._indent"]]],["CALL-270aeaf50681f9b5","FACT","$33","$45","Call path.with_suffix",["pathlib.Path.with_suffix","$82"],["EVD-bcd9058ba24a118a"],[],[],[],[1,false,"path.with_suffix","$32","$78","$82","partially_resolved",[],["pathlib.Path.with_suffix"]]],["CALL-28be3d0e643e48cb","FACT","$33","$48","Call Order",["$53","$68"],["EVD-c10610b7a1b98b6b"],[],[],[],[1,false,"Order","$42","$52","$53","resolved",["EVD-13b53f5e83189b76"],["$68"]]],["CALL-2a15a4f5a8d405a7","FACT","$33","$48","Call Money",["$59","$65"],["EVD-7b88e6b7b17c8a8c"],[],[],[],[1,false,"Money","module-local symbol","$58","$59","resolved",["EVD-809590eb3ddf92d6"],["$65"]]],["CALL-2a3395ee738e9ddc","FACT","$33","$48","Call '\\n'.join",["builtins.str.join","$75"],["EVD-baa5ebd6927240c7"],[],[],[],[1,false,"'\\n'.join","literal receiver of known type","$74","$75","resolved",[],["builtins.str.join"]]],["CALL-2b8f5b54e2d2e5a9","FACT","$33","$48","Call place_order",["$53","$56"],["EVD-57b4ddb217507dd5"],[],[],[],[1,false,"place_order","$42","$55","$56","resolved",["EVD-0d980b58b58a2c27"],["$53"]]],["CALL-2c6c25b9c187bda9","FACT","$33","$48","Call ValueError",["builtins.ValueError","$90"],["EVD-781c3d777da02b93"],[],[],[],[1,false,"ValueError","Python builtin","$87","$90","resolved",[],["builtins.ValueError"]]],["CALL-31ac102849a30f24","FACT","$33","$48","Call OrderRepository",["$53","shop.store.OrderRepository"],["EVD-f8a2d5ed5f18af60"],[],[],[],[1,false,"OrderRepository","$42","$52","$53","resolved",[],["shop.store.OrderRepository"]]],["CALL-3b59994b4a20e51a","FACT","$33","$48","Call json.loads",["json.loads","$90"],["EVD-b6ab36b8cbc8abd2"],[],[],[],[1,false,"json.loads","attribute of imported module binding","$87","$90","resolved",[],["json.loads"]]],["CALL-3e8e0ec25f9e9a3c","FACT","$33","$48","Call write_document",["shop.store.backend.write_document","$95"],["EVD-d3ebe0da699ef368"],[],[],[],[1,false,"write_document","$42","$92","$95","resolved",[],["shop.store.backend.write_document"]]],["CALL-4482728a13a76d91","FACT","$33","$45","Call path.read_text",["pathlib.Path.read_text","$81"],["EVD-af91ee021bacf2aa"],[],[],[],[1,false,"path.read_text","$32","$78","$81","partially_resolved",[],["pathlib.Path.read_text"]]],["CALL-44d00f3387c412c0","FACT","$33","$48","Call int",["builtins.int","$56"],["EVD-77dabdd9ac9a201e"],[],[],[],[1,false,"int","Python builtin","$55","$56","resolved",[],["builtins.int"]]],["CALL-46bd5eb5b49d27e1","FACT","$33","$48","Call Money",["$61","$65"],["EVD-b5809056b0d2d4ce"],[],[],[],[1,false,"Money","module-local symbol","$58","$61","resolved",["EVD-809590eb3ddf92d6"],["$65"]]],["CALL-4ba2fb087ae069a0","FACT","$33","$48","Call Money",["$65","$67"],["EVD-fae74776900ba6db"],[],[],[],[1,false,"Money","module-local symbol","$58","$67","resolved",["EVD-809590eb3ddf92d6"],["$65"]]],["CALL-4d5de6fb6fc67f39","FACT","$33","$48","Call vacuum",["$51","$98"],["EVD-7b94d9808f72b720"],[],[],[],[1,false,"vacuum","$42","$50","$51","resolved",["EVD-0fe909c92608a522"],["$98"]]],["CALL-4e8baa19b97e90b1","FACT","$33","$45","Call partial.write_text",["pathlib.Path.write_text","$82"],["EVD-474ae2400c81030c"],[],[],[],[1,false,"partial.write_text","receiver bound to a call result of documented type, unproven at runtime","$78","$82","partially_resolved",[],["pathlib.Path.write_text"]]],["CALL-5233b989d47a627c","FACT","$33","$45","Call root.glob",["pathlib.Path.glob","$86"],["EVD-b80791c644a0f00a"],[],[],[],[1,false,"root.glob","$32","$83","$86","partially_resolved",[],["pathlib.Path.glob"]]],["CALL-59f4ad4fd7e392a1","FACT","$33","$48","Call Line",["$53","$60"],["EVD-9daa80cbabed8ba0"],[],[],[],[1,false,"Line","$42","$52","$53","resolved",["EVD-1bc0e01868608acb"],["$60"]]],["CALL-5cc9f12ce53da1f0","FACT","$33","$48","Call read_document",["shop.store.backend.read_document","$94"],["EVD-28c2ecc02cf4daff"],[],[],[],[1,false,"read_document","$42","$92","$94","resolved",[],["shop.store.backend.read_document"]]],["CALL-5d289aab81c5452a","FACT","$33","$48","Call tuple",["builtins.tuple","$69"],["EVD-002214d1259b8690"],[],[],[],[1,false,"tuple","Python builtin","$58","$69","resolved",[],["builtins.tuple"]]],["CALL-67ca91b834a98839","FACT","$33","$48","Call discard_document",["shop.store.backend.discard_document","$98"],["EVD-bcef9351d265aa13"],[],[],[],[1,false,"discard_document","$42","$96","$98","resolved",[],["shop.store.backend.discard_document"]]],["CALL-68e1674deaeb3f9a","FACT","$33","$48","Call json.dumps",["json.dumps","$91"],["EVD-cd4cbf212d2a3a4c"],[],[],[],[1,false,"json.dumps","attribute of imported module binding","$87","$91","resolved",[],["json.dumps"]]],["CALL-6d94b3b30296660a","FACT","$33","$48","Call Path",["pathlib.Path","$56"],["EVD-ae3e0efd16661009"],[],[],[],[1,false,"Path","$42","$55","$56","resolved",[],["pathlib.Path"]]],["CALL-75b6ee4ead83d132","FACT","$33","$48","Call lines.append",["builtins.list.append","$75"],["EVD-3fd4861a53d6e4da"],[],[],[],[1,false,"lines.append","literal-bound receiver of known type","$74","$75","resolved",[],["builtins.list.append"]]],["CALL-7dbb7c9aff9125e7","FACT","$33","$45","Call line.to_dict",["$62","$70","$70"],["EVD-48e1586facec492f"],[],[],[],[2,false,"line.to_dict","$39","$58","$70","partially_resolved",["EVD-380072b2520ec91b","EVD-ea5b17eeeff85142"],["$62","$70"]]],["CALL-828a6d7f83af09d1","FACT","$33","$45","Call order.total",["$63","$71","$75"],["EVD-2d6ab9f7d4c4c7e2"],[],[],[],[2,false,"order.total","$39","$74","$75","partially_resolved",["EVD-41e509000836a272","EVD-db42ea9082a4945d"],["$63","$71"]]],["CALL-84f1a173601b686d","FACT","$33","unresolved_call","Call OrderRepository(store_dir).save",["$53"],["EVD-f8a2d5ed5f18af60"],[],[],[],[0,false,"OrderRepository(store_dir).save","expression is dynamic","$52","$53","unresolved",[],[]]],["CALL-8668702d554123fe","FACT","$33","$48","Call order_paths",["shop.store.backend.order_paths","$98"],["EVD-3ed2dcf2fe27ec48"],[],[],[],[1,false,"order_paths","$42","$96","$98","resolved",[],["shop.store.backend.order_paths"]]],["CALL-8ad11b4451bae8d5","FACT","$33","$48","Call dataclass",["$34","shop.model.entities.Discount"],["EVD-db14419f2eca8a41"],[],[],[],[1,false,"dataclass","$42","$58","shop.model.entities.Discount","resolved",[],["$34"]]],["CALL-92bc655a87ca47d4","FACT","$33","$45","Call path.unlink",["pathlib.Path.unlink","$80"],["EVD-1641769a3e1d7b02"],[],[],[],[1,false,"path.unlink","$32","$78","$80","partially_resolved",[],["pathlib.Path.unlink"]]],["CALL-9a91649a6d292045","FACT","$33","$48","Call decode",["$90","$94"],["EVD-fd78f48dca4340ce"],[],[],[],[1,false,"decode","$42","$92","$94","resolved",["EVD-538428ebc2c45adf"],["$90"]]],["CALL-9e1f51182d186d06","FACT","$33","$48","Call order_path",["shop.store.backend.order_path","$94"],["EVD-6783cc17029c5852"],[],[],[],[1,false,"order_path","$42","$92","$94","resolved",[],["shop.store.backend.order_path"]]],["CALL-9ff4d9a1d24d8931","FACT","$33","$48","Call Money",["$65","$66"],["EVD-364f7fe891f0a9b4"],[],[],[],[1,false,"Money","module-local symbol","$58","$66","resolved",["EVD-809590eb3ddf92d6"],["$65"]]],["CALL-a06e0f01bde1adb7","FACT","$33","$48","Call Money",["$65","$71"],["EVD-1b582c9947790135"],[],[],[],[1,false,"Money","module-local symbol","$58","$71","resolved",["EVD-809590eb3ddf92d6"],["$65"]]],["CALL-a49a3c573401ecdc","FACT","$33","$48","Call print",["builtins.print","$56"],["EVD-c950c2e696960710"],[],[],[],[1,false,"print","Python builtin","$55","$56","resolved",[],["builtins.print"]]],["CALL-aae1a8ccb0495442","FACT","$33","unresolved_call","Call OrderRepository(store_dir).load",["$54"],["EVD-a58c017b74a0ce6d"],[],[],[],[0,false,"OrderRepository(store_dir).load","expression is dynamic","$52","$54","unresolved",[],[]]],["CALL-b835c7a5b441e0f9","FACT","$33","$45","Call order.to_dict",["$62","$70","$91"],["EVD-89d99e7a0b3b9fd3"],[],[],[],[2,false,"order.to_dict","$39","$87","$91","partially_resolved",["EVD-380072b2520ec91b","EVD-ea5b17eeeff85142"],["$62","$70"]]],["CALL-b8f69fdd111b69c6","FACT","$33","$45","Call partial.replace",["pathlib.Path.replace","$82"],["EVD-e2d93466c2b1ee5c"],[],[],[],[1,false,"partial.replace","receiver bound to a call result of documented type, unproven at runtime","$78","$82","partially_resolved",[],["pathlib.Path.replace"]]],["CALL-c2a99e49722d37c3","FACT","$33","unresolved_call","Call candidate.stat",["$98"],["EVD-40cf110254bb2a19"],[],[],[],[0,false,"candidate.stat","dynamic attribute receiver","$96","$98","unresolved",[],[]]],["CALL-cade0dd922464ad1","FACT","$33","$48","Call order_path",["shop.store.backend.order_path","$95"],["EVD-d304c9bd851acba2"],[],[],[],[1,false,"order_path","$42","$92","$95","resolved",[],["shop.store.backend.order_path"]]],["CALL-cb31d6cdcfae43b0","FACT","$33","$48","Call lines.extend",["builtins.list.extend","$75"],["EVD-ed64ac8c02c504a8"],[],[],[],[1,false,"lines.extend","literal-bound receiver of known type","$74","$75","resolved",[],["builtins.list.extend"]]],["CALL-cc72be80a115c456","FACT","$33","$48","Call dataclass",["$34","$65"],["EVD-f85359de8c6bd244"],[],[],[],[1,false,"dataclass","$42","$58","$65","resolved",[],["$34"]]],["CALL-cdc0f88188468209","FACT","$33","unresolved_call","Call path.parent.mkdir",["$82"],["EVD-0c12626667c2b2df"],[],[],[],[0,false,"path.parent.mkdir","dynamic attribute receiver","$78","$82","unresolved",[],[]]],["CALL-cfda7b21bdd2cca0","FACT","$33","unresolved_call","Call cls",["$61"],["EVD-0e33736516e068da"],[],[],[],[0,false,"cls","name has no statically indexed binding","$58","$61","unresolved",[],[]]],["CALL-d5aec7b934e3d882","FACT","$33","$45","Call line.total",["$63","$71","$71"],["EVD-a5540a12732ce8a0"],[],[],[],[2,false,"line.total","$39","$58","$71","partially_resolved",["EVD-41e509000836a272","EVD-db42ea9082a4945d"],["$63","$71"]]],["CALL-d7a1fe0547f73197","FACT","$33","$48","Call OrderRepository",["$54","shop.store.OrderRepository"],["EVD-a58c017b74a0ce6d"],[],[],[],[1,false,"OrderRepository","$42","$52","$54","resolved",[],["shop.store.OrderRepository"]]],["CALL-d821b880d4863ce7","FACT","$33","$48","Call int",["builtins.int","$56"],["EVD-74ddeaef7cdc525a"],[],[],[],[1,false,"int","Python builtin","$55","$56","resolved",[],["builtins.int"]]],["CALL-e12d2fabcd62f499","FACT","$33","$48","Call render_order",["$56","$75"],["EVD-0cccbc597680df5c"],[],[],[],[1,false,"render_order","$42","$55","$56","resolved",["EVD-e32da9f19fec9395"],["$75"]]],["CALL-ed4fec0e09f45c36","FACT","$33","$48","Call _indent",["shop.render.text._indent","$75"],["EVD-de0535b632bbf9a5"],[],[],[],[1,false,"_indent","module-local symbol","$74","$75","resolved",["EVD-1c55304fac7d5d2d"],["shop.render.text._indent"]]],["CALL-f1d0ad2553c86959","FACT","$33","$48","Call dataclass",["$34","$97"],["EVD-d86333b864b965b3"],[],[],[],[1,false,"dataclass","$42","$96","$97","resolved",[],["$34"]]],["CALL-f2897f43663b6317","FACT","$33","$48","Call dataclass",["$34","$68"],["EVD-d1b70d9273097937"],[],[],[],[1,false,"dataclass","$42","$58","$68","resolved",[],["$34"]]],["CALL-f2c895a3c3372054","FACT","$33","$48","Call Money",["$53","$65"],["EVD-b8153f097d4f6f8b"],[],[],[],[1,false,"Money","$42","$52","$53","resolved",["EVD-809590eb3ddf92d6"],["$65"]]],["CALL-f7a3dec1d1b6c4a4","FACT","$33","$48","Call Line.from_dict",["$61","$69"],["EVD-b0f402cc74eb9e1a"],[],[],[],[1,false,"Line.from_dict","class-qualified local method","$58","$69","resolved",["EVD-f306204066b62b9f"],["$61"]]],["CALL-f9335c1966589bca","FACT","$33","unresolved_call","Call OrderRepository(store_dir).load(order_id).total",["$54"],["EVD-a58c017b74a0ce6d"],[],[],[],[0,false,"OrderRepository(store_dir).load(order_id).total","expression is dynamic","$52","$54","unresolved",[],[]]],["CALL-ff31d6af7d88ebe7","FACT","$33","$48","Call dataclass",["$34","$60"],["EVD-d73f3509fba000e5"],[],[],[],[1,false,"dataclass","$42","$58","$60","resolved",[],["$34"]]]],"constructs":[["CONSTRUCT-014bd85141423fac","FACT","constructs","broad_except","shop.cli.main.main uses broad_except",["$56"],["EVD-28c0566df62f3acb"],[],[],[],["broad_except",["Exception"],"$56"]]],"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":12,"files_parsed":12,"files_read":12,"rules":"PASS","status":"PASS"},"cycles":[],"declarations":[["API-6027d4f632f2d976","$4","api_surface","declared_public_api","shop.model.entities:Money",["shop.model.entities:Money"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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",["$57"],[],[],[],["$38"],["$m","$m","CAP-SHOP","$m","$m","$m","architect","$m","$m","$m","$m",["Persistence, use cases, presentation or command-line orchestration."],"$m","$m","$m","$57","$m","$m",["$58"],"$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",["$73"],[],[],[],["$38"],["$m","$m","CAP-SHOP","$m","$m","$m","architect","$m","$m","$m","$m",["Order use cases and persistence."],"$m","$m","$m","$73","$m","$m",["$74"],"$m","$m",[],["Text projection of an order."],"$m","$m","component","$m","$m","$m","$m","$m","$m"]],["COMP-STORE","$4","components","component_responsibility","store",["$76"],[],[],[],["$38"],["$m","$m","CAP-SHOP","$m","$m","$m","architect","$m","$m","$m","$m",["Order use cases and presentation."],"$m","shop/store/architecture-contract.json","$m","$76","$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",[],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$m",[],"$m","$m","$m",["broad_except"],"architect","$m","$m","$m",["$56"],"$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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"],[],[],[],["$38"],["$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","$37","allowed_dependency","shop.app may depend on shop.model",["shop.app","$57"],[],[],[],["$38"],["$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","$57","$m","$m"]],["DEP-APP-ALLOWS-STORE","$4","$37","allowed_dependency","shop.app may depend on shop.store",["shop.app","$76"],[],[],[],["$38"],["$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","$76","$m","$m"]],["DEP-APP-NO-CLI","$4","$37","$40","shop.app must not depend on shop.cli",["shop.app","shop.cli"],[],[],[],["$38"],["$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","$37","$40","shop.app must not depend on shop.render",["shop.app","$73"],[],[],[],["$38"],["$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","$73","$m","$m"]],["DEP-APP-NO-STORE-BACKEND","$4","$37","$40","shop.app must not depend on shop.store.backend",["shop.app","$77"],[],[],[],["$38"],["$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","$77","$m","$m"]],["DEP-APP-NO-STORE-SQLITE","$4","$37","$40","shop.app must not depend on shop.store.sqlite",["shop.app","$96"],[],[],[],["$38"],["$m",["$50"],"$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","$96","$m","$m"]],["DEP-CLI-ALLOWS-APP","$4","$37","allowed_dependency","shop.cli may depend on shop.app",["shop.app","shop.cli"],[],[],[],["$38"],["$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","$37","allowed_dependency","shop.cli may depend on shop.render",["shop.cli","$73"],[],[],[],["$38"],["$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","$73","$m","$m"]],["DEP-CLI-NO-MODEL","$4","$37","$40","shop.cli must not depend on shop.model",["shop.cli","$57"],[],[],[],["$38"],["$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","$57","$m","$m"]],["DEP-CLI-NO-STORE","$4","$37","$40","shop.cli must not depend on shop.store",["shop.cli","$76"],[],[],[],["$38"],["$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","$76","$m","$m"]],["DEP-MODEL-NO-APP","$4","$37","$40","shop.model must not depend on shop.app",["shop.app","$57"],[],[],[],["$38"],["$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","$57","$m","shop.app","$m","$m"]],["DEP-MODEL-NO-CLI","$4","$37","$40","shop.model must not depend on shop.cli",["shop.cli","$57"],[],[],[],["$38"],["$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","$57","$m","shop.cli","$m","$m"]],["DEP-MODEL-NO-RENDER","$4","$37","$40","shop.model must not depend on shop.render",["$57","$73"],[],[],[],["$38"],["$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","$57","$m","$73","$m","$m"]],["DEP-MODEL-NO-STORE","$4","$37","$40","shop.model must not depend on shop.store",["$57","$76"],[],[],[],["$38"],["$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","$57","$m","$76","$m","$m"]],["DEP-RENDER-ALLOWS-MODEL","$4","$37","allowed_dependency","shop.render may depend on shop.model",["$57","$73"],[],[],[],["$38"],["$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","$73","$m","$57","$m","$m"]],["DEP-RENDER-NO-APP","$4","$37","$40","shop.render must not depend on shop.app",["shop.app","$73"],[],[],[],["$38"],["$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","$73","$m","shop.app","$m","$m"]],["DEP-RENDER-NO-CLI","$4","$37","$40","shop.render must not depend on shop.cli",["shop.cli","$73"],[],[],[],["$38"],["$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","$73","$m","shop.cli","$m","$m"]],["DEP-RENDER-NO-STORE","$4","$37","$40","shop.render must not depend on shop.store",["$73","$76"],[],[],[],["$38"],["$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","$73","$m","$76","$m","$m"]],["DEP-STORE-ALLOWS-MODEL","$4","$37","allowed_dependency","shop.store may depend on shop.model",["$57","$76"],[],[],[],["$38"],["$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","$76","$m","$57","$m","$m"]],["DEP-STORE-NO-APP","$4","$37","$40","shop.store must not depend on shop.app",["shop.app","$76"],[],[],[],["$38"],["$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","$76","$m","shop.app","$m","$m"]],["DEP-STORE-NO-CLI","$4","$37","$40","shop.store must not depend on shop.cli",["shop.cli","$76"],[],[],[],["$38"],["$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","$76","$m","shop.cli","$m","$m"]],["DEP-STORE-NO-MONEY","$4","$37","$40","shop.store must not depend on shop.model.entities.Money",["$65","$76"],[],[],[],["$38"],["$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","$76","$m","$58","Money","$m"]],["DEP-STORE-NO-RENDER","$4","$37","$40","shop.store must not depend on shop.render",["$73","$76"],[],[],[],["$38"],["$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","$76","$m","$73","$m","$m"]],["EXTERNAL-COMPLETE","$4","$36","complete_external_scope","Every dependency shop imports is declared",["shop"],[],[],[],["$38"],["$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","$37","external_dependency_scope","json is allowed only in shop.store",["json","$76"],[],[],[],["$38"],["$m",["$76"],"$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",[],[],[],[],["$38"],["$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",["$57"],[],[],[],["$38"],["$m",[],"$m",["dataclass"],"$m","$m","architect","$m","$m","$m",["$58"],"$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","$57","$m","$m","$m","$m"]],["OWNER-SHOP-MODEL","$4","spot_ownership","spot_owner","Order value types",["$57"],[],[],[],["$38"],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$57","$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",["$52","$55","$58","$76"],[],[],[],["$38"],["$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",["$55","$52","$76","$58"],"$m","$m","$m"]],["ROOT-LAYOUT","$4","$44","root_layout","Immediate children below shop are explicitly allowed",["shop","shop.app","shop.cli","$57","$73","$76"],[],[],[],["$38"],[["shop.app","shop.cli","$57","$73","$76"],"$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",["$52"],[],[],[],["$38"],["$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","$37","sibling_isolation","2 peers must not import each other",["$92","$96"],[],[],[],["$38"],["$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",[],[],[],[],["$38"],["$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",["$96"],[],[],[],["$38"],["$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",["$77"],[],[],[],["$38"],["$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",["$87"],[],[],[],["$38"],["$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",["$92"],[],[],[],["$38"],["$m","$m","$m","$m","$m","$m","architect","$m","$m",["$76"],"$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",["$57","$76"],[],[],["IMP-433582f82cd7fab1","IMP-5f69fd090c6fbedd","IMP-854cd25ac952c923"],[],[false,3,"package",3,"$76",2,"$57",3,0]],["EDGE-14e0785acd31207d","FACT","$44","$43","shop.render.text → shop.model.entities",["$58","$74"],[],[],["IMP-5f3a2916e5c4b873"],[],[false,1,"module",1,"$74",1,"$58",5,0]],["EDGE-15998beff06a9fcf","FACT","package_topology","package_dependency","shop.cli → shop.render",["shop.cli","$73"],[],[],["IMP-6ad83ea777b33c5f"],[],[false,1,"package",1,"shop.cli",0,"$73",1,0]],["EDGE-1ad88587dca0df62","FACT","$44","$43","shop.cli.main → shop.app.orders",["$52","$55"],[],[],["IMP-c14d352eb623ce98"],[],[false,1,"module",1,"$55",0,"$52",1,0]],["EDGE-1b6c0110cf77ea30","FACT","$44","$43","shop.cli.main → shop.render.text",["$55","$74"],[],[],["IMP-6ad83ea777b33c5f"],[],[false,1,"module",1,"$55",0,"$74",1,0]],["EDGE-2c180bf81696690f","FACT","$44","$43","shop.store.sqlite → shop.store.backend",["$77","$96"],[],[],["IMP-9c9a26650d07d53f","IMP-f54cf5a2e86cdf79"],[],[false,2,"module",2,"$96",2,"$77",4,0]],["EDGE-33b8bbe5026be864","FACT","$44","$43","shop.store.repository → shop.store.backend",["$77","$92"],[],[],["IMP-6985ff97250b4a9e","IMP-6fc8896a544cf33e","IMP-73286559e2179cec"],[],[false,3,"module",3,"$92",3,"$77",4,0]],["EDGE-3710f672fd2f0c2a","FACT","$44","$43","shop.app.maintenance → shop.store.sqlite",["$50","$96"],[],[],["IMP-2dc76c96a33ea0db","IMP-35c1c35b56f8cf07"],[],[false,2,"module",2,"$50",0,"$96",2,0]],["EDGE-40faba752ec25c2f","FACT","package_topology","package_dependency","shop.app → shop.store",["shop.app","$76"],[],[],["IMP-03885a05810e2a9f","IMP-2dc76c96a33ea0db","IMP-35c1c35b56f8cf07","IMP-c19389d425ac8d7e"],[],[false,4,"package",3,"shop.app",1,"$76",2,1]],["EDGE-54d546847f078bd8","FACT","package_topology","package_dependency","shop.render → shop.model",["$57","$73"],[],[],["IMP-5f3a2916e5c4b873"],[],[false,1,"package",1,"$73",1,"$57",3,0]],["EDGE-58b9293354ac6170","FACT","$44","$43","shop.app.orders → shop.model.entities",["$52","$58"],[],[],["IMP-16ccedd1f609248a","IMP-9f25bb7363e01cf3","IMP-bb173b5fb587bdc1"],[],[false,3,"module",3,"$52",1,"$58",5,0]],["EDGE-75837215763c54f2","FACT","$44","$43","shop.app.orders → shop.store",["$52","$76"],[],[],["IMP-c19389d425ac8d7e"],[],[false,1,"module",1,"$52",1,"$76",2,0]],["EDGE-92c89d881e05d6ac","FACT","$44","$43","shop.store.repository → shop.store.codec",["$87","$92"],[],[],["IMP-05cafa2b6a9ca69f","IMP-373ca14ad39cb31e"],[],[false,2,"module",2,"$92",3,"$87",4,0]],["EDGE-98d3237939201824","FACT","$44","$43","shop.app.orders → shop.store.sqlite",["$52","$96"],[],[],["IMP-03885a05810e2a9f"],[],[false,1,"module",0,"$52",1,"$96",2,1]],["EDGE-9f96d87e78c4abc3","FACT","$44","$43","shop.store.backend → shop.store.backend.files",["$77","$78"],[],[],["IMP-41f62d4d879417db","IMP-7557dc2b068fbad5","IMP-b6b0e3c086bad72f"],[],[false,3,"module",3,"$77",4,"$78",5,0]],["EDGE-ad55f037555582ca","FACT","package_topology","package_dependency","shop.app → shop.model",["shop.app","$57"],[],[],["IMP-16ccedd1f609248a","IMP-9f25bb7363e01cf3","IMP-bb173b5fb587bdc1"],[],[false,3,"package",3,"shop.app",1,"$57",3,0]],["EDGE-afcd576017d020e3","FACT","$44","$43","shop.store.codec → shop.model.entities",["$58","$87"],[],[],["IMP-433582f82cd7fab1","IMP-5f69fd090c6fbedd"],[],[false,2,"module",2,"$87",4,"$58",5,0]],["EDGE-bd584a42d403a133","FACT","$44","$43","shop.store.backend → shop.store.backend.paths",["$77","$83"],[],[],["IMP-4b0aa8afde47d300","IMP-a84fd48911442825"],[],[false,2,"module",2,"$77",4,"$83",5,0]],["EDGE-d129074b8c0a4140","FACT","$44","$43","shop.store → shop.store.repository",["$76","$92"],[],[],["IMP-c0bf18fb78cbe14c"],[],[false,1,"module",1,"$76",2,"$92",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","$44","$43","shop.store.repository → shop.model.entities",["$58","$92"],[],[],["IMP-854cd25ac952c923"],[],[false,1,"module",1,"$92",3,"$58",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":["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":[]},"string_reference":"$<index>"},"evidence":[["EVD-002214d1259b8690","$101",96,96,16,"        lines = tuple(Line.from_dict(item) for item in payload[\"lines\"])"],["EVD-03b7b333aac461f3","$104",17,22,0,"def write_document(path: Path, document: str) -> None:"],["EVD-0438ee79361aecbd","$107",19,19,26,"    def save(self, order: Order) -> None:"],["EVD-05fd09bb70b1612d","$106",32,32,18,"    if version != DOCUMENT_VERSION:"],["EVD-09134357b4a872f1","$106",23,23,18,"def encode(order: Order) -> str:"],["EVD-0977f81fc2ac2b19","$105",13,14,0,"def order_path(root: Path, order_id: str) -> Path:"],["$5","$107",1,1,0,"# Archkeel"],["EVD-0bf559167b8b8e33","$108",9,9,0,"from pathlib import Path"],["EVD-0c12626667c2b2df","$104",19,19,4,"    path.parent.mkdir(parents=True, exist_ok=True)"],["EVD-0cccbc597680df5c","$100",20,20,14,"        print(render_order(order))"],["EVD-0d980b58b58a2c27","$99",18,28,0,"def place_order("],["EVD-0e33736516e068da","$101",73,77,15,"        return cls("],["$6","$103",1,1,0,"# Archkeel"],["EVD-0f1718615c647d6d","$99",31,31,49,"def summarize(store_dir: Path, order_id: str) -> Money:"],["EVD-0f6ca1ef6fa8044a","$106",11,11,0,"from shop.model.entities import Order, OrderPayload"],["EVD-0fe909c92608a522","$108",19,23,0,"def vacuum(connection: Connection) -> None:"],["EVD-13b53f5e83189b76","$101",81,97,0,"class Order:"],["EVD-13e6b96ba80aa9fa","$99",11,11,0,"from shop.model.entities import Line, Money, Order"],["EVD-1641769a3e1d7b02","$104",26,26,4,"    path.unlink()"],["EVD-19ff467f293c6747","$106",13,13,0,"DOCUMENT_VERSION = 1"],["EVD-1a1f857322507e84","$101",35,36,4,"    def __add__(self, other: Money) -> Money:"],["EVD-1adb244d07352ea3","$106",16,20,0,"class OrderDocument(TypedDict):"],["EVD-1b582c9947790135","$101",86,86,17,"        result = Money(0)"],["EVD-1bc0e01868608acb","$101",56,77,0,"class Line:"],["EVD-1c55304fac7d5d2d","$102",18,19,0,"def _indent(text: str) -> str:"],["EVD-236abf80e8185e88","$106",29,29,29,"def decode(document: str) -> Order:"],["EVD-28c0566df62f3acb","$100",22,23,4,"    except Exception:"],["EVD-28c2ecc02cf4daff","$107",23,23,22,"$1"],["EVD-2d6ab9f7d4c4c7e2","$102",14,14,35,"    lines.append(_indent(f\"Total: {order.total()}\"))"],["$7","shop/store/__init__.py",1,1,0,"# Archkeel"],["$8","$106",1,1,0,"# Archkeel"],["EVD-34ef3407cb9a05ed","$103",8,8,0,"from shop.store.backend.files import discard_document, read_document, write_document"],["EVD-364f7fe891f0a9b4","$101",36,36,15,"        return Money(self.cents + other.cents)"],["EVD-36d7c34b4c900849","$99",9,9,0,"from typing import TYPE_CHECKING"],["EVD-37c486563c79e998","$108",6,6,0,"$41"],["EVD-380072b2520ec91b","$101",91,92,4,"    def to_dict(self) -> OrderPayload:"],["EVD-38710e4b9bb44644","$99",6,6,0,"$41"],["EVD-38891c635c506c91","shop/app/maintenance.py",11,11,32,"def run_maintenance(connection: Connection) -> None:"],["EVD-39161d918b372be5","$101",95,95,49,"    def from_dict(cls, payload: OrderPayload) -> Order:"],["EVD-3a45cf803befe154","$101",51,52,4,"    def apply(self, amount: Money) -> Money:"],["EVD-3adffac283771a7d","$101",46,52,0,"class Discount:"],["EVD-3b29e5a0919fffbd","$101",64,64,25,"    def to_dict(self) -> LinePayload:"],["EVD-3b7170d21682aff8","$107",16,17,4,"    def __init__(self, root: Path) -> None:"],["EVD-3c3d843fb403333d","$101",38,38,40,"    def __mul__(self, quantity: int) -> Money:"],["EVD-3ed2dcf2fe27ec48","$108",21,21,21,"    for candidate in order_paths(connection.path):"],["EVD-3fd4861a53d6e4da","$102",14,14,4,"    lines.append(_indent(f\"Total: {order.total()}\"))"],["EVD-40830476b83d35c2","shop/store/__init__.py",6,6,0,"$41"],["EVD-40cf110254bb2a19","$108",22,22,11,"        if candidate.stat().st_size == 0:"],["EVD-41e509000836a272","$101",85,89,4,"    def total(self) -> Money:"],["EVD-44e79b72ed075656","$103",9,9,0,"from shop.store.backend.paths import order_path, order_paths"],["EVD-45244797ec95e427","$99",24,24,5,") -> Order:"],["EVD-474ae2400c81030c","$104",21,21,4,"    partial.write_text(document, encoding=ENCODING)"],["EVD-48e1586facec492f","$101",92,92,53,"        return {\"order_id\": self.order_id, \"lines\": [line.to_dict() for line in self.lines]}"],["EVD-4ae1cbcd504ea7e5","$101",95,95,32,"    def from_dict(cls, payload: OrderPayload) -> Order:"],["$9","$104",1,1,0,"# Archkeel"],["EVD-4e97525dc3f2aafe","$108",8,8,0,"from dataclasses import dataclass"],["EVD-538428ebc2c45adf","$106",29,34,0,"def decode(document: str) -> Order:"],["EVD-54388728e808af06","$101",26,26,16,"    lines: list[LinePayload]"],["EVD-54b158ca4efa9858","shop/app/maintenance.py",8,8,0,"from shop.store.sqlite import Connection, vacuum"],["EVD-55874fa4e1457292","$108",15,16,0,"class Connection:"],["EVD-57b4ddb217507dd5","$100",17,19,16,"        order = place_order("],["EVD-598749736e720d9d","$101",22,26,0,"class OrderPayload(TypedDict):"],["EVD-5c8241ce36e16819","$101",85,85,23,"    def total(self) -> Money:"],["EVD-5e3d87c185579640","$105",17,19,0,"def order_paths(root: Path) -> list[Path]:"],["EVD-5f753a04f576585b","$101",97,97,15,"        return cls(order_id=payload[\"order_id\"], lines=lines)"],["EVD-5ff808486c74736f","$101",41,42,4,"    def __str__(self) -> str:"],["EVD-6405258d305a1282","$107",12,12,0,"from shop.store.codec import decode, encode"],["EVD-653af1cabbbe417a","$101",35,35,39,"    def __add__(self, other: Money) -> Money:"],["EVD-6783cc17029c5852","$107",23,23,36,"$1"],["$10","shop/app/maintenance.py",1,1,0,"# Archkeel"],["EVD-6df5566c06174695","$101",35,35,29,"    def __add__(self, other: Money) -> Money:"],["EVD-6f5a6a9e4fa47055","$101",91,91,25,"    def to_dict(self) -> OrderPayload:"],["EVD-6fbd36d2c47c81f8","$101",8,8,0,"from dataclasses import dataclass"],["EVD-6fe2461604a4723c","$104",8,8,0,"from pathlib import Path"],["EVD-708c06c60b82f2a7","$106",30,30,12,"    parsed: OrderDocument = json.loads(document)"],["EVD-71716ad6c2134d34","$105",14,14,31,"    return root / f\"{order_id}{DOCUMENT_SUFFIX}\""],["EVD-72372a3ea85bb31c","$99",35,35,36,"def describe_connection(connection: Connection) -> str:"],["EVD-73c79d763526af76","$107",19,20,4,"    def save(self, order: Order) -> None:"],["EVD-74ddeaef7cdc525a","$100",18,18,67,"$0"],["EVD-77dabdd9ac9a201e","$100",18,18,52,"$0"],["EVD-781c3d777da02b93","$106",33,33,14,"        raise ValueError(f\"order document version {version} was written by another store\")"],["EVD-7b88e6b7b17c8a8c","$101",52,52,15,"        return Money(amount.cents * (100 - self.percent) // 100)"],["EVD-7b94d9808f72b720","shop/app/maintenance.py",12,12,4,"    vacuum(connection)"],["EVD-7c110b28a0df0f5f","$107",11,11,0,"from shop.store.backend import order_path, read_document, write_document"],["EVD-7f51fedbd4d4c267","$100",11,11,0,"from shop.render.text import render_order"],["EVD-809590eb3ddf92d6","$101",30,42,0,"class Money:"],["EVD-816df6c812228713","$102",11,11,24,"def render_order(order: Order) -> str:"],["EVD-81ea2509d3cf2d51","$104",10,10,0,"ENCODING = \"utf-8\""],["EVD-832db48c570c8ce0","$104",13,14,0,"def read_document(path: Path) -> str:"],["EVD-8774c54c206b3af2","$106",20,20,11,"    order: OrderPayload"],["EVD-89d99e7a0b3b9fd3","$106",25,25,69,"$3"],["EVD-8b4173ee45cd16b0","$100",10,10,0,"from shop.app.orders import place_order"],["EVD-8ee8ada66bf8fc10","$104",14,14,35,"    return path.read_text(encoding=ENCODING)"],["EVD-933bbeffbe7cc2f8","$99",8,8,0,"from pathlib import Path"],["EVD-96ecc1244386d2d9","$101",59,59,16,"    unit_price: Money"],["EVD-976a02b50cb046c6","$105",10,10,0,"DOCUMENT_SUFFIX = \".json\""],["EVD-9daa80cbabed8ba0","$99",25,25,11,"    line = Line(description=description, quantity=quantity, unit_price=Money(unit_price_cents))"],["EVD-9e74ddf8aa380382","$101",72,72,48,"    def from_dict(cls, payload: LinePayload) -> Line:"],["EVD-9f647874c3ddd340","$101",61,61,23,"    def total(self) -> Money:"],["EVD-9f8966569f535072","shop/store/__init__.py",8,8,0,"from shop.store.repository import OrderRepository"],["EVD-a2a4d5e6bd3ab2a3","$104",25,26,0,"def discard_document(path: Path) -> None:"],["$11","$108",1,1,0,"# Archkeel"],["EVD-a54579840df29e64","$105",19,19,11,"    return sorted(root.glob(f\"*{DOCUMENT_SUFFIX}\"))"],["EVD-a5540a12732ce8a0","$101",88,88,30,"            result = result + line.total()"],["EVD-a58c017b74a0ce6d","$99",32,32,11,"    return OrderRepository(store_dir).load(order_id).total()"],["EVD-a81ad4dfc4432e68","$107",6,6,0,"$41"],["EVD-a825188e58318989","$100",14,23,0,"def main(argv: list[str]) -> int:"],["EVD-a83b2490ca0443b4","$105",6,6,0,"$41"],["$12","$100",1,1,0,"# Archkeel"],["EVD-a96161054ab910f0","shop/app/maintenance.py",6,6,0,"$41"],["EVD-aa01569e504bae6c","$106",25,25,14,"$3"],["EVD-ac6210f7ea66f63c","$106",23,26,0,"def encode(order: Order) -> str:"],["EVD-ae32a6716562f39e","$107",20,20,63,"$2"],["EVD-ae3e0efd16661009","$100",18,18,12,"$0"],["EVD-af91ee021bacf2aa","$104",14,14,11,"    return path.read_text(encoding=ENCODING)"],["EVD-afb590cbb7cf5954","$107",8,8,0,"from pathlib import Path"],["EVD-b0f402cc74eb9e1a","$101",96,96,22,"        lines = tuple(Line.from_dict(item) for item in payload[\"lines\"])"],["EVD-b294cd3ee3c7c698","$105",19,19,32,"    return sorted(root.glob(f\"*{DOCUMENT_SUFFIX}\"))"],["EVD-b2e814d241b4556d","$101",51,51,38,"    def apply(self, amount: Money) -> Money:"],["EVD-b40369c1d9f82ec1","$101",83,83,17,"    lines: tuple[Line, ...]"],["EVD-b5809056b0d2d4ce","$101",76,76,23,"            unit_price=Money(payload[\"unit_price\"]),"],["EVD-b6ab36b8cbc8abd2","$106",30,30,28,"    parsed: OrderDocument = json.loads(document)"],["EVD-b80791c644a0f00a","$105",19,19,18,"    return sorted(root.glob(f\"*{DOCUMENT_SUFFIX}\"))"],["EVD-b8153f097d4f6f8b","$99",25,25,71,"    line = Line(description=description, quantity=quantity, unit_price=Money(unit_price_cents))"],["EVD-baa5ebd6927240c7","$102",15,15,11,"    return \"\\n\".join(lines)"],["EVD-bb058fe2332a7f1b","shop/app/maintenance.py",11,12,0,"def run_maintenance(connection: Connection) -> None:"],["$13","$101",1,1,0,"# Archkeel"],["EVD-bcd9058ba24a118a","$104",20,20,14,"    partial = path.with_suffix(f\"{path.suffix}.part\")"],["EVD-bcef9351d265aa13","$108",23,23,12,"            discard_document(candidate)"],["$14","$105",1,1,0,"# Archkeel"],["EVD-c10610b7a1b98b6b","$99",26,26,12,"    order = Order(order_id=order_id, lines=(line,))"],["EVD-c44d78e7201ad264","$102",6,6,0,"$41"],["EVD-c950c2e696960710","$100",20,20,8,"        print(render_order(order))"],["EVD-c991daacc9de08d7","$102",8,8,0,"from shop.model.entities import Order"],["EVD-ca13d9862b9b81f7","$100",8,8,0,"from pathlib import Path"],["EVD-cae8c0e1ec1b7c23","$99",15,15,4,"    from shop.store.sqlite import Connection"],["EVD-cb26e324deea5970","$106",34,34,11,"    return Order.from_dict(parsed[\"order\"])"],["EVD-cb9ee39184d05841","$106",8,8,0,"import json"],["EVD-cc70494be6f8b1f8","$103",6,6,0,"$41"],["EVD-cd4cbf212d2a3a4c","$106",26,26,11,"    return json.dumps(document, sort_keys=True)"],["EVD-cdb32424562c421b","$104",6,6,0,"$41"],["EVD-cf8e27a1f06f4855","$107",15,23,0,"class OrderRepository:"],["EVD-d1a4e82612885bf8","$102",14,14,17,"    lines.append(_indent(f\"Total: {order.total()}\"))"],["EVD-d1b70d9273097937","$101",80,80,1,"@dataclass(frozen=True, slots=True)"],["EVD-d304c9bd851acba2","$107",20,20,23,"$2"],["EVD-d3ebe0da699ef368","$107",20,20,8,"$2"],["EVD-d489e429536aba44","$99",12,12,0,"from shop.store import OrderRepository"],["EVD-d73f3509fba000e5","$101",55,55,1,"@dataclass(frozen=True, slots=True)"],["EVD-d80a75bcbfde3ec0","$101",51,51,28,"    def apply(self, amount: Money) -> Money:"],["EVD-d86333b864b965b3","$108",14,14,1,"@dataclass(frozen=True, slots=True)"],["EVD-d8fca82a3f584f5a","$106",6,6,0,"$41"],["EVD-da884023325e20c8","$101",72,72,32,"    def from_dict(cls, payload: LinePayload) -> Line:"],["EVD-daa05f47b32b9483","$101",95,97,4,"    def from_dict(cls, payload: OrderPayload) -> Order:"],["EVD-db14419f2eca8a41","$101",45,45,1,"@dataclass(frozen=True, slots=True)"],["EVD-db42ea9082a4945d","$101",61,62,4,"    def total(self) -> Money:"],["EVD-dc0a3a7501ee19b1","$101",6,6,0,"$41"],["EVD-de0535b632bbf9a5","$102",13,13,17,"    lines.extend(_indent(f\"{line.quantity} x {line.description}\") for line in order.lines)"],["$15","$99",1,1,0,"# Archkeel"],["EVD-e0f88b132b28fe82","$107",22,22,37,"    def load(self, order_id: str) -> Order:"],["EVD-e2d93466c2b1ee5c","$104",22,22,4,"    partial.replace(path)"],["EVD-e32da9f19fec9395","$102",11,15,0,"def render_order(order: Order) -> str:"],["EVD-e70f569a2eb95368","$108",19,19,23,"def vacuum(connection: Connection) -> None:"],["EVD-ea5b17eeeff85142","$101",64,69,4,"    def to_dict(self) -> LinePayload:"],["$16","$102",1,1,0,"# Archkeel"],["EVD-ec0fe67b9d443379","$106",25,25,42,"$3"],["EVD-ecb3fa6409a4f536","$101",9,9,0,"from typing import TypedDict"],["EVD-ed3cfc06e043e57d","$107",22,23,4,"    def load(self, order_id: str) -> Order:"],["EVD-ed64ac8c02c504a8","$102",13,13,4,"    lines.extend(_indent(f\"{line.quantity} x {line.description}\") for line in order.lines)"],["EVD-ed97a6a2fb111212","$101",38,39,4,"    def __mul__(self, quantity: int) -> Money:"],["EVD-eff28e3e21752fa0","$107",10,10,0,"from shop.model.entities import Order"],["EVD-f1c0bc85b0d48c3d","$104",21,21,42,"    partial.write_text(document, encoding=ENCODING)"],["EVD-f306204066b62b9f","$101",72,77,4,"    def from_dict(cls, payload: LinePayload) -> Line:"],["EVD-f3e29659f2dc7586","$108",11,11,0,"from shop.store.backend import discard_document, order_paths"],["EVD-f444c1f0eee27cf5","$105",8,8,0,"from pathlib import Path"],["EVD-f672877e67023ac8","$100",6,6,0,"$41"],["EVD-f85359de8c6bd244","$101",29,29,1,"@dataclass(frozen=True, slots=True)"],["EVD-f8a2d5ed5f18af60","$99",27,27,4,"    OrderRepository(store_dir).save(order)"],["EVD-fae74776900ba6db","$101",39,39,15,"        return Money(self.cents * quantity)"],["EVD-fc14974701907ab7","$99",35,37,0,"def describe_connection(connection: Connection) -> str:"],["EVD-fd291905059136db","$101",14,19,0,"class LinePayload(TypedDict):"],["EVD-fd68302f088e77a9","$99",31,32,0,"def summarize(store_dir: Path, order_id: str) -> Money:"],["EVD-fd78f48dca4340ce","$107",23,23,15,"$1"],["EVD-ff9b0bda3a211da3","$106",9,9,0,"from typing import TypedDict"]],"imports":[["IMP-03885a05810e2a9f","FACT","$36","import","Import shop.store.sqlite.Connection",["$52","$96"],["EVD-cae8c0e1ec1b7c23"],[],[],[],["Connection",false,"$97",false,["$97"],0,false,"$52","shop.app","Connection","$46",true,"$96","$76",true]],["IMP-05cafa2b6a9ca69f","FACT","$36","import","Import shop.store.codec.decode",["$87","$92"],["EVD-6405258d305a1282"],[],[],[],["decode",false,"$90",false,["$90"],0,true,"$92","$76","decode","$46",true,"$87","$76",false]],["IMP-118653f1d73aa79a","FACT","$36","import","Import pathlib.Path",["pathlib","$83"],["EVD-f444c1f0eee27cf5"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$83","$76","Path","$46",true,"pathlib","pathlib",false]],["IMP-16ccedd1f609248a","FACT","$36","import","Import shop.model.entities.Money",["$52","$58"],["EVD-13e6b96ba80aa9fa"],[],[],[],["Money",false,"$65",false,["$65"],0,true,"$52","shop.app","Money","$46",true,"$58","$57",false]],["IMP-1c796543547f675f","FACT","$36","import","$17",["__future__","$87"],["EVD-d8fca82a3f584f5a"],[],[],[],["annotations",false,"$31",false,["$31"],0,true,"$87","$76","annotations","$46",true,"__future__","__future__",false]],["IMP-272d211158330912","FACT","$36","import","$17",["__future__","$83"],["EVD-a83b2490ca0443b4"],[],[],[],["annotations",false,"$31",false,["$31"],0,true,"$83","$76","annotations","$46",true,"__future__","__future__",false]],["IMP-2dc76c96a33ea0db","FACT","$36","import","Import shop.store.sqlite.Connection",["$50","$96"],["EVD-54b158ca4efa9858"],[],[],[],["Connection",false,"$97",false,["$97"],0,true,"$50","shop.app","Connection","$46",true,"$96","$76",false]],["IMP-35c1c35b56f8cf07","FACT","$36","import","Import shop.store.sqlite.vacuum",["$50","$96"],["EVD-54b158ca4efa9858"],[],[],[],["vacuum",false,"$98",false,["$98"],0,true,"$50","shop.app","vacuum","$46",true,"$96","$76",false]],["IMP-373ca14ad39cb31e","FACT","$36","import","Import shop.store.codec.encode",["$87","$92"],["EVD-6405258d305a1282"],[],[],[],["encode",false,"$91",false,["$91"],0,true,"$92","$76","encode","$46",true,"$87","$76",false]],["IMP-391e8de5f075e214","FACT","$36","import","Import json",["json","$87"],["EVD-cb9ee39184d05841"],[],[],[],["json",false,null,false,[],0,"$m","$87","$76",null,null,true,"json","json",false]],["IMP-40dc47b4a52f3f04","FACT","$36","import","$17",["__future__","$77"],["EVD-cc70494be6f8b1f8"],[],[],[],["annotations",false,"$31",true,["$31"],0,true,"$77","$76","annotations","$46",true,"__future__","__future__",false]],["IMP-41f62d4d879417db","FACT","$36","import","Import shop.store.backend.files.discard_document",["$77","$78"],["EVD-34ef3407cb9a05ed"],[],[],[],["discard_document",true,"$80",true,["$80"],0,true,"$77","$76","discard_document","$46",true,"$78","$76",false]],["IMP-433582f82cd7fab1","FACT","$36","import","Import shop.model.entities.OrderPayload",["$58","$87"],["EVD-0f6ca1ef6fa8044a"],[],[],[],["OrderPayload",false,"$72",false,["$72"],0,true,"$87","$76","OrderPayload","$46",true,"$58","$57",false]],["IMP-43acd31d3147af83","FACT","$36","import","Import pathlib.Path",["pathlib","$92"],["EVD-afb590cbb7cf5954"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$92","$76","Path","$46",true,"pathlib","pathlib",false]],["IMP-43bbb90887945961","FACT","$36","import","Import typing.TYPE_CHECKING",["$52","typing"],["EVD-36d7c34b4c900849"],[],[],[],["TYPE_CHECKING",false,"typing.TYPE_CHECKING",false,["typing.TYPE_CHECKING"],0,true,"$52","shop.app","TYPE_CHECKING","$46",true,"typing","typing",false]],["IMP-4b0aa8afde47d300","FACT","$36","import","Import shop.store.backend.paths.order_path",["$77","$83"],["EVD-44e79b72ed075656"],[],[],[],["order_path",true,"$85",true,["$85"],0,true,"$77","$76","order_path","$46",true,"$83","$76",false]],["IMP-5f3a2916e5c4b873","FACT","$36","import","Import shop.model.entities.Order",["$58","$74"],["EVD-c991daacc9de08d7"],[],[],[],["Order",false,"$68",false,["$68"],0,true,"$74","$73","Order","$46",true,"$58","$57",false]],["IMP-5f69fd090c6fbedd","FACT","$36","import","Import shop.model.entities.Order",["$58","$87"],["EVD-0f6ca1ef6fa8044a"],[],[],[],["Order",false,"$68",false,["$68"],0,true,"$87","$76","Order","$46",true,"$58","$57",false]],["IMP-6985ff97250b4a9e","FACT","$36","import","Import shop.store.backend.write_document",["$77","$92"],["EVD-7c110b28a0df0f5f"],[],[],[],["write_document",false,"$82",false,["shop.store.backend.write_document","$82"],0,true,"$92","$76","write_document","$46",true,"$77","$76",false]],["IMP-6ad83ea777b33c5f","FACT","$36","import","Import shop.render.text.render_order",["$55","$74"],["EVD-7f51fedbd4d4c267"],[],[],[],["render_order",false,"$75",false,["$75"],0,true,"$55","shop.cli","render_order","$46",true,"$74","$73",false]],["IMP-6fc8896a544cf33e","FACT","$36","import","Import shop.store.backend.read_document",["$77","$92"],["EVD-7c110b28a0df0f5f"],[],[],[],["read_document",false,"$81",false,["shop.store.backend.read_document","$81"],0,true,"$92","$76","read_document","$46",true,"$77","$76",false]],["IMP-73286559e2179cec","FACT","$36","import","Import shop.store.backend.order_path",["$77","$92"],["EVD-7c110b28a0df0f5f"],[],[],[],["order_path",false,"$85",false,["shop.store.backend.order_path","$85"],0,true,"$92","$76","order_path","$46",true,"$77","$76",false]],["IMP-74924e8f5c7757f4","FACT","$36","import","$17",["__future__","$58"],["EVD-dc0a3a7501ee19b1"],[],[],[],["annotations",false,"$31",false,["$31"],0,true,"$58","$57","annotations","$46",true,"__future__","__future__",false]],["IMP-7557dc2b068fbad5","FACT","$36","import","Import shop.store.backend.files.write_document",["$77","$78"],["EVD-34ef3407cb9a05ed"],[],[],[],["write_document",true,"$82",true,["$82"],0,true,"$77","$76","write_document","$46",true,"$78","$76",false]],["IMP-7baa098cf9f32582","FACT","$36","import","Import pathlib.Path",["pathlib","$52"],["EVD-933bbeffbe7cc2f8"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$52","shop.app","Path","$46",true,"pathlib","pathlib",false]],["IMP-854cd25ac952c923","FACT","$36","import","Import shop.model.entities.Order",["$58","$92"],["EVD-eff28e3e21752fa0"],[],[],[],["Order",false,"$68",false,["$68"],0,true,"$92","$76","Order","$46",true,"$58","$57",false]],["IMP-87894cd70d035bc3","FACT","$36","import","Import typing.TypedDict",["$87","typing"],["EVD-ff9b0bda3a211da3"],[],[],[],["TypedDict",false,"typing.TypedDict",false,["typing.TypedDict"],0,true,"$87","$76","TypedDict","$46",true,"typing","typing",false]],["IMP-8bbf941e901f7f4a","FACT","$36","import","Import dataclasses.dataclass",["dataclasses","$96"],["EVD-4e97525dc3f2aafe"],[],[],[],["dataclass",false,"$34",false,["$34"],0,true,"$96","$76","dataclass","$46",true,"dataclasses","dataclasses",false]],["IMP-8cb1beabb96ccce3","FACT","$36","import","$17",["__future__","$50"],["EVD-a96161054ab910f0"],[],[],[],["annotations",false,"$31",false,["$31"],0,true,"$50","shop.app","annotations","$46",true,"__future__","__future__",false]],["IMP-962198a948c076ad","FACT","$36","import","Import typing.TypedDict",["$58","typing"],["EVD-ecb3fa6409a4f536"],[],[],[],["TypedDict",false,"typing.TypedDict",false,["typing.TypedDict"],0,true,"$58","$57","TypedDict","$46",true,"typing","typing",false]],["IMP-9c9a26650d07d53f","FACT","$36","import","Import shop.store.backend.discard_document",["$77","$96"],["EVD-f3e29659f2dc7586"],[],[],[],["discard_document",false,"$80",false,["shop.store.backend.discard_document","$80"],0,true,"$96","$76","discard_document","$46",true,"$77","$76",false]],["IMP-9f25bb7363e01cf3","FACT","$36","import","Import shop.model.entities.Line",["$52","$58"],["EVD-13e6b96ba80aa9fa"],[],[],[],["Line",false,"$60",false,["$60"],0,true,"$52","shop.app","Line","$46",true,"$58","$57",false]],["IMP-a43851fde0771792","FACT","$36","import","Import pathlib.Path",["pathlib","$55"],["EVD-ca13d9862b9b81f7"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$55","shop.cli","Path","$46",true,"pathlib","pathlib",false]],["IMP-a6f48b1a01a28dc6","FACT","$36","import","$17",["__future__","$76"],["EVD-40830476b83d35c2"],[],[],[],["annotations",false,"$31",true,["$31"],0,true,"$76","$76","annotations","$46",true,"__future__","__future__",false]],["IMP-a84fd48911442825","FACT","$36","import","Import shop.store.backend.paths.order_paths",["$77","$83"],["EVD-44e79b72ed075656"],[],[],[],["order_paths",true,"$86",true,["$86"],0,true,"$77","$76","order_paths","$46",true,"$83","$76",false]],["IMP-ac184bc3f4c77a42","FACT","$36","import","$17",["__future__","$96"],["EVD-37c486563c79e998"],[],[],[],["annotations",false,"$31",false,["$31"],0,true,"$96","$76","annotations","$46",true,"__future__","__future__",false]],["IMP-b3d2ef7c426c42f0","FACT","$36","import","Import dataclasses.dataclass",["dataclasses","$58"],["EVD-6fbd36d2c47c81f8"],[],[],[],["dataclass",false,"$34",false,["$34"],0,true,"$58","$57","dataclass","$46",true,"dataclasses","dataclasses",false]],["IMP-b6b0e3c086bad72f","FACT","$36","import","Import shop.store.backend.files.read_document",["$77","$78"],["EVD-34ef3407cb9a05ed"],[],[],[],["read_document",true,"$81",true,["$81"],0,true,"$77","$76","read_document","$46",true,"$78","$76",false]],["IMP-bb173b5fb587bdc1","FACT","$36","import","Import shop.model.entities.Order",["$52","$58"],["EVD-13e6b96ba80aa9fa"],[],[],[],["Order",false,"$68",false,["$68"],0,true,"$52","shop.app","Order","$46",true,"$58","$57",false]],["IMP-bd06e8b32b124cc0","FACT","$36","import","$17",["__future__","$92"],["EVD-a81ad4dfc4432e68"],[],[],[],["annotations",false,"$31",false,["$31"],0,true,"$92","$76","annotations","$46",true,"__future__","__future__",false]],["IMP-bdc3c1214b95ab15","FACT","$36","import","$17",["__future__","$74"],["EVD-c44d78e7201ad264"],[],[],[],["annotations",false,"$31",false,["$31"],0,true,"$74","$73","annotations","$46",true,"__future__","__future__",false]],["IMP-c0bf18fb78cbe14c","FACT","$36","import","Import shop.store.repository.OrderRepository",["$76","$92"],["EVD-9f8966569f535072"],[],[],[],["OrderRepository",true,"$93",true,["$93"],0,true,"$76","$76","OrderRepository","$46",true,"$92","$76",false]],["IMP-c14d352eb623ce98","FACT","$36","import","Import shop.app.orders.place_order",["$52","$55"],["EVD-8b4173ee45cd16b0"],[],[],[],["place_order",false,"$53",false,["$53"],0,true,"$55","shop.cli","place_order","$46",true,"$52","shop.app",false]],["IMP-c19389d425ac8d7e","FACT","$36","import","Import shop.store.OrderRepository",["$52","$76"],["EVD-d489e429536aba44"],[],[],[],["OrderRepository",false,"$93",false,["shop.store.OrderRepository","$93"],0,true,"$52","shop.app","OrderRepository","$46",true,"$76","$76",false]],["IMP-cad3239b0443530a","FACT","$36","import","$17",["__future__","$52"],["EVD-38710e4b9bb44644"],[],[],[],["annotations",false,"$31",false,["$31"],0,true,"$52","shop.app","annotations","$46",true,"__future__","__future__",false]],["IMP-e02d0115bcc4fb2a","FACT","$36","import","$17",["__future__","$55"],["EVD-f672877e67023ac8"],[],[],[],["annotations",false,"$31",false,["$31"],0,true,"$55","shop.cli","annotations","$46",true,"__future__","__future__",false]],["IMP-e792ec1e804cd973","FACT","$36","import","Import pathlib.Path",["pathlib","$78"],["EVD-6fe2461604a4723c"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$78","$76","Path","$46",true,"pathlib","pathlib",false]],["IMP-f2339e702a50c2ea","FACT","$36","import","Import pathlib.Path",["pathlib","$96"],["EVD-0bf559167b8b8e33"],[],[],[],["Path",false,"pathlib.Path",false,["pathlib.Path"],0,true,"$96","$76","Path","$46",true,"pathlib","pathlib",false]],["IMP-f4e5d009557d854f","FACT","$36","import","$17",["__future__","$78"],["EVD-cdb32424562c421b"],[],[],[],["annotations",false,"$31",false,["$31"],0,true,"$78","$76","annotations","$46",true,"__future__","__future__",false]],["IMP-f54cf5a2e86cdf79","FACT","$36","import","Import shop.store.backend.order_paths",["$77","$96"],["EVD-f3e29659f2dc7586"],[],[],[],["order_paths",false,"$86",false,["shop.store.backend.order_paths","$86"],0,true,"$96","$76","order_paths","$46",true,"$77","$76",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-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",40]],["METRIC-45b586bf31456c32","FACT","overview","violating_import_sites","Violating import sites",[],[],[],[],[],["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",[],[],[],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["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",[],[],[],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["coverage",12]],["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",[],[],[],[],[],["violations",0]],["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",[],[],[],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["module",12]]],"modules":[["$18","FACT","$44","module","$83",["$76","$83"],["$14"],[],[],[],[[],false,false,1,0,"$105","$76","$83",5,3]],["$19","FACT","$44","module","$78",["$76","$78"],["$9"],[],[],[],[[],false,false,1,0,"$104","$76","$78",5,4]],["$20","FACT","$44","module","$96",["$76","$96"],["$11"],[],[],[],[[],false,false,2,1,"$108","$76","$96",2,2]],["$21","FACT","$44","module","$55",["shop.cli","$55"],["$12"],[],[],[],[[],false,false,0,2,"$100","shop.cli","$55",0,1]],["$22","FACT","$44","module","$52",["shop.app","$52"],["$15"],[],[],[],[[],false,false,1,3,"$99","shop.app","$52",1,3]],["$23","FACT","$44","module","$76",["$76","$76"],["$7"],[],[],[],[["OrderRepository"],true,true,1,1,"shop/store/__init__.py","$76","$76",2,0]],["$24","FACT","$44","module","$87",["$76","$87"],["$8"],[],[],[],[[],false,false,1,1,"$106","$76","$87",4,4]],["$25","FACT","$44","module","$50",["shop.app","$50"],["$10"],[],[],[],[[],false,false,0,1,"shop/app/maintenance.py","shop.app","$50",0,1]],["$26","FACT","$44","module","$58",["$57","$58"],["$13"],[],[],[],[["Line","LinePayload","Money","Order","OrderPayload"],true,false,4,0,"$101","$57","$58",5,16]],["$27","FACT","$44","module","$92",["$76","$92"],["$5"],[],[],[],[[],false,false,1,3,"$107","$76","$92",3,4]],["$28","FACT","$44","module","$74",["$73","$74"],["$16"],[],[],[],[[],false,false,1,1,"$102","$73","$74",1,2]],["$29","FACT","$44","module","$77",["$76","$77"],["$6"],[],[],[],[["discard_document","order_path","order_paths","read_document","write_document"],true,true,2,2,"$103","$76","$77",4,0]]],"packages":[["PKG-40ff2c6a28c6b584","FACT","package_topology","package","$73",["$73"],[],[],["$28"],[],[["$57"],1,1,1,"$73",1]],["PKG-8b1cb6422b713e24","FACT","package_topology","package","shop.app",["shop.app"],[],[],["$22","$25"],[],[["$57","$76"],1,2,2,"shop.app",1]],["PKG-9b03abc666a221d0","FACT","package_topology","package","$76",["$76"],[],[],["$18","$19","$20","$23","$24","$27","$29"],[],[["$57"],1,1,7,"$76",2]],["PKG-9fabb79a6f08c53a","FACT","package_topology","package","shop.cli",["shop.cli"],[],[],["$21"],[],[["shop.app","$73"],0,2,1,"shop.cli",0]],["PKG-e385c617d48de32a","FACT","package_topology","package","$57",["$57"],[],[],["$26"],[],[[],3,0,1,"$57",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",["$58","$76"],[],["PATH-SHOP-PLACE-ORDER"],[],[],["PATH-SHOP-PLACE-ORDER","$30","$76","UNKNOWN","$58"]],["UNKNOWN-PATH-691aca3e6620bb4f","UNKNOWN","read_write_paths","path_segment_not_statically_observed","shop.app.orders → shop.store lacks direct static import evidence",["$52","$76"],[],["PATH-SHOP-PLACE-ORDER"],[],[],["PATH-SHOP-PLACE-ORDER","$30","$52","UNKNOWN","$76"]],["UNKNOWN-PATH-8135df7987d7fc62","UNKNOWN","read_write_paths","path_segment_not_statically_observed","shop.cli.main → shop.app.orders lacks direct static import evidence",["$52","$55"],[],["PATH-SHOP-PLACE-ORDER"],[],[],["PATH-SHOP-PLACE-ORDER","$30","$55","UNKNOWN","$52"]]],"python_version":"3.11.12","references":[["REF-1bfda9f551c3a61b","FACT","$33","$109","Reference OrderPayload",["$72","$89"],["EVD-8774c54c206b3af2"],[],[],[],["OrderPayload","$87","$89","resolved",["$72"],"value"]],["REF-1ca870ea02ec3df7","FACT","$33","$109","Reference LinePayload",["$62","$64"],["EVD-3b29e5a0919fffbd"],[],[],[],["LinePayload","$58","$62","resolved",["$64"],"value"]],["REF-2845a79b997f3eb3","FACT","$33","$109","Reference ENCODING",["$79","$82"],["EVD-f1c0bc85b0d48c3d"],[],[],[],["ENCODING","$78","$82","resolved",["$79"],"value"]],["REF-28f92e5024233324","FACT","$33","$109","Reference DOCUMENT_SUFFIX",["$84","$86"],["EVD-b294cd3ee3c7c698"],[],[],[],["DOCUMENT_SUFFIX","$83","$86","resolved",["$84"],"value"]],["REF-2b55a2aa682d4dcc","FACT","$33","$109","Reference Connection",["$51","$97"],["EVD-38891c635c506c91"],[],[],[],["Connection","$50","$51","resolved",["$97"],"value"]],["REF-305bb7d1824c48c7","FACT","$33","$109","Reference Line",["$60","$61"],["EVD-9e74ddf8aa380382"],[],[],[],["Line","$58","$61","resolved",["$60"],"value"]],["REF-35dd66df641a5df3","FACT","$33","$109","Reference Connection",["$97","$98"],["EVD-e70f569a2eb95368"],[],[],[],["Connection","$96","$98","resolved",["$97"],"value"]],["REF-3867f271aad4cd82","FACT","$33","$109","Reference Money",["$60","$65"],["EVD-96ecc1244386d2d9"],[],[],[],["Money","$58","$60","resolved",["$65"],"value"]],["REF-3badae467c662cc5","FACT","$33","$109","Reference Money",["$54","$65"],["EVD-0f1718615c647d6d"],[],[],[],["Money","$52","$54","resolved",["$65"],"value"]],["REF-43f7d894300ffef6","FACT","$33","$109","Reference DOCUMENT_SUFFIX",["$84","$85"],["EVD-71716ad6c2134d34"],[],[],[],["DOCUMENT_SUFFIX","$83","$85","resolved",["$84"],"value"]],["REF-4b5b66a49e898e2e","FACT","$33","$109","Reference Money",["$65","$71"],["EVD-5c8241ce36e16819"],[],[],[],["Money","$58","$71","resolved",["$65"],"value"]],["REF-5baaffd310306267","FACT","$33","$109","Reference Order",["$53","$68"],["EVD-45244797ec95e427"],[],[],[],["Order","$52","$53","resolved",["$68"],"value"]],["REF-5bbb67dda517182c","FACT","$33","$109","Reference LinePayload",["$64","$72"],["EVD-54388728e808af06"],[],[],[],["LinePayload","$58","$72","resolved",["$64"],"value"]],["REF-62c5766dcd9edd1e","FACT","$33","$109","Reference Money",["$65","$66"],["EVD-653af1cabbbe417a"],[],[],[],["Money","$58","$66","resolved",["$65"],"value"]],["REF-7233f986b60ad68a","FACT","$33","$109","Reference Money",["$65","$67"],["EVD-3c3d843fb403333d"],[],[],[],["Money","$58","$67","resolved",["$65"],"value"]],["REF-75c729a6c7515cf2","FACT","$33","$109","Reference DOCUMENT_VERSION",["$88","$91"],["EVD-ec0fe67b9d443379"],[],[],[],["DOCUMENT_VERSION","$87","$91","resolved",["$88"],"value"]],["REF-7a8eeb0c25e9c774","FACT","$33","$109","Reference OrderPayload",["$70","$72"],["EVD-6f5a6a9e4fa47055"],[],[],[],["OrderPayload","$58","$70","resolved",["$72"],"value"]],["REF-8c52efeaec2f8091","FACT","$33","$109","Reference Order",["$68","$95"],["EVD-0438ee79361aecbd"],[],[],[],["Order","$92","$95","resolved",["$68"],"value"]],["REF-8f8c9e0a521ac5f1","FACT","$33","$109","Reference Money",["$65","$66"],["EVD-6df5566c06174695"],[],[],[],["Money","$58","$66","resolved",["$65"],"value"]],["REF-92ff1366448818f0","FACT","$33","$109","Reference LinePayload",["$61","$64"],["EVD-da884023325e20c8"],[],[],[],["LinePayload","$58","$61","resolved",["$64"],"value"]],["REF-a7382d364b9d7733","FACT","$33","$109","Reference OrderDocument",["$89","$91"],["EVD-aa01569e504bae6c"],[],[],[],["OrderDocument","$87","$91","resolved",["$89"],"value"]],["REF-b2dfecfd4123a062","FACT","$33","$109","Reference OrderDocument",["$89","$90"],["EVD-708c06c60b82f2a7"],[],[],[],["OrderDocument","$87","$90","resolved",["$89"],"value"]],["REF-b2ef9c4b6f2d63f4","FACT","$33","$109","Reference Money",["$59","$65"],["EVD-d80a75bcbfde3ec0"],[],[],[],["Money","$58","$59","resolved",["$65"],"value"]],["REF-b4fa9a4d65c47f5a","FACT","$33","$109","Reference Order",["$68","$90"],["EVD-236abf80e8185e88"],[],[],[],["Order","$87","$90","resolved",["$68"],"value"]],["REF-ba23f70777e35599","FACT","$33","$109","Reference Line",["$60","$68"],["EVD-b40369c1d9f82ec1"],[],[],[],["Line","$58","$68","resolved",["$60"],"value"]],["REF-d1a538704e91b6fa","FACT","$33","$109","Reference Order",["$68","$91"],["EVD-09134357b4a872f1"],[],[],[],["Order","$87","$91","resolved",["$68"],"value"]],["REF-e6a966895dd8c31d","FACT","$33","$109","Reference Order",["$68","$94"],["EVD-e0f88b132b28fe82"],[],[],[],["Order","$92","$94","resolved",["$68"],"value"]],["REF-e8c1acd4b8cb7a01","FACT","$33","$109","Reference Connection",["shop.app.orders.describe_connection","$97"],["EVD-72372a3ea85bb31c"],[],[],[],["Connection","$52","shop.app.orders.describe_connection","resolved",["$97"],"value"]],["REF-eaef3313391645d6","FACT","$33","$109","Reference ENCODING",["$79","$81"],["EVD-8ee8ada66bf8fc10"],[],[],[],["ENCODING","$78","$81","resolved",["$79"],"value"]],["REF-eb0c0e912d4392a2","FACT","$33","$109","Reference Money",["$59","$65"],["EVD-b2e814d241b4556d"],[],[],[],["Money","$58","$59","resolved",["$65"],"value"]],["REF-eb421da07cdf2ed2","FACT","$33","$109","Reference DOCUMENT_VERSION",["$88","$90"],["EVD-05fd09bb70b1612d"],[],[],[],["DOCUMENT_VERSION","$87","$90","resolved",["$88"],"value"]],["REF-f0acc3c1106a6867","FACT","$33","$109","Reference OrderPayload",["$69","$72"],["EVD-4ae1cbcd504ea7e5"],[],[],[],["OrderPayload","$58","$69","resolved",["$72"],"value"]],["REF-f7a398c7bdecd0f2","FACT","$33","$109","Reference Order",["$68","$69"],["EVD-39161d918b372be5"],[],[],[],["Order","$58","$69","resolved",["$68"],"value"]],["REF-fc614f63b89e9ca0","FACT","$33","$109","Reference Money",["$63","$65"],["EVD-9f647874c3ddd340"],[],[],[],["Money","$58","$63","resolved",["$65"],"value"]],["REF-fe7bdc8b7df06542","FACT","$33","$109","Reference Order",["$68","$75"],["EVD-816df6c812228713"],[],[],[],["Order","$74","$75","resolved",["$68"],"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",["$77","$77","$77","$77","$77","$87","$87","$92","$92","$92","$92","$92","$96","$96"],["EVD-6405258d305a1282","EVD-6405258d305a1282","EVD-7c110b28a0df0f5f","EVD-7c110b28a0df0f5f","EVD-7c110b28a0df0f5f","EVD-f3e29659f2dc7586","EVD-f3e29659f2dc7586"],["store:STORE-REQUIRES-COMPLETE"],["IMP-05cafa2b6a9ca69f","IMP-373ca14ad39cb31e","IMP-6985ff97250b4a9e","IMP-6fc8896a544cf33e","IMP-73286559e2179cec","IMP-9c9a26650d07d53f","IMP-f54cf5a2e86cdf79"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","store","$m","$m","$m"]],["RULE-EVALUATION-02e2a16085f8541c","FACT","rules","$49","COMPONENT-NO-CYCLES evaluator completed",["app","cli","model","render","store"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["COMPONENT-NO-CYCLES"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$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","$49","DEP-MODEL-NO-STORE evaluator completed",["$58"],["$13"],["DEP-MODEL-NO-STORE"],["$26"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-10e44d5c07cfd6de","FACT","rules","$49","MODEL-TYPES-IN-ENTITIES evaluator completed",["$58"],["$13"],["MODEL-TYPES-IN-ENTITIES"],["$26"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-191e7229f705ca78","FACT","rules","$49","DEP-APP-NO-STORE-SQLITE evaluator completed",["$50","$52"],["$10","$15"],["DEP-APP-NO-STORE-SQLITE"],["$22","$25"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-20d98c1bb9193bb7","FACT","rules","$49","DEP-MODEL-NO-CLI evaluator completed",["$58"],["$13"],["DEP-MODEL-NO-CLI"],["$26"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-2e25f0f8b85ae114","FACT","rules","$49","DEP-APP-NO-STORE-BACKEND evaluator completed",["$50","$52"],["$10","$15"],["DEP-APP-NO-STORE-BACKEND"],["$22","$25"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-3362ebc9245a26ae","FACT","rules","$49","DEP-STORE-NO-MONEY evaluator completed",["$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$11","$14"],["DEP-STORE-NO-MONEY"],["$18","$19","$20","$23","$24","$27","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-3b4644f18ce3e187","FACT","rules","$49","CONSTRUCT-NO-STRING-LITERAL-COMPARE evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["CONSTRUCT-NO-STRING-LITERAL-COMPARE"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-3dfad042414ee8be","FACT","rules","$49","DEP-RENDER-NO-STORE evaluator completed",["$74"],["$16"],["DEP-RENDER-NO-STORE"],["$28"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-451901b74e17e608","FACT","rules","$49","ROOT-LAYOUT evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["ROOT-LAYOUT"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-452c8cba5c90a239","FACT","rules","$49","DEP-CLI-NO-STORE evaluator completed",["$55"],["$12"],["DEP-CLI-NO-STORE"],["$21"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-51420f2ea2e96d22","FACT","rules","$49","CONSTRUCT-NO-BROAD-EXCEPT evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["CONSTRUCT-NO-BROAD-EXCEPT"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-6cf4b24b43586968","FACT","rules","$49","STORE-PEERS-ISOLATED evaluator completed",["$92","$96"],["$5","$11"],["STORE-PEERS-ISOLATED"],["$20","$27"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-759e577f2e2fbbc9","FACT","rules","$49","EXTERNAL-COMPLETE evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["EXTERNAL-COMPLETE"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-77bb2dbd9d0df98d","FACT","rules","$49","store:STORE-REQUIRES-COMPLETE evaluator completed",["$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$11","$14"],["store:STORE-REQUIRES-COMPLETE"],["$18","$19","$20","$23","$24","$27","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","store","$m","$m"]],["RULE-EVALUATION-7a8c1556dc93730b","FACT","rules","$49","INTERFACE-BOUNDARY evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["INTERFACE-BOUNDARY"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-811868a63b7b52cc","FACT","rules","$49","DEP-APP-NO-CLI evaluator completed",["$50","$52"],["$10","$15"],["DEP-APP-NO-CLI"],["$22","$25"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-83d219176c4f04dc","FACT","rules","$49","APP-TYPES-NOT-DICT evaluator completed",["$52","$53"],["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","$49","CONSTRUCT-NO-ANY evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["CONSTRUCT-NO-ANY"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-86b01ec12fe9adb0","FACT","rules","$49","CONSTRUCT-NO-DYNAMIC evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["CONSTRUCT-NO-DYNAMIC"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-8733a92e0a9642e1","FACT","rules","$49","DEP-STORE-NO-CLI evaluator completed",["$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$11","$14"],["DEP-STORE-NO-CLI"],["$18","$19","$20","$23","$24","$27","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-8ccb5a7b1f07d9ef","FACT","rules","$49","DEP-CLI-NO-MODEL evaluator completed",["$55"],["$12"],["DEP-CLI-NO-MODEL"],["$21"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-8d65305b0ed80807","FACT","rules","$49","ASSIGNMENT-COMPLETE evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["ASSIGNMENT-COMPLETE"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-8f3b8b868f3f340d","FACT","rules","$49","DEP-MODEL-NO-APP evaluator completed",["$58"],["$13"],["DEP-MODEL-NO-APP"],["$26"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-97ca2131d6ca67d2","FACT","rules","$49","DEP-RENDER-NO-APP evaluator completed",["$74"],["$16"],["DEP-RENDER-NO-APP"],["$28"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-a06f509d5f711440","FACT","rules","$49","EXTERNAL-JSON-STORE evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["EXTERNAL-JSON-STORE"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-a82a67ae50619ffb","FACT","rules","$49","DEP-APP-NO-RENDER evaluator completed",["$50","$52"],["$10","$15"],["DEP-APP-NO-RENDER"],["$22","$25"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-cd8ae7ee2ca2a903","FACT","rules","$49","DEP-STORE-NO-RENDER evaluator completed",["$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$11","$14"],["DEP-STORE-NO-RENDER"],["$18","$19","$20","$23","$24","$27","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-d97a8f8032db359e","FACT","rules","$49","CONSTRUCT-NO-PLACEHOLDER evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["CONSTRUCT-NO-PLACEHOLDER"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-e17823143425894f","FACT","rules","$49","CONSTRUCT-NO-ASSERT evaluator completed",["$50","$52","$55","$58","$74","$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$10","$11","$12","$13","$14","$15","$16"],["CONSTRUCT-NO-ASSERT"],["$18","$19","$20","$21","$22","$23","$24","$25","$26","$27","$28","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-ee8f8309fc5c5610","FACT","rules","$49","DEP-MODEL-NO-RENDER evaluator completed",["$58"],["$13"],["DEP-MODEL-NO-RENDER"],["$26"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-f281ba5718129592","FACT","rules","$49","DEP-STORE-NO-APP evaluator completed",["$76","$77","$78","$83","$87","$92","$96"],["$5","$6","$7","$8","$9","$11","$14"],["DEP-STORE-NO-APP"],["$18","$19","$20","$23","$24","$27","$29"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["RULE-EVALUATION-f5b90c596df8aa47","FACT","rules","$49","DEP-RENDER-NO-CLI evaluator completed",["$74"],["$16"],["DEP-RENDER-NO-CLI"],["$28"],[],["$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","$m","root","$m","$m"]],["SCOPE-3e3f23ce706d1486","FACT","components","$35","Observed source scope for model",["$57"],["$13"],["COMP-MODEL"],["$26"],[],["COMP-MODEL",true,"$m","$m","$m",0,["$101"],1,["$58"],1,[],[],"$m","$m",[{"kind":"package","observed_module_count":1,"scope":"$57"}],["$57"]]],["SCOPE-4824390c78bd833c","FACT","components","$35","Observed source scope for app",["shop.app"],["$10","$15"],["COMP-APP"],["EDGE-3710f672fd2f0c2a","EDGE-58b9293354ac6170","EDGE-75837215763c54f2","EDGE-98d3237939201824","$22","$25"],[],["COMP-APP",true,"$m","$m","$m",2,["shop/app/maintenance.py","$99"],2,["$50","$52"],2,["$58","$76","$96"],["$57","$76"],"$m","$m",[{"kind":"package","observed_module_count":2,"scope":"shop.app"}],["shop.app"]]],["SCOPE-57b086922ac9c0aa","FACT","components","$35","Observed source scope for render",["$73"],["$16"],["COMP-RENDER"],["EDGE-14e0785acd31207d","$28"],[],["COMP-RENDER",true,"$m","$m","$m",1,["$102"],1,["$74"],1,["$58"],["$57"],"$m","$m",[{"kind":"package","observed_module_count":1,"scope":"$73"}],["$73"]]],["SCOPE-cf339b3b760efdaa","FACT","components","$35","Observed source scope for cli",["shop.cli"],["$12"],["COMP-CLI"],["EDGE-1ad88587dca0df62","EDGE-1b6c0110cf77ea30","$21"],[],["COMP-CLI",true,"$m","$m","$m",2,["$100"],1,["$55"],1,["$52","$74"],["shop.app","$73"],"$m","$m",[{"kind":"package","observed_module_count":1,"scope":"shop.cli"}],["shop.cli"]]],["SCOPE-dec4382bbde4da11","FACT","components","$35","Observed source scope for store",["$76"],["$5","$6","$7","$8","$9","$11","$14"],["COMP-STORE"],["EDGE-afcd576017d020e3","EDGE-f647d4d8e69e0f81","$18","$19","$20","$23","$24","$27","$29"],[],["COMP-STORE",true,"$m","$m","$m",1,["shop/store/__init__.py","$103","$104","$105","$106","$107","$108"],7,["$76","$77","$78","$83","$87","$92","$96"],7,["$58"],["$57"],"$m","$m",[{"kind":"package","observed_module_count":7,"scope":"$76"}],["$76"]]]],"source":{"dirty":true,"git_head":"6c2989a12dd35cdc29b0ccafa8ec6166d43a3560","scope":["shop/**/*.py"],"source_digest":"107dff0e0ba5f55cf68dd2897d438088894433877fedce095d58c30dd3ceaac3"},"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-dff16dfb262b2579","EVD-ec03fd7255ed89b3","Import __future__.annotations","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.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","$47","static_constant","DOCUMENT_VERSION",["$87","$88"],["EVD-19ff467f293c6747"],[],[],[],["$m","$m","$m","$m","$m","$m",1,"$m","$m","$m","$m","$m","$m","$87","DOCUMENT_VERSION","$m","$m","$m",null,"$88","$m","static_constant","$m","$m","$m","$m","$46"]],["SYM-03a741a00a38e247","FACT","$47","function","vacuum",["$96","$98"],["EVD-0fe909c92608a522"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["pathlib.Path","$97"],"$m","$m","$m","$96","vacuum",false,"$76",[{"annotation":"Connection","name":"connection"}],null,"$98","connection","$m","None","1233c60337e90701",27,"function","$46"]],["SYM-094cb8a1abb8f245","FACT","$47","function","decode",["$87","$90"],["EVD-538428ebc2c45adf"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$87","decode",false,"$76",[{"annotation":"str","name":"document"}],null,"$90","document","$m","Order","ce57632699ffda91",48,"function","$46"]],["SYM-0f98fb6f9a3c1a88","FACT","$47","function","read_document",["$78","$81"],["EVD-832db48c570c8ce0"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$78","read_document",false,"$76",[{"annotation":"Path","name":"path"}],null,"$81","path","$m","str","acdee450ad07ad82",9,"function","$46"]],["SYM-1268d346aa3386e0","FACT","$47","method","to_dict",["$58","$70"],["EVD-380072b2520ec91b"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["$64","$72"],"$m","$m","instance","$58","to_dict",false,"$57",[{"annotation":null,"name":"self"}],"$68","$70","self","$m","OrderPayload","c8b222d85473c23c",21,"method","$46"]],["SYM-1413fc34058d59ad","FACT","$47","function","place_order",["$52","$53"],["EVD-0d980b58b58a2c27"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["pathlib.Path","$60","$65","$68"],"$m","$m","$m","$52","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,"$53","store_dir","$m","Order","29ee4973a7595fd0",46,"function","$46"]],["SYM-1d32533c0809c896","FACT","$47","class","Discount",["$58","shop.model.entities.Discount"],["EVD-3adffac283771a7d"],[],[],[],["$m",[],[],false,"dataclass",["apply"],"$m",false,["dataclass"],"$m",[{"annotation":"int","name":"percent"}],true,"$m","$58","Discount","$m","$57","$m",null,"shop.model.entities.Discount","$m","$m","$m","$m","$m","class","$46"]],["SYM-213a7c362a680705","FACT","$47","method","total",["$58","$63"],["EVD-db42ea9082a4945d"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["$65"],"$m","$m","instance","$58","total",false,"$57",[{"annotation":null,"name":"self"}],"$60","$63","self","$m","Money","1c390dac5aec669a",11,"method","$46"]],["SYM-25e035a8f02b4217","FACT","$47","class","LinePayload",["$58","$64"],["EVD-fd291905059136db"],[],[],[],["$m",["typing.TypedDict"],["TypedDict"],false,"class",[],"$m",true,[],"$m",[{"annotation":"str","name":"description"},{"annotation":"int","name":"quantity"},{"annotation":"int","name":"unit_price"}],false,"$m","$58","LinePayload","$m","$57","$m",null,"$64","$m","$m","$m","$m","$m","class","$46"]],["SYM-306fffdb8811c478","FACT","$47","method","total",["$58","$71"],["EVD-41e509000836a272"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["$65"],"$m","$m","instance","$58","total",false,"$57",[{"annotation":null,"name":"self"}],"$68","$71","self","$m","Money","9d3b44c27afb48d8",29,"method","$46"]],["SYM-3084c7286ff5a998","FACT","$47","function","render_order",["$74","$75"],["EVD-e32da9f19fec9395"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["$60","$65","$68"],"$m","$m","$m","$74","render_order",false,"$73",[{"annotation":"Order","name":"order"}],null,"$75","order","$m","str","db9a3e602e01c1e6",65,"function","$46"]],["SYM-31c700c61943c8dd","FACT","$47","class","Order",["$58","$68"],["EVD-13b53f5e83189b76"],[],[],[],["$m",[],[],false,"dataclass",["from_dict","to_dict","total"],"$m",true,["dataclass"],"$m",[{"annotation":"str","name":"order_id"},{"annotation":"tuple[Line, ...]","name":"lines"}],true,"$m","$58","Order","$m","$57","$m",null,"$68","$m","$m","$m","$m","$m","class","$46"]],["SYM-3ddc33e5a1bedfc4","FACT","$47","function","write_document",["$78","$82"],["EVD-03b7b333aac461f3"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$78","write_document",false,"$76",[{"annotation":"Path","name":"path"},{"annotation":"str","name":"document"}],null,"$82","path","$m","None","c30c2656741bbe05",46,"function","$46"]],["SYM-421012b9fa5f6934","FACT","$47","method","from_dict",["$58","$61"],["EVD-f306204066b62b9f"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,["classmethod"],["$60","$64","$65"],"$m","$m","class","$58","from_dict",false,"$57",[{"annotation":null,"name":"cls"},{"annotation":"LinePayload","name":"payload"}],"$60","$61","cls","$m","Line","bffa006109dfdc32",25,"method","$46"]],["SYM-44ce6b303fb819a9","FACT","$47","function","describe_connection",["$52","shop.app.orders.describe_connection"],["EVD-fc14974701907ab7"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$52","describe_connection",false,"shop.app",[{"annotation":"Connection","name":"connection"}],null,"shop.app.orders.describe_connection","connection","$m","str","d864e6477b9a53f9",8,"function","$46"]],["SYM-4698877829fcbfae","FACT","$47","method","to_dict",["$58","$62"],["EVD-ea5b17eeeff85142"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["$64"],"$m","$m","instance","$58","to_dict",false,"$57",[{"annotation":null,"name":"self"}],"$60","$62","self","$m","LinePayload","c96bc6296e78f88a",19,"method","$46"]],["SYM-521e10b69216a628","FACT","$47","method","__add__",["$58","$66"],["EVD-1a1f857322507e84"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["$65"],"$m","$m","instance","$58","__add__",false,"$57",[{"annotation":null,"name":"self"},{"annotation":"Money","name":"other"}],"$65","$66","self","$m","Money","1df72fadcc5f1f60",14,"method","private"]],["SYM-5e29728aec775442","FACT","$47","function","order_paths",["$83","$86"],["EVD-5e3d87c185579640"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$83","order_paths",false,"$76",[{"annotation":"Path","name":"root"}],null,"$86","root","$m","list[Path]","a381c6af608fa84d",14,"function","$46"]],["SYM-5e8c22c32a17a88c","FACT","$47","function","_indent",["$74","shop.render.text._indent"],["EVD-1c55304fac7d5d2d"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$74","_indent",false,"$73",[{"annotation":"str","name":"text"}],null,"shop.render.text._indent","text","$m","str","fef6164d0766e1aa",6,"function","private"]],["SYM-617dbdf906017b98","FACT","$47","function","run_maintenance",["$50","$51"],["EVD-bb058fe2332a7f1b"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$50","run_maintenance",false,"shop.app",[{"annotation":"Connection","name":"connection"}],null,"$51","connection","$m","None","126a6c743b6f955a",6,"function","$46"]],["SYM-651121df4d1e8ad5","FACT","$47","function","summarize",["$52","$54"],["EVD-fd68302f088e77a9"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$52","summarize",false,"shop.app",[{"annotation":"Path","name":"store_dir"},{"annotation":"str","name":"order_id"}],null,"$54","store_dir","$m","Money","6c0b58e6e0d3e57e",14,"function","$46"]],["SYM-6a6e23a6aabf9211","FACT","$47","class","Money",["$58","$65"],["EVD-809590eb3ddf92d6"],[],[],[],["$m",[],[],false,"dataclass",["__add__","__mul__","__str__"],"$m",true,["dataclass"],"$m",[{"annotation":"int","name":"cents"}],true,"$m","$58","Money","$m","$57","$m",null,"$65","$m","$m","$m","$m","$m","class","$46"]],["SYM-785f9f9b17ce8f3c","FACT","$47","function","main",["$55","$56"],["EVD-a825188e58318989"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$55","main",false,"shop.cli",[{"annotation":"list[str]","name":"argv"}],null,"$56","argv","$m","int","d21ed6e2232d4fae",57,"function","$46"]],["SYM-7be0fbfe04d8ef32","FACT","$47","method","load",["$92","$94"],["EVD-ed3cfc06e043e57d"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["$60","$65","$68"],"$m","$m","instance","$92","load",false,"$76",[{"annotation":null,"name":"self"},{"annotation":"str","name":"order_id"}],"$93","$94","self","$m","Order","034b056e2c8feff4",16,"method","$46"]],["SYM-891b0ba59ee7a735","FACT","$47","method","__str__",["$58","shop.model.entities.Money.__str__"],["EVD-5ff808486c74736f"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","instance","$58","__str__",false,"$57",[{"annotation":null,"name":"self"}],"$65","shop.model.entities.Money.__str__","self","$m","str","55f65d10d221adf9",12,"method","private"]],["SYM-912783379834f463","FACT","$47","function","order_path",["$83","$85"],["EVD-0977f81fc2ac2b19"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$83","order_path",false,"$76",[{"annotation":"Path","name":"root"},{"annotation":"str","name":"order_id"}],null,"$85","root","$m","Path","c4d271c707395ce7",12,"function","$46"]],["SYM-98565702bb3be343","FACT","$47","method","save",["$92","$95"],["EVD-73c79d763526af76"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["$60","$65","$68"],"$m","$m","instance","$92","save",false,"$76",[{"annotation":null,"name":"self"},{"annotation":"Order","name":"order"}],"$93","$95","self","$m","None","622311be837367e6",20,"method","$46"]],["SYM-9961cb1a552ff2e5","FACT","$47","static_constant","ENCODING",["$78","$79"],["EVD-81ea2509d3cf2d51"],[],[],[],["$m","$m","$m","$m","$m","$m","utf-8","$m","$m","$m","$m","$m","$m","$78","ENCODING","$m","$m","$m",null,"$79","$m","static_constant","$m","$m","$m","$m","$46"]],["SYM-a3e7c6567ab50c7e","FACT","$47","class","OrderPayload",["$58","$72"],["EVD-598749736e720d9d"],[],[],[],["$m",["typing.TypedDict"],["TypedDict"],false,"class",[],"$m",true,[],"$m",[{"annotation":"str","name":"order_id"},{"annotation":"list[LinePayload]","name":"lines"}],false,"$m","$58","OrderPayload","$m","$57","$m",null,"$72","$m","$m","$m","$m","$m","class","$46"]],["SYM-b183fc3dea9441aa","FACT","$47","method","apply",["$58","$59"],["EVD-3a45cf803befe154"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","instance","$58","apply",false,"$57",[{"annotation":null,"name":"self"},{"annotation":"Money","name":"amount"}],"shop.model.entities.Discount","$59","self","$m","Money","a7b125c011b349da",20,"method","$46"]],["SYM-bdbad6c793f01a7e","FACT","$47","static_constant","DOCUMENT_SUFFIX",["$83","$84"],["EVD-976a02b50cb046c6"],[],[],[],["$m","$m","$m","$m","$m","$m",".json","$m","$m","$m","$m","$m","$m","$83","DOCUMENT_SUFFIX","$m","$m","$m",null,"$84","$m","static_constant","$m","$m","$m","$m","$46"]],["SYM-c24e1dc0171bbef6","FACT","$47","method","__mul__",["$58","$67"],["EVD-ed97a6a2fb111212"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["$65"],"$m","$m","instance","$58","__mul__",false,"$57",[{"annotation":null,"name":"self"},{"annotation":"int","name":"quantity"}],"$65","$67","self","$m","Money","0ba3a10f50ddaed1",12,"method","private"]],["SYM-c6dc50ed43219b97","FACT","$47","function","encode",["$87","$91"],["EVD-ac6210f7ea66f63c"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$87","encode",false,"$76",[{"annotation":"Order","name":"order"}],null,"$91","order","$m","str","b27149e11f1ca9c1",25,"function","$46"]],["SYM-d63ca702f952e689","FACT","$47","class","Connection",["$96","$97"],["EVD-55874fa4e1457292"],[],[],[],["$m",[],[],false,"dataclass",[],"$m",false,["dataclass"],"$m",[{"annotation":"Path","name":"path"}],true,"$m","$96","Connection","$m","$76","$m",null,"$97","$m","$m","$m","$m","$m","class","$46"]],["SYM-ebdd1de485e05bb4","FACT","$47","class","OrderDocument",["$87","$89"],["EVD-1adb244d07352ea3"],[],[],[],["$m",["typing.TypedDict"],["TypedDict"],false,"class",[],"$m",false,[],"$m",[{"annotation":"int","name":"version"},{"annotation":"OrderPayload","name":"order"}],false,"$m","$87","OrderDocument","$m","$76","$m",null,"$89","$m","$m","$m","$m","$m","class","$46"]],["SYM-f3293ef7f8441e4a","FACT","$47","method","from_dict",["$58","$69"],["EVD-daa05f47b32b9483"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,["classmethod"],["$60","$64","$65","$68","$72"],"$m","$m","class","$58","from_dict",false,"$57",[{"annotation":null,"name":"cls"},{"annotation":"OrderPayload","name":"payload"}],"$68","$69","cls","$m","Order","fc94866367e8a19a",35,"method","$46"]],["SYM-f4f91ac449914582","FACT","$47","class","Line",["$58","$60"],["EVD-1bc0e01868608acb"],[],[],[],["$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","$58","Line","$m","$57","$m",null,"$60","$m","$m","$m","$m","$m","class","$46"]],["SYM-f66eff607f8f1109","FACT","$47","method","__init__",["$92","shop.store.repository.OrderRepository.__init__"],["EVD-3b7170d21682aff8"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],["pathlib.Path"],"$m","$m","instance","$92","__init__",false,"$76",[{"annotation":null,"name":"self"},{"annotation":"Path","name":"root"}],"$93","shop.store.repository.OrderRepository.__init__","self","$m","None","2c6355b85672647c",7,"method","private"]],["SYM-f7d39b41d9b7b9a7","FACT","$47","function","discard_document",["$78","$80"],["EVD-a2a4d5e6bd3ab2a3"],[],[],[],[false,"$m","$m","$m","$m","$m","$m",false,[],"$m","$m","$m","$m","$78","discard_document",false,"$76",[{"annotation":"Path","name":"path"}],null,"$80","path","$m","None","c7c4dad5b7c281bd",6,"function","$46"]],["SYM-f9d489ab3f329c71","FACT","$47","class","OrderRepository",["$92","$93"],["EVD-cf8e27a1f06f4855"],[],[],[],["$m",[],[],false,"class",["__init__","load","save"],"$m",false,[],"$m",[],false,"$m","$92","OrderRepository","$m","$76","$m",null,"$93","$m","$m","$m","$m","$m","class","$46"]]],"transitive_paths":[["PATH-21fc6d9ca7c296ed","FACT","package_topology","transitive_package_dependency","shop.cli → shop.app → shop.store",["shop.app","shop.cli","$76"],[],[],["EDGE-40faba752ec25c2f","EDGE-db0372f1a8a568e1"],[],["package",["shop.cli","shop.app","$76"],"shop.cli","$76"]],["PATH-39053f9fed4a02a2","FACT","package_topology","transitive_package_dependency","shop.cli → shop.app → shop.model",["shop.app","shop.cli","$57"],[],[],["EDGE-ad55f037555582ca","EDGE-db0372f1a8a568e1"],[],["package",["shop.cli","shop.app","$57"],"shop.cli","$57"]]],"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","$52","$53"],["EVD-0d980b58b58a2c27"],["APP-TYPES-NOT-DICT"],["SYM-1413fc34058d59ad"],[],["$m","$m","Path","$m","$m","$m","$m","$m","$m","$m","$52","$m",0,"$m","store_dir","$m","$53","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":"$52","occurrence":0,"position":"store_dir","qualified_name":"$53","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","$33","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":[]}