"Not a CAS operation" is not a reason: the Math OS rule in AGENTS.md

[Rafael-SOWNet]

Part of #1212. Happypig375 there: it is not correct to leave some mathematical notation out by scope alone — this is a Math OS (#746), not a CAS, and the questions with statistics, recurrences and number theory in them should be fitted as nodes with the closest symbol the mathematics uses; see if your agentic instructions need an update. They did, in two places.

• The opening line said "AngouriMath is a computer algebra system." It now says what Goal: Math OS — a ten-year vision for AngouriMath as an open mathematical reasoning platform #746 says: a Math OS in the making, of which the computer algebra system is the part that exists.
• One subsection added under no answer is the floor, not the target: "Not a CAS operation" is not a reason either. It names the notations that were being waved off (expectation over a distribution, probability of an event, a recurrence and its sequence's limit, divisibility, cardinality of a set, an extremum over a set, the inverse of a named function), says what fitting one as a node means — the closest existing symbol, reducing to what the library already computes, as sum and integral do — and what to do where the reduction is a theorem rather than a computation: state it and leave the answer unevaluated rather than absent.

The node designs for the seven questions this applies to are in the reply on #1212, awaiting a word on spelling before anything is built.

🤖 Generated with Claude Code

https://claude.ai/code/session_012sonx8iAspMiwRwokT1Ura