• Joined on 2026年01月13日
claireb pushed to fix/fold-determinism at anuna/spindle-rust 2026年03月06日 00:37:09 +01:00
84c7d3e2ea
 fix: require fold reducers to be commutative and add fold delta tracking
a426de5733
 fix: finalize strata to eliminate ghost rules in stratified reasoning
4468c96263
 fix: deduplicate_conclusions now preserves distinct conclusion types
Compare 3 commits »
claireb created branch fix/fold-determinism in anuna/spindle-rust 2026年03月05日 08:13:25 +01:00
claireb pushed to fix/fold-determinism at anuna/spindle-rust 2026年03月05日 08:13:25 +01:00
16a21e8837
 fix: preserve defeasible proof strength across fold strata
ea46dec90f
 fix: track transitive dependencies in fold stratification
Compare 2 commits »
claireb created branch feat/dates-times in anuna/spindle-rust 2026年03月05日 03:02:52 +01:00
claireb pushed to feat/dates-times at anuna/spindle-rust 2026年03月05日 03:02:52 +01:00
310bb05d95
 docs: add date/time types and temporal functions documentation
ea86d392bc
 fix: resolve date/time review findings — Hash/Eq violation, defensive checks, and test coverage
6766cc5616
 feat: add date/time types with temporal functions and literal syntax
Compare 3 commits »
claireb created branch feat/extensions-stratification-documentation in anuna/spindle-rust 2026年03月05日 00:11:44 +01:00
claireb pushed to feat/extensions-stratification-documentation at anuna/spindle-rust 2026年03月05日 00:11:44 +01:00
475d57816f
 chore: bump version to 0.4.0
d381b9a661
 docs: add documentation for fold aggregation, extension functions, and stratification
3072e0132a
 fix: resolve CLI/WASM stratification bypass and apply quality improvements
Compare 3 commits »
claireb created pull request anuna/spindle-rust#29 2026年03月04日 10:36:26 +01:00
WIP: feat/stratification-and-aggregation
claireb created branch feat/stratification-and-aggregation in anuna/spindle-rust 2026年03月04日 10:29:40 +01:00
claireb pushed to feat/stratification-and-aggregation at anuna/spindle-rust 2026年03月04日 10:29:40 +01:00
60e3f11ce7
 fix: resolve fold/stratification bugs and add validation
2a2d1b3f1c
 feat: add fold aggregation construct with stratified reasoning
Compare 2 commits »
claireb pushed to feat/builtins-as-extensions at anuna/spindle-rust 2026年03月04日 07:41:15 +01:00
cc04358df3
 fix: add arity guards to builtin eval() methods and fix round dp truncation
claireb pushed to feat/builtins-as-extensions at anuna/spindle-rust 2026年03月04日 07:11:13 +01:00
817accaa20
 fix: add runtime arity guard before extension function dispatch
claireb pushed to feat/builtins-as-extensions at anuna/spindle-rust 2026年03月04日 07:02:18 +01:00
de18a10556
 fix: resolve all clippy warnings across codebase
5c80a543e0
 style: apply rustfmt formatting
4901dddc24
 refactor: improve extension function ergonomics and code quality
Compare 3 commits »
claireb created pull request anuna/spindle-rust#27 2026年03月04日 06:01:04 +01:00
WIP: feat: migrate builtins to extension functions and add rounding (Phase 2)
claireb created pull request anuna/spindle-rust#26 2026年03月04日 05:55:45 +01:00
feat: add extension function mechanism (Phase 1)
claireb pushed to feat/builtins-as-extensions at anuna/spindle-rust 2026年03月04日 05:54:53 +01:00
6d3ef1e2ef
 feat: migrate builtins to extension functions and add rounding (Phase 2)
claireb pushed to feat/builtins-as-extensions at anuna/spindle-rust 2026年03月04日 05:53:23 +01:00
dc0a77c1b3
 feat: migrate builtins to extension functions and add rounding (Phase 2)
claireb created branch feat/builtins-as-extensions in anuna/spindle-rust 2026年03月04日 05:51:59 +01:00
claireb pushed to feat/builtins-as-extensions at anuna/spindle-rust 2026年03月04日 05:51:59 +01:00
eef9d5cd01
 feat: migrate builtins to extension functions and add rounding (Phase 2)