Finite Relation Antisymmetric Pair Audit

Audit finite relation antisymmetry and return explicit failing witnesses; unknown universe elements are rejected.

Description

Audit finite relation antisymmetry and return explicit failing witnesses; unknown universe elements are rejected.

Antisymmetry permits self-pairs but prohibits opposite directions between distinct elements.

When to use this tool

Audit finite relation antisymmetry and return explicit failing witnesses; unknown universe elements are rejected.

Prepare the supplied pairsJson, universe fields for this operation.
Compare the complete example with the representation used by your own input before carrying the result into another step.

How to use the tool and how it works

Enter pairsJson, universe. Use the exact text syntax, units and index conventions explained below.
Run the tool. If input validation fails, correct the supplied fields before interpreting any result.
Read result.holds, result.witnesses. Interpret false, null and empty lists using the distinctions below; they can be valid outputs.

After relation validation, return pairs [a,b] with a different from b and with [b,a] also present. holds means no such witnesses.^[1]

Input field	Meaning and representation	Accepted input
pairsJson	JSON text, entered as one text field. The decoded structure is illustrated below; it is not a separate file.	Text
universe	universe.	List of strings; at most 128 entries

For the JSON text fields, the following decoded structures show the example records before they are serialized into input strings. Keep field names, list nesting and value types as shown.

json

[
  {
    "field": "pairsJson",
    "decoded": [
      [
        "a",
        "b"
      ],
      [
        "b",
        "a"
      ]
    ]
  }
]

Output field	Interpretation
result	Object containing the named outputs below.
result.holds	True exactly when the stated property passes; it does not establish other properties.
result.witnesses	Concrete missing or conflicting relation evidence; inspect holds alongside the list.

json

{
  "input": {
    "pairsJson": "[[\"a\",\"b\"],[\"b\",\"a\"]]",
    "universe": [
      "a",
      "b"
    ]
  },
  "output": {
    "result": {
      "holds": false,
      "witnesses": [
        [
          "a",
          "b"
        ],
        [
          "b",
          "a"
        ]
      ]
    }
  }
}

Limitations and assumptions

Both directions may appear as separate witnesses. Reflexivity and transitivity are not established by this test.
All declared input fields are required and unexpected top-level fields are rejected. Numbers must be finite; lists are limited to 128 entries and ordinary text fields to 8,192 UTF-16 code units, with tighter limits where stated.
JSON text inputs must parse within bounded nesting and size limits. Numeric outputs outside the safe finite range are rejected; large exact integer results use decimal strings. Indexes and half-open spans are zero-based unless a rank is explicitly described as one-based.

Alternative or Complementary methods

Declare the full universe and distinguish testing a property from adding its closure. Use separate functionality and totality checks before interpreting a relation as a function.

References

Tool behavior and example: Finite Relation Antisymmetric Pair Audit — tool.io

Similar or alternative tools

Finite Relation Asymmetric Pair Audit
Audit finite relation asymmetry and return explicit failing witnesses; unknown universe elements are rejected.
Finite Relation Membership Pair List
Decode a square binary finite relation membership matrix into unique ordered pairs with explicit universe labels.