מודיעין הצפות לווייני · ביטוח פרמטרי

טריגר לווייני מפריים בודד אינו יכול להבדיל בין הצפה לצל. כאשר הוא מפעיל תשלום של $2M על בסיס ניחוש כזה, אנו פוסקים לגבי הטריגר לפני שהכסף זז.

כיסוי ביטוחי פרמטרי להצפות משלם אוטומטית כאשר לוויין מציין שמיקום מסוים מוצף במים. אך פריים אופטי או מכ"מי בודד אינו יכול להבדיל בין מי שיטפון לבין צל ענן, צל מכ"ם או טופוגרפיה, או מאגר מים קבוע, משום שכל ארבעתם מחשיכים את אותם הפיקסלים בדיוק. TriggerProof מקבל את הטריגר שכבר הופעל כנתון ומוכיח האם יש לשלם: מאמת פיזיקלי דטרמיניסטי בעל חמישה כללים מקבל את ההחלטה, LLM מייעץ בלבד, מקרים של אי-ודאות מוסלמים לבודק אנושי במקום לשלם אוטומטית, וכל החלטה מותירה תיק ראיות פורנזי. סוכנים מייעצים, קוד מחליט.

$4.0M מתוך $8.0M

תשלומים שנכנסו לתור האוטומטי הוחזקו או נעצרו להוכחה (3 טריגרים שגויים דוכאו, 1 הוסלם). ה-$4.0M הנותרים שולמו עבור 2 הצפות מאומתות

תרחיש תיק סינתטי של 8 אזורי עניין (AOI) בהדגמה

0 לא-בטוחות

החלטות אוטומטיות לא-בטוחות לעומת 48 בקו הבסיס של פריים בודד, המשלם על כל מקרה שמסומן

בנצ'מרק סינתטי מתויג של 60 מקרים

100% / 100%

דיכוי תוצאות חיוביות שגויות (36/36) ו-recall הצפות (12/12) מתוך 80 האחוזים שנפתרו אוטומטית

בנצ'מרק סינתטי מתויג של 60 מקרים

הדגמה ניתנת להרצה של מנגנון הפסיקה. המאמת ושער המדיניות רצים במלואם ב-Python פשוט ללא מפתח API; רק סוכן ההצלבה המייעץ יכול לקרוא למודל, והוא לעולם אינו מחליט על התשלום. כל אריח לוויין, אזור עניין ואות קרקע הם סינתטיים ונאמנים לחוקי הפיזיקה, ולא נתוני Sentinel או מבטח אמיתיים.

תשלום פרמטרי אמין רק במידת האמינות של הטריגר שמאחוריו

ביטוח הצפות פרמטרי החליף את שמאי הנזקים בטריגר לווייני כדי להפוך את התשלומים למיידיים. הטריגר ירש בעיה פיזיקלית שהוא אינו מסוגל לראות מעבר לה.

כאשר טריגר מופעל, תשלום של מיליונים משוחרר ללא שמאי בשטח. כוח המשיכה טמון במהירות ובהיעדר מחלוקות. החשיפה לסיכון היא שפריים בודד, קריאת NDWI או MNDWI על תמונה אופטית אחת או מעבר SAR יחיד, נדרש להכריע האם הקרקע אכן מוצפת במים. לעיתים קרובות הוא אינו יכול. צל ענן מחשיך סצנה אופטית בדיוק במקום שבו הצפה הייתה מופיעה. צל מכ"ם או צל טופוגרפי מפחית את החזר ה-SAR (backscatter) באותו אופן שבו מים עומדים אמיתיים עושים זאת. מאגר מים קבוע נקרא כמים משום שהוא אכן מים, רק לא מים חדשים.

לכן מצב הכשל האמיתי של הטריגר אינו ההצפה שהוא מפספס. אלא התוצאה החיובית השגויה (false positive) הבטוחה בעצמה: תשלום שהופעל על צל, שוחרר לפני שמישהו יכול לבדוק, וללא כל תיעוד שיאפשר למבטח-משנה או למבקר לבחון את ההחלטה בדיעבד. זהו סיכון בסיס (basis risk) בצורתו היקרה ביותר — תשלום על טריגר שמעולם לא היה הפסד — וזוהי החולשה המבנית שתיק ביטוח הצפות פרמטרי נושא עמו, ולא מקרה קצה נדיר.

