Disclosure: recording cost per conjecture is partly an artefact of how design work items were grouped into filings (the assembler and its manifest share one intent and therefore one mechanism claim, one scope-condition set, one recorded ground; the two evals were split into their own intents for exactly this reason). Any per-conjecture cost reporting must carry this caveat from the ledger, not discover it at write-up. Timestamp: 2026-08-28.

Disclosure: recording cost per conjecture is partly an artefact of how design work items were grouped into filings (the assembler and its manifest share one intent and therefore one mechanism claim, one scope-condition set, one recorded ground; the two evals were split into their own intents for exactly this reason). Any per-conjecture cost reporting must carry this caveat from the ledger, not discover it at write-up. Timestamp: 2026-08-28.

Grounds

• pursued: the caveat travels with the ledger as a disclosure; shown wrong if per-conjecture cost is reported without it