From 41dd8292ac19db6a43ea58aefc8fcb4662742411 Mon Sep 17 00:00:00 2001
From: Dominic Farolino <domfarolino@gmail.com>
Date: Thu, 19 Feb 2026 11:17:30 -0500
Subject: [PATCH] Initialize a Navigator's modelContext member

---
 index.bs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/index.bs b/index.bs
index a60ba3d..dcc00cd 100644
--- a/index.bs
+++ b/index.bs
@@ -122,6 +122,13 @@ partial interface Navigator {
 };
 </xmp>
 
+Each {{Navigator}} object has an associated <dfn for=Navigator>modelContext</dfn>, which is a
+{{ModelContext}} instance created alongside the {{Navigator}}.
+
+<div algorithm>
+The <dfn attribute for=Navigator>modelContext</dfn> getter steps are to return [=this=]'s [=Navigator/modelContext=].
+</div>
+
 <h3 id="model-context-container">ModelContext Interface</h3>
 
 The {{ModelContext}} interface provides methods for web applications to register and manage tools that can be invoked by [=agents=].