LICENSE
MANIFEST.in
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/reach_explain.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/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/reach_explain.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/branch_input_case_runtime.py
src/factgraph/application/capabilities.py
src/factgraph/application/captured_evaluation_query_run_runtime.py
src/factgraph/application/captured_receipt_evidence_runtime.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/evaluation_expectation_runtime.py
src/factgraph/application/evaluation_query_runtime.py
src/factgraph/application/evaluation_query_target_runtime.py
src/factgraph/application/evaluation_run_bundle_runtime.py
src/factgraph/application/evaluation_run_evidence_runtime.py
src/factgraph/application/evaluation_run_runtime.py
src/factgraph/application/evaluation_run_v1_runtime.py
src/factgraph/application/evaluation_run_verification_runtime.py
src/factgraph/application/evaluation_scenario_runtime.py
src/factgraph/application/fact_overlay_runtime.py
src/factgraph/application/frozen_evaluation_target_v2.py
src/factgraph/application/goal_plan_v1_runtime.py
src/factgraph/application/goal_plan_v2_runtime.py
src/factgraph/application/ingest_runtime.py
src/factgraph/application/policy_explanation_runtime.py
src/factgraph/application/policy_runtime.py
src/factgraph/application/portable_evaluation_runtime.py
src/factgraph/application/product_compilation_context_v1.py
src/factgraph/application/product_explanation_data_v2.py
src/factgraph/application/product_result_views_v2.py
src/factgraph/application/proofframe_runtime.py
src/factgraph/application/query_effective_snapshot_runtime.py
src/factgraph/application/query_runtime.py
src/factgraph/application/relation_provider_v1_runtime.py
src/factgraph/application/relation_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/rule_structure.py
src/factgraph/application/scenario_run_runtime.py
src/factgraph/application/scenario_v1_runtime.py
src/factgraph/application/scenario_v2_runtime.py
src/factgraph/application/schema_mutation_runtime.py
src/factgraph/application/schema_runtime.py
src/factgraph/application/semantic_address_runtime.py
src/factgraph/application/semantic_candidate_runtime.py
src/factgraph/application/semantic_port_runtime.py
src/factgraph/application/value_validation.py
src/factgraph/application/weighted_choice_problog_v2.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/explain/structure_keys.py
src/factgraph/application/protocol/__init__.py
src/factgraph/application/protocol/captured_evaluation_query_run.py
src/factgraph/application/protocol/captured_receipt_evidence.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/evaluation_evidence_capture_v2.py
src/factgraph/application/protocol/evaluation_expectation.py
src/factgraph/application/protocol/evaluation_query.py
src/factgraph/application/protocol/evaluation_run.py
src/factgraph/application/protocol/evaluation_run_bundle.py
src/factgraph/application/protocol/evaluation_run_v1.py
src/factgraph/application/protocol/evaluation_run_v2.py
src/factgraph/application/protocol/evaluation_run_verification.py
src/factgraph/application/protocol/evaluation_scenario.py
src/factgraph/application/protocol/execution_profile_v2.py
src/factgraph/application/protocol/explanation_render.py
src/factgraph/application/protocol/goal_plan_v1.py
src/factgraph/application/protocol/ingest.py
src/factgraph/application/protocol/policy.py
src/factgraph/application/protocol/policy_explanation.py
src/factgraph/application/protocol/proofframe.py
src/factgraph/application/protocol/provenance_v1.py
src/factgraph/application/protocol/query.py
src/factgraph/application/protocol/query_effective_snapshot.py
src/factgraph/application/protocol/relation_provider_v1.py
src/factgraph/application/protocol/relation_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/rule_structure.py
src/factgraph/application/protocol/scenario_run.py
src/factgraph/application/protocol/scenario_v1.py
src/factgraph/application/protocol/scenario_v2.py
src/factgraph/application/protocol/schema_runtime.py
src/factgraph/application/protocol/sealed_evaluation_result_v1.py
src/factgraph/application/protocol/sealed_evaluation_scenario_v1.py
src/factgraph/application/protocol/sealed_evaluation_v1.py
src/factgraph/application/protocol/semantic_address.py
src/factgraph/application/protocol/semantic_candidates.py
src/factgraph/application/protocol/semantic_port.py
src/factgraph/application/protocol/structure_render.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/meta_history.py
src/factgraph/audit/package_export.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/annotation_v1.py
src/factgraph/core/protocol/digests.py
src/factgraph/core/protocol/idref_v1.py
src/factgraph/core/protocol/lthash.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/meta_policy.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/premise_filter.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/evaluation_query_builder.py
src/factgraph/sdk/facade.py
src/factgraph/sdk/ingest.py
src/factgraph/sdk/match_runtime.py
src/factgraph/sdk/policy_authoring.py
src/factgraph/sdk/product_authoring.py
src/factgraph/sdk/product_evaluation_outcome.py
src/factgraph/sdk/product_scenario_execution.py
src/factgraph/sdk/program_witnesses.py
src/factgraph/sdk/query_lower.py
src/factgraph/sdk/query_runtime.py
src/factgraph/sdk/rule_program.py
src/factgraph/sdk/rule_program_runtime.py
src/factgraph/sdk/schema.py
src/factgraph/sdk/semantics.py
src/factgraph/sdk/store.py
src/factgraph/sdk/support_witnesses.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_fault_boundaries.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_ingest_runtime_fault_boundaries.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_missing_projection.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_artifact_sidecar_error_contract.py
tests/test_audit_evidence_graph.py
tests/test_audit_package_export.py
tests/test_audit_package_export_fault_boundaries.py
tests/test_audit_proof_frame_diff.py
tests/test_audit_round_events.py
tests/test_authoring_preflight_fault_boundaries.py
tests/test_authoring_schema_repr.py
tests/test_branch_identity_rule_inspect.py
tests/test_candidate_evidence_steps.py
tests/test_candidate_evidence_tree_error_contract.py
tests/test_candidate_provenance_timeline.py
tests/test_candidate_provenance_timeline_error_contract.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_certainty_summary_error_contract.py
tests/test_cli_error_contract.py
tests/test_cli_fault_boundaries.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_frontier_error_contract.py
tests/test_core_rules_ruleref_types_error_contract.py
tests/test_core_rules_trace_error_contract.py
tests/test_core_rules_where_eval_disabled_locators.py
tests/test_db_attach_lifecycle.py
tests/test_db_identity_substrate.py
tests/test_dbtx_v2_golden.py
tests/test_derivation_accept_fault_boundaries.py
tests/test_derivation_actor_meta.py
tests/test_derivation_candidates_error_contract.py
tests/test_derivation_output_compat.py
tests/test_diagnose_runtime_fault_boundaries.py
tests/test_emission_contract.py
tests/test_entity_write_fault_boundaries.py
tests/test_eval_candidates.py
tests/test_evaluate_result_error_contract.py
tests/test_evaluation_expectation_runtime_error_contract.py
tests/test_evaluation_query_runtime_error_contract.py
tests/test_evaluation_run_runtime_error_contract.py
tests/test_evaluation_scenario_runtime_error_contract.py
tests/test_explain_cross_engine_conformance.py
tests/test_explanation_render_error_contract.py
tests/test_factgraph_workspace_lifecycle.py
tests/test_goal_plan_v1_runtime_fault_boundaries.py
tests/test_identity_reject_wording.py
tests/test_ledger_concurrency.py
tests/test_ledger_error_contract.py
tests/test_native_effective_relation_capture.py
tests/test_policy_runtime_error_contract.py
tests/test_premise_admissibility_filter.py
tests/test_premise_filter_error_contract.py
tests/test_premise_predicate_allowance.py
tests/test_premise_predicate_block.py
tests/test_premise_scoped_view.py
tests/test_prober_fault_boundaries.py
tests/test_problog_accept_error_contract.py
tests/test_problog_binding_import.py
tests/test_problog_engine_eval.py
tests/test_problog_engine_eval_error_contract.py
tests/test_problog_evidence_graph.py
tests/test_problog_export.py
tests/test_problog_import_cycle_hygiene.py
tests/test_problog_provenance_error_contract.py
tests/test_problog_provenance_v0.py
tests/test_problog_rule_ext.py
tests/test_problog_rule_ext_error_contract.py
tests/test_problog_semantics_profile_migration.py
tests/test_problog_virtual_domains.py
tests/test_product_explanation_data_v2_fault_boundaries.py
tests/test_protocol_v1.py
tests/test_public_inference_factgraph_create.py
tests/test_pyreason_accept.py
tests/test_pyreason_accept_error_contract.py
tests/test_pyreason_branch_bounds_carrier.py
tests/test_pyreason_e2e.py
tests/test_pyreason_engine_eval.py
tests/test_pyreason_engine_eval_error_contract.py
tests/test_pyreason_evidence_graph.py
tests/test_pyreason_provenance_error_contract.py
tests/test_pyreason_provenance_v0.py
tests/test_pyreason_rule_ext.py
tests/test_pyreason_rule_ext_error_contract.py
tests/test_pyreason_runner.py
tests/test_pyreason_semantics_profile_migration.py
tests/test_pyreason_session.py
tests/test_pyreason_session_error_contract.py
tests/test_pyreason_where_compile.py
tests/test_query_effective_snapshot_runtime_error_contract.py
tests/test_relationship_schema.py
tests/test_round_events_fault_boundaries.py
tests/test_rule_surface_parity.py
tests/test_scalar_serialization_refactor.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_append_meta.py
tests/test_sdk_assertions_namespace.py
tests/test_sdk_batch_application_delegate.py
tests/test_sdk_batch_fault_boundaries.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_ingest_fault_boundaries.py
tests/test_sdk_namespace_removal.py
tests/test_sdk_policy_authoring_error_contract.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_fault_boundaries.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_store_fault_boundaries.py
tests/test_sdk_validation.py
tests/test_sdk_where_version_hard_remove.py
tests/test_sdk_why_not.py
tests/test_semantics_profile_error_contract.py
tests/test_slice3b_phase1_atomic_flip.py
tests/test_slice3b_phase1_read_equivalence.py
tests/test_slice3b_phase2_meta_events.py
tests/test_slice3b_phase2_receipt_as_of.py
tests/test_slice3b_phase3_chosen_seq.py
tests/test_slice3b_phase3_lazy_meta.py
tests/test_slice3b_phase3_meta_policy.py
tests/test_slice3b_phase3_tx_lift.py
tests/test_slice3b_reserved_annotation_namespace.py
tests/test_souffle_aggregate_compile.py
tests/test_souffle_evidence_graph.py
tests/test_souffle_provenance_error_contract.py
tests/test_souffle_provenance_v0.py
tests/test_souffle_view_gen_error_contract.py
tests/test_souffle_virtual_domains.py
tests/test_souffle_witness_view_gen_v1.py
tests/test_souffle_witness_where_compile_v1.py
tests/test_storage_hardening_phase1.py
tests/test_store_database_fault_boundaries.py
tests/test_store_evaluate_error_contract.py
tests/test_store_runtime_error_contract.py
tests/test_store_support_constructor_contract.py
tests/test_store_support_error_contract.py
tests/test_structure_render_error_contract.py
tests/test_v1_public_surface_exports.py
tests/test_virtual_entity_domain_projection.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