תמונה בודדת טובה יותר אינה פותרת זאת. גם לא מודל חכם יותר שנדרש לתת ציון לאותו פריים בודד. הבדלת מי שיטפון משלושת המראות הדומים להם היא שאלה של כיצד חותמת מתנהגת לאורך זמן ובין חיישנים שונים, והאם ניתן להגן על ההחלטה מאוחר יותר. אלו הם שני הפערים שיצאנו לגשר עליהם, ואף אחד מהם אינו שוכן בתוך מודל זיהוי.

מאמת דטרמיניסטי מחליט על התשלום; ה-LLM מייעץ בלבד

צינור העיבוד מקבל טריגר שהופעל ומחזיר PAY (שלם), DENY (דחה), או ESCALATE (הסלם). ההחלטה שוכנת בקוד פשוט וניתן לבדיקה, לעולם לא בתוך מודל.

TriggerProof אינו מזהה הצפות. הוא פוסק לגבי טריגר שכבר הופעל. כל טריגר שהופעל עובר דרך מאמת פיזיקלי בעל חמישה כללים, נבדק מול אותות קרקע בלתי תלויים על ידי סוכן מייעץ, ולאחר מכן מנותב על ידי שער מדיניות אשר מאשר תשלום, דוחה, או מסלים לבודק אנושי. כל מקרה מפיק בסופו תיק ראיות פורנזי.

טריגר שהופעל → מאמת פיזיקלי דטרמיניסטי בעל 5 כללים (Python טהור) → סוכן הצלבה הקשרי (מייעץ) → שער מדיניות (PAY / DENY / ESCALATE) → תיק ראיות פורנזי (JSON + HTML להדפסה + SHA-256). סיווגים: flood / cloud_shadow / radar_shadow / permanent_water / no_trigger.

ליבת האמון הדטרמיניסטית

המאמת בעל חמשת הכללים כתוב ב-Python פשוט ללא מודל בלולאה. הוא מפיק סיווג וציון ביטחון (confidence score), והוא החלק שמחליט האם טריגר הוא הצפה אמיתית. הוא ניתן לבדיקה ולשחזור: הריצו אותו שוב על אותו מקרה ותקבלו את אותו פסק דין ואותן קריאות לכל כלל, וזה מה שמאפשר למבטח-משנה או למבקר לבחון את ההחלטה במקום לקבל אותה על עיוור.

הסוכן, מוגבל לייעוץ בלבד

סוכן הצלבה הקשרי (Contextual Cross-Reference Agent), הבנוי על Pydantic AI ומשתמש כברירת מחדל ב-claude-opus-4-8, בודק את הפסיקה הפיזיקלית מול אותות קרקע בלתי תלויים כגון מד גובה נהר, משקעים ודיווחי שטח, ומחזיר corroborates (מאמת), contradicts (סותר), או inconclusive (אינו חד-משמעי). ניתן להחליף את ספק המודל שלו והוא כולל גיבוי דטרמיניסטי כך שההדגמה רצה לחלוטין ללא חיבור רשת. הוא מייעץ וניתן לעקוף את עמדתו. הוא לעולם אינו מחליט על התשלום.

חמשת המאפיינים המבדילים שהמאמת אוכף

כלל	מאפיין מבדיל	מה הוא מבדיל
R1	התמדה לאורך זמן (Temporal persistence)	הצפה נמשכת לאורך רכישות עוקבות; צל ענן הוא חולף ונעלם בפריים הבא.
R2	התאמה בין SAR לאופטי (SAR-optical agreement)	הצפה היא כהה בתמונה אופטית ונמוכה ב-SAR; צל ענן הוא כהה בתמונה אופטית אך רגיל ב-SAR; צל מכ"ם הוא נמוך ב-SAR אך בהיר בתמונה אופטית.
R3	שיפוע DEM (DEM slope)	מים אינם יכולים להצטבר בשיפוע תלול, מה שמסמן עיוותי שיפוע (layover) וצל טופוגרפי.
R4	מסיכת מים קבועים (Permanent-water mask)	מאגרים ואגמים מוכרים מוחרגים, ובכך נתפס הטריגר השגוי של מאגר מים קיים.
R5	קישוריות הידרולוגית (Hydrological linkage)	הצפה אמיתית מתחברת לרשת הניקוז; כתם כהה מבודד אינו מתחבר אליה.

