refactor!: layer the argumentation package into subpackages (0.3.0)#1

Merged

ctoth merged 23 commits into

mainfrom

May 24, 2026

test: add layer-architecture contract test
ctoth
committed
refactor: scaffold layered subpackages (C0/12)
ctoth
committed
refactor: move core layer into argumentation/core/ (C1/12)
ctoth
committed
refactor: move ASPIC+ layer into argumentation/structured/aspic/ (C2/12)
ctoth
committed
fix(aba-sat): required fixed_out assumption is unsatisfiable, not a crash
ctoth
committed
refactor: move frameworks layer into argumentation/frameworks/ (C3/12)
ctoth
committed
refactor: move gradual layer into argumentation/gradual/ (C4/12)
ctoth
committed
refactor: move ranking layer into argumentation/ranking/ (C5/12)
ctoth
committed
refactor: move ABA layer into argumentation/structured/aba/ (C6/12)
ctoth
committed
refactor: move probabilistic layer into argumentation/probabilistic/ (C7/12)
ctoth
committed
refactor: move dynamics layer into argumentation/dynamics/ (C8/12)
ctoth
committed
refactor: move iccma into argumentation/interop/ (C9/12)
ctoth
committed
refactor: move solving layer into argumentation/solving/ (C10/12)
ctoth
committed
build: enforce the layered architecture with import-linter (C11/12)
ctoth
committed
docs: document the layered layout and release 0.3.0 (C12/12)
ctoth
committed

Provide feedback