mathqform

MathQForm スキーマ仕様 / Schema Specification

スキーマバージョン / Schema version: v0.1.0（パイロット版 / pilot）

JSON Schema Draft 2020-12 を使用。/ Uses JSON Schema Draft 2020-12.

参照知識ベースとなる定理・命題。/ Theorems and propositions forming the reference knowledge base.

フィールド / Field	型 / Type	必須 / Req.	説明 / Description
`proposition_id`	string	✅	`PROP-{field}-{3桁}`
`name`	object{ja, en}	✅	命題名称 / Proposition name
`statement`	object{ja, en}	✅	命題の主張 / Statement
`conditions`	object{ja, en}	—	仮定・前提条件 / Assumptions and preconditions
`conclusion`	object{ja, en}	—	結論 / Conclusion
`field`	enum	✅	主分野 / Primary field（DE/PS/RA/AA/GT）
`field_secondary`	enum[]	—	関連分野 / Related fields
`msc_codes`	string[]	—	MSC 2020 コード / MSC 2020 codes
`level`	enum	—	学習レベル / Academic level
`tags`	string[]	—	分類タグ / Classification tags
`related_propositions`	array	—	他命題との関係 / Relations to other propositions
`source_references`	string[]	—	出典 / Source references
`lean4_name`	string\|null	—	Lean 4 対応名 / Lean 4 corresponding name
`status`	enum	—	proved/conjecture/open_problem/partially_resolved
`open_problem_metadata`	object	—	未解決問題メタデータ / Open problem metadata
`created_at`	date	—	登録日 / Registration date

非形式的な数学メモ。/ Informal mathematical notes.

フィールド / Field	型 / Type	必須 / Req.	説明 / Description
`item_id`	string	✅	`{DE\\|PS\\|RA\\|AA\\|GT}-{3桁}`
`source_text`	object{ja, en}	✅	ソーステキスト / Source text
`source_modality`	enum	—	入力形式 / Input modality（typed / handwritten_scan）
`field`	enum	✅	主分野 / Primary field（DE/PS/RA/AA/GT）
`field_secondary`	enum[]	—	関連分野 / Related fields
`level`	enum	✅	学習レベル / Academic level
`topic`	object{ja, en}	—	トピック / Topic
`provider_id`	string	—	匿名化提供者ID / Anonymized provider ID
`consent_flag`	boolean	—	同意フラグ / Consent flag
`reference_proposition_ids`	string[]	—	参照命題ID / Reference proposition IDs
`resolution_context`	object	—	解消状況 / Resolution context
`created_at`	date	—	収集日 / Collection date

フィールド / Field	型 / Type	必須 / Req.	説明 / Description
`question_id`	string	✅	`{field}-{3桁}-{H\\|AI\\|AE}-{2桁}`
`item_id`	string	✅	対応メモID / Corresponding note ID
`structured_question`	object{ja, en}	✅	構造化問い / Structured question
`generator_type`	enum	✅	human / ai / ai_edited
`question_type`	enum	—	問いの類型 / Question type
`generation_model`	string\|null	—	AIモデル名 / AI model name
`base_proposition_id`	string\|null	—	対象命題ID / Target proposition ID
`generation_prompt_version`	string\|null	—	プロンプト版 / Prompt version
`computational_aspects`	object	—	コーディング親和性 / Computational aspects
`created_at`	date	—	生成日 / Generation date

フィールド / Field	型 / Type	必須 / Req.	説明 / Description
`annotation_id`	string	✅	一意識別子 / Unique identifier
`question_id`	string	✅	対応問いID / Corresponding question ID
`annotator_id`	string	✅	匿名化評価者ID / Anonymized annotator ID
`well_posedness`	int(1-5)	✅	適切定式化スコア / Well-posedness score
`significance`	int(1-5)	✅	数学的意義スコア / Significance score
`information_preservation`	int(1-5)	✅	情報保持性スコア / Information preservation score
`tractability`	int(1-5)	✅	扱いやすさスコア / Tractability score
`clarity`	int(1-5)	—	明瞭性（補助軸）/ Clarity (auxiliary)
`formalizability`	int(1-5)	—	形式化可能性（補助軸）/ Formalizability (auxiliary)
`confidence`	int(1-3)	—	自信度 / Confidence level
`rationale`	object{ja, en}	—	評価理由 / Evaluation rationale
`created_at`	date	—	評価日 / Evaluation date

フィールド / Field	型 / Type	必須 / Req.	説明 / Description
`adjudication_id`	string	✅	一意識別子 / Unique identifier
`question_id`	string	✅	対応問いID / Corresponding question ID
`annotation_ids`	string[]	—	根拠Annotation / Basis annotations
`final_*`	int(1-5)	✅	最終スコア（各軸）/ Final scores (each axis)
`decision`	enum	✅	accept / revise / reject
`adjudicator_id`	string	—	判定者ID / Adjudicator ID
`rationale`	object{ja, en}	—	判定理由 / Judgment rationale
`created_at`	date	—	判定日 / Judgment date

全エンティティを束ねた配布用フォーマット。/ Distribution format bundling all entities.

フィールド / Field	型 / Type	必須 / Req.	説明 / Description
`version`	const “0.1.0”	✅	スキーマ版 / Schema version
`metadata`	object	—	メタ情報 / Metadata
`propositions`	Proposition[]	—	命題データ / Proposition data
`items`	array	✅	Item+Questions+Annotations

分野プレフィックス / Field prefixes: DE=differential_equations, PS=probability_statistics, RA=real_analysis, AA=abstract_algebra, GT=geometry_topology

すべてのスキーマファイルは data/schema/ に配置されています。 Bundle スキーマは $ref で他スキーマを参照するため、同一ディレクトリ内で使用してください。

All schema files are located in data/schema/. The Bundle schema references other schemas via $ref, so use them within the same directory.