KTP Environmental Demo registered
ktp-demo · prototype · first public 2026-07-24 · Apache-2.0
Declaration
Runnable behavior demonstration of the KTP loop: identical actor, credential, action, and policy across four environments, with verdicts moved only by the environment and by accumulated trajectory cost (the sleeper scenario).
| governed object | action, trajectory, environment |
|---|
| decision outputs | ALLOW, SHAPE, VETO |
|---|
| enforcement points | in-process policy enforcement point (demo scope) |
|---|
| evidence outputs | hash-chained Flight Recorder records |
|---|
| known limitations | Behavior demo, not production enforcement: tamper-evident rather than tamper-proof; hand-set estimator weights published for attack; DEAUTOMATE not implemented in this demo; single-agent only; not yet published.
|
|---|
Maturity profile
| specification | implementation | independent validation |
|---|
| M1 | M2 | M0 |
Coordinates
| actor | |
|---|
| authority | capability, situational_approval |
|---|
| verbs | execute |
|---|
| environment | system_health, data_quality, identity_confidence, dependency_health, threat_pressure, uncertainty, cumulative_trajectory |
|---|
| functions | | sense | interpret | constrain | decide | enforce | record |
|---|
| 0.8 | 0.8 | 0.7 | 0.9 | 0.6 | 0.9 |
|
|---|
| time | initiation, during_action, across_trajectory |
|---|
Interfaces
provides: environment, decision, receipt · consumes: —
Relationships
| source | type | target | status | asserted by |
|---|
| ktp-demo | IMPLEMENTS | ktp | self_asserted | ktp-demo maintainer (Chris Perkins/nmcitra — founder edge, stays self_asserted until externally confirmed) |
Claims
| class | claim | evidence state | maturity |
|---|
| IMPLEMENTATION | 22 automated checks including 7 pre-registered falsifiers pass, covering environment-only causation, trajectory accumulation (sleeper), monotone resistance, conservative uncertainty, silent containment, and record integrity. | SELF_ASSERTED | M1 |
| SECURITY | The decision record is tamper-evident (hash-chained); it is not tamper-proof, and cryptographic non-bypassability is out of scope. | SELF_ASSERTED | M1 |
Coordination
offers: reference behavior, pre-registered falsifiers, published estimator parameters
needs: independent evaluator, second implementation to test conformance against