From session intent
to function decisions.

Controller chains

A call graph shows who calls whom. Ours shows the decisions guarding every call: the enclosing if/for/try chain from the call site inward — and the callers above whose guards reach down to you.

fn approve(order) {
  if signed_in(user)          // guard
  && within_limit(order) {    // guard
    charge(order)             // branch
  } else {
    queue_review(order)       // recovery arm
  }
}

Illustrative example — real output shows the actual guards in your code.

State ownership

Ask who owns a field and get the canonical write sites — the functions that actually set it — not every passing mention.

state order.status
  written-by: checkout.confirm   (canonical)
  written-by: support.refund     (canonical)
  read-by:    reporting.summary

Example output — real queries return the actual writers for your field.

Session memory

Intent doesn't die with the session. Session groups carry a direct link to the session file — chat_ref — so the next session starts from accumulated intent, not from memory.

group: session:2026-08-31-001
  intent: "Preserve the session's ordinary function-group intent"
  members: alpha, beta
  chat_ref: 2026-08-31-001/chat.json   (cross-session link)
  claims: R1 "Both session members remain covered by the same claim contract"

Intent that travels

Raw code is a raster — tokens without meaning. Intent is the vector: the semantic layer built on top. You can't convert one into the other; intent has to be constructed. DG builds it: every function carries a durable summary, from a one-line label to the full decision path, that survives across sessions.

intent support.refund
  L0: "refunds always queue a review"
  L3: decision path + recovery arm
  claim: "refunds always queue a review"
  verified-by: block_ids [12, 47], call_keys, sot_vars
  status: validated

Illustrative — intent labels require the LLM labeling pass; the data layer is not yet populated in this build. Block IDs and validation status shown are example shapes, not real output.