Project-Peritus/docs/formal-coverage-evidence/method-mapping/selected-functions.json at main · Corvidae-Coding-Projects/Project-Peritus · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
{
  "peritus-product-runner": {
    "package": "peritus-product-runner",
    "root_targets": [
      "peritus_product_runner"
    ],
    "registered_symbols": 2,
    "queried_functions": {
      "peritus_product_runner::accounting::AccountingError::clone": "exec",
      "peritus_product_runner::accounting::AccountingState::apply_usage": "exec",
      "peritus_product_runner::accounting::AccountingState::apply_work": "exec",
      "peritus_product_runner::accounting::AccountingState::checked_usage": "exec",
      "peritus_product_runner::accounting::AccountingState::checked_work": "exec",
      "peritus_product_runner::accounting::AccountingState::clone": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::budget_violation": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::cached_input_tokens": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::clone": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::compactions": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::elapsed_millis": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::input_tokens": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::model_requests": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::output_tokens": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::peak_rss_bytes": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::provider_cost_microunits": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::provider_failovers": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::retries": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::tool_calls": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::total_tokens": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::usage_observations": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::workspace_bytes": "exec",
      "peritus_product_runner::accounting::ProductRunProgress::workspace_growth_bytes": "exec",
      "peritus_product_runner::accounting::limits::BudgetViolation::clone": "exec",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_COST_MICROUNITS": "spec",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_MODEL_REQUESTS": "spec",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_PEAK_RSS_BYTES": "spec",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_TOOL_CALLS": "spec",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_TOTAL_TOKENS": "spec",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_WORKSPACE_GROWTH_BYTES": "spec",
      "peritus_product_runner::accounting::usage::UsageSnapshot::clone": "exec",
      "peritus_product_runner::accounting::usage::UsageSnapshot::empty": "exec",
      "peritus_product_runner::accounting::usage::replace": "exec",
      "peritus_product_runner::accounting::work::WorkEvent::clone": "exec"
    },
    "selected_functions": [
      "peritus_product_runner::accounting::AccountingError::clone",
      "peritus_product_runner::accounting::AccountingState::apply_usage",
      "peritus_product_runner::accounting::AccountingState::apply_work",
      "peritus_product_runner::accounting::AccountingState::checked_usage",
      "peritus_product_runner::accounting::AccountingState::checked_work",
      "peritus_product_runner::accounting::AccountingState::clone",
      "peritus_product_runner::accounting::AccountingState::is_usage_update_of",
      "peritus_product_runner::accounting::AccountingState::is_work_update_of",
      "peritus_product_runner::accounting::AccountingState::numeric_usage_fits",
      "peritus_product_runner::accounting::AccountingState::observation_count_fits",
      "peritus_product_runner::accounting::AccountingState::usage_fits",
      "peritus_product_runner::accounting::AccountingState::work_fits",
      "peritus_product_runner::accounting::ProductRunProgress::budget_violation",
      "peritus_product_runner::accounting::ProductRunProgress::cached_input_tokens",
      "peritus_product_runner::accounting::ProductRunProgress::clone",
      "peritus_product_runner::accounting::ProductRunProgress::compactions",
      "peritus_product_runner::accounting::ProductRunProgress::elapsed_millis",
      "peritus_product_runner::accounting::ProductRunProgress::input_tokens",
      "peritus_product_runner::accounting::ProductRunProgress::model_requests",
      "peritus_product_runner::accounting::ProductRunProgress::output_tokens",
      "peritus_product_runner::accounting::ProductRunProgress::peak_rss_bytes",
      "peritus_product_runner::accounting::ProductRunProgress::provider_cost_microunits",
      "peritus_product_runner::accounting::ProductRunProgress::provider_failovers",
      "peritus_product_runner::accounting::ProductRunProgress::retries",
      "peritus_product_runner::accounting::ProductRunProgress::spec_budget_violation",
      "peritus_product_runner::accounting::ProductRunProgress::spec_cached_input_tokens",
      "peritus_product_runner::accounting::ProductRunProgress::spec_compactions",
      "peritus_product_runner::accounting::ProductRunProgress::spec_elapsed_millis",
      "peritus_product_runner::accounting::ProductRunProgress::spec_input_tokens",
      "peritus_product_runner::accounting::ProductRunProgress::spec_model_requests",
      "peritus_product_runner::accounting::ProductRunProgress::spec_output_tokens",
      "peritus_product_runner::accounting::ProductRunProgress::spec_peak_rss_bytes",
      "peritus_product_runner::accounting::ProductRunProgress::spec_provider_cost_microunits",
      "peritus_product_runner::accounting::ProductRunProgress::spec_provider_failovers",
      "peritus_product_runner::accounting::ProductRunProgress::spec_retries",
      "peritus_product_runner::accounting::ProductRunProgress::spec_tool_calls",
      "peritus_product_runner::accounting::ProductRunProgress::spec_total_tokens",
      "peritus_product_runner::accounting::ProductRunProgress::spec_usage_observations",
      "peritus_product_runner::accounting::ProductRunProgress::spec_workspace_bytes",
      "peritus_product_runner::accounting::ProductRunProgress::spec_workspace_growth_bytes",
      "peritus_product_runner::accounting::ProductRunProgress::tool_calls",
      "peritus_product_runner::accounting::ProductRunProgress::total_tokens",
      "peritus_product_runner::accounting::ProductRunProgress::usage_observations",
      "peritus_product_runner::accounting::ProductRunProgress::workspace_bytes",
      "peritus_product_runner::accounting::ProductRunProgress::workspace_growth_bytes",
      "peritus_product_runner::accounting::limits::BudgetViolation::clone",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_COST_MICROUNITS",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_MODEL_REQUESTS",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_PEAK_RSS_BYTES",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_TOOL_CALLS",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_TOTAL_TOKENS",
      "peritus_product_runner::accounting::limits::PRODUCT_RUN_MAX_WORKSPACE_GROWTH_BYTES",
      "peritus_product_runner::accounting::usage::UsageSnapshot::clone",
      "peritus_product_runner::accounting::usage::UsageSnapshot::empty",
      "peritus_product_runner::accounting::usage::replace",
      "peritus_product_runner::accounting::usage::replacement_fits",
      "peritus_product_runner::accounting::work::WorkEvent::arrow_ModelRequest_retry",
      "peritus_product_runner::accounting::work::WorkEvent::arrow_retry",
      "peritus_product_runner::accounting::work::WorkEvent::clone"
    ],
    "has_solver_queries": true
  }
}