Kungfu UNGFU™Developer Platform

Back to KFD-8formal reference / KFD-8

KFD-8 formal reference

Perspective must remain bound to admitted facts and declared loss

Formal reference metadata

Decision
KFD-8
Stable URL
https://kfd.libkungfu.dev/8/formal
Source path
docs/KFD-8-formal.md
Relationship
formal-reference-child-of-decision
Normative
false
Model status
experimental
Model version
1
Authority path
decisions/KFD-8.md

KFD-8 Formal Reference

Authoritative decision · Usage · KFD-7 formal reference

  • Status: experimental
  • Normative: no
  • Formal model version: 1
  • Authority: decisions/KFD-8.md
  • Decision status: draft

Object

At Fact cut f, an Atlas version is:

A^v = (id, root, perspective_holder, vantage, decision_scope,
       source_bindings, fact_cut, projection_policy, freshness_conditions,
       omissions, conflicts, unknowns, declared_loss, lineage)

Its observation projection is pi_A^v: F_f -> O_A. For candidate action u:

Supported_A(f, u) =
  RequiredFacts(u) visible under pi_A^v
  and SourceBoundary(A^v) satisfied
  and FreshEnough(A^v, u)
  and not MateriallyContradicted(A^v, u)

Support does not imply direction or authority.

Invariants

A1 Atlas identity is independent of session, query, path, and UI route.
A2 Equal payload does not erase source, cut, freshness, omission, or loss.
A3 Atlas does not imply Pursuit or Warrant.
A4 Transformation preserves source lineage and declares loss.
A5 Stale or degraded Atlas state cannot silently present current support.
A6 Moving a current ref does not rewrite an earlier Atlas root.

For bounded decision domain D, two Atlases are decision-equivalent only when they produce the same support decisions and interchangeable provenance, freshness, omission, conflict, and loss boundaries throughout D.

Transitions

Declare -> Refresh -> Transform | Degrade | Compare -> Supersede

Every consequential transition preserves prior roots. Concrete lifecycle labels remain Domain Profile-owned.

Falsifiers

The draft weakens if ordinary context or snapshot objects preserve equivalent decisions at lower total cost, if Atlas cannot remain distinct from Pursuit or Warrant, or if the responsibility does not transfer beyond its founding software implementation.