AGENTS.md
CONTRACT.md
LICENSE
MANIFEST.in
Makefile
README.md
pyproject.toml
.github/workflows/experiment-stage.yml
.github/workflows/experiment.yml
.github/workflows/publish.yml
.github/workflows/test.yml
.github/workflows/verify.yml
docs/argument-model.md
docs/argument-reconstruction.md
docs/argument-service.md
docs/aspic-method.md
docs/aspic-view-v1.schema.json
docs/aspic-view.schema.json
docs/design-aim.md
docs/eal3-composition.md
docs/eal3-design.md
docs/eal3-experiment-methodology.md
docs/eal3-syntax-comparison.md
docs/grounded-reasoning.md
docs/language.md
docs/mcp-and-tools.md
docs/mcp-architecture.md
docs/packaging.md
docs/reasoning-modes.md
docs/sources.md
docs/vocabulary.md
examples/api-load-test/README.md
examples/api-load-test/aspic-compiled.eal
examples/api-load-test/aspic-fixture.json
examples/api-load-test/aspic-source.eal
examples/api-load-test/aspic-tools.toml
examples/api-load-test/aspic_compiled_demo.py
examples/api-load-test/aspic_demo.py
examples/api-load-test/aspic_fixture_collector.py
examples/api-load-test/collect_results.py
examples/api-load-test/mcp.toml
examples/api-load-test/recompute_synthetic.py
examples/api-load-test/report.json
examples/api-load-test/run.py
examples/api-load-test/source.eal
examples/api-load-test/tools.toml
examples/aspic-keywords/README.md
examples/aspic-keywords/collector.py
examples/aspic-keywords/demo.py
examples/aspic-keywords/fixture.json
examples/aspic-keywords/formal.eal
examples/aspic-keywords/source.eal
examples/aspic-keywords/tools.toml
examples/aspic-keywords/output/compiled-view.json
examples/aspic-keywords/output/formal-view.json
examples/aspic-keywords/output/summary.json
examples/multi-environment/README.md
examples/multi-environment/collector.py
examples/multi-environment/fixtures.json
examples/multi-environment/run.py
examples/multi-environment/source.eal
examples/multi-environment/tools.toml
examples/scoped-review/README.md
examples/scoped-review/collector.py
examples/scoped-review/review.eal
examples/scoped-review/run.py
examples/scoped-review/tools.toml
experiments/__init__.py
experiments/model_transfer/README.md
experiments/model_transfer/WORKFLOW.md
experiments/model_transfer/__init__.py
experiments/model_transfer/accounting.py
experiments/model_transfer/adoption_costs.py
experiments/model_transfer/allocation_assessment.py
experiments/model_transfer/analyse.py
experiments/model_transfer/annotation_provenance.py
experiments/model_transfer/annotations.py
experiments/model_transfer/answers.py
experiments/model_transfer/artifacts.py
experiments/model_transfer/batch_simulation.py
experiments/model_transfer/benchmark.py
experiments/model_transfer/bounded_statistics.py
experiments/model_transfer/cadence-diagnostic-plan.json
experiments/model_transfer/cadence-information-design.json
experiments/model_transfer/cadence-plan.json
experiments/model_transfer/calibration.py
experiments/model_transfer/cases.py
experiments/model_transfer/collector.py
experiments/model_transfer/comparisons.py
experiments/model_transfer/conditions.py
experiments/model_transfer/conventional_reasoner.py
experiments/model_transfer/corpus_cases.py
experiments/model_transfer/corpus_context.py
experiments/model_transfer/corpus_logic.py
experiments/model_transfer/corpus_reference.py
experiments/model_transfer/decision_statistics.py
experiments/model_transfer/design.py
experiments/model_transfer/diagnostic-plan.json
experiments/model_transfer/diagnostic_design.py
experiments/model_transfer/diagnostic_inference.py
experiments/model_transfer/diagnostic_measurement.py
experiments/model_transfer/diagnostic_preparation.py
experiments/model_transfer/diagnostic_reporting.py
experiments/model_transfer/diagnostic_resources.py
experiments/model_transfer/diagnostics.py
experiments/model_transfer/evaluation-tasks.example.json
experiments/model_transfer/execution.py
experiments/model_transfer/information-design.json
experiments/model_transfer/information_config.py
experiments/model_transfer/information_design.py
experiments/model_transfer/journal.py
experiments/model_transfer/nuisance.py
experiments/model_transfer/outcomes.py
experiments/model_transfer/pilot_data.py
experiments/model_transfer/plan.json
experiments/model_transfer/plan_information.py
experiments/model_transfer/progress.py
experiments/model_transfer/project.py
experiments/model_transfer/prompts.py
experiments/model_transfer/protocol.json
experiments/model_transfer/provenance.py
experiments/model_transfer/provider.py
experiments/model_transfer/reasoning_context.py
experiments/model_transfer/records.py
experiments/model_transfer/rehearse.py
experiments/model_transfer/reporting.py
experiments/model_transfer/requirements.lock
experiments/model_transfer/resources.py
experiments/model_transfer/run_state.py
experiments/model_transfer/runner.py
experiments/model_transfer/scoring.py
experiments/model_transfer/session.py
experiments/model_transfer/session_recovery.py
experiments/model_transfer/statistical_quantiles.py
experiments/model_transfer/task_case.py
experiments/model_transfer/task_context.py
experiments/model_transfer/task_corpus.json
experiments/model_transfer/task_manifest.py
experiments/model_transfer/threshold_method.py
experiments/model_transfer/trajectory_simulation.py
experiments/model_transfer/validate_design.py
experiments/model_transfer/verification-eal3.md
experiments/model_transfer/verification-eal31.md
experiments/model_transfer/verification.md
experiments/model_transfer/workflow.py
experiments/model_transfer/results/run-36432530106.md
experiments/model_transfer/validation/design-validation-screening.json
experiments/model_transfer/validation/design-validation.json
experiments/model_transfer/validation/eal3-language.json
experiments/model_transfer/validation/eal31-composition.json
experiments/model_transfer/validation/rehearsals.json
experiments/model_transfer/validation/runtime-rehearsals.json
experiments/model_transfer/validation/throughput.json
experiments/model_transfer/validation/wrapper.json
experiments/transfer_study/README.md
experiments/transfer_study/__init__.py
experiments/transfer_study/__main__.py
experiments/transfer_study/analysis.py
experiments/transfer_study/calibration.py
experiments/transfer_study/design.py
experiments/transfer_study/inference.py
experiments/transfer_study/mock_model.py
experiments/transfer_study/model_gateway.py
experiments/transfer_study/openai_responses.py
experiments/transfer_study/operations.py
experiments/transfer_study/protocol.json
experiments/transfer_study/workspace.py
experiments/transfer_study/demo/eal-authoring-example.eal
experiments/transfer_study/demo/eal-authoring-tools.toml
experiments/transfer_study/demo/plan.json
experiments/transfer_study/demo/seed/README.md
experiments/transfer_study/demo/seed/measurement.json
experiments/transfer_study/demo/seed/probe.py
experiments/transfer_study/verification/calibration.json
experiments/transfer_study/verification/results.md
grammar/EAL.g4
scripts/check_distribution.py
scripts/check_release_tag.py
scripts/distribution_smoke.py
scripts/experiment_pipeline.py
scripts/generate_parser.py
skills/eal-assessment-routing/SKILL.md
skills/engineer-argumentation-languages/SKILL.md
skills/engineer-argumentation-languages/agents/openai.yaml
skills/engineer-argumentation-languages/assets/icon.svg
skills/engineer-argumentation-languages/references/design-contract.md
skills/engineer-argumentation-languages/references/expert-language-design.md
skills/engineer-argumentation-languages/references/implementation-patterns.md
skills/engineer-argumentation-languages/references/mcp-execution.md
skills/engineer-argumentation-languages/references/reasoning-modes.md
skills/engineer-argumentation-languages/references/reasoning-semantics.md
skills/engineer-argumentation-languages/references/sources.md
src/eal/__init__.py
src/eal/abstractions.py
src/eal/acquisition_coordination.py
src/eal/api_load_methods.py
src/eal/aspic.py
src/eal/aspic_compiler.py
src/eal/aspic_export.py
src/eal/builtin_methods.py
src/eal/catalogue.py
src/eal/cli.py
src/eal/client_transports.py
src/eal/collection_identity.py
src/eal/collection_scheduler.py
src/eal/command_process.py
src/eal/command_supervisor.py
src/eal/composition.py
src/eal/credentials.py
src/eal/dialectic.py
src/eal/discovery.py
src/eal/evaluator.py
src/eal/expressions.py
src/eal/extensions.py
src/eal/formatter.py
src/eal/host.py
src/eal/host_redaction.py
src/eal/knowledge.py
src/eal/limits.py
src/eal/mcp_guard.py
src/eal/methods.py
src/eal/model.py
src/eal/model_context.py
src/eal/modes.py
src/eal/observation_reuse.py
src/eal/operation_contracts.py
src/eal/operations.py
src/eal/packets.py
src/eal/parser.py
src/eal/planning.py
src/eal/propositions.py
src/eal/reachability.py
src/eal/registered_assessment.py
src/eal/runtime.py
src/eal/sampled_negative.py
src/eal/scope_transfer.py
src/eal/semantics.py
src/eal/server.py
src/eal/server_auth.py
src/eal/server_settings.py
src/eal/source_printer.py
src/eal/store.py
src/eal/tool_acquisition.py
src/eal/generated/EALLexer.py
src/eal/generated/EALParser.py
src/eal/generated/EALVisitor.py
src/eal/generated/__init__.py
src/eal/reasoning/__init__.py
src/eal/reasoning/abductive.py
src/eal/reasoning/analogical.py
src/eal/reasoning/causal.py
src/eal/reasoning/counterfactual.py
src/eal/reasoning/deductive.py
src/eal/reasoning/inductive.py
src/eal/reasoning/strategy.py
src/eal/reasoning/structured.py
src/eal/reasoning/temporal.py
src/eal/reasoning/validation.py
src/engineering_argument_language.egg-info/PKG-INFO
src/engineering_argument_language.egg-info/SOURCES.txt
src/engineering_argument_language.egg-info/dependency_links.txt
src/engineering_argument_language.egg-info/entry_points.txt
src/engineering_argument_language.egg-info/requires.txt
src/engineering_argument_language.egg-info/top_level.txt
tests/test_acquisition_coordination.py
tests/test_ai_annotation_provenance.py
tests/test_api_load_methods.py
tests/test_aspic.py
tests/test_aspic_compiler.py
tests/test_aspic_compiler_entrypoints.py
tests/test_aspic_export.py
tests/test_aspic_extensions.py
tests/test_aspic_formal_annotations.py
tests/test_aspic_keywords_example.py
tests/test_aspic_pyarg.py
tests/test_binding_contract_review.py
tests/test_builtin_method_specs.py
tests/test_catalogue.py
tests/test_cli_catalogue.py
tests/test_client_transports.py
tests/test_collection_budgets.py
tests/test_collection_identity.py
tests/test_collection_scheduler.py
tests/test_command_process.py
tests/test_composed_dialectic.py
tests/test_composed_language.py
tests/test_dialectic.py
tests/test_discovery.py
tests/test_distribution_metadata.py
tests/test_eal3_frontend.py
tests/test_eal3_integration.py
tests/test_eal3_runtime.py
tests/test_eal3_syntax.py
tests/test_evaluator.py
tests/test_execution_contract_review.py
tests/test_experiment_pipeline.py
tests/test_extension_runtime.py
tests/test_formatter.py
tests/test_frontend_contract_review.py
tests/test_host.py
tests/test_host_credentials.py
tests/test_host_limits.py
tests/test_host_redaction.py
tests/test_http_origin.py
tests/test_investigation_improvements.py
tests/test_knowledge.py
tests/test_language.py
tests/test_language_version.py
tests/test_load_test_example.py
tests/test_mcp.py
tests/test_mcp_lifetime.py
tests/test_mcp_transports.py
tests/test_method_extensions.py
tests/test_method_worker_limits.py
tests/test_model_transfer.py
tests/test_model_transfer_answers.py
tests/test_model_transfer_corpus.py
tests/test_model_transfer_design.py
tests/test_model_transfer_diagnostics.py
tests/test_model_transfer_execution.py
tests/test_model_transfer_information_design.py
tests/test_model_transfer_records.py
tests/test_model_transfer_rehearsal.py
tests/test_model_transfer_reporting.py
tests/test_model_transfer_session.py
tests/test_model_transfer_task.py
tests/test_model_transfer_workflow.py
tests/test_modes.py
tests/test_multi_environment_example.py
tests/test_observation_reuse.py
tests/test_packets.py
tests/test_planning.py
tests/test_qualified_packets.py
tests/test_reachability_companion.py
tests/test_reasoning_contract_review.py
tests/test_reasoning_pipeline_contract.py
tests/test_registered_assessment.py
tests/test_release_tag.py
tests/test_revision_contract.py
tests/test_runtime.py
tests/test_sampled_negative.py
tests/test_scope_transfer_language.py
tests/test_scoped_composition.py
tests/test_semantic_review.py
tests/test_server_auth.py
tests/test_server_settings.py
tests/test_service_workflow.py
tests/test_store_initialisation.py
tests/test_store_lifecycle.py
tests/test_transfer_inference.py
tests/test_transfer_study.py
tests/test_typed_propositions.py
tools/investigation-validator/README.md
tools/investigation-validator/provenance.json
tools/investigation-validator/assets/investigation-protocol.template.json
tools/investigation-validator/scripts/validate_design.py
tools/investigation-validator/scripts/validate_investigation.py
tools/investigation-validator/scripts/validate_workflow.py