diff --git a/README.md b/README.md index 99e8dd9..cb13f38 100644 --- a/README.md +++ b/README.md @@ -26,6 +26,9 @@ Linux and macOS, no sudo, the archive's SHA-256 checked first. Windows, npm and One binary under 2 MB, zero third-party dependencies, nothing phones home. Also inside: **the individuality layer**, `probbit persona`, a temperament that lives outside the model: [swap the model, keep the individual](#the-individuality-layer-probbit-persona). +

a vast glowing cloud (the model) connected by one thin line to a small cyan-lit processor (probbit)

+

The spine beside the model: the model writes, probbit decides what the stance is and what the rules allow. 0.3 ms, beside the model.

+ ## Try it in 30 seconds ```sh @@ -171,6 +174,10 @@ chain 281.3 ms -> 0.390 ms; the external review's one-group routers ~0.09 ms exa (sampling only the residual component is open). ### Three tiers: exact, then sample, then gate + +

a rabbit mark inside a crystalline lattice while streams of possibilities bend around it

+

Held by construction: the engine only considers plans and stances that keep every rule in force.

+ - **Exact tiers** run first: enumeration (up to 2M feasible plans), a frontier dynamic program for programs whose groups share few resources, minimum-remaining-values enumeration for puzzles, and a components tier: independent parts solved separately, trees by sum-/max-product (a 1,000-variable chain: 0.39 ms exact vs 281 ms sampled), two-value groups @@ -354,6 +361,10 @@ lists every flag of a command with its default, and the exit codes. ## The individuality layer: `probbit persona` +

a field of a hundred small white agent-rabbit marks, one lit cyan

+

One persona file, a hundred individuals: same file, different seeds, every one keeps the habits.

+ + Give an agent a temperament that lives outside the model. A **persona** is a small file (YAML subset or JSON): traits with priors, moods with inertia, soft couplings, per-turn evidence, and habits that are hard rules. A seed makes an individual. Every turn compiles persona + the individual's state + the turn's inputs into ONE probbit-ir program, answered exactly in process; the @@ -402,6 +413,10 @@ to be measured per model (no such measurement has been made here). ### Test a character +

a corridor of glass event cards; one card cracks cyan beside a rabbit mark; a replay trace runs under the floor

+

The fuzz finds the flaw: the shortest event script that pushes an individual out of character, shrunk and replayable.

+ + A character property is a rule in habit syntax the stance must never break. `fuzz` searches event scripts for each individual's shortest counterexample; `prove` says `held by construction`, `proved for every event sequence` or `unknown`. The tutor as it shipped in 0.5.0 is kept as a fixture, so this runs from a clone with no keys and no model: diff --git a/docs/art/held-by-construction.jpg b/docs/art/held-by-construction.jpg new file mode 100644 index 0000000..6e82abf Binary files /dev/null and b/docs/art/held-by-construction.jpg differ diff --git a/docs/art/one-file-a-hundred-individuals.jpg b/docs/art/one-file-a-hundred-individuals.jpg new file mode 100644 index 0000000..ee7b1a9 Binary files /dev/null and b/docs/art/one-file-a-hundred-individuals.jpg differ diff --git a/docs/art/the-fuzz-finds-the-flaw.jpg b/docs/art/the-fuzz-finds-the-flaw.jpg new file mode 100644 index 0000000..0d6f7db Binary files /dev/null and b/docs/art/the-fuzz-finds-the-flaw.jpg differ diff --git a/docs/art/the-spine-beside-the-model.jpg b/docs/art/the-spine-beside-the-model.jpg new file mode 100644 index 0000000..1f1368c Binary files /dev/null and b/docs/art/the-spine-beside-the-model.jpg differ