Derived Fact Provider Runtime

Fills in facts from simple recipes and records a clear error when one points at missing data.

Contract

Does A small engine that fills in facts from a list of recipes. Each recipe says where a number or string lives — pull this field out of a JSON file by its path, count the files matching this pattern, or run a named helper like "how many tracked files are there". When a recipe points at something that is not there, the engine does not fall over: it writes that fact down as an error with a hint about how to fix it, and marks the overall run as degraded. The component checks two well-formed recipe lists resolve to the right answers, and two broken ones (a missing file, an unknown recipe type) get caught and reported as errors rather than slipping through. It only resolves facts against the files you give it; it does not decide whether any larger claim is true.

Scope limit The bundle demonstrates registry-backed JSON-pointer, glob-count, and git-backed callable fact providers with provider failures represented as error rows. It is not a doctrine truth auditor, not a full source registry export, not semantic claim validation, and not launch-scope decision.

Run

Quick probe

microcosm derived-fact-provider-runtime run --input fixtures/first_wave/derived_fact_provider_runtime/input --out /tmp/plectis-public-runs/derived_fact_provider_runtime

Validator command

microcosm derived-fact-provider-runtime run --input fixtures/first_wave/derived_fact_provider_runtime/input --out receipts/first_wave/derived_fact_provider_runtime --acceptance-out receipts/acceptance/first_wave/derived_fact_provider_runtime_fixture_acceptance.json

Evidence

ClassBounded runtime computationevidence 4/5Real runtime resultRuns real tools

Links to Certificate Kernel Execution Lab, Verifier Lab Kernel, Formal Math Lean Proof Witness

research-workflowsprovenanceprovider operations

Source

Source Design note · Source

Map Show on the map

Index Open compact index card

Paper module

Paper module Derived Fact Provider Runtime

Registry-backed derived fact provider runtime: resolves JSON-pointer, glob-count, and git-backed callable facts over public fixture roots and turns provider failures into error-as-data rows, rejecting malformed registries by recomputation.

Read the full write-up

Back to Components index → Reference roster →