--a1ce957b79b7e5b8ea6cd2620c326c46f39fda26fcfbfaf0a9c24da3899d
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset=UTF-8
--a1ce957b79b7e5b8ea6cd2620c326c46f39fda26fcfbfaf0a9c24da3899d
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset=UTF-8
<html><head></head><body><p>Hi Iman, Sumit,</p>
<p>Thanks for the review feedback. I'm pleased to confirm that all thre=
e action items from your review have been addressed in draft-04, which has =
just been submitted to the IETF Datatracker:</p>
<p><a href=3D"https://datatracker.ietf.org/submit/status/167715/">https://d=
atatracker.ietf.org/submit/status/167715/</a></p>
<p>Summary of changes:</p>
<p>1. SET_EXHAUSTED + search trajectory (Sumit's "=E6=90=9C=E7=B4=
=A2=E8=BD=A8=E8=BF=B9") =E2=80=94 Implemented. The verifier now maintai=
ns a verifiable search trail, with each step anchored to prior state for fu=
ll traceability.</p>
<p>2. profiles_digest (manifest freshness guard) =E2=80=94 Implemented. A d=
igest over the active profile set prevents stale-manifest attacks; any prof=
ile change invalidates the digest and forces re-verification.</p>
<p>3. Deadline derivation (Iman's requirement) =E2=80=94 Fixed per your=
specification. The deadline is now derived from the earliest expiry across=
all profile constraints, eliminating the previous ambiguity.</p>
<p>Full changelog and technical details are in the diff section of the new =
revision. Happy to walk through any of these in more detail if helpful.</p>
<p>Thanks again for the thorough review.</p>
<p>Best,<br/>
Guigui Wang | Correctover =E2=80=94 Runtime Verification</p><img src=3D"htt=
ps://larkmail-openapi.feishu.cn/gw/v1/edm/track?7673709734960057631" alt=3D=
"" width=3D"=3D'1'" height=3D"1" border=3D"0" style=3D"height:1px !=
important;width:1px !important;border-width:0 !important;margin-top:0 !impo=
rtant;margin-bottom:0 !important;margin-right:0 !important;margin-left:0 !i=
mportant;padding-top: 0 !important;padding-bottom:0 !important;padding-righ=
t:0 !important;padding-left:0 !important;"/></body></html>
--a1ce957b79b7e5b8ea6cd2620c326c46f39fda26fcfbfaf0a9c24da3899d--
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.