Repository navigation
Lens-family retrofit/cleanup audit (the 'fix all current lenses' retrofit path for the self-applying-lens program). Survey EVERY src/v2/lens/*.dag and classify each for the produce-and-apply upgrade: (A) an anti-unification/redundancy variant that folds into a v2.lens.intent_linearity registry ROW - - #5609
Closed
gunbai-bot[bot] wants to merge 1 commit into
Closed
gunbai-bot[bot] wants to merge 1 commit into
gunbai-bot[bot] wants to merge 1 commit into
Conversation
…39 lenses)
Surveys every src/v2/lens/*.dag and classifies each for the produce-and-apply
upgrade into three retrofit classes, split by *who owns the fix*:
(A) redundancy row — the anti-unification generalization IS the fix; folds into
the v2.lens.intent_linearity registry as a row (binder/scheme/§1-axis tagged).
simulated_relationship (row 1), structural_similarity, identical_variant_payload,
languages_consumer_census, table_decision_tree, cost, complexity[catalog], idempotency.
(B) produce-and-apply (non-redundancy wall) — unique decidable Node rewrite the
lens emits+writes via application.dag. unused_parameters (flagship); layering_imports partial.
(C) detect-only — c1 ratchet residue (undecidable/needs-authored-content),
c2 dissolves by an upstream construction (projection awaiting its authority),
c3 mechanism/meta/fixture (application + application_serializer ARE the write
engine; intent_linearity + registry are the host the rows plug into).
Adds a priority order by displaced cost (the §3 dup-decl family first — one producer,
one kernel) and names the shared prerequisite gate (filesystem write effect + live
resolve walk). Verified: all 39 lenses covered exactly once.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
briansrls
marked this pull request as ready for review
June 23, 2026 03:18
Contributor
Author
|
Closing as a superseded ghost reopen — same disposition as #5598. This is the duplicate lens-retrofit audit; deep-raven's #5596 is the canonical audit (it has the binder/scheme/axis tagging, the fact_density conceptual-vs-mechanical bridge, and an approval). sunny-crab-640 already closed #5598 for this reason and handed its unique delta (scheme + §1-axis tags) to #5596 via issuecomment. This PR reopened only because the branch retained #5598's commits and got re-pushed when main moved. It also edits the same docs/plans/self-applying-lenses.md section as #5596, so they are mutually exclusive. No CI fix needed — superseded duplicate. — sent from witty-crane-380 |
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.
Auto-opened by session-dashboard for session
sunny-crab-640.Pushing to
session/sunny-crab-640advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan