sverify/__init__.py,sha256=rBj8sKuptt3hwO8usXEF9s9v7M9TD4Z9IS28pjZ4pmI,2316
sverify/asof.py,sha256=_6DG0Q2VO8y3lH5kSbaJFakfhhL6G1XX1-tHaZQuamM,3465
sverify/catalogue.py,sha256=j__-nqszgXTQ1c6KjDe-eWuRdyQwbyyexAIQPXIVmsc,35092
sverify/contracts.py,sha256=8B_mPRR5j1x5liz4JhZX5bxGTwzH5jQkDeditFlkL9c,55198
sverify/counterexample.py,sha256=NEPVCZE0--pCR1Y8vX8AftXceG5Gvt69mxITgQUtCJw,10137
sverify/coverage.py,sha256=pC9yZSctjGvey7qeajGHlg1-unlvjgZOTdY7z3EeoXU,7421
sverify/display.py,sha256=R-j-_OurcGntQ0_cpAqhTYA-eti6sSd16-3ngSL2JrQ,3170
sverify/duckdb_engine.py,sha256=_KUkJN8FdJPqUH1QiuGEoQ9KVYK8vZ5vTiWXCrJcEXA,2139
sverify/duckdb_fuzz.py,sha256=e79_ZKtrD9oIa69kRotsPnbONtvjWmn5e2hgA1nezok,9590
sverify/engine.py,sha256=-OX9IDok-SwMGQx7JElW5rvka7sLal1GZ8bk6_akuSY,32548
sverify/engines.py,sha256=MOCduKrS8UjMnj3n-jkDPV0uO7ZCdN08dS7KwUfGc6U,2772
sverify/errors.py,sha256=OA1wdSMCTUpDSzuSUunO17COZnrOjcYIgK2cf5El9IM,1175
sverify/examples.py,sha256=qWoRjW549XkztXRnoJ5oM015Ff5lMbj1oaubvsNbLVw,2325
sverify/fuzz.py,sha256=5L36VP2NtTXinHAhui9UXFwQzUs0e6F2kf3jg9IDTRg,23265
sverify/incremental.py,sha256=VCmeYhcB6rcrpICnJWPalL9xqPC2HlZMftGQXqFPnI0,59014
sverify/nodes.py,sha256=ZEQRBGOGcq5XPxDflyAhmXEYdvvr8Ypd4U9TzaJJPiw,32778
sverify/partition.py,sha256=zi-I7ZvR7nipQfBn-R_rtgEwYviO0lP0oHoe4AyRvPA,13137
sverify/polars_engine.py,sha256=WtJIcXN3kD-fgwv4I2MD4X7klJr0rmyDaIn8rZx_TWU,87943
sverify/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
sverify/pytest_plugin.py,sha256=IsYszlXBTTnvRv_DgspHqVoorV3hShxjikCLyVde8fo,2087
sverify/slt.py,sha256=m-3PLiUPfoTZE4_FwiuHemJuBtwrh0Oih3kKQW6M4q0,46349
sverify/spark_engine.py,sha256=hPs5q5uxbQi2PMiUKJaF2NlpmgssjtgnsCPFO_TEMpw,4832
sverify/sql_model.py,sha256=eDpUgdbFOXhF09MiOGR5o8BHlApppFgFseioR2lKx2k,10493
sverify/steps.py,sha256=nYl8dlz-mwFiFe4ljrU2W4CqAf_UhLxkmtQDQ9BSkNU,3779
sverify/testing.py,sha256=2a4vpl4mHRXsmO3v-wkxZtyxwctL5tK87nwjCCOXC28,28637
sverify/coverage_cases/__init__.py,sha256=GKuGTHK2XQUPf4AdzN8AueZg9tU8I_Rr-XEy6JIeoSA,1982
sverify/coverage_cases/_common.py,sha256=2e4Hf7M_urljNJ7MMyHyixPbrIRtinKe14n3gpMer8A,3603
sverify/coverage_cases/aggregation.py,sha256=OHEKJrmQtzGzEi8Nf5m7efHyinFDSoxVQcFMWaNZ-jI,2354
sverify/coverage_cases/joins.py,sha256=_Guji2sHNKW9YE98ruE-4cdbYlPCK2qtXjTRVB0oZKs,3469
sverify/coverage_cases/lists.py,sha256=gnv17E7eQESPbixnJFWa5ifw3LxusseXhgGOn3CzhVc,767
sverify/coverage_cases/nulls.py,sha256=K7DItHsoLGyOnIyXvJUg4nTtuU2rGJW7BSmKEUjCUJo,420
sverify/coverage_cases/numbers.py,sha256=zI0TDbbUc8iyEUYIQH3QExtFrQDp9JmFRZOhhK0H05U,1270
sverify/coverage_cases/rows.py,sha256=MlDiF7PI_b1A_UbON64tMwSt-isiiFbBA1-nAmkT-5M,2686
sverify/coverage_cases/strings.py,sha256=o8Tkm5NJpjkXsvYvOgK4VAN59dJA5SrGu2Wl7oJr7QU,2585
sverify/coverage_cases/temporal.py,sha256=xYwUZQaMZr8TkYeCJhHyLJTBRkCKcY_n45F2NJMiCng,6188
sverify/coverage_cases/windows.py,sha256=34NWhw48exiOEcaIHPA21-tupV3c4_2oCPq5bv28nkY,4284
sverify/ibis_substrait/LICENSE,sha256=Tsf6sRqoGJ9LJ2HTcNvH-IlMXUfPxHgHruaQTd4mrD8,11345
sverify/ibis_substrait/README.md,sha256=FnhBfPANG5N9GkLFZOtGjdvp_oyJeG123Alx-40exHM,557
sverify/ibis_substrait/__init__.py,sha256=bt1D6fKoYdl1MSXRVjTGlVXrzEKX6GBnITp5PZGk_xE,65482
sverify/io/__init__.py,sha256=D7jyLbLvqpBnLnaxed2jQ_Kyw2VOEv-sag7pLF6oXrg,3030
sverify/io/_common.py,sha256=rXeEj4weOqTJb2euR9oupvUOHimE10o_ayLjUndxdxg,13828
sverify/io/_sink.py,sha256=0_G95r0UYRIvx60WAzRDcVHCr06mFbAejOcvkV9jheo,14479
sverify/io/_source.py,sha256=La3j4uxkw3uy4If3-rT3Wy22NetGxjei6GPOTKhJ7Hs,21487
sverify/io/_storage.py,sha256=vWaOwMzlxypQCavV0KhjmvrA1OD3wy4gdpoSG6K61Fg,3306
sverify/io/delta.py,sha256=z57wUnVxRmRyNrgorSO7HaKWASsCY6P5NbTN39iTlBM,24276
sverify/io/iceberg.py,sha256=iHWtT30ufIIsy_8Y2KsgVPmSeFpBTjH2j0Jkiy5ZkMA,26144
sverify/skills/sverify/SKILL.md,sha256=B76VGCim-N3zggFAyqNI_JkVnsIPoHdvcHAebaiEV3g,7817
sverify/skills/sverify/references/contracts.md,sha256=7YwU4cOXJyAR7nKvpFjA8Hj9nOvCCwUYcZHOYZEFG24,2691
sverify/skills/sverify-engines/SKILL.md,sha256=RMwxIOXyoXK-zQ3bPMx2sQzsw71a6wyNAwGfL2OsYtY,4865
sverify/skills/sverify-engines/references/semantics.md,sha256=rgSd09xr2oTVUfZvRWjJrG8nRclLqZXGWRQIBEv2kn0,1817
sverify/skills/sverify-pipelines/SKILL.md,sha256=-EM7w5vYcx7qDrxng482-IzdH_q-dpML46XXndcDz4Q,5591
sverify/skills/sverify-pipelines/references/custom-io.md,sha256=VYpJnWlW2toe_Q2ckeEQxViY3VjGyqT6EC_p-ll_YBg,7080
sverify/skills/sverify-pipelines/references/table-formats.md,sha256=4C9DqIQ8Jx6pPsSqsn-OOZhMX2ZwSv43Ro42T7i1ZUc,3978
sverify/sql/__init__.py,sha256=GOCyCPjDouVUnZhEHlZLexgd9BS7Q9x4HkLKsIuYr7A,387
sverify/sql/core.py,sha256=47uzp4gW3DoKC76F3M3D9R2Z37MC6MLMJ2OiJYYZvfY,156464
sverify/sql/duckdb.py,sha256=6dsuF7rvmtCCkdJ39eKwrftos4epeqwuo49RVe9z2Lc,6941
sverify/sql/snowflake.py,sha256=fVA7I5OuB6_HeENPD7m81VewdrIlnbVOkKRGByT3BoE,13638
sverify/sql/spark.py,sha256=A2wu-zShajDRGe9glHdHhbne_jOU9muU83K3P547CIA,14006
sverify/_bin/substrait-check,sha256=fc3ig5ojWOE0iDjI0y1yvKmpMc4PlxhQ9DimjnorJp8,74551952
sverify-0.3.0.dist-info/METADATA,sha256=inONJ7RERd5bPwxDQVGEwR2oYbgjJJYzMpopOxL6q9s,14160
sverify-0.3.0.dist-info/WHEEL,sha256=4paJeDRsDosK22HjYd0sfw_1P2-9B-ZtOPyM68eo8bQ,102
sverify-0.3.0.dist-info/entry_points.txt,sha256=c3uQD61d0xrEO9bq6NZCC-16unTOwzg0RSXZtLw73KQ,43
sverify-0.3.0.dist-info/licenses/LICENSE,sha256=Pz2eACSxkhsGfW9_iN60pgy-enjnbGTj8df8O3ebnQQ,16726
sverify-0.3.0.dist-info/licenses/src/sverify/ibis_substrait/LICENSE,sha256=Tsf6sRqoGJ9LJ2HTcNvH-IlMXUfPxHgHruaQTd4mrD8,11345
sverify-0.3.0.dist-info/RECORD,,
