# 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" "bbc5f33055d85194f177647a9c9c212ef454f3ccebe44b3c4ad4ec9273feba72" "/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: Rustdoc did not scrape the following examples because they require dev-dependencies: bench [INFO] [stderr] If you want Rustdoc to scrape these examples, then add `doc-scrape-examples = true` [INFO] [stderr] to the [[example]] target configuration of at least one example. [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting shifty-engine v0.3.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unresolved link to `validate` [INFO] [stderr] --> src/gate.rs:8:57 [INFO] [stderr] | [INFO] [stderr] 8 | //! The verdict is a set difference over the existing [`validate`] oracle, keyed by [INFO] [stderr] | ^^^^^^^^ no item named `validate` 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 `fallback_reason` links to private item `SparqlExecutor::eval_ask` [INFO] [stderr] --> src/sparql.rs:142:11 [INFO] [stderr] | [INFO] [stderr] 142 | /// [`SparqlExecutor::eval_ask`]/[`SparqlExecutor::eval_select`]). [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: public documentation for `fallback_reason` links to private item `SparqlExecutor::eval_select` [INFO] [stderr] --> src/sparql.rs:142:40 [INFO] [stderr] | [INFO] [stderr] 142 | /// [`SparqlExecutor::eval_ask`]/[`SparqlExecutor::eval_select`]). [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 `synthesize` links to private item `Synth::repair` [INFO] [stderr] --> src/synthesize.rs:5:9 [INFO] [stderr] | [INFO] [stderr] 5 | //! - [`Synth::repair`] (additive) walks a [`Witness`], emitting adds. [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 `synthesize` links to private item `Synth::break_` [INFO] [stderr] --> src/synthesize.rs:6:9 [INFO] [stderr] | [INFO] [stderr] 6 | //! - [`Synth::break_`] (deletive) walks a [`SatTrace`], emitting deletes. [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 `holds` [INFO] [stderr] --> src/validate.rs:5:39 [INFO] [stderr] | [INFO] [stderr] 5 | //! Two evaluators share the logic: [`holds`] returns a bare bool (used for [INFO] [stderr] | ^^^^^ no item named `holds` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: public documentation for `validate` links to private item `explain` [INFO] [stderr] --> src/validate.rs:6:45 [INFO] [stderr] | [INFO] [stderr] 6 | //! target selection and counting), while [`explain`] returns the specific [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 `validate` links to private item `explain` [INFO] [stderr] --> src/validate.rs:329:36 [INFO] [stderr] | [INFO] [stderr] 329 | /// net-positive (monotone), and [`explain`]/[`holds`]'s "assume conforming on a [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 `holds` [INFO] [stderr] --> src/validate.rs:329:48 [INFO] [stderr] | [INFO] [stderr] 329 | /// net-positive (monotone), and [`explain`]/[`holds`]'s "assume conforming on a [INFO] [stderr] | ^^^^^ no item named `holds` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: public documentation for `witness` links to private item `ShapeEvaluator` [INFO] [stderr] --> src/witness.rs:9:11 [INFO] [stderr] | [INFO] [stderr] 9 | //! the [`ShapeEvaluator`] satisfaction oracle (`holds`) and its gfp back-edge [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: `validate` is both a function and a module [INFO] [stderr] --> src/lib.rs:5:51 [INFO] [stderr] | [INFO] [stderr] 5 | //! ([`value`]), and shape/schema satisfaction ([`validate`]). The rule/fixpoint [INFO] [stderr] | ^^^^^^^^ ambiguous link [INFO] [stderr] | [INFO] [stderr] help: to link to the function, add parentheses [INFO] [stderr] | [INFO] [stderr] 5 | //! ([`value`]), and shape/schema satisfaction ([`validate()`]). The rule/fixpoint [INFO] [stderr] | ++ [INFO] [stderr] help: to link to the module, prefix with `mod@` [INFO] [stderr] | [INFO] [stderr] 5 | //! ([`value`]), and shape/schema satisfaction ([`mod@validate`]). The rule/fixpoint [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: `instantiate` is both a function and a module [INFO] [stderr] --> src/enumerate.rs:12:16 [INFO] [stderr] | [INFO] [stderr] 12 | //! composes [`instantiate`], [`candidates`], and [`gate`]. [INFO] [stderr] | ^^^^^^^^^^^ ambiguous link [INFO] [stderr] | [INFO] [stderr] help: to link to the function, add parentheses [INFO] [stderr] | [INFO] [stderr] 12 | //! composes [`instantiate()`], [`candidates`], and [`gate`]. [INFO] [stderr] | ++ [INFO] [stderr] help: to link to the module, prefix with `mod@` [INFO] [stderr] | [INFO] [stderr] 12 | //! composes [`mod@instantiate`], [`candidates`], and [`gate`]. [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: `crate::validate` is both a function and a module [INFO] [stderr] --> src/witness.rs:2:28 [INFO] [stderr] | [INFO] [stderr] 2 | //! sibling of [`explain`](crate::validate). For a focus node that fails a [INFO] [stderr] | ^^^^^^^^^^^^^^^ ambiguous link [INFO] [stderr] | [INFO] [stderr] help: to link to the function, add parentheses [INFO] [stderr] | [INFO] [stderr] 2 | //! sibling of [`explain`](crate::validate()). For a focus node that fails a [INFO] [stderr] | ++ [INFO] [stderr] help: to link to the module, prefix with `mod@` [INFO] [stderr] | [INFO] [stderr] 2 | //! sibling of [`explain`](mod@crate::validate). For a focus node that fails a [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: `shifty-engine` (lib doc) generated 13 warnings [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.93s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/shifty_engine/index.html [INFO] running `Command { std: "docker" "inspect" "bbc5f33055d85194f177647a9c9c212ef454f3ccebe44b3c4ad4ec9273feba72", kill_on_drop: false }`