capability-negotiation-light.dot

// Capability negotiation sequence (light variant). §6.2 intersection rule.

digraph CapabilityNegotiation {
  rankdir=LR;
  bgcolor="transparent";
  compound=true;
  fontname="TT Commons Pro Trial";
  splines=spline;
  nodesep=0.40;
  ranksep=0.70;
  pad="0.35,0.25";

  node [
    shape=box,
    style="rounded,filled",
    fillcolor="white",
    color="#CBD5E1",
    fontname="TT Commons Pro Trial",
    fontsize=11,
    fontcolor="#1F2937",
    margin="0.22,0.11",
    penwidth=1.0
  ];
  edge [
    fontname="TT Commons Pro Trial",
    fontsize=9,
    fontcolor="#64748B",
    color="#94A3B8",
    penwidth=1.1,
    arrowsize=0.75,
    arrowhead=vee
  ];

  Client [
    label=<<FONT POINT-SIZE="12"><B>ArcpClient</B></FONT>>,
    fillcolor="#3B82F6", color="#2563EB",
    fontcolor="white", penwidth=1.4
  ];

  subgraph cluster_runtime {
    label=<<TABLE BORDER="0" CELLBORDER="0" CELLPADDING="0" CELLSPACING="0"><TR><TD COLSPAN="3" HEIGHT="8"></TD></TR><TR><TD WIDTH="8"></TD><TD><FONT POINT-SIZE="12"><B>ArcpRuntime</B></FONT></TD><TD WIDTH="8"></TD></TR></TABLE>>;
    style="rounded,filled";
    fillcolor="#F1F5F9";
    color="#E2E8F0";
    fontname="TT Commons Pro Trial";
    fontcolor="#475569";
    margin=14;
    labeljust=l;
    penwidth=1.0;

    Verifier [label="BearerVerifier"];
    Negotiator [
      label=<<FONT POINT-SIZE="12"><B>Capabilities.intersect</B></FONT>>,
      fillcolor="#F59E0B", color="#D97706",
      fontcolor="white", penwidth=1.4
    ];
  }

  Outcome [
    label=<<FONT POINT-SIZE="10">Session</FONT><BR/><FONT POINT-SIZE="8" COLOR="#94A3B8">negotiatedFeatures</FONT>>,
    shape=cylinder, fillcolor="#FAFBFC"
  ];

  edge [color="#64748B", penwidth=1.2];
  Client -> Verifier [label="session.hello\nauth + features[]\n§6.1 / §6.2"];
  Verifier -> Negotiator [label="Principal accepted"];
  Negotiator -> Client [label="session.welcome\nfeatures[] + agents[]\n§6.2"];

  edge [style=dashed, color="#F472B6", penwidth=1.1, constraint=false];
  Negotiator -> Outcome [
    label=<<FONT COLOR="#DB2777">Set&lt;Feature&gt;</FONT>>,
    fontsize=9
  ];
}