Summary axiom independence: counter-models table
| Axiom | Counter-model | Key feature | A1 | A2 | A3 | A4 | A5 |
|---|---|---|---|---|---|---|---|
| A1 fails | Zero observability (encryption) | No belief update possible | ✗ | ✓ | ✓ | ✓ | ✓ |
| A2 fails | Pure task-bot | No relational layer | ✓ | ✗ | ✓ | ✓ | ✓ |
| A3 fails | Fixed-code constraint | Only one encoding | ✓ | ✓ | ✗ | ✓ | ✓ |
| A4 fails | Synchronized protocol | p_i ≡ p_j enforced | ✓ | ✓ | ✓ | ✗ | ✓ |
| A5 fails | One-shot exchange | No relational history | ✓ | ✓ | ✓ | ✓ | ✗ |
| Axiom | Counter-model | Key feature | A1 | A2 | A3 | A4 | A5 |
|---|---|---|---|---|---|---|---|
| A1 fails | Zero observability (encryption) | No belief update possible | ✗ | ✓ | ✓ | ✓ | ✓ |
| A2 fails | Pure task-bot | No relational layer | ✓ | ✗ | ✓ | ✓ | ✓ |
| A3 fails | Fixed-code constraint | Only one encoding | ✓ | ✓ | ✗ | ✓ | ✓ |
| A4 fails | Synchronized protocol | ✓ | ✓ | ✓ | ✗ | ✓ | |
| A5 fails | One-shot exchange | No relational history | ✓ | ✓ | ✓ | ✓ | ✗ |
Sharing content requires targeting cookies to be enabled. Please update your cookie preferences to use this feature.