.env.example
.gitignore
CHANGELOG.md
LICENSE
README.md
pyproject.toml
.github/workflows/ci.yml
configs/default.yaml
configs/demo.yaml
configs/ablations/no_normalization.yaml
configs/ablations/no_ontology.yaml
configs/experiments/baseline_embedding.yaml
configs/experiments/baseline_tfidf.yaml
configs/experiments/deterministic_only.yaml
configs/experiments/full_mafhoom.yaml
configs/experiments/modal_rules.yaml
data/annotations/benchmark_manifest.json
data/annotations/cache_ctrl_gold.json
data/annotations/dma_gold.json
data/annotations/fifo_gold.json
data/annotations/gpio_gold.json
data/annotations/interrupt_ctrl_gold.json
data/annotations/pwm_gold.json
data/annotations/uart_gold.json
data/annotations/watchdog_gold.json
data/benchmarks/manifest.json
data/benchmarks/gold/cache_ctrl_dirty_gold.json
data/benchmarks/gold/fifo_dirty_gold.json
data/benchmarks/gold/fifo_gold.json
data/benchmarks/gold/uart_dirty_gold.json
data/benchmarks/specs/adc_ctrl_spec.md
data/benchmarks/specs/apb_spec.md
data/benchmarks/specs/axi_lite_spec.md
data/benchmarks/specs/cache_ctrl_spec.md
data/benchmarks/specs/cache_ctrl_spec_dirty.md
data/benchmarks/specs/dma_spec.md
data/benchmarks/specs/fifo_spec_dirty.md
data/benchmarks/specs/gpio_spec.md
data/benchmarks/specs/i2c_spec.md
data/benchmarks/specs/interrupt_ctrl_spec.md
data/benchmarks/specs/pwm_spec.md
data/benchmarks/specs/spi_spec.md
data/benchmarks/specs/uart_spec.md
data/benchmarks/specs/uart_spec_dirty.md
data/benchmarks/specs/watchdog_spec.md
data/benchmarks/splits/ood.json
data/benchmarks/splits/test.json
data/benchmarks/splits/train.json
data/schemas/annotation_schema.json
data/splits/ood_domains.json
data/splits/test_domains.json
data/splits/train_domains.json
data/synthetic/adc_ctrl_spec.md
data/synthetic/apb_spec.md
data/synthetic/axi_lite_spec.md
data/synthetic/cache_ctrl_spec.md
data/synthetic/dma_spec.md
data/synthetic/fifo_spec.md
data/synthetic/gpio_spec.md
data/synthetic/i2c_spec.md
data/synthetic/interrupt_ctrl_spec.md
data/synthetic/pwm_spec.md
data/synthetic/spi_spec.md
data/synthetic/uart_spec.md
data/synthetic/watchdog_spec.md
docs/annotation_guidelines.md
docs/api_usage.md
docs/architecture.md
docs/experiments.md
docs/hrir_specification.md
docs/limitations.md
docs/reproducibility.md
examples/fifo_spec.md
mafhoom/__init__.py
mafhoom/cli.py
mafhoom/config.py
mafhoom/pipeline.py
mafhoom/py.typed
mafhoom.egg-info/PKG-INFO
mafhoom.egg-info/SOURCES.txt
mafhoom.egg-info/dependency_links.txt
mafhoom.egg-info/entry_points.txt
mafhoom.egg-info/requires.txt
mafhoom.egg-info/top_level.txt
mafhoom/api/__init__.py
mafhoom/api/client.py
mafhoom/backends/__init__.py
mafhoom/backends/html_report.py
mafhoom/backends/sva.py
mafhoom/backends/testplan.py
mafhoom/backends/traceability.py
mafhoom/evaluation/__init__.py
mafhoom/evaluation/error_taxonomy.py
mafhoom/evaluation/human_eval.py
mafhoom/evaluation/metrics.py
mafhoom/evaluation/statistical.py
mafhoom/experiments/__init__.py
mafhoom/experiments/experiment_matrix.py
mafhoom/experiments/runner.py
mafhoom/extraction/__init__.py
mafhoom/extraction/claude_extractor.py
mafhoom/extraction/decomposer.py
mafhoom/extraction/embedding_classifier.py
mafhoom/extraction/rule_detector.py
mafhoom/extraction/semantic_parser.py
mafhoom/extraction/tfidf_classifier.py
mafhoom/hrir/__init__.py
mafhoom/ingestion/__init__.py
mafhoom/ingestion/ingest.py
mafhoom/models/__init__.py
mafhoom/models/document.py
mafhoom/models/enums.py
mafhoom/models/findings.py
mafhoom/models/hrir.py
mafhoom/normalization/__init__.py
mafhoom/normalization/normalizer.py
mafhoom/ontology/__init__.py
mafhoom/ontology/hardware_ontology.yaml
mafhoom/ontology/loader.py
mafhoom/passes/__init__.py
mafhoom/passes/ambiguity.py
mafhoom/passes/base.py
mafhoom/passes/change_impact.py
mafhoom/passes/completeness.py
mafhoom/passes/contradiction.py
mafhoom/passes/cross_reference.py
mafhoom/passes/dependency.py
mafhoom/passes/duplicate.py
mafhoom/passes/hybrid_filter.py
mafhoom/passes/schema_validation.py
mafhoom/passes/state_consistency.py
mafhoom/passes/timing_consistency.py
mafhoom/traceability/__init__.py
mafhoom/utils/__init__.py
prompts/ambiguity_analysis/v1.txt
prompts/assertion_generation/v1.txt
prompts/atomic_decomposition/v1.txt
prompts/contradiction_adjudication/v1.txt
prompts/hrir_extraction/v1.txt
prompts/requirement_detection/v1.txt
prompts/test_plan_generation/v1.txt
rtl/fifo_sva_bind.sv
rtl/fifo_sync.sv
rtl/fifo_tb.sv
scripts/perturbations.py
scripts/run_baseline_comparison.py
scripts/run_benchmark_suite.py
scripts/run_evaluated_experiments.py
scripts/run_offline_experiments.py
scripts/run_robustness_tests.py
scripts/run_statistical_tests.py
tests/__init__.py
tests/api/__init__.py
tests/api/test_client.py
tests/integration/__init__.py
tests/integration/test_pipeline.py
tests/unit/__init__.py
tests/unit/test_backends.py
tests/unit/test_change_impact.py
tests/unit/test_experiment_matrix.py
tests/unit/test_extraction.py
tests/unit/test_hrir_schema.py
tests/unit/test_human_eval.py
tests/unit/test_ingestion.py
tests/unit/test_normalization.py
tests/unit/test_ontology.py
tests/unit/test_passes.py
tests/unit/test_perturbations.py
tests/unit/test_semantic_parser.py
tests/unit/test_statistical.py
tests/unit/test_tfidf_classifier.py