Contiguous research campaign · C932–C952 · 21 numbered records

Actual–Rounded inverse junction and decimal carries

Reduces the 12026 convergence to explicit totals, digit-register and carry conditions; preserves source partitions and the corrected original-tail provenance of 14726.

Part of the C932–C1131 broader study sequence: Source constraints, SP caps and information recovery.

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

Related subjects: Rounded inverse & manuscript spines · Rounded chronology

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. C932 — Map independent premises at the Actual–Rounded junctionDocument JSON · Download preserved record
    SHA-256 a8fc3cf677ddcabbb2eb53383f6a0fff9144b2a19dc6770287fd3d9334d9328f
    Linked evidence (3)
    • model/junction_dependency_map.jsonSHA-256 d76b5b78711cddd3b3178d3451c24a0a55228b7ad8d1e294dd64776ff26bc26f
    • File 52cSHA-256 a5ea84562101158b60d0cf296765d6eff38e7a2abda4e74ad1b353dfd13b9530
    • File 51aSHA-256 d8aa38afb2a2df8f3bb57937f5d3dea897c286c034a1bee7398938d30e7bd77c
  2. C933 — Freeze the primitive junction packetDocument JSON · Download preserved record
    SHA-256 c34edfe821cb0fa1d7d6908e7a991be15f7f09da784f5e589ce66a993d52ff94
    Linked evidence (2)
  3. C934 — Replace six dates by a reversible path-coordinate packetDocument JSON · Download preserved record
    SHA-256 3f93acfb7f6eaf4a081de1356f6c47e32dd53f947beacc9d38288edea6143c6e
    Linked evidence (1)
  4. C935 — Identify the placement-free junction claimsDocument JSON · Download preserved record
    SHA-256 17a684bc388ca62e189fecbfffce370142439f039c15913b6a4d017f24bac384
    Linked evidence (1)
  5. C936 — Audit the origin of the weighted coefficientDocument JSON · Download preserved record
    SHA-256 7ba50d9ce447692f53fed22de9c880d31288379153ef8f3293148da3afb49b7d
    Linked evidence (2)
  6. C937 — Reduce the junction to two compatibility equationsDocument JSON · Download preserved record
    SHA-256 49dc8002306ad8b942f46bd9c89442b6f79ea7fbdee7c296d61d8bceff5e1fd5
    Linked evidence (1)
  7. C938 — Derive the aggregate-digit measurementDocument JSON · Download preserved record
    SHA-256 7d10a2668d30117acaa70789d842b38f1c12db7e23c0fc815f1876ebf1eb637b
    Linked evidence (1)
  8. C939 — Classify the regular total without choosing its splitDocument JSON · Download preserved record
    SHA-256 3e61f8b63b15e7d80ceec30e0c71156889fcbcf42cebb7fbdf564ad30ef805da
    Linked evidence (1)
  9. C940 — Classify the cumulative total without choosing its splitDocument JSON · Download preserved record
    SHA-256 1d27317ed5cbc8b3f2f7ae471b565788a4c131fe55986c02060bf6b9976d11c0
    Linked evidence (1)
  10. C941 — Identify the cumulative carry conditionDocument JSON · Download preserved record
    SHA-256 9e98bb7d2d3a2c37f15b7b1f3bc51f8af46870460aab28e73dfb70458ca5d60f
    Linked evidence (1)
  11. C942 — One carry exchangeDocument JSON · Download preserved record
    SHA-256 b4599975fb51cb9c29255d7f4f977c006e1d068d38fec55d281f23e2226057d1
  12. C943 — Aggregate projection kernelDocument JSON · Download preserved record
    SHA-256 07ecbedbf6be88dc53305918e523889438f29bc54484c82c517777d28cd78021
  13. C944 — Bounded aggregate identifiabilityDocument JSON · Download preserved record
    SHA-256 ce1cbd3aad98d8321b7d848277756e3c20bc93290e9d91bc11bae1ebb63f1630
  14. C945 — Component allocation remains hiddenDocument JSON · Download preserved record
    SHA-256 e9b47677bf8cc53bc0ac3cd1e1959c7194ac0070a17b4f79a8858279e6c10b1b
  15. C946 — Regular allocation formulaDocument JSON · Download preserved record
    SHA-256 0b9eb65bcd4de40d7f957b4bc8b4d5a0781cd8ee47a276c54f77b6b199ad5819
  16. C947 — A diagnostic against tautologyDocument JSON · Download preserved record
    SHA-256 9773d55f299356e9718fda1f93404021dcd42c33994beae6c4b960cd3fa67d84
  17. C948 — Weight as a consequence of gainsDocument JSON · Download preserved record
    SHA-256 e816bc605109db1c351bb41d32dcc2c5ac5e6cd3c9b19d00b8e58a7d72537517
  18. C949 — Junction premise ledgerDocument JSON · Download preserved record
    SHA-256 955517a45a3346c459a52f316746dde3023b8b5f3fcde3b995bf53a82900f321
    Linked evidence (1)
  19. C950 — Regenerate junction consequencesDocument JSON · Download preserved record
    SHA-256 547d94b935dcd96a71e8a62914ac51be5cfa29a19482980f47aa43ac65ddec5e
    Linked evidence (1)
  20. C951 — First reassessment checkpointDocument JSON · Download preserved record
    SHA-256 01d9e4cd49fb9945b626218b61477c94eb6552148f169262372786168ff6ad78
    Linked evidence (2)
    • model/checkpoint_951.jsonSHA-256 7151a81a37e5ebfc0a444a62303d21b32394313ced7406e0b287e657f2987e08
    • File 18SHA-256 68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5
  21. C952 — Correct continuation provenanceDocument JSON · Download preserved record
    SHA-256 1ce0a810b2e9b3b499b0df021afbcd97e4abb8966ea2aa2ff72a46d72d5f894c
    Linked evidence (2)