LICENSE
README.md
pyproject.toml
src/factgraph/__init__.py
src/factgraph/__main__.py
src/factgraph/_sdk_errors.py
src/factgraph/cli.py
src/factgraph.egg-info/PKG-INFO
src/factgraph.egg-info/SOURCES.txt
src/factgraph.egg-info/dependency_links.txt
src/factgraph.egg-info/requires.txt
src/factgraph.egg-info/top_level.txt
src/factgraph/adapters/__init__.py
src/factgraph/adapters/problog/__init__.py
src/factgraph/adapters/problog/_parsing.py
src/factgraph/adapters/problog/accept.py
src/factgraph/adapters/problog/diagnostic_emit.py
src/factgraph/adapters/problog/engine_eval.py
src/factgraph/adapters/problog/problog_engine.py
src/factgraph/adapters/problog/problog_export.py
src/factgraph/adapters/problog/problog_import.py
src/factgraph/adapters/problog/provenance.py
src/factgraph/adapters/problog/rule_ext.py
src/factgraph/adapters/pyreason/__init__.py
src/factgraph/adapters/pyreason/_helpers.py
src/factgraph/adapters/pyreason/accept.py
src/factgraph/adapters/pyreason/engine_eval.py
src/factgraph/adapters/pyreason/provenance.py
src/factgraph/adapters/pyreason/rule_ext.py
src/factgraph/adapters/pyreason/runner.py
src/factgraph/adapters/pyreason/session.py
src/factgraph/adapters/pyreason/where_compile.py
src/factgraph/adapters/souffle/__init__.py
src/factgraph/adapters/souffle/diagnostic_emit.py
src/factgraph/adapters/souffle/engine_eval.py
src/factgraph/adapters/souffle/package.py
src/factgraph/adapters/souffle/pred_norm.py
src/factgraph/adapters/souffle/provenance.py
src/factgraph/adapters/souffle/runner.py
src/factgraph/adapters/souffle/souffle_view_gen.py
src/factgraph/adapters/souffle/tsv_v1.py
src/factgraph/adapters/souffle/where_compile.py
src/factgraph/application/__init__.py
src/factgraph/application/_derivation_match_helpers.py
src/factgraph/application/authoring_runtime.py
src/factgraph/application/capabilities.py
src/factgraph/application/derivation_check_runtime.py
src/factgraph/application/derivation_runtime.py
src/factgraph/application/diagnose_runtime.py
src/factgraph/application/entity_view.py
src/factgraph/application/entity_visibility.py
src/factgraph/application/entity_write.py
src/factgraph/application/fact_overlay_runtime.py
src/factgraph/application/ingest_runtime.py
src/factgraph/application/proofframe_runtime.py
src/factgraph/application/query_runtime.py
src/factgraph/application/retract_guard.py
src/factgraph/application/rule_add_condition_runtime.py
src/factgraph/application/rule_disable_runtime.py
src/factgraph/application/rule_literal_replace_runtime.py
src/factgraph/application/schema_mutation_runtime.py
src/factgraph/application/schema_runtime.py
src/factgraph/application/value_validation.py
src/factgraph/application/why_not_runtime.py
src/factgraph/application/workspace_runtime.py
src/factgraph/application/capability_helpers/__init__.py
src/factgraph/application/capability_helpers/_binding.py
src/factgraph/application/capability_helpers/check.py
src/factgraph/application/capability_helpers/diagnose.py
src/factgraph/application/capability_helpers/errors.py
src/factgraph/application/capability_helpers/fact_overlay.py
src/factgraph/application/capability_helpers/frontier.py
src/factgraph/application/capability_helpers/proof_frame.py
src/factgraph/application/capability_helpers/round_events.py
src/factgraph/application/capability_helpers/rule_overlays.py
src/factgraph/application/capability_helpers/why_not.py
src/factgraph/application/explain/__init__.py
src/factgraph/application/explain/diagnostic_assemble.py
src/factgraph/application/explain/diagnostic_projection.py
src/factgraph/application/explain/evidence_tree.py
src/factgraph/application/explain/prober.py
src/factgraph/application/protocol/__init__.py
src/factgraph/application/protocol/certainty.py
src/factgraph/application/protocol/common.py
src/factgraph/application/protocol/derivation.py
src/factgraph/application/protocol/derivation_check.py
src/factgraph/application/protocol/derivation_diagnose.py
src/factgraph/application/protocol/derivation_fact_overlay.py
src/factgraph/application/protocol/derivation_why_not.py
src/factgraph/application/protocol/entity_read.py
src/factgraph/application/protocol/entity_write.py
src/factgraph/application/protocol/evaluate_result.py
src/factgraph/application/protocol/explanation_render.py
src/factgraph/application/protocol/ingest.py
src/factgraph/application/protocol/proofframe.py
src/factgraph/application/protocol/query.py
src/factgraph/application/protocol/rule.py
src/factgraph/application/protocol/rule_add_condition.py
src/factgraph/application/protocol/rule_disable.py
src/factgraph/application/protocol/rule_expr.py
src/factgraph/application/protocol/rule_expr_inspect.py
src/factgraph/application/protocol/rule_expr_lowering.py
src/factgraph/application/protocol/rule_literal_replace.py
src/factgraph/application/protocol/schema_runtime.py
src/factgraph/application/walker/__init__.py
src/factgraph/application/walker/_freeze.py
src/factgraph/application/walker/errors.py
src/factgraph/application/walker/ir.py
src/factgraph/application/walker/keys.py
src/factgraph/application/walker/views.py
src/factgraph/audit/__init__.py
src/factgraph/audit/assertions.py
src/factgraph/audit/authoring_events.py
src/factgraph/audit/dto.py
src/factgraph/audit/evidence_graph.py
src/factgraph/audit/proof_frame_diff.py
src/factgraph/audit/query.py
src/factgraph/audit/reader.py
src/factgraph/audit/round_events.py
src/factgraph/authoring/__init__.py
src/factgraph/authoring/cli.py
src/factgraph/authoring/derivation_compile.py
src/factgraph/authoring/derivation_dsl_parse.py
src/factgraph/authoring/derivations.py
src/factgraph/authoring/diagnostic_codes.py
src/factgraph/authoring/dsl_bridge.py
src/factgraph/authoring/dto.py
src/factgraph/authoring/preflight.py
src/factgraph/authoring/publish.py
src/factgraph/authoring/rule_compile.py
src/factgraph/authoring/rule_dsl_parse.py
src/factgraph/authoring/rules.py
src/factgraph/authoring/schema_compile.py
src/factgraph/authoring/schema_dsl_parse.py
src/factgraph/authoring/schemas.py
src/factgraph/authoring/session.py
src/factgraph/authoring/where_schema_lowering.py
src/factgraph/authoring/workflow.py
src/factgraph/core/__init__.py
src/factgraph/core/annotation/__init__.py
src/factgraph/core/annotation/_certainty.py
src/factgraph/core/annotation/_evidence.py
src/factgraph/core/annotation/_min_max.py
src/factgraph/core/annotation/types.py
src/factgraph/core/derivation/__init__.py
src/factgraph/core/derivation/accept.py
src/factgraph/core/derivation/candidates.py
src/factgraph/core/evidence/__init__.py
src/factgraph/core/evidence/write_protocol.py
src/factgraph/core/mapping/__init__.py
src/factgraph/core/mapping/canon.py
src/factgraph/core/policy/__init__.py
src/factgraph/core/policy/active.py
src/factgraph/core/policy/chosen.py
src/factgraph/core/policy/policy_ir.py
src/factgraph/core/protocol/__init__.py
src/factgraph/core/protocol/digests.py
src/factgraph/core/protocol/idref_v1.py
src/factgraph/core/protocol/tup_v1.py
src/factgraph/core/rules/__init__.py
src/factgraph/core/rules/_trace.py
src/factgraph/core/rules/_trace_narrative.py
src/factgraph/core/rules/_trace_nl.py
src/factgraph/core/rules/backend_profile.py
src/factgraph/core/rules/frontier.py
src/factgraph/core/rules/rule_ast.py
src/factgraph/core/rules/rule_ast_validate.py
src/factgraph/core/rules/rule_ir.py
src/factgraph/core/rules/ruleref_common.py
src/factgraph/core/rules/ruleref_substrate.py
src/factgraph/core/rules/ruleref_types.py
src/factgraph/core/rules/where_ast.py
src/factgraph/core/rules/where_ast_validate.py
src/factgraph/core/rules/where_eval.py
src/factgraph/core/schema/__init__.py
src/factgraph/core/schema/schema_ir.py
src/factgraph/core/schema/schema_repr.py
src/factgraph/core/semantics/__init__.py
src/factgraph/core/semantics/profile.py
src/factgraph/core/store/__init__.py
src/factgraph/core/store/_accept.py
src/factgraph/core/store/_artifact_sidecar.py
src/factgraph/core/store/_builders.py
src/factgraph/core/store/_candidate_evidence_tree.py
src/factgraph/core/store/_candidate_evidence_tree_narrative.py
src/factgraph/core/store/_candidate_evidence_tree_nl.py
src/factgraph/core/store/_candidate_evidence_tree_steps.py
src/factgraph/core/store/_candidate_evidence_tree_summary.py
src/factgraph/core/store/_candidate_provenance_timeline.py
src/factgraph/core/store/_certainty_materializer.py
src/factgraph/core/store/_confidence_kind_resolver.py
src/factgraph/core/store/_evaluate.py
src/factgraph/core/store/_explain_rule_trace.py
src/factgraph/core/store/_explain_support.py
src/factgraph/core/store/_queries.py
src/factgraph/core/store/_query_style_candidates.py
src/factgraph/core/store/_support.py
src/factgraph/core/store/_support_capture.py
src/factgraph/core/store/api.py
src/factgraph/core/store/builders.py
src/factgraph/core/store/database.py
src/factgraph/core/store/evaluation.py
src/factgraph/core/store/ledger.py
src/factgraph/core/store/queries.py
src/factgraph/core/store/runtime.py
src/factgraph/core/store/types.py
src/factgraph/core/view/__init__.py
src/factgraph/core/view/projector.py
src/factgraph/sdk/__init__.py
src/factgraph/sdk/batch.py
src/factgraph/sdk/compile.py
src/factgraph/sdk/error_codes.py
src/factgraph/sdk/errors.py
src/factgraph/sdk/facade.py
src/factgraph/sdk/ingest.py
src/factgraph/sdk/match_runtime.py
src/factgraph/sdk/query_lower.py
src/factgraph/sdk/query_runtime.py
src/factgraph/sdk/schema.py
src/factgraph/sdk/semantics.py
src/factgraph/sdk/store.py
src/factgraph/sdk/dsl/__init__.py
src/factgraph/sdk/dsl/application_rule.py
src/factgraph/sdk/dsl/branch.py
src/factgraph/sdk/dsl/errors.py
src/factgraph/sdk/dsl/expr.py
src/factgraph/sdk/dsl/rule.py
src/factgraph/sdk/dsl/vars.py
src/factgraph/sdk/shells/__init__.py
src/factgraph/sdk/shells/_validation.py
src/factgraph/sdk/shells/check.py
src/factgraph/sdk/shells/diagnose.py
src/factgraph/sdk/shells/fact_overlay.py
src/factgraph/sdk/shells/proof_frame.py
src/factgraph/sdk/shells/proof_frame_diff.py
src/factgraph/sdk/shells/rule_add_condition.py
src/factgraph/sdk/shells/rule_disable.py
src/factgraph/sdk/shells/rule_literal_replace.py
src/factgraph/sdk/shells/why_not.py
tests/test_a20e_registry_final_removal.py
tests/test_annotation_store.py
tests/test_application_capability_helpers.py
tests/test_application_check_protocol.py
tests/test_application_check_runtime.py
tests/test_application_derivation_match_helpers.py
tests/test_application_derivation_runtime.py
tests/test_application_diagnose_protocol.py
tests/test_application_diagnose_runtime_native.py
tests/test_application_diagnose_runtime_non_native.py
tests/test_application_diagnose_sibling_invariant.py
tests/test_application_entity_view.py
tests/test_application_entity_visibility.py
tests/test_application_entity_write.py
tests/test_application_entity_write_retract_guard.py
tests/test_application_fact_overlay_protocol.py
tests/test_application_fact_overlay_runtime_native.py
tests/test_application_fact_overlay_sibling_invariant.py
tests/test_application_ingest_retract_guard.py
tests/test_application_ingest_runtime.py
tests/test_application_proofframe_narrative.py
tests/test_application_proofframe_protocol.py
tests/test_application_proofframe_runtime_native.py
tests/test_application_protocol.py
tests/test_application_query_runtime.py
tests/test_application_retract_guard.py
tests/test_application_rule_add_condition_protocol.py
tests/test_application_rule_add_condition_runtime_native.py
tests/test_application_rule_disable_protocol.py
tests/test_application_rule_disable_runtime_native.py
tests/test_application_rule_literal_replace_protocol.py
tests/test_application_rule_literal_replace_runtime_native.py
tests/test_application_schema_runtime.py
tests/test_application_schema_runtime_cache.py
tests/test_application_why_not_protocol.py
tests/test_application_why_not_runtime.py
tests/test_application_why_not_sibling_invariant.py
tests/test_audit_evidence_graph.py
tests/test_audit_proof_frame_diff.py
tests/test_audit_round_events.py
tests/test_authoring_schema_repr.py
tests/test_branch_identity_rule_inspect.py
tests/test_candidate_evidence_steps.py
tests/test_candidate_provenance_timeline.py
tests/test_capability_helpers_check.py
tests/test_capability_helpers_diagnose.py
tests/test_capability_helpers_invariants.py
tests/test_capability_helpers_proof_frame.py
tests/test_capability_helpers_round_events.py
tests/test_capability_helpers_rule_overlays.py
tests/test_core_annotation_certainty.py
tests/test_core_annotation_evidence.py
tests/test_core_annotation_min_max.py
tests/test_core_rules_frontier.py
tests/test_core_rules_frontier_drift_gates.py
tests/test_core_rules_where_eval_disabled_locators.py
tests/test_db_attach_lifecycle.py
tests/test_db_identity_substrate.py
tests/test_emission_contract.py
tests/test_explain_cross_engine_conformance.py
tests/test_factgraph_workspace_lifecycle.py
tests/test_identity_reject_wording.py
tests/test_ledger_concurrency.py
tests/test_problog_diagnostic_emit.py
tests/test_problog_engine_eval.py
tests/test_problog_evidence_graph.py
tests/test_problog_export.py
tests/test_problog_import_cycle_hygiene.py
tests/test_problog_provenance_v0.py
tests/test_problog_rule_ext.py
tests/test_problog_semantics_profile_migration.py
tests/test_protocol_v1.py
tests/test_public_inference_factgraph_create.py
tests/test_pyreason_accept.py
tests/test_pyreason_branch_bounds_carrier.py
tests/test_pyreason_e2e.py
tests/test_pyreason_engine_eval.py
tests/test_pyreason_evidence_graph.py
tests/test_pyreason_provenance_v0.py
tests/test_pyreason_rule_ext.py
tests/test_pyreason_runner.py
tests/test_pyreason_semantics_profile_migration.py
tests/test_pyreason_session.py
tests/test_pyreason_where_compile.py
tests/test_relationship_schema.py
tests/test_schema_field_add_lifecycle.py
tests/test_schema_mutation_lifecycle.py
tests/test_sdk_assertion_record_set.py
tests/test_sdk_assertion_record_set_view_filters.py
tests/test_sdk_assertion_view_unification.py
tests/test_sdk_assertions_namespace.py
tests/test_sdk_batch_application_delegate.py
tests/test_sdk_batch_primary_identity.py
tests/test_sdk_check.py
tests/test_sdk_diagnose.py
tests/test_sdk_entities_create.py
tests/test_sdk_entities_delete.py
tests/test_sdk_entities_exists.py
tests/test_sdk_entities_namespace.py
tests/test_sdk_error_hierarchy.py
tests/test_sdk_facade_application_delegate.py
tests/test_sdk_fact_overlay.py
tests/test_sdk_fg_assertions_namespace.py
tests/test_sdk_fields_namespace.py
tests/test_sdk_find_partial_identity.py
tests/test_sdk_frozen_assertion_view.py
tests/test_sdk_frozen_view_read_runtime_boundaries.py
tests/test_sdk_frozen_view_surface.py
tests/test_sdk_g1_invariants.py
tests/test_sdk_g2_invariants.py
tests/test_sdk_g3_invariants.py
tests/test_sdk_g4_invariants.py
tests/test_sdk_g5_invariants.py
tests/test_sdk_ingest_application_delegate.py
tests/test_sdk_namespace_removal.py
tests/test_sdk_proof_frame.py
tests/test_sdk_proof_frame_diff.py
tests/test_sdk_query_policies.py
tests/test_sdk_read_match_runtime.py
tests/test_sdk_redesign_alias_parity.py
tests/test_sdk_redesign_invariants.py
tests/test_sdk_redesign_namespace_shape.py
tests/test_sdk_retract_guard_integration.py
tests/test_sdk_rule_add_condition.py
tests/test_sdk_rule_disable.py
tests/test_sdk_rule_literal_replace.py
tests/test_sdk_schema_primary_key_required.py
tests/test_sdk_schema_repr.py
tests/test_sdk_schema_three_split.py
tests/test_sdk_set_add_application_delegate.py
tests/test_sdk_validation.py
tests/test_sdk_where_version_hard_remove.py
tests/test_sdk_why_not.py
tests/test_souffle_aggregate_compile.py
tests/test_souffle_diagnostic_emit.py
tests/test_souffle_evidence_graph.py
tests/test_souffle_provenance_v0.py
tests/test_souffle_witness_view_gen_v1.py
tests/test_souffle_witness_where_compile_v1.py
tests/test_walker_errors.py
tests/test_walker_invariants.py
tests/test_walker_ir.py
tests/test_walker_keys.py
tests/test_walker_views_frozen_tuple.py
tests/test_walker_views_proof_frame.py
tests/test_walker_views_proof_frame_diff.py
tests/test_walker_views_support.py
tests/test_write_protocol_annotations.py