docs: reconstitute Constellation paper (L1-scoped eigenform/DDC framing) - #9
Merged
Merged
Conversation
The fossil PAPER.md (~7KB thesis outline, April 2026) is preserved in git history. This commit replaces it with the fully reconstituted paper (~28KB draft), tightened to five editorial decisions: Q4 (scope): Demoted §8 multi-population substrate to a short orienting paragraph; L2/L3 condensed to a brief note naming where L1 projects. §11 cross-workspace composition cut to one tight paragraph. The paper's spine is L1 eigenform/DDC; substrate-wide treatment is marked as companion/future work. Q5 (title): Prefixed with the system name → "Constellation: Identity as a Computational Eigenform, Verified by Diverse Double Compiling" Q1 (DDC claim): Added footnote [^ddc-isomorphism] at §3, distinguishing Constellation's ledger verification from Wheeler's binary verification — structural isomorphism of the operation, not a rigorous identity. Q2 (threat model): Added "Threat-model boundary" subsection in §6, formally separating the drift adversary (divergence/silent fail; cannot forge history) from the Byzantine adversary (forge/inject), naming the O(1)-vs-O(n²) trade-off, and stating the loss plainly. Q3 (software-verified caveat): Converted §10 inline prose to footnote [^software-verified], noting the chain is software-verified (not hardware-trapped) and naming CHERI-class enforcement as a buildable future direction. The dated draft file (docs/PAPER-reconstituted-2026-05-27.md) is removed; docs/PAPER.md is the single canonical file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
PAPER.md(~7KB thesis outline) with the fully reconstituted paper (~28KB), incorporating the operator's five editorial decisions. The fossil is preserved in git history.Reconstitution decisions applied
Constellation: Identity as a Computational Eigenform, Verified by Diverse Double Compiling[^ddc-isomorphism]marks the claim as a structural isomorphism of the operation (ledger hashes vs. compiled binaries), not Wheeler's exact procedure.[^software-verified]; CHERI-class hardware enforcement named as a buildable future direction.Test plan
docs/PAPER.mdin the PR diff to confirm all five changes are presentdocs/PAPER-reconstituted-2026-05-27.mdno longer existsPAPER.mdcontent (7KB thesis outline) is visible in git history (git show HEAD~1:docs/PAPER.md)