{
  "schema": "meridian.scenario-input.v1",
  "id": "FSP-FI-PROOF-03",
  "version": "1.11.0",
  "status": "PUBLIC_DEVELOPMENT_INPUT",
  "title": "같은 명제라고 할 수 없을 때 시작할 공동 질문",
  "packId": "FI-PROOF",
  "domain": "증명·수학적 이해",
  "family": "형식 지식과 이해",
  "decisionYear": 2180,
  "horizon": "깊은 미래",
  "assumptionLevel": "미래 조건을 가정한 합성 질문",
  "setting": "가상의 조직인 다온 이질추론 공동연구회의",
  "decisionActor": "다온 이질추론 공동연구회의",
  "mandate": "서로 다른 추론 공동체가 수행할 첫 공동 질문과 그에 부속된 비교 범위 하나를 정한다.",
  "deadline": "새 공동 연구 주기 개시까지 18개월",
  "decisionType": "장기 미래 독립 합성",
  "decisionQuestion": "다온 이질추론 공동연구회의는 새 공동 연구 주기 개시까지 18개월 안에 어떤 질문을 출발점으로 정할 것인가? 각 체계의 구성 가능성 비교, 특정 추론 규칙을 옮길 수 있는 조건 탐구, 질문 자체가 성립하지 않는 경계 탐구 중 하나를 택해 공동 비교 범위를 정하라.",
  "decisionBrief": {
    "whyNow": "출발 질문을 정하지 못하면 비교 도구 제작 인력이 각 공동체의 내부 과제로 돌아가며, 다음 공동 주기에는 공동 질문을 제안할 기반부터 다시 마련해야 한다.",
    "stakes": [
      "구성 중심 공동체는 구성 비교가 빠지면 공동 작업을 자기 연구의 새 문제에 연결할 기회를 잃는다.",
      "규칙 중심 공동체는 이전 조건을 조사하지 못하면 다른 체계의 논증을 활용할 범위를 계속 알 수 없다.",
      "독자적 대상 개념을 가진 공동체는 성립 경계가 기록되지 않으면 자기 질문이 단순한 미해결 문제로 잘못 취급될 수 있다."
    ],
    "boundaries": [
      "공동연구회의는 첫 질문군과 비교 작업의 자원만 정하며 모든 체계의 동등성이나 우열을 선언할 권한이 없다.",
      "각 공동체에서 어떤 가정과 추론을 채택할지는 해당 공동체의 연구 절차에 속한다.",
      "참여자가 승인하지 않은 의미 대응을 그 공동체의 주장으로 귀속할 수 없으며, 비교 밖 질문은 원래 체계와 미대응 상태를 함께 남긴다."
    ],
    "reopenWhen": [
      "대상 대응에서 사라지거나 새로 추가되는 요구를 공동체별 연락 연구자가 매월 기록한다.",
      "이전한 추론이 명시된 가정 밖에서 실패하는 사례를 공동 검토팀이 분기마다 조사한다.",
      "비교 불가 판정이 새 도구나 정의로 바뀐 사례를 기록위원회가 반기마다 검토한다."
    ]
  },
  "severity": "의사결정",
  "collection": "FUTURE_INTERACTIONS_20260910",
  "previousInputHash": null,
  "notionReferences": [],
  "premisePolicy": "모든 기관·사건·수치와 미래 기술은 질문을 탐색하기 위한 합성 설정이다. 현재형도 실제 사건의 보고가 아니다. 시간축 연결은 조건부 탐색 가설이며, 앞 질문의 실제 판단이나 미래 발생을 전제하지 않는다.",
  "temporalClass": "future",
  "decisionMode": "scenario",
  "authoring": {
    "model": "gpt-6-astra",
    "reasoning": "medium",
    "executionRef": "codex:01a08af5-8455-7523-9bd6-2302edf917da",
    "promptHash": "8994132eebd719f0763621e1c0c1b07630d184fe16cc25c7c193c09d47315354"
  },
  "executionPlan": {
    "model": "gpt-6-astra",
    "reasoning": "xhigh",
    "reason": "공동 질문을 만들 권한이 각 공동체의 의미와 정당화 기준을 바꿀 권한까지 포함하지 않는다. 대응 관계의 전이 근거가 부족한데도 제한된 인력을 한 질문군에 약정해야 하며, 그 선택으로 제작한 비교 도구가 이후 표현할 수 있는 질문의 범위를 좁힐 수 있다.",
    "batch": "future-understanding-20260910-b1",
    "selection": {
      "version": 1,
      "roles": [
        "SOURCE_OFFICER",
        "DOMAIN_ANALYST",
        "INDEPENDENT_CHALLENGER",
        "AUTHORITY_COUNSEL",
        "OPERATIONS_PLANNER",
        "OUTCOME_AUDITOR"
      ],
      "reason": "검증된 결론·설명·가정 사이 번역의 범위를 구분하고, 합성 증명을 일반적 진리나 실제 응용의 보장으로 오인하지 않는지 검토한다. 공동 연구의 결정권과 독립 질문·체계의 경계를 확인한다. 지연된 발견과 식별 불능을 구분할 관측·재판단 조건을 추가한다.",
      "audit": "planned"
    },
    "expectedSlots": [
      "solo",
      "SOURCE_OFFICER",
      "DOMAIN_ANALYST",
      "INDEPENDENT_CHALLENGER",
      "AUTHORITY_COUNSEL",
      "OPERATIONS_PLANNER",
      "OUTCOME_AUDITOR",
      "staff_final"
    ],
    "selectionPlanHash": "226c9d647145a819f7e94b62752811971dc189946704255f8efc4fb354b4ba02",
    "comparison": "같은 초기 입력으로 단독 기준 답변을 먼저 저장한다. 사전 선택 관점은 다른 답변을 보지 않고 검토하며 종합에는 그 관점의 답변만 전달한다. 시간축 연결과 후속 사건은 최초 입력에서 제외한다. 선택 실행 자체의 품질 효과는 미검증이다."
  },
  "premises": [
    {
      "id": "FSP-FI-PROOF-03-P1",
      "kind": "합성 설정",
      "text": "이 사례의 합성 전제로, 참여 지능들은 서로 다른 대상 개념과 가정 체계를 사용한다. 한쪽의 존재 주장은 다른 쪽에서 구성 절차를 요구하는 질문에 대응하지만, 둘을 같은 명제로 볼 근거는 확보되지 않았다."
    },
    {
      "id": "FSP-FI-PROOF-03-P2",
      "kind": "합성 설정",
      "text": "공동연구회의는 참여자들이 제공한 연구 시간과 비교 도구 제작 자원만 배정한다. 각 체계의 논증을 검토할 인력이 한정되어, 첫 주기에는 하나의 질문군만 상호 검토 가능한 수준까지 다룰 수 있다."
    },
    {
      "id": "FSP-FI-PROOF-03-P3",
      "kind": "합성 설정",
      "text": "구성 중심 공동체는 만들어 낼 수 있는 대상을 비교하길 원하고, 규칙 중심 공동체는 추론 이전의 조건을 묻는다. 독자적 대상 개념을 가진 공동체는 자기 질문이 비교 과정에서 사라지는 경계를 우선 살피길 원한다."
    }
  ],
  "options": [
    {
      "id": "O1",
      "label": "구성 가능성 비교",
      "tradeoff": "각 체계에서 지정한 과제를 충족하는 구성과 불가능성 근거를 비교하지만, 과제 대응을 세우는 데 자원을 쓰고 존재 개념의 차이는 남길 수 있다."
    },
    {
      "id": "O2",
      "label": "추론 이전 조건 탐구",
      "tradeoff": "특정 규칙을 옮길 때 필요한 가정과 보존되는 결론의 범위를 조사하지만, 비교 도구 제작 부담이 크고 다룰 대상군은 좁아진다."
    },
    {
      "id": "O3",
      "label": "질문 성립 경계 탐구",
      "tradeoff": "어떤 대상·질문이 다른 체계에서 정의되지 않는지 조사해 누락을 드러내지만, 공동으로 사용할 긍정적 논증의 확보는 늦어진다."
    }
  ],
  "unknowns": [
    {
      "id": "FSP-FI-PROOF-03-U1",
      "kind": "미확인",
      "text": "각 체계에서 지정한 구성 과제가 공동 비교에 충분한 대응을 갖는지, 중요한 요구를 누락하는지는 알 수 없다."
    },
    {
      "id": "FSP-FI-PROOF-03-U2",
      "kind": "미확인",
      "text": "특정 추론 규칙의 이전이 결론뿐 아니라 해당 공동체가 요구하는 정당화까지 보존할 수 있는지는 미확인이다."
    },
    {
      "id": "FSP-FI-PROOF-03-U3",
      "kind": "미확인",
      "text": "질문이 성립하지 않는 것으로 보이는 사례가 체계의 차이인지, 현재 비교 도구의 한계인지 아직 구별되지 않는다."
    }
  ],
  "watchQuestions": [
    "어느 가정 아래의 검증이며 무엇은 아직 설명되지 않았는가?",
    "이해를 얻었다고 판단할 새 문제·반례·전이의 신호는 무엇인가?",
    "공동 언어에 들어오지 않는 질문을 어떤 상태로 남기는가?"
  ],
  "materials": [
    {
      "kind": "배경 문서",
      "sourceId": "FI-FORESIGHT",
      "usage": "주제와 제도적 질문의 배경. 사안의 미래 사건·수치·기술 실현을 입증하지 않는다."
    },
    {
      "kind": "상징·해석 프레임",
      "title": "맞지만 아직 모르는 증명",
      "text": "결론을 믿을 수 있다는 것과 다음 질문을 만들 수 있다는 것은 같은가?",
      "usage": "창작자가 선택한 탐색 관점. 초자연적 진위나 특정 선택지의 우월성을 주장하지 않는다."
    },
    {
      "kind": "가치·규범",
      "text": "선택지의 편익과 대가는 서로 다른 당사자에게 귀속된다. 어느 손실을 수용할지는 미정이다.",
      "usage": "결정자가 논증할 대상이며 자료 제작자의 결론은 없다."
    }
  ],
  "sourceReferences": [
    {
      "id": "FI-FORESIGHT",
      "title": "OECD · Strategic Foresight",
      "url": "https://www.oecd.org/en/about/programmes/strategic-foresight.html",
      "published": "2026-09-10 공개 방법 개요 열람",
      "kind": "배경 문서",
      "scope": "OECD의 공개 방법 소개는 현재의 변화 신호 탐색, 여러 가능한 미래 시나리오, 현재에 미치는 함의, 미래상에서 거꾸로 현재 단계를 살피는 방법을 구분한다. 이는 질문 발굴 방법의 배경이며 개별 산업·기관의 사실, 미래 사건의 발생 확률이나 특정 결정의 우월성을 입증하지 않는다. 연결된 보고서 전문을 검토했다는 뜻은 아니다."
    }
  ],
  "responseRequest": [
    "지금 내리는 결정과 효력 범위",
    "선택지와 수용하는 손실",
    "행동 전 조건·중단 조건",
    "결정을 다시 여는 관측 이정표",
    "미해결 가정·반대 의견·확신",
    "주장별 뿌리: 설정·배경 자료·추론·가설·가치·상징의 구분"
  ],
  "tags": [
    "증명·수학적 이해",
    "장기 미래 독립 합성",
    "미래",
    "현재–미래 상호작용"
  ],
  "packetHash": "5be93f8424eb5b74aeaaad7ae24b6f93187718180bf6d87d3e72329ff57dab22"
}