From 8bea2b4ab5118104263312f215aa1f2adcdaf6b3 Mon Sep 17 00:00:00 2001
From: mjalalzai <33738574+MForensic@users.noreply.github.com>
Date: Sun, 26 Feb 2023 11:07:58 -0800
Subject: [PATCH] Update Carnot-Specs

---
 .../consensus/candidates/carnot/Carnot-Specs   | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/content/roadmap/consensus/candidates/carnot/Carnot-Specs b/content/roadmap/consensus/candidates/carnot/Carnot-Specs
index cc307bdcf..270dc08da 100644
--- a/content/roadmap/consensus/candidates/carnot/Carnot-Specs
+++ b/content/roadmap/consensus/candidates/carnot/Carnot-Specs
@@ -47,6 +47,7 @@ Utilities:
      extends(block, ancestor): returns true if block is descendant of the ancestor in the chain.
      download(view): Download missing block for the view.
      getMaxViewQC(qcs): returns the qc with the highest view number.
+     memberOfLeafCommittee(): returns true if a node is in the leaf committee of the committee overlay
 
 
 
@@ -80,7 +81,7 @@ Utilities:
 				download(curView) 
 				}
 			}
-			reset()
+			#reset()
 			}
 
 		if aggQC != Null { # Unhappy case
@@ -91,7 +92,7 @@ Utilities:
 						download(curView) 
 					}
 				}
-			reset()
+			#reset()
    
         		}
 	}
@@ -110,8 +111,19 @@ Utilities:
 			if block.aggQC.highQC.view <= latestCommittedBlock.view {return}
 			}
 		
+		if safeBlock(block){
+		update_higQC(block.qc, block.aggQC)
+			if memberOfLeafCommittee(){ send(vote, parentCommittee)
+			reset()
+			}
 		
-
+		
+		}
+		
+		
+		
+		
+	
 	
 	
 	}