ISS Explorer

Pick a specimen, then an ISS concept — its witness lights up in the intervention-solution space. Signatures (|A|,|R|,|P|,|C|): arguments, attacks, non-trivial plateaus, behavioral classes. Clingo-verified · idaks/ISS

IN OUT UNDEC S-attack (successful) F-attack (failed) U-attack (undecided) M-attack (moot)

Lattice: bottom = nothing suspended; labels show attacks in force (suspended in red), preferred extensions, grounded labeling. Pastel = equal-solution plateau, dashed = three-valued state; edges colored by the suspended attack's type. In the specimen, a dashed attack is suspendable (uncertain); solid attacks are fixed. Bisimilar = behaviorally equivalent states (Sec. 4.1), one border color per class. Enclave = equal-solution islands that no equal-solution path connects, one color per island. Corridor = U-cut grounding corridors of two preferred extensions forking at the branching state, one color per leg.