Macro-4 Standard IO Contract Input Section — R2-B2 (2026-06-19)

Date: 2026-06-19 · Workstream: R2-B2-MACRO-4-STAGING-WORKBENCH-IO-CONTRACT-TD-ENTRY-GATE-2026-06-19 (Deliverable 21 of 90) · Editorial revision: rev1 Class: IO contract input section · READ-ONLY · NON-ENACTING · NON-AUTHORIZING · NO write performed.

Metadata convention. Editorial revision (rev1) only. Storage revision/content_length authoritative at read time.

---

0. Status and non-authorization

STATUS: PASS — engineering / design-only. The input_surface section of the envelope. Engineering PASS ≠ authority PASS. Default: HOLD.

1. Purpose

Define what input_surface means: exactly what a block reads, and what it must not depend on.

2. Sources / evidence read

Inspect-producer §6 (B2 input contract); Điều 0-G §2.4 (inspector scopes); operating-rules (Assembly First). Main process, no reader-agents.

3. Accepted baseline (carried)

A block's input is declared, bounded, and read-only with respect to other blocks' state; it must not depend on a consumer's internals or on the channel.

4. Evidence / analysis — input section shape

Element	Requirement
Declared reads	the exact rows/columns/rule-sets the block consumes
Depends-on (external)	named, referenced-not-redesigned (e.g. B1 rows, B3 contract, S2 owner, S6 source)
Must-not-depend-on	consumer internals; the channel; KG reasoning; a certified=true precondition
Fail-closed input rule	malformed input → reject, never fabricate a passing row

5. Contract / requirement / matrix / result

The input section is the only place a block names its upstream coupling, and it does so as a reference to another block's output_surface — never as a shared mutable read of hidden state. Reads are non-mutating by definition.

6. Owner-gated future work

Binding an input surface to live rows is Owner-gated; forbidden now.

7. What remains unresolved

The concrete query shapes are FUTURE_TECHNICAL_DESIGN_REQUIRED.

8. Ready for GPT/Codex review

Yes — Codex should confirm the input section declares reads only and no hidden coupling.