{ "before": { "reproduction": "map50", "stats": { "cfcRelevantTx": 55, "flowLabelProbesComputed": 55, "flowLabelProbeMemoHits": 3, "dereferenceTracesRecorded": 523, "dereferenceTracesMax": 106, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 300, "overlapConcreteQueries": 8318, "authoritativeCoverCalls": 5600, "flowTemplateEntriesMinted": 753, "flowTemplateContainers": 251, "cfcPreparedTx": 55, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 }, "preparations": [ { "reads": 26, "writes": 11, "elapsedMs": 1.2247919999999795, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 0, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 0, "flowTemplateContainers": 0, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 2220, "writes": 654, "elapsedMs": 897.000083, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 300, "overlapConcreteQueries": 5453, "authoritativeCoverCalls": 5600, "flowTemplateEntriesMinted": 303, "flowTemplateContainers": 101, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 519, "writes": 0, "elapsedMs": 2.9972499999998945, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 153, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 0, "flowTemplateContainers": 0, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 15.77866599999993, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.47316700000010314, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3947920000000522, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.39287500000000364, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.37866699999995035, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.37875000000008185, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3527499999997872, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.343166999999994, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3469169999998485, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3564169999999649, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3341670000002068, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.4267499999998563, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3872500000002219, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3371670000001359, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.33941699999991215, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3499579999997877, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3367920000000595, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.32858299999998053, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.32608399999980975, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3709160000000793, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.32600000000002183, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3323330000000624, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.33266600000001745, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.33691700000008495, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.32841599999983373, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3465000000001055, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.32999999999992724, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.36674999999991087, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3269999999999982, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3282080000001315, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3630830000001879, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.368541999999934, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.33350000000018554, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3275830000000042, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3512080000000424, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.331749999999829, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.33291699999995217, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3444169999997939, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3398329999999987, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.34633400000006986, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3121659999997064, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3342089999998734, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.34370799999987867, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3306249999998272, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3095419999999649, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.5087909999999738, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.3065000000001419, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.30104099999994105, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.33870900000010806, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.32291699999996126, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 618, "writes": 2, "elapsedMs": 4.8247499999999945, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 359, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 0, "flowTemplateContainers": 0, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 2319, "writes": 0, "elapsedMs": 12.51712499999985, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 2103, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 0, "flowTemplateContainers": 0, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } } ] }, "after": { "reproduction": "map50", "stats": { "cfcRelevantTx": 55, "flowLabelProbesComputed": 55, "flowLabelProbeMemoHits": 3, "dereferenceTracesRecorded": 523, "dereferenceTracesMax": 106, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 1, "overlapConcreteQueries": 1869, "authoritativeCoverCalls": 5600, "flowTemplateEntriesMinted": 753, "flowTemplateContainers": 251, "cfcPreparedTx": 55, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 }, "preparations": [ { "reads": 26, "writes": 11, "elapsedMs": 3.8861249999999927, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 2, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 0, "flowTemplateContainers": 0, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 2220, "writes": 654, "elapsedMs": 621.0237079999999, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 1, "overlapConcreteQueries": 305, "authoritativeCoverCalls": 5600, "flowTemplateEntriesMinted": 303, "flowTemplateContainers": 101, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 519, "writes": 0, "elapsedMs": 9.685417000000143, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 103, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 0, "flowTemplateContainers": 0, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.5173749999999018, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.206000000000131, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.5493329999999332, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.3803330000000642, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 2.051582999999937, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.2258339999998498, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.136916999999812, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.1058329999996204, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.9872079999995549, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.3974170000001322, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.2854170000000522, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.2296670000000631, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.2635840000002645, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.1372919999998885, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.2884579999999914, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.0823749999999563, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.1920000000000073, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.17450000000008, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.0287920000000668, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.0902499999997417, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.0752079999997477, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.9839170000000195, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.9725830000002134, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.3830419999999322, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.308458999999857, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.048667000000023, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.2016660000003867, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.2544159999997646, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.0353329999998095, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.4287500000000364, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.1807080000003225, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.1937909999996918, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.1775840000000244, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.111790999999812, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.0165829999996276, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.9420829999999114, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.1630839999997988, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.0178750000004584, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.7807079999997768, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.1622499999998581, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.0655000000001564, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.2954580000000533, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.20699999999988, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.052791999999954, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.0177079999998568, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.341374999999971, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.0060829999997623, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 0.958625000000211, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.911417000000256, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 17, "writes": 0, "elapsedMs": 1.1548330000000533, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 5, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 9, "flowTemplateContainers": 3, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 618, "writes": 2, "elapsedMs": 18.176958000000013, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 306, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 0, "flowTemplateContainers": 0, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } }, { "reads": 2319, "writes": 0, "elapsedMs": 33.44095799999968, "counters": { "cfcRelevantTx": 0, "flowLabelProbesComputed": 0, "flowLabelProbeMemoHits": 0, "dereferenceTracesRecorded": 0, "dereferenceTracesMax": 0, "refusalDetailsRecorded": 0, "consumedLabelWalks": 0, "overlapWildcardQueries": 0, "overlapConcreteQueries": 903, "authoritativeCoverCalls": 0, "flowTemplateEntriesMinted": 0, "flowTemplateContainers": 0, "cfcPreparedTx": 1, "cfcPrepareRejects": 0, "cfcDigestInvalidations": 0, "cfcOutboxFlushes": 0, "sinkDedupHits": 0, "sinkReleaseRejects": 0, "prefixProvenanceSummaries": 0, "prefixProtectedWrites": 0, "prefixGatedReads": 0, "prefixTxGlobalGatedReads": 0, "prefixBoundReal": 0, "prefixBoundInfinityFallback": 0, "prefixBoundClockLess": 0, "prefixS7ExemptionFires": 0, "prefixClockLessReads": 0 } } ] } }