Expand description
Temporal Command - Temporal Constraint Mining
Mines temporal constraints (method call sequences) from a codebase.
§Algorithm
- Extract method call sequences from each function
- Build frequency table of (before, after) pairs (bigrams)
- Calculate confidence: count(A->B) / count(A)
- Filter by min_support and min_confidence
- Optionally mine trigrams (3-method sequences)
§TIGER Mitigations
- T05: MAX_TRIGRAMS=10000 with BinaryHeap top-K selection
- E03: –timeout flag (default 60s)
§Example
# Mine constraints from a directory
tldr temporal src/ --min-support 2 --min-confidence 0.5
# Filter for specific method
tldr temporal src/ --query open
# Include trigram patterns
tldr temporal src/ --include-trigramsStructs§
- Bigram
Counter - Counter for bigrams with example tracking
- Sequence
Extractor - Extractor for method call sequences from source code.
- Temporal
Args - Mine temporal constraints (method call sequences) from a codebase.
Functions§
- extract_
sequences - Extract method call sequences from source code
- filter_
by_ query - Filter constraints by query string
- filter_
trigrams_ by_ query - Filter trigrams by query string
- format_
temporal_ text - Format a temporal report as human-readable text
- mine_
bigrams - Mine bigram constraints from sequences
- mine_
trigrams - Mine trigram patterns with MAX_TRIGRAMS limit (TIGER-05)
- run
- Execute the temporal command