Repository navigation

P254: own PR integration states and finish record-plane checks - #1935

Merged

trissim merged 24 commits into

mainfrom

feat/cn-phase3-record

Oct 20, 2026

Merged

P254: own PR integration states and finish record-plane checks#1935
trissim merged 24 commits into
mainfrom
feat/cn-phase3-record

Commits on Oct 19, 2026
- Record delivery integration on checked orders and decode named PR rows
  trissim
  committed
  78ee7cc
- Verify real order records and delivery states through the CLI
  trissim
  committed
  1979f5e
- Record final candidate checks and outstanding record-plane blockers
  trissim
  committed
  3cb866f
- Decode named PR rows once and retain post-main CLI acceptance
  trissim
  committed
  1b8eca3
- Keep remote progress when the local checkout is absent
  trissim
  committed
  e44cd20
- Scope local progress to its checkout and bounded reading window
  trissim
  committed
  1f51094
- Read recorded check evidence without executing from progress
  trissim
  committed
  6d530ab
- Declare external records have no native entry projection
  trissim
  committed
  877f109
- Own merged PR facts and typed record reads for P254
  trissim
  committed
  6906c83
- Round trip declared PR variants in codec checks
  trissim
  committed
  09420d7
- Import the proof helper through the tools root owner
  trissim
  committed
  add99a9
- Type and format the proof drivers through their owning records
  trissim
  committed
  1c2c5b2
- Record explicit check runs before reading progress trends
  trissim
  committed
  3bcf3f3
- Preserve the existing checkout owner and recorded-progress shape on current main
  trissim
  committed
  7599439
- Let repository facts load without starting commander Core imports
  trissim
  committed
  abb389d
- Format the moved repository declaration
  trissim
  committed
  bb7c483
- Keep shared Repo imports at module scope and supply required fixture timestamps
  trissim
  committed
  ba31552
- Limit Repo migration to necessary import moves, without unrelated reformatting
  trissim
  committed
  58fe980
- Keep the landed ancestry method with the relocated Repo owner
  trissim
  committed
  9680bea
- Migrate merged-in tests to typed PR facts and required event timestamps
  trissim
  committed
  a3b79fa
- Merge origin/main into P254: progress points carry the stall watcher's pushes
  
  trissim
  and
  claude
  committed
  6dbd77e
- Call main's problem tools in the P254 proofs
  
  trissim
  and
  claude
  committed
  0231868
Commits on Oct 20, 2026
- Merge remote-tracking branch 'origin/main' into merger/c1935
  trissim
  committed
  993be2a
- Sort the P254 proof imports
  
  trissim
  and
  claude
  committed
  f07823d

Commits

Commits on Oct 19, 2026

Commits on Oct 20, 2026