C913 — Separate source inputs from derived operational state

Question

Which registers carry new information and which are computable under fixed rules?

Inputs

{}

Sources

[
  "C909–912",
  "independent integration review"
]

Opened utc

2026-09-28T02:58:38.545310+00:00

Results

{
  "clarification": {
    "path": "model/primitive_vs_derived_state.json",
    "sha256": "7bdb0d544439654ce435e082c267fcb3990e4174837254c952d0e2c6ce3a01cb",
    "bytes": 1095
  }
}

Finding

The grammar can compute its digit registers, indices, margins and domains. They must be operationally available but need not be independent source inputs. This refines C909 and improves compression without weakening the whole-field results.

Reassessment

Map each tested family to the shared operations and retained source choices.

Checks

{
  "five_domains": true,
  "decimal_derived": true,
  "no_primitive_digit_claim": true
}

Closed utc

2026-09-28T02:58:38.545782+00:00

Record provenance

Exact record hash: 4ab6cac0252a459b3e05460b8986cef90a0d153636941d38ab7757c31f21495c

Source journal: Research_Cycles/C0832_C0931/journal.json