ParametricQS release 1.0.0 static/API audit
Date: 2026-07-15

Scope:
- Maple source structure in this release tree.
- Protected Maple worksheet/integration identifiers D, I, O in executable .mpl code.
- Nested Maple keyword labels in ParametricQS.mpl.
- Public API calls made to ParametricGroebner 0.1.2 and QSAlgorithmFF 3.6.0.
- PowerPoint help deck generation and render sanity check.

Important limitation:
- This build environment does not contain a Maple kernel. These checks are static and interface-level checks, not a substitute for the Maple-side regression templates in tests/.

Static Maple structural check output:
Static Maple structural check: /mnt/data/ParametricQS_release_v1_0_0
PASS ParametricQS.mpl  sha256=dcec60c934c477fc1cfd7dc1d0d4125128e702acb1f2eb9c2c6f80671d86c3b2
     blocks: proc=66/66, if=196/196, do=65/65, try=1/1, module=1/1
PASS examples/inspect_branch_data.mpl  sha256=f6bfcd129ceca51af73acd617a07ffe56ed9dd1a3160de82c6fa63e9a471dda2
PASS examples/paper_example_5_1.mpl  sha256=fe20dda46834f1ba7849efc6bc024f853fbf712ac0db4b4915a259798d5d8319
PASS examples/print_summary_demo.mpl  sha256=97fab92da02f17dbc4b28f2f92e87f88e921f11977ad0c852035cddead29f364
PASS examples/smoke_one_parameter.mpl  sha256=dc787de32981fee2872476d78583d51a3701ca58a7d6ae1c2397909b523b4060
PASS load.mpl  sha256=d7ea056fca77e0585b9e118a9893f091675bf487a4909d0be982e3654712f21e
PASS load_with_dependencies_TEMPLATE.mpl  sha256=e4cf145ec29653e784bd1bf3c4e7b511204603d8d82faad014472f4f4bede8c4
PASS tests/run_contract_checks_TEMPLATE.mpl  sha256=60fa454b6919a72b96d1ccc8b338593718bca72e31387f504e57ad14cb927f7a
PASS tests/run_paper_example_TEMPLATE.mpl  sha256=8333b0221100d274e56589098a1a5b15a9303ac584f4ddfb9f3f330af5e3fe29
PASS tests/run_smoke_TEMPLATE.mpl  sha256=5eaf7f0b47a98319f19de264ce98e9260c59eabbf9686726e788e01a275de2a4
STATIC CHECK PASSED
Note: this is not a Maple parser or runtime test.

Dependency API contract check output:
PASS ParametricGroebner: CGS, LastStatistics, VerifyCGS, Version
PASS QSFullFF: CompleteRowData, IsZeroModuloP, ValidateFunctionField, VerifyCompletion, Version
PASS QSQuotientSafeFF: MatrixInverseData, NormalizeRational
PASS QSGroebnerCacheFF: BaseIdealMembership, MakeBaseIdeal, MakeIdeal, NormalizeGenerators, ReducePolynomial
INFO PolynomialIdeals: Generators, IsPrime, IsProper, PrimeDecomposition
INFO LinearAlgebra: ColumnDimension, Determinant, RowDimension
API CONTRACT CHECK PASSED

Slides:
- Generated docs/ParametricQS_help_slides_v1_0_0.pptx.
- Rendered with the slides container tool without slide-generation overlap or out-of-bounds warnings after final layout pass.