שער המדיניות הופך את הספים לשקופים למבקר. אם הסוכן סותר את הפיזיקה, או אם רמת הביטחון יורדת מתחת לרף האוטומציה המכויל של 0.65, המקרה מוסלם לבודק אנושי כדורש הוכחה (needs proof), ולעולם אינו מוכרע אוטומטית. אחרת, סיווג כהצפה מוביל לתשלום וכל סיווג שאינו הצפה נדחה. הערך בר-הקיימא טמון במאמת ובשער, ולא בגלאי חד יותר: אפילו מסווג פריים בודד מושלם עדיין אינו מסוגל להסלים מקרה עמום או למסור למבטח-משנה רשומה הניתנת להגנה. אלו הן משימות ממשל, והן יושבות מחוץ למודל הזיהוי מעצם תכנונן.

תיק הביטוח, נשפט על גבי המסך

כל נתון להלן הוא פלט בר-שחזור של המסגרת הדטרמיניסטית של ההדגמה, המחושב בזמן ריצה. כל אזור עניין, מד גובה נהר ודיווח שטח הם סינתטיים ונאמנים לחוקי הפיזיקה. לא נעשה שימוש בסצנת Sentinel, מיקום, מבטח או תביעה אמיתיים.

לפני: $8.0M בתור עבור 6 טריגרים שהופעלו

סערה חולפת על פני תיק של 8 אזורי עניין. טריגר הפריים הבודד המסורתי הופעל על 6 מתוכם והכניס לתור תשלומים אוטומטיים בסך 8.0 מיליון דולר ארה"ב. שום דבר בתצוגה זו אינו מבדיל בין הצפה אמיתית לבין צל או מאגר מים, משום שפריים בודד אינו יכול לעשות זאת. כל שורה שהופעלה עומדת לעבור דרך שלבי האימות, ההצלבה ושער המדיניות.

תיק הפסיקה של TriggerProof לפני ביצוע הפסיקה, המפרט 8 אזורי עניין מ-AOI-A עד AOI-H עם סכומי כסף בסיכון, תג PAY מסורתי על 6 הטריגרים שהופעלו בסך כולל של 8.0 מיליון דולר, ושלבי אימות, הצלבה ושער מדיניות הממתינים לביצוע בכל שורה שהופעלה. — התיק לפני פסיקה: 6 טריגרים של פריים בודד, $8.0M ממתינים לתשלום אוטומטי, ללא דרך עדיין להבדיל בין הצפה לצל.

אחרי: 2 לתשלום, 3 נדחו, 1 הוסלם

TriggerProof פוסק לגבי התיק. הוא מאמת 2 הצפות אמיתיות לתשלום בסך 4.0 מיליון דולר ארה"ב, מדכא 3 טריגרים שגויים עבור 3.2 מיליון שעוכבו (צל ענן ב-1.2 מיליון, צל מכ"ם ב-1.0 מיליון ומאגר מים קבוע ב-1.0 מיליון), ומסלים מקרה גבולי 1 בסך 0.8 מיליון לבודק אנושי. מתוך 8.0 המיליון שטריגר המורשת היה משלם אוטומטית, 4.0 מיליון נעצרו או עוכבו להוכחה, וכל החלטה מלווה בתיק ראיות פורנזי, כך שכיסוי הראיות מציג 100 אחוזים.

