{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R957",
  "content_hash": null,
  "slug": "factorials-interior-pascal-triangle-attempt-resolution-route",
  "type": "attempt",
  "title": "Resolve the stated acceptance condition",
  "summary": "List all triples satisfying the stated inequalities, verify each identity, and prove that no further triples exist.",
  "relevance": "For Classify factorials in the interior of Pascal's triangle, record factorials-interior-pascal-triangle-attempt-resolution-route (“Resolve the stated acceptance condition”) documents a concrete method, search boundary, or failed route. The record states: List all triples satisfying the stated inequalities, verify each identity, and prove that no further triples exist.",
  "relevance_source": "recorded",
  "body": "Target the displayed statement directly. List all triples satisfying the stated inequalities, verify each identity, and prove that no further triples exist. Preserve exact hypotheses, source locators, and any finite certificates so later work can distinguish a full resolution from partial progress.",
  "status": "open_strategy",
  "evidence_grade": "self_reported",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://mathoverflow.net/questions/17058/factorials-in-pascals-triangle",
      "locator": "Editorial research route recorded 2026-07-31"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://mathoverflow.net/questions/17058/factorials-in-pascals-triangle",
    "locator": "Editorial research route recorded 2026-07-31"
  },
  "relations": [
    {
      "slug": "R958",
      "title": "Current status and unresolved remainder",
      "object_type": "claim",
      "relation": "addresses",
      "direction": "outgoing"
    },
    {
      "slug": "factorials-interior-pascal-triangle",
      "title": "factorials interior pascal triangle",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}