K04: RCL 2D game vertical slice

[xingxuling]

K04: RCL 2D game vertical slice

Cell: game-runtime::game

This PR adds an evidence-bound RCL -> 2D game lowering path:

• src/game-2d-compiler.mjs
  • compiles RCL facets, warrants and emergence rules into rcl.2d-game-runtime-manifest.v0.1;
  • executes governed game rules with authority and preserve failure closure;
  • provides fixed-step physics, horizontal bounds, ground collision and collectible overlap;
  • emits deterministic frame roots and a standalone HTML Canvas artifact.
• K04 RCL specimen and game specification.
• K04 direct evidence runner and Universal Stress adapter.
• focused unit tests and GitHub Actions workflow.
• package scripts and public exports.

Local focused evidence:

• K04 compiler/runtime/adapter tests: 11/11 PASS;
• checked-in RCL source boundary is exercised by the focused integration test;
• deterministic replay: frame roots identical;
• positive path: start -> movement -> jump -> tick -> collectible commit;
• preserve negative and authority negative both close before invalid commit;
• Canvas artifact emission verified.

Current nine-gate result is intentionally:

EXPRESS      PASS
COMPILE      PASS
LOWER        PASS
EXECUTE      PASS
CORRECT      PASS
ROBUST       PASS
PERFORMANCE  PASS
AI_GENERATE  UNVERIFIED
EVIDENCE     PASS

OVERALL      BLOCKED

Coverage classification: lowered-execution, not native-semantic.

The direct evidence script must execute against the complete RCL checkout before its generated JSON is treated as a repository execution receipt. GitHub Actions is included as the next remote verification route; the account previously blocked K01-K03 hosted runners before job steps, so that infrastructure boundary remains explicit.

[vercel]

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

Project	Deployment	Actions	Updated (UTC)
rcl-rncs-mcp	Ready	Preview	Aug 7, 2026 5:54pm