תיק הפסיקה לאחר הרצת TriggerProof, המציג 8.0 מיליון שהמתינו בתור המסורתי ונפתרו ל-4.0 מיליון שאושרו לתשלום עבור 2 הצפות ו-4.0 מיליון שעוכבו עבור 3 שדוכאו ו-1 שהוסלם, עם סיווג לפי שורה של flood,‏ cloud shadow,‏ radar shadow או permanent water, ציון ביטחון, הצלבת קרקע וכיסוי ראיות של 100 אחוזים. — לאחר הפסיקה: $4.0M אושרו לתשלום, $4.0M עוכבו עבור 3 טריגרים שגויים שדוכאו והסלמה 1, תיק ראיות אחד לכל החלטה.

מדוע צל של $1.2M נדחה: הצל זז

פתחו את AOI-B, מסוף Mesa Junction Depot, ועברו בין פריימי הרכישה. הכתם האופטי הכהה שהפעיל את הטריגר מופיע רק בפריים של הטריגר ונעלם ברכישה הבאה, בעוד שהחזר ה-SAR נותר תקין לכל אורך הדרך. המכ"ם ראה קרקע יבשה דרך הענן. המאמת מסווג זאת כ-cloud shadow (צל ענן) ברמת ביטחון 1.00 ודוחה את התשלום בסך 1.2 מיליון דולר ארה"ב. הצל זז; מי הצפה אמיתיים היו נשארים.

רצף הפריימים הזמני עבור AOI-B Mesa Junction Depot, שסווג כ-cloud shadow ונדחה ברמת ביטחון 1.00, עם פריימי NDWI אופטיים למעלה ופריימי SAR למטה לאורך שלוש רכישות, אות המים הכהה שסומן כתוצאה חיובית שגויה של צל ענן בפריים הטריגר בלבד, וטבלת ראיות פיזיקליות המציגה כי R1 (התמדה בזמן) ו-R2 (התאמת SAR-אופטי) נכשלו שניהם. — AOI-B, נדחה: הכתם הכהה מופיע רק בפריים הטריגר וה-SAR נותר תקין, לכן R1 ו-R2 נכשלים. צל ענן, לא מים.

מדוע הצפה של $2.0M שולמה: המים נשארו

אותו רצף פריימים על AOI-A, מסוף Rio Verde Terminal, מציג את ההפך. חותמת המים נמשכת בכל פריים רכישה הן באופטי והן ב-SAR, הטופוגרפיה שטוחה מספיק להצטברות מים, האזור מחובר לרשת הניקוז, ומד גובה הנהר הבלתי תלוי מאמת זאת. המאמת מסווג זאת כ-flood (הצפה) ברמת ביטחון 0.99 ומשלם את הטריגר בסך 2.0 מיליון דולר ארה"ב. המנגנון אינו מוטה לעבר דחייה; הוא מוטה לעבר הוכחה, וכאן ההוכחה קיימת.

רצף הפריימים הזמני עבור AOI-A Rio Verde Terminal, שסווג כ-flood ושולם ברמת ביטחון 0.99, המציג חותמת מים מתמשכת על פני כל שלושת פריימי האופטי וה-SAR, עם טבלת ראיות פיזיקליות שבה R1 התמדה בזמן, R2 התאמת SAR-אופטי ו-R3 שיפוע DEM כולם עוברים, והצלבת קרקע שמד גובה הנהר מאמת. — AOI-A, שולם: חותמת אופטית ו-SAR מתמשכת על שטח שטוח ומנוקז, מאומתת על ידי מד גובה נהר. הצפה אמיתית.

המקרה הבלתי ודאי מועבר לבודק אנושי, לא להטלת מטבע

AOI-F, מרכז Canal Street Hub, הוא המקרה שהפיזיקה אינה יכולה ליישב. החותמת היא גבולית, רמת הביטחון של המאמת מגיעה ל-0.15, ומד גובה הנהר הבלתי תלוי מעולם לא חצה את גובה גדות הנהר (bankfull), כך שראיות הקרקע עומדות בסתירה לטריגר. מאחר שרמת הביטחון נמוכה מרף האוטומציה של 0.65, שער המדיניות מסלים את המקרה בסך 0.8 מיליון דולר ארה"ב לפוסק אנושי בצירוף מלוא הראיות, במקום להמר על החלטה אוטומטית. הסלמת המקרה העמום היא חלק מהתכנון המכוון, ולא כשל שלו.

