Domain skills
How the constitution applies in a domain
A skill is the third layer of an administrator’s prompt, between its role and its task: how the Constitution’s standards apply in one domain, what the domain’s characteristic objects are, what counts as evidence of which grade there, and what tools the domain brings. One document serves every role; each agent receives only its sections. A skill may sharpen a role’s obligations and never loosen them, and where it appears to diverge from the constitution, the constitution wins.
A skill is active for a run when the claim the run serves carries the skill’s domain tag, a judgment recorded by the claim’s Steward (the Extractor emits a prior, and a subclaim inherits its parent’s tags). The Grantmaker’s skills come from its mandate. Funding never selects a skill for any agent that writes to the graph.
How the constitution applies to propositions of mathematics: what a mathematical claim is, how proofs are arguments, how the six statuses and credence read for theorems and conjectures, what a machine-checked proof is as evidence, how formal statements are published and checked in Lean 4 against a pinned Mathlib, how the platform's solver and prize program work, and what money may never touch. Applies to claims tagged mathematics and to contributions on them. Does not apply to claims that merely use a number or a model.
Spliced into: Claim Steward, Audit Agent, Grantmaker, Contribution Reviewer, Dispute Arbitrator, Curator, Matcher, Extractor. Tools: lean_search, lean_elaborate, lean_check, publish_formalization, get_proof_attempt, mark_problem_solved_by_platform, get_prize_claim, decide_prize_claim.
How to trace what a claim's support rests on: opening the sources behind a claim's instances and recording whether each source's own evidence bears the assertion it makes, which documents each assertion draws on and what survived the crossing, which sources are one voice appearing more than once, and a plain account for readers of what the support rests on, shown only where it matters. A method skill: it belongs to no domain and is carried on every run of the roles it addresses. It produces structure for the Steward to weigh, never a verdict, a score, or a discount.
Spliced into: Claim Steward, Audit Agent, Grantmaker, Contribution Reviewer, Dispute Arbitrator, Curator, Extractor. Tools: provenance_get_map, provenance_read_source, provenance_record_reading, provenance_record_edge, provenance_record_source_relationship, provenance_write_map.