Double Jeopardy Same Elements Block Tester
Compare actual independently legally established required-element sets in a restricted Blockburger-style premise audit. Statutory interpretation, exceptions, sovereigns, proceedings and legal double-jeopardy consequences remain external; no judicial outcome certified.
Description
An offense-element comparison finds requirements unique to each supplied set.
An offense-element comparison finds requirements unique to each supplied set.1
Legal double-jeopardy analysis also needs jurisdiction, procedure and applicable exceptions. Use this tool to calculate the stated observation or conditional model from supplied measurements.
When to use Double Jeopardy Same Elements Block Tester
Use this tool to calculate the stated observation or conditional model from supplied measurements. Establish the jurisdiction or research scope, observation and event definitions, reference date, matched period and denominator basis.
How to use Double Jeopardy Same Elements Block Tester and understand its results
- Establish the jurisdiction or research scope, observation and event definitions, reference date, matched period and denominator basis.
- Enter independentlyVerifiedOffenseOneElements, independentlyVerifiedOffenseTwoElements, using the field meanings and rules below, then run the tool.
- Read result.elementsOnlyInFirst, result.elementsOnlyInSecond, result.bothHaveDistinctRequiredElements. Interpret each field using the units, signs and evidence rules below.
- If input validation fails, correct the reported field and run again. Before applying a successful result, check the stated reference scope, units, assumptions and any retained unknown evidence.
| Input field | Meaning | Value type | Requirement |
|---|---|---|---|
| independentlyVerifiedOffenseOneElements | Independently verified offense one elements | list of string | Required |
| independentlyVerifiedOffenseTwoElements | Independently verified offense two elements | list of string | Required |
Supply two nonempty unique nonblank exact element-label lists. Return labels in each list absent from the other, preserving original order. Return true only when both difference lists are nonempty. Matching is case-sensitive without legal semantic parsing; no double-jeopardy conclusion or exception analysis is supplied.
onlyFirst=firstSet\secondSet; onlySecond=secondSet\firstSet; bothDistinct=(onlyFirst.length>0 and onlySecond.length>0) Apply the field units and exact ordering, boundary and evidence rules above.
| Output field | Meaning | Value type |
|---|---|---|
| result | Structured result containing the calculation or selected reference fields below | object |
| result.elementsOnlyInFirst | Elements Only In First; use the units, sign convention and calculation stated above | list of string |
| result.elementsOnlyInSecond | Elements Only In Second; use the units, sign convention and calculation stated above | list of string |
| result.bothHaveDistinctRequiredElements | Both Have Distinct Required Elements; use the units, sign convention and calculation stated above | boolean |
{
"input": {
"independentlyVerifiedOffenseOneElements": [
"a",
"b"
],
"independentlyVerifiedOffenseTwoElements": [
"a",
"c"
]
},
"output": {
"result": {
"elementsOnlyInFirst": [
"b"
],
"elementsOnlyInSecond": [
"c"
],
"bothHaveDistinctRequiredElements": true
}
}
}Limitations and assumptions
Legal double-jeopardy analysis also needs jurisdiction, procedure and applicable exceptions. Results depend on the independently established measurement basis and the exact model assumptions above.
Every listed input requires an explicit value. Unexpected fields, incorrect value types, nonfinite numbers and sparse numeric arrays fail validation; tool-specific bounds and alignment rules apply as described above. Extremely large inputs or outputs can also be rejected. An input error is distinct from a successful calculation that reports a false comparison or retains unknown evidence.
Alternative or Complementary methods
Use Miranda Custodial Interrogation Trigger Checker to examine a related aspect: Miranda trigger analysis involves legally established custody, interrogation and context.
Use Mens Rea Culpability Ladder Lookup where its separate inputs and scope apply: Mens rea terms describe culpability requirements within an applicable legal framework.
References
Similar or alternative tools
- Miranda Custodial Interrogation Trigger Checker
Miranda trigger analysis involves legally established custody, interrogation and context.
- Mens Rea Culpability Ladder Lookup
Mens rea terms describe culpability requirements within an applicable legal framework.