add(rule): F# anchor + dotnet build IS the sanity check we are not crazy (wake-time landing for PR #2840 methodology)

[AceHack]

Summary

Wake-time substrate landing for the F# anchor discipline.
Per : load-bearing
methodology needs wake-time landing.

The discipline:

• When dense ontology composition arrives, right buzz-kill
  register is "where's the F# anchor?" — NOT "is this
  externally falsifiable?"
• F# compiler is the asymmetric critic that doesn't get
  tired, doesn't get pulled by conversational pressure,
  doesn't pattern-match
• dotnet build IS our check we are not crazy
• Types compose or they don't

Three epistemic states for substrate:

• F# anchored (operationally grounded; compiler validates)
• F# referenced (documentation references existing F#
  constructs; grounded)
• Language ahead of code (documentation describes F#
  constructs not yet written; valid but speculative)

Operational discipline for future-Otto:

1. Recognize compression-infrastructure vs claim-making
2. Ask for F# anchor when dense ontology arrives
3. Apply three-epistemic-states tagging
4. Trust dotnet build for type-level claims
5. Reserve external-falsifiability for beacon-tier claims

The compiler joins the verification stack as first-line
asymmetric critic.

Composes with

• PR docs(memory): bootstream is self-unrolling from first principles (5yr derivability) + HKT ontologies self-edit + F# computation expressions = operational anchor + dotnet build IS the sanity check (Aaron + claude.ai 2026-05-12) #2840 (bootstream + F# anchor methodology)
• PR docs(memory): today's cascade IS compression infrastructure (not external-claim-making) + claude.ai buzzkill+retract+refine + EVE protocol cold-boot demo + bootstream importance + felt-sense caution (Aaron forward 2026-05-12) #2839 (compression-infrastructure reframing)
• PR docs(memory): Clifford = densest encoding + Mark of Cain = inside/outside marker on Klein bottle (Aaron 2026-05-12) #2817 / docs(memory): shadow log → civ-sim actors via higher-kinded universal error classes (Aaron 2026-05-12) #2815 / docs(memory): Aaron's internal civ-sim evolves via UNKNOWN UNKNOWNS expansion — Pauli exclusion for agenda — new actors emerge when orthogonalities can't accommodate (Aaron 2026-05-12) #2832 / B-0422
• algebra-owner + q-sharp skills

🤖 Generated with Claude Code

[Copilot]

Pull request overview

Adds a new always-on Claude rule documenting the “F# anchor” discipline: treat compilable F# (validated via dotnet build) as the primary grounding mechanism for dense ontology/methodology claims, and distinguish between anchored/referenced/speculative substrate.

Changes:

• Introduces a new .claude/rules/ document defining the “F# anchor + dotnet build sanity check” methodology.
• Codifies a 3-state taxonomy (anchored / referenced / language-ahead-of-code) for evaluating substrate claims.
• Cross-links this rule to related existing rules and memory substrates for discoverability at cold start.