@detiq/crawler 0.1.3

package/dist/input-fuzzer.js

@@ -0,0 +1,105 @@
+const LOREM = "Lorem ipsum dolor sit amet consectetur adipiscing elit";
+function generateEmailCases() {
+  return [
+    { label: "valid email", value: "test@example.com", expectedValid: true, category: "happy" },
+    { label: "email with plus", value: "test+tag@example.com", expectedValid: true, category: "happy" },
+    { label: "missing @", value: "notanemail.com", expectedValid: false, category: "invalid" },
+    { label: "missing domain", value: "test@", expectedValid: false, category: "invalid" },
+    { label: "empty", value: "", expectedValid: false, category: "edge" },
+    { label: "very long email", value: "a".repeat(100) + "@example.com", expectedValid: false, category: "boundary" },
+    { label: "special chars", value: "test<script>@example.com", expectedValid: false, category: "edge" }
+  ];
+}
+function generatePasswordCases(minLength, maxLength) {
+  const min = minLength ?? 8;
+  const max = maxLength ?? 128;
+  return [
+    { label: "valid password", value: "ValidP@ss1", expectedValid: true, category: "happy" },
+    { label: "minimum length", value: "A".repeat(min), expectedValid: true, category: "boundary" },
+    { label: "below minimum", value: "A".repeat(Math.max(1, min - 1)), expectedValid: false, category: "boundary" },
+    { label: "max length", value: "Aa1!".repeat(Math.ceil(max / 4)).slice(0, max), expectedValid: true, category: "boundary" },
+    { label: "empty", value: "", expectedValid: false, category: "edge" },
+    { label: "spaces only", value: "        ", expectedValid: false, category: "edge" }
+  ];
+}
+function generateTextCases(minLength, maxLength, required) {
+  const cases = [
+    { label: "typical text", value: "Test Input Value", expectedValid: true, category: "happy" },
+    { label: "single char", value: "A", expectedValid: !minLength || minLength <= 1, category: "boundary" },
+    { label: "empty", value: "", expectedValid: !required, category: "edge" },
+    { label: "spaces only", value: "   ", expectedValid: !required, category: "edge" },
+    { label: "very long text", value: LOREM.repeat(20), expectedValid: !maxLength || maxLength > LOREM.length * 20, category: "boundary" },
+    { label: "unicode", value: "\u65E5\u672C\u8A9E\u30C6\u30B9\u30C8 \xDCn\xEFc\xF6d\xE9 Emojitest \u{1F389}", expectedValid: true, category: "edge" },
+    { label: "HTML special chars", value: "<script>alert(1)</script>", expectedValid: true, category: "edge" },
+    { label: "SQL probe", value: "' OR '1'='1", expectedValid: true, category: "edge" }
+  ];
+  if (minLength) cases.push({ label: `below min (${minLength})`, value: "x".repeat(Math.max(0, minLength - 1)), expectedValid: false, category: "boundary" });
+  if (maxLength) cases.push({ label: `above max (${maxLength})`, value: "x".repeat(maxLength + 1), expectedValid: false, category: "boundary" });
+  return cases;
+}
+function generateNumberCases(min, max) {
+  const minN = min !== void 0 ? parseFloat(min) : void 0;
+  const maxN = max !== void 0 ? parseFloat(max) : void 0;
+  return [
+    { label: "valid number", value: "42", expectedValid: true, category: "happy" },
+    { label: "zero", value: "0", expectedValid: minN === void 0 || minN <= 0, category: "boundary" },
+    { label: "negative", value: "-1", expectedValid: minN === void 0 || minN < 0, category: "boundary" },
+    { label: "decimal", value: "3.14", expectedValid: true, category: "happy" },
+    { label: "text as number", value: "notanumber", expectedValid: false, category: "invalid" },
+    { label: "empty", value: "", expectedValid: false, category: "edge" },
+    ...minN !== void 0 ? [{ label: `below min (${min})`, value: String(minN - 1), expectedValid: false, category: "boundary" }] : [],
+    ...maxN !== void 0 ? [{ label: `above max (${max})`, value: String(maxN + 1), expectedValid: false, category: "boundary" }] : []
+  ];
+}
+function generateSelectCases(options) {
+  if (!options?.length) return [{ label: "first option", value: "", expectedValid: true, category: "happy" }];
+  return [
+    { label: `first option (${options[0]})`, value: options[0], expectedValid: true, category: "happy" },
+    { label: "invalid option", value: "__INVALID_OPTION__", expectedValid: false, category: "invalid" },
+    { label: "empty selection", value: "", expectedValid: false, category: "edge" },
+    ...options.length > 1 ? [{ label: `last option (${options[options.length - 1]})`, value: options[options.length - 1], expectedValid: true, category: "happy" }] : []
+  ];
+}
+function generateFieldCases(field) {
+  switch (field.type) {
+    case "email":
+      return generateEmailCases();
+    case "password":
+      return generatePasswordCases(field.minLength, field.maxLength);
+    case "number":
+      return generateNumberCases(field.min, field.max);
+    case "select":
+      return generateSelectCases(field.options);
+    case "checkbox":
+      return [
+        { label: "checked", value: "true", expectedValid: true, category: "happy" },
+        { label: "unchecked", value: "false", expectedValid: !field.required, category: field.required ? "invalid" : "happy" }
+      ];
+    case "date":
+      return [
+        { label: "valid date", value: "2026-01-15", expectedValid: true, category: "happy" },
+        { label: "invalid date", value: "9999-99-99", expectedValid: false, category: "invalid" },
+        { label: "empty", value: "", expectedValid: !field.required, category: "edge" }
+      ];
+    case "url":
+      return [
+        { label: "valid URL", value: "https://example.com", expectedValid: true, category: "happy" },
+        { label: "missing protocol", value: "example.com", expectedValid: false, category: "invalid" },
+        { label: "empty", value: "", expectedValid: !field.required, category: "edge" }
+      ];
+    default:
+      return generateTextCases(field.minLength, field.maxLength, field.required);
+  }
+}
+function fuzzForm(form) {
+  return {
+    formIndex: form.index,
+    purpose: form.purpose,
+    fieldCases: form.fields.map((field) => ({ field, cases: generateFieldCases(field) }))
+  };
+}
+export {
+  fuzzForm,
+  generateFieldCases
+};
+//# sourceMappingURL=input-fuzzer.js.map

