-
Notifications
You must be signed in to change notification settings - Fork 2
Pull requests: eduardstan/reasonsmith
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(rulelang): refuse specifications not read whole by the parser, across all engines
#139
opened Aug 7, 2026 by
eduardstan
Owner
Loading…
fix(observed): convert unreachable trigger guard to Kleene 3-valued logic
#138
opened Aug 6, 2026 by
eduardstan
Owner
Loading…
fix(observed): derive temporal verdict from Boolean semantics
#137
opened Aug 6, 2026 by
eduardstan
Owner
Loading…
test(deps): the required dependency closure stays permissively licensed
#136
opened Aug 6, 2026 by
eduardstan
Owner
Loading…
fix(temporal): enforce single-statement backend contract and strict lexer
#135
opened Aug 6, 2026 by
eduardstan
Owner
Loading…
Replace flloat with BLACK solver as finite-trace decision backend
#134
opened Aug 6, 2026 by
eduardstan
Owner
Loading…
feat(json): complete the machine record — verbatim_text and the deletion certificates
#133
opened Aug 5, 2026 by
eduardstan
Owner
Loading…
docs(readme): the result leads, and it ships as two generated artefacts
#131
opened Aug 5, 2026 by
eduardstan
Owner
Loading…
docs(formal): the mathematics stated once, and a bibliography the build enforces
#130
opened Aug 5, 2026 by
eduardstan
Owner
Loading…
feat(ts): reasonsmith re-implemented in Effect TS, with an OpenTUI dashboard over the report it produces
#129
opened Aug 5, 2026 by
nikomatt69
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.