LICENSE
README.md
pyproject.toml
kpopper.egg-info/PKG-INFO
kpopper.egg-info/SOURCES.txt
kpopper.egg-info/dependency_links.txt
kpopper.egg-info/entry_points.txt
kpopper.egg-info/requires.txt
kpopper.egg-info/top_level.txt
scripts/__init__.py
scripts/assessment.py
scripts/assessment.schema.json
scripts/cli.py
scripts/consolidate.py
scripts/core_migration.py
scripts/document-guide.md
scripts/document_cli.py
scripts/document_html.py
scripts/documents.py
scripts/edit_hook.py
scripts/export_graph.py
scripts/expression_cli.py
scripts/expressions.py
scripts/followup_core.py
scripts/followup_daily.py
scripts/followup_install.py
scripts/followup_triggers.py
scripts/followups.py
scripts/followups_cli.py
scripts/followups_hook.py
scripts/ground_hook.py
scripts/history_activation.py
scripts/history_adapter.py
scripts/history_authoring.py
scripts/history_bootstrap.py
scripts/history_branch.py
scripts/history_bundle.py
scripts/history_cli.py
scripts/history_contract.py
scripts/history_direct.py
scripts/history_edits.py
scripts/history_group_activation.py
scripts/history_hypotheses.py
scripts/history_hypothesis_import.py
scripts/history_identity.py
scripts/history_migration.py
scripts/history_paths.py
scripts/history_prospective.py
scripts/history_recovery_cli.py
scripts/history_remeasure.py
scripts/history_runtime.py
scripts/history_store.py
scripts/history_transaction.py
scripts/history_watch.py
scripts/ingestion.py
scripts/ingestion_delivery.py
scripts/ingestion_hooks.py
scripts/knowledge_cli.py
scripts/knowledge_views.py
scripts/mapping.py
scripts/onboarding.py
scripts/page_lint.py
scripts/page_measurements.py
scripts/page_words.py
scripts/pending_cli.py
scripts/pending_grounding.py
scripts/pending_publication.py
scripts/plugin_runtime.py
scripts/project_modes.py
scripts/provenance.py
scripts/publication_provider.py
scripts/recording.py
scripts/remeasure.py
scripts/render_page.py
scripts/sameness.py
scripts/search.py
scripts/session_activity.py
scripts/session_cli.py
scripts/session_hook.py
scripts/session_start.py
scripts/start-guide.md
scripts/verify_page.js
scripts/versions.py
scripts/watch.py
scripts/watch_delivery.py
scripts/watch_hook.py
scripts/watch_shared.py
scripts/workspace.py
scripts/workspace_cli.py
scripts/applications/__init__.py
scripts/applications/annotated_doc.py
scripts/applications/document.py
scripts/applications/hub.py
scripts/applications/page.py
scripts/document/frame.js
scripts/document/layer.css
scripts/document/layer.js
scripts/page/components.css
scripts/page/dates.js
scripts/page/page.css
scripts/page/page.js
scripts/reasoning/__init__.py
scripts/reasoning/assessment.py
scripts/reasoning/assessment.schema.json
scripts/reasoning/authoring.py
scripts/reasoning/basis.py
scripts/reasoning/build_runtime.py
scripts/reasoning/context.py
scripts/reasoning/contract.py
scripts/reasoning/conversion.py
scripts/reasoning/evaluate.py
scripts/reasoning/history_assessment.py
scripts/reasoning/history_assessment.schema.json
scripts/reasoning/ingestion.py
scripts/reasoning/language.py
scripts/reasoning/modules.py
scripts/reasoning/operations.py
scripts/reasoning/page_assessment.py
scripts/reasoning/projection.py
scripts/reasoning/query.py
scripts/reasoning/runtime.py
scripts/reasoning/scenario.py
scripts/reasoning/snapshot.py
scripts/reasoning/transport.py
scripts/reasoning/lean/Audit.lean
scripts/reasoning/lean/Composition.lean
scripts/reasoning/lean/CompositionProtocol.lean
scripts/reasoning/lean/CompositionTypes.lean
scripts/reasoning/lean/Kernel.lean
scripts/reasoning/lean/Main.lean
scripts/reasoning/lean/Proof.lean
scripts/reasoning/lean/Protocol.lean
scripts/reasoning/lean/lakefile.toml
scripts/reasoning/lean/lean-toolchain
scripts/reasoning/lean/Kpopper/Query.lean
scripts/reasoning/lean/Kpopper/QueryProtocol.lean
scripts/reasoning/lean/Kpopper/QueryTypes.lean
scripts/reasoning/lean/Kpopper/QueryWire.lean
scripts/reasoning/native/README.md
scripts/reasoning/native/darwin-arm64.kpopper-runtime
scripts/reasoning/native/darwin-x86_64.kpopper-runtime
scripts/reasoning/native/gmp-source-and-build.tar.gz
scripts/reasoning/native/linux-aarch64.kpopper-runtime
scripts/reasoning/native/linux-x86_64.kpopper-runtime
scripts/reasoning/native/windows-x86_64.kpopper-runtime
scripts/reasoning/third_party/COPYING.LESSERv3
scripts/reasoning/third_party/COPYINGv3
scripts/reasoning/third_party/GCC-COPYING.RUNTIME
scripts/reasoning/third_party/GCC-runtime-NOTICES.txt
scripts/reasoning/third_party/KPOPPER-MIT.txt
scripts/reasoning/third_party/LLVM-LICENSE.txt
scripts/reasoning/third_party/Lean-APACHE-2.0.txt
scripts/reasoning/third_party/MinGW-w64-runtime-LICENSE.txt
scripts/reasoning/third_party/THIRD_PARTY_NOTICES.txt
scripts/reasoning/third_party/libuv-LICENSE-extra.txt
scripts/reasoning/third_party/libuv-LICENSE.txt
scripts/reasoning/third_party/libuv-inet-ISC.txt
scripts/reasoning/third_party/libuv-tree-BSD.txt
scripts/reasoning/third_party/mimalloc-MIT.txt
scripts/session/__init__.py
scripts/session/bootstrap.txt
scripts/session/context.py
scripts/session/core.py
scripts/session/embeddings.py
scripts/session/entry.py
scripts/session/mcp_server.py
scripts/session/model.py
scripts/session/reader.py
scripts/session/rules.txt
scripts/session/search.py
scripts/session/settings.py
scripts/session/store.py
scripts/session/view.py
scripts/session/lean/Main.lean
scripts/session/lean/ProofAudit.lean
scripts/session/lean/lean-toolchain
tests/test_applications.py
tests/test_arrangements.py
tests/test_assessment.py
tests/test_birth_concurrency.py
tests/test_cache.py
tests/test_capture_scope.py
tests/test_ci_execution.py
tests/test_ci_selection.py
tests/test_ci_sharding.py
tests/test_cli_surface.py
tests/test_components.py
tests/test_computational_scenario.py
tests/test_consolidate.py
tests/test_consolidate_privacy.py
tests/test_contract.py
tests/test_contribution_capabilities.py
tests/test_contribution_routes.py
tests/test_copilot_adapter.py
tests/test_core_authoring.py
tests/test_core_composition.py
tests/test_core_composition_writes.py
tests/test_core_consolidate_cli.py
tests/test_core_conversion.py
tests/test_core_default_gate.py
tests/test_core_followups.py
tests/test_core_infer_blocked_rule.py
tests/test_core_ingestion.py
tests/test_core_migration.py
tests/test_core_operation_context.py
tests/test_core_operational_acceptance.py
tests/test_core_query_transfer.py
tests/test_core_remeasure.py
tests/test_core_replacements.py
tests/test_core_watch.py
tests/test_document_cli.py
tests/test_document_html.py
tests/test_documents.py
tests/test_export_expressions.py
tests/test_export_graph.py
tests/test_expression_authoring.py
tests/test_followup_install.py
tests/test_followup_triggers.py
tests/test_followups.py
tests/test_followups_integration.py
tests/test_gemini_adapter.py
tests/test_grounding.py
tests/test_history_activation.py
tests/test_history_acts.py
tests/test_history_adapter.py
tests/test_history_advanced.py
tests/test_history_authoring.py
tests/test_history_batch_final_world.py
tests/test_history_batch_receipts.py
tests/test_history_bootstrap.py
tests/test_history_branch.py
tests/test_history_branch_cli.py
tests/test_history_branch_direct.py
tests/test_history_bundles.py
tests/test_history_contract.py
tests/test_history_cross_directory.py
tests/test_history_direct.py
tests/test_history_direct_auxiliary.py
tests/test_history_direct_integration.py
tests/test_history_dispositions.py
tests/test_history_edits.py
tests/test_history_generations.py
tests/test_history_group_activation.py
tests/test_history_hypotheses.py
tests/test_history_hypothesis_import.py
tests/test_history_identity.py
tests/test_history_import_contract.py
tests/test_history_ingestion.py
tests/test_history_integration_regressions.py
tests/test_history_legacy_names.py
tests/test_history_migration.py
tests/test_history_migration_context.py
tests/test_history_operation_context.py
tests/test_history_paths.py
tests/test_history_paths_integration.py
tests/test_history_pending_guards.py
tests/test_history_proposal_capabilities.py
tests/test_history_prospective.py
tests/test_history_protocol_conformance.py
tests/test_history_read_portability.py
tests/test_history_reconcile.py
tests/test_history_recovery_diagnostics.py
tests/test_history_remeasure.py
tests/test_history_report_integration.py
tests/test_history_review_regressions.py
tests/test_history_runtime.py
tests/test_history_scoped_direct.py
tests/test_history_scoped_reports.py
tests/test_history_shared_extensions.py
tests/test_history_snapshot_capture.py
tests/test_history_store.py
tests/test_history_subset.py
tests/test_history_t2_seams.py
tests/test_history_transaction.py
tests/test_history_watch.py
tests/test_hypotheses.py
tests/test_ingestion.py
tests/test_ingestion_batch.py
tests/test_ingestion_citations.py
tests/test_ingestion_delivery.py
tests/test_ingestion_delivery_cli.py
tests/test_ingestion_hooks.py
tests/test_ingestion_queue.py
tests/test_knowledge_target_capabilities.py
tests/test_knowledge_views.py
tests/test_layout.py
tests/test_legacy_helper_transactions.py
tests/test_legacy_layout.py
tests/test_legacy_transaction_seams.py
tests/test_migration_cutover.py
tests/test_migration_storage.py
tests/test_mode_assessment_integration.py
tests/test_mode_reader_integration.py
tests/test_mode_review_regressions.py
tests/test_mode_writer_integration.py
tests/test_new_record_history_default.py
tests/test_nudge.py
tests/test_overlay_hoist.py
tests/test_page_document_reuse.py
tests/test_page_links.py
tests/test_page_measurements.py
tests/test_pending_grounding.py
tests/test_pending_integration.py
tests/test_pending_publication.py
tests/test_plugin_runtime.py
tests/test_predicate_literals.py
tests/test_prefix_legend.py
tests/test_priors.py
tests/test_process_boundaries.py
tests/test_reach.py
tests/test_readable_expressions.py
tests/test_reader_import_locks.py
tests/test_reasoning_assessment.py
tests/test_reasoning_basis.py
tests/test_reasoning_build_cache.py
tests/test_reasoning_capture_failures.py
tests/test_reasoning_composition.py
tests/test_reasoning_composition_acceptance.py
tests/test_reasoning_composition_kernel.py
tests/test_reasoning_composition_review.py
tests/test_reasoning_composition_schema.py
tests/test_reasoning_context.py
tests/test_reasoning_contract.py
tests/test_reasoning_declaration_preservation.py
tests/test_reasoning_distribution.py
tests/test_reasoning_export_search.py
tests/test_reasoning_extension_contract.py
tests/test_reasoning_history.py
tests/test_reasoning_history_assessment.py
tests/test_reasoning_kernel.py
tests/test_reasoning_limits.py
tests/test_reasoning_page_assessment.py
tests/test_reasoning_page_consumer.py
tests/test_reasoning_projection.py
tests/test_reasoning_provenance_consumers.py
tests/test_reasoning_query_consumers.py
tests/test_reasoning_query_ir.py
tests/test_reasoning_query_kernel.py
tests/test_reasoning_query_runtime.py
tests/test_reasoning_runtime.py
tests/test_reasoning_session_context.py
tests/test_reasoning_snapshot.py
tests/test_reasoning_temporal.py
tests/test_reasoning_unsupported_consumers.py
tests/test_reasoning_workspace_open.py
tests/test_release.py
tests/test_remeasure.py
tests/test_replaced.py
tests/test_reversals.py
tests/test_sameness.py
tests/test_search.py
tests/test_session.py
tests/test_session_activity.py
tests/test_session_context.py
tests/test_session_embeddings.py
tests/test_session_ingestion.py
tests/test_session_navigation.py
tests/test_session_pagination.py
tests/test_session_search.py
tests/test_shards.py
tests/test_skills.py
tests/test_start.py
tests/test_structured_expression_safety.py
tests/test_structured_expressions.py
tests/test_temporal_evidence_guards.py
tests/test_temporal_operational_consumers.py
tests/test_update.py
tests/test_update_flow.py
tests/test_versions_core.py
tests/test_watch.py
tests/test_watch_identity.py
tests/test_watch_layout.py
tests/test_watch_shared.py