// IXSCAN filter in the explain with the pushdown on: { "a" : { "$eq" : "abc" } }
/**
 * A filter pushed into a full index scan that exists only to provide a sort compares strings
 * against the index's collation keys on a collated collection, so matching documents are dropped.
 * The result is the same wrong answer in the classic and SBE engines.
 */
const conn = MongoRunner.runMongod({setParameter: {internalQueryDisablePlanCache: true}});
const db = conn.getDB(jsTestName());
assert.commandWorked(db.createCollection("c", {collation: {locale: "en", strength: 2}}));
assert.commandWorked(db.c.insertMany([
    {_id: 1, b: 1, a: "abc"},
    {_id: 2, b: 2, a: "ABC"},
    {_id: 3, b: 3, a: "xyz"},
    {_id: 4, b: 4},
]));
assert.commandWorked(db.c.createIndex({b: 1, a: 1}));

const pipeline = [{$match: {a: "abc"}}, {$sort: {b: 1}}, {$project: {_id: 1}}];
const ids = (docs) => docs.map((d) => d._id);
function ixscanFilters(explain) {
    const found = [];
    (function walk(x) {
        if (Array.isArray(x)) return x.forEach(walk);
        if (x === null || typeof x !== "object") return;
        if (x.stage === "IXSCAN") found.push(x.filter);
        Object.values(x).forEach(walk);
    })(explain);
    return found;
}
function run(label, engine, pushdown, hint) {
    assert.commandWorked(db.adminCommand({
        setParameter: 1,
        internalQueryFrameworkControl: engine,
        internalQueryPlannerPushdownFilterToIxscanForSort: pushdown,
    }));
    const opts = hint ? {hint} : {};
    const filters = ixscanFilters(db.c.explain().aggregate(pipeline, opts));
    const got = ids(db.c.aggregate(pipeline, opts).toArray());
    jsTest.log.info("run", {label, engine, pushdown, hint, ixscanFilters: filters, got});
    return {got, filters};
}

// Controls: the answer is [1, 2] when the filter is not pushed into the index scan or when the
// query scans the collection.
assert.eq(run("pushdown off", "forceClassicEngine", false).got, [1, 2], "pushdown off, classic");
assert.eq(run("pushdown off", "trySbeEngine", false).got, [1, 2], "pushdown off, SBE");
assert.eq(run("collection scan", "forceClassicEngine", true, {$natural: 1}).got, [1, 2], "collscan");
// Mechanism: with the pushdown on, the filter is in the index scan.
assert(run("pushdown on", "forceClassicEngine", true).filters.some((f) => f !== undefined),
       "the filter was not pushed into the index scan; the repro does not test the bug");
// Fails at the local build (2026-09-17): returns [] in both engines.
assert.eq(run("pushdown on", "forceClassicEngine", true).got, [1, 2], "pushdown on, classic");
assert.eq(run("pushdown on", "trySbeEngine", true).got, [1, 2], "pushdown on, SBE");
MongoRunner.stopMongod(conn);