e5a84c0598
M3's gate as named -- "remaining crud coverage; e2e3/e2e4 green" -- cannot
see this work. e2e3 and e2e4 contain zero positional paths, and the pinned
crud corpus covers `$[<identifier>]` only: no `$[]` case, no bare `$` case
anywhere in it. Both stayed green through a bug that replaced an array with
`{"$[i]": {...}}` and answered ok: 1. So M3 brings its own corpus, built the
way M2.5's was: inputs authored in `sources/`, every expectation recorded
from mongod 8.3.7, run through the shared runner with `--suite-dir`.
51 cases across the three spellings. It stands at 15 pass / 36 fail against
the refusal, which is the intended shape -- `expressions.json` was recorded
at 1 pass / 26 fail before the evaluator and is green now. The 15 that pass
are refusals where this server's code already matches; of the 36, 31 are the
constructs answering "not implemented" and 5 are refusals whose code
differs, four of them arrayFilters validation this server cannot do because
it never parses the option.
Every case records its `outcome`, refusals included. That is deliberate and
it is the whole point of the file: a refusal that left the document mangled
is indistinguishable from a clean one in `expectError` alone, and a mangled
document is what this corpus exists to catch.
What recording it settled, none of it guessable, the first contradicting
what the design review assumed:
- `y.$[i].c.$[i].d`, one identifier reused at two levels, is **accepted**
-- not a duplicate-identifier error
- `$[]` over an empty array is a no-op with modifiedCount 0
- `$[]` over an array with a non-document element is error 28, where every
other path failure here is 2
- a positional segment never creates: a missing or non-array path is an
error, where `$set: {'a.b': 1}` would construct one
- an upsert gets no special case -- it fails for the same reason
- `$` writes only the first matching element, and is refused when the query
never touched the array
- any of the three in first position is refused, as is `$` twice in a path
- `arrayFilters` alongside a replacement is ignored rather than refused
A case needing its own documents reseeds through operations rather than
`initialData`, because the format's `initialData` is per file and the runner
seeds it once per test. That keeps one file per operator instead of one file
per document shape.
crud scorecard unchanged at 204/87, aggregation corpus still 70/0.
119 lines
3.4 KiB
JSON
119 lines
3.4 KiB
JSON
{
|
|
"_comment": [
|
|
"Inputs only. Expectations are measured -- see record.js.",
|
|
"`$`, the original positional operator, which writes the *first* element",
|
|
"the query matched. It is the one of the three that needs something the",
|
|
"document alone does not hold -- which element the filter matched -- so",
|
|
"every case here pairs a filter with an update and the pairing is the",
|
|
"point. The pinned crud corpus has no `$` case anywhere."
|
|
],
|
|
"documents": [
|
|
{ "_id": 1, "y": [{ "b": 3 }, { "b": 1 }] },
|
|
{ "_id": 2, "y": [{ "b": 0 }, { "b": 1 }] },
|
|
{ "_id": 3, "y": [{ "b": 5, "c": [{ "d": 2 }] }] }
|
|
],
|
|
"cases": [
|
|
{
|
|
"description": "$ writes the element the filter matched",
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "y.b": 3 },
|
|
"update": { "$set": { "y.$.b": 7 } }
|
|
}
|
|
},
|
|
{
|
|
"description": "$ writes only the first match when several elements qualify",
|
|
"documents": [{ "_id": 1, "y": [{ "b": 1 }, { "b": 1 }, { "b": 2 }] }],
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "y.b": 1 },
|
|
"update": { "$set": { "y.$.b": 7 } }
|
|
}
|
|
},
|
|
{
|
|
"description": "$ when the filter never touched the array is refused",
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "_id": 1 },
|
|
"update": { "$set": { "y.$.b": 7 } }
|
|
}
|
|
},
|
|
{
|
|
"description": "$inc through $",
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "y.b": 3 },
|
|
"update": { "$inc": { "y.$.b": 10 } }
|
|
}
|
|
},
|
|
{
|
|
"description": "$ as the leaf replaces the matched element",
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "y.b": 3 },
|
|
"update": { "$set": { "y.$": { "replaced": true } } }
|
|
}
|
|
},
|
|
{
|
|
"description": "$ reaching a field below the matched element",
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "y.b": 5 },
|
|
"update": { "$set": { "y.$.c": [] } }
|
|
}
|
|
},
|
|
{
|
|
"description": "$ with the filter matching on a different field of the element",
|
|
"documents": [{ "_id": 1, "y": [{ "k": "a", "v": 1 }, { "k": "b", "v": 2 }] }],
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "y.k": "b" },
|
|
"update": { "$set": { "y.$.v": 9 } }
|
|
}
|
|
},
|
|
{
|
|
"description": "updateMany with $ writes each document's own match",
|
|
"operation": "updateMany",
|
|
"arguments": {
|
|
"filter": { "y.b": 1 },
|
|
"update": { "$set": { "y.$.b": 7 } }
|
|
}
|
|
},
|
|
{
|
|
"description": "$ over an array of scalars",
|
|
"documents": [{ "_id": 1, "y": [1, 2, 3] }],
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "y": 2 },
|
|
"update": { "$set": { "y.$": 9 } }
|
|
}
|
|
},
|
|
{
|
|
"description": "$ in first position is refused",
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "y.b": 3 },
|
|
"update": { "$set": { "$": 7 } }
|
|
}
|
|
},
|
|
{
|
|
"description": "$ twice in one path is refused",
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "y.b": 5 },
|
|
"update": { "$set": { "y.$.c.$.d": 0 } }
|
|
}
|
|
},
|
|
{
|
|
"description": "$ on an upsert that inserts",
|
|
"documents": [],
|
|
"operation": "updateOne",
|
|
"arguments": {
|
|
"filter": { "y.b": 3 },
|
|
"update": { "$set": { "y.$.b": 7 } },
|
|
"upsert": true
|
|
}
|
|
}
|
|
]
|
|
}
|