Repository navigation

OutputContractRef meaning fork: opaque identity + sealed obligation resolution - #10713

Merged

briansrls merged 17 commits into

mainfrom

session/snappy-lark-51

Sep 7, 2026

Merged

OutputContractRef meaning fork: opaque identity + sealed obligation resolution#10713
briansrls merged 17 commits into
mainfrom
session/snappy-lark-51

Commits on Sep 7, 2026
- Split OutputContractRef: opaque identity stays; obligations become a sealed roster
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b0c8cc7
- Stamp judgment policy on ResolvedOutputObligations; path-scope the sole_constructor rung
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a863908
- Move OutputContractRef annotations to module-item grain
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b47df9a
- Make Unreadable reachable and declare the gate frontier
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d1ff4db
- Unit-variant Unreadable cause needs {} construction form
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  7c50c13
- Match WorkKeyDoesNotMatchContract with unit-variant {} form
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5d9a3f1
- Brand OutputObligationsRevision so foreign digests are ill-typed
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  fac1801
- Mint OutputObligationsRevision as branded NonEmptyStr
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d56de53
- Drop unused serialize_content_hash import from resolution witness
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e7a775c
- Record that obligation revision mints only Fnv1a64 structural
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ca30323
- Keep artifact vs terminal as kinds on one obligation roster
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f75d3d0
- Name obligation kinds at construction instead of defaulting to artifact.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e2f2182
- Admit #10706 OutsideModeledGuarantee citations as next-rung triggers.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  41a5dbf
- Seal resolved obligations with kind, not ids alone.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  eb74077
- Enumerate the next-rung trigger helpers on the declaration-index seed-growth roster.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4045a6d
- Enroll NEXT_RUNG_TRIGGER_CITATIONS on the declaration-index seed-growth roster.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  27b39d6
- Keep the sealed-roster kind note and drop the #10718 occupancy comment.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  19ab64b

Commits

Commits on Sep 7, 2026