[tony]

OCaml readers need installation instructions, API navigation and examples backed by the native compiled interfaces. This adds the core and workspace documentation to the shared site.

Summary

• Add OCaml core and workspace pages, packages, navigation and approved artwork.
• Preserve typed odoc references, declaration ownership and compiled-source provenance.
• Show tested native programs and derive tmux usage from public implementations.
• Build OCaml documentation through a source-bound native caller and reusable producer.
• Read opam registry versions without losing known state on unavailable responses.
• Bound parser, component and CSS scanner setup costs.
• Run independent workspace-picker cases with bounded concurrency.

Changes by area

Native model and links

The OCaml adapter consumes the public compiled-interface export. Type and value references retain their namespaces, standard-library types use their real manual anchors, and external destination verification checks the declared module, type and value identities, including names containing apostrophes.

The OCaml reference ratchets now record the measured first baseline: 4,584 resolved cross-references and 2,031 plain type occurrences. Only the OCaml entries are added; every existing port value is preserved. These counts come from a fresh render of this branch, including core and workspace references.

Reader documentation

Core and workspace pages use source-owned guides and installed examples. The recovery guide shows how to cancel a waiter, inspect the retained operation and check its postcondition before another action. The bootstrap guide creates a private daemon through the native workspace API and links its complete tested program. Server navigation leads to the live clients; captured client observations remain distinct. Package links reflect authored manifests and source installation. MCP remains excluded by the port policy.

OCaml's Topics, Examples and Concepts overviews lead to native task guides. The Workspace API landing lists exported declarations. Language switches omit excluded products.

Build and test tooling

The reusable producer installs the pinned OCaml runtime, exports the selected native source and builds its documentation. The manual native caller pins the producer and publisher; build-only qualification verifies artifact digests, provenance and the full inventory with publication skipped. Shared CI checks out the exact native guide source. OCaml guide, mention and manifest data use that same revision. The opam registry reader selects published package directories and preserves previous state on unavailable or malformed responses. Independent test commits share parsed Markdown, scope type-render containers per symbol and isolate concurrent browser cases. Complete rendering-output hashes match the preceding implementation. Tailwind derives utility candidates from the rendering source tree, bounding isolated preview scans. Required stylesheet rules retain their bodies and at-rule contexts. Workflow contract tests execute source-output emission and reject missing writes or altered revision values.

Product tests derive reference sections, page titles and task counterparts from the source models. Declared product overviews and ownership remain mandatory, including unpublished availability pages; copied-source negative controls reject missing pages and missing product metadata. Optional sections follow each port's actual documents.

Test plan

• Build the complete OCaml version and inspect API links, guide destinations and navigation.
• Verify live OCaml manual destinations and offline destination evidence.
• Run exhaustive rendered-link checks and compare complete Markdown, AST and HTML outputs.
• Run the workspace-picker browser cases with focus, storage and negative controls.
• Run type-aware lint for the changed rendering checks.
• Verify the style source boundary and run the unchanged fresh browser sample.
• Refresh the native build-only qualification for the current producer, verify the immutable artifact and retain publication as skipped.
• Complete the publication audit in CI.
• Compare baseline and integration runtimes through completion with matched settings.

Focused route regressions, a rendered OCaml build, internal links within that mount and standalone site type-checking pass. The complete cross-port publication audit remains pending. The raw selected-build dangling report includes shared-prose diagnostics, which are retained separately from the source mention index and hosted root report.

The development outer loop reaches its 60-second deadline on both the integration and a separate unchanged pinned base, including a warm-cache repeat. Those failed runs remain recorded. The complete rendered-link suite passes in 56.2 seconds; this is separate from whole-loop readiness. One complete baseline observation finishes in 323 seconds with all commands succeeding before the retained budget verdict fails. Subsequent baseline observations hit individual test timeouts and remain incomplete, including with serialized top-level scheduling. The integration browser sample passes after bounding Tailwind source scanning. The complete affected rendered-link and picker suites pass with matched settings: 381 seconds on the baseline and 254 seconds with the integration. This single observation does not establish a general speedup; the whole-loop incremental cost remains unverified. Existing runner-budget repair is tracked separately in issue #273; functional hosted CI remains required.

Companion PR

Shared language artwork also carries the approved OCaml assets. The native implementation and its qualification are in libtmux-ocaml.

Current qualification

This draft integrates current main, including the excluded-product navigation fix in PR #267 and the code-panel controls in PR #286. The shared excluded-only guard and OCaml regression remain.

The frozen documentation source is native 6b814a3. Public interfaces, source guides, manifests, examples and command citations identify that revision. The refresh adds the tested native bootstrap guide, links its local cleanup helper to its actual source, and preserves the failed-workload evidence for both supported endpoint releases.

Support includes every tmux release from 3.3a through 3.8. Runtime CI uses only the endpoints, 3.3a and 3.8, on OCaml 5.5.2. Intermediate releases remain supported without extra runtime jobs.

• Native CI 42537200917 passes quality and both endpoint jobs at the frozen documentation source.
• Source and UI checks pass after integrating main. Assembled-output checks were explicitly skipped locally. A separate source-level investigation compares the corrected alias expectations with unchanged route selection and checks actual guide metadata across ports. Independent scoped review reports no material findings.
• Selected rendering and DOM checks pass for the bootstrap program, local helper, standard-library constructor, workspace routes and both retained walkthrough FAIL cells. OCaml has zero broken owned destinations. The selected build's overall link verdict remains FAIL because root and sibling trees are not assembled locally.
• Build-only qualification 42540146075 passes at native caller 40076e1, with publication SKIPPED. Both caller pins select shared 7d4f88f; the built library source is the frozen revision above. Downloaded archive digests, clean source/producer identities, the complete publisher inventory, native exporter provenance and rendered bootstrap links are verified.

The preserved full audit 42527248797 at shared head e5bc45bba18c991cd63679ac807433b0d2e13858 ended FAIL. Its complete assembly passed the link audit with zero broken links. The final suite failed nine product-navigation assertions and one separate Python install-picker timeout. The navigation corrections select one canonical-first destination for ordinary aliases and the Guides overview when it exists; explicit multi-page task equivalence remains intact. The Python timeout remains unresolved and distinct from those corrections.

The next audit, 42547143534, failed during external API evidence checks: the new bootstrap guide introduced an OCaml constructor link without a verification record. The verifier now recognizes constructor anchors, validates their parent types and exact declared names, and retains the verified standard-library destination. Wrong-owner and altered-declaration controls remain strict. The complete verifier unit suite, offline destination gate and lint pass locally. Source-dependent setup runs only in its consuming suites; no timeout setting changed.

The OCaml-only audit, 42548922757, at shared head 301038c1eea4faaa310d46e69408b88ab6f69d7d is CANCELLED after the reference-baseline branch update. It is not passing evidence. Earlier failed runs remain recorded.

Current native CI 42541594764 at the producer-pin commit is FAIL overall: quality and 3.8 pass; 3.3a fails in the existing streaming walkthrough with a bound-daemon exit. The documented 3.3a stream-gap failure, the earlier 3.8 recovery failure and the 3.4 mixed-workload failure remain unresolved. Later component passes do not close those findings.

The measured baseline commit is 52209f122. The fresh standalone render measures 4,584 cross-references; combined head 8d8fbac currently records 4,608. That difference has been reported for integration reconciliation. The combined branch was not edited here.

The combined release PR #291 owns release qualification through its complete CI audit. OCaml fixes continue on this branch for the integrator to consume. The docs owner controls merge and publication.