{
  "parsed_from": "BSD_Symbolic_Round_030_PC001_Normalization_Closure_Theorem_and_Post_Normalization_DAG.md",
  "count": 10,
  "items": {
    "C1": {
      "title": "Late common character",
      "sentence": "Target and calibrator use the same exact late character.",
      "mood": "EQUALITY",
      "needs_exhibited_object": false,
      "matched_keys": [
        "the same"
      ]
    },
    "C2": {
      "title": "Partner factors separated",
      "sentence": "No partner arithmetic is hidden in the common line.",
      "mood": "ABSENCE",
      "needs_exhibited_object": false,
      "matched_keys": [
        "no "
      ]
    },
    "C3": {
      "title": "Coordinate factors separated",
      "sentence": "No analytic coordinate weight is hidden in exact normalization.",
      "mood": "ABSENCE",
      "needs_exhibited_object": false,
      "matched_keys": [
        "no "
      ]
    },
    "C4": {
      "title": "Pre-leading source identified",
      "sentence": "The auxiliary leading tensor or equivalent q-blind source exists.",
      "mood": "EXISTENCE",
      "needs_exhibited_object": false,
      "matched_keys": [
        "exists",
        " or "
      ]
    },
    "C5": {
      "title": "Auxiliary-to-arithmetic defect classified",
      "sentence": "Every defect factor is tagged E, L, G, or P.",
      "mood": "ENUMERATION",
      "needs_exhibited_object": true,
      "matched_keys": [
        "every",
        " or "
      ]
    },
    "C6": {
      "title": "Period--de Rham exact status resolved",
      "sentence": "Either canonical cancellation or one explicit residual pairing scalar.",
      "mood": "EXISTENCE",
      "needs_exhibited_object": false,
      "matched_keys": [
        "either",
        " or "
      ]
    },
    "C7": {
      "title": "Determinant exact status resolved",
      "sentence": "Either canonical cohomological equality or explicit $\\kappa_{\\det}$.",
      "mood": "EXISTENCE",
      "needs_exhibited_object": false,
      "matched_keys": [
        "either",
        " or "
      ]
    },
    "C8": {
      "title": "Lattice / finite data separated",
      "sentence": "No exact unit ambiguity is attributed to a length / index.",
      "mood": "ABSENCE",
      "needs_exhibited_object": false,
      "matched_keys": [
        "no "
      ]
    },
    "C9": {
      "title": "Residual line flatness",
      "sentence": "No residual holonomy.",
      "mood": "ABSENCE",
      "needs_exhibited_object": false,
      "matched_keys": [
        "no "
      ]
    },
    "C10": {
      "title": "Residual normalization fixed",
      "sentence": "Canonical section or one exact anchor.",
      "mood": "EXISTENCE",
      "needs_exhibited_object": false,
      "matched_keys": [
        " or "
      ]
    }
  },
  "expected_moods": {
    "C1": "EQUALITY",
    "C2": "ABSENCE",
    "C3": "ABSENCE",
    "C4": "EXISTENCE",
    "C5": "ENUMERATION",
    "C6": "EXISTENCE",
    "C7": "EXISTENCE",
    "C8": "ABSENCE",
    "C9": "ABSENCE",
    "C10": "EXISTENCE"
  },
  "lexicon": [
    [
      "ENUMERATION",
      [
        "every"
      ]
    ],
    [
      "EXISTENCE",
      [
        "exists",
        "either",
        " or "
      ]
    ],
    [
      "EQUALITY",
      [
        "the same"
      ]
    ],
    [
      "ABSENCE",
      [
        "no "
      ]
    ]
  ],
  "moods_needing_object": [
    "ENUMERATION"
  ],
  "only_C5_needs_an_exhibited_object": [
    "C5"
  ],
  "agrees": true
}