René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"oracle-gaps: owns in an options object built elsewhere (variable or spread) is read as empty, giving a clean 0-gap headline","articleBody":"Reported from an adopter session, which found it while reviewing #70. Checked at c58b0c2 with `readOwns` (`oracle-gaps/owners.mjs`) and end to end. This is a sibling of #69.\n\n**Problem.** When an `oracleProperty` call's options aren't an object literal, or the literal is a spread with no `owns` key, `readOwns` returns `declares: true, entries: [], problem: null`. The run then reports a clean headline for code that no oracle owns.\n\nEach case below shows what `readOwns` returns, as declares / entries / problem:\n- `const opts = { owns: ['src/x.ts#a'] }; oracleProperty(opts)` gives true / [] / null.\n- `const base = { owns: [...] }; oracleProperty({ ...base, id: 'x' })` gives true / [] / null.\n\nThe other indirect forms already refuse: `owns: OWNS`, `{ owns }`, a spread array, `as const`, `satisfies`, a parenthesized array, and a `${}` template.\n\nEnd to end, with a spread base in the ws-b repro: \"4 mutants, 2 killed, 0 gaps, 2 unowned (warnings)\", then \"done completed, 0 gaps\". The author sees a clean headline, and the oracle has judged nothing. That's worse than the forms that refuse.\n\n**Authority.** P8 in the decisions register says an unknown source is never silent. P6 says ownership is read from the `owns` entries on `oracleProperty`.\n\n**Proposal.**\n- When the options of an `oracleProperty` call aren't an object literal, or the literal has a spread and no own `owns` key, refuse with the same problem as the constant case: \"its owns list is not written in the oracleProperty call, so the gap report cannot read what it owns\". Include a fix line.\n- Add a matching eslint-plugin-oracles rule, so the problem shows up at lint time.\n- In the oracle, add generated owns forms (inline, constant, spread base, options variable) to the owners oracle. Each form must either be read correctly or refused, never read as empty.\n\nThis issue was written by Isaac.\n","author":{"url":"https://github.com/KyleAMathews","@type":"Person","name":"KyleAMathews"},"datePublished":"2026-11-14T02:51:07Z","url":"https://github.com/TanStack/oracles/issues/75"}