Repository navigation

T-4.16 follow-on: formatter ConfigPatch monoid via FieldPatch<T> - #3705

Merged

briansrls merged 29 commits into

mainfrom

session/vivid-wren-215

May 28, 2026

Merged

T-4.16 follow-on: formatter ConfigPatch monoid via FieldPatch<T>#3705
briansrls merged 29 commits into
mainfrom
session/vivid-wren-215

Commits on May 26, 2026
Commits on May 27, 2026
- field_patch_monoid.dag: remove hand-rolled field_patch_bool_eq (Practice 10)
  
  briansrls
  and
  claude
  committed
  7878f59
- field_patch_monoid.dag: fix parse error — data initializer must start on same line as =
  
  briansrls
  and
  claude
  committed
  bd6406a
- test: wire monoid witness consumer claims in field_patch_monoid.dag
  
  briansrls
  and
  claude
  committed
  7c36463
- Merge remote-tracking branch 'origin/main' into session/vivid-wren-215
  briansrls
  committed
  6293218
- fix: remove explicit <Bool> type args from field_patch_monoid calls
  
  briansrls
  and
  claude
  committed
  d953a42
- WIP: PR #3705: add right-bias TestClaim to field_patch_monoid — openai-pro RC
  briansrls
  committed
  446f592
- WIP: PR #3705: add right-bias TestClaim to field_patch_monoid — openai-pro RC
  briansrls
  committed
  9c119e5
- Merge remote-tracking branch 'origin/main' into session/vivid-wren-215
  briansrls
  committed
  dab5f93
- WIP: PR #3705: add right-bias TestClaim to field_patch_monoid — openai-pro RC
  briansrls
  committed
  bda19b9
- fix: gate ConfigPatch record mirrors under config-patch-record-projection
  
  briansrls
  and
  cursoragent
  committed
  1ef9eae
- fix: clarify patch anchor and config-patch-record-projection owner
  
  briansrls
  and
  cursoragent
  committed
  99963cd
- fix(T-4.16): align TASKS.md layering contract with ConfigPatch model
  
  briansrls
  and
  cursoragent
  committed
  e5a3359
- fix(T-4.16): update TASKS.md pattern line for ConfigPatch layering
  
  briansrls
  and
  cursoragent
  committed
  89eceda
- fix(prettier): align PrettierConfigPatch with PrettierConfig shape
  
  briansrls
  and
  cursoragent
  committed
  449ba0e
Commits on May 28, 2026

Navigation Menu

Repository navigation

T-4.16 follow-on: formatter ConfigPatch monoid via FieldPatch<T> - #3705

T-4.16 follow-on: formatter ConfigPatch monoid via FieldPatch<T>#3705
briansrls merged 29 commits into
mainfrom
session/vivid-wren-215

Commits on May 26, 2026

WIP: Analyses Finding #9 — implement formatter ConfigPatch monoid (T-4.16 fol

T-4.16 follow-on: dissolve formatter-config-patch gate — add FieldPatch<T> monoid and *ConfigPatch types for all formatters

prettier.dag: replace bespoke Prettier*Patch coproducts with FieldPatch<T>

patch.dag: add compose_field_patch + field_patch_monoid<T> witness (M9/P1)

prettier.dag: expand PrettierConfigPatch to per-field FieldPatch<T>

Merge remote-tracking branch 'origin/main' into session/vivid-wren-215

WIP: Analyses Finding #9 — implement formatter ConfigPatch monoid (T-4.16 fol

patch.dag: correct grounding — right-biased optional-value monoid, not two-element lattice

WIP: Analyses Finding #9 — implement formatter ConfigPatch monoid (T-4.16 fol

Commits on May 27, 2026

field_patch_monoid.dag: remove hand-rolled field_patch_bool_eq (Practice 10)

field_patch_monoid.dag: fix parse error — data initializer must start on same line as =

test: wire monoid witness consumer claims in field_patch_monoid.dag

Merge remote-tracking branch 'origin/main' into session/vivid-wren-215

fix: remove explicit <Bool> type args from field_patch_monoid calls

WIP: PR #3705: add right-bias TestClaim to field_patch_monoid — openai-pro RC

WIP: PR #3705: add right-bias TestClaim to field_patch_monoid — openai-pro RC

Merge remote-tracking branch 'origin/main' into session/vivid-wren-215

WIP: PR #3705: add right-bias TestClaim to field_patch_monoid — openai-pro RC

fix: gate ConfigPatch record mirrors under config-patch-record-projection

fix: clarify patch anchor and config-patch-record-projection owner

fix(T-4.16): align TASKS.md layering contract with ConfigPatch model

fix(T-4.16): update TASKS.md pattern line for ConfigPatch layering

fix(prettier): align PrettierConfigPatch with PrettierConfig shape

Commits on May 28, 2026

WIP: Resolve merge conflict on PR #3705 (session/vivid-wren-215): merge origi

fix: remove formatter conflict markers

WIP: Resolve merge conflict on PR #3705 (session/vivid-wren-215): merge origi

chore: no-op refresh to reset review cycle

chore: no-op refresh (2) to reset review cycle

chore: add trailing newline to black.dag to refresh review cycle