@@ -48,17 +48,24 @@ module internal JsonConverters =
4848 | Ok v -> v
4949 | Error e -> raise ( JsonException e)
5050
51- override _.Write ( writer , value , _ ) = writer.WriteStringValue( JobStatus.toWire value)
51+ override _.Write ( writer , value , _ ) =
52+ writer.WriteStringValue( JobStatus.toWire value)
5253
5354 type LogLevelConverter () =
5455 inherit JsonConverter< LogLevel>()
5556 override _.Read ( reader , _ , _ ) = logLevelOfWire ( reader.GetString())
56- override _.Write ( writer , value , _ ) = writer.WriteStringValue( logLevelToWire value)
57+
58+ override _.Write ( writer , value , _ ) =
59+ writer.WriteStringValue( logLevelToWire value)
5760
5861 type ChunkEncodingConverter () =
5962 inherit JsonConverter< ChunkEncoding>()
60- override _.Read ( reader , _ , _ ) = chunkEncodingOfWire ( reader.GetString())
61- override _.Write ( writer , value , _ ) = writer.WriteStringValue( chunkEncodingToWire value)
63+
64+ override _.Read ( reader , _ , _ ) =
65+ chunkEncodingOfWire ( reader.GetString())
66+
67+ override _.Write ( writer , value , _ ) =
68+ writer.WriteStringValue( chunkEncodingToWire value)
6269
6370 /// ` LeaseGrant ` is wire-encoded as a bare namespace→patterns map
6471 /// (§9.1, §9.2), not a ` { "capabilities": {...} } ` wrapper.
@@ -86,8 +93,12 @@ module internal JsonConverters =
8693 | _ -> None
8794
8895 {
89- CostBudget = prop " cost.budget" |> Option.map ( fun v -> JsonSerializer.Deserialize< string list>( v.GetRawText(), options))
90- ModelUse = prop " model.use" |> Option.map ( fun v -> JsonSerializer.Deserialize< string list>( v.GetRawText(), options))
96+ CostBudget =
97+ prop " cost.budget"
98+ |> Option.map ( fun v -> JsonSerializer.Deserialize< string list>( v.GetRawText(), options))
99+ ModelUse =
100+ prop " model.use"
101+ |> Option.map ( fun v -> JsonSerializer.Deserialize< string list>( v.GetRawText(), options))
91102 ExpiresAt = prop " expires_at" |> Option.map ( fun v -> v.GetDateTimeOffset())
92103 }
93104
@@ -139,7 +150,8 @@ module internal JsonConverters =
139150
140151 match value with
141152 | AgentInventory.Flat names -> names |> List.iter writer.WriteStringValue
142- | AgentInventory.Rich entries -> entries |> List.iter ( fun e -> JsonSerializer.Serialize( writer, e, options))
153+ | AgentInventory.Rich entries ->
154+ entries |> List.iter ( fun e -> JsonSerializer.Serialize( writer, e, options))
143155
144156 writer.WriteEndArray()
145157
@@ -226,12 +238,14 @@ module internal JsonConverters =
226238 | true , v when v.ValueKind <> JsonValueKind.Null -> Some v
227239 | _ -> None
228240
229- let optStr name = opt name |> Option.map ( fun v -> v.GetString())
241+ let optStr name =
242+ opt name |> Option.map ( fun v -> v.GetString())
230243
231244 match kind with
232245 | " log" -> JobEventBody.Log( logLevelOfWire (( req " level" ) .GetString()), ( req " message" ) .GetString())
233246 | " thought" -> JobEventBody.Thought(( req " text" ) .GetString())
234- | " tool_call" -> JobEventBody.ToolCall(( req " tool" ) .GetString(), ( req " args" ) .Clone(), ( req " call_id" ) .GetString())
247+ | " tool_call" ->
248+ JobEventBody.ToolCall(( req " tool" ) .GetString(), ( req " args" ) .Clone(), ( req " call_id" ) .GetString())
235249 | " tool_result" ->
236250 let callId = ( req " call_id" ) .GetString()
237251
0 commit comments