CHANGELOG.md
CITATION.cff
LICENSE
MANIFEST.in
PYPI.md
README.md
pyproject.toml
src/lean_pkg/__init__.py
src/lean_pkg/anchor.py
src/lean_pkg/audit.py
src/lean_pkg/binding_file.py
src/lean_pkg/blueprint.py
src/lean_pkg/build_scope.py
src/lean_pkg/ci_github.py
src/lean_pkg/claim_axioms.py
src/lean_pkg/claims.py
src/lean_pkg/claims_mark.py
src/lean_pkg/cli.py
src/lean_pkg/cli_parser.py
src/lean_pkg/command_tree.py
src/lean_pkg/comparator_config.py
src/lean_pkg/comparator_contracts.py
src/lean_pkg/comparator_receipt.py
src/lean_pkg/comparator_stage.py
src/lean_pkg/comparator_types.py
src/lean_pkg/container.py
src/lean_pkg/core.py
src/lean_pkg/coverage.py
src/lean_pkg/deps_closure.py
src/lean_pkg/deps_fill.py
src/lean_pkg/dup_constants.py
src/lean_pkg/exercise.py
src/lean_pkg/exercise_forbid.py
src/lean_pkg/export_paths.py
src/lean_pkg/extract.py
src/lean_pkg/extract_decls.py
src/lean_pkg/extract_ledger.py
src/lean_pkg/extract_summary.py
src/lean_pkg/extract_types.py
src/lean_pkg/extract_write.py
src/lean_pkg/formalization.py
src/lean_pkg/formalization_kept.py
src/lean_pkg/fresh_repo.py
src/lean_pkg/gate.py
src/lean_pkg/headline.py
src/lean_pkg/help_topics.py
src/lean_pkg/holes.py
src/lean_pkg/host_routes.py
src/lean_pkg/html_blocks.py
src/lean_pkg/hypotheses.py
src/lean_pkg/index.py
src/lean_pkg/json_stdout.py
src/lean_pkg/lake_hygiene.py
src/lean_pkg/lean_diag.py
src/lean_pkg/lean_scan.py
src/lean_pkg/ledger.py
src/lean_pkg/next_step.py
src/lean_pkg/page.py
src/lean_pkg/page_html.py
src/lean_pkg/palomar.py
src/lean_pkg/palomar_check.py
src/lean_pkg/port_modules.py
src/lean_pkg/prior_art.py
src/lean_pkg/producer.py
src/lean_pkg/producer_skew.py
src/lean_pkg/public_safety.py
src/lean_pkg/publish.py
src/lean_pkg/rebase.py
src/lean_pkg/receipt.py
src/lean_pkg/receipt_check.py
src/lean_pkg/receipt_ci.py
src/lean_pkg/receipt_systemd.py
src/lean_pkg/recommended.py
src/lean_pkg/report.py
src/lean_pkg/reservoir.py
src/lean_pkg/scaffold.py
src/lean_pkg/seal_bundle.py
src/lean_pkg/search.py
src/lean_pkg/site_check.py
src/lean_pkg/sites.py
src/lean_pkg/stacks.py
src/lean_pkg/statements_module.py
src/lean_pkg/toolchain_advisories.py
src/lean_pkg/upgrade.py
src/lean_pkg/verify.py
src/lean_pkg.egg-info/PKG-INFO
src/lean_pkg.egg-info/SOURCES.txt
src/lean_pkg.egg-info/dependency_links.txt
src/lean_pkg.egg-info/entry_points.txt
src/lean_pkg.egg-info/requires.txt
src/lean_pkg.egg-info/top_level.txt
src/lean_pkg/adapters/__init__.py
src/lean_pkg/adapters/github.py
src/lean_pkg/adapters/leansearch.py
src/lean_pkg/adapters/loogle.py
src/lean_pkg/adapters/palomar.py
src/lean_pkg/adapters/reservoir.py
src/lean_pkg/data/toolchain-advisories.yaml
src/lean_pkg/data/upgrade-breaking.yaml
src/lean_pkg/data/verify-workflow-pins.yaml
src/lean_pkg/data/stacks/lts-2026.10.yaml
src/lean_pkg/schemas/formalization-0.4.schema.json
src/lean_pkg/schemas/formalization-0.4.schema.source.txt
src/lean_pkg/scripts/ClaimAxioms.lean
src/lean_pkg/scripts/ContractsOnly.lean
src/lean_pkg/scripts/DupConstants.lean
src/lean_pkg/scripts/HypProbe.lean
src/lean_pkg/scripts/comparator-check.sh
src/lean_pkg/scripts/verify-comparator.sh
src/lean_pkg/site_profiles/easley.yaml
src/lean_pkg/site_profiles/github-actions.yaml
src/lean_pkg/templates/Apache-2.0.txt
tests/test_adapters.py
tests/test_append_note.py
tests/test_audit_claims_coverage.py
tests/test_audit_gh_outcomes.py
tests/test_audit_missing_path.py
tests/test_audit_no_github_mirror.py
tests/test_audit_palomar.py
tests/test_audit_receipts_paths.py
tests/test_audit_reference_branch.py
tests/test_binding_file.py
tests/test_binding_file_g3.py
tests/test_blueprint_check.py
tests/test_bootstrap_collaborator.py
tests/test_branch_notice.py
tests/test_campaign_recovery_docs.py
tests/test_check_changelog_releases.py
tests/test_ci_attested.py
tests/test_ci_comparator.py
tests/test_ci_corroborate.py
tests/test_ci_receipt_level1.py
tests/test_claim_axioms.py
tests/test_claims.py
tests/test_claims_ledger.py
tests/test_claims_mark.py
tests/test_claims_rebase.py
tests/test_cli.py
tests/test_cli_consistency.py
tests/test_cli_contract_argv.py
tests/test_cli_contract_corpus.py
tests/test_cli_contract_help.py
tests/test_cli_contract_json.py
tests/test_cli_contract_names.py
tests/test_columns.py
tests/test_command_docs.py
tests/test_command_tree_stage2.py
tests/test_commit.py
tests/test_comparator.py
tests/test_comparator_attempts.py
tests/test_comparator_config.py
tests/test_comparator_contracts.py
tests/test_comparator_coverage.py
tests/test_comparator_evidence_dir.py
tests/test_comparator_host_label.py
tests/test_comparator_list_defaults.py
tests/test_comparator_log_transport.py
tests/test_comparator_mismatch_next.py
tests/test_comparator_name_hints.py
tests/test_comparator_no_mathlib.py
tests/test_comparator_readiness.py
tests/test_comparator_receipt.py
tests/test_comparator_replace.py
tests/test_comparator_repo_claims_file.py
tests/test_comparator_sacct_seal.py
tests/test_comparator_stage.py
tests/test_comparator_tool_toolchain.py
tests/test_comparator_types.py
tests/test_compressed_log_bindings.py
tests/test_conditional_claims.py
tests/test_conditional_closeout.py
tests/test_conditional_outputs.py
tests/test_consent_dedupe.py
tests/test_core_split.py
tests/test_coverage_conclusion.py
tests/test_coverage_offline.py
tests/test_coverage_witness.py
tests/test_cut_release.py
tests/test_defaults.py
tests/test_docs.py
tests/test_docs_classifier_preflight.py
tests/test_docs_descendants.py
tests/test_docs_old_spellings.py
tests/test_doctor.py
tests/test_dup_constants.py
tests/test_evidence_formalization.py
tests/test_exercise.py
tests/test_exercise_course.py
tests/test_extract_decls.py
tests/test_extract_ledger.py
tests/test_extract_plan.py
tests/test_extract_summary.py
tests/test_extract_types.py
tests/test_fields_only.py
tests/test_formalization.py
tests/test_formalization_anchor.py
tests/test_formalization_kept.py
tests/test_formalization_refresh.py
tests/test_formats.py
tests/test_fresh_repo.py
tests/test_gate.py
tests/test_gate_binding.py
tests/test_gate_binding_scope.py
tests/test_gate_check.py
tests/test_gate_check_next.py
tests/test_gate_claims.py
tests/test_gate_pins.py
tests/test_gate_receipt_path.py
tests/test_gate_refresh.py
tests/test_gate_regate.py
tests/test_headline.py
tests/test_help_topics.py
tests/test_hints_and_time.py
tests/test_host_check.py
tests/test_host_routes.py
tests/test_hypotheses_ledger.py
tests/test_hypotheses_probe.py
tests/test_ignored_evidence.py
tests/test_index_add.py
tests/test_index_built_on.py
tests/test_index_check.py
tests/test_index_claims.py
tests/test_index_docs_descendants.py
tests/test_index_render.py
tests/test_index_schema.py
tests/test_init.py
tests/test_input_hygiene.py
tests/test_internal_claims.py
tests/test_json.py
tests/test_json_control_chars.py
tests/test_json_stdout.py
tests/test_judged_as.py
tests/test_lake_cache_systemd.py
tests/test_lake_hygiene.py
tests/test_large_artifacts_recipe.py
tests/test_lean_diag.py
tests/test_lean_scan_extract.py
tests/test_lease.py
tests/test_lease_actor.py
tests/test_lease_expiry_notice.py
tests/test_lease_registry_stamp.py
tests/test_ledger_exact_covers.py
tests/test_ledger_golden.py
tests/test_lifecycle_notes.py
tests/test_llms.py
tests/test_locking.py
tests/test_manuscript_findings.py
tests/test_mathlib_none.py
tests/test_migrate.py
tests/test_migrate_v3.py
tests/test_namespace_notes.py
tests/test_new.py
tests/test_next.py
tests/test_noninteractive.py
tests/test_olean_manifest.py
tests/test_outputs_golden.py
tests/test_package_fields.py
tests/test_packaging.py
tests/test_page.py
tests/test_page_repo_head.py
tests/test_page_site.py
tests/test_palomar_check.py
tests/test_palomar_prepare.py
tests/test_palomar_snapshot.py
tests/test_paper.py
tests/test_port_modules.py
tests/test_prior_art.py
tests/test_producer_skew.py
tests/test_promote_audit.py
tests/test_promote_scope.py
tests/test_public_allow.py
tests/test_public_safety.py
tests/test_public_safety_gzip.py
tests/test_public_safety_long_line_stream.py
tests/test_public_safety_scope.py
tests/test_publication_hold.py
tests/test_publish.py
tests/test_receipt_check.py
tests/test_receipt_check_opt_in.py
tests/test_receipt_ci.py
tests/test_receipt_container.py
tests/test_receipt_private_scan.py
tests/test_receipt_producer.py
tests/test_receipt_slurm.py
tests/test_receipt_slurm_artifacts.py
tests/test_receipt_slurm_contracts_preflight.py
tests/test_receipt_slurm_fill_plan.py
tests/test_receipt_slurm_preflight_deps.py
tests/test_receipt_slurm_runtime_preflight.py
tests/test_receipt_slurm_sacct_seal.py
tests/test_receipt_slurm_template_src.py
tests/test_receipt_subdir_package.py
tests/test_receipt_systemd.py
tests/test_recommended.py
tests/test_record.py
tests/test_record_evidence.py
tests/test_record_transitions.py
tests/test_refresh_descendant.py
tests/test_register.py
tests/test_registry_core.py
tests/test_registry_snapshot.py
tests/test_release_script.py
tests/test_release_version.py
tests/test_repo_override.py
tests/test_report.py
tests/test_report_log_required.py
tests/test_reservoir_check.py
tests/test_review_fixes_prior_art.py
tests/test_robustness.py
tests/test_seal_bundle.py
tests/test_search.py
tests/test_search_completeness.py
tests/test_search_declarations.py
tests/test_search_field_coverage.py
tests/test_search_scan.py
tests/test_search_sources.py
tests/test_sibling_packages.py
tests/test_signoff_sidecar.py
tests/test_site_check.py
tests/test_sites.py
tests/test_skills.py
tests/test_smoke_configs.py
tests/test_source_paper_ai.py
tests/test_stack_opt_in.py
tests/test_stacks.py
tests/test_statements_module.py
tests/test_status_scope.py
tests/test_subdir_package.py
tests/test_template_module_headers.py
tests/test_toolchain_advisories.py
tests/test_toolchain_floor.py
tests/test_trust.py
tests/test_update_publication_fields.py
tests/test_update_relocate.py
tests/test_upgrade.py
tests/test_user_default.py
tests/test_validate.py
tests/test_verdict_first.py
tests/test_verify_preflight.py
tests/test_verify_workflow_oidc.py
tests/test_wiki.py