These are local — one tenant's own graph. A local edge only becomes a field fact after K≥3 independent tenants corroborate it (see Shared); it never becomes doctrine here.