LICENSE
README.md
pyproject.toml
src/reasonsmith/__init__.py
src/reasonsmith/analysis.py
src/reasonsmith/autoformalize.py
src/reasonsmith/certificate.py
src/reasonsmith/cli.py
src/reasonsmith/conformance.py
src/reasonsmith/demo.py
src/reasonsmith/drift.py
src/reasonsmith/evidence.py
src/reasonsmith/explain.py
src/reasonsmith/explanations.py
src/reasonsmith/ltlf.py
src/reasonsmith/manyvalued.py
src/reasonsmith/plugins.py
src/reasonsmith/proposer.py
src/reasonsmith/published_counts.py
src/reasonsmith/render.py
src/reasonsmith/report.py
src/reasonsmith/rulelang.py
src/reasonsmith/semantic_laws.py
src/reasonsmith/spec.py
src/reasonsmith/sut.py
src/reasonsmith/table7.toml
src/reasonsmith/verdict.py
src/reasonsmith.egg-info/PKG-INFO
src/reasonsmith.egg-info/SOURCES.txt
src/reasonsmith.egg-info/dependency_links.txt
src/reasonsmith.egg-info/entry_points.txt
src/reasonsmith.egg-info/requires.txt
src/reasonsmith.egg-info/top_level.txt
src/reasonsmith/adapters/__init__.py
src/reasonsmith/adapters/callable.py
src/reasonsmith/adapters/jsonl.py
src/reasonsmith/adapters/rules.py
src/reasonsmith/artifacts/__init__.py
src/reasonsmith/artifacts/ground_program.py
src/reasonsmith/artifacts/reason_trace.py
src/reasonsmith/challenges/__init__.py
src/reasonsmith/challenges/ecoa_reg_b_1002_4_a_no_disparate_treatment.toml
src/reasonsmith/challenges/ecoa_reg_b_1002_9_a_1_timing_of_notice.toml
src/reasonsmith/challenges/ecoa_reg_b_1002_9_a_2_written_statement.toml
src/reasonsmith/challenges/ecoa_reg_b_1002_9_b_2_principal_reasons_complete.toml
src/reasonsmith/challenges/ecoa_reg_b_1002_9_b_2_specific_reasons.toml
src/reasonsmith/challenges/ecoa_reg_b_1002_9_c_2_incompleteness_notice_runs_out.toml
src/reasonsmith/challenges/ecoa_reg_b_adverse_action.toml
src/reasonsmith/challenges/eu_ai_act_art12_1_automatic_logging.toml
src/reasonsmith/challenges/eu_ai_act_art12_2_traceability_monitoring.toml
src/reasonsmith/challenges/eu_ai_act_art12_record_keeping.toml
src/reasonsmith/challenges/eu_ai_act_art13_1_transparency_deployers.toml
src/reasonsmith/challenges/eu_ai_act_art13_2_instructions_for_use.toml
src/reasonsmith/challenges/eu_ai_act_art13_transparency.toml
src/reasonsmith/challenges/eu_ai_act_art53_1_a_technical_documentation.toml
src/reasonsmith/challenges/eu_ai_act_art53_1_b_downstream_documentation.toml
src/reasonsmith/challenges/eu_ai_act_art53_1_c_copyright_policy.toml
src/reasonsmith/challenges/eu_ai_act_art53_1_d_training_content_summary.toml
src/reasonsmith/challenges/eu_ai_act_art55_1_a_model_evaluation.toml
src/reasonsmith/challenges/eu_ai_act_art55_1_b_systemic_risk_assessment.toml
src/reasonsmith/challenges/eu_ai_act_art55_1_c_serious_incident_reporting.toml
src/reasonsmith/challenges/eu_ai_act_art55_1_d_cybersecurity_protection.toml
src/reasonsmith/challenges/fda_gmlp_samd.toml
src/reasonsmith/challenges/gdpr_art22_1_automated_decision_prohibition.toml
src/reasonsmith/challenges/gdpr_art22_1_no_prohibited_decision_for_any_input.toml
src/reasonsmith/challenges/gdpr_art22_3_safeguards_human_intervention.toml
src/reasonsmith/challenges/gdpr_art22_meaningful_information.toml
src/reasonsmith/challenges/gdpr_recital71_error_risk_minimised.toml
src/reasonsmith/challenges/gdpr_recital71_meaningful_explanation.toml
src/reasonsmith/challenges/manifest.toml
src/reasonsmith/challenges/nist_ai_rmf_risk_evidence.toml
src/reasonsmith/engines/__init__.py
src/reasonsmith/engines/certificate.py
src/reasonsmith/engines/counterfactual.py
src/reasonsmith/engines/observed.py
src/reasonsmith/engines/probed.py
src/reasonsmith/engines/proved.py
src/reasonsmith/engines/record.py
src/reasonsmith/engines/temporal.py
src/reasonsmith/examples/__init__.py
src/reasonsmith/examples/__main__.py
src/reasonsmith/examples/language_model_notices.py
src/reasonsmith/examples/neural_scorer.py
src/reasonsmith/examples/probabilistic_scorer.py
src/reasonsmith/examples/sample_decisions.jsonl
src/reasonsmith/examples/symbolic_rules.py
src/reasonsmith/examples/truncating_credit_system.py
src/reasonsmith/packs/ecoa.toml
src/reasonsmith/packs/eu_ai_act.toml
src/reasonsmith/packs/gdpr.toml
src/reasonsmith/packs/gpai.toml
src/reasonsmith/packs/table7.toml
tests/test_adoption_surface.py
tests/test_artifact_protocol.py
tests/test_audience_view.py
tests/test_autoformalize.py
tests/test_certificate_engine.py
tests/test_claimed_semantics.py
tests/test_contains_predicate.py
tests/test_counterfactual_invariance.py
tests/test_deviation_duty.py
tests/test_docs_adopting.py
tests/test_docs_audiences.py
tests/test_docs_example_output.py
tests/test_docs_formal.py
tests/test_docs_language_model.py
tests/test_docs_readme_transcripts.py
tests/test_docs_refinement.py
tests/test_docs_semantics.py
tests/test_docs_showcase.py
tests/test_docs_three_systems.py
tests/test_domain_gate.py
tests/test_drift.py
tests/test_ecoa_either_or.py
tests/test_ecoa_specific_reasons.py
tests/test_engine_plugins.py
tests/test_equivalence_connective.py
tests/test_evidence_basis.py
tests/test_explain_command.py
tests/test_findings_nesyarena.py
tests/test_html_report.py
tests/test_json_audience.py
tests/test_json_record.py
tests/test_json_schema_version.py
tests/test_kleene_three_valued.py
tests/test_language_definition.py
tests/test_ltlf_backend.py
tests/test_ltlf_boundary.py
tests/test_nesyarena_conformance.py
tests/test_open_texture.py
tests/test_pack_analysis.py
tests/test_packaged_examples.py
tests/test_probed_engine.py
tests/test_proposer.py
tests/test_published_counts.py
tests/test_reasonsmith.py
tests/test_release_discipline.py
tests/test_required_closure_permissive.py
tests/test_semantic_laws.py
tests/test_semantics_agreement.py
tests/test_social_card.py
tests/test_spec_truncation.py
tests/test_strict_comparison_boundary.py
tests/test_sufficient_reasons.py
tests/test_time_domain.py
tests/test_trigger_counting_is_differential.py
tests/test_until_since_operators.py
tests/test_v02_core.py
tests/test_v02_stage2.py
tests/test_v02_stage3.py
tests/test_vacuous_trigger.py