reasonkit-core 0.1.8

The Reasoning Engine — Auditable Reasoning for Production AI | Rust-Native | Turn Prompts into Protocols
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252

# ThinkTools Reasoning Profiles
# Fixed step IDs to match actual protocol steps

- id: quick
  name: Quick Analysis
  description: Fast 2-step analysis for rapid insights
  min_confidence: 0.70
  token_budget: 3000
  tags: [fast, creative]
  chain:
    - protocol_id: gigathink
      input_mapping:
        query: input.query
      config_override:
        max_tokens: 1000
    - protocol_id: laserlogic
      input_mapping:
        argument: steps.gigathink.synthesize

- id: balanced
  name: Balanced Analysis
  description: Standard 4-module chain for thorough but efficient analysis
  min_confidence: 0.80
  token_budget: 8000
  tags: [standard, thorough]
  chain:
    - protocol_id: gigathink
      input_mapping:
        query: input.query
        context: input.context
    - protocol_id: laserlogic
      input_mapping:
        argument: steps.gigathink.synthesize
    - protocol_id: bedrock
      input_mapping:
        statement: steps.laserlogic.check_validity # Fixed: actual step ID
      condition:
        type: confidence_below
        threshold: 0.9
    - protocol_id: proofguard
      input_mapping:
        claim: steps.bedrock.identify_axioms # Fixed: actual step ID

- id: deep
  name: Deep Analysis
  description: Thorough analysis with first principles and verification
  min_confidence: 0.85
  token_budget: 12000
  tags: [thorough, analytical]
  chain:
    - protocol_id: gigathink
      input_mapping:
        query: input.query
        context: input.context
    - protocol_id: laserlogic
      input_mapping:
        argument: steps.gigathink.synthesize
    - protocol_id: bedrock
      input_mapping:
        statement: steps.laserlogic.check_validity # Fixed: actual step ID
    - protocol_id: proofguard
      input_mapping:
        claim: steps.bedrock.identify_axioms # Fixed: actual step ID
    - protocol_id: brutalhonesty
      input_mapping:
        work: steps.proofguard.triangulate # Fixed: actual step ID
      condition:
        type: confidence_below
        threshold: 0.85

- id: paranoid
  name: Paranoid Verification
  description: Maximum rigor with adversarial critique and multi-pass verification
  min_confidence: 0.95
  token_budget: 18000
  tags: [rigorous, verification, adversarial]
  chain:
    - protocol_id: gigathink
      input_mapping:
        query: input.query
        context: input.context
    - protocol_id: laserlogic
      input_mapping:
        argument: steps.gigathink.synthesize
    - protocol_id: bedrock
      input_mapping:
        statement: steps.laserlogic.check_validity # Fixed: actual step ID
    - protocol_id: proofguard
      input_mapping:
        claim: steps.bedrock.identify_axioms # Fixed: actual step ID
    - protocol_id: brutalhonesty
      input_mapping:
        work: steps.proofguard.triangulate # Fixed: actual step ID
      config_override:
        temperature: 0.3
    - protocol_id: proofguard
      input_mapping:
        claim: steps.brutalhonesty.verdict # verdict exists
      condition:
        type: confidence_below
        threshold: 0.95

- id: decide
  name: Decision Support
  description: Focused on evaluating options and making decisions
  min_confidence: 0.85
  token_budget: 6000
  tags: [decision, analytical]
  chain:
    - protocol_id: laserlogic
      input_mapping:
        argument: input.query
    - protocol_id: bedrock
      input_mapping:
        statement: steps.laserlogic.check_validity # Fixed: actual step ID
    - protocol_id: brutalhonesty
      input_mapping:
        work: steps.bedrock.reconstruct # Fixed: actual step ID

- id: scientific
  name: Scientific Method
  description: For research, hypothesis testing, and empirical analysis
  min_confidence: 0.85
  token_budget: 8000
  tags: [research, empirical, verification]
  chain:
    - protocol_id: gigathink
      input_mapping:
        query: input.query
        constraints: input.constraints
      config_override:
        temperature: 0.8
    - protocol_id: bedrock
      input_mapping:
        statement: steps.gigathink.synthesize # synthesize exists
        domain: input.domain
    - protocol_id: proofguard
      input_mapping:
        claim: steps.bedrock.identify_axioms # Fixed: actual step ID
        sources: input.sources
      config_override:
        min_confidence: 0.85

- id: powercombo
  name: PowerCombo Ultimate
  description: Maximum reasoning power - all 5 ThinkTools in sequence (Experimental)
  min_confidence: 0.95
  token_budget: 25000
  tags: [ultimate, all-tools, maximum-rigor]
  chain:
    - protocol_id: gigathink
      input_mapping:
        query: input.query
        context: input.context
      config_override:
        temperature: 0.8
    - protocol_id: laserlogic
      input_mapping:
        argument: steps.gigathink.synthesize
    - protocol_id: bedrock
      input_mapping:
        statement: steps.laserlogic.check_validity
    - protocol_id: proofguard
      input_mapping:
        claim: steps.bedrock.identify_axioms
      config_override:
        min_confidence: 0.9
    - protocol_id: brutalhonesty
      input_mapping:
        work: steps.proofguard.triangulate
      config_override:
        temperature: 0.3
    # Second pass validation - cross-check with different perspective
    - protocol_id: proofguard
      input_mapping:
        claim: steps.brutalhonesty.verdict
      condition:
        type: confidence_below
        threshold: 0.95

# ============================================================================
# ENHANCED REASONING PROFILES (2026-01-22)
# ============================================================================

- id: graph
  name: Graph-of-Thought Analysis
  description: DAG-based reasoning with validation
  min_confidence: 0.80
  token_budget: 10000
  tags: [graph, dag, structured]
  chain:
    - protocol_id: got
      input_mapping:
        query: input.query
        context: input.context
    - protocol_id: laserlogic
      input_mapping:
        argument: steps.got.final_answer
    - protocol_id: proofguard
      input_mapping:
        claim: steps.laserlogic.check_validity

- id: consistent
  name: Self-Consistent Reasoning
  description: Multi-path consistency voting
  min_confidence: 0.85
  token_budget: 15000
  tags: [consistency, voting, multi-path]
  self_consistency:
    num_samples: 5
    voting_method: majority_vote
    use_cisc: true
    early_stopping: true
    consensus_threshold: 0.8
  chain:
    - protocol_id: gigathink
      input_mapping:
        query: input.query
        context: input.context
    - protocol_id: laserlogic
      input_mapping:
        argument: steps.gigathink.synthesize
    - protocol_id: proofguard
      input_mapping:
        claim: steps.laserlogic.check_validity

- id: verified
  name: Step-Verified Reasoning
  description: Step-level verified reasoning with Process Reward Model
  min_confidence: 0.90
  token_budget: 20000
  tags: [verified, prm, step-level]
  prm:
    min_step_correctness: 0.7
    strict_mode: false
  chain:
    - protocol_id: got
      input_mapping:
        query: input.query
        context: input.context
    - protocol_id: laserlogic
      input_mapping:
        argument: steps.got.final_answer
    - protocol_id: bedrock
      input_mapping:
        statement: steps.laserlogic.check_validity
    - protocol_id: proofguard
      input_mapping:
        claim: steps.bedrock.identify_axioms
    - protocol_id: brutalhonesty
      input_mapping:
        work: steps.proofguard.triangulate