docs(r3): gate #24 partial-CONSUMER_LANDED — Int+UInt arms via single-authority HEAD state

[briansrls]

Summary

• Gate Mark LLM Code Review Pipeline V0 as complete #24 numeric_reframe_no_parallel_authority ledger status: DECLARED → PARTIAL CONSUMER_LANDED 2026-05-09 for Int + UInt arms (already by-construction at HEAD); Float arm HELD on S8 ApproximateField<F> cascade.
• Mgr-ratified scope-narrow per gunbc#2068 c#4413651570 (same shape as gate docs: Add Phase 5 windowed segment testing specification #18 precedent; Director (c) structural-coverage at gunbc#828 c#4413633535).
• Doc/ledger-only edits to docs/r3-program-plan.md row Mark LLM Code Review Pipeline V0 as complete #24 + docs/r3-structure.md gate description. No code edits, no new substrate.

Audit (per fierce-fox-86 at gunbc#2068 c#4413645211)

• dsl/std/integer.dag:147 — type Int = AbelianGroup<GroupCompletion<Nat>> (PR feat(std): T-Numeric-Construction Slice 3 — Int = AbelianGroup<GroupCompletion<Nat>> #1466 Q6 single-authority)
• dsl/std/integer.dag:148 — type UInt = Nat (PR feat(std): T-Numeric-Construction S9 Phase-1 — UInt = Nat #1818 canonical-instance)
• No type Int = Int64 / type UInt = UInt64 residue in dsl/std/ or src/v3/std/
• dsl/std/float.dag:18 — type Float = Float64 parallel-authority persists; deferred to S8 (ApproximateField<F> currently in src/v3/std/approximate_field.dag:75 only). Hand-rewrite ahead of S8 precluded by feedback_import_not_redeclare_carriers.

Test plan

• git diff shows ledger-only edits (2 lines)
• No code edits to dsl/std/float.dag or substrate carriers
• CI green (no test impact expected — doc-only)

🤖 Generated with Claude Code

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: 90dd345a · Trigger: schedule
• Thinking: 205s wall

---

BLOCKING (1)

Root Cause

• docs/r3-program-plan.md §1.7 defines only DECLARED/CONSUMER_LANDED/PASSING and has no per-arm state-check status → keep #24 DECLARED with the Int/UInt evidence in Notes until an executable consumer lands, or define a non-closing PARTIAL status and mirror that meaning in r3-structure.

Non-blocking — Strengths

• docs/r3-program-plan.md The factual Int/UInt/Float code-state claims in the new receipt match the PR-head files I checked.

⚠️ One canonical ledger status needs correction before this planning receipt lands.

[briansrls]

BLOCKING: The new PARTIAL CONSUMER_LANDED status is outside the §1.7 status taxonomy and cites HEAD code-state plus grep evidence rather than an executable gate consumer, so the canonical ledger can overstate gate #24 progress under INVARIANTS P2/P5.

[briansrls]

Addressed BLOCKING review (codex sha 90dd345) at 869ab65. Reviewer is correct — §1.7 status taxonomy defines only DECLARED / CONSUMER_LANDED / PASSING, and "PARTIAL CONSUMER_LANDED" is not in the schema. Per reviewer's option (1): kept Status=DECLARED in §1.8 row #24 + r3-structure.md gate description; moved per-arm HEAD evidence (Int/UInt arms structurally clear; Float arm HELD on S8) into the Notes column as non-closure receipt. Status promotes to CONSUMER_LANDED when an executable HEAD-grep consumer lands covering all three arms. Mirrors the §1.7 corpus-rule pattern (slice receipts in Notes, not status-promotions).

[briansrls]

Re: inline BLOCKING at docs/r3-program-plan.md:249 — already addressed at 869ab65 (same finding as the top-level BLOCKING review, codex sha 90dd345). Status reverted to DECLARED per §1.7 taxonomy; per-arm HEAD evidence moved to Notes as non-closure receipt. Inline-relay arrived after the fix push; please re-evaluate against HEAD.