A derivation is a typed graph of the generators the executable already plans, keyed by the content of what each node reads, and the full derive stays its oracle

majordomus://adr/adr-0185navrženo derive-performancechatgpt-project

odkazuje na

put_in_force apps/majordomus-cli/src/generate.rs (soubor)
put_in_force scripts/derive (soubor)
put_in_force adr-0041
put_in_force adr-0140
put_in_force a-change-is-judged-in-minutes (záměr)
put_in_force I3233
put_in_force I3234
put_in_force I3236
put_in_force a-plan-on-an-unlanded-branch-is-planned-again (knowledge)
put_in_force do-less-work-before-doing-it-faster (knowledge)
put_in_force a-change-is-judged-in-minutes
put_in_force a-derive-answers-within-a-second
put_in_force project.a-derive-sees-what-the-commit-will@1
put_in_force project.a-tool-that-cannot-match-the-tree-refuses@1
put_in_force project.cache-is-invisible@1
put_in_force project.derived-once@1

odkazuje na něj

put_in_force adr-0186

185. A derivation is a typed graph of the generators the executable already plans, keyed by the content of what each node reads, and the full derive stays its oracle

Kontext

Owner asks on 2026-10-11 (Merkle/DAG/hash), 10-15 (ten times faster; reuse the parts that exist) and 10-17 (sub-second, parallel). generate.rs already has a typed Artifact/Target plan, generation.rs a content-based executable identity, generate-site-data a batch input fingerprint. Two stage-B skips were built (I2490 with unlanded ADR 0143 (on an unlanded branch), I2880). The 10-13 plan (I2521-I2533) never landed.

Rozhodnutí

Extend the existing plan in generate.rs with declared inputs and outputs per node, rather than add an engine beside it. A node's key is a content digest over its generator identity (including the executable's generation), canonical input bytes, index membership, schema and policy versions and build parameters. Metadata (mtime, size, watcher events) only nominates candidates. A hit must be observationally equivalent to a fresh run, and a test proves it. Invalidation follows git index semantics. scripts/derive --full and derive-check stay the oracle. A reused node is a saving in a derive and never a verdict in a gate.

Zamítnuté alternativy

A new Merkle/DAG/cache framework beside generate.rs (c265#8)
Cargo or build.rs as a second derive engine (ADR 0140)
One global lock as the only fix for repeated work (c208#4)
mtime plus size as identity (c292#2)
Timestamp-keyed caches (c130#3)

Důsledky

ADR 0143 (on an unlanded branch) (unlanded, I2490) becomes the first slice of this decision or is withdrawn. Rule project.cache-is-invisible gains its first real subject. Every new generator must declare its reads, and an omitted read turns a gate red (I2527).

Sources

Promoted on 2026-10-18 from the owner's ChatGPT project (workspace chatgpt-majordomus, issue I3100). The owner has not accepted it; it is proposed for the owner's decision.

chatgpt-majordomus:c130#3
chatgpt-majordomus:c216#6
chatgpt-majordomus:c265#8
chatgpt-majordomus:c292#2

Odkud to pochází

kanonický soubor: .ai/repo/adrs/0185-a-derivation-is-a-typed-graph-of-the-generators-the-executable-a.md
identity: adr-0185
dostupné také jako: Zdroj MCP majordomus://adr/adr-0185 · majordomus entity show adr/adr-0185 · GET /api/v1/entity?uri=majordomus://adr/adr-0185
v Cockpitu: /cockpit/objects/adr/adr-0185

Tato stránka je generována z výše uvedeného souboru pomocí scripts/generate-site-data; úprava stránky nic nemění, úprava souboru změní všechna rozhraní. Výše uvedené vztahy jsou hrany docs/generated/graph.json, které spustitelný program zapisuje ze stejného indexu.