# rustc version rustc 1.99.0-nightly (d0babd8b6 2026-07-15)
# docs.rs version docsrs 0.0.0 (f1b150f0cd76f7cabcd39e1f4790ba771b28b5c4 2026-07-19 )
# build log [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-w" "/opt/rustwide/workdir" "--user" "1001:1001" "592faf7d6eb0dc0c4caca094287384d5fe763a5caca89288e9e159440291a00a" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2026-07-16" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=html-non-static-files\", \"--resource-suffix\", \"-20260715-1.99.0-nightly-d0babd8b6\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting lemma-engine v0.9.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: public documentation for `DataValueInput` links to private item `parse_data_value` [INFO] [stderr] --> src/evaluation/data_input.rs:14:77 [INFO] [stderr] | [INFO] [stderr] 14 | /// Typed data value from a client (CLI/WASM). JSON parsing stays outside [`parse_data_value`]. [INFO] [stderr] | ^^^^^^^^^^^^^^^^ this item is private [INFO] [stderr] | [INFO] [stderr] = note: this link will resolve properly if you pass `--document-private-items` [INFO] [stderr] = note: `#[warn(rustdoc::private_intra_doc_links)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `ParseResult` [INFO] [stderr] --> src/parsing/ast.rs:154:7 [INFO] [stderr] | [INFO] [stderr] 154 | /// [`ParseResult`]; loaders set `dependency` when inserting dependency bundles. [INFO] [stderr] | ^^^^^^^^^^^ no item named `ParseResult` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stderr] [INFO] [stderr] warning: public documentation for `Import` links to private item `LemmaData::reference` [INFO] [stderr] --> src/parsing/ast.rs:887:72 [INFO] [stderr] | [INFO] [stderr] 887 | /// Import from another spec (surface syntax is `uses`; alias is [`LemmaData::reference`]). [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ this item is private [INFO] [stderr] | [INFO] [stderr] = note: this link will resolve properly if you pass `--document-private-items` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `crate::parsing::parser::Parser::parse_data_value` [INFO] [stderr] --> src/parsing/ast.rs:893:64 [INFO] [stderr] | [INFO] [stderr] 893 | /// with `someident` as the parent type name. See parser [`crate::parsing::parser::Parser::parse_data_value`]. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no item named `Parser` in module `parser` [INFO] [stderr] [INFO] [stderr] warning: public documentation for `definition_needs_type_resolution` links to private item `LemmaData` [INFO] [stderr] --> src/parsing/ast.rs:911:46 [INFO] [stderr] | [INFO] [stderr] 911 | /// Whether planning must resolve this [`LemmaData`] row through the type resolver / named types. [INFO] [stderr] | ^^^^^^^^^ this item is private [INFO] [stderr] | [INFO] [stderr] = note: this link will resolve properly if you pass `--document-private-items` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `Engine::show` [INFO] [stderr] --> src/planning/execution_plan.rs:336:16 [INFO] [stderr] | [INFO] [stderr] 336 | /// Consumer [`Engine::show`] result: data used by the spec's rules, local rule [INFO] [stderr] | ^^^^^^^^^^^^ no item named `Engine` in scope [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `Engine::source` [INFO] [stderr] --> src/planning/execution_plan.rs:337:59 [INFO] [stderr] | [INFO] [stderr] 337 | /// result types, and resolved temporal window. Source: [`Engine::source`]. [INFO] [stderr] | ^^^^^^^^^^^^^^ no item named `Engine` in scope [INFO] [stderr] [INFO] [stderr] warning: public documentation for `apply_constraint` links to private item `RawSuggestion` [INFO] [stderr] --> src/planning/semantics.rs:1653:37 [INFO] [stderr] | [INFO] [stderr] 1653 | /// is `Default`), encoded as [`RawSuggestion`]. Defaults are owned by the data binding [INFO] [stderr] | ^^^^^^^^^^^^^ this item is private [INFO] [stderr] | [INFO] [stderr] = note: this link will resolve properly if you pass `--document-private-items` [INFO] [stderr] [INFO] [stderr] warning: public documentation for `apply_constraint` links to private item `materialize_raw_suggestion` [INFO] [stderr] --> src/planning/semantics.rs:1657:49 [INFO] [stderr] | [INFO] [stderr] 1657 | /// are resolved; callers materialize via [`materialize_raw_suggestion`]. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ this item is private [INFO] [stderr] | [INFO] [stderr] = note: this link will resolve properly if you pass `--document-private-items` [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `NumericFailure::Overflow` [INFO] [stderr] --> src/planning/semantics.rs:3765:66 [INFO] [stderr] | [INFO] [stderr] 3765 | /// Applies this type's `decimal_places` when set. Returns [`NumericFailure::Overflow`] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ no item named `NumericFailure` in scope [INFO] [stderr] [INFO] [stderr] warning: `lemma-engine` (lib doc) generated 10 warnings [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.25s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/lemma/index.html [INFO] running `Command { std: "docker" "inspect" "592faf7d6eb0dc0c4caca094287384d5fe763a5caca89288e9e159440291a00a", kill_on_drop: false }`