המקרה שהוסלם AOI-F Canal Street Hub, שסווג כ-flood ברמת ביטחון 0.15 וסומן ב-ESCALATE, עם חותמת אופטית ו-SAR גבולית על פני הפריימים, הערה שמד גובה הנהר הבלתי תלוי מעולם לא חצה את גובה גדות הנהר כך שראיות הקרקע סותרות, ופאנל החלטה המנתב אותו לפוסק אנושי כדורש הוכחה. — AOI-F, הוסלם: רמת ביטחון 0.15 נמוכה מרף ה-0.65 והמד סותר, לכן המקרה בסך $0.8M מנותב לבודק אנושי עם הראיות.

הקבלה: תיק ראיות פורנזי לכל החלטה

כל פסק דין מפיק תיק ראיות פורנזי לטריגר הצפה. הוא כולל את הראיות לכל אחד מחמשת המאפיינים המבדילים עם ערכיהם הנמדדים ותוצאות עבר/נכשל, יומן שלילת תוצאות חיוביות שגויות, פסק דין של הצלבה הקשרית, שושלת נתונים (data lineage) עבור כל רכישה מדומה, והאש מקוריות (provenance hash) מסוג SHA-256 של ההחלטה. לדיוק ההיקף, האש ה-SHA-256 הוא האש תוכן להוכחת אי-חבלה ולא חתימה דיגיטלית של PKI, והדימות הוא סינתטי. מה שתיק הראיות מוכיח הוא שההחלטה מתועדת ולא רק נטענת בעלמא.

תיק הראיות הפורנזי עבור מקרה צל הענן שנדחה ב-AOI-B, המציג פסק דין DENY, טבלת ראיות לפי כלל עבור R1 עד R5 עם ערכים נמדדים ותוצאות עבר או נכשל, יומן שלילת תוצאות חיוביות שגויות, הצלבה הקשרית המסומנת כ-corroborates, טבלת שושלת נתונים של Sentinel-1 ו-Sentinel-2, וסעיף מקוריות (provenance). — תיק הראיות: ראיות לפי כלל, יומן שלילת תוצאות חיוביות שגויות, הצלבת קרקע, שושלת נתוני Sentinel והאש מקוריות מסוג SHA-256.

על פני 60 מקרים מתויגים: אף פעם לא החלטה אוטומטית לא-בטוחה

התיק הבודד אינו מקרה של מזל. על פני בנצ'מרק קבוע של 60 מקרים סינתטיים מתויגים, מחותמות ברורות ועד לרעש סמוך לסף, TriggerProof מקבל 0 החלטות אוטומטיות לא-בטוחות לעומת 48 בקו הבסיס של פריים בודד, המשלם על כל מקרה שמסומן. הוא פותר אוטומטית 80 אחוזים ומסלים 20 אחוזים, ומבין המקרים שנפתרו אוטומטית הוא מדכא 36 מתוך 36 טריגרים שגויים ומשלם על 12 מתוך 12 הצפות אמיתיות. הטענה מוגדרת במכוון בצורה מדויקת: על סט מתויג זה המערכת לעולם אינה מקבלת החלטה אוטומטית לא-בטוחה, משום שהיא מסלימה כאשר הפיזיקה אינה ודאית.

פאנל ההערכה על פני 60 מקרים סינתטיים מתויגים המציג 0 החלטות אוטומטיות לא-בטוחות לעומת 48 בקו הבסיס של פריים בודד, 80 אחוזי פתרון אוטומטי עם 20 אחוזים שהוסלמו להוכחה, 100 אחוזי דיכוי תוצאות חיוביות שגויות ב-36 מתוך 36 טריגרים שגויים שנדחו, ו-100 אחוזי recall הצפות ב-12 מתוך 12 ששולמו אוטומטית, עם טבלת מקרים מתויגים שכל אחד מהם מסומן כנכון. — בנצ'מרק 60 המקרים: 0 החלטות אוטומטיות לא-בטוחות לעומת 48 בקו הבסיס, 80 אחוזים נפתרו אוטומטית, 100 אחוזי דיכוי ו-recall ביניהם.

