CHANGELOG.md
CONTRIBUTING.md
JEV_CONNECTION_CHANGELOG.md
LICENSE
MANIFEST.in
PHASE_C_README_KO.md
PHASE_C_VALIDATION.md
PUBLIC_IMPORT_NOTICE.md
README.ko.md
README.md
SECURITY.md
VALIDATION_REPORT.md
pyproject.toml
.github/workflows/tests.yml
antemortem_structural_lab.egg-info/PKG-INFO
antemortem_structural_lab.egg-info/SOURCES.txt
antemortem_structural_lab.egg-info/dependency_links.txt
antemortem_structural_lab.egg-info/entry_points.txt
antemortem_structural_lab.egg-info/requires.txt
antemortem_structural_lab.egg-info/top_level.txt
baselines/crosshair_claim_contracts.py
benchmarks/e5_public_cases.py
benchmarks/e6_public_cases.py
containers/e5-generator.Dockerfile
containers/e6-generator.Dockerfile
containers/e7-generator.Dockerfile
docs/E3_EVALUATION.md
docs/E4_IMPLEMENTATION.md
docs/E5_EVALUATION_CONTRACT.json
docs/E5_EVALUATION_REPORT.md
docs/E5_INTEGRATION.md
docs/E5_RESULTS.json
docs/E6_CODE_FREEZE.json
docs/E6_EVALUATION_CONTRACT.json
docs/E6_EVALUATION_REPORT.md
docs/E6_INTEGRATION.md
docs/E6_RESULTS.json
docs/E7_CODE_FREEZE.json
docs/E7_EVALUATION_CONTRACT.json
docs/E7_EVALUATION_REPORT.md
docs/E7_KNOWLEDGE.md
docs/E7_RESULTS.json
docs/RELEASE_VALIDATION.md
docs/THIRD_PARTY.md
docs/releases/v0.1.0.md
docs/releases/v0.1.1.md
docs/releases/v0.2.0.md
docs/releases/v0.3.0a1.md
docs/releases/v0.4.0a1.md
docs/releases/v0.5.0a1.md
docs/releases/v0.6.0a1.md
docs/releases/v0.7.0a1.md
examples/correct.py
examples/nested_equal.py
examples/nested_ge_le.py
examples/nested_lt_eq.py
examples/two_paths.py
examples/claim_only/monotone_bug.py
examples/claim_only/shift_bug.py
examples/claim_only/sum_clean.py
examples/claim_only/symmetric_not_sum.py
examples/claim_only/symmetry_bug.py
examples/discovery/sequence-renamed-spec.json
examples/discovery/sequence-spec.json
examples/discovery/sequence_oracle.py
examples/discovery/sequence_renamed.py
examples/discovery/sequence_target.py
examples/discovery/state-spec.json
examples/discovery/state_oracle.py
examples/discovery/state_target.py
examples/knowledge/clean.py
examples/knowledge/corroboration.py
examples/knowledge/corroboration_oracle.py
examples/knowledge/counterevidence.json
examples/knowledge/observations.json
examples/knowledge/public_model.py
examples/knowledge/source-failures.json
examples/knowledge/source-ir.json
examples/knowledge/source-provenance.json
examples/knowledge/source-spec.json
examples/knowledge/source.py
examples/knowledge/source_oracle.py
examples/knowledge/target-ir.json
examples/knowledge/target-provenance.json
examples/knowledge/target-spec.json
examples/knowledge/target.py
examples/knowledge/target_oracle.py
examples/mold/oracle.py
examples/mold/renamed-spec.json
examples/mold/spec.json
examples/mold/target.py
examples/temporal/clean_target.py
examples/temporal/renamed-contract.json
examples/temporal/renamed_oracle.py
examples/temporal/renamed_target.py
examples/temporal/stack-contract.json
examples/temporal/stack_oracle.py
examples/temporal/stack_target.py
scripts/check-discovery-isolation.py
scripts/check-e6-freeze.py
scripts/check-e7-freeze.py
scripts/check-isolation.py
scripts/check-knowledge-isolation.py
scripts/check-public-scope.py
scripts/check-temporal-isolation.py
scripts/check-wheel.py
scripts/connect-typesafe-jev.ps1
scripts/evaluate-e4.py
scripts/evaluate-e5.py
scripts/evaluate-e6.py
scripts/evaluate-e7.py
scripts/publish-e4.py
scripts/publish-e5.py
scripts/publish-e6.py
scripts/publish-e7.py
scripts/publish-github.ps1
scripts/release-update.ps1
tests/test_claim.py
tests/test_discovery_analysis.py
tests/test_discovery_engine.py
tests/test_e4_boundary.py
tests/test_e4_cli.py
tests/test_e5_core.py
tests/test_e5_evaluation.py
tests/test_e5_publish.py
tests/test_e5_service.py
tests/test_e5_testing.py
tests/test_e6_cli_boundary.py
tests/test_e6_code_freeze.py
tests/test_e6_efficiency.py
tests/test_e6_evaluation.py
tests/test_e6_publish.py
tests/test_e6_service.py
tests/test_e6_temporal.py
tests/test_e7_cli_boundary.py
tests/test_e7_engine.py
tests/test_e7_evaluation.py
tests/test_e7_freeze.py
tests/test_e7_knowledge.py
tests/test_e7_publish.py
tests/test_lab.py
tests/test_mold_boundary.py
tests/test_mold_engine.py
tests/test_property_testing.py
tests/test_structural_constraints.py
tomolab/__init__.py
tomolab/__main__.py
tomolab/cast.py
tomolab/claim.py
tomolab/cli.py
tomolab/engine.py
tomolab/jev.py
tomolab/knowledge_cli.py
tomolab/model.py
tomolab/mri.py
tomolab/replay.py
tomolab/discovery/__init__.py
tomolab/discovery/analysis.py
tomolab/discovery/boundary.py
tomolab/discovery/efficient.py
tomolab/discovery/engine.py
tomolab/discovery/features.py
tomolab/discovery/hypothesis_adapter.py
tomolab/discovery/knowledge.py
tomolab/discovery/knowledge_boundary.py
tomolab/discovery/knowledge_engine.py
tomolab/discovery/knowledge_examples.py
tomolab/discovery/knowledge_protocol.py
tomolab/discovery/knowledge_service.py
tomolab/discovery/knowledge_store.py
tomolab/discovery/knowledge_worker.py
tomolab/discovery/native_stateful.py
tomolab/discovery/predicates.py
tomolab/discovery/protocol.py
tomolab/discovery/schema.py
tomolab/discovery/service.py
tomolab/discovery/solver.py
tomolab/discovery/stateful.py
tomolab/discovery/store.py
tomolab/discovery/symbolic.py
tomolab/discovery/temporal.py
tomolab/discovery/temporal_boundary.py
tomolab/discovery/temporal_engine.py
tomolab/discovery/temporal_protocol.py
tomolab/discovery/temporal_service.py
tomolab/discovery/temporal_transfer.py
tomolab/discovery/temporal_worker.py
tomolab/discovery/transfer.py
tomolab/discovery/worker.py
tomolab/mold/__init__.py
tomolab/mold/boundary.py
tomolab/mold/engine.py
tomolab/mold/property_testing.py
tomolab/mold/protocol.py
tomolab/mold/relations.py
tomolab/mold/schema.py
tomolab/mold/service.py
tomolab/mold/structural.py
tomolab/mold/worker.py