Prove injectable NodeSlide consumer boundary

[HomenShum]

Outcome

Proves that NodeRoom can consume the first injectable NodeSlide package boundary without replacing NodeRoom's runtime, authentication, Convex schema, or product shell.

What changed

• adds a fail-closed adapter from an already verified NodeRoom actor to the structural NodeSlide principal contract
• adds a consumer proof that loads either a sibling NodeSlide build or an immutable npm tarball
• verifies proposal-before-apply, review/accept, v1 -> v2 CAS, stale competing proposals, trace-bound receipts, version history, and idempotent acceptance
• documents the exact boundary proven and the remaining work before mounting a full studio

Validation

• direct repository-root consumption
• packed @nodeslide/testing@0.1.0 tarball consumption with install scripts disabled
• 3/3 targeted adapter tests
• strict targeted TypeScript check
• full NodeRoom typecheck
• production build (7,492 modules)
• git diff --check

Dependency and honest scope

This is a consumer proof for HomenShum/NodeSlide#5. It deliberately does not add a second runtime, new Convex tables, a pretend production adapter, or an unpublished file: dependency.

The mounted UI remains blocked on a controlled React package, a production repository adapter using NodeRoom's existing artifact/CAS authority, DeckSpec translation, server-side ActorProof binding, immutable package versions, and browser/export/reopen proof.

[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 2:42am

[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/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/20260720T024136Z.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/20260720T024143776Z-9fc34480_dirty.1dc8b81b0b695075/cascade-healthy.json
• docs/eval/traces/credit/20260720T024143776Z-9fc34480_dirty.1dc8b81b0b695075/delta-incomplete.json
• docs/eval/traces/credit/20260720T024143776Z-9fc34480_dirty.1dc8b81b0b695075/mapping-correct.json
• docs/eval/traces/credit/20260720T024143776Z-9fc34480_dirty.1dc8b81b0b695075/mapping-misbind.json
• docs/eval/traces/credit/20260720T024143776Z-9fc34480_dirty.1dc8b81b0b695075/summit-stressed.json
• docs/eval/traces/ladder/20260720T024143411Z-9fc34480_dirty.1e018cadede5f238/ladder_L1_read_scripted.json
• docs/eval/traces/ladder/20260720T024143411Z-9fc34480_dirty.1e018cadede5f238/ladder_L2_edit_scripted.json
• docs/eval/traces/ladder/20260720T024143411Z-9fc34480_dirty.1e018cadede5f238/ladder_L3_conflict_scripted.json
• docs/eval/traces/ladder/20260720T024143411Z-9fc34480_dirty.1e018cadede5f238/ladder_L4_blocked_scripted.json
• docs/eval/traces/ladder/20260720T024143411Z-9fc34480_dirty.1e018cadede5f238/ladder_L5_large_range_scripted.json
• docs/eval/traces/ladder/20260720T024143411Z-9fc34480_dirty.1e018cadede5f238/ladder_L6_long_horizon_scripted.json
• docs/eval/traces/ladder/20260720T024143411Z-9fc34480_dirty.1e018cadede5f238/ladder_L7_resume_scripted.json
• docs/integrations/NODESLIDE_CONSUMER_PROOF.md
• package.json
• scripts/nodeslide-consumer-proof.ts
• src/integrations/nodeslide/hostPrincipal.ts
• tests/nodeSlideHostPrincipal.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 ready PR #218, which replays the same audited tree with the accurate commit subject feat(integrations): add NodeSlide consumer proof harness.