@theoremjs/agents 0.3.4-next.482.g7e608f2 → 0.3.4-next.508.geda6db0

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-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/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, };

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

@@ -117,10 +117,93 @@ const INJECTION_PATTERNS = [
     IGNORE_MULTILANG,
     OVERRIDE_FRAME,
 ];
+/**
+ * A pattern whose `exec` is a scan written by hand, which finds exactly the matches of its `source`.
+ * V8 grows its regex stack once per step of a repeated group whose steps differ in length, so on a run
+ * of millions of characters that regex throws. The egress automata are still built from `source`.
+ */
+class ScannedPattern extends RegExp {
+    exec(text) {
+        for (let start = this.lastIndex; start < text.length; start++) {
+            const end = this.endOf(text, start);
+            if (end < 0)
+                continue;
+            this.lastIndex = end;
+            return Object.assign([text.slice(start, end)], {
+                index: start,
+                input: text,
+            });
+        }
+        this.lastIndex = 0;
+        return null;
+    }
+}
+const WHITESPACE = /\s/;
+function isHex(code) {
+    return (code >= 48 && code <= 57) || (code >= 65 && code <= 70) || (code >= 97 && code <= 102);
+}
+function isLetter(code) {
+    return (code >= 65 && code <= 90) || (code >= 97 && code <= 122);
+}
+/** A character `\b` counts as part of a word: a letter, a digit, or `_`. */
+function isWordChar(code) {
+    return isLetter(code) || (code >= 48 && code <= 57) || code === 95;
+}
+class HexBlob extends ScannedPattern {
+    constructor() {
+        super('(?:[0-9a-f]{2}[\\s]?){8,}', 'gi');
+    }
+    endOf(text, start) {
+        let at = start;
+        let pairs = 0;
+        while (isHex(text.charCodeAt(at)) && isHex(text.charCodeAt(at + 1))) {
+            at += 2;
+            pairs++;
+            if (at < text.length && WHITESPACE.test(text[at]))
+                at++;
+        }
+        return pairs >= 8 ? at : -1;
+    }
+}
+class PipeSeparated extends ScannedPattern {
+    constructor() {
+        super('\\b(?:[A-Za-z]+\\|){2,}[A-Za-z]+\\b', 'g');
+    }
+    endOf(text, start) {
+        if (!isLetter(text.charCodeAt(start)) || isWordChar(text.charCodeAt(start - 1)))
+            return -1;
+        let at = start;
+        let piped = 0;
+        let lastWordEnd = -1;
+        for (;;) {
+            let end = at;
+            while (isLetter(text.charCodeAt(end)))
+                end++;
+            if (end > at && text[end] === '|') {
+                piped++;
+                lastWordEnd = end;
+                at = end + 1;
+                continue;
+            }
+            if (end > at && piped >= 2 && !isWordChar(text.charCodeAt(end)))
+                return end;
+            // why: The regex backtracks one step, so the last piped word is the final one.
+            return piped >= 3 ? lastWordEnd : -1;
+        }
+    }
+}
 /** Runs that might encode an injection; each is decoded and checked in `injection.ts`. */
-const BASE64_BLOB = /[A-Za-z0-9+/]{16,}={0,2}/g;
-const HEX_BLOB = /(?:[0-9a-f]{2}[\s]?){8,}/gi;
+const BASE64_BLOB = /[A-Za-z0-9+/]{16}[A-Za-z0-9+/]*={0,2}/g;
+const HEX_BLOB = new HexBlob();
 const SPACED_LETTERS = /\b(?:[A-Za-z] ){3,}[A-Za-z]\b/g;
 /** Three+ alphabetic tokens joined by `|` (no shell spaces around pipes). */
-const PIPE_SEPARATED = /\b(?:[A-Za-z]+\|){2,}[A-Za-z]+\b/g;
-export { BASE64_BLOB, HEX_BLOB, INJECTION_PATTERNS, overrideFrame, PIPE_SEPARATED, SPACED_LETTERS };
+const PIPE_SEPARATED = new PipeSeparated();
+/** A pattern of its own for one scan to move `lastIndex` on, of the same class as `pattern`. */
+function freshPattern(pattern) {
+    if (pattern instanceof HexBlob)
+        return new HexBlob();
+    if (pattern instanceof PipeSeparated)
+        return new PipeSeparated();
+    return new RegExp(pattern.source, pattern.flags);
+}
+export { BASE64_BLOB, freshPattern, HEX_BLOB, INJECTION_PATTERNS, overrideFrame, PIPE_SEPARATED, SPACED_LETTERS, };