@theoremjs/agents 0.3.4-next.484.g20d8b9d → 0.3.4-next.522.g9e684cd

package/esm/src/guardrails/egress-automata.js

@@ -471,7 +471,7 @@ const FORWARD_AUTOMATON = {
         18938, 18985, 18998, 19054, 19136, 19239, 19332, 19427, 19537, 19610, 19694, 19810, 19918,
         20026, 20121, 20186, 20221, 20294, 20383, 20493, 20562, 20656, 20822, 20930, 21075, 21227,
         21365, 21450, 21533, 21617, 21643, 21672, 21700, 21733, 21750, 21856, 21881, 21921, 21975,
-        21994, 22019, 22028, 22035, 22054, 22072, 22075, 22092, 22109, 22127, 22145, 22182, 22197,
+        21995, 22020, 22029, 22036, 22055, 22073, 22076, 22093, 22110, 22128, 22146, 22183, 22198,
     ],
     leads: [
         -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
@@ -22492,229 +22492,230 @@ const FORWARD_AUTOMATON = {
         [272, 0, 21989, 85],
         [272, 0, 21990, 85],
         [272, 0, 21991, 85],
-        [272, 1, 21991, 85, 21992, 86],
-        [272, 1, 21993, 86],
+        [272, 1, 21992, 85, 21993, 86],
+        [272, 1, 21992, 85, 21993, 86],
+        [272, 1, 21994, 86],
         [272, 1],
-        [273, 0, 21995, 80],
         [273, 0, 21996, 80],
-        [273, 0, 21997, 6, 21998, 80],
-        [273, 0, 21998, 80],
+        [273, 0, 21997, 80],
+        [273, 0, 21998, 6, 21999, 80],
         [273, 0, 21999, 80],
-        [273, 0, 22000, 6, 22001, 80],
-        [273, 0, 22001, 80],
+        [273, 0, 22000, 80],
+        [273, 0, 22001, 6, 22002, 80],
         [273, 0, 22002, 80],
-        [273, 0, 22003, 6, 22004, 80],
-        [273, 0, 22004, 80],
+        [273, 0, 22003, 80],
+        [273, 0, 22004, 6, 22005, 80],
         [273, 0, 22005, 80],
-        [273, 0, 22006, 6, 22007, 80],
-        [273, 0, 22007, 80],
+        [273, 0, 22006, 80],
+        [273, 0, 22007, 6, 22008, 80],
         [273, 0, 22008, 80],
-        [273, 0, 22009, 6, 22010, 80],
-        [273, 0, 22010, 80],
+        [273, 0, 22009, 80],
+        [273, 0, 22010, 6, 22011, 80],
         [273, 0, 22011, 80],
-        [273, 0, 22012, 6, 22013, 80],
-        [273, 0, 22013, 80],
+        [273, 0, 22012, 80],
+        [273, 0, 22013, 6, 22014, 80],
         [273, 0, 22014, 80],
-        [273, 0, 22015, 6, 22016, 80],
-        [273, 0, 22016, 80],
+        [273, 0, 22015, 80],
+        [273, 0, 22016, 6, 22017, 80],
         [273, 0, 22017, 80],
-        [273, 1, 22018, 6, 22016, 80],
-        [273, 1, 22016, 80],
-        [274, 0, 22020, 144],
-        [274, 0, 22021, 171],
-        [274, 0, 22022, 144],
-        [274, 0, 22023, 171],
-        [274, 0, 22024, 144],
-        [274, 0, 22025, 171],
-        [274, 0, 22024, 144, 22026, 144],
-        [274, 1, 22027, 26],
+        [273, 0, 22018, 80],
+        [273, 1, 22019, 6, 22017, 80],
+        [273, 1, 22017, 80],
+        [274, 0, 22021, 144],
+        [274, 0, 22022, 171],
+        [274, 0, 22023, 144],
+        [274, 0, 22024, 171],
+        [274, 0, 22025, 144],
+        [274, 0, 22026, 171],
+        [274, 0, 22025, 144, 22027, 144],
+        [274, 1, 22028, 26],
         [274, 1],
-        [275, 0, 22029, 144],
-        [275, 0, 22029, 144, 22030, 51],
-        [275, 0, 22031, 144],
-        [275, 0, 22031, 144, 22032, 51],
-        [275, 0, 22031, 144, 22033, 144],
-        [275, 1, 22033, 144, 22034, 26],
+        [275, 0, 22030, 144],
+        [275, 0, 22030, 144, 22031, 51],
+        [275, 0, 22032, 144],
+        [275, 0, 22032, 144, 22033, 51],
+        [275, 0, 22032, 144, 22034, 144],
+        [275, 1, 22034, 144, 22035, 26],
         [275, 1],
-        [276, 0, 22036, 184],
-        [276, 0, 22037, 50],
-        [276, 0, 22038, 49, 22039, 138, 22040, 49, 22041, 48],
-        [276, 0, 22042, 142, 22039, 185],
-        [276, 0, 22038, 49, 22039, 138, 22040, 49, 22041, 48],
-        [276, 0, 22043, 142, 22041, 48],
-        [276, 0, 22044, 186],
-        [276, 0, 22042, 142, 22039, 185],
-        [276, 0, 22043, 142, 22041, 48],
-        [276, 0, 22045, 142, 22046, 49, 22047, 44, 22048, 93, 22049, 187],
-        [276, 0, 22045, 142, 22046, 49, 22047, 44, 22048, 93, 22049, 187],
-        [276, 0, 22050, 142, 22047, 44, 22048, 93, 22049, 187],
-        [276, 0, 22051, 93, 22052, 188, 22053, 47],
-        [276, 0, 22049, 185],
-        [276, 1, 22048, 93, 22049, 187],
-        [276, 0, 22050, 142, 22047, 44, 22048, 93, 22049, 187],
-        [276, 0, 22052, 138],
-        [276, 0, 22051, 93, 22052, 188, 22053, 47],
+        [276, 0, 22037, 184],
+        [276, 0, 22038, 50],
+        [276, 0, 22039, 49, 22040, 138, 22041, 49, 22042, 48],
+        [276, 0, 22043, 142, 22040, 185],
+        [276, 0, 22039, 49, 22040, 138, 22041, 49, 22042, 48],
+        [276, 0, 22044, 142, 22042, 48],
+        [276, 0, 22045, 186],
+        [276, 0, 22043, 142, 22040, 185],
+        [276, 0, 22044, 142, 22042, 48],
+        [276, 0, 22046, 142, 22047, 49, 22048, 44, 22049, 93, 22050, 187],
+        [276, 0, 22046, 142, 22047, 49, 22048, 44, 22049, 93, 22050, 187],
+        [276, 0, 22051, 142, 22048, 44, 22049, 93, 22050, 187],
+        [276, 0, 22052, 93, 22053, 188, 22054, 47],
+        [276, 0, 22050, 185],
+        [276, 1, 22049, 93, 22050, 187],
+        [276, 0, 22051, 142, 22048, 44, 22049, 93, 22050, 187],
+        [276, 0, 22053, 138],
+        [276, 0, 22052, 93, 22053, 188, 22054, 47],
         [276, 1],
-        [277, 0, 22055, 49, 22056, 171, 22057, 50],
-        [277, 0, 22056, 171, 22057, 50],
-        [277, 0, 22058, 171, 22057, 50],
-        [277, 0, 22059, 93, 22060, 189],
-        [277, 0, 22061, 171, 22057, 50],
-        [277, 0, 22060, 33],
-        [277, 0, 22059, 93, 22060, 189, 22062, 48],
-        [277, 0, 22057, 50],
-        [277, 0, 22063, 23],
-        [277, 0, 22064, 142, 22065, 49, 22066, 44, 22067, 185],
-        [277, 0, 22064, 142, 22065, 49, 22066, 44, 22067, 185],
-        [277, 0, 22068, 142, 22066, 44, 22067, 185],
-        [277, 0, 22069, 93, 22070, 188, 22071, 47],
-        [277, 1, 22067, 185],
-        [277, 0, 22068, 142, 22066, 44, 22067, 185],
-        [277, 0, 22070, 138],
-        [277, 0, 22069, 93, 22070, 188, 22071, 47],
+        [277, 0, 22056, 49, 22057, 171, 22058, 50],
+        [277, 0, 22057, 171, 22058, 50],
+        [277, 0, 22059, 171, 22058, 50],
+        [277, 0, 22060, 93, 22061, 189],
+        [277, 0, 22062, 171, 22058, 50],
+        [277, 0, 22061, 33],
+        [277, 0, 22060, 93, 22061, 189, 22063, 48],
+        [277, 0, 22058, 50],
+        [277, 0, 22064, 23],
+        [277, 0, 22065, 142, 22066, 49, 22067, 44, 22068, 185],
+        [277, 0, 22065, 142, 22066, 49, 22067, 44, 22068, 185],
+        [277, 0, 22069, 142, 22067, 44, 22068, 185],
+        [277, 0, 22070, 93, 22071, 188, 22072, 47],
+        [277, 1, 22068, 185],
+        [277, 0, 22069, 142, 22067, 44, 22068, 185],
+        [277, 0, 22071, 138],
+        [277, 0, 22070, 93, 22071, 188, 22072, 47],
         [277, 1],
-        [278, 0, 22073, 184],
-        [278, 0, 22074, 50],
+        [278, 0, 22074, 184],
+        [278, 0, 22075, 50],
         [278, 1],
-        [279, 0, 22076, 44],
-        [279, 0, 22077, 144],
-        [279, 0, 22078, 190, 22079, 190, 22080, 191, 22081, 47],
-        [279, 0, 22078, 190, 22079, 190, 22080, 191, 22081, 47],
-        [279, 0, 22082, 192, 22083, 193, 22084, 86, 22079, 190, 22080, 191, 22081, 47],
-        [279, 0, 22079, 190, 22080, 191, 22081, 47],
+        [279, 0, 22077, 44],
+        [279, 0, 22078, 144],
+        [279, 0, 22079, 190, 22080, 190, 22081, 191, 22082, 47],
+        [279, 0, 22079, 190, 22080, 190, 22081, 191, 22082, 47],
+        [279, 0, 22083, 192, 22084, 193, 22085, 86, 22080, 190, 22081, 191, 22082, 47],
+        [279, 0, 22080, 190, 22081, 191, 22082, 47],
         [279, 1],
-        [279, 0, 22082, 192, 22083, 193, 22084, 86, 22079, 190, 22080, 191, 22081, 47],
-        [279, 0, 22083, 193, 22084, 86, 22079, 190, 22080, 191, 22081, 47],
-        [279, 0, 22085, 193, 22086, 143, 22087, 28, 22088, 194, 22079, 190, 22080, 191, 22081, 47],
-        [279, 0, 22085, 193, 22086, 143, 22087, 28, 22088, 194, 22079, 190, 22080, 191, 22081, 47],
-        [279, 0, 22089, 147, 22080, 143],
-        [279, 0, 22090, 149, 22080, 28],
-        [279, 0, 22091, 195, 22079, 190, 22080, 191, 22081, 47],
-        [279, 0, 22089, 147, 22080, 143],
-        [279, 0, 22090, 149, 22080, 28],
-        [279, 0, 22091, 195, 22079, 190, 22080, 191, 22081, 47],
-        [280, 0, 22093, 44],
-        [280, 0, 22094, 14],
-        [280, 0, 22095, 15],
-        [280, 0, 22096, 16],
-        [280, 0, 22097, 9],
-        [280, 0, 22098, 5],
-        [280, 0, 22099, 196],
-        [280, 0, 22100, 33, 22101, 44],
-        [280, 0, 22100, 33, 22101, 44],
-        [280, 0, 22102, 46],
-        [280, 0, 22103, 14],
-        [280, 0, 22104, 15],
-        [280, 0, 22105, 16],
-        [280, 0, 22106, 9],
-        [280, 0, 22107, 5],
-        [280, 0, 22108, 196],
+        [279, 0, 22083, 192, 22084, 193, 22085, 86, 22080, 190, 22081, 191, 22082, 47],
+        [279, 0, 22084, 193, 22085, 86, 22080, 190, 22081, 191, 22082, 47],
+        [279, 0, 22086, 193, 22087, 143, 22088, 28, 22089, 194, 22080, 190, 22081, 191, 22082, 47],
+        [279, 0, 22086, 193, 22087, 143, 22088, 28, 22089, 194, 22080, 190, 22081, 191, 22082, 47],
+        [279, 0, 22090, 147, 22081, 143],
+        [279, 0, 22091, 149, 22081, 28],
+        [279, 0, 22092, 195, 22080, 190, 22081, 191, 22082, 47],
+        [279, 0, 22090, 147, 22081, 143],
+        [279, 0, 22091, 149, 22081, 28],
+        [279, 0, 22092, 195, 22080, 190, 22081, 191, 22082, 47],
+        [280, 0, 22094, 44],
+        [280, 0, 22095, 14],
+        [280, 0, 22096, 15],
+        [280, 0, 22097, 16],
+        [280, 0, 22098, 9],
+        [280, 0, 22099, 5],
+        [280, 0, 22100, 196],
+        [280, 0, 22101, 33, 22102, 44],
+        [280, 0, 22101, 33, 22102, 44],
+        [280, 0, 22103, 46],
+        [280, 0, 22104, 14],
+        [280, 0, 22105, 15],
+        [280, 0, 22106, 16],
+        [280, 0, 22107, 9],
+        [280, 0, 22108, 5],
+        [280, 0, 22109, 196],
         [280, 1],
-        [281, 0, 22110, 50],
-        [281, 0, 22111, 49, 22112, 138, 22113, 49, 22114, 48],
-        [281, 0, 22115, 142, 22112, 185],
-        [281, 0, 22111, 49, 22112, 138, 22113, 49, 22114, 48],
-        [281, 0, 22116, 142, 22114, 48],
-        [281, 0, 22117, 186],
-        [281, 0, 22115, 142, 22112, 185],
-        [281, 0, 22116, 142, 22114, 48],
-        [281, 0, 22118, 142, 22119, 49, 22120, 44, 22121, 93, 22122, 187],
-        [281, 0, 22118, 142, 22119, 49, 22120, 44, 22121, 93, 22122, 187],
-        [281, 0, 22123, 142, 22120, 44, 22121, 93, 22122, 187],
-        [281, 0, 22124, 93, 22125, 188, 22126, 47],
-        [281, 0, 22122, 185],
-        [281, 1, 22121, 93, 22122, 187],
-        [281, 0, 22123, 142, 22120, 44, 22121, 93, 22122, 187],
-        [281, 0, 22125, 138],
-        [281, 0, 22124, 93, 22125, 188, 22126, 47],
+        [281, 0, 22111, 50],
+        [281, 0, 22112, 49, 22113, 138, 22114, 49, 22115, 48],
+        [281, 0, 22116, 142, 22113, 185],
+        [281, 0, 22112, 49, 22113, 138, 22114, 49, 22115, 48],
+        [281, 0, 22117, 142, 22115, 48],
+        [281, 0, 22118, 186],
+        [281, 0, 22116, 142, 22113, 185],
+        [281, 0, 22117, 142, 22115, 48],
+        [281, 0, 22119, 142, 22120, 49, 22121, 44, 22122, 93, 22123, 187],
+        [281, 0, 22119, 142, 22120, 49, 22121, 44, 22122, 93, 22123, 187],
+        [281, 0, 22124, 142, 22121, 44, 22122, 93, 22123, 187],
+        [281, 0, 22125, 93, 22126, 188, 22127, 47],
+        [281, 0, 22123, 185],
+        [281, 1, 22122, 93, 22123, 187],
+        [281, 0, 22124, 142, 22121, 44, 22122, 93, 22123, 187],
+        [281, 0, 22126, 138],
+        [281, 0, 22125, 93, 22126, 188, 22127, 47],
         [281, 1],
-        [282, 0, 22128, 49, 22129, 171, 22130, 50],
-        [282, 0, 22129, 171, 22130, 50],
-        [282, 0, 22131, 171, 22130, 50],
-        [282, 0, 22132, 93, 22133, 189],
-        [282, 0, 22134, 171, 22130, 50],
-        [282, 0, 22133, 33],
-        [282, 0, 22132, 93, 22133, 189, 22135, 48],
-        [282, 0, 22130, 50],
-        [282, 0, 22136, 23],
-        [282, 0, 22137, 142, 22138, 49, 22139, 44, 22140, 185],
-        [282, 0, 22137, 142, 22138, 49, 22139, 44, 22140, 185],
-        [282, 0, 22141, 142, 22139, 44, 22140, 185],
-        [282, 0, 22142, 93, 22143, 188, 22144, 47],
-        [282, 1, 22140, 185],
-        [282, 0, 22141, 142, 22139, 44, 22140, 185],
-        [282, 0, 22143, 138],
-        [282, 0, 22142, 93, 22143, 188, 22144, 47],
+        [282, 0, 22129, 49, 22130, 171, 22131, 50],
+        [282, 0, 22130, 171, 22131, 50],
+        [282, 0, 22132, 171, 22131, 50],
+        [282, 0, 22133, 93, 22134, 189],
+        [282, 0, 22135, 171, 22131, 50],
+        [282, 0, 22134, 33],
+        [282, 0, 22133, 93, 22134, 189, 22136, 48],
+        [282, 0, 22131, 50],
+        [282, 0, 22137, 23],
+        [282, 0, 22138, 142, 22139, 49, 22140, 44, 22141, 185],
+        [282, 0, 22138, 142, 22139, 49, 22140, 44, 22141, 185],
+        [282, 0, 22142, 142, 22140, 44, 22141, 185],
+        [282, 0, 22143, 93, 22144, 188, 22145, 47],
+        [282, 1, 22141, 185],
+        [282, 0, 22142, 142, 22140, 44, 22141, 185],
+        [282, 0, 22144, 138],
+        [282, 0, 22143, 93, 22144, 188, 22145, 47],
         [282, 1],
-        [283, 0, 22146, 44],
-        [283, 0, 22147, 144],
-        [283, 0, 22148, 197],
-        [283, 0, 22149, 197, 22150, 23],
-        [283, 0, 22151, 197, 22150, 23],
-        [283, 0, 22152, 198, 22153, 47],
-        [283, 0, 22154, 197, 22150, 23],
-        [283, 0, 22152, 198, 22153, 47],
+        [283, 0, 22147, 44],
+        [283, 0, 22148, 144],
+        [283, 0, 22149, 197],
+        [283, 0, 22150, 197, 22151, 23],
+        [283, 0, 22152, 197, 22151, 23],
+        [283, 0, 22153, 198, 22154, 47],
+        [283, 0, 22155, 197, 22151, 23],
+        [283, 0, 22153, 198, 22154, 47],
         [283, 1],
-        [283, 0, 22155, 197, 22150, 23],
-        [283, 0, 22156, 197, 22150, 23],
-        [283, 0, 22157, 197, 22150, 23],
-        [283, 0, 22158, 197, 22150, 23],
-        [283, 0, 22159, 197, 22150, 23],
-        [283, 0, 22160, 197, 22150, 23],
-        [283, 0, 22161, 197, 22150, 23],
-        [283, 0, 22162, 197, 22150, 23],
-        [283, 0, 22163, 197, 22150, 23],
-        [283, 0, 22164, 197, 22150, 23],
-        [283, 0, 22165, 197, 22150, 23],
-        [283, 0, 22166, 197, 22150, 23],
-        [283, 0, 22167, 197, 22150, 23],
-        [283, 0, 22168, 197, 22150, 23],
-        [283, 0, 22169, 197, 22150, 23],
-        [283, 0, 22170, 197, 22150, 23],
-        [283, 0, 22171, 197, 22150, 23],
-        [283, 0, 22172, 197, 22150, 23],
-        [283, 0, 22173, 197, 22150, 23],
-        [283, 0, 22174, 197, 22150, 23],
-        [283, 0, 22175, 197, 22150, 23],
-        [283, 0, 22176, 197, 22150, 23],
-        [283, 0, 22177, 197, 22150, 23],
-        [283, 0, 22178, 197, 22150, 23],
-        [283, 0, 22179, 197, 22150, 23],
-        [283, 0, 22180, 197, 22150, 23],
-        [283, 0, 22181, 197, 22150, 23],
-        [283, 0, 22150, 23],
-        [284, 0, 22183, 21, 22184, 18, 22185, 22],
-        [284, 0, 22186, 15],
+        [283, 0, 22156, 197, 22151, 23],
+        [283, 0, 22157, 197, 22151, 23],
+        [283, 0, 22158, 197, 22151, 23],
+        [283, 0, 22159, 197, 22151, 23],
+        [283, 0, 22160, 197, 22151, 23],
+        [283, 0, 22161, 197, 22151, 23],
+        [283, 0, 22162, 197, 22151, 23],
+        [283, 0, 22163, 197, 22151, 23],
+        [283, 0, 22164, 197, 22151, 23],
+        [283, 0, 22165, 197, 22151, 23],
+        [283, 0, 22166, 197, 22151, 23],
+        [283, 0, 22167, 197, 22151, 23],
+        [283, 0, 22168, 197, 22151, 23],
+        [283, 0, 22169, 197, 22151, 23],
+        [283, 0, 22170, 197, 22151, 23],
+        [283, 0, 22171, 197, 22151, 23],
+        [283, 0, 22172, 197, 22151, 23],
+        [283, 0, 22173, 197, 22151, 23],
+        [283, 0, 22174, 197, 22151, 23],
+        [283, 0, 22175, 197, 22151, 23],
+        [283, 0, 22176, 197, 22151, 23],
+        [283, 0, 22177, 197, 22151, 23],
+        [283, 0, 22178, 197, 22151, 23],
+        [283, 0, 22179, 197, 22151, 23],
+        [283, 0, 22180, 197, 22151, 23],
+        [283, 0, 22181, 197, 22151, 23],
+        [283, 0, 22182, 197, 22151, 23],
+        [283, 0, 22151, 23],
+        [284, 0, 22184, 21, 22185, 18, 22186, 22],
         [284, 0, 22187, 15],
-        [284, 0, 22188, 22],
-        [284, 0, 22189, 15],
-        [284, 0, 22190, 8],
-        [284, 0, 22191, 22],
-        [284, 0, 22192, 8],
-        [284, 0, 22193, 23],
-        [284, 0, 22194, 78],
-        [284, 0, 22190, 14, 22193, 23],
+        [284, 0, 22188, 15],
+        [284, 0, 22189, 22],
+        [284, 0, 22190, 15],
+        [284, 0, 22191, 8],
+        [284, 0, 22192, 22],
+        [284, 0, 22193, 8],
+        [284, 0, 22194, 23],
+        [284, 0, 22195, 78],
+        [284, 0, 22191, 14, 22194, 23],
+        [284, 0, 22196, 46],
+        [284, 1, 22197, 199],
         [284, 0, 22195, 46],
-        [284, 1, 22196, 199],
-        [284, 0, 22194, 46],
-        [284, 1, 22196, 199],
-        [285, 0, 22198, 44],
-        [285, 0, 22199, 144],
-        [285, 0, 22200, 190, 22201, 190, 22202, 191, 22203, 47],
-        [285, 0, 22200, 190, 22201, 190, 22202, 191, 22203, 47],
-        [285, 0, 22204, 192, 22205, 193, 22206, 86, 22201, 190, 22202, 191, 22203, 47],
-        [285, 0, 22201, 190, 22202, 191, 22203, 47],
+        [284, 1, 22197, 199],
+        [285, 0, 22199, 44],
+        [285, 0, 22200, 144],
+        [285, 0, 22201, 190, 22202, 190, 22203, 191, 22204, 47],
+        [285, 0, 22201, 190, 22202, 190, 22203, 191, 22204, 47],
+        [285, 0, 22205, 192, 22206, 193, 22207, 86, 22202, 190, 22203, 191, 22204, 47],
+        [285, 0, 22202, 190, 22203, 191, 22204, 47],
         [285, 1],
-        [285, 0, 22204, 192, 22205, 193, 22206, 86, 22201, 190, 22202, 191, 22203, 47],
-        [285, 0, 22205, 193, 22206, 86, 22201, 190, 22202, 191, 22203, 47],
-        [285, 0, 22207, 193, 22208, 143, 22209, 28, 22210, 194, 22201, 190, 22202, 191, 22203, 47],
-        [285, 0, 22207, 193, 22208, 143, 22209, 28, 22210, 194, 22201, 190, 22202, 191, 22203, 47],
-        [285, 0, 22211, 147, 22202, 143],
-        [285, 0, 22212, 149, 22202, 28],
-        [285, 0, 22213, 195, 22201, 190, 22202, 191, 22203, 47],
-        [285, 0, 22211, 147, 22202, 143],
-        [285, 0, 22212, 149, 22202, 28],
-        [285, 0, 22213, 195, 22201, 190, 22202, 191, 22203, 47],
+        [285, 0, 22205, 192, 22206, 193, 22207, 86, 22202, 190, 22203, 191, 22204, 47],
+        [285, 0, 22206, 193, 22207, 86, 22202, 190, 22203, 191, 22204, 47],
+        [285, 0, 22208, 193, 22209, 143, 22210, 28, 22211, 194, 22202, 190, 22203, 191, 22204, 47],
+        [285, 0, 22208, 193, 22209, 143, 22210, 28, 22211, 194, 22202, 190, 22203, 191, 22204, 47],
+        [285, 0, 22212, 147, 22203, 143],
+        [285, 0, 22213, 149, 22203, 28],
+        [285, 0, 22214, 195, 22202, 190, 22203, 191, 22204, 47],
+        [285, 0, 22212, 147, 22203, 143],
+        [285, 0, 22213, 149, 22203, 28],
+        [285, 0, 22214, 195, 22202, 190, 22203, 191, 22204, 47],
     ],
 };
 /** Each reversed injection pattern, loosened the same way. */

