Repository navigation

mandatory_tag gate: read the lowered data-declaration carrier (clean fixture refused at normalized grain) - #13513

Closed

gunbai-bot[bot] wants to merge 12 commits into

mainfrom

session/snappy-badger-786

Commits on Oct 6, 2026
- mandatory_tag gate: read the lowered data-declaration carrier (named nullary Arrow) at normalized/inferred grain
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  eddc6e4
- mandatory_tag witness: drop three new normalized-grain reds that exceed the new-witness eval-step budget
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1b8f2d1
Commits on Oct 7, 2026
- mandatory_tag: classify the lowered data decl by carried member-kind provenance (normalize -> ResolvedTree -> gate)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  19e8443
- member-kind channel: one-pass duplicate check (map, not rescan); drop dangling native_subject_member_kinds (no consumer yet)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  fdfbb71
- rung drop: member-kind door binding (resolve_in_context -> ResolvedTree.member_kinds -> mandatory_tag door lens) executed by no claim
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  846d16f
- door-grain gap: record as a GuaranteeStall (new never-executed link, no rung lowered); remove the rung_drop row and its hand-appended doc section
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  159dc88
- Merge origin/main into session/snappy-badger-786
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8b7f923
- Merge origin/main into session/snappy-badger-786
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cacc3b8
- mandatory_tag witness: top-level selector control (nested anchor under unrelated member refuses); annotation states what is executed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9622d1e
- mandatory_tag witness: cheap supplied grafted-module selector control (nested anchor under unrelated member) + direct-anchor positive twin
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e8837d9
- mandatory_tag: move cheap supplied-carrier controls to a fast-lane witness module; drop the redundant real-normalize nested control
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  36f2948
- mandatory_tag: use one node_is_arrow accessor in v2.std.node instead of a private copy (review 77607)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ca206cd

Navigation Menu

Repository navigation

mandatory_tag gate: read the lowered data-declaration carrier (clean fixture refused at normalized grain) - #13513

mandatory_tag gate: read the lowered data-declaration carrier (clean fixture refused at normalized grain)#13513
gunbai-bot[bot] wants to merge 12 commits into
mainfrom
session/snappy-badger-786

Commits on Oct 6, 2026

mandatory_tag gate: read the lowered data-declaration carrier (named nullary Arrow) at normalized/inferred grain

mandatory_tag witness: drop three new normalized-grain reds that exceed the new-witness eval-step budget

Commits on Oct 7, 2026

mandatory_tag: classify the lowered data decl by carried member-kind provenance (normalize -> ResolvedTree -> gate)

member-kind channel: one-pass duplicate check (map, not rescan); drop dangling native_subject_member_kinds (no consumer yet)

rung drop: member-kind door binding (resolve_in_context -> ResolvedTree.member_kinds -> mandatory_tag door lens) executed by no claim

door-grain gap: record as a GuaranteeStall (new never-executed link, no rung lowered); remove the rung_drop row and its hand-appended doc section

Merge origin/main into session/snappy-badger-786

Merge origin/main into session/snappy-badger-786

mandatory_tag witness: top-level selector control (nested anchor under unrelated member refuses); annotation states what is executed

mandatory_tag witness: cheap supplied grafted-module selector control (nested anchor under unrelated member) + direct-anchor positive twin

mandatory_tag: move cheap supplied-carrier controls to a fast-lane witness module; drop the redundant real-normalize nested control

mandatory_tag: use one node_is_arrow accessor in v2.std.node instead of a private copy (review 77607)