Release 0.23.0 · tuProlog/arg2p-kt

0.23.0 (2026-10-29)

arg2p::solve(In, Out, Und), the query the interfaces solve by default, and the engine told by it (b2d5202)
core: arg2p::solve/3, the statements of the whole theory labelled IN, OUT and UND (2cc9580)
core: the conflict model as a set of parts, negation, deontic, preference and declared (4ba48a3)
python: the parts of the conflict model, several of them set at once (f6c7fc9)
the second review, arg2p::solve(In, Out, Und), the conflict model as a checklist, and a faster CI (#563) (03aca34)
the second review, arg2p::solve(In, Out, Und), the conflict model as a checklist, and a faster CI (#565) (9b100da)
vscode: the parts of the conflict model highlighted (74bb401)

actor: parallel::solve answers or raises an error, and leaving a cluster keeps it for the others (ffa7f45)
causality: no second cache, and the solver of the analysis built at its first test, printing where asked (22159c7)
causality: the analysis prints where the solver testing causality does (69643af)
core: Arg2pSolverFactory.evaluate raises an error when the evaluation halts (6867012)
core: call_module resolves its modules as paths and reads them with the operators of arg2p (ad7e98e)
core: quoted atoms, canonical terms, interruptions and the templates of naturalTerms (0deb3ab)
core: the flags of a builder written as those of Flags, and the text of flags read as facts alone (5a37206)
lsp: the MCP server ends with its client, and a run out of time says so wherever it runs (f315fc5)
parallel: nothing read on a link before its site is admitted, codes and tokens proven rather than sent (d1ffaad)
parallel: the clusters fail their callers as documented, on common bases (780d9a9)
python: arg2p mcp leaves no Java behind, and the errors of Solutions and of the command line are told (1181458)
vscode: a server stopped fails what the page waited for, the checks of the editors too (9411fc1)
vscode: the defaults of the extension in one module (2f01120)
vscode: the Federation view running again after a crash, and a restart past a server that does not stop (8928328)
vscode: the nonce of the pages of the webviews from crypto (21380d7)

the actor solver's host and timeout, call_module's locations and errors, the Java floor of Python (23dcc2e)
the conflict model as its parts, and how none of them is stated (bfa75f1)
the README a pitch, its install commands and links, the tools of the MCP server in two places (307938d)
the version and the Java of the site from the build alone (ed95ac1)
transposition and the restricted rebut under aspic too, and the declarations arg2p.d.mts (9529cd1)

@tuprolog/arg2p-ui 0.3.3 in the version catalog, as the extension has it (45fcd10)
a release built before any of it is published, failing on a failed upload (e3a3f72)
actor: Logback a dependency of the tests alone (8f539eb)
deps: update dependency python to 3.15 (#528) (01b08a4)
every push runs, so that a pull request always gets its checks (5cbf018)
no stale configuration, the GitLab CI and the GitHub Packages repository (d9629fc)
plugins: the manifests of the plugin written from plugins/arg2p/plugin.json (021e14e)
the build cache and parallel projects on, and the coverage the site publishes in one task (2ef6456)
the site of the release, least privilege, safer publishing, and faster runs (2a05ac6)
the version of @tuprolog/arg2p-ui in the version catalog (951a27e)

core: the internals of the core internal to it (e864eef)
core: the modules of the abstract notation share their operators and theoryClause/2 (b4c2f86)
lsp: the federated resolution beside the local one, and the pages' helpers shared (8fd3603)
the name of the host written once, and the NESS condition told in full (8d9bf7f)