package/esm/src/guardrails/egress-compiler.js

@@ -25,7 +25,7 @@ import { JS, NFA } from 'refa';
 import { analyse } from 'scslre';
 import { EGRESS_PATTERNS } from './egress-patterns.js';
 import { TheoremError } from './error.js';
-import { MAX_PATTERNS, PATTERN_COMPILER_VERSION, patternProblem, patternSources, } from './host-patterns.js';
+import { PATTERN_COMPILER_VERSION, patternProblem, patternSources, } from './host-patterns.js';
 const MAX_CHAR = 0xffff;
 /**
  * A bounded repeat longer than this is read as unbounded: the hold cannot
@@ -355,9 +355,6 @@ function slowPatternProblem(source, flags = '') {
  * backreference to text that varies).
  */
 function compilePatterns(patterns) {
-    if (patterns.length > MAX_PATTERNS) {
-        throw patternError(`${patterns.length} patterns; a detector takes at most ${MAX_PATTERNS}`); // labels-exempt: developer contract / internal diagnostic — not end-user or model copy (P2)
-    }
     patterns.forEach((pattern, index) => {
         const problem = patternProblem(`patterns[${index}]`, pattern);
         if (problem !== undefined)

package/esm/src/guardrails/egress-stream.js

@@ -20,6 +20,7 @@
 import { EGRESS_PATTERNS, notePattern, } from './egress-patterns.js';
 import { IMAGE_PATTERNS, imageReadings, LINK_PATTERNS, linkReadings, } from './egress-urls.js';
 import { decodeUrlRuns, INJECTION_BLOBS, TYPO_TARGETS, tryLeet, tryRot13, typoNormalize, } from './injection.js';
+import { freshPattern } from './injection-patterns.js';
 import { REVERSED_INJECTION_PATTERNS } from './injection-reversed.js';
 import { isEmoji, normalizeCodePoint } from './normalize.js';
 import { detectRule } from './rules.js';
@@ -471,7 +472,7 @@ function forwardPatterns(detectors, { given, allow, skipImages }) {
         out.push({
             ...rule,
             id,
-            regex: new RegExp(entry.pattern.source, entry.pattern.flags),
+            regex: freshPattern(entry.pattern),
             ...patternReading(entry.kind, entry.pattern, urls),
         });
     });
@@ -487,7 +488,7 @@ function injectionPatterns() {
         out.push({
             ...INJECTION_RULE,
             id,
-            regex: new RegExp(pattern.source, pattern.flags),
+            regex: freshPattern(pattern),
             ...(hit ? { hit } : {}),
         });
     });
@@ -649,6 +650,12 @@ function createScan(view, automaton, patterns) {
         resume[p] = Math.max(from, at) + 1;
         return { rule, severity, start: view.rawAt(at), detector };
     }
+    let lowered = { text: '', lower: '' };
+    const lower = () => {
+        if (lowered.text !== view.text)
+            lowered = { text: view.text, lower: view.text.toLowerCase() };
+        return lowered.lower;
+    };
     /** A regex pattern's hit up to `settledTo`. */
     function matched(p, settledTo) {
         if (!reached[p] && !recheck[p]) {
@@ -667,7 +674,7 @@ function createScan(view, automaton, patterns) {
                 return undefined;
             }
             const [blob] = match;
-            if (blob && (!hit || hit(blob, text, match.index))) {
+            if (blob && (!hit || hit(blob, text, match.index, lower))) {
                 // why: The scan reads on from the end of the match, so the next call finds the one after it.
                 resume[p] = regex.lastIndex;
                 recheck[p] = 1;

package/esm/src/guardrails/egress-urls.js

@@ -448,8 +448,10 @@ function inlineLeaks(text, openers, scope, meter) {
         while (next < openers.length && openers[next].open < end) {
             inside.push(openers[next++]);
         }
-        if (inside.length > 0)
-            spans.push(...paragraphLeaks(text, start, end, inside, scope, meter));
+        if (inside.length > 0) {
+            for (const span of paragraphLeaks(text, start, end, inside, scope, meter))
+                spans.push(span);
+        }
     }
     return spans;
 }

package/esm/src/guardrails/error.d.ts

@@ -16,7 +16,7 @@ declare function kindOfHttpStatus(status: number): ErrorKind;
 declare function errorCopyText(copy: ErrorCopies, labels?: LabelOverrides): string;
 /** Pass the profile's `labels`, or the profile's wording is skipped. */
 declare function publicError(err: unknown, labels?: LabelOverrides): string;
-/** Raw diagnostic for hosts, traces, and logs; never shown to end users. */
+/** Raw diagnostic for hosts, traces, and logs; never shown to end users. Each cause that says something new follows on its own line. */
 declare function describeError(err: unknown): string;
 type ProducedError = TurnEventOf<'error'> & {
     errorInternal: string;

package/esm/src/guardrails/error.js

@@ -61,8 +61,7 @@ function errorCopyText(copy, labels) {
 function publicError(err, labels) {
     return wording(errorKind(err), err instanceof TheoremError ? err.copy : undefined, labels);
 }
-/** Raw diagnostic for hosts, traces, and logs; never shown to end users. */
-function describeError(err) {
+function messageOf(err) {
     if (typeof err === 'string') {
         return err;
     }
@@ -71,6 +70,24 @@ function describeError(err) {
     }
     return String(err);
 }
+/** Raw diagnostic for hosts, traces, and logs; never shown to end users. Each cause that says something new follows on its own line. */
+function describeError(err) {
+    const lines = [messageOf(err)];
+    const seen = new Set([err]);
+    let said = messageOf(err);
+    let cause = err instanceof Error ? err.cause : undefined;
+    while (cause !== undefined && cause !== null && !seen.has(cause)) {
+        seen.add(cause);
+        const message = messageOf(cause);
+        if (message !== said) {
+            const name = cause instanceof Error && cause.name !== 'Error' ? `${cause.name}: ` : '';
+            lines.push(`caused by: ${name}${message}`);
+            said = message;
+        }
+        cause = cause instanceof Error ? cause.cause : undefined;
+    }
+    return lines.join('\n');
+}
 /** No user wording yet: `withPublicLabels` adds it where the event reaches the host, the one place that knows the profile. */
 function toErrorEvent(err) {
     return {

package/esm/src/guardrails/host-patterns.d.ts

@@ -59,9 +59,6 @@ interface HostMatcher {
 }
 /** Bumped whenever the compiled table's layout or meaning changes. */
 declare const PATTERN_COMPILER_VERSION = 3;
-/** The most patterns one detector takes, and the longest each may be once written as a regular expression. */
-declare const MAX_PATTERNS = 64;
-declare const MAX_PATTERN_LENGTH = 1024;
 /** The patterns as a compiled table records them. */
 declare function patternSources(patterns: readonly HostPattern[]): PatternSource[];
 /** What is wrong with one pattern, or `undefined` when it runs. */
@@ -82,4 +79,4 @@ declare function listsPatterns(detect: unknown): boolean;
 /** `patterns`, valid, ready to run. */
 declare function matchersOf(patterns: readonly HostPattern[]): readonly HostMatcher[];
 export type { AutomatonData, CompiledPatterns, HostMatcher, HostPattern, PatternSource };
-export { listsPatterns, MAX_PATTERN_LENGTH, MAX_PATTERNS, matchersOf, PATTERN_COMPILER_VERSION, patternListProblem, patternProblem, patternSources, patternsProblem, };
+export { listsPatterns, matchersOf, PATTERN_COMPILER_VERSION, patternListProblem, patternProblem, patternSources, patternsProblem, };

package/esm/src/guardrails/host-patterns.js

@@ -2,9 +2,6 @@
 // `detectors.ts` can read a host's patterns without a cycle.
 /** Bumped whenever the compiled table's layout or meaning changes. */
 const PATTERN_COMPILER_VERSION = 3;
-/** The most patterns one detector takes, and the longest each may be once written as a regular expression. */
-const MAX_PATTERNS = 64;
-const MAX_PATTERN_LENGTH = 1024;
 const PATTERN_FLAGS = 'imsu';
 /** A letter, digit, or underscore in any script: what a word may not touch on either side. */
 const WORD_UNIT = '[\\p{L}\\p{N}_]';
@@ -79,9 +76,6 @@ function patternProblem(path, pattern) {
     if (shape !== undefined)
         return shape;
     const { source, flags } = patternSource(pattern);
-    if (source.length > MAX_PATTERN_LENGTH) {
-        return `${path} is ${source.length} characters as a regular expression; the most is ${MAX_PATTERN_LENGTH}`;
-    }
     let regex;
     try {
         // why: this only checks that the pattern parses and tests it on the empty text; a pattern that
@@ -134,9 +128,6 @@ function patternsProblem(path, patterns, compiled) {
 function patternListProblem(path, patterns) {
     if (!Array.isArray(patterns))
         return `${path}.patterns must be a list`;
-    if (patterns.length > MAX_PATTERNS) {
-        return `${path}.patterns lists ${patterns.length} patterns; the most is ${MAX_PATTERNS}`;
-    }
     const names = new Set();
     for (const [index, pattern] of patterns.entries()) {
         const at = `${path}.patterns[${index}]`;
@@ -170,4 +161,4 @@ function matchersOf(patterns) {
     }
     return matchers;
 }
-export { listsPatterns, MAX_PATTERN_LENGTH, MAX_PATTERNS, matchersOf, PATTERN_COMPILER_VERSION, patternListProblem, patternProblem, patternSources, patternsProblem, };
+export { listsPatterns, matchersOf, PATTERN_COMPILER_VERSION, patternListProblem, patternProblem, patternSources, patternsProblem, };

package/esm/src/guardrails/injection-patterns.d.ts

@@ -17,4 +17,6 @@ declare const HEX_BLOB: RegExp;
 declare const SPACED_LETTERS: RegExp;
 /** Three+ alphabetic tokens joined by `|` (no shell spaces around pipes). */
 declare const PIPE_SEPARATED: RegExp;
-export { BASE64_BLOB, HEX_BLOB, INJECTION_PATTERNS, overrideFrame, PIPE_SEPARATED, SPACED_LETTERS };
+/** A pattern of its own for one scan to move `lastIndex` on, of the same class as `pattern`. */
+declare function freshPattern(pattern: RegExp): RegExp;
+export { BASE64_BLOB, freshPattern, HEX_BLOB, INJECTION_PATTERNS, overrideFrame, PIPE_SEPARATED, SPACED_LETTERS, };