Repository navigation

M2 + CM: structural type knowledge, concept modeling, ownership threading - #322

Merged

briansrls merged 24 commits into

mainfrom

cm-track

Apr 6, 2026

Commits on Apr 5, 2026
Commits on Apr 6, 2026
- Fix stage0 freshness: restore generated go_source_extension literal
  
  briansrls
  and
  claude
  committed
  f27f472
- Merge remote-tracking branch 'origin/main' into cm-track
  briansrls
  committed
  2c9a56d
- Wire unit_only through Go/Python emit + reconcile stage0 with main
  
  briansrls
  and
  claude
  committed
  158a905
- Add CM.md: catalog missing compiler models and heuristic inventory
  
  briansrls
  and
  claude
  committed
  03f523a
- Merge origin/main into cm-track (PR #321: shared_types, TLC-1, ServiceFieldTemplates)
  
  briansrls
  and
  claude
  committed
  d5ff7f8
- Promote CM to Lane 4 with uncheateable acceptance criteria
  
  briansrls
  and
  claude
  committed
  e1dc518
- Replace grep ratchets with structural unrepresentability claims
  
  briansrls
  and
  claude
  committed
  0ae93f9
- CM.md: ground design in foundational primitives, not classification
  
  briansrls
  and
  claude
  committed
  15f5e7e
- Merge origin/main; address CM review feedback in ROADMAP
  
  briansrls
  and
  claude
  committed
  461faf2
- .
  briansrls
  committed
  653bfe4
- .
  briansrls
  committed
  c6ff6cc
- .
  briansrls
  committed
  a843255
- .
  briansrls
  committed
  3e734ca
- CM: foundational ontology, known gaps, fix invariant violations
  
  briansrls
  and
  claude
  committed
  ab41a86
- CM: reframe as retrospective lens, not parallel lane
  
  briansrls
  and
  claude
  committed
  b195427
- Fix remaining duplicate-authority references in ROADMAP and inventory
  
  briansrls
  and
  claude
  committed
  ef5d0b5
- CM: add fail-open analysis — where CM helps and where it doesn't
  
  briansrls
  and
  claude
  committed
  0ed4188
- Address review: resolve contradictions, add arity boundaries
  
  briansrls
  and
  claude
  committed
  aeb150e
- ROADMAP: fold CM findings into lanes, trim CM section
  
  briansrls
  and
  claude
  committed
  d2c235d

Navigation Menu

Repository navigation

M2 + CM: structural type knowledge, concept modeling, ownership threading - #322

M2 + CM: structural type knowledge, concept modeling, ownership threading#322
briansrls merged 24 commits into
mainfrom
cm-track

Commits on Apr 5, 2026

CM-1: Precompute TypedItemKind — eliminate ad-hoc item classification in emit

CM-2: Precompute ServiceFieldSet — eliminate ad-hoc transport interrogation in emit

CM-3: Precompute FunctionSignature — eliminate ad-hoc param/return/body extraction in emit

CM-4: precompute ResourceDefinition — eliminate ad-hoc resource/capability inspection in emit

Thread ownership proofs from compile to emit — eliminate duplicate analysis

Commits on Apr 6, 2026

Fix stage0 freshness: restore generated go_source_extension literal

Merge remote-tracking branch 'origin/main' into cm-track

Wire unit_only through Go/Python emit + reconcile stage0 with main

Add CM.md: catalog missing compiler models and heuristic inventory

Merge origin/main into cm-track (PR #321: shared_types, TLC-1, ServiceFieldTemplates)

Promote CM to Lane 4 with uncheateable acceptance criteria

Replace grep ratchets with structural unrepresentability claims

CM.md: ground design in foundational primitives, not classification

Merge origin/main; address CM review feedback in ROADMAP

.

.

.

.

CM: foundational ontology, known gaps, fix invariant violations

CM: reframe as retrospective lens, not parallel lane

Fix remaining duplicate-authority references in ROADMAP and inventory

CM: add fail-open analysis — where CM helps and where it doesn't

Address review: resolve contradictions, add arity boundaries

ROADMAP: fold CM findings into lanes, trim CM section