feat: charter-reach — the boundary condition, encoded by an absence - #6
Merged
Conversation
Reach is NOT a principle; it is the boundary held outside the Charter — the unencodable seam where human intent enters code that cannot code itself. This crate depends on none of the other charter crates: it does not compose with them, it bounds them. The un-encodable is encoded by an absence: there is no way to synthesize an Intent inside the system. The only constructor is Intent::from_human; there is no Default, no compute(), and — pointedly — NO Deserialize (deserializing would be a non-human backdoor constructor). Intent is Serialize-only: a human's choice can be recorded for the witness, never fabricated. A crate that could manufacture intent would be the Demiurge. Reach::at(situation).defer(human) supplies the seam, not the content, and returns what the human gave. 20 tests across the workspace (this branch), clippy -D warnings clean, fmt clean. Co-Authored-By: Claude Opus 4.8 <[email protected]>
# Conflicts: # Cargo.lock # Cargo.toml
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
Reach is not a principle — it's the boundary, held outside the Charter: the unencodable seam where human intent enters code that cannot code itself. This crate depends on none of the other charter crates; it doesn't compose with them, it bounds them.
The un-encodable is encoded by an absence:
Intent::from_human— noDefault, nocompute(), and noDeserialize(deserializing would be a non-human backdoor constructor).IntentisSerialize-only: a human's choice can be recorded for the witness, never fabricated. A crate that could manufacture intent would be the Demiurge.Reach::at(situation).defer(human)supplies the seam, not the content, and returns what the human gave.This completes the set: six invariants + the boundary.
scar · refusal · novice · tetherare reference crates;writ · provenanceadopt by citation (agent-bridle / kyln);reachmarks the gap.Verification
20 tests on this branch · clippy -D warnings clean · fmt clean · pre-push hook passed.
Note
Off main; trivial
members-array overlap with #3/#5 at merge. risk: low.