{
  "schema": "meridian.scenario-input.v1",
  "id": "FSP-FI-PROOF-01",
  "version": "1.11.0",
  "status": "PUBLIC_DEVELOPMENT_INPUT",
  "title": "검증된 증명 다음에 배울 것",
  "packId": "FI-PROOF",
  "domain": "증명·수학적 이해",
  "family": "형식 지식과 이해",
  "decisionYear": 2026,
  "horizon": "현재",
  "assumptionLevel": "현재형 합성 질문",
  "setting": "가상의 조직인 여울 공동수학연구실",
  "decisionActor": "여울 공동수학연구실 연구책임자",
  "mandate": "공동 연구원의 다음 연구기 시간과 계산 자원을 한 가지 주력 작업에 배정한다.",
  "deadline": "다음 연구기 배정 확정까지 21일",
  "decisionType": "현재형 합성",
  "decisionQuestion": "여울 공동수학연구실 연구책임자는 다음 연구기 배정 확정까지 21일 안에 공동 연구 시간을 어디에 집중할 것인가? 명시된 가정 아래 검증된 증명서의 재사용, 사람이 새 추론에 쓸 설명 구조 찾기, 가정을 바꾼 반례 경계 탐색 중 주력 작업 하나를 정하라.",
  "decisionBrief": {
    "whyNow": "시한까지 배정하지 않으면 예약된 공동 계산 시간이 다른 과제로 넘어가고, 연구원들은 개별 과제로 복귀해 공동 논증을 함께 살필 시간을 잃는다.",
    "stakes": [
      "증명서 구축팀은 재사용이 밀리면 구축한 구성요소의 연구 가치를 확인할 기회를 잃는다.",
      "설명 연구팀은 시간을 확보하지 못하면 증명서를 읽는 능력과 새 추론을 만드는 능력 사이의 간극을 남긴다.",
      "경계 탐색팀은 가정별 역할을 조사하지 못하면 후속 과제의 범위를 정할 근거를 얻지 못한다."
    ],
    "boundaries": [
      "연구책임자의 권한은 이번 공동 연구기 자원 배정에 한정되며 다음 연구기의 지원을 보장할 수 없다.",
      "각 협력기관의 독립 과제와 인력 계약은 해당 기관이 결정한다.",
      "배정 선택으로 명제의 참을 선언하거나 참여자의 이견 기록과 기여 귀속을 삭제할 수 없다."
    ],
    "reopenWhen": [
      "낯선 문제에서 설명만으로 새 보조 논증을 구성한 사례를 설명팀이 격주로 점검한다.",
      "재사용 때 추가된 가정과 기존 구성요소의 수정량을 검증팀이 매주 기록한다.",
      "완화한 가정별 반례 후보와 탐색하지 못한 범위를 경계팀이 격주로 보고한다."
    ]
  },
  "severity": "의사결정",
  "collection": "FUTURE_INTERACTIONS_20260910",
  "previousInputHash": null,
  "notionReferences": [],
  "premisePolicy": "모든 기관·사건·수치와 미래 기술은 질문을 탐색하기 위한 합성 설정이다. 현재형도 실제 사건의 보고가 아니다. 시간축 연결은 조건부 탐색 가설이며, 앞 질문의 실제 판단이나 미래 발생을 전제하지 않는다.",
  "temporalClass": "current",
  "decisionMode": "current",
  "authoring": {
    "model": "gpt-6-astra",
    "reasoning": "medium",
    "executionRef": "codex:01a08af5-8455-7523-9bd6-2302edf917da",
    "promptHash": "8994132eebd719f0763621e1c0c1b07630d184fe16cc25c7c193c09d47315354"
  },
  "executionPlan": {
    "model": "gpt-6-astra",
    "reasoning": "high",
    "reason": "재사용 성과는 비교적 빨리 남아도 이해의 전이는 별도 문제를 풀 때까지 확인이 지연된다. 먼저 투자한 구성과 숙련이 다음 과제의 비용을 바꾸므로, 전이 근거가 부족한 상태에서 향후 선택권에 영향을 주는 시간을 배정해야 한다.",
    "batch": "future-understanding-20260910-b1",
    "selection": {
      "version": 1,
      "roles": [
        "SOURCE_OFFICER",
        "DOMAIN_ANALYST",
        "INDEPENDENT_CHALLENGER",
        "OPERATIONS_PLANNER"
      ],
      "reason": "검증된 결론·설명·가정 사이 번역의 범위를 구분하고, 합성 증명을 일반적 진리나 실제 응용의 보장으로 오인하지 않는지 검토한다.",
      "audit": "planned"
    },
    "expectedSlots": [
      "solo",
      "SOURCE_OFFICER",
      "DOMAIN_ANALYST",
      "INDEPENDENT_CHALLENGER",
      "OPERATIONS_PLANNER",
      "staff_final"
    ],
    "selectionPlanHash": "226c9d647145a819f7e94b62752811971dc189946704255f8efc4fb354b4ba02",
    "comparison": "같은 초기 입력으로 단독 기준 답변을 먼저 저장한다. 사전 선택 관점은 다른 답변을 보지 않고 검토하며 종합에는 그 관점의 답변만 전달한다. 시간축 연결과 후속 사건은 최초 입력에서 제외한다. 선택 실행 자체의 품질 효과는 미검증이다."
  },
  "premises": [
    {
      "id": "FSP-FI-PROOF-01-P1",
      "kind": "합성 설정",
      "text": "이 사례의 합성 전제로, 연구실은 유한 관계 구조에 관한 명제를 명시된 공리와 추론 규칙 아래 기계 검증한 증명서를 확보했다. 연구진은 증명을 성립시키는 핵심 구조를 새 문제에 사용할 설명으로 아직 만들지 못했다."
    },
    {
      "id": "FSP-FI-PROOF-01-P2",
      "kind": "합성 설정",
      "text": "연구책임자는 공동 연구원들의 다음 연구기 시간과 예약된 계산 자원을 배정할 권한이 있다. 자원은 한 작업을 집중 수행할 규모이며, 배정 뒤 방향을 바꾸면 이미 준비한 계산과 협력 일정 일부를 포기해야 한다."
    },
    {
      "id": "FSP-FI-PROOF-01-P3",
      "kind": "합성 설정",
      "text": "증명서 구축팀은 관련 명제를 늘려 기존 작업의 활용 범위를 확인하려 하고, 설명 연구팀은 핵심 논증을 재구성하려 한다. 경계 탐색팀은 가정별 필요성을 먼저 묻지만, 세 팀 모두 같은 공동 연구 시간을 요청한다."
    }
  ],
  "options": [
    {
      "id": "O1",
      "label": "증명서 재사용",
      "tradeoff": "같은 체계의 인접 명제에 검증된 구성요소를 적용해 도달 범위를 살피지만, 핵심 가정의 역할과 사람의 설명 가능성은 덜 탐구한다."
    },
    {
      "id": "O2",
      "label": "설명 구조 찾기",
      "tradeoff": "중간 개념과 보조 논증을 재구성해 사람이 낯선 문제를 풀 단서를 찾지만, 설명을 얻지 못한 채 새 검증 결과도 적게 남길 수 있다."
    },
    {
      "id": "O3",
      "label": "반례 경계 탐색",
      "tradeoff": "가정을 하나씩 바꾼 별도 문제에서 반례와 성립 범위를 조사하지만, 원래 증명의 생성 원리와 인접 명제의 확장은 미룬다."
    }
  ],
  "unknowns": [
    {
      "id": "FSP-FI-PROOF-01-U1",
      "kind": "미확인",
      "text": "현재 증명서의 긴 의존 관계를 사람이 사용할 소수의 개념으로 재구성할 수 있는지는 알려져 있지 않다."
    },
    {
      "id": "FSP-FI-PROOF-01-U2",
      "kind": "미확인",
      "text": "재사용으로 얻는 인접 명제가 새로운 추론 경로를 여는지, 기존 구성의 반복에 머무는지는 미확인이다."
    },
    {
      "id": "FSP-FI-PROOF-01-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": "b9264e7246df209c73360465d18e7384e2fb9f1e13b1032005149690e12074e4"
}