היכן שכבה זו יושבת, והיכן לא

זוהי שכבת הפסיקה והממשל בין טריגר שהופעל לבין התשלום, לא מוצר נתוני לוויין ולא גלאי הצפות.

היבט	טריגר פריים בודד לבדו	שכבת פסיקה זו
צל ענן, צל מכ"ם או מאגר מים	משולם כהצפה; כל ארבעתם מחשיכים את אותם הפיקסלים	נדחה על ידי חמישה כללי פיזיקה דטרמיניסטיים לאורך זמן ובין חיישנים
מקרה עמום באמת	משולם אוטומטית על פי אות של הטלת מטבע	מוסלם לבודק אנושי מתחת לרף ביטחון של 0.65, בצירוף הראיות
מדוע טריגר שולם או נדחה	אין תיעוד מעבר לדגל שהופעל	תיק ראיות פורנזי: ראיות לפי כלל, יומן שלילת חיוביים שגויים, מקוריות SHA-256
מי מקבל את החלטת התשלום	סף פיקסלים בפריים יחיד	קוד Python דטרמיניסטי; ה-LLM מייעץ וניתן לעקוף את עמדתו
סיכון בסיס (Basis risk) מטריגרים שגויים	נישא במלואו על כל מקרה שאינו הצפה המסומן על ידו	0 החלטות אוטומטיות לא-בטוחות לעומת 48 בבנצ'מרק המתויג של 60 מקרים
נעילת ספק ומודל (Vendor lock-in)	כבול לפלט של גלאי יחיד	המאמת רץ באופן לא-מקוון; ניתן להחליף את ספק הסוכן המייעץ

מה שהדגמה זו אינה עושה

כל אריח לוויין, אזור עניין, מד גובה נהר, קריאת משקעים ודיווח שטח הם סינתטיים ונאמנים לחוקי הפיזיקה. אין כאן סצנת Sentinel או ICEYE אמיתית, אין מיקום אמיתי, ואין מבטח או תביעה אמיתיים.
הנתונים של 0 לא-בטוחות, 80 אחוזי פתרון אוטומטי ו-100 אחוזי דיכוי ו-recall הם על סט קבוע ומתויג של 60 מקרים סינתטיים, ולא התחייבות לעולם הפתוח או לשטח. תיקוף מול ארכיונים אמיתיים כגון Sen1Floods11 או תיק Sentinel חי הוא תוצר ההתקשרות הראשון, ולא הדגמה זו.
ה-$4.0M מתוך $8.0M שעוכבו או נעצרו מקורם בתרחיש תיק סינתטי של 8 אזורי עניין בהדגמה, ולא מתיק עסקי אמיתי.
כל המחברים הם גדמים (stubs) או מדומים: שליפת Sentinel-1 ו-Sentinel-2, הקצאת משימות SAR מסחרי, רישום הדדי (co-registration), הזנות אותות קרקע ואינטגרציה עם פלטפורמת תביעות. מקוריות ה-SHA-256 היא האש תוכן להוכחת אי-חבלה, ולא חתימה דיגיטלית של PKI.
TriggerProof פוסק לגבי טריגר שכבר הופעל. הוא אינו מזהה הצפות ואינו מייצר נתוני לוויין; הוא אינו שיבוט של גלאי Sentinel או ICEYE.
הסוכן המייעץ לעולם אינו מחליט על התשלום. המאמת הדטרמיניסטי ושער המדיניות מחליטים, וניתן לעקוף את עמדת הסוכן.
אין לקוחות אמיתיים, פריסות, משתמשים בעלי שמות, המלצות או החזר השקעה (ROI) נטען. המסגור הכן הוא מה שמצאנו במהלך בניית הדגמה זו.

שאלות שרוכשים שואלים

אנחנו כבר משלמים אוטומטית על פי טריגר הלוויין. מדוע להוסיף שלב בין הטריגר לתשלום?

