{"scan":{"id":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","inputUrl":"acornprover.org","url":"http://acornprover.org/","site":"acornprover.org","collectionId":"5146f352-cd06-4ad5-9a57-617bc10d6609","status":"success","error":null,"pageTitle":"The Acorn Theorem Prover","finalUrl":"https://acornprover.org/","dnsServer":"9.9.9.9","pages":3,"browsingHistory":["https://acornprover.org/","https://acornprover.org/docs/category/library-reference/","https://acornprover.org/"],"device":"mobile-pixel-4a-5g","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":"b3af8977-6a78-44b0-bc0d-10b530c68104","leaseExpiresAt":null,"requiredTag":null,"avoidRunnerId":null,"attempts":1,"createdAt":"2026-09-07T09:51:32.721Z","startedAt":"2026-09-07T10:58:48.485Z","finishedAt":"2026-09-07T10:59:03.046Z"},"pageAfterConsent":false,"half":{"id":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","status":"success","at":"2026-09-07T09:51:32.721Z","pages":["https://acornprover.org/","https://acornprover.org/docs/category/library-reference/","https://acornprover.org/"],"consentResult":null,"consentCmp":null,"tcfVendors":null,"tcfConsented":null,"tcfPurposes":null,"trackerRefs":[],"trackers":0,"requests":0,"thirdPartyHosts":0,"cookies":0,"thirdPartyCookies":0},"other":{"id":"acd9b411-3e62-4372-9f3f-f393a5a68e9b","status":"success","at":"2026-09-07T10:59:03.148Z","pages":["https://acornprover.org/","https://acornprover.org/docs/category/library-reference/","https://acornprover.org/"],"consentResult":"nopopup","consentCmp":null,"tcfVendors":null,"tcfConsented":null,"tcfPurposes":null,"trackerRefs":[],"trackers":0,"requests":0,"thirdPartyHosts":0,"cookies":0,"thirdPartyCookies":0,"phase":"post","trackerRows":[]},"trackers":[],"unidentified":[],"hosts":[{"id":502359,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","hostname":"acornprover.org","party":"first","addresses":["185.199.110.153"],"countries":["US"],"providers":["Fastly, Inc. (AS54113)"],"asns":[54113],"source":"observed","error":null}],"consentManagers":[],"signals":[{"id":546608,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","kind":"behaviour","label":"MOUSE","source":"https://acornprover.org/assets/js/main.4eb4edda.js","details":["mousedown","scroll"]},{"id":546609,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","kind":"behaviour","label":"KEYBOARD","source":"https://acornprover.org/assets/js/main.4eb4edda.js","details":["keydown"]}],"cookies":[],"software":[],"platforms":[],"offeredLanguages":[{"id":8982,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","tag":"en"}],"resources":[{"id":672849,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","party":"first","kind":"script","requests":55,"bytes":530901},{"id":672850,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","party":"first","kind":"image","requests":11,"bytes":414486},{"id":672851,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","party":"first","kind":"style","requests":3,"bytes":47265},{"id":672852,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","party":"first","kind":"document","requests":4,"bytes":16984}],"dependencies":[],"pixels":[],"headers":[{"id":212905,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","name":"server","value":"GitHub.com"},{"id":212906,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","name":"strict-transport-security","value":"max-age=31556952"}],"identifiers":[],"domain":{"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","domain":"acornprover.org","dnssec":"unsigned","ipv6":false,"ipv6Reachable":null,"ipv6Reason":"no-aaaa","spf":true,"dmarcPolicy":null,"dnsError":null,"tlsProtocol":"TLSv1.3","tlsCipher":"TLS_AES_128_GCM_SHA256","tlsAlpn":"h2","tlsIssuer":"Let's Encrypt","tlsValidFrom":"2026-08-24T17:24:22.000Z","tlsValidTo":"2026-11-22T17:24:21.000Z","tlsAuthorized":true,"tlsError":null,"registrar":null,"registeredAt":null,"expiresAt":null,"holderCountry":null,"rdapSource":"rdap.publicinterestregistry.org","rdapError":"réponse 400 du registre","robotsFound":false,"robotsAllows":true,"adsFound":false,"adsPartners":0,"securityFound":false,"securityContact":null,"probedAt":"2026-09-07T10:59:03.079Z","mailProvider":"Namecheap","dnsProvider":"Namecheap","tlsAuthority":"Let's Encrypt (ISRG)","tlsAuthorityCountry":"US"},"dns":[{"id":317111,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","kind":"mx","value":"eforward5.registrar-servers.com","rank":20,"cnameTarget":null,"provider":"Namecheap"},{"id":317112,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","kind":"mx","value":"eforward1.registrar-servers.com","rank":10,"cnameTarget":null,"provider":"Namecheap"},{"id":317113,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","kind":"mx","value":"eforward4.registrar-servers.com","rank":15,"cnameTarget":null,"provider":"Namecheap"},{"id":317114,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","kind":"mx","value":"eforward2.registrar-servers.com","rank":10,"cnameTarget":null,"provider":"Namecheap"},{"id":317115,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","kind":"mx","value":"eforward3.registrar-servers.com","rank":10,"cnameTarget":null,"provider":"Namecheap"},{"id":317116,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","kind":"ns","value":"dns2.registrar-servers.com","rank":null,"cnameTarget":null,"provider":"Namecheap"},{"id":317117,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","kind":"ns","value":"dns1.registrar-servers.com","rank":null,"cnameTarget":null,"provider":"Namecheap"},{"id":317118,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","kind":"spf","value":"spf.efwd.registrar-servers.com","rank":null,"cnameTarget":null,"provider":"Namecheap"}],"adsPartners":[],"blocklists":[{"id":537192,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","resolver":"Quad9","resolverIp":"9.9.9.9","kind":"security","verdict":"allowed","note":null},{"id":537193,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","resolver":"CleanBrowsing Security","resolverIp":"185.228.168.9","kind":"security","verdict":"allowed","note":null},{"id":537194,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","resolver":"Comodo Secure","resolverIp":"8.26.56.26","kind":"security","verdict":"unknown","note":"ETIMEOUT"},{"id":537195,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","resolver":"OpenDNS","resolverIp":"208.67.222.222","kind":"security","verdict":"unknown","note":"EREFUSED"},{"id":537196,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","resolver":"AdGuard","resolverIp":"94.140.14.14","kind":"ads","verdict":"allowed","note":null},{"id":537197,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","resolver":"AdGuard Famille","resolverIp":"94.140.14.15","kind":"family","verdict":"allowed","note":null},{"id":537198,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","resolver":"Cloudflare Famille","resolverIp":"1.1.1.3","kind":"family","verdict":"allowed","note":null},{"id":537199,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","resolver":"CleanBrowsing Famille","resolverIp":"185.228.168.168","kind":"family","verdict":"allowed","note":null},{"id":537200,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","resolver":"CleanBrowsing Adulte","resolverIp":"185.228.168.10","kind":"family","verdict":"allowed","note":null},{"id":537201,"scanId":"f3e6e7cf-cfae-4259-9e5c-03b4bdce8459","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"}},"asnToQid":{"54113":"Q34045622"}},"siteMatch":{"qid":null,"confidence":null,"decided":false}}