{"scan":{"id":"ced1e983-9145-47df-ba05-2856676ad7e7","inputUrl":"zfhuang99.github.io","url":"http://zfhuang99.github.io/","site":"zfhuang99.github.io","collectionId":"5146f352-cd06-4ad5-9a57-617bc10d6609","status":"success","error":null,"pageTitle":"Cheng Huang’s corner | a corner of learning and sharing","finalUrl":"https://zfhuang99.github.io/","dnsServer":"9.9.9.9","pages":3,"browsingHistory":["https://zfhuang99.github.io/","https://zfhuang99.github.io/github%20copilot/formal%20verification/tla+/2025/11/14/lamport-agent.html","https://zfhuang99.github.io/"],"device":"mobile-pixel-2-xl","phase":"pre","postOf":null,"consentResult":null,"consentCmp":null,"language":"en","languageSource":"html-lang","acceptLanguage":"en-US","languageDocument":true,"tcfVendors":null,"tcfConsented":null,"tcfPurposes":null,"tcfCmpId":null,"blocked":null,"blockedBy":null,"totalTrackingRequests":0,"analysisVersion":11,"trackerdbVersion":"1.0.945","maxmindDate":"2026-06-17","collectorVersion":"3.11.0","wikidataQid":null,"wikidataConfidence":null,"priority":0,"runnerId":null,"leaseExpiresAt":null,"requiredTag":null,"avoidRunnerId":null,"attempts":1,"createdAt":"2026-09-07T10:25:33.764Z","startedAt":"2026-09-15T12:52:43.412Z","finishedAt":"2026-09-15T12:52:59.538Z"},"pageAfterConsent":false,"half":{"id":"ced1e983-9145-47df-ba05-2856676ad7e7","status":"success","at":"2026-09-07T10:25:33.764Z","pages":["https://zfhuang99.github.io/","https://zfhuang99.github.io/github%20copilot/formal%20verification/tla+/2025/11/14/lamport-agent.html","https://zfhuang99.github.io/"],"consentResult":null,"consentCmp":null,"tcfVendors":null,"tcfConsented":null,"tcfPurposes":null,"trackerRefs":[],"trackers":0,"requests":0,"thirdPartyHosts":1,"cookies":0,"thirdPartyCookies":0},"other":{"id":"a7c5ca04-618e-4ecd-aa7e-b273c082bbf3","status":"success","at":"2026-09-15T12:52:59.577Z","pages":["https://zfhuang99.github.io/","https://zfhuang99.github.io/github%20copilot/formal%20verification/tla+/2025/11/14/lamport-agent.html","https://zfhuang99.github.io/"],"consentResult":"nopopup","consentCmp":null,"tcfVendors":null,"tcfConsented":null,"tcfPurposes":null,"trackerRefs":[],"trackers":0,"requests":0,"thirdPartyHosts":1,"cookies":0,"thirdPartyCookies":0,"phase":"post","trackerRows":[]},"trackers":[],"unidentified":[],"hosts":[{"id":1301221,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","hostname":"zfhuang99.github.io","party":"first","addresses":["185.199.111.153"],"countries":["US"],"providers":["Fastly, Inc. (AS54113)"],"asns":[54113],"source":"observed","error":null},{"id":1301222,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","hostname":"ajax.googleapis.com","party":"third","addresses":["172.217.16.234"],"countries":["US"],"providers":["Google LLC (AS15169)"],"asns":[15169],"source":"observed","error":null}],"consentManagers":[],"signals":[],"cookies":[],"software":[],"platforms":[],"offeredLanguages":[],"resources":[{"id":1683863,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","party":"first","kind":"image","requests":22,"bytes":1532692},{"id":1683864,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","party":"third","kind":"script","requests":1,"bytes":31653},{"id":1683865,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","party":"first","kind":"document","requests":5,"bytes":12659},{"id":1683866,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","party":"first","kind":"style","requests":3,"bytes":7910}],"dependencies":[{"id":828562,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","host":"ajax.googleapis.com","requests":1,"bytes":31653,"kinds":["script"],"embedded":false}],"pixels":[],"headers":[{"id":555320,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","name":"server","value":"GitHub.com"}],"identifiers":[],"domain":{"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","domain":"github.io","dnssec":"unsigned","ipv6":true,"ipv6Reachable":null,"ipv6Reason":"no-egress","spf":true,"dmarcPolicy":null,"dnsError":null,"tlsProtocol":"TLSv1.3","tlsCipher":"TLS_AES_128_GCM_SHA256","tlsAlpn":"h2","tlsIssuer":"Let's Encrypt","tlsValidFrom":"2026-08-02T23:38:02.000Z","tlsValidTo":"2026-10-31T23:38:01.000Z","tlsAuthorized":true,"tlsError":null,"registrar":null,"registeredAt":null,"expiresAt":null,"holderCountry":null,"rdapSource":"rdap.org","rdapError":"domaine inconnu du registre","robotsFound":false,"robotsAllows":true,"adsFound":false,"adsPartners":0,"securityFound":false,"securityContact":null,"probedAt":"2026-09-15T12:52:59.555Z","mailProvider":null,"dnsProvider":null,"tlsAuthority":"Let's Encrypt (ISRG)","tlsAuthorityCountry":"US"},"dns":[{"id":854127,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","kind":"ns","value":"dns4.p05.nsone.net","rank":null,"cnameTarget":null,"provider":"Netlify"},{"id":854128,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","kind":"ns","value":"ns-1339.awsdns-39.org","rank":null,"cnameTarget":null,"provider":"Amazon Web Services"},{"id":854129,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","kind":"ns","value":"ns-1622.awsdns-10.co.uk","rank":null,"cnameTarget":null,"provider":"Amazon Web Services"},{"id":854130,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","kind":"ns","value":"dns1.p05.nsone.net","rank":null,"cnameTarget":null,"provider":"Netlify"},{"id":854131,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","kind":"ns","value":"dns2.p05.nsone.net","rank":null,"cnameTarget":null,"provider":"Netlify"},{"id":854132,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","kind":"ns","value":"dns3.p05.nsone.net","rank":null,"cnameTarget":null,"provider":"Netlify"},{"id":854133,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","kind":"ns","value":"ns-692.awsdns-22.net","rank":null,"cnameTarget":null,"provider":"Amazon Web Services"},{"id":854134,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","kind":"ns","value":"ns-393.awsdns-49.com","rank":null,"cnameTarget":null,"provider":"Amazon Web Services"}],"adsPartners":[],"blocklists":[{"id":1454172,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","resolver":"Quad9","resolverIp":"9.9.9.9","kind":"security","verdict":"allowed","note":null},{"id":1454173,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","resolver":"CleanBrowsing Security","resolverIp":"185.228.168.9","kind":"security","verdict":"allowed","note":null},{"id":1454174,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","resolver":"Comodo Secure","resolverIp":"8.26.56.26","kind":"security","verdict":"unknown","note":"ETIMEOUT"},{"id":1454175,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","resolver":"OpenDNS","resolverIp":"208.67.222.222","kind":"security","verdict":"unknown","note":"EREFUSED"},{"id":1454176,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","resolver":"AdGuard","resolverIp":"94.140.14.14","kind":"ads","verdict":"allowed","note":null},{"id":1454177,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","resolver":"AdGuard Famille","resolverIp":"94.140.14.15","kind":"family","verdict":"allowed","note":null},{"id":1454178,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","resolver":"Cloudflare Famille","resolverIp":"1.1.1.3","kind":"family","verdict":"allowed","note":null},{"id":1454179,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","resolver":"CleanBrowsing Famille","resolverIp":"185.228.168.168","kind":"family","verdict":"allowed","note":null},{"id":1454180,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","resolver":"CleanBrowsing Adulte","resolverIp":"185.228.168.10","kind":"family","verdict":"allowed","note":null},{"id":1454181,"scanId":"ced1e983-9145-47df-ba05-2856676ad7e7","resolver":"OpenDNS Famille","resolverIp":"208.67.222.123","kind":"family","verdict":"unknown","note":"EREFUSED"}],"threats":[],"wayback":null,"cnames":[],"reputation":[],"webcompat":{"consulted":false,"rules":0,"updatedAt":null,"flags":[]},"wikidata":{"entities":{"Q34045622":{"qid":"Q34045622","label":"Fastly","description":"entreprise américaine de cloud computing","officialWebsite":"https://www.fastly.com","image":"http://commons.wikimedia.org/wiki/Special:FilePath/Fastly%20logo.svg","tosdrId":"9951","influenceWatchId":null,"wikipedia":{"en":"https://en.wikipedia.org/wiki/Fastly","fr":"https://fr.wikipedia.org/wiki/Fastly"},"parentQid":null,"countryCode":"US","countryLabel":"États-Unis","fetchedAt":"2026-10-18T15:05:56.758Z"},"Q95":{"qid":"Q95","label":"Google","description":"multinationale américaine spécialisée dans les technologies, filiale d'Alphabet Inc.","officialWebsite":"https://about.google/","image":"http://commons.wikimedia.org/wiki/Special:FilePath/Google%202026%20logo.svg","tosdrId":"182","influenceWatchId":"for-profit/google","wikipedia":{"en":"https://en.wikipedia.org/wiki/Google","fr":"https://fr.wikipedia.org/wiki/Google"},"parentQid":"Q20800404","countryCode":"US","countryLabel":"États-Unis","fetchedAt":"2026-10-18T14:59:50.798Z"},"Q20800404":{"qid":"Q20800404","label":"Alphabet Inc.","description":"conglomérat américain","officialWebsite":"https://abc.xyz/","image":"http://commons.wikimedia.org/wiki/Special:FilePath/Alphabet%20Inc%20Logo%202015.svg","tosdrId":null,"influenceWatchId":"for-profit/alphabet","wikipedia":{"en":"https://en.wikipedia.org/wiki/Alphabet_Inc.","fr":"https://fr.wikipedia.org/wiki/Alphabet_(entreprise)"},"parentQid":null,"countryCode":"US","countryLabel":"États-Unis","fetchedAt":"2026-10-18T14:59:52.816Z"}},"asnToQid":{"15169":"Q95","54113":"Q34045622"}},"siteMatch":{"qid":null,"confidence":null,"decided":false}}