# MCKF RDFox pilot micro-rules.
# These rules are a portable MVP contract for RDFox/Datalog migration.
# Runtime uses equivalent Python micro-rules in rdfox_pilot.py.

PREFIX mckf: <https://mitranlil.ai/mckf/>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

# deadline_priority
mckf:retrievalHint[?unit, "deadline_priority"] :-
  ?unit rdf:type mckf:DeadlineUnit .

# procedure_chain
mckf:retrievalHint[?unit, "procedure_chain"] :-
  ?unit rdf:type mckf:ProcedureUnit .

# exception_warning
mckf:answerWarning[?unit, "exception_warning"] :-
  ?unit rdf:type mckf:ExceptionUnit .

# cross_reference_follow
mckf:followReference[?unit, ?target] :-
  ?unit mckf:crossReferences ?target .

# definition_attach
mckf:retrievalHint[?unit, "definition_attach"] :-
  ?unit rdf:type mckf:DefinitionUnit .