# Solver／Rule Engine × LLM

CURRENT_STATUS: UNKNOWN
OBSERVATION: SPEC_ONLY
FRESHNESS: UNKNOWN
PAGE_TYPE: reference
CANONICAL_URL: /tools/ea-078-solver-rule-engine-llm
CLAIM_IDS: none
EVIDENCE_IDS: EA-078-R11-RESEARCH, EA-078-R11-WEB-READBACK
UNKNOWN_IDS: EA-078-UNKNOWN-01, EA-078-UNKNOWN-CURRENTNESS
OPS_IDS: none

## Summary
LLM-to-formalization/typed-input adapter plus deterministic solver/policy engine. Preserve solver status, constraint model, policy version, feasibility/optimality state and validation evidence.

## Current judgment
LLM-to-formalization/typed-input adapter plus deterministic solver/policy engine. Preserve solver status, constraint model, policy version, feasibility/optimality state and validation evidence.

## Scope
Solver／Rule Engine × LLM

## Confirmed

## UNKNOWN
- EA-078-UNKNOWN-01: preserve authority OPEN_UNKNOWN.
- EA-078-UNKNOWN-CURRENTNESS: 外部根拠の再確認日がcanonical body/control-planeで確定していないため、currentnessはUNKNOWNとして保持する。日付を推測補完しない。

## Evidence
- EA-078-R11-RESEARCH (RESEARCH): EA-078 監査済みresearch / canonical revision binding
- EA-078-R11-WEB-READBACK (IMPL): EA-078 Web body identity / canonical readback

## Practice
LLM-to-formalization/typed-input adapter plus deterministic solver/policy engine. Preserve solver status, constraint model, policy version, feasibility/optimality state and validation evidence.
## Practice
OR-Tools solver status semantics and OPA/Rego policy-evaluation boundaries remain explicit; these tools do not make LLM-generated formalization correct.
## DICTIONARY PROPOSAL
LLM-to-formalization/typed-input adapter plus deterministic solver/policy engine. Preserve solver status, constraint model, policy version, feasibility/optimality state and validation evidence.

## OPEN_UNKNOWN
preserve authority OPEN_UNKNOWN.

## AUDIT BOUNDARY
OR-Tools solver status semantics and OPA/Rego policy-evaluation boundaries remain explicit; these tools do not make LLM-generated formalization correct.

NEXT: /agent/start.json
STOP: This is a knowledge projection, not an execution order.