Kungfu UNGFU™Developer Platform

Back to KFD homeimplementation-and-independent-verification-guide / non-normative

Implement and verify KFD independently

Numbered decisions remain authoritative. This page projects packaged implementation and verification evidence without activating drafts or certifying adopters.

Canonical source GitHub · docs/independent-verifier.md ↗ Rendered projection · pinned c758ab01

Two verification lanes

Choose the evidence path you need

Implement and verify KFD independently

implementation-and-independent-verification-guide

Claim boundary: Render the declared facts and links without converting package verification into certification, draft activation, independent adoption, or production fitness.

How KFD changes itself

package-owned-governed-self-change-projection

Claim boundary: This page projects the fixed KFD package. Numbered decisions, Profile contracts, exact evidence roots, and accountable human authority remain authoritative.

Implement and verify KFD independently

KFD is published as an implementable protocol package, not only as rendered prose. A consumer can start from one immutable @kungfu-tech/kfd release and inspect the numbered decisions, schemas, fixtures, failing cases, fixed vectors, and offline verifiers without installing Kungfu, checking out Buildchain, opening an Atlas workspace, reaching a private registry, or using the network.

Start from a fixed package cut

Pin one immutable package version and retain its npm integrity and source coordinate. The consuming site publishes those exact release coordinates in its /manifest.json; inside the package, kfd.release.json declares the anchored package cut, while the public Buildchain release Passport binds the published artifact. Do not infer conformance from the mutable latest alias or from a rendered page alone.

The machine-readable KFD-1 through KFD-13 semantic self-sufficiency matrix is the implementation map. For every numbered decision it names the normative source, available schemas, fixtures, failure tests, offline verifiers, current coverage, and explicit gaps. Empty fields and partial or gap coverage are work still owed; they are not silently filled by Kungfu product behavior.

An independent implementation can therefore proceed decision by decision:

  1. read the numbered decision as authority;
  2. implement the declared schemas and invariants without importing product internals;
  3. run the packaged positive, negative, and fixed-vector evidence where it exists;
  4. preserve the matrix’s stated gaps and lifecycle status in its own claim;
  5. publish an adopter witness without asking the KFD package to self-certify it.

Run the package-only verifier

For the experimental Warrant evidence profile:

node bin/kfd.mjs verify warrant-evidence \
  profiles/warrant-evidence/fixtures/buildchain-dev-delivery-warrant.json --json

node scripts/check-warrant-evidence.mjs

The first command verifies a Primitive Evidence Bundle against the packaged registry. The second checks all four retained bundles, all fixed KFD-10 vectors, manifest digests, forbidden dependency boundaries, and a freshly packed npm artifact in a temporary clean-room directory.

The packaged Warrant Evidence manifest fixes 23 positive and negative lifecycle vectors, declares zero runtime dependencies, and forbids product checkouts, private sources, and network access. The first-wave report separates proved, partial, missing, and invalidated outcomes so an implementer can reproduce the current evidence without inheriting its conclusions. The second-wave report adds current protected Buildchain v3 and Kungfu KFX roots, competing models, and a falsifier for every evidence-matrix row.

What a pass proves

  • the named JSON contract and exact public source coordinate are structurally valid and present in the packaged evidence registry;
  • generic and product-profile claims remain separately evidence-graded;
  • the bundle cannot set qualification, certification, or promotion authority;
  • the fixed experimental KFD-10 vectors produce their registered outcomes;
  • the package contains all required inputs and runs the verifier offline.

What a pass does not prove

A pass does not activate KFD-10, certify a product, authenticate the upstream repository, execute upstream code, establish legal authority, prove security or production fitness, or show independent adoption beyond the packaged clean-room harness.

KFD-10 remains draft. The current Warrant report remains partial. Its second wave retains exact Buildchain v3 and Kungfu KFX source cuts plus a competing-model and falsifier matrix, with qualifying: false and selfCertified: false. The package demonstrates a bounded independent verification method; only separately accountable adopter evidence can demonstrate an independent implementation.

The Rust/WASM verifier remains authoritative for its registered kinds. The Warrant evidence verifier is a separate public JavaScript profile surface and does not silently widen the Rust/WASM inventory.

Implementation evidence

Verify one immutable package version, integrity, source coordinate, and rendered-site consumption cut; never infer conformance from a mutable alias.

Package
@kungfu-tech/kfd@1.0.0-alpha.67
Coverage
13 decisions · 5 complete · 8 partial · 0 gap
Warrant profile
kfd-warrant-evidence@0.2.0-alpha.1 · draft · 23 fixed vectors

Claim boundary: Passing the profile proves only the fixed KFD package cut and retained evidence inputs. It does not activate KFD-10, certify an adopter, authenticate an upstream repository, or prove production fitness.

Page metadata

Route
/verify/
Relationship
implementation-and-independent-verification-guide
Normative
false
Projection source
GitHub · docs/independent-verifier.md
Package
@kungfu-tech/kfd@1.0.0-alpha.67