fix: narrow NodeSlide consumer proof claims

[HomenShum]

Summary

• replace the consumer proof's ambiguous reload/receipts claims with exact same-instance memory-re-read and in-memory-ledger vocabulary
• bump the machine receipt to v3 and explicitly report durable receipt persistence and package reload as false
• add a runtime fail-closed receipt-contract assertion plus focused regression tests rejecting the legacy v2 keys
• correct the canonical handoff and detailed proof contract without retroactively attributing v3 fields to historical v2 CI

Verification

• npm run floor — 361 test files / 2,533 tests passed
• focused receipt-contract tests — 3/3 passed
• TypeScript, Prettier, and git diff --check passed
• real repository-root consumer journey passed against exact NodeSlide 5d5e2035944b04fcedfa43610883d0b683190167
• emitted operation-v1 receipt reported 25 authorization checks, sameRepositoryRereadPreservedEdit: true, inMemoryReceiptLedger: true, sameRepositoryReread: true, durableReceiptPersistence: false, and packageReload: false; legacy reloadPreservedEdit, receipts, and reload keys were absent
• independent review clean

Context

PR #229 merged after its prior checks completed while this correction was being prepared. This follow-up closes the remaining proof-vocabulary inconsistency; it does not claim durable persistence, package reload, production authorization, or mounted product integration.

[vercel]

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

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

[github-actions]

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/20260720T103324Z.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/20260720T103334019Z-939dfbec_dirty.e09d2fc12b38ce88/cascade-healthy.json
• docs/eval/traces/credit/20260720T103334019Z-939dfbec_dirty.e09d2fc12b38ce88/delta-incomplete.json
• docs/eval/traces/credit/20260720T103334019Z-939dfbec_dirty.e09d2fc12b38ce88/mapping-correct.json
• docs/eval/traces/credit/20260720T103334019Z-939dfbec_dirty.e09d2fc12b38ce88/mapping-misbind.json
• docs/eval/traces/credit/20260720T103334019Z-939dfbec_dirty.e09d2fc12b38ce88/summit-stressed.json
• docs/eval/traces/ladder/20260720T103333526Z-939dfbec_dirty.58ae41fa09827399/ladder_L1_read_scripted.json
• docs/eval/traces/ladder/20260720T103333526Z-939dfbec_dirty.58ae41fa09827399/ladder_L2_edit_scripted.json
• docs/eval/traces/ladder/20260720T103333526Z-939dfbec_dirty.58ae41fa09827399/ladder_L3_conflict_scripted.json
• docs/eval/traces/ladder/20260720T103333526Z-939dfbec_dirty.58ae41fa09827399/ladder_L4_blocked_scripted.json
• docs/eval/traces/ladder/20260720T103333526Z-939dfbec_dirty.58ae41fa09827399/ladder_L5_large_range_scripted.json
• docs/eval/traces/ladder/20260720T103333526Z-939dfbec_dirty.58ae41fa09827399/ladder_L6_long_horizon_scripted.json
• docs/eval/traces/ladder/20260720T103333526Z-939dfbec_dirty.58ae41fa09827399/ladder_L7_resume_scripted.json
• docs/integrations/NODESLIDE_CONSUMER_PROOF.md
• scripts/nodeslide-consumer-proof-receipt.ts
• scripts/nodeslide-consumer-proof.ts
• tests/nodeSlideConsumerProofReceipt.test.ts

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]

Superseded by #231. The code tree is identical; #231 carries a repository-compliant changed-area commit message on a fresh branch so no force-push was needed.