LICENSE
README.md
pyproject.toml
gaia/__init__.py
gaia/_build_info.py
gaia/_meta.py
gaia/constants.py
gaia/stats.py
gaia/unit.py
gaia/_skills/__init__.py
gaia/_skills/_shared/bp-interpretation.md
gaia/_skills/_shared/formalize-atomicity.md
gaia/_skills/_shared/formalize-extract-conclusions.md
gaia/_skills/_shared/formalize-independence.md
gaia/_skills/_shared/formalize-reasoning-chains.md
gaia/_skills/gaia-evidence-subgraph/SKILL.md
gaia/_skills/gaia-evidence-subgraph/references/graph-output.md
gaia/_skills/gaia-evidence-subgraph/references/source-ground-truth.md
gaia/_skills/gaia-evidence-subgraph/scripts/check_dot_cycles.mjs
gaia/_skills/gaia-formalize-coarse/SKILL.md
gaia/_skills/gaia-formalize-coarse/references/phase-1-extract-conclusions.md
gaia/_skills/gaia-formalize-coarse/references/phase-2-build-reasoning-chain.md
gaia/_skills/gaia-formalize-coarse/references/phase-3-review-weak-points.md
gaia/_skills/gaia-formalize-coarse/references/phase-4-emit-package.md
gaia/_skills/gaia-formalize-fine/SKILL.md
gaia/_skills/gaia-formalize-fine/references/pass-1-extract.md
gaia/_skills/gaia-formalize-fine/references/pass-2-connect.md
gaia/_skills/gaia-formalize-fine/references/pass-3-completeness.md
gaia/_skills/gaia-formalize-fine/references/pass-4-strategy-types.md
gaia/_skills/gaia-formalize-fine/references/pass-5-structural-integrity.md
gaia/_skills/gaia-formalize-fine/references/pass-6-polish.md
gaia/_skills/gaia-formalize-fine/references/priors-analysis-render.md
gaia/_skills/gaia-obsidian-wiki/SKILL.md
gaia/_skills/gaia-publish/SKILL.md
gaia/_skills/gaia-review/SKILL.md
gaia/_skills/gaia-scholarly-synthesis/SKILL.md
gaia/_skills/gaia-scholarly-synthesis/references/synthesis-structure.md
gaia/cli/__init__.py
gaia/cli/_credentials.py
gaia/cli/_registry.py
gaia/cli/_update_check.py
gaia/cli/main.py
gaia/cli/commands/__init__.py
gaia/cli/commands/_brief.py
gaia/cli/commands/_context.py
gaia/cli/commands/_detailed_reasoning.py
gaia/cli/commands/_dot.py
gaia/cli/commands/_github.py
gaia/cli/commands/_graph_json.py
gaia/cli/commands/_inquiry.py
gaia/cli/commands/_manifest.py
gaia/cli/commands/_obsidian.py
gaia/cli/commands/_probabilistic_warnings.py
gaia/cli/commands/_quality_gate.py
gaia/cli/commands/_render_priors.py
gaia/cli/commands/_simplified_mermaid.py
gaia/cli/commands/_stellaris_svg.py
gaia/cli/commands/_wiki.py
gaia/cli/commands/add.py
gaia/cli/commands/check.py
gaia/cli/commands/compile.py
gaia/cli/commands/infer.py
gaia/cli/commands/init.py
gaia/cli/commands/inquiry.py
gaia/cli/commands/register.py
gaia/cli/commands/render.py
gaia/cli/commands/skill.py
gaia/cli/commands/starmap.py
gaia/cli/commands/trace.py
gaia/cli/commands/author/__init__.py
gaia/cli/commands/author/_authored.py
gaia/cli/commands/author/_common.py
gaia/cli/commands/author/_deprecation_scan.py
gaia/cli/commands/author/_envelope.py
gaia/cli/commands/author/_formula_sandbox.py
gaia/cli/commands/author/_postwrite.py
gaia/cli/commands/author/_prewrite.py
gaia/cli/commands/author/_proposed_op.py
gaia/cli/commands/author/_prose.py
gaia/cli/commands/author/_runner.py
gaia/cli/commands/author/_writer.py
gaia/cli/commands/author/artifact.py
gaia/cli/commands/author/associate.py
gaia/cli/commands/author/candidate_relation.py
gaia/cli/commands/author/claim.py
gaia/cli/commands/author/compose.py
gaia/cli/commands/author/compute.py
gaia/cli/commands/author/contradict.py
gaia/cli/commands/author/decompose.py
gaia/cli/commands/author/depends_on.py
gaia/cli/commands/author/derive.py
gaia/cli/commands/author/equal.py
gaia/cli/commands/author/exclusive.py
gaia/cli/commands/author/infer.py
gaia/cli/commands/author/list.py
gaia/cli/commands/author/materialize.py
gaia/cli/commands/author/note.py
gaia/cli/commands/author/observe.py
gaia/cli/commands/author/parameter.py
gaia/cli/commands/author/question.py
gaia/cli/commands/author/register_prior.py
gaia/cli/commands/author/variable.py
gaia/cli/commands/bayes/__init__.py
gaia/cli/commands/bayes/compare.py
gaia/cli/commands/bayes/distributions.py
gaia/cli/commands/bayes/model.py
gaia/cli/commands/example/__init__.py
gaia/cli/commands/example/_runner.py
gaia/cli/commands/example/galileo.py
gaia/cli/commands/example/mendel.py
gaia/cli/commands/pkg/__init__.py
gaia/cli/commands/pkg/add_import.py
gaia/cli/commands/pkg/add_module.py
gaia/cli/commands/pkg/lkm_materialize.py
gaia/cli/commands/pkg/scaffold.py
gaia/cli/commands/sdk/__init__.py
gaia/cli/commands/sdk/_cheatsheet.py
gaia/cli/commands/sdk/_introspect.py
gaia/cli/commands/sdk/command.py
gaia/cli/commands/search/__init__.py
gaia/cli/commands/search/lkm/__init__.py
gaia/cli/commands/search/lkm/_client.py
gaia/cli/commands/search/lkm/_hints.py
gaia/cli/commands/search/lkm/_indexes.py
gaia/cli/commands/search/lkm/_servers.py
gaia/cli/commands/search/lkm/_shared.py
gaia/cli/commands/search/lkm/auth.py
gaia/cli/commands/search/lkm/knowledge.py
gaia/cli/commands/search/lkm/paper_graph.py
gaia/cli/commands/search/lkm/reasoning.py
gaia/cli/commands/search/lkm/variables.py
gaia/cli/example_assets/__init__.py
gaia/cli/example_assets/galileo/walkthrough.sh
gaia/cli/example_assets/mendel/walkthrough.sh
gaia/cli/starmap_assets/__init__.py
gaia/cli/starmap_assets/template.html
gaia/engine/__init__.py
gaia/engine/_stale_check.py
gaia/engine/packaging.py
gaia/engine/bayes/__init__.py
gaia/engine/bayes/adapters/__init__.py
gaia/engine/bayes/adapters/scipy_backend.py
gaia/engine/bayes/compiler/__init__.py
gaia/engine/bayes/compiler/lower.py
gaia/engine/bayes/distributions/__init__.py
gaia/engine/bayes/distributions/base.py
gaia/engine/bayes/distributions/continuous.py
gaia/engine/bayes/distributions/discrete.py
gaia/engine/bayes/distributions/protocol.py
gaia/engine/bayes/dsl/__init__.py
gaia/engine/bayes/dsl/compare.py
gaia/engine/bayes/dsl/model.py
gaia/engine/bayes/runtime/__init__.py
gaia/engine/bayes/runtime/actions.py
gaia/engine/bayes/runtime/precomputed.py
gaia/engine/bp/__init__.py
gaia/engine/bp/bp.py
gaia/engine/bp/contraction.py
gaia/engine/bp/engine.py
gaia/engine/bp/exact.py
gaia/engine/bp/factor_graph.py
gaia/engine/bp/joint_query.py
gaia/engine/bp/junction_tree.py
gaia/engine/bp/lowering.py
gaia/engine/bp/mean_field.py
gaia/engine/bp/potentials.py
gaia/engine/bp/trw_bp.py
gaia/engine/inquiry/__init__.py
gaia/engine/inquiry/_classify.py
gaia/engine/inquiry/anchor.py
gaia/engine/inquiry/check_core.py
gaia/engine/inquiry/diagnostics.py
gaia/engine/inquiry/diff.py
gaia/engine/inquiry/focus.py
gaia/engine/inquiry/proof_state.py
gaia/engine/inquiry/ranking.py
gaia/engine/inquiry/render.py
gaia/engine/inquiry/review.py
gaia/engine/inquiry/review_manifest.py
gaia/engine/inquiry/snapshot.py
gaia/engine/inquiry/state.py
gaia/engine/ir/__init__.py
gaia/engine/ir/coarsen.py
gaia/engine/ir/compose.py
gaia/engine/ir/formalize.py
gaia/engine/ir/formula.py
gaia/engine/ir/graphs.py
gaia/engine/ir/knowledge.py
gaia/engine/ir/linearize.py
gaia/engine/ir/operator.py
gaia/engine/ir/parameterization.py
gaia/engine/ir/review.py
gaia/engine/ir/schemas.py
gaia/engine/ir/strategy.py
gaia/engine/ir/validator.py
gaia/engine/ir/logic/__init__.py
gaia/engine/ir/logic/diagnostics.py
gaia/engine/ir/logic/probability.py
gaia/engine/ir/logic/propositional.py
gaia/engine/lang/__init__.py
gaia/engine/lang/_boolean_valued.py
gaia/engine/lang/compat.py
gaia/engine/lang/compiler/__init__.py
gaia/engine/lang/compiler/compile.py
gaia/engine/lang/compiler/distribution_diagnostics.py
gaia/engine/lang/compiler/extensions.py
gaia/engine/lang/compiler/lower_formula.py
gaia/engine/lang/compiler/predicate_lowering.py
gaia/engine/lang/dsl/__init__.py
gaia/engine/lang/dsl/_lift.py
gaia/engine/lang/dsl/artifacts.py
gaia/engine/lang/dsl/associate_verb.py
gaia/engine/lang/dsl/bool_expr.py
gaia/engine/lang/dsl/decompose.py
gaia/engine/lang/dsl/formula.py
gaia/engine/lang/dsl/infer_verb.py
gaia/engine/lang/dsl/knowledge.py
gaia/engine/lang/dsl/operators.py
gaia/engine/lang/dsl/propositional.py
gaia/engine/lang/dsl/register_prior.py
gaia/engine/lang/dsl/relate.py
gaia/engine/lang/dsl/scaffold.py
gaia/engine/lang/dsl/strategies.py
gaia/engine/lang/dsl/sugar.py
gaia/engine/lang/dsl/support.py
gaia/engine/lang/formula/__init__.py
gaia/engine/lang/formula/connective.py
gaia/engine/lang/formula/predicate.py
gaia/engine/lang/formula/primitives.py
gaia/engine/lang/formula/quantifier.py
gaia/engine/lang/formula/symbols.py
gaia/engine/lang/formula/term.py
gaia/engine/lang/refs/__init__.py
gaia/engine/lang/refs/errors.py
gaia/engine/lang/refs/extractor.py
gaia/engine/lang/refs/loader.py
gaia/engine/lang/refs/resolver.py
gaia/engine/lang/refs/types.py
gaia/engine/lang/review/__init__.py
gaia/engine/lang/review/manifest.py
gaia/engine/lang/review/templates.py
gaia/engine/lang/runtime/__init__.py
gaia/engine/lang/runtime/action.py
gaia/engine/lang/runtime/composition.py
gaia/engine/lang/runtime/distribution.py
gaia/engine/lang/runtime/domain.py
gaia/engine/lang/runtime/knowledge.py
gaia/engine/lang/runtime/nodes.py
gaia/engine/lang/runtime/package.py
gaia/engine/lang/runtime/param.py
gaia/engine/lang/runtime/roles.py
gaia/engine/lang/runtime/variable.py
gaia/engine/trace/__init__.py
gaia/engine/trace/diagnostics.py
gaia/engine/trace/hashing.py
gaia/engine/trace/loader.py
gaia/engine/trace/ranking.py
gaia/engine/trace/render.py
gaia/engine/trace/review.py
gaia/engine/trace/schema.py
gaia/engine/trace/snapshot.py
gaia/lkm_explorer/__init__.py
gaia/lkm_explorer/client/__init__.py
gaia/lkm_explorer/client/cli.py
gaia/lkm_explorer/client/instructions.py
gaia/lkm_explorer/client/orchestrator.py
gaia/lkm_explorer/client/verbs.py
gaia/lkm_explorer/engine/__init__.py
gaia/lkm_explorer/engine/artifacts.py
gaia/lkm_explorer/engine/discoveries.py
gaia/lkm_explorer/engine/frontier.py
gaia/lkm_explorer/engine/handoff.py
gaia/lkm_explorer/engine/health.py
gaia/lkm_explorer/engine/landscape.py
gaia/lkm_explorer/engine/observe.py
gaia/lkm_explorer/engine/promote.py
gaia/lkm_explorer/engine/render.py
gaia/lkm_explorer/engine/scorer.py
gaia/lkm_explorer/engine/state.py
gaia_lang.egg-info/PKG-INFO
gaia_lang.egg-info/SOURCES.txt
gaia_lang.egg-info/dependency_links.txt
gaia_lang.egg-info/entry_points.txt
gaia_lang.egg-info/requires.txt
gaia_lang.egg-info/top_level.txt
tests/test_alpha0_docs.py
tests/test_alpha0_packaging.py
tests/test_bp_jaynes_contract.py
tests/test_bp_large_scale.py
tests/test_contraction.py
tests/test_galileo_v05_example.py
tests/test_loopy_bp_cycles.py
tests/test_loopy_bp_strict.py
tests/test_lowering.py
tests/test_mendel_v05_example.py
tests/test_science_examples.py