• Joined on 2026年02月02日
davidfactor created pull request anuna/spindle-rust#25 2026年02月26日 04:50:41 +01:00
plan/impl-011-requires-verified-v2
davidfactor pushed to plan/impl-011-requires-verified-v2 at davidfactor/spindle-rust 2026年02月26日 04:47:50 +01:00
f1dc122425
 docs: add changelog with unreleased requires v2 rollout
davidfactor pushed to plan/impl-011-requires-verified-v2 at davidfactor/spindle-rust 2026年02月26日 04:35:38 +01:00
325a48f7d6
 fix: correct requires budget status edge case
davidfactor created branch plan/impl-011-requires-verified-v2 in davidfactor/spindle-rust 2026年02月26日 04:33:12 +01:00
davidfactor pushed to plan/impl-011-requires-verified-v2 at davidfactor/spindle-rust 2026年02月26日 04:33:11 +01:00
dbf32795d5
 feat: verify requires by default and roll out v2 contract
48d0502225 Merge pull request 'codex/pre1-semver-reset' (#24) from codex/pre1-semver-reset into main
fb28648b2d
 fix: add pre-flight validation checks to release.sh
58be98851e
 fix: accept full semver in release.sh version validation
87bb29c438
 chore: add release.sh script and Makefile target
Compare 10 commits »
davidfactor created pull request anuna/spindle-rust#24 2026年02月26日 02:20:21 +01:00
codex/pre1-semver-reset
davidfactor pushed to codex/pre1-semver-reset at anuna/spindle-rust 2026年02月26日 02:10:30 +01:00
646df37b7c
 docs: add release playbook for pre-1.0 versions
davidfactor pushed to codex/pre1-semver-reset at anuna/spindle-rust 2026年02月26日 01:57:43 +01:00
414030ccfd
 chore: reset workspace to pre-1.0 semver policy
davidfactor created branch codex/pre1-semver-reset in anuna/spindle-rust 2026年02月26日 01:57:42 +01:00
davidfactor pushed to feat/rearchitecture at anuna/spindle-rust 2026年02月12日 04:36:02 +01:00
e496b382a6
 fix: preserve LiteralName String API compatibility
davidfactor pushed to codex/spl-temporal-variable-propagation at anuna/spindle-rust 2026年02月11日 05:44:18 +01:00
d5d2f6dc2a
 fix: allow overlap for concrete temporal grounding
davidfactor pushed to codex/spl-temporal-variable-propagation at anuna/spindle-rust 2026年02月11日 05:35:53 +01:00
35700179f4
 fix: preserve temporal conclusion rule provenance
davidfactor pushed to codex/spl-temporal-variable-propagation at anuna/spindle-rust 2026年02月11日 05:21:34 +01:00
6a71f6759d
 chore: merge latest main into temporal propagation branch
ae4a29cc88
 fix: preserve temporal validation and superiority after grounding
4d5160c6e5
 Fix racket runner parsing flow
cbd254c9d7
 refactor: remove dfl support and enforce spl-only input
d6e203607f Merge pull request 'refactor: remove dfl support and enforce spl-only input' (#14) from codex/remove-dfl-support into main
Compare 7 commits »
davidfactor created pull request anuna/spindle-rust#15 2026年02月11日 05:04:17 +01:00
WIP: feat: implement SPL temporal variable propagation and interval reasoning
davidfactor created branch codex/spl-temporal-variable-propagation in anuna/spindle-rust 2026年02月11日 05:03:01 +01:00
davidfactor pushed to codex/spl-temporal-variable-propagation at anuna/spindle-rust 2026年02月11日 05:03:01 +01:00
2e52542904
 feat: implement SPL temporal variable propagation and interval reasoning
davidfactor created pull request anuna/spindle-rust#14 2026年02月11日 03:53:49 +01:00
refactor: remove dfl support and enforce spl-only input
davidfactor pushed to codex/remove-dfl-support at anuna/spindle-rust 2026年02月11日 03:53:25 +01:00
e41990397e
 Fix racket runner parsing flow
davidfactor created branch codex/remove-dfl-support in anuna/spindle-rust 2026年02月11日 03:39:59 +01:00
davidfactor pushed to codex/remove-dfl-support at anuna/spindle-rust 2026年02月11日 03:39:59 +01:00
0e1b9f2c24
 refactor: remove dfl support and enforce spl-only input