Repository navigation

docs(briefs): Fn→Arrow refactor pre-prereq for unenumerated-effects chain - #805

Merged

briansrls merged 14 commits into

mainfrom

briefs/fn-arrow-refactor-prereq

Apr 25, 2026

Commits on Apr 25, 2026
- docs(briefs): Fn→Arrow refactor pre-prereq for unenumerated-effects chain
  
  briansrls
  and
  claude
  committed
  4cf442c
- docs(briefs): tighten Fn→Arrow refactor brief — illegal states unrepresentable
  
  briansrls
  and
  claude
  committed
  74db669
- docs(briefs): scrub residual rejected-shape references from req 4 + non-goals
  
  briansrls
  and
  claude
  committed
  47d13cc
- WIP: T-I unenumerated effects/parser (dual)
  briansrls
  committed
  b821a30
- docs(briefs): rewrite stale "fail-closed on non-Arrow signature" acceptance
  
  briansrls
  and
  claude
  committed
  653b2e0
- WIP: T-I unenumerated effects/parser (dual)
  briansrls
  committed
  ea9cb03
- docs(briefs): scrub stale parser-effects authority drift
  
  briansrls
  and
  claude
  committed
  fbdd0fb
- docs(briefs): scrub residual "Arrow once" wording from refactor brief
  
  briansrls
  and
  claude
  committed
  6a5a9f5
- WIP: T-I unenumerated effects/parser (dual)
  briansrls
  committed
  19c5677
- docs(briefs): pre-resolve type-position simplification + drop wrapper variant span
  
  briansrls
  and
  claude
  committed
  8cd2315
- Merge remote-tracking branch 'origin/main' into briefs/fn-arrow-refactor-prereq
  briansrls
  committed
  91504d8
- docs(briefs): split parser-effects smoke into parser-stage + lowerer-stage tests
  
  briansrls
  and
  claude
  committed
  e977932
- docs(briefs): convergence sweep — live carrier table + stale-authority scrub
  
  briansrls
  and
  claude
  committed
  a30f3b1
- docs(briefs): scrub stale Arrow-vs-Fn placement-choice language from parser-effects reporting
  
  briansrls
  and
  claude
  committed
  0be6e66

Navigation Menu

Repository navigation

docs(briefs): Fn→Arrow refactor pre-prereq for unenumerated-effects chain - #805

docs(briefs): Fn→Arrow refactor pre-prereq for unenumerated-effects chain#805
briansrls merged 14 commits into
mainfrom
briefs/fn-arrow-refactor-prereq

Commits on Apr 25, 2026

docs(briefs): Fn→Arrow refactor pre-prereq for unenumerated-effects chain

docs(briefs): tighten Fn→Arrow refactor brief — illegal states unrepresentable

docs(briefs): scrub residual rejected-shape references from req 4 + non-goals

WIP: T-I unenumerated effects/parser (dual)

docs(briefs): rewrite stale "fail-closed on non-Arrow signature" acceptance

WIP: T-I unenumerated effects/parser (dual)

docs(briefs): scrub stale parser-effects authority drift

docs(briefs): scrub residual "Arrow once" wording from refactor brief

WIP: T-I unenumerated effects/parser (dual)

docs(briefs): pre-resolve type-position simplification + drop wrapper variant span

Merge remote-tracking branch 'origin/main' into briefs/fn-arrow-refactor-prereq

docs(briefs): split parser-effects smoke into parser-stage + lowerer-stage tests

docs(briefs): convergence sweep — live carrier table + stale-authority scrub

docs(briefs): scrub stale Arrow-vs-Fn placement-choice language from parser-effects reporting