Skip to content

docs(adr): record source mapping across the provider boundary - #273

Merged
Teakowa merged 1 commit into
mainfrom
docs/adr-0013-source-mapping
Sep 24, 2026
Merged

Teakowa merged 1 commit into
mainfrom
docs/adr-0013-source-mapping

Conversation

@e54-bot

@e54-bot e54-bot commented Sep 24, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Add ADR-0013 (accepted): position-indexed source mapping for 1.x, shape guard, mapping granularity, workshop-rs/text-v1 and workshop-rs/mapped-text-v1 artifact formats, public SourceMap, and 1.0 scope (#[non_exhaustive] on Rule/Condition, tracked in Freeze the workshop-rs public API for 1.0 #252).
  • Add a "Mapped artifacts" section to docs/source-preservation.md describing the shape guard, mapped-text-v1, SourceMap, and column units.
  • Index ADR-0013 in docs/adr/README.md; index ADR-0012 and ADR-0013 in docs/README.md (ADR-0012 was missing).

Documentation only. Implementation is split per owner: #272, wrightkit/language-provider-protocol#39, wrightkit/opy-rs#362, wrightkit/wright#408.

Verification

  • git diff --check clean; relative links point to existing files.
  • Column-unit statement checked against Position / byte_offset in core/source.rs (1-based Unicode scalar values).

Closes #271

Add ADR-0013 and document the mapped-artifact contract (shape guard, workshop-rs/mapped-text-v1, SourceMap, column units) in the source preservation contract. Index ADR-0012 and ADR-0013 in the documentation index.

Closes #271
@Teakowa
Teakowa merged commit 41a7e06 into main Sep 24, 2026
@Teakowa
Teakowa deleted the docs/adr-0013-source-mapping branch September 24, 2026 08:08
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.

Decide the canonical source-mapping contract across the provider boundary

2 participants