Enum KnowledgeSource 

pub enum KnowledgeSource {
    RosettaCode,
    Wikifunctions,
    HelloWorldCollection,
    StackOverflow,
}

Public knowledge sources the coding oracle draws on.

Each is a public, reviewable corpus we treat as an external API even when it exposes none: a fetched page is parsed into a snippet and cached locally.

Variants

RosettaCode

https://rosettacode.org — the same task implemented in hundreds of languages; our primary code corpus for idioms we do not template.

Wikifunctions

https://www.wikifunctions.org — Abstract Wikipedia’s function library; evaluates Z7 calls and returns a Z22 result, so it doubles as a result oracle that can cross-check an in-solver computation.

HelloWorldCollection

http://helloworldcollection.de — “Hello, World!” in ~600 languages; the canonical first program for any language we do not yet template.

StackOverflow

https://stackoverflow.com — community answers, treated read-only and only for snippets under a compatible licence.

Implementations

impl KnowledgeSource

pub const fn slug(self) -> &'static str

Stable, filesystem-safe identifier used as the data/cache/<slug>/ bucket name and in trace evidence.

pub const fn display_name(self) -> &'static str

Human-readable name for attribution in answers and the case study.

pub const fn base_url(self) -> &'static str

Landing URL for the source.

pub const fn approximate_catalog_size(self) -> usize

Conservative published size of the source, used only by cache_capacity to bound how much we may cache. The exact figure does not need to be precise — it just feeds the 1% ceiling — and is refreshed by the gated live-refresh tool. Figures are public approximations: Rosetta Code lists ~1,300 tasks, Wikifunctions a few thousand functions, and the Hello World Collection ~600 languages.

Trait Implementations

impl Clone for KnowledgeSource

fn clone(&self) -> KnowledgeSource

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for KnowledgeSource

impl Debug for KnowledgeSource

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for KnowledgeSource

impl PartialEq for KnowledgeSource

fn eq(&self, other: &KnowledgeSource) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for KnowledgeSource