Repository navigation

Name the third arm: a two-way rule over a three-state domain, misread identically by both readers who implemented it - #9324

Merged

briansrls merged 27 commits into

mainfrom

session/cool-hawk-324

Aug 26, 2026

Merged

Name the third arm: a two-way rule over a three-state domain, misread identically by both readers who implemented it#9324
briansrls merged 27 commits into
mainfrom
session/cool-hawk-324

Commits on Aug 25, 2026
- Split the required run into two parallel jobs, and correct the ruling the split supersedes
  
  Brian Searls
  and
  claude
  committed
  ae2970c
- Correct the workflow module's own stale recital of the consolidation directive
  
  Brian Searls
  and
  claude
  committed
  056fd96
- Make the split fail-closed: the required context now gates on both lanes
  
  Brian Searls
  and
  claude
  committed
  a57a06d
- The aggregator's guard belongs at the JOB level: a skipped job never reaches its step
  
  Brian Searls
  and
  claude
  committed
  e209ef8
- Say what the v2-emission phase actually covers: 24 of 42 compiler modules, measured
  
  Brian Searls
  and
  claude
  committed
  2a4c238
- Receipt: the gate refused two cancelled lanes, and 'abandoned' is a state nobody knew about
  
  Brian Searls
  and
  claude
  committed
  71f234f
- Record the argument against always() beside the decision to keep it
  
  Brian Searls
  and
  claude
  committed
  6302dfe
- Merge remote-tracking branch 'origin/main' into session/cool-hawk-324
  Brian Searls
  committed
  4e40a85
- One compilation transaction, subject-parameterized; the gate emitted as nodes
  
  Brian Searls
  and
  claude
  committed
  d0fe73b
- The subject is a field, the precedence root is a refusal, and the fork is three callers wide
  
  Brian Searls
  and
  claude
  committed
  4534406
- Merge remote-tracking branch 'origin/main' into session/cool-hawk-324
  Brian Searls
  committed
  4eee6d7
- Merge remote-tracking branch 'origin/main' into session/cool-hawk-324
  Brian Searls
  committed
  c1ff007
- Hoist two §4c-illegal in-body annotations, and restore the module-less skip report the consolidation dropped
  
  Brian Searls
  and
  claude
  committed
  9ea53e6
- Route multi-target compiles through the one transaction, validate all three debt populations, and read the verdict as itself
  
  Brian Searls
  and
  claude
  committed
  a47225c
- Build the unrenderable-gate refusal from the Bash grammar too, and split the unwired debt model out of this PR
  
  Brian Searls
  and
  claude
  committed
  d50e711
- A target name carried beside its target can disagree with it; derive it. And the fork census omitted a fork
  
  Brian Searls
  and
  claude
  committed
  7c350f6
Commits on Aug 26, 2026
- The refusal arm the PR defends was the wrong shape, and nothing executed could have caught it
  
  Brian Searls
  and
  claude
  committed
  8f3360f
- Restore the entry-scope marker as a typed receipt: I deleted a consumer's evidence while tidying a sentence
  
  Brian Searls
  and
  claude
  committed
  ed73415
- Merge remote-tracking branch 'origin/main' into session/cool-hawk-324
  Brian Searls
  committed
  3604e8f
- The all-or-nothing materialization proof, with a RED that is actually authorable
  
  Brian Searls
  and
  claude
  committed
  4719c01
- The five transaction tests were unexecutable as written; they now execute, 5 passed
  
  Brian Searls
  and
  claude
  committed
  e4bf07b
- Assert the withheld tree BYTE FOR BYTE, not by file count
  
  Brian Searls
  and
  claude
  committed
  e021216
- Merge remote-tracking branch 'origin/main' into session/cool-hawk-324
  Brian Searls
  committed
  8ea0800
- Name the third arm: a two-way rule over a three-state domain misread by both readers who implemented it
  
  Brian Searls
  and
  claude
  committed
  1976956
- The tell is worth more than the specimen: two independent implementers producing the SAME wrong answer
  
  Brian Searls
  and
  claude
  committed
  52500f9
- The tell claimed more than n=2 on one specimen can establish; it is a prompt to re-derive, not a diagnostic
  
  Brian Searls
  and
  claude
  committed
  be9b70d
- The comment carried the same overclaim this PR corrects in DESIGN, one file away
  
  Brian Searls
  and
  claude
  committed
  c9c54d4

Commits

Commits on Aug 25, 2026

Commits on Aug 26, 2026