@@ -13,26 +13,31 @@ Rust-hosted scalar subset; this is **not** general native executable compilation
1313There is no GPU tensor backend, automatic differentiation engine or neural
1414network training framework.
1515
16- ## Work in progress: sampled calculus
16+ ## Source-only sampled calculus (unreleased)
1717
1818[ Compiler PR #153 ] ( https://github.com/scarp-lang/scarp/pull/153 )
19- proposes two typed pure kernels:
19+ was ** merged into main ** after the published alpha.3 release. It adds two typed pure kernels:
2020
2121| Proposed call | Result | Purpose |
2222| --- | --- | --- |
2323| ` sample_area(x, y) ` | ` float ` | Integrate measurements using the composite trapezoidal rule |
2424| ` sample_slopes(x, y) ` | ` vector ` | Estimate a secant derivative for each adjacent interval |
2525
26- This PR is ** not part of alpha.3** . Do not copy its examples into projects
27- built against the published compiler until a verified compatible release
28- is identified. The [ compiler's detailed implementation and tests] ( https://github.com/scarp-lang/scarp/pull/153/files )
29- are reviewable, but the development branch can change .
26+ These calls are ** not part of the published alpha.3 artifacts ** . Do not
27+ copy them into projects built against that published compiler until a newer,
28+ compatible release is verified. Source code and tests are available in the
29+ [ merged compiler PR ] ( https://github.com/scarp-lang/scarp/pull/153/files ) .
3030
3131Both functions require equal-length finite-vector inputs with at least two
3232entries and strictly increasing coordinates. They are not symbolic
33- differentiation, spline fitting or exact integration. The branch checks
34- numerical overflow, enforces bounded work and numerical output allocation,
35- and uses finite binary64 arithmetic.
33+ differentiation, spline fitting or exact integration. The merged code checks numerical overflow, enforces bounded work and
34+ numerical output allocation, and uses finite binary64 arithmetic.
35+
36+ [ Compiler PR #155 ] ( https://github.com/scarp-lang/scarp/pull/155 ) additionally
37+ proposes ` sample_cumulative_area(x, y) -> vector ` , a time-series prefix
38+ integration kernel with one result per input coordinate. Its first value is
39+ zero and its final value matches the full sampled integral for representable
40+ results. ** PR #155 is development work, not an alpha.3 feature.**
3641
3742## Architecture and dependency order
3843
0 commit comments