@@ -183,20 +183,20 @@ hardware := 2 if {
183183 # Check TCB status (covers quote.body.tcb_svn claim check)
184184 input .tdx.tcb_status == " UpToDate"
185185
186- # Check minimum TCB date
187- # An alternative check to tcb_status is to define a minimum acceptable
188- # TCB date. TCB dates are associated with TCB Recovery events to which
189- # the platforms are certified.
190- #
191- # Available TCB dates can be checked using:
192- # curl -s https://api.trustedservices.intel.com/tdx/certification/v4/tcbevaluationdatanumbers | jq
193- #
194- # Example: in some cases, "OutOfDate" tcb_status can be accepted as long as
195- # the tcb_date is not older than a given date from a past TCB Recovery event:
196- # min_tcb_date := "2025-08-13T00:00:00Z"
197- # attester_tcb_date_ns := time.parse_rfc3339_ns(input.tdx.tcb_date)
198- # min_tcb_date_ns := time.parse_rfc3339_ns(min_tcb_date)
199- # attester_tcb_date_ns >= min_tcb_date_ns
186+ # Check minimum TCB date
187+ # An alternative check to tcb_status is to define a minimum acceptable
188+ # TCB date. TCB dates are associated with TCB Recovery events to which
189+ # the platforms are certified.
190+ #
191+ # Available TCB dates can be checked using:
192+ # curl -s https://api.trustedservices.intel.com/tdx/certification/v4/tcbevaluationdatanumbers | jq
193+ #
194+ # Example: in some cases, "OutOfDate" tcb_status can be accepted as long as
195+ # the tcb_date is not older than a given date from a past TCB Recovery event:
196+ # min_tcb_date := "2025-08-13T00:00:00Z"
197+ # attester_tcb_date_ns := time.parse_rfc3339_ns(input.tdx.tcb_date)
198+ # min_tcb_date_ns := time.parse_rfc3339_ns(min_tcb_date)
199+ # attester_tcb_date_ns >= min_tcb_date_ns
200200
201201 # Check collateral expiration status
202202 input .tdx.collateral_expiration_status == " 0"
@@ -293,16 +293,16 @@ hardware := 2 if {
293293 input .az_tdx_vtpm.quote.header.tee_type == " 81000000"
294294 input .az_tdx_vtpm.quote.header.vendor_id == " 939a7233f79c4ca9940a0db3957f0607"
295295
296- # Check TDX Module hash
297- # input.tdx.quote.body.mr_seam in query_reference_value("mr_seam")
298- #
299- # Check OVMF code hash
300- input .az_tdx_vtpm.quote.body.mr_td in query_reference_value (" mr_td" )
296+ # Check TDX Module hash
297+ # input.tdx.quote.body.mr_seam in query_reference_value("mr_seam")
298+ #
299+ # Check OVMF code hash
300+ input .az_tdx_vtpm.quote.body.mr_td in query_reference_value (" mr_td" )
301301
302- # Check TCB status (covers quote.body.tcb_svn claim check)
303- input .az_tdx_vtpm.tcb_status == " UpToDate"
302+ # Check TCB status (covers quote.body.tcb_svn claim check)
303+ input .az_tdx_vtpm.tcb_status == " UpToDate"
304304
305- # Check minimum TCB date (See TDX section for details.)
305+ # Check minimum TCB date (See TDX section for details.)
306306}
307307
308308configuration := 2 if {
0 commit comments