feat(α-8 Phase A): ontology +5 horizontal types + graph_typed_filter module + flag

[Hashevolution]

Summary

α-8 implementation Phase A — opt-in typed entity filter that preserves the evidence-of-absence signal α-7 broke.

Design memo: `docs/design/v0.4-alpha-8-ontology-typed-filter.md` §1.5-1.6 + §2.4 R1-R5.

Diff stats

File	Change	Size
`core/ontology.py`	+163 lines (4.9 KB → 14.9 KB)	under 20 KB gate ✓
`core/graph_typed_filter.py`	NEW (10.7 KB)	under 20 KB gate ✓
`tests/test_graph_typed_filter.py`	NEW (33 tests)	—

Ontology extensions

• `ENTITY_TYPES` registry — 9 types (4 existing + 5 new horizontal: event/date/location/quantity/project)
• 6 new relations: OCCURRED_AT / HAPPENED_ON / LOCATED_IN / INVOLVES / MEASURED_AS / WORKED_ON
• ALLOWED_RELATIONS extended; LABEL_TO_TYPE Korean labels added
• Helpers: is_active_entity_type / get_entity_type_info / list_active_entity_types
• Self-test extended (4 existing + 6 new α-8 cases)

Mother-platform rule #1 compliance: all 5 new types horizontal. Deferred (regulation/transaction/recipe) per design memo §2.3.

Backward compat (§3.3): existing 931 wiki entities frontmatter unchanged; superset values; no migration needed.

graph_typed_filter module (R1-R5)

Rule	Implementation
R1	Never silently drop type slot — empty rows emitted for query-relevant types
R2	"(none found in graph for this query)" explicit string
R3	Empty ≠ type-not-in-query (classifier identifies relevance)
R4	Order by intent ranking
R5	Cap ≤ 10 type slots; never truncate WITHIN slots

Public API: `is_typed_filter_disabled()`, `classify_query_intent(query)`, `group_entities_by_type(entities, query_types, cap)`, `format_typed_context(groups)`, `apply_typed_filter(query, entities, cap)`.

Polarity: `JAMES_DISABLE_TYPED_FILTER` env (disable-polarity, default OFF = filter ON when wired; unset/empty/"0"/"false" → False, "1"/"true"/etc → True).

Verification

```
$ python -m pytest tests/test_graph_typed_filter.py
33 passed, 4 warnings in 0.05s

$ python -m pytest tests/ -k "ontology or typed_filter or graph"
267 passed, 3213 deselected, 4 warnings in 1.04s

$ python -m ruff check core/ontology.py core/graph_typed_filter.py tests/test_graph_typed_filter.py
All checks passed!
```

Out of scope (Phase B-D)

• Phase B: matrix cell `C_rag-ontology` + intent classifier wiring at `routes/query.py`
• Phase C: N=3 baseline + 5-tier remeasurement
• Phase D: closure analysis + `docs/ARCHITECTURE.md §5.7` typed filter section + acceptance test (multihop_rag null query + Ali poison_01/04)

Bench numbers

해당 없음 — Phase A 는 module + flag 만 존재. `routes/query.py` 통합은 Phase B. Default 상태에서 production /query/ path 변동 없음.

`Quality delta: exempt (label: code — A/B oracle infrastructure; production path unchanged, integration deferred to Phase B per design memo)`

🤖 Generated with Claude Code