[codex] R3 gate 77 call pattern lookup authority

[briansrls]

Summary

• Strengthen the R3 gate Tasks.md actionable items #77 integration receipt so e_p_call_pattern_lookup_authoritative directly exercises per_call_pattern_at as the public lens-facing query.
• Pin the recursive self-call projection through the per-call evidence row, and pin cross-template SubValueUnknown as a fail-closed None instead of a parallel call-pattern derivation.
• Promote the R3 program-plan row for gate Tasks.md actionable items #77 to CONSUMER_LANDED with the named test receipt.

Validation

• cargo test -p v3-compiler --test integration e_p_call_pattern_lookup_authoritative

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: 5d66ea1e · Trigger: schedule
• Thinking: 223s wall

---

BLOCKING (1)

Root Cause

• docs/r3-program-plan.md Gate-status receipt was treated as sufficient for expanded hand-written Rust → add exactly one P5 receipt, likely a ROADMAP.md T-PB-B or T-Tests-As-Data-Completeness deferral row for this Rust test.

ROADMAP — Incomplete

• e_p_call_pattern_lookup_authoritative: The gate may be technically covered by the integration assertion, but the hand-Rust expansion receipt required by P5 is missing from the changed plan text.

⚠️ One blocking P5 receipt issue needs to be fixed before this lands.

[briansrls]

BLOCKING: The changed planning artifact marks the src/v3 Rust integration expansion as CONSUMER_LANDED but does not provide the INVARIANTS.md P5 hand-Rust receipt: deleted scaffold path, SG-0 shrink before/after, or explicit deferral to a concrete ROADMAP row.