Repository navigation

Design a required phase that compiles one v2 entry: today an emission break reached main and no gate could see it - #9035

Merged

briansrls merged 16 commits into

mainfrom

session/deep-otter-200

Aug 24, 2026

Commits on Aug 23, 2026
- Main emission is refusing on a trailing annotation, and CI cannot see it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8df2989
- Convert the one ArgvCommand site the seal missed, through a builder rather than by widening the seal
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  556857a
- Merge commit '8df2989db036'; commit '556857a520ee' into session/deep-otter-200
  Brian Searls
  committed
  6009b86
- Enrolled-but-never-planned is not a parking spot: it refuses the whole floor
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  63409bf
- A v2-emission phase behind its own entry point: one entry compiled, refusing only where no tree comes out
  Brian Searls
  committed
  fe075cf
- The srv4 activation witness re-spelled two programs the seal then moved
  Brian Searls
  committed
  704c2a8
- Merge remote-tracking branch 'origin/fix/argv-command-ls-seal' into fix/argv-command-ls-seal
  Brian Searls
  committed
  b19795e
- One emission producer for the board and the gate, a three-state disposition, and enrolment as a required phase
  Brian Searls
  committed
  e097345
- Rewrite the standalone-entry-point comment that still said NOT ENROLLED, and name the enrolment authority beside the dissolution row
  Brian Searls
  committed
  6570ec5
- join is not a std.types export: the two derived patterns build with concat
  Brian Searls
  committed
  a47aded
- Merge remote-tracking branch 'origin/fix/argv-command-ls-seal' into session/deep-otter-200
  Brian Searls
  committed
  3d032b1
- Ground the selftest's expected refusal on the typed variant's message authority, not a spelled literal
  Brian Searls
  committed
  fc12cac
- Merge remote-tracking branch 'origin/main' into tmp-9035
  gunbc-ci-auto-heal
  committed
  838f20a
- Merge remote-tracking branch 'origin/main' into tmpb
  gunbc-ci-auto-heal
  committed
  d6e0702
- Restore an unrelated function my splice deleted, and build the module index once instead of twice
  Brian Searls
  committed
  d708033
- Merge remote-tracking branch 'origin/session/deep-otter-200' into session/deep-otter-200
  Brian Searls
  committed
  94eeb32

Navigation Menu

Repository navigation

Design a required phase that compiles one v2 entry: today an emission break reached main and no gate could see it - #9035

Design a required phase that compiles one v2 entry: today an emission break reached main and no gate could see it#9035
briansrls merged 16 commits into
mainfrom
session/deep-otter-200

Commits on Aug 23, 2026

Main emission is refusing on a trailing annotation, and CI cannot see it

Convert the one ArgvCommand site the seal missed, through a builder rather than by widening the seal

Merge commit '8df2989db036'; commit '556857a520ee' into session/deep-otter-200

Enrolled-but-never-planned is not a parking spot: it refuses the whole floor

A v2-emission phase behind its own entry point: one entry compiled, refusing only where no tree comes out

The srv4 activation witness re-spelled two programs the seal then moved

Merge remote-tracking branch 'origin/fix/argv-command-ls-seal' into fix/argv-command-ls-seal

One emission producer for the board and the gate, a three-state disposition, and enrolment as a required phase

Rewrite the standalone-entry-point comment that still said NOT ENROLLED, and name the enrolment authority beside the dissolution row

join is not a std.types export: the two derived patterns build with concat

Merge remote-tracking branch 'origin/fix/argv-command-ls-seal' into session/deep-otter-200

Ground the selftest's expected refusal on the typed variant's message authority, not a spelled literal

Merge remote-tracking branch 'origin/main' into tmp-9035

Merge remote-tracking branch 'origin/main' into tmpb

Restore an unrelated function my splice deleted, and build the module index once instead of twice

Merge remote-tracking branch 'origin/session/deep-otter-200' into session/deep-otter-200