Description
Count exact supplied conclusion references without deciding logical entailment.
A logical calculation operates on a stated representation: truth values, token lists, counts, or an explicitly supplied relation. Checking one assignment, pair, trace, or witness is different from proving a formula or validating an entire argument. Empty domains, duplicate tokens, and scope conventions can change the result.
Count exact supplied conclusion references without deciding logical entailment.
When to use this tool
Use Argument Conclusion Reference Count when you need this exact local truth, count, token, relation, or witness check within a larger logic workflow.
How to use the tool and how it works
- Enter conclusionIds, references. Keep parallel arrays aligned. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read referencedConclusions, unresolved. Use the output convention below.
Return referencedConclusions as the number of distinct references matching conclusionIds and unresolved as every unmatched reference occurrence.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| conclusionIds | Conclusion Ids | Required. Array of text; maximum UTF-16 length 8192; maximum items 256. |
| references | References | Required. Array of text; maximum UTF-16 length 8192; maximum items 256. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| referencedConclusions | Referenced Conclusions | Required. Safe integer. |
| unresolved | Unresolved | Required. Array of text; maximum UTF-16 length 8192; maximum items 256. |
{
"input": {
"conclusionIds": [
"C1",
"C2"
],
"references": [
"C1",
"C1",
"C3"
]
},
"output": {
"referencedConclusions": 1,
"unresolved": [
"C3"
]
}
}Limitations and assumptions
- Unresolved duplicates are preserved while matched IDs are deduplicated. No conclusion content, proof dependency, cycle, or entailment is checked.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
Alternative or Complementary methods
Use a parser, scope-aware representation, model checker, or proof procedure when the supplied token or witness representation is insufficient. A local passing check should not be promoted to global validity.
References
Similar or alternative tools
- Argument Assumption Scope Depth
Audit explicit opening/closing assumption-scope actions without evaluating argument validity.
- Argument Attack Inout Degree
Count supplied attack-edge incidences, including repeated edges and self-attacks as listed.