Repository navigation

fix-language-files - #3338

Merged

briansrls merged 19 commits into

mainfrom

session/keen-bat-577

May 19, 2026

Commits on May 18, 2026
- WIP: fix-language-files
  briansrls
  committed
  1a9c1a1
- WIP: fix-language-files
  briansrls
  committed
  63efb22
- ledger reconciliation: retire D2a bare-alias + {spelling}-GroundingMap across extdeps/languages (A-vs-B = B / ruled-B)
  
  briansrls
  and
  claude
  committed
  0a95799
- WIP: fix-language-files
  briansrls
  committed
  7ae2e88
- correct §0 + ledger over-claim: bare classifier tag is NOT the machine-readable grounding edge
  
  briansrls
  and
  claude
  committed
  7193fca
- WIP: fix-language-files
  briansrls
  committed
  8128a59
- DECISIONS.md:123 — explicit single-authority for retired TsBoolean=Bool
  
  briansrls
  and
  claude
  committed
  e332fa2
- INVARIANTS §P2: scope the GroundingMap→resolver.dag "moot" wording to the removed twin only
  
  briansrls
  and
  claude
  committed
  12f833c
- WIP: fix-language-files
  briansrls
  committed
  0c882c2
Commits on May 19, 2026
- canonical-B LANDED: decl-ref shared-authority bool grounding across all 6 (v2-verified)
  
  briansrls
  and
  claude
  committed
  a730717
- WIP: fix-language-files
  briansrls
  committed
  9fac044
- dissolve 6 frozen v3 extdeps/std parse-ratchets (operator-authorized) — bundled with canonical-B
  
  briansrls
  and
  claude
  committed
  58f83d7
- WIP: fix-language-files
  briansrls
  committed
  d885430
- dissolve v4_lens_cost ratchet (7th) — operator-extended authorization
  
  briansrls
  and
  claude
  committed
  88b4ee8
- DECISIONS.md:123 — reconcile stale D2a(2) GroundingMap clauses with landed ruled-B ts_bool_grounding
  
  briansrls
  and
  claude
  committed
  e8e9f92
- WIP: fix-language-files
  briansrls
  committed
  aadccdf
- E-6 conformance: formalize <lang>_bool_grounding as E-6 bounded-exception (codex RC 14452 — valid)
  
  briansrls
  and
  claude
  committed
  3417193
- Merge remote-tracking branch 'origin/main' into session/keen-bat-577
  briansrls
  committed
  166a41c
- cursor 14459 (both NON-BLOCKING, valid): fix v4_lens_cost over-claim + Practice-9 de-prose
  
  briansrls
  and
  claude
  committed
  2b0fe10

Navigation Menu

Repository navigation

fix-language-files - #3338

fix-language-files#3338
briansrls merged 19 commits into
mainfrom
session/keen-bat-577

Commits on May 18, 2026

WIP: fix-language-files

WIP: fix-language-files

ledger reconciliation: retire D2a bare-alias + {spelling}-GroundingMap across extdeps/languages (A-vs-B = B / ruled-B)

WIP: fix-language-files

correct §0 + ledger over-claim: bare classifier tag is NOT the machine-readable grounding edge

WIP: fix-language-files

DECISIONS.md:123 — explicit single-authority for retired TsBoolean=Bool

INVARIANTS §P2: scope the GroundingMap→resolver.dag "moot" wording to the removed twin only

WIP: fix-language-files

Commits on May 19, 2026

canonical-B LANDED: decl-ref shared-authority bool grounding across all 6 (v2-verified)

WIP: fix-language-files

dissolve 6 frozen v3 extdeps/std parse-ratchets (operator-authorized) — bundled with canonical-B

WIP: fix-language-files

dissolve v4_lens_cost ratchet (7th) — operator-extended authorization

DECISIONS.md:123 — reconcile stale D2a(2) GroundingMap clauses with landed ruled-B ts_bool_grounding

WIP: fix-language-files

E-6 conformance: formalize <lang>_bool_grounding as E-6 bounded-exception (codex RC 14452 — valid)

Merge remote-tracking branch 'origin/main' into session/keen-bat-577

cursor 14459 (both NON-BLOCKING, valid): fix v4_lens_cost over-claim + Practice-9 de-prose