Theory Map

Theory Map

PIC implements finite, checkable interfaces for five source theories.

The theory names can look abstract, but each one maps to a practical engineering role.

ECPT: Capability Flow

ECPT stands for Executable Capability Percolation Theory.

Plain-language role: it asks how useful, verified capability packets can move through a fixed population and become usable paths, closures, and certificates.

In PIC, ECPT appears as:

• capability packet registries;
• packet promotion;
• closure witnesses;
• execution-available paths;
• hidden-injection checks;
• collective phase certificates.

ECPT does not prove real ASI. It provides protocol-relative finite checks about declared packets, agents, thresholds, and baselines.

BIT: Bottleneck Finding

BIT stands for Bottleneck Inversion Theory.

Plain-language role: it asks which missing witness, route, or finite check would unlock the most useful next step.

In PIC, BIT appears as:

• bottleneck tasks;
• finite witness records;
• unlockable-potential reports;
• route obligations;
• residual-preserving prioritization.

BIT helps identify work worth doing next. It does not make missing evidence disappear.

TRC: Typed Trace Checking

TRC stands for Typed Reality Compilation.

Plain-language role: it asks whether a claimed process has a typed, executable, resource-aware trace.

In PIC, TRC appears as:

• typed frontier records;
• executable trace normal forms;
• lifecycle and resource ledgers;
• external proof obligations for physical or domain-specific claims.

TRC separates checkable trace structure from unobserved physical truth.

SQOT: Attention And Queue Discipline

SQOT stands for Salience-Queue Occupation Theory.

Plain-language role: it asks what should be handled next while preserving diagnostic reserve.

In PIC, SQOT appears as:

• salience schedules;
• quarantine decisions;
• stale packet handling;
• hazard-aware queueing;
• residual-reduction prioritization.

SQOT is a scheduling layer. It is not a truth layer.

ALT: Reusable Abstraction Capital

ALT stands for Abstraction Liquidity Theory.

Plain-language role: it asks whether an idea, trace, pattern, or packet is reusable enough to reduce future work after costs and risks are counted.

In PIC, ALT appears as:

• abstraction-token admission;
• liquidity certificates;
• negative liquidity;
• deprecation and resurrection;
• baseline refresh;
• reproduction diagnostics;
• scoped acceleration certificates.

ALT treats raw external content as candidate material, not as capital.

How The Layers Work Together

candidate material
-> packet intake
-> evidence and trace checks
-> residual ledger
-> salience queue
-> verifier routing
-> packet promotion or quarantine
-> collective certificate or next bottleneck

The important discipline is scope. A packet can be useful for one profile, route, receiver, or validity domain without being globally true or generally settled.