Separating out the Policy Store, Policy Reasoner and API#61

Merged

DanielVoogsgerd merged 82 commits into

mainfrom

Jul 9, 2025

Commits on Jun 14, 2025

Started major refactor into a library

Lut99
authored and
DanielVoogsgerd
committed
Posix reasoner is now working

Lut99
authored and
DanielVoogsgerd
committed
Removed (for now) unrelated tests

Lut99
authored and
DanielVoogsgerd
committed

Commits on Jun 15, 2025

Added context logging again

Lut99
authored and
DanielVoogsgerd
committed
Added logging of the reasoner input

Lut99
authored and
DanielVoogsgerd
committed
`Dataset`s in `Workflow`s now carry `from`-information again

Lut99
authored and
DanielVoogsgerd
committed
Added `Eq`, `Hash` and `PartialEq` for `Dataset`

Lut99
authored and
DanielVoogsgerd
committed
Workflows now accept not having an end user

Lut99
authored and
DanielVoogsgerd
committed
Implemented `Eq`, `Hash` and `PartialEq` for `Entity`

Lut99
authored and
DanielVoogsgerd
committed
`Visitor` and `VisitorMut` can now optimize recursion for linear connections

Lut99
authored and
DanielVoogsgerd
committed
`AuditLogger` commutes over mutable references

Lut99
authored and
DanielVoogsgerd
committed
`AuditLogger` no longer requires mutable access to `self`

Lut99
authored and
DanielVoogsgerd
committed
Added appropriate async bounds to `StateResolver::resolve()`

Lut99
authored and
DanielVoogsgerd
committed
Added proper async bounds to `ReasonerConnector` and `AuditLogger`.

Lut99
authored and
DanielVoogsgerd
committed
Removed the mutability requirement on `logger` for the EFlintJsonReasonerConnector

Lut99
authored and
DanielVoogsgerd
committed
Added some additional impls for `EFlintable`.

Lut99
authored and
DanielVoogsgerd
committed
Relaxed pointer-like constraints on `EFlintable` impls

Lut99
authored and
DanielVoogsgerd
committed
Removed `State` from the EFlintJsonReasoner

Lut99
authored and
DanielVoogsgerd
committed
Added `serde` impls for `NoReason` and `ManyReason`

Lut99
authored and
DanielVoogsgerd
committed
Added `ManyReason::into_iter()`

Lut99
authored and
DanielVoogsgerd
committed
Added the `ReasonerContext`

Lut99
authored and
DanielVoogsgerd
committed
Contexts are now actually deserializable

Lut99
authored and
DanielVoogsgerd
committed
(WIP) Started work on the Haskell interpreter

Lut99
authored and
DanielVoogsgerd
committed
Added parsers for eFLINT traces

Lut99
authored and
DanielVoogsgerd
committed
Now parsing deltas, queries and triggers

Lut99
authored and
DanielVoogsgerd
committed
Now parsing violations, newtypes

Lut99
authored and
DanielVoogsgerd
committed
In theory, finished new backend

Lut99
authored and
DanielVoogsgerd
committed
Added haskell reasoner to toplevel module alias

Lut99
authored and
DanielVoogsgerd
committed
Added some covenience imports

Lut99
authored and
DanielVoogsgerd
committed
Implemented `Clone` on handlers

Lut99
authored and
DanielVoogsgerd
committed
Added `EFlintable` impl for `String`

Lut99
authored and
DanielVoogsgerd
committed
Made it possible to construct `PrefixedHandler`

Lut99
authored and
DanielVoogsgerd
committed
Added various `Deserialize` and `Serialize` impls

Lut99
authored and
DanielVoogsgerd
committed
`PrefixedHandler` now stores a `Cow` instead of a reference

Lut99
authored and
DanielVoogsgerd
committed
Added notion of a base policy to this layer of the reasoner, as we're including it as command-line argument instead of through stdin (which is WAY faster)

Lut99
authored and
DanielVoogsgerd
committed
Added functions to get full context from reasoner connector.

Lut99
authored and
DanielVoogsgerd
committed
Removed obsolete `base16ct` dependency

Lut99
authored and
DanielVoogsgerd
committed
Moved `base_policy_hash` to public context

Lut99
authored and
DanielVoogsgerd
committed
Fixed bug where the wrong path is being recursed

Lut99
authored and
DanielVoogsgerd
committed
Fixed current directory not being followed by the actual path

Lut99
authored and
DanielVoogsgerd
committed
Fixed the connector not filtering prompts from event stream

Lut99
authored and
DanielVoogsgerd
committed
Now debugging final reasoner verdict

Lut99
authored and
DanielVoogsgerd
committed
Now returning spec-compliant reasons again

Lut99
authored and
DanielVoogsgerd
committed
Re-moved git dependencies to workspace root

Lut99
authored and
DanielVoogsgerd
committed
Re-added MSRV

Lut99
authored and
DanielVoogsgerd
committed
Added `eflint-haskell` example

Lut99
authored and
DanielVoogsgerd
committed
Fixed broken doc links

Lut99
authored and
DanielVoogsgerd
committed
Fixed `cargo check --no-default-features` failing

Lut99
authored and
DanielVoogsgerd
committed
Now actually fixed broken doc links

Lut99
authored and
DanielVoogsgerd
committed
Added `IntoIterator` impls to `ManyReason`

Lut99
authored and
DanielVoogsgerd
committed
Clippy fixes

Lut99
authored and
DanielVoogsgerd
committed

Commits on Jul 3, 2025