Skip to content

Commit dc84c75

Browse files
cbraynorcbraynor
committed
normative: add schema-reject floor vectors for the interpretation refusals
58 schema-reject vectors against the floor closure (field table, entry, type-descriptor): malformed-field-table, malformed-entry, malformed-type-descriptor, type-mismatch, unknown-field-key, and bad-field-key. Each carries one violation, canonical CBOR that decodes clean but fails interpretation against the meta-table. The capability-relative reasons (unresolved-ref, unknown code) are excluded, since two conformant nodes may legitimately disagree on them. Signed-off-by: Chris Raynor <chris@raynor.tech>
1 parent d6bd56e commit dc84c75

58 files changed

Lines changed: 464 additions & 0 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎vectors/schema-reject/bad-field-key-entry.json‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"kind": "schema-reject",
3+
"description": "field-table entry written as a wholly text-keyed map",
4+
"spec": "7.1",
5+
"cbor": "a30019040001010281a4636b657900646e616d6561616474797065006870726573656e636501",
6+
"interpret_as": 0,
7+
"reason": "bad-field-key"
8+
}

‎vectors/schema-reject/bad-field-key-field-table.json‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"kind": "schema-reject",
3+
"description": "field table written as a wholly text-keyed map",
4+
"spec": "7.1",
5+
"cbor": "a367656e7472696573006776657273696f6e016964657363726962657300",
6+
"interpret_as": 0,
7+
"reason": "bad-field-key"
8+
}

‎vectors/schema-reject/bad-field-key-type-descriptor.json‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"kind": "schema-reject",
3+
"description": "type-descriptor written as a wholly text-keyed map",
4+
"spec": "7.1",
5+
"cbor": "a30019040001010281a4000001616102a1646b696e64000301",
6+
"interpret_as": 0,
7+
"reason": "bad-field-key"
8+
}

‎vectors/schema-reject/malformed-entry-missing-key.json‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"kind": "schema-reject",
3+
"description": "field-table entry missing its key field",
4+
"spec": "7.1",
5+
"cbor": "a30019040001010281a301616102a100000301",
6+
"interpret_as": 0,
7+
"reason": "malformed-entry"
8+
}

‎vectors/schema-reject/malformed-entry-missing-name.json‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"kind": "schema-reject",
3+
"description": "field-table entry missing its name field",
4+
"spec": "7.1",
5+
"cbor": "a30019040001010281a3000002a100000301",
6+
"interpret_as": 0,
7+
"reason": "malformed-entry"
8+
}

‎vectors/schema-reject/malformed-entry-missing-presence.json‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"kind": "schema-reject",
3+
"description": "field-table entry missing its presence field",
4+
"spec": "7.1",
5+
"cbor": "a30019040001010281a3000001616102a10000",
6+
"interpret_as": 0,
7+
"reason": "malformed-entry"
8+
}

‎vectors/schema-reject/malformed-entry-missing-type.json‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"kind": "schema-reject",
3+
"description": "field-table entry missing its type field",
4+
"spec": "7.1",
5+
"cbor": "a30019040001010281a300000161610301",
6+
"interpret_as": 0,
7+
"reason": "malformed-entry"
8+
}

‎vectors/schema-reject/malformed-field-table-empty-entries.json‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"kind": "schema-reject",
3+
"description": "field table that carries no entries at all",
4+
"spec": "7.1",
5+
"cbor": "a30019040001010280",
6+
"interpret_as": 0,
7+
"reason": "malformed-field-table"
8+
}

‎vectors/schema-reject/malformed-field-table-keys-0-0.json‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"kind": "schema-reject",
3+
"description": "field table whose entry keys are {0, 0}, a duplicate of key 0",
4+
"spec": "7.1",
5+
"cbor": "a30019040001010282a400000162663002a100000301a400000162663002a100000301",
6+
"interpret_as": 0,
7+
"reason": "malformed-field-table"
8+
}

‎vectors/schema-reject/malformed-field-table-keys-0-1-1.json‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
{
2+
"kind": "schema-reject",
3+
"description": "field table whose entry keys are {0, 1, 1}, a duplicate of key 1",
4+
"spec": "7.1",
5+
"cbor": "a30019040001010283a400000162663002a100000301a400010162663102a100000301a400010162663102a100000301",
6+
"interpret_as": 0,
7+
"reason": "malformed-field-table"
8+
}

0 commit comments

Comments
 (0)