{
  "identifier": "HbYvJmKO",
  "argumentId": "cmsmhm2iu02vwg15qzi34k5ru",
  "permalink": "https://www.isonomia.app/a/HbYvJmKO",
  "version": 1,
  "contentHash": "sha256:7ec0bcd110b20db317c0ed13adfb2b33a6fa6fff71ec33f748002aef3327491c",
  "immutablePermalink": "https://www.isonomia.app/a/HbYvJmKO@7ec0bcd110b20db317c0ed13adfb2b33a6fa6fff71ec33f748002aef3327491c",
  "isoId": "iso:argument:HbYvJmKO",
  "isoUrl": "https://www.isonomia.app/iso/argument/HbYvJmKO",
  "doi": null,
  "retrievedAt": "2026-08-24T19:50:11.572Z",
  "createdAt": "2026-08-10T00:22:34.566Z",
  "updatedAt": "2026-08-10T00:22:34.566Z",
  "conclusion": {
    "claimId": "cmsmhm12n02vog15qf0mnnq0a",
    "moid": "120852ce6cc391c9622fb860078045c9b787477bfda9bdfffba807042b4f4ba6",
    "text": "The longest-run test's block sizes and class boundaries are fixed constants: K+1 classes chosen depending on M, cases K=3/M=8, K=5/M=128, K=6/M=10000 embedded in the code, and §2.4.2's table setting minimum lengths n = 128, 6272, 750000 for M = 8, 128, 10^4 (SP 800-22 rev 1a §2.4/§3.4)."
  },
  "premises": [
    {
      "claimId": "cmsmhm1jx02vrg15qu6edmxl5",
      "moid": "499bc4fccbb437c717e73166a7a6e06e5349471c814e3ed3bfb0c92d0040baa4",
      "text": "SP 800-22 rev 1a §3.4 (p. 66), verbatim: \"Cases K =3, M =8; K =5, M =128; and K =6, M =10000 are currently embedded in the test suite code.\"",
      "isImplicit": false
    },
    {
      "claimId": "cmsmhm1jx02vsg15q4g09c0na",
      "moid": "fe1c8ef7f59666e223b217f951f991f4cc0c105b02fd30456421fbf5b981c2f4",
      "text": "SP 800-22 rev 1a §3.4 (p. 65), verbatim: \"For the test based on the length of the longest run of ones ν j within the j -th substring of size M , K + 1 classes are chosen (depending on M ).\"",
      "isImplicit": false
    },
    {
      "claimId": "cmsmhm1xy02vug15q8kongfv5",
      "moid": "10114f38cb7950a672c31d6851229721053a0bada602aa5cdbc1768c4a8f30c5",
      "text": "§2.4.2's table sets minimum sequence lengths n = 128, 6272, 750000 for block sizes M = 8, 128, 10^4. (The table itself drops from the PDF extraction — the MV1 finding — so these values are transcribed from the printed table, not anchored; recorded honestly.)",
      "isImplicit": false
    }
  ],
  "scheme": {
    "id": "cmghcuvdn0010zq6mv0ywojs4",
    "key": "classification",
    "name": "Classification/Definition",
    "title": null,
    "canonicalKey": "classification",
    "behaviourFingerprint": "914dfe08a02aeed6def8cd8ebb1d422f94f031be42093ea776184a0b70ea1bdb",
    "catalogueHealth": {
      "isArgumentPattern": true,
      "isDialogueMeta": false,
      "isTestPlaceholder": false,
      "duplicateOf": null,
      "canonicalKey": "classification",
      "clusterTagMissing": false,
      "fingerprintMaterialised": true
    }
  },
  "evidence": [],
  "structuredCitations": [],
  "criticalQuestions": {
    "schemeKey": "classification",
    "total": 1,
    "answered": [],
    "partiallyAnswered": [],
    "unanswered": [
      {
        "cqKey": "category_fit",
        "text": "Does the case fit the category?",
        "attackKind": "UNDERCUTS",
        "cqStatusId": null,
        "schemeKey": "classification",
        "premiseType": "ORDINARY",
        "isSchemeRequired": true,
        "inheritedFromParentScheme": false,
        "cqStatusEnum": null,
        "challenged": false,
        "challengeCount": 0,
        "cqRequiresEvidence": false,
        "cqBurden": "PROPONENT",
        "answerSelfCanonical": false,
        "answerAuthorKind": "HYBRID",
        "status": "missing"
      }
    ]
  },
  "schemeInstance": null,
  "confidence": null,
  "dialecticalStatus": {
    "incomingAttacks": 0,
    "incomingSupports": 0,
    "incomingAttackEdges": 0,
    "criticalQuestionsRequired": 1,
    "criticalQuestionsAnswered": 0,
    "criticalQuestionsOpen": 1,
    "standingScore": 0.5,
    "isTested": false,
    "testedness": "untested",
    "standingState": "untested-default",
    "standingDepth": {
      "challengers": 0,
      "independentReviewers": 0,
      "lastChallengedAt": null,
      "lastDefendedAt": null,
      "confidence": "thin"
    },
    "fitnessBreakdown": {
      "total": 0,
      "components": {
        "cqAnswered": {
          "count": 0,
          "weight": 1,
          "contribution": 0
        },
        "supportEdges": {
          "count": 0,
          "weight": 0.5,
          "contribution": 0
        },
        "attackEdges": {
          "count": 0,
          "weight": -0.7,
          "contribution": 0
        },
        "attackCAs": {
          "count": 0,
          "weight": -1,
          "contribution": 0
        },
        "evidenceWithProvenance": {
          "count": 0,
          "weight": 0.25,
          "contribution": 0
        }
      },
      "weights": {
        "cqAnswered": 1,
        "supportEdges": 0.5,
        "attackEdges": -0.7,
        "attackCAs": -1,
        "evidenceWithProvenance": 0.25
      }
    }
  },
  "deliberation": {
    "id": "cmsmhkyn502sug15qipk82dw4",
    "title": "Why these block-size cutoffs and bucket boundaries?"
  },
  "author": {
    "id": "12",
    "displayName": "Barthes",
    "kind": "HYBRID",
    "aiProvenance": {
      "via": "ui-declared",
      "tool": "propose_structured_argument",
      "createdAt": "2026-08-10T00:22:34.564Z",
      "coordinates": {
        "harnessId": "qs1-seeding",
        "authorKind": "AI",
        "capturedVia": "ai-draft"
      }
    }
  }
}