The Great Library of SISO · Canonical operating constitution · 2026-08-02
God Questions infrastructure
A dependency-gated program for making SISO's highest-value questions visible, evidence-connected, assumption-aware, agent-addressable, action-linked, and capable of receiving verified learning—without turning the Great Library into a corpus warehouse, evidence court, execution runtime, or autonomous allocator.
The Observatory, question Works, metadata Releases, answer-lineage model, research method, and append-only Ecosystem Intelligence ledger already exist. The first tranche extends those contracts only where current fixtures and generated readers prove a need. GQ-009 remains
researching; a coherent constitution or green build is not an accepted answer.Purpose and outcome contract
God Questions, publicly presented as Frontier Questions, exist to turn consequential uncertainty into better decisions and reusable learning. The infrastructure succeeds when a cold human or agent can reconstruct what is being asked, which decision may change, what assumptions carry the answer, what evidence supports or challenges them, what approved action was attempted, and what verified observation came back.
The system adopts the Frontier Question identity model, question-driven research loop, dossier and CRM example, Ecosystem Intelligence contract, and build-first operating plan. This document reconciles them into one implementation constitution; it does not create a competing registry or portfolio.
Constitutional rules
- One identity spine. A question is a Work. An accepted answer is an immutable Release. A Snapshot selects the current public view. An Event records operational motion. No dossier database receives parallel identity authority.
- Owner-held payloads. The Library may preserve public-safe references, hashes, states, summaries, and lineage. Raw corpora, private locators, client material, operational databases, model traces, and rights-bearing payloads remain with their owners.
- Observation is not truth. An agent response, experiment result, or Observation Receipt is evidence input. Evidence Engines adjudicate claims; the question steward decides answer disposition after the required review.
- Proposal is not authority. An Epistemic Demand Package or Action Candidate cannot authorize execution. Only a named human or domain owner may approve an immutable, expiring Execution Mandate.
- Learning proposes change. A Learning Return may challenge assumptions, propose a successor Answer Release, record no change, or reopen a question. It never silently rewrites a Work, Release, routing rule, capability, or public registry record.
- Assumptions remain attackable. Every load-bearing assumption has an address, falsifier, status, dependency edge, evidence links, and review point. Confidence without a reversal condition is decoration.
- Automation earns promotion. Repeated manual fields and checks may become validators, tripwires, compilers, or capabilities only after fixtures show decision value, bounded false-positive cost, ownership, rollback, and replay evidence.
- Old truth stays citable. Corrections use successor records. Accepted Releases, Snapshots, Events, Decisions, and mandates are not rewritten to make a failed path look successful.
Constitutional ownership
| Owner | Owns and produces | Does not own |
|---|---|---|
| Mission steward | Durable direction, principles, value test, and non-negotiable boundaries. | Question answers, project approval, or runtime execution. |
| Question steward | Stable epistemic frame, assumptions, evidence criteria, answer lineage, refresh triggers, and Answer Release/no-change/reopen disposition. | Budgets, scheduling, evidence adjudication by preference, or execution. |
| Foundry | Source-universe discovery, watch signals, candidate sources, and discovery receipts. | Claims, answers, public promotion, or portfolio allocation. |
| SISO Knowledge | Corpus custody, provenance, retrieval, graphs, indexes, and rights-aware source access. | Public registry identity, approval, or truth selection. |
| Evidence Engines | Claim extraction, contradiction mapping, evidence grading, and adjudicated evidence packages. | Mission, budget, runtime work, or automatic Answer Releases. |
| Human/domain decision owner | Value, risk, rights, budget, urgency, approval, rejection, and an expiring Execution Mandate. | Epistemic truth or hidden expansion of the approved scope. |
| Operating architecture | Mutable Action Candidates, work-package design, routing proposals, evaluation plans, and learning-return routing. | Self-authorization, corpus custody, adjudication, or universal runtime control. |
| Independent runtimes and domain systems | Approved execution, artifacts, operational observations, stop behavior, and rollback. | Answer selection or direct public-truth writes. |
| Independent verifier | Declared-scope process and outcome verification, measured deltas, and verification receipts. | Claims beyond the observed scope or question stewardship. |
| Great Library | Public-safe identity, current program projection, citations, ADRs, Events, Releases, Snapshots, and generated reading surfaces. | Company operation, private evidence storage, authorization, runtime execution, or evidence adjudication. |
One canonical object graph
Mission
→ Frontier Question Work + research contract
→ public-safe program projection
→ Assumption references
→ Evidence connections owned by Foundry / Knowledge / Evidence Engines
→ Typed action-and-learning lineage references
→ Answer Releases (accepted answers only)
→ Whole-Library Snapshot selection
Epistemic Demand Package
→ mutable Action Candidate
→ human/domain approval or rejection
→ immutable expiring Execution Mandate
→ independently owned runtime
→ Observation Receipt
→ Evidence Engine claim candidates and adjudication
→ Learning Return
→ Answer Release | explicit no-change | reopen proposal
→ optional capability-promotion proposal
The public Work projection references this graph; it does not materialize the private payloads or own the execution nodes. Each reference must identify its owner and authority state so an agent cannot confuse discoverability with permission.
Object and interface contracts
| Object | Minimum contract | Authority and storage boundary |
|---|---|---|
| Question Work | Stable Work ID, question label and wording, state, decision target, success criteria, falsifiers, evidence gaps, answer shape, refresh policy, publication boundary. | Canonical in the Library; descriptive current state, not an accepted answer. |
| Assumption | Question-scoped stable ID, level, scope, statement, status, confidence, falsifier, dependencies, supersession, evidence-connection IDs, and review date. Dependents are derived from dependency edges; evidence-for and evidence-against are expressed by typed support/challenge connections rather than duplicated lists. | The Library may project public-safe current state. Detailed reasoning and private evidence stay with the steward or evidence owner. |
| Evidence connection | Stable reference ID, source type, owning Work, non-sensitive reference, relevance hypothesis, rights state, explicit public-safe-metadata assertion, observation date, owner-held provenance receipt, revision or digest state, summary, and the assumptions supported or challenged. | A pointer and receipt, never a replacement Source card or raw corpus. Creator, edition, source span, and content provenance remain resolvable through the owning receipt. Existence does not mean the referenced claim is accepted. |
| Epistemic Demand Package | Question and frame revision, decision to change, assumptions, prediction, required evidence, falsifiers, information value, deadline, rights/privacy envelope, expiry. | Question steward or operating architecture; defines learning demand, not permission. |
| Action Candidate | Demand hash, value hypothesis, candidate work packages/routes, expected cost/risk, evaluation, stop/rollback, expected capability outputs. | Mutable proposal owned by the operating architecture; rejectable without mandate. |
| Execution Mandate | Candidate and demand hashes, decision owner, approval receipt, approved scope/budget, privacy envelope, route envelope, evaluation hash, stop conditions, issue/expiry, content hash. | Immutable, expiring, owner-held operational artifact. The Library may publish only a safe hash reference or Event receipt. |
| Observation Receipt | Mandate hash, run and environment class, exact public-safe revisions/tools, actions, baseline/control, expected and observed deltas, cost/repair, verifier independence, artifacts, deviations, outcome. | Observation owned by runtime/verifier; raw or private locators remain capability-controlled. |
| Learning Return | Receipt references, claim-candidate references, challenged assumptions, killed hypotheses, capability candidates, answer/no-change/reopen proposal, and reason. | Proposal routed to owning organs; cannot promote itself or mutate the selected answer. |
| Answer Release | Explicit answer_release kind, conclusion, grade, evidence universe and cutoff, load-bearing assumptions, contradictions, limitations, predictions, implications, refresh triggers, artifact and rights evidence. | Immutable, artifact-bearing Library Release accepted by the question steward after evidence review. Metadata seeds and question_program_metadata successors are never Answer Releases. |
The smallest stable first tranche
The first implementation tranche extends the existing research_contract with one optional, separately validated program projection. The shape is now consumed by registry validation, generated Observatory/detail pages, an agent-readable /research.json projection, and contract fixtures. It does not add an API, database, daemon, background agent, dependency, or new record family.
| Program field | Purpose | Minimum invariant |
|---|---|---|
freshness + next_useful_work | Let an operator see whether the program is current and choose one ordered next step. | Real assessment and review-due dates with assessment not later than its deadline; one explicit decision-relevant next action. Freshness is computed against the deterministic registry cutoff. |
assumptions[] | Make load-bearing beliefs addressable and dependency-aware. | Unique question-scoped IDs; level and scope; valid dependency, supersession, and evidence references; falsifier, confidence, status, and review date required. Dependents are derived. |
evidence_connections[] | Connect existing research without copying it. | Unique IDs and edges, resolved owning Work, source type and relevance hypothesis, public-safe reference, owner-held provenance receipt, revision/digest state, rights state, explicit public-safe metadata assertion, real observation date, and support/challenge direction. |
action_learning_links[] | Expose the typed boundary from demand to returned learning. | Owner role, object type, authority state, recorded timestamp, non-sensitive reference or digest, immediate typed predecessor, related assumptions, status, and summary. Demand → candidate → mandate → observation → learning cannot be skipped; temporal order and mandate expiry are checked; observations and Learning Returns must declare not_adjudicated. |
GQ-001, GQ-002, and GQ-009 are the heterogeneous registry fixtures. GQ-009 also records the actual scoped human authorization, mixed independent implementation observation, privacy failure, and no-change Learning Return that drove hardening while keeping the question researching. The composable-CRM dossier remains a synthetic documentation fixture: it tests the full shape without becoming an accepted Work, real mandate, or observed CRM outcome. Any field that does not improve one of these readers or validations is deferred.
Question and answer lifecycle
- A steward frames or revises the Work's current research contract.
captured,scoped,researching,partial, andanswereddescribe question-program state; they do not prove a public Answer Release exists. - Evidence owners expose publication-safe references. The program records support and challenge edges; unresolved contradictions remain visible.
- If reality evidence has material expected information value, the steward emits an Epistemic Demand Package. An Action Candidate may be prepared, rejected, or revised.
- A named decision owner may issue an expiring mandate. Independent systems execute and a verifier records an Observation Receipt. Expiry, stop, deviation, or rollback is evidence, not embarrassment.
- Evidence Engines produce claim candidates and an adjudicated evidence package. A Learning Return proposes assumption impact and answer disposition.
- The steward accepts an Answer Release, records explicit no-change, or reopens the question. The next Snapshot may select the new Release without rewriting prior answers.
Assumption graph and circuit breakers
Assumptions use four levels: GA global, DA domain, QA question, and AA action/ADR. The first tranche validates only the local question projection. Cross-question impact scanning remains a proposed read operation until repeated fixtures establish safe global identity and ownership.
Circuit-breaker rule: a refuted or materially challenged assumption creates an impact proposal over dependent questions, ADRs, experiments, selected answers, and mandate references. It does not automatically mark every dependent conclusion false, cancel execution, or rewrite state. Only the named decision owner may supersede or expire a mandate. Promotion to an automated tripwire requires replay fixtures, bounded false-positive cost, proposal-only behavior, privacy review, and a disable path.
Source alignment and contradiction radar
Existing SISO research is the first candidate source set: GQ-001, GQ-002, GQ-009, the composable-CRM dossier, Foundry inventories, Knowledge material, books, repository research, ADRs, experiments, and operating receipts. These remain owner-held and enter the public projection only through validated, rights-aware, public-safe references. Infrastructure work begins by aligning admitted sources to questions and assumptions, not by commissioning arbitrary broad probes.
| Mechanism | First-tranche behavior | Promotion gate |
|---|---|---|
| Source alignment | Evidence connections say which assumption or decision a source may inform, who owns it, its rights state, and what was observed. | Question-addressable Foundry/Knowledge export with stable receipts and no private locator leakage. |
| Cross-source contradiction radar | Opposing evidence connections remain visible on the same assumption. Human and evidence-engine review adjudicate meaning. | Repeated contradictions with typed claim receipts, independence data, replay fixtures, and measured earlier detection. |
| Targeted reading | A source is queued by relevance hypothesis and expected decision value; books and long corpora are not copied into the Library. | Owner-held extraction receipts prove that targeting improves decision yield or cost. |
Agent addressability and routing
An agent entering through the Observatory must be able to resolve a question by Work ID or GQ label and receive the public-safe frame, state, decision target, assumptions, evidence connections, gaps, watch triggers, selected Release metadata, and action/learning boundary. The first tranche generates this read model from accepted records; it does not launch workers.
The later research-swarm compiler may turn an Epistemic Demand Package into candidate source, refuter, synthesis, experiment, and verification work packages. It remains gated until manual packages reveal stable shared fields, output can be deterministic, least-authority routing is proven, and replay against prior approved mandates shows that compilation never becomes approval.
The later evidence-aware context compiler may assemble only the relevant public or authorized evidence for a task. It remains gated until paired task fixtures show improved correctness, earlier error detection, or lower reconstruction cost after including context-authoring and repair overhead.
Proof-carrying execution and causal lineage
Proof-carrying execution means an approved action remains bound to the question frame, mandate, exact revisions and routes, evaluation plan, observations, verification scope, and returned learning. It does not mean the Library executes work or that a green test proves value.
Causal agent lineage begins as exact, privacy-safe references in Observation Receipts: models, agents, tools, source revisions, interventions, repair, and verified outcome. A causal claim requires a baseline, counterfactual, or other declared method. Mere chronological participation is not causation.
First heterogeneous fixtures and acceptance questions
| Fixture | Why it is different | Infrastructure question it tests |
|---|---|---|
| GQ-001 · Agent Workspace | Broad architecture question with a partial, unpublished answer and many cross-system dependencies. | Can a cold reader see assumptions, evidence gaps, and answer status without mistaking partial research for a public Answer Release? |
| GQ-002 · 10× Agent Layer | Outcome-oriented question with existing operational research and privacy-sensitive measurements. | Can public-safe references expose decision and learning lineage without publishing traces or inflating internal answer state? |
| GQ-009 · Infrastructure dogfood | Meta-question whose implementation can bias its own answer. | Can the program record its assumptions, implementation action, verification return, overhead, and remaining falsifiers while staying researching? |
| Composable CRM | Domain decision with market, code, architecture, rights, client-workflow, and experiment evidence. | Can the contract frame a reversible action and learning return without creating a CRM Work, editing active CRM lanes, or assuming proprietary source rights? |
Dependency waves
| Wave | Mechanisms | Opening evidence | Exit or kill gate |
|---|---|---|---|
| W0 · Existing foundation LIVE | Question Works, metadata Releases, Snapshot selection, Observatory, Events/ADRs, authored method. | Current Library contracts and public-safety verification. | Preserve; correct only through owning sources and successors. |
| W1 · Dossier substrate FIRST TRANCHE | Assumption graph, evidence connections, typed action/learning references, generated cold-reader path, validators. | GQ-001/GQ-002/GQ-009 and CRM fixtures; exact current consumers. | Keep only fields that improve reconstruction or a decision path with acceptable authoring overhead. |
| W2 · Proven tripwires | Assumption circuit-breaker proposals, source alignment, contradiction radar, watch proposals. | Repeated receipt shapes, false-positive sample, owner routing, disable/rollback. | Kill automation that silently changes truth, authority, or floods low-value proposals. |
| W3 · Compilers | Research-swarm compiler, evidence-aware context compiler, proof-carrying execution helpers. | Multiple approved manual packages, deterministic replay, paired outcome proof, least authority. | Kill when compilation becomes approval or overhead does not improve outcomes. |
| W4 · Capability compounding | Capability genome, promotion evidence, routing/capability inheritance, causal agent lineage. | Verified repeated mechanism, independent owner, eval survival, reuse case, exact Release. | Do not promote a clever one-off, ownerless mechanism, or correlation as causal proof. |
| W5 · Counterfactual allocation | Counterfactual portfolio twin and bounded recommendation layer. | Calibrated predictions, actual outcomes, cost, risk, repair, mission value, and decision regret. | No autonomous token or capital allocator; retain protected budgets and human authorization. |
| W6 · Learning Capital Market | Mature allocation market for expected verified learning and reusable capability. | Longitudinal calibration, anti-gaming, rights/privacy review, regret analysis, and reversible governance. | Explicitly later. Kill if incentives reward output volume, proxy gaming, unsafe risk, or centralized authority. |
Capability genome and promotion
A repeated mechanism may become an independently owned capability only when it has a coherent boundary, steward, provenance, compatible environments, failure modes, evals, rollback, at least one demonstrated reuse case, and a reason for an independent release cadence. Foundry may discover it; a Learning Return may propose it; neither action promotes it.
The mature capability genome may preserve inheritance and competition among verified mechanisms. It must reuse the existing capability-promotion lifecycle and owning Works. It is not a self-modifying production-agent system and not a second marketplace registry.
Observability and authoring economics
Each tranche records machine-verifiable counts and honest qualitative outcomes: fixtures covered, assumptions connected, unresolved references, action/learning chains completed, contradictions visible, generated reader assertions, authoring fields and bytes added, validation time, failures caught, and whether a real decision or answer disposition changed.
Authoring overhead is measured against avoided repeated research, earlier-visible false assumptions, reconstruction time, and decision value. A field with no current consumer, fixture, validator, or generated projection is deleted or deferred. Three-question evidence is a stabilization gate, not proof of universality.
Technical acceptance gates for the first tranche
- Identity: no new question registry or record family; every program projection belongs to an existing research-question Work.
- Validation: schemas and cross-reference checks reject duplicate IDs or edges, broken dependency or supersession graphs, unresolved evidence/link references, malformed freshness dates, unsafe locators, skipped action stages, invalid authority transitions, and unowned evidence.
- Projection: the Research Observatory links this constitution and exposes program coverage; question detail pages render assumptions, evidence connections, action/learning lineage, and selected release maturity.
- Answer honesty: GQ-009 remains
researching; metadata seeds remain distinct from accepted Answer Releases; generated negative assertions prevent inflation. - Privacy and rights: records carry only public-safe references, hashes, rights states, and summaries; publication scanning rejects machine-local paths, credentials, private topology, and raw private locators.
- Cold-reader path: from
/research/, a reader can see stewardship, lifecycle, freshness, next useful work, and answer state, then reach the constitution and a question's decision, assumptions, evidence gaps, current release lineage, and action/learning boundary without this conversation. - Dogfood: GQ-001 and GQ-002 exercise heterogeneous public/owner-held research; CRM replays the full shape synthetically; GQ-009 records an actual approved scope, mixed PASS/FAIL observation, challenged assumptions, and a
no_changeLearning Return without an Answer Release. - Economics: authoring overhead and generated output are measured; unused flexibility is removed.
Maintainer publication closeout is a subsequent authorized step: after technical acceptance, the owning maintainer runs the full gate, pushes exact commits, adds immutable Release/Snapshot/Event successors, integrates current main under repository controls, deploys, and observes live and GitHub refs. The architecture and its technical fixtures do not grant that authority; the active initiative and repository controls do.
Program falsifiers and kill rules
- The design needs a second question registry, giant schema suite, central Information Organ database, or universal runtime to stay coherent.
- The visible dossier accumulates fields but cannot improve a research, routing, architecture, or investment decision.
- Evidence cannot be connected without exposing private corpora, client data, credentials, machine paths, or operational topology.
- Proposal, approval, observation, adjudication, and accepted answer cannot be mechanically distinguished.
- Authoring and maintenance cost exceeds avoided re-research, reconstruction, or decision error across the fixture cohort.
- Cross-source contradiction or assumption automation creates unbounded false positives or silently broadens authority.
- A compiler, capability, portfolio model, or market is promoted before manual outcomes establish calibration and ownership.
Failure modes and required response
| Failure | Required response |
|---|---|
| Metadata theater | Delete fields that do not change retrieval, reasoning, refresh, or decision behavior; record no-change evidence. |
| Answer inflation | Separate question state from selected Release kind and artifact evidence; block the build when copy implies a metadata seed is an accepted answer. |
| Authority laundering | Reject any chain where demand or proposal is represented as approval, observation as adjudication, or Learning Return as accepted change. |
| Evidence laundering | Retain owner, rights state, cutoff, limitations, support/challenge direction, and unresolved contradiction. Synthesis alone adds no truth. |
| Organ collapse | Return discovery, corpus, claims, execution, verification, and approval to their named owners; keep only public lineage in the Library. |
| Stale current state | Trigger review from date, source delta, failed prediction, challenged assumption, mandate result, or explicit watch condition; publish successors. |
| Automation overreach | Disable the mechanism, preserve the receipt, and require a new approval gate before any broader route. |
| Unreconstructable success | Treat it as unverified; require exact source revisions, evaluation scope, receipts, and independent observation before promotion. |
Privacy, rights, and publication boundary
The public surface may carry stable IDs, GQ labels, Work IDs, public URLs, safe owner roles, hashes, dates, rights states, aggregate metrics, explicitly asserted public-safe summaries, and public evidence references. Program free text is scanned for known credential, machine-path, traversal, local-host, and mapped-host forms in addition to repository-wide publication scanning. It must not carry private corpus contents, raw extracts, client facts, identities not cleared for publication, personal notes, credentials, private topology, machine-specific paths, raw logs, model session payloads, or navigable private evidence locators.
A hash proves identity only when the verifier can lawfully access the underlying artifact; it does not make a private artifact public or independently verified. owner_held and rights_review are honest states, not defects to conceal.
GitHub, release, and deployment discipline
- One active maintainer owns the reserved Library surfaces. Bounded reviewers are read-only unless a non-overlapping reservation explicitly grants edits.
- Each meaningful tranche is verified, committed, and pushed to the named public branch before the next tranche begins.
- Generated pages are rebuilt from authored docs and accepted registry records; generated Work pages are never hand-edited.
- Closeout adds a new Great Library self-Release, a successor Whole Library Snapshot preserving unaffected selections, and a completion Event with exact evidence. Accepted immutable records are never rewritten.
- Before main integration, fetch current origin, rebase if main moved, inspect reservations, rerun the complete gate, and never force-push.
- Deployment runs only after canonical main contains the immutable closeout lineage. Final receipts name exact branch/main commits, Release, Snapshot, Event, verification verdict, deployment URL, live observation, remaining hypotheses, and the next gated tranche.
Existing, first tranche, later, and rejected
| State | Scope |
|---|---|
| Existing now | Question Works and research contracts; metadata Releases; selected Snapshot; Observatory; question detail pages; mission/research/dossier documentation; Events, Decisions, source Works, and promotion lifecycle. |
| Build in first tranche | Optional validated program projection with assumptions, evidence connections, typed action/learning references, heterogeneous fixtures, generated readers, cross-reference validation, answer-honesty and privacy-negative assertions, and authoring-overhead evidence. |
| Later after evidence | Cross-question assumption impact proposals, contradiction radar, source exports, research-swarm compilation, evidence-aware context compilation, automated tripwires, richer causal lineage, and capability genome. |
| Much later after calibration | Counterfactual portfolio twin, bounded allocation recommendations, and a mature Learning Capital Market. |
| Explicitly rejected | A second God Questions registry, central corpus/Information Organ database, Library-owned execution, autonomous truth writes, Question-to-Hook top-level compiler, universal runtime, silent capability promotion, and autonomous token or capital allocation. |
Next dependency gate
Implement and dogfood W1 only. If its fixtures and generated readers prove that the three-field program projection improves reconstructability without unacceptable overhead or boundary leakage, stabilize it through an immutable Library closeout. If not, simplify or delete it and preserve the failed learning. W2 does not open merely because W1 compiles.