qseal/__init__.py,sha256=4t_crzhrLum--oyowUMxtjBTzUtWp7oRTF22ewEvJG4,49
qseal/cache.py,sha256=BjbvgVIo4FBC6XuA8KMMBpQKaFE5Ji_y9ilwpx4cozY,1546
qseal/cli.py,sha256=X7IkBYFce979ehdWir39g0rYsH1_u7oBr-jEriMa9sw,118003
qseal/dialects.py,sha256=LArW_8J43pS8bgeVL-zHHgX0edNoS_equGu_W15BN1c,183
qseal/evaluation.py,sha256=bM2xfs1xrYLqv725Ide8u6CtjJSbnt_TPbljrFUTF4Q,5832
qseal/benchmark/__init__.py,sha256=S2-XmsqBfU4rIrZ8V_4UePJWiKDuv9uQSeSKj7dQ8Hk,1003
qseal/benchmark/duckdb.py,sha256=v_2Xo4NK9yCydvWK0SQ9_FvTW1GWAON4N1w8yQiLqnw,13981
qseal/benchmark/model.py,sha256=j0RdB_k-ZAiBZexJeGx_9OKkfsuubI605SeAwQ6k4k4,2531
qseal/benchmark/snowflake.py,sha256=4c7y3QHEYH1nG4A02kaG-wRITEYxy9KlUPLjeEnF3Rs,16081
qseal/benchmark/snowflake_suite.py,sha256=t02xGncSIO_hjUlx4au4U2f3N2YeQTCLhRsUCyOKWvg,30185
qseal/candidates/__init__.py,sha256=W8myGORBC8tCkgoT45Kw1cU6hIdi_8TWqMm_NU26M0Y,32
qseal/candidates/benchmarking.py,sha256=pdNiIDivU31lH-ddZL7DUMlEq_4dZPumb3NxtPAOKcU,9316
qseal/candidates/bundle.py,sha256=dIBJt0Me1tZX_VDmb1_MAY1taXpeRt9Nk_TpiyGXwo0,925
qseal/candidates/evidence.py,sha256=GuXtZtNYjUQhmwP8PU64NRe6ku_f0uPfEQLAP94Fjr4,6723
qseal/candidates/explain.py,sha256=c1nqB_xEt4NlxjqEoRJbMWQwU89HjNvEBg6QCWgk3ug,8866
qseal/candidates/generation.py,sha256=pxk_jUHH3f0PtzbJP36B82lvxvck9qt6TO0OTrdsqgM,15375
qseal/candidates/verification.py,sha256=55oIBS0TEVeA0W9Pp6HXRWt6Hc6JHkYTvsxJg1PlmSk,9843
qseal/constraints/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
qseal/constraints/dbt_loader.py,sha256=PPHCdOp5_CwU6a_xqlfgtg8M07uoXoIe6mXtqTHHwuw,7354
qseal/constraints/loader.py,sha256=JzIJJPl2_AtJt61RhUJ7VI_BWws2NHkynLqUA9E2IoQ,1142
qseal/constraints/model.py,sha256=Y7vu4mZwgxJbdFfGB2qVqMuBPA6TRcxhEdeutRmPYq0,3083
qseal/constraints/yaml_loader.py,sha256=k8yJZW9NXuyFMyj5StAKLjbeQHlMJQmTIuz6dCXWPJw,1233
qseal/corpora/__init__.py,sha256=W5aQe0FKcZUCx_NVJKHiBOuLsgGqkwx2fm6I7GOw4E0,280
qseal/corpora/duckdb-v1/corpus.yml,sha256=vT0Eq55lil1_F6MA2TaN-i8qvSDE78aUAKgbnD-3qfk,13766
qseal/corpora/duckdb-v1/schema.yml,sha256=awNOdNqww3_f3NVWFqygeyh932oOwv3pi9kQkMpXBn0,532
qseal/corpora/duckdb-v1/queries/choice-distinct-not-null-active-users.sql,sha256=4AjnpGWBPyzNDtL8mOvgVStsNCnwGRwTfvWlSVscdZc,84
qseal/corpora/duckdb-v1/queries/choice-distinct-not-null-events-user-range.sql,sha256=V1mv_02uJhkkXeGaslgmjlzr97JX7cTuygU_67C7HUU,83
qseal/corpora/duckdb-v1/queries/choice-distinct-not-null-high-value-orders.sql,sha256=u3kWJrNTYwPpkk9576xuwoNtCLCAFwHE1WW94iUudkk,89
qseal/corpora/duckdb-v1/queries/choice-double-not-null-active-users.sql,sha256=1BjEPDWv-CI5s94QQKnhdYuJoBhQcoa8unSpuBE5lLg,103
qseal/corpora/duckdb-v1/queries/choice-double-not-null-events-user-range.sql,sha256=dSdQgwcpp2c4axX6Zrq57hywYlsGdwkWeqW4CvTYJJ4,107
qseal/corpora/duckdb-v1/queries/choice-double-not-null-high-value-orders.sql,sha256=KYuKDszfRCWrPH2k32Lce-SDHtM5KlRmf4H2Xerh-sw,127
qseal/corpora/duckdb-v1/queries/choice-double-not-null-inverse-active-users.sql,sha256=CY4_TEBNXmSfJblIaezm80Vs-OxC08cF9KYnUaA5dpI,109
qseal/corpora/duckdb-v1/queries/choice-double-not-null-inverse-events-user-range.sql,sha256=xVXlXI5H1GzyeRKfkmAprTeeI37QBMVZbCP_PW0Qu8o,110
qseal/corpora/duckdb-v1/queries/choice-double-not-null-inverse-high-value-orders.sql,sha256=0c8n9Rv7roN1jtq98NjI30XU2u6RmQtGiTUjlogCZOg,127
qseal/corpora/duckdb-v1/queries/choice-not-null-distinct-active-users.sql,sha256=QHaAd97JshtxL4yob1f6fPJXa76ip7EA6BkAc_uKgKQ,83
qseal/corpora/duckdb-v1/queries/choice-not-null-distinct-events-user-range.sql,sha256=rs-qXjrLBPcH6NvhqpRgf9gAj3xRsvqEBFSMhipdkNk,82
qseal/corpora/duckdb-v1/queries/choice-not-null-distinct-high-value-orders.sql,sha256=zyvxjpKlBWNRQNMDagj-lZKivGjlzsDh7v-aDb3deI0,93
qseal/corpora/duckdb-v1/queries/distinct-and-not-null-events.sql,sha256=rCqsjkHtYv1pe4ipOeU_lCSKqBgd-lY9AMWHwacrx9c,65
qseal/corpora/duckdb-v1/queries/distinct-and-not-null-orders.sql,sha256=9dMbHlYk8XuwIC6YhezI3TcXVYcDBEWgmC_5D_yLYa8,65
qseal/corpora/duckdb-v1/queries/distinct-and-not-null.sql,sha256=e8EOKX71FszFzLMDtCpc2HEpxFnRzaDwIfckSYeFoeA,62
qseal/corpora/duckdb-v1/queries/double-not-null-events.sql,sha256=pQ_wBSfzEwG75jYK00N8cwLyakkDPFMXjOZQ2Ikzqio,89
qseal/corpora/duckdb-v1/queries/double-not-null-orders.sql,sha256=crYv8Wmsibgp-NjzMqYXlEDT0hJj_QDXo5rzEM8FBbs,103
qseal/corpora/duckdb-v1/queries/double-not-null-users.sql,sha256=FthCpyWyf_yjNXiGei2Cnlvw1EuTByTVlRiyPPhuXD4,84
qseal/corpora/duckdb-v1/queries/join-distinct-events-to-exists.sql,sha256=eROYc9GBZgGzlu4ve9-xtZxUrcpA7Uzb7xhigAsVRPI,91
qseal/corpora/duckdb-v1/queries/join-distinct-to-exists.sql,sha256=HPL3m4NigrIur-3_2btjwVUkDhQ2rPmt7w7hsztJ_R0,91
qseal/corpora/duckdb-v1/queries/not-null-pushdown-events.sql,sha256=RzI_ukhjaPBNg1A6HnDRVGTugGm69e1watcSchVsw8I,141
qseal/corpora/duckdb-v1/queries/not-null-pushdown-orders.sql,sha256=JlEnuDUp5-aX1-ddg76s1kKPMGaU9WRoBBtsy9sS7IU,157
qseal/corpora/duckdb-v1/queries/not-null-pushdown-users.sql,sha256=ahT3eEZEs0wdJX-o9Ew_ezyvnKywQZgmlcgE-xoJbL4,138
qseal/corpora/duckdb-v1/queries/predicate-pushdown-events-user.sql,sha256=UC-BAhZ6wE3VkuccvYuddM8RfaEGFQyeFSf6Baxz2KM,116
qseal/corpora/duckdb-v1/queries/predicate-pushdown-high-value-orders.sql,sha256=VCLd5TOUZiYoanbZJFQdpdtHJrXqx1ahuM_DLZL1ANA,132
qseal/corpora/duckdb-v1/queries/predicate-pushdown-user-status.sql,sha256=D_K_FPWc_xyHKd3bA_l_GSb0Fa8bhAWdzgIDaup_1No,114
qseal/corpora/duckdb-v1/queries/redundant-distinct-events.sql,sha256=CgQKrX8eyp9eAxdsT7k3l8gHbPzx-CwkElwi9tUWOEw,38
qseal/corpora/duckdb-v1/queries/redundant-distinct-orders.sql,sha256=n4HPThJs37Xtf_QHKoxONYangikJcqRfJ0to5N2eGQk,38
qseal/corpora/duckdb-v1/queries/redundant-distinct-users.sql,sha256=HWSVt8529Sn3thprpqn8YM8awc2RCfW_kQudydPGn5M,36
qseal/corpora/duckdb-v1/queries/redundant-not-null-event-id.sql,sha256=f-Dl9vNb7t0S7Z2yHgZCWuDMLALZ9iP-TSNWQ3bB7jg,56
qseal/corpora/duckdb-v1/queries/redundant-not-null-order-id.sql,sha256=uK57VzgAWRlaWTL-BRP5xy5ZLtqBt276hdqQRg-htpU,70
qseal/corpora/duckdb-v1/queries/redundant-not-null-user-id.sql,sha256=PUodyj8VlH9Rr5ejfyo0NxoUzDA2eQHO22_t5c-J-Bw,61
qseal/corpora/duckdb-v1/queries/unused-left-join-events-users.sql,sha256=QO9adHJe_t-pziXmYPVchCwNgSgtMJOiHDvHK26Wwgg,99
qseal/corpora/duckdb-v1/queries/unused-left-join-users.sql,sha256=DfJYvC3UDBcvT7TR-Avi0Tw0pikRIMFS7MCyRN3nFns,98
qseal/corpus/__init__.py,sha256=fr_UMpihpNM-nizMmh3NS74ttg6aAt9jkOcObdOrzo0,2431
qseal/corpus/aggregate.py,sha256=TUiw76hirlN8Ra2ySIL-VcgwHc0HBDfb7EBBGrUWXXE,13254
qseal/corpus/inspect.py,sha256=ZbcoA_fB3JRZmyGYbGaz5bneOgOUyfe7VJuE4_cNR9E,12180
qseal/corpus/loader.py,sha256=NK0lb-bINsTYWv32TrMOSzifbw39akEF71B8Jmlt-PE,6074
qseal/corpus/materialize.py,sha256=xNdqDLACJdnvCoU7UlieVuiEycd6A3sbKoSx5Dp2CUw,779
qseal/corpus/model.py,sha256=M0tGX2HjS2Wh_mQMVYxZHTGK32pgB5_cPSCmfJRLFDU,5608
qseal/corpus/repeat.py,sha256=DJCwDMpowTyXRIM6Ob0DGn9nCnPhsFeIugiimT-IGzA,2058
qseal/corpus/runner.py,sha256=gbWmpYcgN3fHbWb-Pe7V_0eE8vuS36Ap3bIShz6R-Eg,19022
qseal/corpus/summary.py,sha256=qCdHahlggQ_ZskNHEZW2m-TtmkJoOT2d_eSRtOJ_nHM,10017
qseal/corpus/trajectories.py,sha256=eRKpMqdpbmRRBup84v3xWCIUoQi3Vfy1m_-uichU_wQ,11709
qseal/dbt/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
qseal/dbt/git_diff.py,sha256=PMCiQsPvNNr6Wn6Sf-GMht9ZmYbVhEvFEVGD9wxlk30,1637
qseal/dbt/intake.py,sha256=BS124oPUf_pJkzffKsiO5E4vNWpGc7C4j-wNuNySZG4,9773
qseal/dbt/jinja.py,sha256=-WzssRE_6Urzgx6WUfeMjJjmlF1NQfqgXDoEKXaV_5s,3664
qseal/dbt/project.py,sha256=jo_2HNfTmYn_dEikgb5IR3gyMTPBWgyfOOnAL-EGJkA,4755
qseal/dbt/scan.py,sha256=YulmSd8oMOurOrrk_KbYI_mBlBl0RvoddsyeO9HJGPo,13119
qseal/environment/__init__.py,sha256=n1qDdWX3HYUJsnh1IukbIyr-vpHObX04ZWuVoRgyWzg,687
qseal/environment/cache.py,sha256=n6o8EIQvkI_-sDOQ6O4o1tIturydEKUXIyEthuiBVBc,9699
qseal/environment/core.py,sha256=e7cOCwl5Nc15RmZ7ThF65cCQrWKPYt-zkJDObJ5XMPw,13876
qseal/environment/model.py,sha256=5vG585lt9IKhiJOjcUIzehb1jj4oTP5sSThmRgu1Mk4,1437
qseal/environment/trajectory.py,sha256=DKOmGBuXg8hjQmwORuFucmHFNYQu421m6371amtyB7o,2489
qseal/fixtures/__init__.py,sha256=dPMjH-911qyVRhPmT7to_YHQwOa11LA1PRZZ4ptGHTw,213
qseal/fixtures/duckdb.py,sha256=MfgeYZpJ8aBWxJ9CNxMF7fxMmsnjsVKBLC3e9vPRa80,7764
qseal/fixtures/model.py,sha256=oW-zStxmsJh1nMcXujboJ1CDyRKd4RBSvFDFX4AcQlE,1309
qseal/ir/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
qseal/ir/model.py,sha256=MLcZktaLWkBP3pQ3x-UkRn9o5I00neSVfd3MbnsDKXA,8488
qseal/parser/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
qseal/parser/fragments.py,sha256=kA5EQtLYC51hD0iGyv5qzZFezfZzjBP9H3fhsQP_jco,4072
qseal/parser/sqlglot_parser.py,sha256=TAJW_eUVqxK2P4QMdm-i_PTzxd-9QoRbXFDG6XIPZGw,29114
qseal/policy/__init__.py,sha256=9is2p__2a-Gj8Jl7Jl4kGWnB2iB9kNTM5O3rVEMxmqo,2193
qseal/policy/baseline.py,sha256=-35s0jsnVHrKrFC99rsRDOMz8oqSfYOsEgqlvUzGZSY,66506
qseal/report/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
qseal/report/diff.py,sha256=kaP-HjxjPLtyEGtFmm-VsC3MpGg6w8V7mV0eGc8Xpb4,720
qseal/report/guards.py,sha256=KuqjAmAQMo2O_8d7o4u9x3lwrkyPNZ6TnWyL-8X6G7Q,3860
qseal/report/json.py,sha256=J7ck-XW3baShauxLQmP6uKtYoh_di-en9pMF_A-KlfA,7885
qseal/report/markdown.py,sha256=Rnnv8rAaVAdOD5rvDUT0RzEWxU_v1c88rfZtauxreqQ,7340
qseal/report/patch.py,sha256=gfE0AVOqbXbG9mZUnAbiTQumHGzqc2Fw0He9rNkUKJU,3917
qseal/report/text.py,sha256=jFJMWiYIGJK7kzpNJbbrGYtVeI-B8wDofqjirZsqK6A,26446
qseal/rewrites/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
qseal/rewrites/accepted_values_case.py,sha256=7Zn37_QLDgLA-oIsqtDqubJmCF7yw8JxOwQEZbcyozI,12084
qseal/rewrites/accepted_values_filter.py,sha256=pyF9UQZHfpxM5t-matd56eyhIs8AqERCfE_L0fz5P7E,7462
qseal/rewrites/base.py,sha256=TXTuRlx8p7sYIIerXqXbwQ2e3Co0uvh5LCzZEuAqUtQ,1163
qseal/rewrites/chain.py,sha256=cC-PfbnrGbzyu2cxURRzSz3UplapEX6MvTz_NSXReiY,4367
qseal/rewrites/count_distinct.py,sha256=mXKVOO37ebY3QRR8YTbHiGAPL9YuhI5qo1Itb-p1ZG8,8601
qseal/rewrites/distinct.py,sha256=J7m_p-V9H6c44cYgv434AH8zVpdiQRssx20AjoCXF8c,5003
qseal/rewrites/group_by_unique.py,sha256=GVw1Zn-mm90Mw_cv3FZoio2hdDBoFc8MqVvo2Uu2Cl8,7591
qseal/rewrites/join_distinct_exists.py,sha256=DoxHz4kzKVZH89SC-3eh4VnDpmY9rGJD71gYFVDDsco,7316
qseal/rewrites/join_elimination.py,sha256=UlROBmrDEXMg7leDb2dVYNijffg6rzygHBbE23nFmGk,14897
qseal/rewrites/not_null_filter.py,sha256=Y1w0EBRFgbJYYXEkeAy24FeCRPbpyAouFgk0Sd5mD3Q,7246
qseal/rewrites/predicate_pushdown.py,sha256=TPuHrDIe-zrrORgyL8uHnJUhYcKXJpBr3BWQBUP_9ww,7077
qseal/rewrites/registry.py,sha256=7gjppgEIOW0DuYJMb4OTb60PIPqXYnm4ezG_nMtzS6Y,3407
qseal/rewrites/subtree.py,sha256=o1BoH0lZbvsld4SBG6tKP3NFsO5r6I3IV8aCRkHKJmc,3090
qseal/search/__init__.py,sha256=3KsbSyVJ3LlJu3ZH_t5pib3OYihVdQxpIOdrDUbjwR4,495
qseal/search/algorithms.py,sha256=TPRh1Jluig10Id_FGDXDSH0aJPU8Uj84xyChm-E0AHo,16346
qseal/search/model.py,sha256=U44GsN9sxYY8cghKV56qhInLZ82leyuY8-SJc3E3ci4,1419
qseal/verifier/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
qseal/verifier/check.py,sha256=_FKzIadwtI2h6PVC6yP5p6kS-GjWrkoy-0gzB5hJL7M,9368
qseal/verifier/model.py,sha256=5U_cd2TkBDkSfTkdFwu9NZhBLZFO34vsILT4NaRkjWY,562
qseal/verifier/pair_reduction.py,sha256=WABQLKWkDRRuQ2r0-OcZSMT996n1z7J5L5pg0YUpL6A,2448
qseal/verifier/backends/__init__.py,sha256=4TXpebv1QGXp7-MOPOjuKS6ECLeRb2BR_1eH7-ejsFE,1036
qseal/verifier/backends/base.py,sha256=s4YOH7XpU-4qw8yaBv6juPzJs3E5CB9iWEn0Np84SGg,454
qseal/verifier/backends/builtin.py,sha256=nMetLKpdHe7w8V_Sfyq_OE-WHG8GU0G47yHInOfevCA,2539
qseal/verifier/backends/external.py,sha256=xc2JCmViaV5DR33jll9dDjAtsTwzVZarI0LAolIrAX0,1729
qseal/verifier/backends/external_contract.py,sha256=s1DwDDPDdHMx4nncPXy2eX0-mWJjjyVJTEhyu_haVdE,682
qseal/verifier/backends/qed.py,sha256=7CwQ41JHhCFFqFmVmPWcTwgLVlDfa_f4CJfSqrNV_yk,12713
qseal/verifier/backends/sqlsolver.py,sha256=DGoyoDwCVYwAqxhde3-L6l5XJJ0iYd28Tfen5iO9RSY,10493
qseal/verifier/backends/verieql.py,sha256=Kgt_52yJ27t479izFy_LWJSHHIznhi0Oax8FA-ym5mU,16236
qseal-0.1.0.dist-info/METADATA,sha256=9CbfUcq9ZaaHat3XzCUSjs0dlFbX_mE5IHfsSFJSBDs,9697
qseal-0.1.0.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
qseal-0.1.0.dist-info/entry_points.txt,sha256=3cXVNkEu7doUnixIW99vTSnWXsrOO1Y58gMheu0PAiE,41
qseal-0.1.0.dist-info/licenses/LICENSE,sha256=mZ1GrWCenKY5WAvmn5y5DhvL3G9KnLLGhHiX4GsXYn8,1079
qseal-0.1.0.dist-info/RECORD,,
