How icog-labs-dev/hybrid-miner works
Hybrid Miner provides two mining interfaces: standalone mining of trusted MeTTa graphs, and a source-grounded workflow that validates semantic documents, emits facts plus provenance, admits them against bundle-derived PeTTa checks, recovers exact evidence, and builds typed candidate records. The map retains the raw graph adapter alongside the document stages. Inter-module details are limited to excerpted references and explicit README workflow statements; unsampled implementations are represented only where the README identifies their role.
Main entry points: emit_petta.py Fact and Metadata Emitter · build_pattern_records.py Candidate Record Builder · exact_matches.py Exact Evidence Recovery · petta_gate.py PeTTa Evidence Gate
Components 19
Contracts and Ontology
- Semantic Document
src/hybrid_miner/contracts/semantic_document.py - Pattern Record
src/hybrid_miner/contracts/pattern_record.py - Ontology Bundle
src/hybrid_miner/ontology/bundle.py
Document Admission
- JSONL Validation
src/hybrid_miner/ingestion/semantic_documents.py - Admission Manifest
src/hybrid_miner/ingestion/admission.py - PeTTa Evidence Gate
src/hybrid_miner/ingestion/petta_gate.py
Graph Emission
- Fact and Metadata Emitter
src/hybrid_miner/emission/emit_petta.py - Rule Graph Encoder
src/hybrid_miner/emission/semantic_rules.py - Symbol Codec
src/hybrid_miner/emission/symbols.py
Mining and Evidence
- Standalone Graph Mining
src/hybrid_miner/mining/petta_runner.py - Admitted Support Mining
src/hybrid_miner/mining/admitted_support.py - Exact Evidence Recovery
src/hybrid_miner/mining/exact_matches.py - Pattern Canonicalization
src/hybrid_miner/mining/canonicalize_patterns.py - Pattern Predicate Rules
src/hybrid_miner/mining/pattern_predicates.py - Pattern Type Rules
src/hybrid_miner/mining/pattern_types.py - Candidate Record Builder
src/hybrid_miner/mining/build_pattern_records.py
Other components
- Package User
- PeTTa Runtime
- Hyperon Miner
Connections 29
- Package User → Standalone Graph Mining: submits trusted facts
README.md - Standalone Graph Mining → PeTTa Runtime: runs graph queries
README.md - Standalone Graph Mining → Hyperon Miner: mines patterns
README.md - Package User → JSONL Validation: submits documents
README.md - Package User → Ontology Bundle: supplies definitions
README.md - JSONL Validation → Semantic Document: validates records
src/hybrid_miner/ingestion/semantic_documents.py - JSONL Validation → Ontology Bundle: validates against
src/hybrid_miner/ingestion/semantic_documents.py - JSONL Validation → Fact and Metadata Emitter: provides accepted JSONL
README.md - Fact and Metadata Emitter → Semantic Document: revalidates documents
README.md - Fact and Metadata Emitter → Ontology Bundle: encodes with
src/hybrid_miner/emission/emit_petta.py - Fact and Metadata Emitter → Symbol Codec: encodes symbols
src/hybrid_miner/emission/emit_petta.py - Fact and Metadata Emitter → Rule Graph Encoder: encodes source rules
src/hybrid_miner/emission/emit_petta.py - Fact and Metadata Emitter → PeTTa Evidence Gate: emits artifacts for checks
README.md - PeTTa Evidence Gate → PeTTa Runtime: checks graph evidence
README.md - PeTTa Evidence Gate → Ontology Bundle: derives schema from
README.md - PeTTa Evidence Gate → Admission Manifest: records selection
README.md - Admitted Support Mining → PeTTa Evidence Gate: gates admitted facts
README.md - Admitted Support Mining → PeTTa Runtime: mines support
README.md - Admitted Support Mining → Hyperon Miner: uses miner runtime
README.md - Admitted Support Mining → Exact Evidence Recovery: produces support input
README.md - Exact Evidence Recovery → PeTTa Runtime: recovers bindings
README.md - Exact Evidence Recovery → Pattern Canonicalization: canonicalizes patterns
src/hybrid_miner/mining/exact_matches.py - Exact Evidence Recovery → Admission Manifest: checks exclusions
src/hybrid_miner/mining/exact_matches.py - Exact Evidence Recovery → Candidate Record Builder: provides verified bindings
README.md - Candidate Record Builder → Pattern Canonicalization: checks canonical form
src/hybrid_miner/mining/build_pattern_records.py - Candidate Record Builder → Pattern Predicate Rules: derives predicate constraints
src/hybrid_miner/mining/build_pattern_records.py - Candidate Record Builder → Pattern Type Rules: derives type constraints
src/hybrid_miner/mining/build_pattern_records.py - Candidate Record Builder → Pattern Record: constructs typed records
src/hybrid_miner/mining/build_pattern_records.py - Candidate Record Builder → Ontology Bundle: validates against
src/hybrid_miner/mining/build_pattern_records.py