Contiguous research campaign · C872–C889 · 18 numbered records

Calendar Key grids, domains and order

States exact grid-domain rules for E, P and J, full source-field tests, stagewise integrality and held-anchor order effects.

Part of the C832–C931 broader study sequence: Whole-family transfers, NT displays, Keys and carriers.

Campaign manifest (JSON) · Complete numbered records · All research sections

Related subjects: Calendar Keys, phase & Sothic

Reading route for researchers and AI readers

  1. Read the current explanation, then select the topic matching your question. A topic may join several separate research campaigns.
  2. Read the selected Start here documents before opening a complete numbered-record list. Follow their cited source editions and evidence links as needed.
  3. Use a campaign for one contiguous line of study; use a topic to find related work revisited across campaigns. The topic and campaign JSON lists contain links and edition hashes, not document bodies.
  4. Original numbered records retain their historical scope and source assumptions. Later corrections, accepted source decisions and the current synthesis govern the present account.
  5. If a subject is absent from the published Knowledge Catalog, consult Study documents and the source guide for supporting studies used or referenced in the C-series research.

Current explanation · Current Strategy review · Source guide and supporting studies · Source guide (Markdown) · Full source catalog (JSON)

Start here: selected leads

Supporting source editions

Complete numbered records

This list is for detailed inspection after the selected leads above. Each reading page preserves the original action and links its supporting evidence. The manifest supplies these links and edition hashes without copying document bodies.

  1. C872 — Freeze the complete operator-domain packetDocument JSON · Download preserved record
    SHA-256 1cb7ea9a6bf48e5309193100c55ffe7807bd7cf2a8bd298d3a615f2b48f84afc
    Linked evidence (5)
    • model/operator_inputs.jsonSHA-256 fbed103853494c21cb6fa7e37ef4e47e21d9de8d9b4348cea817505001fff8e3
    • File 63SHA-256 180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35
    • File 12SHA-256 9a1eff41920cd0f8ded897eb602563cf3575d5ca202d65909865d745d80299a8
    • File 51aSHA-256 d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c
    • File 46SHA-256 18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b
  2. C873 — Derive the exact lattice-preservation criterionDocument JSON · Download preserved record
    SHA-256 4c7ea2e1dc1b648f9591eb4e63c4e1796d511379a0749f3c6c2cb1e6ba6863a5
    Linked evidence (1)
  3. C874 — Classify all one-Key integer and Rounded domainsDocument JSON · Download preserved record
    SHA-256 773a11e9bc2c9b6c00ffec33ad193a5e819fa989959d5d3980fa7b46605ed885
    Linked evidence (2)
    • model/one_key_domains.jsonSHA-256 db9630b099b86ca6a4011d5fdd5af153f007f4a19ee315fc73351c12bd5ead50
    • File 51aSHA-256 d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c
  4. C875 — Explain the existing completions by domain membershipDocument JSON · Download preserved record
    SHA-256 6ba32f684df54aa52bb5334cc0b20a368a519e765d54ab5a3254a2e5fa57f26e
    Linked evidence (3)
    • model/existing_key_profiles.jsonSHA-256 f60bf0b288ce5e0edc4f6928749c64bacca0016149bfab9f40dbe827cccc2b6f
    • File 63SHA-256 180803601a2db301f0b2ae1d136c3a8a966ebd4590d5098ae93bf493dfacfe35
    • File 46SHA-256 18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b
  5. C876 — Evaluate the complete quarter-carrier image familyDocument JSON · Download preserved record
    SHA-256 20020d6e3653bed421307e62323f9379799b85bd664ac16ba69d1de660061499
    Linked evidence (2)
  6. C877 — Derive the quarter-family divisibility lawDocument JSON · Download preserved record
    SHA-256 e505eb92538e5ecc9865e01dfb8aeb2eeeb5ef931cac8160f6559545c6dbbdca
    Linked evidence (2)
  7. C878 — Transform the complete File46 head fieldDocument JSON · Download preserved record
    SHA-256 97ddfe6e13989ad4fa2ada0246749d8fb731b349b89df03ae6f9843b315e324c
    Linked evidence (2)
  8. C879 — Prove the whole-field integer obstructionDocument JSON · Download preserved record
    SHA-256 780a6321747c78ea0e34e3025388e5367b301b2442251c575a3a20bb55563aec
    Linked evidence (2)
  9. C880 — Derive the prefix-denominator theoremDocument JSON · Download preserved record
    SHA-256 d2959a3c5e3b07f9686a3864cbb358b3827642e4a8726e56ef7fab0faef08f53
    Linked evidence (1)
  10. C881 — Classify all nine two-Key grid domainsDocument JSON · Download preserved record
    SHA-256 8b4d1805e1805279c0be32eee5d6180c8ea4de97c9e3a91e4348f062a0ed0f16
    Linked evidence (1)
  11. C882 — Isolate the partial-action order asymmetryDocument JSON · Download preserved record
    SHA-256 f2d3b0c5674d4b888d5c09fa0c3200a3ad18eb7fa75b2f1487e71f659be95d73
    Linked evidence (2)
    • model/PJ_order_witness.jsonSHA-256 f1644a7da917c0ef52021aa12b1875a3ef07a331da682dbed989250b1edf6a0e
    • File 51aSHA-256 d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c
  12. C883 — Explain the authorized File51a Key chainsDocument JSON · Download preserved record
    SHA-256 7a5b89f888791c825b566a4bc92b1424b69bcdf1566cdc893c5bfe1e0c06e9aa
    Linked evidence (2)
  13. C884 — Keep civil counts distinct from Rounded widthsDocument JSON · Download preserved record
    SHA-256 015a12ee38c2ea139e879cee83df45969cf77ed12d9f1da1d9c9b6e807a977b2
    Linked evidence (2)
  14. C885 — Close the fixed three-distinct-Key inventoryDocument JSON · Download preserved record
    SHA-256 bd14c19450bd51d7110eac5c00815bfd271fbd7996d6bcf10a15f941e288a318
    Linked evidence (1)
  15. C886 — Derive the held-anchor order displacementDocument JSON · Download preserved record
    SHA-256 1068f5ca311c65ffdba4d046f265bf07206024bcf451b2046327c4a46e3416f5
    Linked evidence (2)
  16. C887 — Verify the anchored order law on a complete source fieldDocument JSON · Download preserved record
    SHA-256 672b0e06f419675fd2a615b6cc9bb8e8885ecceefda1b080db364612ebafb22b
    Linked evidence (2)
  17. C888 — Join the NT lattice to the general Key domain theoremDocument JSON · Download preserved record
    SHA-256 d89de03165d2817c8dee072a1cddf45fba2f45553c430a414a26e7cef52d812d
    Linked evidence (1)
  18. C889 — Integrate Keys as partial actions on measured pathsDocument JSON · Download preserved record
    SHA-256 a740db6d0e8600998933950dc4cb9c9efaf566929a0789a202b1d1ea614b6672
    Linked evidence (1)