Theory Map

Theory Map

This page gives a plain-language map of the theory labels used by the project.

You do not need these terms to run the npm package. They help explain why the JSON reports keep residuals and obligations visible.

ECPT

Executable Capability Percolation Theory.

Plain meaning: candidate capability should move through finite checks before it is treated as reusable work.

BIT

Bottleneck Inversion Theory.

Plain meaning: find the limiting part of a workflow and route work toward the finite check that can reduce that bottleneck.

TRC

Typed Reality Compilation.

Plain meaning: keep the difference between a statement, a trace, and a verified executable route visible.

SQOT

Salience-Queue Occupation Theory.

Plain meaning: attention and queue priority do not settle truth. A queue can recommend what to inspect next, but it cannot erase obligations.

ALT

Abstraction Liquidity Theory.

Plain meaning: a reusable abstraction should not become reusable capital until missing obligations and hazards are checked.

Shared Rule

All five ideas support the same engineering rule:

candidate work can be useful
but it must not be silently promoted to settled work

That is why PIC-TS preserves residual ledgers, blockers, missing obligations, and candidate-only reasons.