From 1d2d52152a46b0d3e2f9fb7bbf9558a5858b84a0 Mon Sep 17 00:00:00 2001
From: Emil Lundberg <emil@yubico.com>
Date: Fri, 10 Nov 2023 11:24:53 +0100
Subject: [PATCH 1/2] Align credProps output reference with other extensions

---
 index.bs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/index.bs b/index.bs
index 157ecd3e4..6b5ccfd0f 100644
--- a/index.bs
+++ b/index.bs
@@ -6794,8 +6794,7 @@ This [=client extension|client=] [=registration extension=] and [=authentication
     </xmp>
 
 : Client extension processing
-::  [=map/Set=] <code>[=credentialCreationData/clientExtensionResults=]["{{AuthenticationExtensionsClientOutputs/credProps}}"]["rk"]</code>
-    to the value of the |requireResidentKey| parameter that was used in the
+::  Set {{CredentialPropertiesOutput/rk}} to the value of the |requireResidentKey| parameter that was used in the
     <a href='#CreateCred-InvokeAuthnrMakeCred'>invocation</a> of the [=authenticatorMakeCredential=]
     operation.
 

From 2472df637429f96be24dcb361df087c1cbaa50bb Mon Sep 17 00:00:00 2001
From: Emil Lundberg <emil@yubico.com>
Date: Fri, 10 Nov 2023 11:25:44 +0100
Subject: [PATCH 2/2] Add credProps client processing step to set
 authenticatorDisplayName

---
 index.bs | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/index.bs b/index.bs
index 6b5ccfd0f..a6c246330 100644
--- a/index.bs
+++ b/index.bs
@@ -6794,9 +6794,12 @@ This [=client extension|client=] [=registration extension=] and [=authentication
     </xmp>
 
 : Client extension processing
-::  Set {{CredentialPropertiesOutput/rk}} to the value of the |requireResidentKey| parameter that was used in the
-    <a href='#CreateCred-InvokeAuthnrMakeCred'>invocation</a> of the [=authenticatorMakeCredential=]
-    operation.
+::  1. If processed during a [=registration ceremony=]:
+        1. Set {{CredentialPropertiesOutput/rk}} to the value of the |requireResidentKey| parameter that was used in the
+            <a href='#CreateCred-InvokeAuthnrMakeCred'>invocation</a> of the [=authenticatorMakeCredential=]
+            operation.
+    1. Set {{CredentialPropertiesOutput/authenticatorDisplayName}} as described in its definition, using some client-specific procedure.
+        If no suitable value is found, let {{CredentialPropertiesOutput/authenticatorDisplayName}} be undefined.
 
 : Client extension output
 ::  <xmp class="idl">