This page is the public holding surface for papers, source notes, and compiled references that support the math-solver adapter and formalism-development pipeline.
| Class | Use | Public posture |
|---|---|---|
| Compiled paper | Research source for formalism development | RESEARCH_NOTE |
| Solver instruction source | Input to governed task packet | DRAFT / RESEARCH_NOTE |
| Returned solver artifact | Artifact requiring review before claim | DRAFT until receipt-backed |
| Mapped claim | Claim tied to source, receipt, or test | RECEIPT_BACKED only when evidence exists |
| Superseded source | Historical context only | DEPRECATED |
The compiled paper list should be added here as structured entries rather than pasted as undifferentiated links. Each entry should name the paper, source posture, relevance to RTG/STCM/math-solver work, and whether it is merely context or mapped to a claim.
Paper entry shape: - Title: - Authors / source: - Link or citation: - Related formalism: RTG / STCM / adapter / other - Use: context / solver instruction source / mapped claim support - Claim linkage: none / draft / receipt-backed - Notes: - Last reviewed:
The math-solver adapter should not ask a model to reason from invisible authority. It should pass source context as declared evidence, then require returned artifacts to be classified before they become public claims or next instructions.