C1304 — Register the row-change and accumulation relation

Question

Why do localmechanisms determinethewholecomparisonfield?

Inputs

{}

Sources

[
  "C1303",
  "C1254",
  "C1166",
  "C1216"
]

Opened utc

2026-09-28T06:10:21.132681+00:00

Results

{
  "accumulation_relation": {
    "path": "model/relation_accumulation.json",
    "sha256": "9f2772db1df27cda5f061f53aa369e7aa413e20763e0bb77fd80e14b4f8734ee",
    "bytes": 731
  }
}

Finding

Localchanges determine thewholefield because accumulationislinear on afixedorderedmeasurement. Theterminal androwdomain are part oftherelation, so aCainaninsertion mustbe representedexplicitlyfirst.

Reassessment

Register thecap-round square anditsinformationloss qualifications.

Checks

{
  "bound_examples": true,
  "domain_named": true
}

Closed utc

2026-09-28T06:10:21.133382+00:00

Record provenance

Exact record hash: 77c96c8d5c2cd1d0d22ef69da1f9a47bc1526ac3515fc5f84196c7d33af02211

Source journal: Research_Cycles/C1132_C1431_Recovered/journal.json