Local Green, Global Red: DAG-of-DAG Detection of False Stability and Correction Residue

Proposed arXiv categories: cs.SE / cs.DC Publication DAG node: P04, Wave A Dependencies: the frozen parent foundation only Claim register: P04-C1, P04-C2, P04-C3, P04-C4

A graph can only correct what it knows. DAG structure is valuable when it refuses to impersonate completeness and makes unknown-edge discovery part of stabilization.

We contribute a typed meta-graph, lifecycle-separated readiness predicate, correction-residue metric, suspected-edge state, and integration benchmark. The architecture distinguishes component success, landing, registration, selector eligibility, activation, canonical absorption, and terminalization. It also distinguishes a dependency from evidence that a dependency probably exists.

FORKED is an internally owned and managed estate inside the Ubiquity Federation, Prompted LLC's flagship governance substrate. The estate inherits the Fractal Quivers of Quivers parent topology, production splat mechanics, center exclusion, receipt-bearing lawful traversal, lifecycle separation, and the rule that models propose morphisms while governance determines admissible motion [@Taylor2026FQoQ; @Taylor2026OpenCenter; @Prompted2026Ubiquity]. This paper studies one bounded expression of that parent architecture. It neither renames the parent substrate nor inherits universal applicability from it.

The evidence lanes are kept separate. A canonical or source artifact establishes what that artifact states. A component test establishes behavior under its recorded configuration. A synthetic campaign establishes behavior of the generator and analysis pipeline, not human, hardware, customer, field, or operational performance. Novel cross-domain claims are preregistered as hypotheses and remain open to null, adverse, localized, and disproving results.

Dependency freeze. No paper dependencies.

The interlattice is the citation and governance relationship among the parent FQoQ topology, production splat mechanics, the FORKED foundational architecture, the Native Range, the Experimental Program, and the companion papers in this DAG. Citations are therefore typed: a parent citation supplies inherited architecture; a native citation supplies component behavior; a synthetic citation supplies generator-level evidence; a companion citation supplies a versioned specialized argument. No downstream citation converts an upstream hypothesis into a universal fact.

This paper's claims are:

Modern AI systems frequently compress unlike objects into a common output surface. Facts, hypotheses, instructions, permissions, model predictions, runtime observations, and institutional decisions can all arrive as fluent text or a single status field. The resulting failure is architectural before it is linguistic: a local representation acquires authority that its source never possessed. A graph can only correct what it knows. DAG structure is valuable when it refuses to impersonate completeness and makes unknown-edge discovery part of stabilization.

A quiver may contain cycles, mutual conditioning, repeated correction, and long-lived tension. An execution DAG cannot safely contain uncontrolled cycles because it must schedule dependencies and termination.

A spiral is represented as a time-expanded DAG. The DAG discharges one bounded responsibility. The quiver carries what returns after the discharge.

A corrected source is not a corrected system. FORKED stores dependencies among claims, plans, dashboards, memories, policies, and actions. When a source state changes, correction fan-out traverses the graph, marks stale dependents, triggers re-evaluation, and scans for residue.

The graph includes explicit and suspected dependencies. Explicit edges carry receipts. Suspected edges carry confidence, alternative explanations, and the evidence needed to promote or remove them. Local green cannot promote global stability while a protected dependent remains stale or an unreceipted join remains load-bearing.

The first graph campaign showed strong encoded gains for dependency-aware correction and equally strong evidence of its boundary: DAG structure cannot create missing truth. Hidden or unreceipted dependencies remained the principal false-stability source. [@ForkedExperiments2026]

The parent completion therefore requires:

Generate hidden joins, unreceipted dependencies, stale protected nodes, human-memory edges, and external horizon effects.

Let D_i=(V_i,E_i) denote typed DAGs for execution, evidence, authority, configuration, publication, and correction. The meta-graph M contains each D_i as a node and typed inter-DAG edges such as supports, authorizes, configures, depends_on, and must_correct. Readiness is a conjunction over separately typed lifecycle dimensions rather than a status string: \[ \mathcal R=C\land P\land K\land D\land A\land G, \] where the symbols denote admitted commitment, complete projection, current conformation, satisfied dependencies, available runtime, and absence of active gates. Success in any proper subset cannot derive readiness.

