feat(doc-ir): the dual-render vertical slice — resolve (rail walk) + ogar-render-typst

[AdaWorldAPI]

What — the document IR slice, closed

The composition brick (DocNode/ObjectSlot, #219) gains its missing verb and its second surface. One composed document is resolved once and rendered through two genuinely different projections from the same rows — the renderer-independence proof the DocIr architecture demanded.

ogar-doc-ir::resolve (feature classview)

• resolve_doc/resolve_slot: every ObjectSlot resolves through the contract's rail walk (lance_graph_contract::selection::walk_rails) — the slot's named view governs its root; nested hops resolve per-class. No query document anywhere: nesting = masks × the walk.
• DocObjectSource — dependency inversion, house shape: the consumer owns the graph (RailGraph), the values, and the view bindings; the resolver owns only the procedure.
• Missing target → explicit snapshot fallback (hex sha256) or Unresolvable — never silence (the ActionText missing-object path, mechanized).

ogar-render-typst (new crate)

Typst source emitter over the same FieldView rows the askama surface renders — the paged/@revision projection (ResolutionMode pairing: living screen ↔ Live, page ↔ Revision/Snapshot). Markup escaping proven. Deliberately no typst compiler dependency — .typ→PDF is consumer egress.

The proof (tests/dual_render.rs, output inspected)

One DocCompose — User + WorkPackage + Attachment slots, a tesseract-rs doc.v1 invoice as an ObjectSlot (the retina participates as a plain graph node whose presence/values are project::{field_mask, masked_values} — same walk as live objects), plus a deleted target — rendered to both surfaces:

• identical facts in both (subject/status/progress, attachment, the retina's netto+IBAN);
• the assignee rail hop lands at depth 1 in both (name (nested) → Alice Muster);
• user.inline masks email/role out of both;
• the retina's unread ust is absent from both (cleared presence bit — C2, no sentinel);
• the deleted slot shows its sha256 fallback in both.

Sample of the inspected Typst output:

= Install fire door — work record
#block[
*Install fire door* #text(size: 0.8em)[(work_package.summary)]
#table(
  columns: 2,
  [subject], [Install fire door],
  [status], [in progress],
  [progress], [60%],
  [name (nested)], [Alice Muster],
)
]
…
#block[
_unresolved work_package.inline_ — snapshot #raw("sha256:abab…")
]

Float note

Contract deps FLOAT on the lance-graph #776 branch (the selection module); flip back to main on its merge — commented at every dep site (ogar-class-view, ogar-doc-ir, ogar-from-ruff, ogar-render-askama, ogar-render-typst). Merge order: lance-graph #776 first, then flip, then this.

Verification (Rust 1.95)

• cargo test -p ogar-doc-ir --features classview → 26/26.
• cargo test -p ogar-render-typst → 6/6 (4 emitter + 2 E2E).
• clippy -D warnings clean on both; fmt clean.
• E2E output printed and inspected (--nocapture), snippet above.

Board

DISCOVERY-MAP: D-DOCIR-DUAL-RENDER appended [G] (built + inspected), deferred items named (DocOp, Lance-versioned Revision(n) lookup, FieldView enum widening).

🤖 Generated with Claude Code

---

Generated by Claude Code

[cursor]

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_c3807831-53e6-4a8c-b18b-348c9868fdc9)

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 462e127f51

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".