Skip to content

Preserve compact runtime defaults while opening edit-guidance opt-in - #126

Merged
Yeachan-Heo merged 1 commit into
mainfrom
codex/line-edit-runtime-optin-priority
Apr 23, 2026
Merged

Preserve compact runtime defaults while opening edit-guidance opt-in#126
Yeachan-Heo merged 1 commit into
mainfrom
codex/line-edit-runtime-optin-priority

Conversation

@minislively

Copy link
Copy Markdown
Owner

Summary

  • add a narrow decidePreRead(..., options?) seam for explicit includeEditGuidance opt-in
  • lock default model-facing/pre-read/Codex runtime behavior so automatic paths continue omitting editGuidance
  • document release claim boundaries for runtime edit guidance and provider-side billing/cost evidence
  • update the 3rd-priority provider proof lane in Evaluate provider tokenizer proof for fooks compare #108 instead of bundling provider proof here

Scope boundary

This PR intentionally does not wire runtime hooks to auto-include editGuidance. Runtime opt-in remains blocked until exact-file frontend edit intent, positive freshness, fingerprint equality, and payload-budget safety are implemented with positive/negative tests.

This PR also does not implement provider tokenizer proof, provider billing-token proof, provider-cost proof, LSP semantics, or live Codex/Claude outcome claims.

Verification

  • npm run build
  • npm run typecheck
  • npm run lint
  • node --test test/fooks.test.mjs test/runtime-bridge-contract.test.mjs
  • npm test
  • npm run release:smoke
  • Architect verification: APPROVE

Related

The runtime path needs a safe way to request line-aware patch targets later without changing today's automatic pre-read behavior. This adds a narrow pre-read options seam and locks default Codex runtime/wrapper behavior with regression coverage. Public wording now keeps runtime edit-guidance and provider billing evidence claims separated for release readiness.

Constraint: Public-source timing requires small verified changes and strict claim boundaries

Rejected: Wire runtime editGuidance automatically now | edit-intent and positive freshness gates are not implemented in this PR

Rejected: Bundle provider tokenizer/billing proof | tracked separately in issue #108

Confidence: high

Scope-risk: narrow

Directive: Do not pass includeEditGuidance from runtime hooks without exact-file edit intent, positive freshness, fingerprint equality, payload-budget tests, and negative prompt coverage

Tested: npm run build

Tested: npm run typecheck

Tested: npm run lint

Tested: node --test test/fooks.test.mjs test/runtime-bridge-contract.test.mjs

Tested: npm test

Tested: npm run release:smoke

Related: #108
@Yeachan-Heo
Yeachan-Heo merged commit ff60c61 into main Apr 23, 2026
2 checks passed
@Yeachan-Heo
Yeachan-Heo deleted the codex/line-edit-runtime-optin-priority branch April 23, 2026 01:50
minislively added a commit that referenced this pull request May 14, 2026
…126)

The runtime path needs a safe way to request line-aware patch targets later without changing today's automatic pre-read behavior. This adds a narrow pre-read options seam and locks default Codex runtime/wrapper behavior with regression coverage. Public wording now keeps runtime edit-guidance and provider billing evidence claims separated for release readiness.

Constraint: Public-source timing requires small verified changes and strict claim boundaries

Rejected: Wire runtime editGuidance automatically now | edit-intent and positive freshness gates are not implemented in this PR

Rejected: Bundle provider tokenizer/billing proof | tracked separately in issue #108

Confidence: high

Scope-risk: narrow

Directive: Do not pass includeEditGuidance from runtime hooks without exact-file edit intent, positive freshness, fingerprint equality, payload-budget tests, and negative prompt coverage

Tested: npm run build

Tested: npm run typecheck

Tested: npm run lint

Tested: node --test test/fooks.test.mjs test/runtime-bridge-contract.test.mjs

Tested: npm test

Tested: npm run release:smoke

Related: #108

Co-authored-by: minislively <minislively@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants