feat: add strict numeric stdlib functions

[tiye]

Summary

• define RFC 0113 for strict numeric standard-library functions
• add abs, sum, min, and max without prototype or implicit conversion semantics
• extend qtest standard-library coverage and host NaN/error-boundary tests
• update and regenerate the Chinese, classical Chinese, English, Latin, and Devanagari manuals

Validation

• make docs
• make check

This PR is stacked on PR #55 and is intentionally not merged independently.

[Copilot]

Pull request overview

Adds strict numeric standard-library functions (abs, sum, min, and max) with finite-number validation, tests, RFC updates, and regenerated multilingual manuals. This PR is stacked on #55.

Changes:

• Adds strict numeric built-ins and boundary coverage.
• Extends qtest and Rust tests.
• Updates RFCs, syntax documentation, and five multilingual manuals.

Reviewed changes

Copilot reviewed 24 out of 24 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
tests/scripts/stdlib.qc	Extends executable standard-library coverage.
tests/rfc_core.rs	Tests numeric behavior and error cases.
src/vm.rs	Implements numeric built-ins and validation.
RFCs/0113-numeric-standard-library.md	Defines numeric function semantics.
RFCs/0001-language-core.md	Updates the built-in function inventory.
RFCs/0000-project-scope.md	Registers RFC 0113.
README.md	Links the latest RFC.
manuals/manual.zh-CN.qc	Updates the Chinese manual source.
manuals/manual.latin.qc	Updates the Latin manual source.
manuals/manual.en.qc	Updates the English manual source.
manuals/manual.devanagari-sa.qc	Updates the Devanagari manual source.
manuals/manual.classical-zh.qc	Updates the classical Chinese manual source.
docs/syntax.zh-CN.md	Documents numeric built-ins in Chinese.
docs/syntax.en.md	Documents numeric built-ins in English.
docs/manual.zh-CN.md	Regenerated Chinese manual.
docs/manual.zh-CN.html	Regenerated Chinese HTML manual.
docs/manual.latin.md	Regenerated Latin manual.
docs/manual.latin.html	Regenerated Latin HTML manual.
docs/manual.en.md	Regenerated English manual.
docs/manual.en.html	Regenerated English HTML manual.
docs/manual.devanagari.sa.md	Regenerated Devanagari manual.
docs/manual.devanagari-sa.html	Regenerated Devanagari HTML manual.
docs/manual.classical-zh.md	Regenerated classical Chinese manual.
docs/manual.classical-zh.html	Regenerated classical Chinese HTML manual.

Suppressed comments (2)

tests/rfc_core.rs:1344

• RFC 0000 (RFCs/0000-project-scope.md:21) requires every runtime addition to include a bytecode-verification test. This test only executes the new functions through Context::eval, so a verifier regression affecting programs containing these calls would not be covered. Add a compile(...).verify() assertion covering the new call forms.

fn numeric_standard_library_is_strict_and_total() {

tests/rfc_core.rs:1367

• The finite-input contract includes both infinities, but this host-boundary test injects only NaN. A regression that removes the is_finite() guard for f64::INFINITY or f64::NEG_INFINITY would still pass; add both infinity cases to verify that abs and the aggregators reject all non-finite host numbers.

    host.set_global("nan", Value::Number(f64::NAN));
    assert!(host.eval("abs(nan)").is_err());
    assert!(host.eval("sum([nan])").is_err());

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.