משום שטריגר פריים בודד אינו יכול להבדיל בין מי הצפה לבין צל ענן, צל מכ"ם או צל טופוגרפי, או מאגר מים קבוע, וכל השלושה מחשיכים באותו האופן. כאשר תשלום מופעל על בסיס החלטה כזו, "כנראה מוצף" אינו מספיק טוב ואין שביל ראיות שיגן עליה מאוחר יותר. TriggerProof מקבל את הטריגר שהופעל כנתון ופוסק לגביו ל-PAY,‏ DENY או ESCALATE באמצעות פיזיקה דטרמיניסטית. בתיק הסינתטי של 8 אזורי עניין בהדגמה, הדבר עוצר או מעכב 4.0 מיליון דולר ארה"ב מתוך 8.0 מיליון בתשלומים שהמתינו בתור האוטומטי.

כל הרעיון בביטוח פרמטרי היה לוותר על שמאי הנזקים. האם אדם בלולאה לא מחזיר את העיכוב?

רק עבור המקרים שהם עמומים באמת. בבנצ'מרק המתויג של 60 מקרים TriggerProof פותר אוטומטית 80 אחוזים ומסלים 20 אחוזים, כך שההצפות הברורות עדיין משולמות ישירות ורק המקרים הגבוליים או הסותרים מנותבים לאדם, כשמלוא הראיות כבר מצורפות. זוהי הפשרה: תשלום אוטומטי מהיר נשאר מהיר, והמקרה שאחרת היה תוצאה חיובית שגויה בטוחה בעצמה זוכה לבודק אנושי במקום להחלטה שגויה של 0.8 מיליון דולר ארה"ב.

האם אלו נתוני לוויין אמיתיים? על אילו הצפות הרצתם זאת בפועל?

על אף אחת. כל אריח, אזור עניין, מד גובה נהר, קריאת משקעים ודיווח שטח בהדגמה הם סינתטיים ונאמנים לחוקי הפיזיקה, ואין כל סצנת Sentinel אמיתית, מיקום אמיתי, מבטח אמיתי או תביעה אמיתית. המחברים לשליפת נתוני לוויין, הקצאת משימות SAR, הזנות אותות קרקע ואינטגרציה עם פלטפורמת תביעות הם גדמים מדומים. תיקוף בשטח מול ארכיונים אמיתיים כגון Sen1Floods11 או תיק Sentinel חי הוא תוצר ההתקשרות הראשון, ולא משהו שהדגמה זו טוענת לו.

במה זה שונה מרכישת מודל טוב יותר לזיהוי הצפות או לוויין חד יותר?

תמונה בודדת חדה יותר עדיין אינה יכולה להבדיל בין הצפה לבין צל או מאגר מים בפני עצמה, משום שהבעיה היא זמנית (טמפורלית) ובין-חיישנית, ולא בעיית רזולוציה. TriggerProof אינו מזהה הצפות ואינו מייצר נתוני לוויין. הוא פוסק לגבי טריגר שכבר הופעל על ידי בדיקת התמדה לאורך רכישות, התאמה בין SAR לאופטי, שיפוע טופוגרפי, מסיכת מים קבועים וקישוריות הידרולוגית. הערך בר-הקיימא הוא שכבת הממשל סביב ההחלטה, וזו הסיבה שהיא אינה מתיישנת ככל שמודלי הזיהוי משתפרים.

כאשר המערכת מסלימה מקרה, עם מה הפוסק שלי מקבל לעבוד בפועל?

תיק ראיות פורנזי, לא סתם ציון עירום. כל החלטה מפיקה את הראיות לפי כלל עבור כל חמשת המאפיינים המבדילים עם ערכיהם הנמדדים ותוצאות עבר או נכשל, יומן שלילת תוצאות חיוביות שגויות, הצלבת הקרקע הבלתי תלויה, שושלת נתוני הלוויין והאש מקוריות מסוג SHA-256 של ההחלטה. הוא מיוצא כ-JSON וכ-HTML להדפסה, כך שפוסק, מבטח-משנה או מבקר יכולים לראות בדיוק מדוע מקרה שולם, נדחה או עוכב להוכחה.

