Skip to content

docs: stabilize cross-repo handoff checkpoints#232

Merged
HomenShum merged 1 commit into
mainfrom
codex/stable-proof-checkpoints
Jul 20, 2026
Merged

docs: stabilize cross-repo handoff checkpoints#232
HomenShum merged 1 commit into
mainfrom
codex/stable-proof-checkpoints

Conversation

@HomenShum

Copy link
Copy Markdown
Owner

Summary

  • name 4a4a3c2 as the packed-consumer proof implementation baseline, not mounted product integration
  • make the NodeSlide 5d5e2035 reference a stable deployment-proof docs checkpoint instead of a self-expiring current-main claim

Verification

  • git diff --check passed
  • docs-only diff reviewed against exact NodeRoom main 332149e

Scope

No runtime or proof behavior changes.

@vercel

vercel Bot commented Jul 20, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
noderoom Ready Ready Preview, Comment Jul 20, 2026 10:51am

Request Review

@github-actions

Copy link
Copy Markdown

Scaffold Handoff — For Your Coding Agent

Your coding agent (Codex, Claude Code, etc.) should apply the accepted
scaffold proposals below. Do NOT touch any immutable files.

Immutability Check

Mode: advisory

✅ No immutable files were modified in this branch.

Changed Files

  • docs/NEXT_SESSION.md
  • docs/eval/OFFICIAL_BENCHMARK_READINESS.md
  • docs/eval/OFFICIAL_BENCHMARK_TASK_COVERAGE.md
  • docs/eval/OPENROUTER_CONVEX_BENCHMARK.md
  • docs/eval/agent-improvement-loop.md
  • docs/eval/agent-improvement-loop.svg
  • docs/eval/agent-improvement-loop/20260720T105045Z.json
  • docs/eval/agent-improvement-loop/latest.json
  • docs/eval/agent-workspace-sandbox-smoke.json
  • docs/eval/algorithm-artifact-smoke.json
  • docs/eval/bankertoolbench-official-contract.json
  • docs/eval/docker-sandbox-probe.json
  • docs/eval/eval-runs.jsonl
  • docs/eval/halo-convex-context-telemetry.json
  • docs/eval/halo-self-improvement-smoke.json
  • docs/eval/halo-variant-selection.json
  • docs/eval/official-benchmark-readiness.json
  • docs/eval/official-benchmark-task-coverage.json
  • docs/eval/openrouter-convex-benchmark.json
  • docs/eval/professional-catalog-proofs.json
  • docs/eval/professional-proof-ledger.json
  • docs/eval/spreadsheetbench-chart-visual-probe.json
  • docs/eval/traces/credit/20260720T105054135Z-0964eeec_dirty.5003f50028a56ae8/cascade-healthy.json
  • docs/eval/traces/credit/20260720T105054135Z-0964eeec_dirty.5003f50028a56ae8/delta-incomplete.json
  • docs/eval/traces/credit/20260720T105054135Z-0964eeec_dirty.5003f50028a56ae8/mapping-correct.json
  • docs/eval/traces/credit/20260720T105054135Z-0964eeec_dirty.5003f50028a56ae8/mapping-misbind.json
  • docs/eval/traces/credit/20260720T105054135Z-0964eeec_dirty.5003f50028a56ae8/summit-stressed.json
  • docs/eval/traces/ladder/20260720T105053720Z-0964eeec_dirty.71e8f082895b88fe/ladder_L1_read_scripted.json
  • docs/eval/traces/ladder/20260720T105053720Z-0964eeec_dirty.71e8f082895b88fe/ladder_L2_edit_scripted.json
  • docs/eval/traces/ladder/20260720T105053720Z-0964eeec_dirty.71e8f082895b88fe/ladder_L3_conflict_scripted.json
  • docs/eval/traces/ladder/20260720T105053720Z-0964eeec_dirty.71e8f082895b88fe/ladder_L4_blocked_scripted.json
  • docs/eval/traces/ladder/20260720T105053720Z-0964eeec_dirty.71e8f082895b88fe/ladder_L5_large_range_scripted.json
  • docs/eval/traces/ladder/20260720T105053720Z-0964eeec_dirty.71e8f082895b88fe/ladder_L6_long_horizon_scripted.json
  • docs/eval/traces/ladder/20260720T105053720Z-0964eeec_dirty.71e8f082895b88fe/ladder_L7_resume_scripted.json

Needs Adversarial Review — Do NOT Apply Yet

These proposals passed the reject check but have not been approved by
an adversarial reviewer. A human or frozen LLM judge must approve them first.

  • scaf-001 (AGENTS.md): Add explicit instruction for step spreadsheetbench-runner-fixture: Step spreadsheetbench-runner-fixture failed — scaffold may need explicit instruction or evidence assertion.
  • scaf-002 (AGENTS.md): Add explicit instruction for step convex-boundaries: Step convex-boundaries failed — scaffold may need explicit instruction or evidence assertion.

Safety Boundary

Agent may improve the scaffold.
Agent may NOT weaken the proof gate.

Immutable files (never modify):

  • scripts/proofloop.mjs
  • scripts/agent-improvement-loop.ts
  • tests/harnessChangeEval.test.ts
  • .github/workflows/
  • src/eval/evalTrustPolicy.ts
  • src/eval/architectureBudget.ts
  • evals/evalStore.ts

Scaffold files (safe to modify):

  • AGENTS.md
  • CLAUDE.md
  • proofloop/scenarios/*.yaml
  • proofloop/rubrics/*.yaml
  • proofloop/subagents/*.md
  • proofloop/adapters/*.js
  • .proofloop/memory.jsonl
  • src/nodeagent/models/prompts/systemPrompt.ts

@HomenShum
HomenShum merged commit 9bfc373 into main Jul 20, 2026
10 checks passed
@HomenShum
HomenShum deleted the codex/stable-proof-checkpoints branch July 20, 2026 10:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant