Measurement Rsnative Core Meaning Unit

Meaning as a measured quantity

Meaning, in the Recognition Science measurement framework, is treated as a quantity that can be recorded and compared. The framework defines a dedicated unit for it, called the meaning unit, which is a discrete record of events that assigns a real number to any measurement of meaning. This is a definitional choice, not a claim about what meaning ultimately is. The unit exists so that the framework can talk about meaning with the same precision it uses for other observables, such as time or charge.

The framework's core measurement module defines several such units side by side: ticks for time, voxels for space, and units for cost, action, and coherence. Each unit is a distinct type, so the framework cannot accidentally add a meaning value to a time value without an explicit conversion. A measurement in the framework always carries its value, an optional time window, a named protocol, an optional uncertainty, and notes. This structure makes the assumptions behind any measurement visible, including choices about windows or averaging that might otherwise be hidden.

In Recognition Science, the framework models measurement as a ledger of events. The meaning unit is one entry in that ledger. The framework proves nothing about what meaning is or how it behaves; it only provides a scaffold for stating and testing hypotheses about meaning. A protocol in the framework must name its assumptions and falsifiers if it is marked as a hypothesis, which forces any claim about meaning to be testable in principle.

What the meaning unit does not claim is important. It does not say that meaning is physical, that it can be measured with a device, or that it has a fixed scale. It does not define what one unit of meaning is worth. It only says that if you want to record a measurement of meaning, the framework gives you a labeled slot for it, with the same bookkeeping discipline as any other quantity. This is a tool for clarity, not a theory of meaning.

inductive MeaningUnit : Type

/-- A measurement value with protocol + (optional) time window + (optional) uncertainty. -/
structure Measurement (α : Type) where
  value : α
  window : Option Window := none
  protocol : Protocol
  uncertainty : Option Uncertainty := none
  notes : List String := []

/-- Protocol hygiene predicate (v1/v2).

Rules:
- `name` must be non-empty
- if `status` is `.hypothesis` or `.scaffold`, both `assumptions` and `falsifiers` must be non-empty -/
def hygienic (p : Protocol) : Prop :=
  p.name ≠ "" ∧
    match p.status with
    | .hypothesis | .scaffold => p.assumptions ≠ [] ∧ p.falsifiers ≠ []
    | _ => True

What this page does not claim

The meaning unit does not define what one unit of meaning is worth. The meaning unit does not claim that meaning is physical or measurable with a device. The framework proves no theorems about the behavior of meaning.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Measurement/RSNative/Core.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: