> Η μετάφραση παρέχεται για διευκόλυνση. Κανονιστικό είναι το αγγλικό πρωτότυπο.

# Σημασιολογικό σετ δοκιμών

Αναπαραγώγιμες δοκιμές συμμόρφωσης για τον επικυρωτή MUIF. Κάθε δείγμα είναι
ένα μικρό έγγραφο MUIF με δηλωμένη προσδοκία· ο εκτελεστής βεβαιώνει ότι τα
έγκυρα δείγματα περνούν και ότι κάθε άκυρο δείγμα αποτυγχάνει στη συγκεκριμένη
**Αφηρημένη διαδικασία δοκιμής** ([Επικύρωση](../02-architecture/Validation.md))
που είναι φτιαγμένο να παραβιάζει.

## Εκτέλεση

```text
mu-test
# ALL 7 TESTS PASSED
```

Το `mu-test` είναι η λογική εντολή του Σημασιολογικού σετ δοκιμών· για το πώς
καλούνται τα εργαλεία αναφοράς βλέπε [`../tools/`](../tools/).

## Δείγματα

| Δείγμα | Προσδοκία |
|---------|-------------|
| `valid/minimal.json` | περνά (χωρίς αυτοδηλωμένο αποτύπωμα) |
| `valid/with-fingerprint.json` | περνά· το `V2-05` επιβεβαιώνει το δηλωμένο αποτύπωμα |
| `invalid/bad-version.json` | αποτυγχάνει στο `V0-02` (λάθος `muif.version`) |
| `invalid/missing-provenance.json` | αποτυγχάνει στο `V1-02` (Αντικείμενο χωρίς `provenance`) |
| `invalid/duplicate-id.json` | αποτυγχάνει στο `V2-01` (διπλότυπο `id`) |
| `invalid/bad-csn.json` | αποτυγχάνει στο `V2-03` (το CSN παραβιάζει τη γραμματική) |
| `invalid/wrong-fingerprint.json` | αποτυγχάνει στο `V2-05` (δηλωμένο ≠ υπολογισμένο αποτύπωμα) |

Το `golden/with-fingerprint.report.json` είναι η αναμενόμενη
[Αναφορά επικύρωσης](../schemas/validation-report.schema.json) για το δείγμα
`with-fingerprint`, για αναφορά και για έλεγχο παλινδρόμησης.

## Κάλυψη

Το σετ δοκιμάζει τα δομικά ελέγξιμα επίπεδα (V0-V2). Η πλήρης επικύρωση με JSON
Schema (V1-01) και τα συνταγματικά και ομοσπονδιακά επίπεδα (V3-V4) προστίθενται
στη CI και καθώς το σετ μεγαλώνει (συνέχεια του WS6 στον οδικό χάρτη).