{"version":3,"term":{"cols":137,"rows":42,"type":"xterm-256color","theme":{"fg":"#ffffff","bg":"#000000","palette":"#000000:#990000:#00a600:#999900:#0000b3:#b300b3:#00a6b3:#bfbfbf:#666666:#e60000:#00d900:#e6e600:#0000ff:#e600e6:#00e6e6:#e6e6e6"}},"timestamp":1790326743,"env":{"SHELL":"/bin/zsh"}}
[0.037, "o", "Restored session: Fri 25 Sep 2026 09:58:57 BST\r\n"]
[0.857, "o", "\u001b[1m\u001b[7m%\u001b[27m\u001b[1m\u001b[0m                                                                                                                                        \r \r"]
[0.000, "o", "\u001b]7;file://benjamta-2.local/Users/bentaylor/Workspace/Jev%20Experiment\u0007"]
[0.000, "o", "\r\u001b[0m\u001b[27m\u001b[24m\u001b[J(base) bentaylor@benjamta-2 Jev Experiment % \u001b[K\u001b[?2004h"]
[0.693, "o", "exit"]
[0.453, "o", "\b\b\b\bpython demo.py chat --graph travel_insurance --subject Maria --query \"has recommended cover\" \r\u001b[K"]
[0.810, "o", "\u001b[K\u001b[?2004l\r\r\n"]
[0.336, "o", "\u001b[2mgraph travel_insurance.rbl · knowledge map 653b5550-6703-48d2-be17-dce7248b3f4c · session e7b84ec9-8e46-4a07-b875-d52d8d1a5707\u001b[0m\r\n\u001b[2mJev reads the text. Rainbird reasons. Only typed facts with a certainty cross between them.\u001b[0m\r\n\r\n\u001b[1m▶ Query:\u001b[0m Maria has recommended cover → ?\r\n"]
[0.202, "o", "\r\n\u001b[36m\u001b[1mRainbird asks:\u001b[0m Does Maria have a pre-existing medical condition?  \u001b[2m[yes/no]\u001b[0m\r\n\u001b[1mYou: \u001b[0m"]
[1.345, "o", "w"]
[0.112, "o", "e"]
[0.209, "o", "l"]
[0.137, "o", "l"]
[0.089, "o", " "]
[0.171, "o", "s"]
[0.121, "o", "h"]
[0.127, "o", "e"]
[0.150, "o", " "]
[0.307, "o", "t"]
[0.240, "o", "a"]
[0.190, "o", "k"]
[0.097, "o", "e"]
[0.178, "o", "s"]
[0.086, "o", " "]
[0.268, "o", "p"]
[0.194, "o", "i"]
[0.180, "o", "l"]
[0.124, "o", "l"]
[0.180, "o", "s"]
[0.128, "o", " "]
[0.151, "o", "f"]
[0.080, "o", "o"]
[0.085, "o", "r"]
[0.091, "o", " "]
[0.157, "o", "h"]
[0.069, "o", "e"]
[0.074, "o", "r"]
[0.099, "o", " "]
[0.322, "o", "b"]
[0.262, "o", "l"]
[0.188, "o", "o"]
[0.120, "o", "o"]
[0.087, "o", "d"]
[0.099, "o", " "]
[0.157, "o", "p"]
[0.045, "o", "r"]
[0.106, "o", "e"]
[0.204, "o", "s"]
[0.157, "o", "s"]
[0.037, "o", "u"]
[0.496, "o", "r"]
[0.132, "o", "e"]
[0.232, "o", ","]
[0.100, "o", " "]
[0.188, "o", "i"]
[0.112, "o", "t"]
[0.376, "o", "\b \b"]
[0.078, "o", "f"]
[0.393, "o", " "]
[0.234, "o", "t"]
[0.074, "o", "h"]
[0.149, "o", "a"]
[0.097, "o", "t"]
[0.084, "o", " "]
[0.169, "o", "c"]
[0.070, "o", "o"]
[0.059, "o", "u"]
[0.219, "o", "n"]
[0.113, "o", "t"]
[0.225, "o", "s"]
[0.175, "o", "?"]
[0.321, "o", "\r\n"]
[0.735, "o", "  \u001b[32m\u001b[1mJev →\u001b[0m true  \u001b[2mp=0.98 → certainty 98\u001b[0m\r\n"]
[0.168, "o", "\r\n\u001b[36m\u001b[1mRainbird asks:\u001b[0m Which activities will Maria take part in during the trip?  \u001b[2m[one of the listed values, several allowed, can skip]\u001b[0m\r\n  \u001b[2mit allows: Skiing, Snowboarding, Scuba diving, Bungee jumping, Rock climbing, Motorcycling, Surfing, Hiking, Cycling, Safari, Golf, Sightseeing, Swimming\u001b[0m\r\n"]
[0.000, "o", "\u001b[1mYou: \u001b[0m"]
[1.549, "o", "s"]
[0.113, "o", "h"]
[0.187, "o", "e"]
[0.375, "o", "'"]
[0.248, "o", "l"]
[0.127, "o", "l"]
[0.057, "o", " "]
[0.123, "o", "m"]
[0.150, "o", "o"]
[0.036, "o", "s"]
[0.167, "o", "t"]
[0.043, "o", "l"]
[0.152, "o", "y"]
[0.059, "o", " "]
[0.737, "o", "b"]
[0.110, "o", "e"]
[0.120, "o", " "]
[1.503, "o", "c"]
[0.099, "o", "l"]
[0.184, "o", "i"]
[0.234, "o", "m"]
[0.510, "o", "b"]
[0.178, "o", "i"]
[0.091, "o", "n"]
[0.184, "o", "g"]
[0.056, "o", " "]
[0.135, "o", "i"]
[0.067, "o", "n"]
[0.067, "o", " "]
[0.083, "o", "t"]
[0.095, "o", "h"]
[0.101, "o", "e"]
[0.066, "o", " "]
[0.234, "o", "m"]
[0.142, "o", "o"]
[0.075, "o", "u"]
[0.158, "o", "n"]
[0.097, "o", "t"]
[0.264, "o", "a"]
[0.095, "o", "i"]
[0.069, "o", "n"]
[0.134, "o", "s"]
[1.126, "o", "\r\n"]
[0.580, "o", "  \u001b[32m\u001b[1mJev →\u001b[0m Rock climbing  \u001b[2mp=0.94 → certainty 94\u001b[0m\r\n"]
[0.189, "o", "\r\n\u001b[36m\u001b[1mRainbird asks:\u001b[0m Which country is Maria travelling to?  \u001b[2m[one of the listed values]\u001b[0m\r\n  \u001b[2mit allows: Spain, France, Italy, Greece, Portugal, Germany, Switzerland, Turkey, United States, Canada, Australia, Thailand, Japan, Egypt, Mexico\u001b[0m\r\n"]
[0.000, "o", "\u001b[1mYou: \u001b[0m"]
[1.444, "o", "s"]
[0.106, "o", "h"]
[0.170, "o", "e"]
[0.242, "o", "'"]
[0.091, "o", "s"]
[0.118, "o", " "]
[0.194, "o", "g"]
[0.084, "o", "o"]
[0.172, "o", "i"]
[0.071, "o", "n"]
[0.138, "o", "g"]
[0.075, "o", " "]
[0.068, "o", "t"]
[0.086, "o", "o"]
[0.044, "o", " "]
[0.208, "o", "A"]
[0.193, "o", "r"]
[0.159, "o", "a"]
[0.375, "o", "z"]
[0.083, "o", "o"]
[0.172, "o", "n"]
[0.218, "o", "a"]
[0.119, "o", "\r\n"]
[0.605, "o", "  \u001b[32m\u001b[1mJev →\u001b[0m United States  \u001b[2mp=0.88 → certainty 88\u001b[0m\r\n"]
[0.293, "o", "\r\n\u001b[36m\u001b[1mRainbird asks:\u001b[0m What is the purpose of Maria's trip?  \u001b[2m[one of the listed values]\u001b[0m\r\n  \u001b[2mit allows: Holiday, Business, Study, Visiting family\u001b[0m\r\n\u001b[1mYou: \u001b[0m"]
[1.748, "o", "m"]
[0.205, "o", "o"]
[0.218, "o", "s"]
[0.420, "o", "t"]
[0.144, "o", "l"]
[0.178, "o", "y"]
[0.067, "o", " "]
[0.089, "o", "a"]
[0.105, "o", " "]
[0.211, "o", "h"]
[0.152, "o", "o"]
[0.178, "o", "l"]
[0.090, "o", "i"]
[0.120, "o", "d"]
[0.189, "o", "a"]
[0.035, "o", "y"]
[0.238, "o", ","]
[0.097, "o", " "]
[0.497, "o", "b"]
[0.073, "o", "e"]
[0.111, "o", " "]
[0.231, "o", "s"]
[0.081, "o", "h"]
[0.144, "o", "e"]
[0.096, "o", " "]
[0.422, "o", "m"]
[0.133, "o", "a"]
[0.111, "o", "y"]
[0.062, "o", " "]
[0.121, "o", "s"]
[0.164, "o", "e"]
[0.165, "o", "e"]
[0.043, "o", " "]
[0.176, "o", "h"]
[0.088, "o", "e"]
[0.068, "o", "r"]
[0.102, "o", " "]
[0.164, "o", "s"]
[0.100, "o", "i"]
[0.100, "o", "s"]
[0.203, "o", "t"]
[0.066, "o", "e"]
[0.084, "o", "r"]
[0.134, "o", " "]
[0.173, "o", "w"]
[0.112, "o", "h"]
[0.187, "o", "i"]
[0.219, "o", "l"]
[0.123, "o", "e"]
[0.087, "o", " "]
[0.172, "o", "s"]
[0.109, "o", "h"]
[0.304, "o", "e"]
[0.338, "o", "'"]
[0.127, "o", "s"]
[0.096, "o", " "]
[0.144, "o", "o"]
[0.202, "o", "v"]
[0.025, "o", "e"]
[0.078, "o", "r"]
[0.058, "o", " "]
[0.138, "o", "t"]
[0.026, "o", "h"]
[0.115, "o", "e"]
[0.055, "o", "r"]
[0.097, "o", "e"]
[0.195, "o", "\r\n"]
[0.528, "o", "  \u001b[32m\u001b[1mJev →\u001b[0m Holiday  \u001b[2mp=1.00 → certainty 100\u001b[0m\r\n"]
[0.186, "o", "\r\n\u001b[32m\u001b[1mRainbird decides:\u001b[0m Maria has recommended cover \u001b[1mPremium\u001b[0m   \u001b[32mcertainty 98\u001b[0m\r\n  \u001b[2mevidence tree:\u001b[0m https://app.rainbird.ai/evidence?id=WA:RF:c3af1c85ec04533615b1d38f37986597bfec6741ac9f2825c559729f6a5caf92&api=https://api.rainbird.ai&sid=e7b84ec9-8e46-4a07-b875-d52d8d1a5707\r\n"]
[0.385, "o", "\u001b[2mMaria --has recommended cover--> Premium (98%)  [rule]\r\n  rule: (unnamed)  max certainty 100\r\n    - Maria requires medical screening True  (certainty 98, impact 98)\r\n      Maria --requires medical screening--> True (98%)  [rule]\r\n        rule: (unnamed)  max certainty 100\r\n          - Maria has pre-existing medical condition True  (certainty 98, impact 98)\r\n            Maria --has pre-existing medical condition--> True (98%)  [answer]\r\n\u001b[0m"]
[0.123, "o", "\r\n  \u001b[1mFacts that crossed the boundary\u001b[0m \u001b[2m(chosen by Jev, carrying its probability as certainty)\u001b[0m\r\n    Maria has pre-existing medical condition \u001b[1mTrue\u001b[0m  \u001b[2mcertainty 98\u001b[0m\r\n    Maria has trip purpose \u001b[1mHoliday\u001b[0m  \u001b[2mcertainty 100\u001b[0m\r\n    Maria is travelling to \u001b[1mUnited States\u001b[0m  \u001b[2mcertainty 88\u001b[0m\r\n    Maria will take part in \u001b[1mRock climbing\u001b[0m  \u001b[2mcertainty 94\u001b[0m\r\n"]
[0.000, "o", "  \u001b[1mFacts the reasoner derived\u001b[0m \u001b[2m(from its rules; nothing here came from a model)\u001b[0m\r\n    Maria does adventure activity \u001b[1mTrue\u001b[0m  \u001b[2mcertainty 97\u001b[0m\r\n    Maria has cover zone \u001b[1mWorldwide including USA and Canada\u001b[0m  \u001b[2mcertainty 94\u001b[0m\r\n    Maria has recommended cover \u001b[1mPremium\u001b[0m  \u001b[2mcertainty 98\u001b[0m\r\n    Maria needs adventure cover \u001b[1mTrue\u001b[0m  \u001b[2mcertainty 97\u001b[0m\r\n    Maria requires medical screening \u001b[1mTrue\u001b[0m  \u001b[2mcertainty 98\u001b[0m\r\n"]
[0.000, "o", "\r\n\u001b[2mJev: 4 calls · 25 questions · 3520 tokens (≈$0.00015) · 2.44s   Rainbird: 10 calls\u001b[0m\r\n"]
[0.038, "o", "\u001b[1m\u001b[7m%\u001b[27m\u001b[1m\u001b[0m                                                                                                                                        \r \r"]
[0.000, "o", "\u001b]7;file://benjamta-2.local/Users/bentaylor/Workspace/Jev%20Experiment\u0007"]
[0.000, "o", "\r\u001b[0m\u001b[27m\u001b[24m\u001b[J(base) bentaylor@benjamta-2 Jev Experiment % \u001b[K\u001b[?2004h"]