Skip to content

Instantly share code, notes, and snippets.

@chris-garrett
chris-garrett / MFIC.md
Created July 1, 2026 18:26 — forked from pmarreck/MFIC.md
MFIC — Mechanically-Falsifiable Independent Control: a discipline for enforced tests and runtime checks that keep agents honest

MFIC — Mechanically-Falsifiable Independent Control

A discipline for checks that can't be fooled by the same mistake that produced the work.

Abstract. When the author of a piece of work — an LLM, or a human moving fast — can be confidently and silently wrong, the usual defenses fail quietly: a test written from the same mistaken assumption as the code passes while the code is broken. MFIC is the class of check that escapes this trap, defined by four properties that must all hold at once. It is Mechanical (cases swept by machine, not hand-picked, so nothing is silently omitted), Falsifiable (each case genuinely bites when the work is wrong, on inputs you couldn't pre-arrange to pass), Independent (its verdict comes from the contract or the data — a source the producer doesn't control — which is segregation of duties restated for software), and a real Control (it holds the authority to block the bad outcome, not merely log it). This is the COSO / Sarbanes-Oxley model of internal co

@chris-garrett
chris-garrett / gist:8b9831ca2e2c05eacaa16b75f15213bf
Created December 13, 2017 00:40
initial nginx config for feathers.js
upstream app_server {
ip_hash;
server app_react:3000 max_fails=3 fail_timeout=30s;
}
upstream api_server {
ip_hash;
server api_feathers:3040 max_fails=3 fail_timeout=30s;
}
@chris-garrett
chris-garrett / gist:8637c2216f7d62d327bb
Created August 26, 2014 18:11
Dumping startup parameters
Collections::Map<CSI::String, CSI::String> params = m_server->StartupParameters();
Collections::Map<CSI::String, CSI::String>::iterator piter;
for (piter = params.begin(); piter != params.end(); piter++)
{
logger.Info.Format("{0} : {1}", piter->first, piter->second);
}
@chris-garrett
chris-garrett / Client
Created August 26, 2014 17:25
Adding a command.
// In javascript
var params = {
"ViewName" : "MyView",
"Interacting" : true
};
pureweb.getClient().queueCommand('SetInteracting', params, function (sender, args) {
});