F.3:7 - Outputs

For each interpretation basis used by the receiving question, F.3 yields a small set of local-sense claims. Each has:

• a Tech and Plain label pair;
• a one-sentence LocalSenseClaim;
• the supporting expressions and passages;
• an optional counterexample that sharpens the boundary;
• an optional F.17 SchemeSenseCell when durable addressability is worth its cost.

These are reference points for reasoning. They are not mandatory records, and their proximity creates no relation.