From 41ae5bf1ea8bef6079332bda0fedf8b6786573ab Mon Sep 17 00:00:00 2001
From: Martin Raszyk <martin.raszyk@dfinity.org>
Date: Tue, 25 Jul 2023 16:48:38 +0200
Subject: [PATCH] update may_read_path_for_canister

---
 spec/index.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/spec/index.md b/spec/index.md
index c6cb0d3b5..22d956e50 100644
--- a/spec/index.md
+++ b/spec/index.md
@@ -4666,6 +4666,8 @@ A record with
 
 The predicate `may_read_path_for_canister` is defined as follows, implementing the access control outlined in [Request: Read state](#http-read-state):
 
+    may_read_path_for_canister(S, _, ["time"] · _) = True
+    may_read_path_for_canister(S, _, ["subnet"] · _) = True
     may_read_path_for_canister(S, _, ["request_status", Rid] · _) =
       ∀ (R ↦ (_, ECID')) ∈ dom(S.requests). hash_of_map(R) = Rid => RS.sender == R.sender ∧ ECID == ECID'
     may_read_path_for_canister(S, _, ["canister", cid, "module_hash"] · _) = cid == ECID