מספרי הבנצ'מרק האלה, 0 לא-בטוחות ו-100 אחוזי דיכוי ו-recall. כמה אפשר לסמוך עליהם?

הם מבוססים על סט קבוע ומתויג של 60 מקרים סינתטיים הנאמנים לחוקי הפיזיקה, החל מחותמות ברורות ועד לרעש סמוך לסף, ולא התחייבות לעולם הפתוח או לשטח. בסט זה TriggerProof מקבל 0 החלטות אוטומטיות לא-בטוחות לעומת 48 בקו הבסיס של פריים בודד, ומבין המקרים שנפתרו אוטומטית הוא מדכא 36 מתוך 36 טריגרים שגויים ומשלם על 12 מתוך 12 הצפות אמיתיות. הנקודה אינה ציון מושלם, אלא שהמערכת לעולם אינה מקבלת החלטה אוטומטית לא-בטוחה, משום שהיא מסלימה כאשר הפיזיקה אינה ודאית.

האם זה נועל אותנו למודלים שלכם, או לספק ענן או לוויין מסוים?

לא. המאמת הדטרמיניסטי ושער המדיניות כתובים ב-Python פשוט ורצים באופן לא-מקוון לחלוטין ללא מפתח API, כך שהחלטת התשלום לעולם אינה תלויה בזמינות של מודל. הסוכן המייעץ בנוי על Pydantic AI וניתן להחלפת ספק בין Anthropic,‏ OpenAI,‏ Gemini ו-Ollama, עם ברירת מחדל של claude-opus-4-8 וגיבוי דטרמיניסטי. שליפת נתוני הלוויין והאינטגרציה עם מערכת התביעות מתוכננות כמתאמים (adapters), כך שהשכבה יושבת על גבי החיישנים והפלטפורמה שבהם אתם כבר משתמשים.

מחקר טכני

המחקר שמאחורי הדגמה זו — הארכיטקטורה, תכנון האימות והמתווה הארגוני.

מעבר להסקה מפריים בודד: מודיעין הצפות ארגוני (נייר עמדה אינטראקטיבי)

הפתרון המלא

גלו את הפתרון של מודיעין הצפות לווייני עבור ביטוח פרמטרי →

הציבו את שכבת הפסיקה בין טריגר ההצפה שלכם לבין התשלום

דכאו את הטריגרים השגויים באמצעות פיזיקה, הסלימו את המקרים הבלתי ודאיים לבודק אנושי, והותירו רשומה הניתנת להגנה עבור כל החלטה.

אם הצוות שלכם מנהל תיק טריגרים אוטומטי להצפות ומחפש כיצד לשמור על תשלום מהיר מבלי לשלם על צל, נשמח להחליף תובנות לגבי המקום שבו אתם מותחים את הגבול בין החלטה אוטומטית להחלטה אנושית. זהו גבול מורכב ואנו עדיין משפרים את שלנו.

סקירת פסיקה לתיק טריגרים

✓ מיפוי המקומות שבהם צל ענן, צל מכ"ם ומאגרי מים יוצרים חשיפה לטריגרים שגויים
✓ קידוד הפיזיקה של ההצפות ככללי אימות דטרמיניסטיים וניתנים לבדיקה
✓ קביעת רף הביטחון ומדיניות ההסלמה שהחתמים ומבטח-המשנה שלכם יקבלו
✓ הגדרת תיק הראיות הפורנזי שמבקר יוכל לבחון בדיעבד

בנו איתנו

✓ מאמת פיזיקלי דטרמיניסטי בעל חמישה כללים עבור PAY,‏ DENY ו-ESCALATE
✓ סוכן הצלבה מייעץ הניתן להחלפת ספק, כולל גיבוי לא-מקוון
✓ שער מדיניות בעל רף אוטומציה שקוף למבקרים
✓ תיק מקוריות SHA-256 לכל החלטה, על גבי מתאמים למערך הלוויינים והתביעות שלכם

צרו קשר דרך WhatsApp שלחו אימייל לצוות שלנו