1 · the four House of Dust axes are wired into the ledger: each deed has a room, a light (the fire clock raises it from deed IX), a material trace, and whoever else is in the room. Witnesses learn the deed if the room is lit; a sack entering a lit room finds the traces left there. A tied sack cannot act for two deeds. 2 · T ZERO in the player: pause and see the twelve ways the current deed could go, with the agents' probability and the deed's believability; tap one to rewrite it. 3 · SIX MEMOS: a MAP-Elites archive over exactitude (weakest strand) x multiplicity (effective number of doers) x visibility (deeds known to a third sack). Only films whose four strands hold enter. 4 · exact count: deeds I-IV enumerated with the full ledger, deeds V-XII counted by dynamic programming over (who is alive, who is tied until when). A property test on 20,000 random films agrees with the full ledger on every film. Believability tiers depend on continuous feelings, so they are estimated with a 95% interval.
title: Oulipian Anticombinatorics and Epistemic Narrative Ledgers
seed: Multi-axial scene grammars wired into epistemic state ledgers, using anticombinatorial pruning, quality-diversity archives, and dynamic programming to navigate trillions of narrative histories.
ancestral_formalisms:
key_sources:
- "Alison Knowles & James Tenney (1967), The House of Dust — four-list stochastic quatrain grammar (material, site, light, inhabitants)"
- "Italo Calvino (1967), Prose and Anticombinatorics — Oulipian constraint satisfaction to rule out inconsistent narrative permutations"
- "Italo Calvino (1967), t zero / The Castle of Crossed Destinies — branching temporal cones and orthogonal row/column dual-story matrices"
- "Italo Calvino (1988), Six Memos for the Next Millennium — multidimensional aesthetic axes (exactitude, multiplicity, visibility)"
- "Jean-Baptiste Mouret & Jeff Clune (2015), MAP-Elites — quality-diversity illumination over behavioral/aesthetic feature grids"
- "Richard Bellman (1957) & Randal Bryant (1986), Dynamic Programming / BDDs — exact model counting over compressed state-transition lattices"
inherited_lessons:
- "Treat generative syntax not as decorative surface text, but as causal operators that mutate physical trace and witness tables"
- "Use the computer as an anticombinatorial sieve to eliminate impossible histories rather than blindly sampling raw permutations"
- "Replace single-objective fitness collapses with an archive of local optima partitioned across orthogonal aesthetic dimensions"
- "Enforce dual-axis consistency: a sequence must hold together globally in deed order and locally along each agent's private timeline"
governing_impressions:
- "A burning house where every room, light level, and witness turns a combinatoric poem into a forensic state machine"
- "An 8.9-trillion-leaf game tree compressed into a tractable lattice of epistemic bitmasks and quality-diversity cells"
origin_conditions:
first_problem_statements:
- "Expand single-axis deed sequences (actor-action-target) into multi-axial causal scenes where material, room, light, and witnesses govern evidence persistence and knowledge propagation"
- "Prevent mode collapse in Monte Carlo narrative search (where top runs converge on a single dominant trope) while retaining exact tier counts across 8.9 trillion trajectories"
first_representations:
- "Quatrain scene tuple: (Deed, Material, Site, Light, Inhabitants)"
- "Epistemic and physical state ledger: bitmasks for alive, bound, room traces, fire clock, and pairwise agent knowledge"
- "Bipartite row/column narrative strand matrix"
- "3D Quality-Diversity (MAP-Elites) archive indexed by (Exactitude, Multiplicity, Visibility)"
first_invariants:
- "Dead or tied sacks cannot initiate deeds requiring mobility or agency"
- "Knowledge of a deed transfers to an inhabitant if and only if they occupy the same Site and the Light level permits observation or persistent Material traces are discovered"
- "Fire light acts as a monotonic countdown clock toward the terminal burning of the house"
- "Every sack's individual projection (what it did and what was done to it) must form a causally and psychologically coherent strand"
first_bottlenecks:
- "Combinatorial state-space explosion when multiplying 12 deeds per step by 4 House of Dust axes across multi-step film horizons"
- "Mode collapse under scalar scoring (e.g., million-film random sampling converging repeatedly on Ogiva knifing Roessler)"
- "State-equivalence bloat during exact dynamic programming if epistemic ledgers are not canonically quotiented"
first_failed_approaches:
- "Single-axis deed transitions with hardwired global knowledge spreading, which ignored spatial-visual causality and physical room evidence"
- "Keep-top-k scalar leaderboards over random rollouts, which collapsed structural diversity into a single repetitive murder motif"
first_signals:
- "All three top films in the million-film practical run shared the exact same opening deed (Ogiva knifing Roessler)"
- "Consequence beats left forensic marks that lacked a persistent room or material substrate to anchor later discovery"
formal_matrix:
home_domains:
- "combinatorial narrative generation"
- "epistemic logic and multi-agent state machines"
- "quality-diversity optimization (MAP-Elites)"
- "exact model counting (#SAT / dynamic programming)"
adjacent_domains:
- "Oulipian formal literature"
- "symbolic execution and abstract interpretation"
- "information-theoretic prefix tree clustering"
- "interactive lookahead UIs"
primitive_objects:
- "Sacks (agents with vitality, restraint state, and motive vectors)"
- "Deeds (12 discrete actor-target causal transitions)"
- "Frame Quatrains (Material, Site, Light, Inhabitants)"
- "Traces (persistent room-material evidence tokens)"
- "Ledger States (compressed bitvectors of vitality, bondage, traces, and epistemic awareness)"
transformation_rules:
- "Scene Transition Operator: applies a (Deed, Frame) tuple to a Ledger State, appending Material traces to the Site and updating Inhabitant knowledge conditioned on Light"
- "t-zero Lookahead Fan: freezes a prefix history and evaluates the 12 next-deed conditional probabilities and successor states"
- "Six Memos Projection: maps a completed film trajectory to (Exactitude, Multiplicity, Visibility) coordinates and updates the cell's elite archive"
- "Exact State-Lattice DP Step: aggregates trajectory counts across equivalent compressed Ledger States per deed depth"
success_pressures:
- "epistemic and physical consistency (Exactitude)"
- "structural and motivational diversity across the archive (Multiplicity)"
- "causal legibility of witness chains (Visibility)"
- "real-time interactive responsiveness in the t-zero player fan"
- "exactness of state-space tier enumeration"
epochs:
- period: "1967–1979 (Oulipian & Cybernetic Genesis)"
stage: "intuition"
locale: "Computer poetry labs and Oulipo workshops (Knowles, Tenney, Calvino)"
primary_sources:
- "Knowles & Tenney, The House of Dust (1967)"
- "Calvino, Prose and Anticombinatorics (1967)"
- "Calvino, t zero (1967) & The Castle of Crossed Destinies (1973)"
dominant_questions:
- "How can stochastic list-grammars generate inhabited spatial worlds?"
- "How do formal constraints prune an astronomical permutation space down to a tight core of logically valid murder mysteries?"
representations:
- "Four-list Cartesian slot grammars"
- "Tarot grid intersections and deductive murder tables"
methods:
- "Stochastic slot filling"
- "Anticombinatorial constraint elimination"
proof_styles:
- "combinatorial"
- "constructive"
implementation_patterns:
- "PRNG table lookups"
- "declarative rule pruning"
evaluation_logic:
- "Poetic resonance of juxtaposed axes and logical uniqueness of the culprit sequence"
blockers:
- "Lack of dynamic state propagation between consecutive quatrains"
tensions:
- "pure stochastic permutation vs strict deductive closure"
influence_weight: 85
- period: "Million-Film Sampling Era (Baseline Ledger)"
stage: "prototype"
locale: "Single-axis deed simulator and Monte Carlo scorer"
primary_sources:
- "Abominable House 8.9-trillion film space"
- "Million-film Monte Carlo sampler"
dominant_questions:
- "Which deed sequences maximize overall narrative coherence across random rollouts?"
representations:
- "12-deed sequences"
- "Fixed-rule knowledge propagation tables"
methods:
- "Monte Carlo rollout sampling"
- "Scalar tier scoring"
proof_styles:
- "probabilistic"
implementation_patterns:
- "parallel batch simulation"
- "top-k leaderboard tracking"
evaluation_logic:
- "Highest scalar score across 1,000,000 sampled films"
blockers:
- "Scene framing varied only on who did what to whom; top films converged on identical tropes (Ogiva knifing Roessler)"
tensions:
- "sampling speed vs structural diversity"
influence_weight: 70
- period: "Wired Frame & Quality-Diversity Era (Current Build Agenda)"
stage: "formalization"
locale: "Interactive player and Six Memos archive engine"
primary_sources:
- "House of Dust 4-axis causal wiring"
- "t-zero interactive 12-deed fan"
- "Calvino Six Memos MAP-Elites grid"
dominant_questions:
- "How do room, material, light, and witnesses causally govern who learns what?"
- "How do we expose local branching probabilities to a human explorer and preserve distinct archetypes of good films?"
representations:
- "Causal quatrain-ledger transitions"
- "12-branch probability fan"
- "Multi-dimensional elite grid (Exactitude x Multiplicity x Visibility)"
methods:
- "Epistemic state updates conditioned on light and co-presence"
- "Quality-diversity illumination"
- "Prefix entropy stopping (If on a winter's night three-deed clustering)"
proof_styles:
- "constructive"
- "combinatorial"
implementation_patterns:
- "bitmask ledger transitions"
- "memoized lookahead evaluation"
- "grid-cell elitism"
evaluation_logic:
- "Archive coverage across Six Memos cells, strand-level coherence per sack, and interactive clarity of the t-zero fan"
blockers:
- "Expanded frame space invalidates naive unfactored state counting"
tensions:
- "combinatorial richness of 4 new axes vs tractability of exact state counting"
influence_weight: 100
- period: "Exact Anticombinatorial DP Era (Next Horizon)"
stage: "optimization"
locale: "Compressed state-lattice enumerator"
primary_sources:
- "Simplified ledger state DP (alive, tied, knows)"
- "Castle of Crossed Destinies dual-strand validator"
dominant_questions:
- "How many consistent films exist in each tier across all 8.9 trillion possibilities once the House of Dust axes are wired in?"
representations:
- "Canonical bit-packed ledger states"
- "Step-indexed frequency histograms over state equivalence classes"
methods:
- "Forward dynamic programming over quotiented ledger states"
- "Dual row/column strand consistency filtering"
proof_styles:
- "combinatorial"
- "asymptotic"
implementation_patterns:
- "hash-consed state tables"
- "double-buffered frontier maps"
evaluation_logic:
- "Exact tier counts matching exhaustive truth without sampling variance"
blockers:
- "Cross-product of epistemic matrices and room-trace histories if not aggressively quotiented"
tensions:
- "state fidelity vs DP table cardinality"
influence_weight: 90
migration_map:
- from: "Single-axis deed sequence with fixed global knowledge rules"
to: "Four-axis House of Dust quatrain wired into a room-light-witness epistemic ledger"
reason: "Conceptual unification of scene framing and causal forensic mechanics"
formal_shift: "Knowledge transfer becomes a conditional function K'(w, d) = K(w, d) OR (Site(w) == Site(d) AND Light >= threshold) OR Discovers(w, Trace(Material, Site))"
- from: "Scalar 'best of a million' top-k leaderboard"
to: "Six Memos multidimensional quality-diversity grid"
reason: "Mode collapse where all top sampled films converged on Ogiva knifing Roessler"
formal_shift: "Replaces argmax_f Score(f) with an elite map M[e, m, v] = argmax_{f in cell(e,m,v)} Quality(f)"
- from: "Passive linear film playback"
to: "t-zero interactive 12-deed probability fan and three-deed high-entropy opening clusters"
reason: "Human-in-the-loop navigation of a massively expanded combinatorial tree"
formal_shift: "Exposes the local transition distribution P(d_{t+1} | State_t) and halts prefix rollouts where Shannon entropy H(D_{t+1} | State_t) is maximized"
- from: "Monte Carlo random rollout estimation"
to: "Exact anticombinatorial dynamic programming over simplified ledger states"
reason: "Calvino's 'Prose and Anticombinatorics' mandate to rule out inconsistent combinations and count exact tier populations"
formal_shift: "Collapses 8.9 trillion path rollouts into a forward DP recurrence Count(t+1, s') = sum_{s, a: T(s,a)=s'} Count(t, s)"
construction_axis:
core_abstractions:
- "SceneQuatrain (Deed, Material, Site, Light, Inhabitants)"
- "LedgerState (vitality mask, restraint mask, room-trace bitboard, fire clock, epistemic adjacency matrix)"
- "SixMemosDescriptor (Exactitude, Multiplicity, Visibility, Quickness, Lightness)"
- "SackStrand (per-agent longitudinal projection of deeds done and suffered)"
reusable_patterns:
- "Bitboard state transition with monotonic countdown clock (fire light)"
- "Quality-Diversity (MAP-Elites) archive binning"
- "One-step lookahead probability fan (t-zero freeze)"
- "Forward DP state-count aggregation with canonical symmetry reduction"
canonical_data_structures:
- "64-bit / 128-bit packed integer LedgerState keys"
- "Multi-dimensional dense array for the Six Memos elite grid"
- "Radix / prefix trie for three-deed opening equivalence classes"
- "Sparse hash map (StateKey -> uint128 count) for exact tier enumeration"
interface_surfaces:
- "Interactive film player with pause-triggered 12-thumbnail t-zero fan"
- "Six Memos 3D/faceted grid browser replacing the single 'best of a million' button"
- "Quatrain subtitle/ledger inspector showing Material, Site, Light, and Witness updates per beat"
decomposition_strategy:
- "Three-stage incremental build: (1) causal 4-axis ledger wiring, (2) local t-zero lookahead fan, (3) global Six Memos QD grid, followed by (4) exact state-space DP counting"
evidence_stack:
primary_materials:
- "Abominable House ledger engine and 12-deed transition rules"
- "Knowles's four House of Dust lists (Material, Site, Light, Inhabitants)"
- "Calvino's Oulipian essays and structuralist fictions"
secondary_materials:
- "Million-film practical run logs showing top-3 convergence on Ogiva knifing Roessler"
- "8.9-trillion total combinatorial trajectory calculation"
research_surfaces:
- "Per-sack motive and evidence consistency validators"
- "t-zero conditional probability distributions"
- "Six Memos grid occupancy heatmaps"
composition_pipeline:
- "problem framing"
- "representation choice"
- "formal claim"
- "prototype"
- "proof/test"
- "optimization"
- "refinement"
risk_axis:
formal_risks:
- "Epistemic state explosion if room traces and multi-order witness knowledge ('who knows who knows') are tracked without bounded depth"
- "Over-constraining the fire-light countdown clock so that valid late-film witness paths are prematurely extinguished"
computational_risks:
- "DP hash-table memory blowup when adding 4 House of Dust axes per deed if frame attributes are not factored or marginalized into the minimal LedgerState"
- "Latency spikes in the player if the t-zero 12-deed fan computes deep rollout probabilities synchronously on the UI thread"
epistemic_risks:
- "Metric collapse inside individual Six Memos bins if bin discretization is too coarse"
- "False strand coherence where globally valid deed order hides contradictory motives along a single sack's personal timeline"
usability_risks:
- "Visual overload in the player when displaying quatrain axes, 12 fan thumbnails, and multi-cell grid coordinates simultaneously"
mitigation_levers:
- "Quotient LedgerState strictly to (alive, tied, first-order knows, active room traces) before running exact DP"
- "Factor scene transitions into deterministic ledger updates plus precomputed frame weights"
- "Enforce the Castle of Crossed Destinies dual-strand test as a hard filter before inserting films into the Six Memos grid"
vibe_clusters:
- "symbolic-machinery"
- "algorithmic-elegance"
- "systems-rigor"
- "proof-driven"
- "optimization-pressure"
mood_families:
- "forensic"
- "precise"
- "inventive"
- "constructive"
- "austere"
formal_jukebox_timeline:
- year: 1967
slot: "A1"
source: "Alison Knowles & James Tenney, The House of Dust"
why: "Supplies the four-axis spatial-material quatrain (Material, Site, Light, Inhabitants) that transforms abstract deeds into situated physical scenes."
- year: 1967
slot: "A2"
source: "Italo Calvino, Prose and Anticombinatorics"
why: "Reframes computation in murder mysteries from random generation to exact constraint pruning and combinatorial counting."
- year: 1967
slot: "B1"
source: "Italo Calvino, t zero"
why: "Inspires the interactive player fan that freezes a narrative instant to expose all 12 possible next deeds and their transition probabilities."
- year: 1973
slot: "B2"
source: "Italo Calvino, The Castle of Crossed Destinies"
why: "Establishes the dual-reading invariant where every scene must cohere both in global deed chronology and along each character's private strand."
- year: 1988
slot: "C1"
source: "Italo Calvino, Six Memos for the Next Millennium"
why: "Provides the orthogonal aesthetic coordinates (Exactitude, Multiplicity, Visibility) used to partition the quality-diversity archive."
signature_construction_ecology:
problem_logic: "Narrative generation is framed as an anticombinatorial search and exact counting problem over a causal-epistemic state machine."
representation_logic: "Each scene is a 5-tuple (Deed, Material, Site, Light, Inhabitants) acting on a bit-packed LedgerState of vitality, restraint, room traces, and witness knowledge."
invariant_logic: "Physical traces persist in rooms by material type; fire light monotonically advances the burning clock; knowledge updates strictly obey co-presence and illumination thresholds."
method_logic: "Wire the 4 House of Dust axes into the ledger first, expose local branching via the t-zero 12-deed fan, illuminate the global space via a Six Memos MAP-Elites grid, and finally run exact state-lattice DP."
proof_logic: "Exact tier populations are established constructively by forward dynamic programming over canonical ledger equivalence classes and verified by dual row/column strand checks."
implementation_logic: "Bitwise state transitions in the core ledger engine feeding an interactive thumbnail fan UI and a multi-dimensional grid archive."
optimization_logic: "Factor the 4 frame axes through minimal sufficient ledger statistics (alive, tied, knows) so exact counting scales across 8.9 trillion trajectories without enumerating raw paths."
evaluation_logic: "Success is measured by non-collapsing diversity across the Six Memos grid, per-sack strand validity, and exact agreement between DP counts and small-horizon exhaustive enumeration."
generalization_logic: "The quatrain-to-ledger architecture transfers to any multi-agent forensic simulation or interactive narrative where spatial-visual context governs epistemic state."
elegance_logic: "Poetic Oulipian constraints (quatrains, tarot crossings, six memos) map one-to-one onto concrete algorithmic primitives (bitmasks, dual projections, MAP-Elites, #SAT DP)."
interface_logic: "A paused film frame fans out into 12 probability-weighted next-deed thumbnails while a faceted Six Memos grid lets the viewer browse distinct species of narrative excellence."
intervention_logic: "Replaces brute-force random sampling and single-winner mode collapse with a transparent, navigable, and exactly countable narrative state space."