When claim v is corrected, fan-out traverses confirmed edges and marks every reachable dependent for reconcile-and-verify. The system then searches for residue: artifacts, caches, plans, summaries, and model contexts that still exhibit the superseded state. Correlated residue creates a suspected dependency edge with provenance and confidence. Suspected edges affect stabilization pressure but do not become canonical dependencies until admitted.

Benchmark instances combine generated and real open-source service graphs. Faults include missing registration, stale schema, hidden cache consumers, delayed publication, incompatible configuration, alternate writer, human summary reuse, and probabilistic data dependence. Corrections are injected at varying depth and fan-out. Methods are flat status dashboard, manual tracing, ordinary dependency graph, rebuild-all, and typed DAG-of-DAG with residue discovery.

Primary evaluation separates detection from correction. A method may find a broken join but fail to reconcile all descendants, or may achieve completeness by rebuilding everything at unacceptable cost. We therefore measure false readiness, correction completeness, stale residue, convergence time, work performed, false-edge cost, and availability. The benchmark includes adversarial cases where suspected edges are coincidental to test whether terrain inversion destabilizes the graph.

The synthetic E06 campaign increased modeled correction completeness by approximately 0.644 and reduced stale residue by approximately 0.259 relative to manual correction under its generator [@ForkedExperiments2026]. The native campaign ran 250 generated graphs with hidden joins and achieved detection and repair stabilization of 1.0 [@ForkedCampaign2026]. The stronger result is not the perfect score; it is the retained boundary: hidden or unreceipted dependencies remain the dominant source of false stability, and the graph does not create missing truth.

The paper treats this evidence directly where capability is established and narrowly where it is not. Implemented code paths are called implemented. Passing component tests are called passing component tests. Synthetic estimates remain synthetic. Human and field effects remain hypotheses until their own evidence exists.

The formal preregistration artifact distributed with this paper freezes the primary claims, outcomes, controls, exclusion rules, analysis family, null interpretation, and release boundary before external data collection. The core sequence is:

Results are stratified by dependency completeness, graph size, change depth, and human-memory involvement. Pareto analysis reports completeness versus overhead. Hidden-edge inference is evaluated as a precision-recall problem separate from correction. We preregister an adverse region in which rebuild-all should dominate because the graph is too incomplete or maintenance cost too high. No aggregate score is permitted to hide a method that is cheap but leaves critical residue.

If ordinary dependency tracing matches correction completeness at lower cost, the meta-graph claim is not promoted. Suspected edges that cannot be confirmed remain suspected and are not counted as true discoveries. A no-residue scan after a bounded observation window is not treated as proof of completeness. Missing ground truth is reported as unknown rather than negative.

Real dependency ground truth is rarely complete, making evaluation difficult. Instrumentation changes the system and can expose private data. Residue scans can themselves become surveillance or performance burdens. The architecture therefore requires scope, TTL, and minimization controls.

This public paper is limited to benign assurance, provenance, human-agency preservation, lawful state transition, simulation, test infrastructure, and defensive resilience. It does not disclose operational target-selection logic, engagement optimization, platform-specific exploitation thresholds, live deception procedures, signature-emitter recipes, or methods that materially increase harmful capability. Any later operational research requires separate lawful authority, ethics and safety review, configuration control, and release adjudication.

A graph can only correct what it knows. DAG structure is valuable when it refuses to impersonate completeness and makes unknown-edge discovery part of stabilization. The contribution is not a claim that every domain should adopt one representation, threshold, interface, or governance stack. It is a falsifiable architecture and experiment package for determining where this mechanism carries load, where it inverts, and where a simpler system should win.

The submission bundle includes the manuscript source, compiled PDF, bibliography, preregistration, claim register, controls and null-handling document, release boundary, source manifest, configuration digest, dependency contract, figure source, and arXiv source archive. Internal source artifacts are cited by immutable digest where available. Restricted operational material is not included.

Breyden E. Taylor is the author and bears responsibility for the thesis, terminology, claims, boundaries, and decision to publish. Homeskillet assisted with source synthesis, drafting, artifact generation, typesetting, and build inspection. The Ubiquity Federation supplied prior artifacts, runtime implementations, and receipts. AI assistance is production history, not evidence.