{"data":{"status":"fail","pattern":"^(\\w+\\s?)*$","flags":"","valid":true,"executed":false,"degree":2,"subjectCap":0,"risks":[{"rule":"regex.nested-quantifier","severity":"high","at":2,"detail":"a repetition inside another repetition can consume the same characters as what follows it, so a failing input is split exponentially many ways"}],"cases":[{"index":0,"ran":false,"skipped":"pattern not proven linear-safe"}],"witnesses":[{"ruleId":"regex.nested-quantifier","detail":"a repetition inside another repetition can consume the same characters as what follows it, so a failing input is split exponentially many ways","path":"pattern","offset":2,"actual":"\\w+\\s?)*$"}],"versions":{"engine":"regex-check/1","grammar":"ECMAScript 2024 pattern grammar incl. Annex B legacy syntax, own parser; cases run on regexVm.ts (own step-budgeted matcher, not the native engine), only for patterns the analysis does not flag","stepBudget":"400000 matcher instructions per call"},"limits":["Case-insensitive overlap is modelled for ASCII letters only; \\p{...} classes are treated as matching everything (conservative).","The analysis is conservative: some linear-time patterns are reported unproven.","Regex modifiers (?i:...) and the v flag are not analysed and return unsupported."],"deterministic":true},"_provenance":{"version":"writerslogic-provenance/1","issuer":"did:web:agents.writerslogic.com","verify":{"endpoint":"POST /api/v1/verify-provenance","did":"did:web:agents.writerslogic.com"},"manifest":{"format":"application/json","instance_id":"xmp:iid:1a054c70-9a17-4ac6-84c5-3ddecb139797","claim_generator_info":[{"name":"WritersLogic x402 Agent Hub","version":"2.0.0"}],"title":"Regex catastrophic-backtracking check, then test cases only if proven safe","assertions":[{"label":"c2pa.actions.v2","data":{"actions":[{"action":"c2pa.created","when":"2026-11-06T01:30:28.551Z","softwareAgent":{"name":"writerslogic-agent-hub/regex-check","version":"2.0.0"},"digitalSourceType":"http://cv.iptc.org/newscodes/digitalsourcetype/algorithmicMedia","parameters":{"endpoint":"POST /api/v1/regex-check","inputDigest":{"alg":"sha256","hash":"42f6b020f0168fbec2a363ad3accb0a4a12c56de007302087d1348a3b3451627","canonicalization":"JCS"}}}]}},{"label":"c2pa.hash.data","data":{"alg":"sha256","hash":"844d9c75a4c39e819c48974dd5e80bf65278b056de732d721adb10de488df013","name":"jcs-canonical-json(data)"}}]},"credential":{"@context":["https://www.w3.org/ns/credentials/v2"],"id":"urn:uuid:f2e2f420-569e-4129-a055-a2a3fe300e8c","type":["VerifiableCredential","AgentOutputCredential"],"issuer":"did:web:agents.writerslogic.com","validFrom":"2026-11-06T01:30:28.551Z","credentialSubject":{"id":"urn:sha256:844d9c75a4c39e819c48974dd5e80bf65278b056de732d721adb10de488df013","agent":"regex-check","endpoint":"POST /api/v1/regex-check","outputDigest":{"alg":"sha256","value":"844d9c75a4c39e819c48974dd5e80bf65278b056de732d721adb10de488df013","canonicalization":"JCS"},"inputDigest":{"alg":"sha256","value":"42f6b020f0168fbec2a363ad3accb0a4a12c56de007302087d1348a3b3451627","canonicalization":"JCS"},"manifestDigest":{"alg":"sha256","value":"aa35d31d8df5f9b260fbfe208dbfadff21568ca3ace6fa4ae1859f4d0a11a970","canonicalization":"JCS"},"ingredients":[],"payment":{"scheme":"api-key","network":"eip155:8453","payer":"sample"}},"proof":{"type":"DataIntegrityProof","cryptosuite":"eddsa-jcs-2022","created":"2026-11-06T01:30:28.551Z","verificationMethod":"did:web:agents.writerslogic.com#key-1","proofPurpose":"assertionMethod","proofValue":"z5ciibUoj81dCwV3F7VjmNESz4KXPnNU19PsKX3mXKeQWGuNrCRhzGab6Y9jKsD2xkiyn9bSefKvFSQ2Qac8fH4PU"}},"ethSignature":{"type":"EIP-191","signer":"did:pkh:eip155:8453:0x3DBd42560cA7a7E448A2c7DfC9E785526189411f","address":"0x3DBd42560cA7a7E448A2c7DfC9E785526189411f","message":"writerslogic-provenance:2fd6073a48c5fc9becec244d66dd32a8b8d21728773e389671292e5cf16ab0ca","signature":"0x351dc48192f0695bd52803fc1ff85a47dc2de7ab7dbd71acc01114ae19472ff01c25b0b8f8e9c3328bace89ae591c6749f988b62bc2057822f029f12e61afac41b"}}}