@@ -116,6 +116,7 @@ instance MetaTrace (Stateful.AnyMessage ps f) =>
116116 severityFor (Namespace out tl) (Just msg)
117117 severityFor (Namespace out (" Send" : tl)) Nothing =
118118 severityFor (Namespace out tl :: Namespace (Stateful. AnyMessage ps f )) Nothing
119+
119120 severityFor (Namespace out (" Receive" : tl)) (Just (Stateful. TraceSendMsg msg)) =
120121 severityFor (Namespace out tl) (Just msg)
121122 severityFor (Namespace out (" Receive" : tl)) Nothing =
@@ -215,14 +216,14 @@ instance MetaTrace (Simple.AnyMessage (ChainSync blk pt tip)) where
215216 namespaceFor (Simple. AnyMessageAndAgency _agency (MsgDone {})) =
216217 Namespace [] [" Done" ]
217218
218- severityFor (Namespace _ [" RequestNext" ]) _ = Just Info
219- severityFor (Namespace _ [" AwaitReply" ]) _ = Just Info
220- severityFor (Namespace _ [" RollForward" ]) _ = Just Info
221- severityFor (Namespace _ [" RollBackward" ]) _ = Just Info
222- severityFor (Namespace _ [" FindIntersect" ]) _ = Just Info
223- severityFor (Namespace _ [" IntersectFound" ]) _ = Just Info
224- severityFor (Namespace _ [" IntersectNotFound" ]) _ = Just Info
225- severityFor (Namespace _ [" Done" ]) _ = Just Info
219+ severityFor (Namespace _ [" RequestNext" ]) _ = Just Debug
220+ severityFor (Namespace _ [" AwaitReply" ]) _ = Just Debug
221+ severityFor (Namespace _ [" RollForward" ]) _ = Just Debug
222+ severityFor (Namespace _ [" RollBackward" ]) _ = Just Debug
223+ severityFor (Namespace _ [" FindIntersect" ]) _ = Just Debug
224+ severityFor (Namespace _ [" IntersectFound" ]) _ = Just Debug
225+ severityFor (Namespace _ [" IntersectNotFound" ]) _ = Just Debug
226+ severityFor (Namespace _ [" Done" ]) _ = Just Debug
226227 severityFor _ _ = Nothing
227228
228229 documentFor (Namespace _ [" RequestNext" ]) = Just $ mconcat
@@ -369,19 +370,19 @@ instance MetaTrace (Simple.AnyMessage (LTM.LocalTxMonitor txid tx slotNo)) where
369370 namespaceFor (Simple. AnyMessageAndAgency _agency LTM. MsgReplyGetMeasures {}) =
370371 Namespace [] [" ReplyGetMeasures" ]
371372
372- severityFor (Namespace _ [" Acquire" ]) _ = Just Info
373- severityFor (Namespace _ [" Acquired" ]) _ = Just Info
374- severityFor (Namespace _ [" AwaitAcquire" ]) _ = Just Info
375- severityFor (Namespace _ [" NextTx" ]) _ = Just Info
376- severityFor (Namespace _ [" ReplyNextTx" ]) _ = Just Info
377- severityFor (Namespace _ [" HasTx" ]) _ = Just Info
378- severityFor (Namespace _ [" ReplyHasTx" ]) _ = Just Info
379- severityFor (Namespace _ [" GetSizes" ]) _ = Just Info
380- severityFor (Namespace _ [" ReplyGetSizes" ]) _ = Just Info
381- severityFor (Namespace _ [" Release" ]) _ = Just Info
382- severityFor (Namespace _ [" Done" ]) _ = Just Info
383- severityFor (Namespace _ [" GetMeasures" ]) _ = Just Info
384- severityFor (Namespace _ [" ReplyGetMeasures" ]) _ = Just Info
373+ severityFor (Namespace _ [" Acquire" ]) _ = Just Debug
374+ severityFor (Namespace _ [" Acquired" ]) _ = Just Debug
375+ severityFor (Namespace _ [" AwaitAcquire" ]) _ = Just Debug
376+ severityFor (Namespace _ [" NextTx" ]) _ = Just Debug
377+ severityFor (Namespace _ [" ReplyNextTx" ]) _ = Just Debug
378+ severityFor (Namespace _ [" HasTx" ]) _ = Just Debug
379+ severityFor (Namespace _ [" ReplyHasTx" ]) _ = Just Debug
380+ severityFor (Namespace _ [" GetSizes" ]) _ = Just Debug
381+ severityFor (Namespace _ [" ReplyGetSizes" ]) _ = Just Debug
382+ severityFor (Namespace _ [" Release" ]) _ = Just Debug
383+ severityFor (Namespace _ [" Done" ]) _ = Just Debug
384+ severityFor (Namespace _ [" GetMeasures" ]) _ = Just Debug
385+ severityFor (Namespace _ [" ReplyGetMeasures" ]) _ = Just Debug
385386 severityFor _ _ = Nothing
386387
387388 documentFor (Namespace _ [" Acquire" ]) = Just
@@ -459,10 +460,10 @@ instance MetaTrace (Simple.AnyMessage (LTS.LocalTxSubmission tx err)) where
459460 namespaceFor (Simple. AnyMessageAndAgency _agency LTS. MsgDone {}) =
460461 Namespace [] [" Done" ]
461462
462- severityFor (Namespace _ [" SubmitTx" ]) _ = Just Info
463- severityFor (Namespace _ [" AcceptTx" ]) _ = Just Info
464- severityFor (Namespace _ [" RejectTx" ]) _ = Just Info
465- severityFor (Namespace _ [" Done" ]) _ = Just Info
463+ severityFor (Namespace _ [" SubmitTx" ]) _ = Just Debug
464+ severityFor (Namespace _ [" AcceptTx" ]) _ = Just Debug
465+ severityFor (Namespace _ [" RejectTx" ]) _ = Just Debug
466+ severityFor (Namespace _ [" Done" ]) _ = Just Debug
466467 severityFor _ _ = Nothing
467468
468469 documentFor (Namespace _ [" SubmitTx" ]) = Just
@@ -487,41 +488,6 @@ instance MetaTrace (Simple.AnyMessage (LTS.LocalTxSubmission tx err)) where
487488-- TStateQuery Tracer
488489--------------------------------------------------------------------------------
489490
490- instance (forall result . Show (Query blk result ))
491- => LogFormatting (Simple. AnyMessage (LSQ. LocalStateQuery blk pt (Query blk ))) where
492- forMachine _dtal (Simple. AnyMessageAndAgency stok LSQ. MsgAcquire {}) =
493- mconcat [ " kind" .= String " MsgAcquire"
494- , " agency" .= String (pack $ show stok)
495- ]
496- forMachine _dtal (Simple. AnyMessageAndAgency stok LSQ. MsgAcquired {}) =
497- mconcat [ " kind" .= String " MsgAcquired"
498- , " agency" .= String (pack $ show stok)
499- ]
500- forMachine _dtal (Simple. AnyMessageAndAgency stok LSQ. MsgFailure {}) =
501- mconcat [ " kind" .= String " MsgFailure"
502- , " agency" .= String (pack $ show stok)
503- ]
504- forMachine _dtal (Simple. AnyMessageAndAgency stok LSQ. MsgQuery {}) =
505- mconcat [ " kind" .= String " MsgQuery"
506- , " agency" .= String (pack $ show stok)
507- ]
508- forMachine _dtal (Simple. AnyMessageAndAgency stok LSQ. MsgResult {}) =
509- mconcat [ " kind" .= String " MsgResult"
510- , " agency" .= String (pack $ show stok)
511- ]
512- forMachine _dtal (Simple. AnyMessageAndAgency stok LSQ. MsgRelease {}) =
513- mconcat [ " kind" .= String " MsgRelease"
514- , " agency" .= String (pack $ show stok)
515- ]
516- forMachine _dtal (Simple. AnyMessageAndAgency stok LSQ. MsgReAcquire {}) =
517- mconcat [ " kind" .= String " MsgReAcquire"
518- , " agency" .= String (pack $ show stok)
519- ]
520- forMachine _dtal (Simple. AnyMessageAndAgency stok LSQ. MsgDone {}) =
521- mconcat [ " kind" .= String " MsgDone"
522- , " agency" .= String (pack $ show stok)
523- ]
524-
525491instance (forall result . Show (Query blk result ))
526492 => LogFormatting (Stateful. AnyMessage (LSQ. LocalStateQuery blk pt (Query blk )) f ) where
527493 forMachine _dtal (Stateful. AnyMessageAndAgency stok _ LSQ. MsgAcquire {}) =
@@ -557,85 +523,6 @@ instance (forall result. Show (Query blk result))
557523 , " agency" .= String (pack $ show stok)
558524 ]
559525
560- instance MetaTrace (Simple. AnyMessage (LSQ. LocalStateQuery blk pt (Query blk ))) where
561- namespaceFor (Simple. AnyMessageAndAgency _agency LSQ. MsgAcquire {}) =
562- Namespace [] [" Acquire" ]
563- namespaceFor (Simple. AnyMessageAndAgency _agency LSQ. MsgAcquired {}) =
564- Namespace [] [" Acquired" ]
565- namespaceFor (Simple. AnyMessageAndAgency _agency LSQ. MsgFailure {}) =
566- Namespace [] [" Failure" ]
567- namespaceFor (Simple. AnyMessageAndAgency _agency LSQ. MsgQuery {}) =
568- Namespace [] [" Query" ]
569- namespaceFor (Simple. AnyMessageAndAgency _agency LSQ. MsgResult {}) =
570- Namespace [] [" Result" ]
571- namespaceFor (Simple. AnyMessageAndAgency _agency LSQ. MsgRelease {}) =
572- Namespace [] [" Release" ]
573- namespaceFor (Simple. AnyMessageAndAgency _agency LSQ. MsgReAcquire {}) =
574- Namespace [] [" ReAcquire" ]
575- namespaceFor (Simple. AnyMessageAndAgency _agency LSQ. MsgDone {}) =
576- Namespace [] [" Done" ]
577-
578- severityFor (Namespace _ [" Acquire" ]) _ = Just Info
579- severityFor (Namespace _ [" Acquired" ]) _ = Just Info
580- severityFor (Namespace _ [" Failure" ]) _ = Just Warning
581- severityFor (Namespace _ [" Query" ]) _ = Just Info
582- severityFor (Namespace _ [" Result" ]) _ = Just Info
583- severityFor (Namespace _ [" Release" ]) _ = Just Info
584- severityFor (Namespace _ [" ReAcquire" ]) _ = Just Info
585- severityFor (Namespace _ [" Done" ]) _ = Just Info
586- severityFor _ _ = Nothing
587-
588- documentFor (Namespace _ [" Acquire" ]) = Just $ mconcat
589- [ " The client requests that the state as of a particular recent point on "
590- , " the server's chain (within K of the tip) be made available to query, "
591- , " and waits for confirmation or failure. "
592- , " \n "
593- , " From 'NodeToClient_V8' onwards if the point is not specified, current tip "
594- , " will be acquired. For previous versions of the protocol 'point' must be "
595- , " given."
596- ]
597- documentFor (Namespace _ [" Acquired" ]) = Just
598- " The server can confirm that it has the state at the requested point."
599- documentFor (Namespace _ [" Failure" ]) = Just $ mconcat
600- [ " The server can report that it cannot obtain the state for the "
601- , " requested point."
602- ]
603- documentFor (Namespace _ [" Query" ]) = Just
604- " The client can perform queries on the current acquired state."
605- documentFor (Namespace _ [" Result" ]) = Just
606- " The server must reply with the queries."
607- documentFor (Namespace _ [" Release" ]) = Just $ mconcat
608- [ " The client can instruct the server to release the state. This lets "
609- , " the server free resources."
610- ]
611- documentFor (Namespace _ [" ReAcquire" ]) = Just $ mconcat
612- [ " This is like 'MsgAcquire' but for when the client already has a "
613- , " state. By moving to another state directly without a 'MsgRelease' it "
614- , " enables optimisations on the server side (e.g. moving to the state for "
615- , " the immediate next block). "
616- , " \n "
617- , " Note that failure to re-acquire is equivalent to 'MsgRelease', "
618- , " rather than keeping the exiting acquired state. "
619- , " \n "
620- , " From 'NodeToClient_V8' onwards if the point is not specified, current tip "
621- , " will be acquired. For previous versions of the protocol 'point' must be "
622- , " given."
623- ]
624- documentFor (Namespace _ [" Done" ]) = Just
625- " The client can terminate the protocol."
626- documentFor _ = Nothing
627-
628- allNamespaces = [
629- Namespace [] [" Acquire" ]
630- , Namespace [] [" Acquired" ]
631- , Namespace [] [" Failure" ]
632- , Namespace [] [" Query" ]
633- , Namespace [] [" Result" ]
634- , Namespace [] [" Release" ]
635- , Namespace [] [" ReAcquire" ]
636- , Namespace [] [" Done" ]
637- ]
638-
639526instance MetaTrace (Stateful. AnyMessage (LSQ. LocalStateQuery blk pt (Query blk )) f ) where
640527 namespaceFor (Stateful. AnyMessageAndAgency _agency _ LSQ. MsgAcquire {}) =
641528 Namespace [] [" Acquire" ]
@@ -654,14 +541,14 @@ instance MetaTrace (Stateful.AnyMessage (LSQ.LocalStateQuery blk pt (Query blk))
654541 namespaceFor (Stateful. AnyMessageAndAgency _agency _ LSQ. MsgDone {}) =
655542 Namespace [] [" Done" ]
656543
657- severityFor (Namespace _ [" Acquire" ]) _ = Just Info
658- severityFor (Namespace _ [" Acquired" ]) _ = Just Info
544+ severityFor (Namespace _ [" Acquire" ]) _ = Just Debug
545+ severityFor (Namespace _ [" Acquired" ]) _ = Just Debug
659546 severityFor (Namespace _ [" Failure" ]) _ = Just Warning
660- severityFor (Namespace _ [" Query" ]) _ = Just Info
661- severityFor (Namespace _ [" Result" ]) _ = Just Info
662- severityFor (Namespace _ [" Release" ]) _ = Just Info
663- severityFor (Namespace _ [" ReAcquire" ]) _ = Just Info
664- severityFor (Namespace _ [" Done" ]) _ = Just Info
547+ severityFor (Namespace _ [" Query" ]) _ = Just Debug
548+ severityFor (Namespace _ [" Result" ]) _ = Just Debug
549+ severityFor (Namespace _ [" Release" ]) _ = Just Debug
550+ severityFor (Namespace _ [" ReAcquire" ]) _ = Just Debug
551+ severityFor (Namespace _ [" Done" ]) _ = Just Debug
665552 severityFor _ _ = Nothing
666553
667554 documentFor (Namespace _ [" Acquire" ]) = Just $ mconcat
0 commit comments