ogar-from-schema: DO-arm producer — HIRO Automation → ActionDef (parity, schema half)

Closes the schema-shape half of PROBE-OGAR-DO-ARM-LIFT: the MARS import lifted
the STRUCTURAL arm (A→R→S→M Classes); this lifts the BEHAVIORAL arm the import
left on the table — the OGIT Automation domain (HIRO's actuator vocabulary)
into OGAR ActionDefs, per docs/HIRO-DO-ARM-LIFT.md §4-§5.

New `do_arm` module in ogar-from-schema (reuses the TTL parser):
- into_action_def(&EntityDecl) -> Option<ActionDef>: KnowledgeItem → ActionDef
  (object_class ← `relates MARSNodeTemplate`, kausal ← `contains Trigger`
  → LifecycleTrigger, predicate = `execute` from the entity's own
  dcterms:description, decorators = the §4 actuator verbs present).
- ActionHandler / ActionApplicability / Trigger recognized as contract PARTS
  (return None); ActionApplicability's environmentFilter → StateGuard via
  kausal_from_entity.
- payload_attribute() records the knowledgeItemFormalRepresentation slot BY
  NAME; body_source stays None — the lossless-DO rule (the ActionDef points to
  the body, never inlines/flattens it into DDL), test-enforced.
- canonical_object_class() + acronym-correct snake() (MARSNodeTemplate →
  mars_node_template).

Calibration parity tests run against the real vendored OGIT Automation TTL
bytes (no fixtures — same frozen-source discipline as the MARS structural arm).
24 tests green (5 new), clippy-clean.

The behavioral half (ActionDef → adapter → execute → reproduce KI behavior
bit-for-bit) stays CONJECTURE — it needs KI instances with bodies, which the
vendored vocab does not carry.

Docs: D-HIRO-DO ledger row (DISCOVERY-MAP §2.8); HIRO-DO-ARM-LIFT §6 promoted
CONJECTURE → schema half SHIPPED [G]; MARS-TRANSCODING cross-ref.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EYvNjD8M8LMNYbRy3gq2FP

Author: claude