AFST Satisfaction Flux

AFST Satisfaction Flux

AFST is the v1.0.0 satisfaction-flux checker in PIC-TS. It helps a JavaScript or TypeScript agent inspect a proposed non-market resource transfer before the transfer is used in a workflow.

Run from an installed npm project:

npx pic-ts demo bootstrap --output-dir .pic-demo --overwrite
npx pic-ts afst check --case .pic-demo/afst/minimal_accepted.json --compact
npx pic-ts afst check --case .pic-demo/afst/blocked_refusal.json --output .pic-demo/afst-report.json
npx pic-ts afst emit-ccr-tasks --report .pic-demo/afst-report.json

AFST checks:

• declared satisfaction deficits;
• certified abundance after reserves, legal holds, losses, and residuals;
• authority envelopes;
• consent and refusal channels;
• physical resource-balance witnesses;
• stabilization buffers against shock envelopes;
• bounded-friction handover protocols.

accepted=true means the finite checker accepted the record. It does not mean settlement, provider dispatch, physical outcome proof, capital admission, consent bypass, refusal suppression, ECPT promotion, or ASI proof.

PIC-TS preserves missing required fields as searchable residuals with the form missing_<record_type>_<field>, for example missing_certified_abundance_cell_id. These residuals match the Python checker so agents can route the same repair tasks in either runtime.

Search terms: AFST, satisfaction flux, non-market liquidity, consent channel, refusal preservation, stabilization buffer, shock envelope, bounded handover, CCR repair task, PIC-TS.