package/dist/input-fuzzer.js.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../src/input-fuzzer.ts"],
+  "sourcesContent": ["/**\n * Input fuzzer \u2014 generate test data for form fields.\n *\n * For each field type, produces a set of test values covering:\n * - Happy path (valid, normal input)\n * - Boundary (min/max length, min/max value)\n * - Edge cases (empty, very long, special chars, SQL injection probe, XSS probe)\n * - Type-invalid (wrong type for the field)\n *\n * This feeds ZeTa's test generator to automatically create form validation tests.\n * Values are safe probes (NOT actual exploits) \u2014 they test whether the app\n * properly rejects/accepts boundary inputs.\n */\n\nimport type { FormField } from './form-detector.js';\n\nexport type InputCase = {\n  label: string;          // human-readable test case name\n  value: string;\n  expectedValid: boolean; // true if input should be accepted\n  category: 'happy' | 'boundary' | 'edge' | 'invalid';\n};\n\nconst LOREM = 'Lorem ipsum dolor sit amet consectetur adipiscing elit';\n\nfunction generateEmailCases(): InputCase[] {\n  return [\n    { label: 'valid email', value: 'test@example.com', expectedValid: true, category: 'happy' },\n    { label: 'email with plus', value: 'test+tag@example.com', expectedValid: true, category: 'happy' },\n    { label: 'missing @', value: 'notanemail.com', expectedValid: false, category: 'invalid' },\n    { label: 'missing domain', value: 'test@', expectedValid: false, category: 'invalid' },\n    { label: 'empty', value: '', expectedValid: false, category: 'edge' },\n    { label: 'very long email', value: 'a'.repeat(100) + '@example.com', expectedValid: false, category: 'boundary' },\n    { label: 'special chars', value: 'test<script>@example.com', expectedValid: false, category: 'edge' },\n  ];\n}\n\nfunction generatePasswordCases(minLength?: number, maxLength?: number): InputCase[] {\n  const min = minLength ?? 8;\n  const max = maxLength ?? 128;\n  return [\n    { label: 'valid password', value: 'ValidP@ss1', expectedValid: true, category: 'happy' },\n    { label: 'minimum length', value: 'A'.repeat(min), expectedValid: true, category: 'boundary' },\n    { label: 'below minimum', value: 'A'.repeat(Math.max(1, min - 1)), expectedValid: false, category: 'boundary' },\n    { label: 'max length', value: 'Aa1!'.repeat(Math.ceil(max / 4)).slice(0, max), expectedValid: true, category: 'boundary' },\n    { label: 'empty', value: '', expectedValid: false, category: 'edge' },\n    { label: 'spaces only', value: '        ', expectedValid: false, category: 'edge' },\n  ];\n}\n\nfunction generateTextCases(minLength?: number, maxLength?: number, required?: boolean): InputCase[] {\n  const cases: InputCase[] = [\n    { label: 'typical text', value: 'Test Input Value', expectedValid: true, category: 'happy' },\n    { label: 'single char', value: 'A', expectedValid: !minLength || minLength <= 1, category: 'boundary' },\n    { label: 'empty', value: '', expectedValid: !required, category: 'edge' },\n    { label: 'spaces only', value: '   ', expectedValid: !required, category: 'edge' },\n    { label: 'very long text', value: LOREM.repeat(20), expectedValid: !maxLength || maxLength > LOREM.length * 20, category: 'boundary' },\n    { label: 'unicode', value: '\u65E5\u672C\u8A9E\u30C6\u30B9\u30C8 \u00DCn\u00EFc\u00F6d\u00E9 Emojitest \uD83C\uDF89', expectedValid: true, category: 'edge' },\n    { label: 'HTML special chars', value: '<script>alert(1)</script>', expectedValid: true, category: 'edge' },\n    { label: 'SQL probe', value: \"' OR '1'='1\", expectedValid: true, category: 'edge' },\n  ];\n  if (minLength) cases.push({ label: `below min (${minLength})`, value: 'x'.repeat(Math.max(0, minLength - 1)), expectedValid: false, category: 'boundary' });\n  if (maxLength) cases.push({ label: `above max (${maxLength})`, value: 'x'.repeat(maxLength + 1), expectedValid: false, category: 'boundary' });\n  return cases;\n}\n\nfunction generateNumberCases(min?: string, max?: string): InputCase[] {\n  const minN = min !== undefined ? parseFloat(min) : undefined;\n  const maxN = max !== undefined ? parseFloat(max) : undefined;\n  return [\n    { label: 'valid number', value: '42', expectedValid: true, category: 'happy' },\n    { label: 'zero', value: '0', expectedValid: minN === undefined || minN <= 0, category: 'boundary' },\n    { label: 'negative', value: '-1', expectedValid: minN === undefined || minN < 0, category: 'boundary' },\n    { label: 'decimal', value: '3.14', expectedValid: true, category: 'happy' },\n    { label: 'text as number', value: 'notanumber', expectedValid: false, category: 'invalid' },\n    { label: 'empty', value: '', expectedValid: false, category: 'edge' },\n    ...(minN !== undefined ? [{ label: `below min (${min})`, value: String(minN - 1), expectedValid: false, category: 'boundary' as const }] : []),\n    ...(maxN !== undefined ? [{ label: `above max (${max})`, value: String(maxN + 1), expectedValid: false, category: 'boundary' as const }] : []),\n  ];\n}\n\nfunction generateSelectCases(options?: string[]): InputCase[] {\n  if (!options?.length) return [{ label: 'first option', value: '', expectedValid: true, category: 'happy' }];\n  return [\n    { label: `first option (${options[0]})`, value: options[0], expectedValid: true, category: 'happy' },\n    { label: 'invalid option', value: '__INVALID_OPTION__', expectedValid: false, category: 'invalid' },\n    { label: 'empty selection', value: '', expectedValid: false, category: 'edge' },\n    ...(options.length > 1 ? [{ label: `last option (${options[options.length - 1]})`, value: options[options.length - 1], expectedValid: true, category: 'happy' as const }] : []),\n  ];\n}\n\nexport function generateFieldCases(field: FormField): InputCase[] {\n  switch (field.type) {\n    case 'email':    return generateEmailCases();\n    case 'password': return generatePasswordCases(field.minLength, field.maxLength);\n    case 'number':   return generateNumberCases(field.min, field.max);\n    case 'select':   return generateSelectCases(field.options);\n    case 'checkbox': return [\n      { label: 'checked', value: 'true', expectedValid: true, category: 'happy' },\n      { label: 'unchecked', value: 'false', expectedValid: !field.required, category: field.required ? 'invalid' : 'happy' },\n    ];\n    case 'date':     return [\n      { label: 'valid date', value: '2026-01-15', expectedValid: true, category: 'happy' },\n      { label: 'invalid date', value: '9999-99-99', expectedValid: false, category: 'invalid' },\n      { label: 'empty', value: '', expectedValid: !field.required, category: 'edge' },\n    ];\n    case 'url':      return [\n      { label: 'valid URL', value: 'https://example.com', expectedValid: true, category: 'happy' },\n      { label: 'missing protocol', value: 'example.com', expectedValid: false, category: 'invalid' },\n      { label: 'empty', value: '', expectedValid: !field.required, category: 'edge' },\n    ];\n    default:\n      return generateTextCases(field.minLength, field.maxLength, field.required);\n  }\n}\n\nexport interface FuzzedForm {\n  formIndex: number;\n  purpose: string;\n  fieldCases: Array<{ field: FormField; cases: InputCase[] }>;\n}\n\nexport function fuzzForm(form: import('./form-detector.js').DetectedForm): FuzzedForm {\n  return {\n    formIndex: form.index,\n    purpose: form.purpose,\n    fieldCases: form.fields.map(field => ({ field, cases: generateFieldCases(field) })),\n  };\n}\n"],
+  "mappings": "AAuBA,MAAM,QAAQ;AAEd,SAAS,qBAAkC;AACzC,SAAO;AAAA,IACL,EAAE,OAAO,eAAe,OAAO,oBAAoB,eAAe,MAAM,UAAU,QAAQ;AAAA,IAC1F,EAAE,OAAO,mBAAmB,OAAO,wBAAwB,eAAe,MAAM,UAAU,QAAQ;AAAA,IAClG,EAAE,OAAO,aAAa,OAAO,kBAAkB,eAAe,OAAO,UAAU,UAAU;AAAA,IACzF,EAAE,OAAO,kBAAkB,OAAO,SAAS,eAAe,OAAO,UAAU,UAAU;AAAA,IACrF,EAAE,OAAO,SAAS,OAAO,IAAI,eAAe,OAAO,UAAU,OAAO;AAAA,IACpE,EAAE,OAAO,mBAAmB,OAAO,IAAI,OAAO,GAAG,IAAI,gBAAgB,eAAe,OAAO,UAAU,WAAW;AAAA,IAChH,EAAE,OAAO,iBAAiB,OAAO,4BAA4B,eAAe,OAAO,UAAU,OAAO;AAAA,EACtG;AACF;AAEA,SAAS,sBAAsB,WAAoB,WAAiC;AAClF,QAAM,MAAM,aAAa;AACzB,QAAM,MAAM,aAAa;AACzB,SAAO;AAAA,IACL,EAAE,OAAO,kBAAkB,OAAO,cAAc,eAAe,MAAM,UAAU,QAAQ;AAAA,IACvF,EAAE,OAAO,kBAAkB,OAAO,IAAI,OAAO,GAAG,GAAG,eAAe,MAAM,UAAU,WAAW;AAAA,IAC7F,EAAE,OAAO,iBAAiB,OAAO,IAAI,OAAO,KAAK,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,eAAe,OAAO,UAAU,WAAW;AAAA,IAC9G,EAAE,OAAO,cAAc,OAAO,OAAO,OAAO,KAAK,KAAK,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,GAAG,GAAG,eAAe,MAAM,UAAU,WAAW;AAAA,IACzH,EAAE,OAAO,SAAS,OAAO,IAAI,eAAe,OAAO,UAAU,OAAO;AAAA,IACpE,EAAE,OAAO,eAAe,OAAO,YAAY,eAAe,OAAO,UAAU,OAAO;AAAA,EACpF;AACF;AAEA,SAAS,kBAAkB,WAAoB,WAAoB,UAAiC;AAClG,QAAM,QAAqB;AAAA,IACzB,EAAE,OAAO,gBAAgB,OAAO,oBAAoB,eAAe,MAAM,UAAU,QAAQ;AAAA,IAC3F,EAAE,OAAO,eAAe,OAAO,KAAK,eAAe,CAAC,aAAa,aAAa,GAAG,UAAU,WAAW;AAAA,IACtG,EAAE,OAAO,SAAS,OAAO,IAAI,eAAe,CAAC,UAAU,UAAU,OAAO;AAAA,IACxE,EAAE,OAAO,eAAe,OAAO,OAAO,eAAe,CAAC,UAAU,UAAU,OAAO;AAAA,IACjF,EAAE,OAAO,kBAAkB,OAAO,MAAM,OAAO,EAAE,GAAG,eAAe,CAAC,aAAa,YAAY,MAAM,SAAS,IAAI,UAAU,WAAW;AAAA,IACrI,EAAE,OAAO,WAAW,OAAO,gFAA+B,eAAe,MAAM,UAAU,OAAO;AAAA,IAChG,EAAE,OAAO,sBAAsB,OAAO,6BAA6B,eAAe,MAAM,UAAU,OAAO;AAAA,IACzG,EAAE,OAAO,aAAa,OAAO,eAAe,eAAe,MAAM,UAAU,OAAO;AAAA,EACpF;AACA,MAAI,UAAW,OAAM,KAAK,EAAE,OAAO,cAAc,SAAS,KAAK,OAAO,IAAI,OAAO,KAAK,IAAI,GAAG,YAAY,CAAC,CAAC,GAAG,eAAe,OAAO,UAAU,WAAW,CAAC;AAC1J,MAAI,UAAW,OAAM,KAAK,EAAE,OAAO,cAAc,SAAS,KAAK,OAAO,IAAI,OAAO,YAAY,CAAC,GAAG,eAAe,OAAO,UAAU,WAAW,CAAC;AAC7I,SAAO;AACT;AAEA,SAAS,oBAAoB,KAAc,KAA2B;AACpE,QAAM,OAAO,QAAQ,SAAY,WAAW,GAAG,IAAI;AACnD,QAAM,OAAO,QAAQ,SAAY,WAAW,GAAG,IAAI;AACnD,SAAO;AAAA,IACL,EAAE,OAAO,gBAAgB,OAAO,MAAM,eAAe,MAAM,UAAU,QAAQ;AAAA,IAC7E,EAAE,OAAO,QAAQ,OAAO,KAAK,eAAe,SAAS,UAAa,QAAQ,GAAG,UAAU,WAAW;AAAA,IAClG,EAAE,OAAO,YAAY,OAAO,MAAM,eAAe,SAAS,UAAa,OAAO,GAAG,UAAU,WAAW;AAAA,IACtG,EAAE,OAAO,WAAW,OAAO,QAAQ,eAAe,MAAM,UAAU,QAAQ;AAAA,IAC1E,EAAE,OAAO,kBAAkB,OAAO,cAAc,eAAe,OAAO,UAAU,UAAU;AAAA,IAC1F,EAAE,OAAO,SAAS,OAAO,IAAI,eAAe,OAAO,UAAU,OAAO;AAAA,IACpE,GAAI,SAAS,SAAY,CAAC,EAAE,OAAO,cAAc,GAAG,KAAK,OAAO,OAAO,OAAO,CAAC,GAAG,eAAe,OAAO,UAAU,WAAoB,CAAC,IAAI,CAAC;AAAA,IAC5I,GAAI,SAAS,SAAY,CAAC,EAAE,OAAO,cAAc,GAAG,KAAK,OAAO,OAAO,OAAO,CAAC,GAAG,eAAe,OAAO,UAAU,WAAoB,CAAC,IAAI,CAAC;AAAA,EAC9I;AACF;AAEA,SAAS,oBAAoB,SAAiC;AAC5D,MAAI,CAAC,SAAS,OAAQ,QAAO,CAAC,EAAE,OAAO,gBAAgB,OAAO,IAAI,eAAe,MAAM,UAAU,QAAQ,CAAC;AAC1G,SAAO;AAAA,IACL,EAAE,OAAO,iBAAiB,QAAQ,CAAC,CAAC,KAAK,OAAO,QAAQ,CAAC,GAAG,eAAe,MAAM,UAAU,QAAQ;AAAA,IACnG,EAAE,OAAO,kBAAkB,OAAO,sBAAsB,eAAe,OAAO,UAAU,UAAU;AAAA,IAClG,EAAE,OAAO,mBAAmB,OAAO,IAAI,eAAe,OAAO,UAAU,OAAO;AAAA,IAC9E,GAAI,QAAQ,SAAS,IAAI,CAAC,EAAE,OAAO,gBAAgB,QAAQ,QAAQ,SAAS,CAAC,CAAC,KAAK,OAAO,QAAQ,QAAQ,SAAS,CAAC,GAAG,eAAe,MAAM,UAAU,QAAiB,CAAC,IAAI,CAAC;AAAA,EAC/K;AACF;AAEO,SAAS,mBAAmB,OAA+B;AAChE,UAAQ,MAAM,MAAM;AAAA,IAClB,KAAK;AAAY,aAAO,mBAAmB;AAAA,IAC3C,KAAK;AAAY,aAAO,sBAAsB,MAAM,WAAW,MAAM,SAAS;AAAA,IAC9E,KAAK;AAAY,aAAO,oBAAoB,MAAM,KAAK,MAAM,GAAG;AAAA,IAChE,KAAK;AAAY,aAAO,oBAAoB,MAAM,OAAO;AAAA,IACzD,KAAK;AAAY,aAAO;AAAA,QACtB,EAAE,OAAO,WAAW,OAAO,QAAQ,eAAe,MAAM,UAAU,QAAQ;AAAA,QAC1E,EAAE,OAAO,aAAa,OAAO,SAAS,eAAe,CAAC,MAAM,UAAU,UAAU,MAAM,WAAW,YAAY,QAAQ;AAAA,MACvH;AAAA,IACA,KAAK;AAAY,aAAO;AAAA,QACtB,EAAE,OAAO,cAAc,OAAO,cAAc,eAAe,MAAM,UAAU,QAAQ;AAAA,QACnF,EAAE,OAAO,gBAAgB,OAAO,cAAc,eAAe,OAAO,UAAU,UAAU;AAAA,QACxF,EAAE,OAAO,SAAS,OAAO,IAAI,eAAe,CAAC,MAAM,UAAU,UAAU,OAAO;AAAA,MAChF;AAAA,IACA,KAAK;AAAY,aAAO;AAAA,QACtB,EAAE,OAAO,aAAa,OAAO,uBAAuB,eAAe,MAAM,UAAU,QAAQ;AAAA,QAC3F,EAAE,OAAO,oBAAoB,OAAO,eAAe,eAAe,OAAO,UAAU,UAAU;AAAA,QAC7F,EAAE,OAAO,SAAS,OAAO,IAAI,eAAe,CAAC,MAAM,UAAU,UAAU,OAAO;AAAA,MAChF;AAAA,IACA;AACE,aAAO,kBAAkB,MAAM,WAAW,MAAM,WAAW,MAAM,QAAQ;AAAA,EAC7E;AACF;AAQO,SAAS,SAAS,MAA6D;AACpF,SAAO;AAAA,IACL,WAAW,KAAK;AAAA,IAChB,SAAS,KAAK;AAAA,IACd,YAAY,KAAK,OAAO,IAAI,YAAU,EAAE,OAAO,OAAO,mBAAmB,KAAK,EAAE,EAAE;AAAA,EACpF;AACF;",
+  "names": []
+}

