LICENSE
NOTICE
README.md
pyproject.toml
tests/test_a2_cause_annotations.py
tests/test_a3_apply_patch.py
tests/test_apply_patch_verify_roundtrip.py
tests/test_collider_conditioning_gap.py
tests/test_compositional_iter_119_134.py
tests/test_confidence_sources.py
tests/test_derivation_in_result_json.py
tests/test_discovery_end_to_end.py
tests/test_e_value_continuous.py
tests/test_effect_query_assumptions.py
tests/test_estimation_backdoor.py
tests/test_estimation_cde.py
tests/test_estimation_cde_chain.py
tests/test_estimation_contract.py
tests/test_estimation_discovery.py
tests/test_estimation_dispatch.py
tests/test_estimation_dose_response.py
tests/test_estimation_eval_case_25.py
tests/test_estimation_eval_case_26.py
tests/test_estimation_eval_case_27.py
tests/test_estimation_eval_case_28.py
tests/test_estimation_frontdoor.py
tests/test_estimation_frontdoor_dispatch.py
tests/test_estimation_iv.py
tests/test_estimation_iv_dispatch.py
tests/test_estimation_mediation.py
tests/test_estimation_mediation_dispatch.py
tests/test_estimation_parity_dowhy.py
tests/test_estimation_sensitivity.py
tests/test_estimation_sensitivity_dispatch.py
tests/test_estimation_transport.py
tests/test_estimation_verifier.py
tests/test_f9_framing_scope_structural.py
tests/test_formula_sum_bind_referenced.py
tests/test_framing_fields_v2.py
tests/test_front_door.py
tests/test_front_door_multi.py
tests/test_front_door_variant_e2e_regression.py
tests/test_gap_kind_coverage_meta.py
tests/test_ill_defined_intervention_versions.py
tests/test_iv_dispatch.py
tests/test_iv_parity_dowhy.py
tests/test_iv_schema.py
tests/test_iv_sets.py
tests/test_iv_verifier.py
tests/test_kernel_entry.py
tests/test_l3_corpus_regression.py
tests/test_mcp_server.py
tests/test_measurement_error_concern.py
tests/test_mediation_dispatch.py
tests/test_mediation_parity_dowhy.py
tests/test_mediation_schema.py
tests/test_mediation_sets.py
tests/test_mediation_verifier.py
tests/test_numeric_estimator_marginalization_check.py
tests/test_outcome_separation_gap.py
tests/test_phase2_latent_s1.py
tests/test_phase2_latent_s2.py
tests/test_phase2_latent_s3a.py
tests/test_phase2_latent_s3b1.py
tests/test_phase2_latent_s4.py
tests/test_phase2_latent_s5_e2e.py
tests/test_phase5_counterfactual_non_bool_domain.py
tests/test_phase5_counterfactual_s_c1.py
tests/test_phase5_counterfactual_s_c2.py
tests/test_phase5_counterfactual_s_c3.py
tests/test_phase5_counterfactual_s_c4.py
tests/test_phase5_counterfactual_s_c5.py
tests/test_phase5_temporal_s_t1.py
tests/test_phase5_temporal_s_t4.py
tests/test_prompt_examples_validate.py
tests/test_propensity_overlap_gap.py
tests/test_selection_on_collider_opens_path.py
tests/test_skeleton_schema.py
tests/test_strict_framing_gate.py
tests/test_temporal_enforcement.py
tests/test_tian_e2e_disjoint_y_regression.py
tests/test_tian_id.py
tests/test_unmeasured_confounder_risk.py
tests/test_verify_bounds_balke_pearl.py
tests/test_verify_bounds_manski_natural.py
tests/test_verify_bounds_manski_tamer.py
tests/test_verify_bounds_result_public.py
tests/test_verify_entry.py
tests/test_weak_iv_gap.py
tests/test_web_app.py
tests/test_web_llm_bridge.py
tests/test_web_verify_bounds_result.py
themis/__init__.py
themis/kernel.py
themis/types.py
themis/estimation/__init__.py
themis/estimation/backdoor.py
themis/estimation/contract.py
themis/estimation/discovery.py
themis/estimation/dispatch.py
themis/estimation/dose_response.py
themis/estimation/frontdoor.py
themis/estimation/iv.py
themis/estimation/mediation.py
themis/estimation/sensitivity.py
themis/estimation/transport.py
themis/input/__init__.py
themis/input/parser.py
themis/input/semantic_validator.py
themis/input/syntactic_validator.py
themis/kb/__init__.py
themis/kb/cache.py
themis/kb/contract.py
themis/kb/schemas.py
themis/kb/translator.py
themis/kb/adapters/__init__.py
themis/kb/adapters/websearch_proxy.py
themis/mcp/__init__.py
themis/mcp/server.py
themis/oracle/__init__.py
themis/oracle/ananke_adapter.py
themis/oracle/differential.py
themis/oracle/pgmpy_adapter.py
themis/output/__init__.py
themis/output/bounds.py
themis/output/data_gap_report.py
themis/output/explainer.py
themis/output/result_orchestrator.py
themis/output/sample_size.py
themis/prompts/gap_to_action.md
themis/prompts/kb_lookup.md
themis/prompts/narrative_to_edges.md
themis/prompts/narrative_to_variables.md
themis/prompts/nl_to_kernel_ast.md
themis/prompts/reply_to_framing_patch.md
themis/prompts/response_rendering.md
themis/prompts/examples/career_choice_counterfactual.json
themis/prompts/examples/exercise_waist.json
themis/prompts/examples/late_night_tired_temporal.json
themis/prompts/examples/narrative_coffee_sleep.json
themis/prompts/examples/narrative_edges_coffee_alertness.json
themis/prompts/examples/narrative_edges_ice_cream_drowning.json
themis/prompts/examples/narrative_edges_vitamin_d.json
themis/prompts/examples/narrative_late_sleep.json
themis/prompts/examples/narrative_running.json
themis/prompts/examples/reply_asymmetric.json
themis/prompts/examples/reply_full_fill.json
themis/prompts/examples/reply_partial_fill.json
themis/prompts/examples/sleep_cognition.json
themis/prompts/examples/veggies_blood_pressure.json
themis/runtime/__init__.py
themis/runtime/c_factor.py
themis/runtime/confidence_calc.py
themis/runtime/counterfactual.py
themis/runtime/formula_builder.py
themis/runtime/framing_check.py
themis/runtime/graph_projection.py
themis/runtime/instantiation.py
themis/runtime/investigation_pusher.py
themis/runtime/numeric_estimator.py
themis/runtime/scheduler.py
themis/runtime/structural_solver.py
themis/runtime/theta_builder.py
themis/runtime/transport.py
themis/schemas/atom.schema.json
themis/schemas/derivation.schema.json
themis/schemas/kb_query.schema.json
themis/schemas/kb_result.schema.json
themis/schemas/kernel_ast.schema.json
themis/schemas/query_result.schema.json
themis/schemas/verification_context.schema.json
themis/upstream/__init__.py
themis/upstream/narrative_merge.py
themis/upstream/program_builder.py
themis/verifier/__init__.py
themis/verifier/bounds_rules.py
themis/verifier/context.py
themis/verifier/data_gap_rules.py
themis/verifier/errors.py
themis/verifier/rules.py
themis/verifier/serialization.py
themis/verifier/verify.py
themis/web/__init__.py
themis/web/__main__.py
themis/web/app.py
themis/web/llm_bridge.py
themis/workflow/__init__.py
themis/workflow/parameter_fill.py
themis/workflow/variable_framing.py
themis_causal.egg-info/PKG-INFO
themis_causal.egg-info/SOURCES.txt
themis_causal.egg-info/dependency_links.txt
themis_causal.egg-info/entry_points.txt
themis_causal.egg-info/requires.txt
themis_causal.egg-info/top_level.txt