Sense-Condition Rewrite Template¶
Template — instantiates Appearance vs. Reality Distinction Audit
Rewrites an object-level claim into the possible experiences, observations, or tests that would give it empirical content.
Sense-Condition Rewrite Template takes a single abstract claim — one that asserts something about a hidden state, an object, or a capacity — and rewrites it downward into the set of experiences, observations, or tests that would count as evidence for it. Its defining move is generating the not-yet-collected: it starts from a claim that has no clear empirical cash-value and manufactures the sensory or experimental conditions that would give it content, in the spirit of asking "what would I have to be able to observe for this to be true?" It does not sort or tabulate claims, and it does not organize evidence already in hand; it runs in the opposite direction from an inference-annotator — it starts at the reality claim and derives the appearances that would license it.
Example¶
An evaluation lead is handed a benchmark proposal asserting "the model understands sarcasm." As written, it is untestable — "understands" points at a hidden state with no stated observable consequences. The rewrite template converts it into a sense-condition set: if the model understands sarcasm, then on held-out sarcastic product reviews it should assign sentiment opposite to the literal wording; in paired sentences differing only in ironic framing it should flag the ironic member; and when the cultural context that cues the irony is stripped out, its performance should degrade in a predictable way. Each line is an experience the evaluators could actually have.
The template also forces the bridge into the open: "passing these behaviors counts as understanding." That assumption is contestable — a system might pass by surface cues without anything worth calling comprehension — and by writing it down, the rewrite keeps the test from silently redefining the claim. The abstract assertion now has both empirical content and an explicit, arguable bridge between the behavior and the concept.
How it works¶
- Isolate the object-level claim. Take one claim about a hidden state, entity, or capacity, stated in its native abstract vocabulary.
- Ask the sense question. Enumerate the experiences, observations, or measurements whose presence or absence would bear on the claim — what you would perceive if it were true, and what you would perceive if it were false.
- Write the conditions as a set. Record them as a list of would-be observations, keeping confirming and disconfirming conditions both in view.
- Expose the bridge. State explicitly the assumption that these conditions are what the claim amounts to — and mark it as an assumption open to challenge, not a definition.
Tuning parameters¶
- Reduction strictness — how completely the claim must cash out in observables; a strict setting maximizes testability but can amputate a meaningful claim's surplus content.
- Condition breadth — how many independent sense-conditions are demanded; more conditions triangulate better but raise the cost of a verdict.
- Symmetry — whether disconfirming conditions are required alongside confirming ones; omitting them invites a test that can only ever pass.
- Bridge explicitness — how loudly the "these observations = the claim" assumption is flagged; a quiet bridge risks reifying the test as the concept.
- Abstraction floor — how far down the rewrite pushes before stopping; too far and the conditions become trivial, too shallow and they stay untestable.
When it helps, and when it misleads¶
Its strength is that it rescues a stalled, contentless dispute: a claim two people were arguing past each other about ("does it really understand?") becomes a set of observations they can actually check, with the interpretive bridge laid bare for negotiation.
Its failure mode is the historic weakness of the verification principle it descends from[n1] — pushed too hard, "meaningful only if testable" declares perfectly meaningful claims meaningless and even turns on itself, since the principle is not testable by its own lights. The classic misuse is operational reification: collapsing "understanding" into "scores above 0.9 on this benchmark" and forgetting the bridge was contestable, so the test quietly becomes the definition. The guarding discipline is to keep the bridge assumption visible and revisable — the sense-conditions are evidence for the claim, never a silent replacement of it.
How it implements the components¶
Sense-Condition Rewrite Template realizes the audit's content-generation machinery — the narrow pair of components that turn an abstract claim into checkable experience:
experience_condition_set— its primary output: the list of possible experiences, observations, and tests that would bear on the claim.bridge_assumption_register— it names, as an explicit and contestable assumption, that meeting those conditions counts as the claim being true.
It names what would count but does not schedule and run it: a measurement_corroboration_plan and a clinical phenomenological_report_channel and ontology_commitment_map are the lane-keeping work of Symptom–Biomarker Crosswalk. Nor does it collect and tag existing claims with a claim_inventory and appearance_reality_classifier — that's Claim Tagging Matrix.
Related¶
- Instantiates: Appearance vs. Reality Distinction Audit — the rewrite gives empirical content to claims the audit would otherwise be unable to place.
- Sibling mechanisms: Claim Tagging Matrix · Appearance/Reality Audit Checklist · Observation Warrant Ladder · Symptom–Biomarker Crosswalk · Perceived-vs-Measured Performance Dashboard · Bridge Assumption Annotation Protocol
Editorial Notes¶
Form Classification¶
Form family: Representation, Specification & Plan
Rationale: Sense Condition Rewrite Template operates by externalizes an abstract claim and the observations that would support or challenge it in a reusable template. That concrete deployed or enacted form is Representation, Specification & Plan under the frozen taxonomy.
Nearest alternative: Interface, Display & Cue — Although Interface, Display & Cue can support this mechanism, the frozen evidence makes its operative form the act that externalizes an abstract claim and the observations that would support or challenge it in a reusable template; the alternative is therefore secondary rather than defining.
Review outcome: Adjudicated after independent review; high confidence.
Origin Attribution¶
Primary origin: Philosophy
Origin pattern: Cross-disciplinary synthesis
Present-day reach: Multi-domain
Rationale: Rewriting claims as possible observations or experiences that confer empirical content descends from empiricism, operationalism, and verificationist philosophy of science.
Related originating lineages:
- Linguistics & Semiotics — The rewrite makes truth conditions and referential commitments explicit.
- Mathematics — Mathematical modeling, proof, and abstract-structure practice supplies a parallel or contributing lineage for the mechanism's defining operation: rewrites an object-level claim into the possible experiences, observations, or tests that would give it empirical content.
- Physics — Operational definitions historically tied physical quantities to measurement procedures.
- Statistics & Experimental Design — Operational definitions translate constructs into observable tests and measurements.
Review resolution: The blind reviewers agree that philosophy is the primary origin and differ only on alternate origin disagreement, origin mode disagreement. I preserve every independently explained alternate from both records rather than imposing a numeric cap. I retain cross_disciplinary_synthesis because the combined record shows material contributions from several lineages. The broader reach of multi_domain records portability separately from historical provenance, and encyclopedia_synthesis=true preserves the affirmative synthesis judgment where either reviewer identified one.
Encyclopedia synthesis: The exact catalogued form synthesizes established practice rather than reproducing a single standard historical label.
Review outcome: Reconciled after independent review; medium confidence.
Notes¶
[n1] The logical-positivist verification principle held that a statement is cognitively meaningful only if it is empirically verifiable (or analytic). It was abandoned in its strong form because it excludes meaningful scientific and ethical claims and fails its own test — it is not itself empirically verifiable — which is exactly why a sense-condition rewrite must treat testability as a useful discipline, not a criterion of meaning. ↩