package/dist/interactive-probe.d.ts

@@ -0,0 +1,104 @@
+/**
+ * Interactive Probe — Phase 2 Dynamic Observation
+ *
+ * The static crawl captures DOM structure at rest. This module runs AFTER the static crawl
+ * to observe dynamic behaviour by actually interacting with the UI:
+ *
+ *   1. Empty submit  → captures required-field validation error messages
+ *   2. Invalid format → captures format validation errors (bad email, short password)
+ *   3. Button clicks → captures modal/dialog contents
+ *   4. Select changes → captures conditional reveals (show/hide logic)
+ *   5. Success paths → captures toast/banner messages (where input is safe)
+ *
+ * Results are stored as KnowledgeChunks (sourceType='probe') and update the
+ * ERROR_CATALOGUE + INTERACTION_PATTERNS skill files with real observed data
+ * instead of LLM inference.
+ *
+ * Call signature: probeScreen(page, screenId, elements, opts)
+ * Called from crawlProject() after static element extraction when opts.interactive=true.
+ */
+import type { Page } from 'playwright';
+export interface ProbeElementFact {
+    meaning: string;
+    role: string;
+    expectedData?: string;
+}
+export interface ValidationError {
+    field: string;
+    trigger: 'empty_submit' | 'invalid_format' | 'boundary';
+    errorText: string;
+}
+export interface SuccessMessage {
+    type: 'toast' | 'inline_success' | 'redirect';
+    content: string;
+}
+export interface ModalObservation {
+    triggerElement: string;
+    title: string;
+    content: string;
+    fields: string[];
+}
+export interface ConditionalReveal {
+    triggerElement: string;
+    triggerValue: string;
+    revealedText: string;
+}
+export interface ProbeResult {
+    screenId: string;
+    url: string;
+    validationErrors: ValidationError[];
+    successMessages: SuccessMessage[];
+    modals: ModalObservation[];
+    conditionals: ConditionalReveal[];
+    loadingPatterns: string[];
+}
+/**
+ * Run interactive probing on a single screen page.
+ * The page must already be navigated to the screen URL.
+ * `elements` is the output of the static extractElements pass.
+ */
+export declare function probeScreen(page: Page, screenId: string, url: string, elements: ProbeElementFact[]): Promise<ProbeResult>;
+/** Phase 5: Convert ProbeResult to typed ProbeObservationFact rows for direct DB storage. */
+export declare function probeResultToObservations(result: ProbeResult): Array<{
+    elementMeaning: string;
+    observationType: string;
+    observedText: string;
+    triggeredBy: string;
+}>;
+/**
+ * Convert a ProbeResult into markdown to store as KnowledgeChunks
+ * and update ERROR_CATALOGUE + INTERACTION_PATTERNS skill files.
+ */
+export declare function probeResultToMarkdown(result: ProbeResult): {
+    errorCatalogueChunk: string;
+    interactionPatternsChunk: string;
+};
+/**
+ * Run interactive probing for all screens discovered in a crawl session.
+ * Called from crawlProject() when opts.interactive = true.
+ */
+export declare function probeAllScreens(page: any, tenantId: string, projectId: string, discovered: Array<{
+    url: string;
+    screenId?: string;
+    elements?: any[];
+}>, onProgress?: (pct: number, step: string) => Promise<void>): Promise<void>;
+export interface FocusableElement {
+    tag: string;
+    role: string | null;
+    ariaLabel: string | null;
+    text: string | null;
+    hasFocusIndicator: boolean;
+    tabIndex: number | null;
+}
+export interface KeyboardNavResult {
+    focusableCount: number;
+    elementsWithNoFocusIndicator: number;
+    sequence: FocusableElement[];
+    issues: string[];
+}
+/**
+ * Probe keyboard navigation accessibility by pressing Tab up to 50 times and
+ * recording each focused element's properties and focus-indicator visibility.
+ * Stops early if focus wraps back to the start or hits the same element twice.
+ */
+export declare function probeKeyboardNav(page: Page): Promise<KeyboardNavResult>;