Description
Count distinct selected-assertion paths and any-valid paths; subtract for invalidOnlyPaths.
A justification chain or evidence path is a structural representation of an argument. Repeated identifiers and reachable cycles can expose a local structural issue, but path counts do not establish independent evidence or argument soundness.
Count distinct selected-assertion paths and any-valid paths; subtract for invalidOnlyPaths.
When to use this tool
Use Assertion Support Path Count when you need a supplied chain, path-count or cycle diagnostic.
How to use the tool and how it works
- Enter assertionIds, pathIds, valid, selectedAssertion. 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 distinctPaths, validPaths, invalidOnlyPaths. Use the output convention below.
Require aligned assertion/path IDs and validity flags. Count distinct selected-assertion paths and any-valid paths; subtract for invalidOnlyPaths.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| assertionIds | Assertion Ids | Required. Array of text; maximum UTF-16 length 8192; maximum items 256. |
| pathIds | Path Ids | Required. Array of text; maximum UTF-16 length 8192; maximum items 256. |
| valid | Whether this specific check passes; not necessarily a full object-validity verdict. | Required. Array of boolean; maximum items 256. |
| selectedAssertion | Selected Assertion | Required. Text; maximum UTF-16 length 8192. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| distinctPaths | Distinct Paths | Required. Safe integer. |
| validPaths | Valid Paths | Required. Safe integer. |
| invalidOnlyPaths | Invalid Only Paths | Required. Safe integer. |
{
"input": {
"assertionIds": [
"a",
"a",
"a"
],
"pathIds": [
"x",
"x",
"y"
],
"valid": [
true,
false,
false
],
"selectedAssertion": "a"
},
"output": {
"distinctPaths": 2,
"validPaths": 1,
"invalidOnlyPaths": 1
}
}Limitations and assumptions
- Any valid duplicate supports a path even if another record conflicts. Path structure, evidence validity, independence and claim truth are not verified.
- 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
Inspect the actual dependency graph and substantive premises. Use a full graph traversal when disconnected components matter, and evaluate evidentiary validity separately from structure.
References
Similar or alternative tools
- Claim Source Support Count
For the requested claim, count distinct source IDs with true and false support separately.
- Justification Chain Circular Reference Witness
Starting only at nodes[0], follow dependencies until leaving the node map or repeating; return the repeated cycle plus closure, or the visited path when acyclic.