Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
c67739c
Reframe public suite as Rigilum Instrument 01
Kitahl Aug 25, 2026
df8ddf6
Rebuild showcase as Instrument 01 pre-product preview
Kitahl Aug 25, 2026
bb4632e
Apply Rigilum pre-product visual system
Kitahl Aug 25, 2026
31e3efc
Rename public visualization labels for Instrument 01
Kitahl Aug 25, 2026
5e7bf9c
Record three-loop company and product naming audit
Kitahl Aug 25, 2026
199f499
Advance showcase revision for pre-product identity
Kitahl Aug 25, 2026
205efc3
Update Instrument 01 visual provenance
Kitahl Aug 25, 2026
0bca7bb
Validate Instrument 01 showcase contract
Kitahl Aug 25, 2026
1607ab0
Validate Instrument 01 public naming with legacy runtime compatibility
Kitahl Aug 25, 2026
7b2ee8d
Reframe citation metadata for Instrument 01
Kitahl Aug 25, 2026
51c41e8
Synchronize public claim provenance with Instrument 01
Kitahl Aug 25, 2026
d82c275
Rename soul public module to Route
Kitahl Aug 25, 2026
ddcc26b
Rename mathbot public module to Prove
Kitahl Aug 25, 2026
6153cde
Rename scoutbot public module to Discover
Kitahl Aug 25, 2026
a37159b
Rename novelbot public module to Synthesize
Kitahl Aug 25, 2026
6139f00
Rename codebot public module to Verify
Kitahl Aug 25, 2026
17a3158
Rename benchbot public module to Measure
Kitahl Aug 25, 2026
a6b10a2
Rename infinity-gauntlet public module to Assure
Kitahl Aug 25, 2026
5ef772b
Rename meditate public module to Preflight
Kitahl Aug 25, 2026
678ed6a
Rename council public module to Review
Kitahl Aug 25, 2026
07f1e29
Rename adaptive product surface to Adapt
Kitahl Aug 25, 2026
e1562a5
Rename showcase visual regression terminology for R20
Kitahl Aug 25, 2026
8b7a5f0
Reframe canonical architecture around Instrument 01
Kitahl Aug 25, 2026
92aac80
Replace rejected brand with Strong Inference
Kitahl Aug 25, 2026
90ff7f1
Update citation metadata for Strong Inference
Kitahl Aug 25, 2026
593c3d8
Rebrand showcase as Strong Inference
Kitahl Aug 25, 2026
9c508dd
Validate Strong Inference public identity
Kitahl Aug 25, 2026
f81f14e
Update showcase validation for Strong Inference
Kitahl Aug 25, 2026
0baef81
Update semantic field labels for Strong Inference
Kitahl Aug 25, 2026
35cb973
Update architecture for Strong Inference
Kitahl Aug 25, 2026
b7cfd9f
Update Adapt compatibility doc for Strong Inference
Kitahl Aug 25, 2026
e0fcc99
Update public claim provenance for Strong Inference
Kitahl Aug 25, 2026
bc0bb07
Update visual provenance for Strong Inference
Kitahl Aug 25, 2026
1e72f40
Replace rejected brand audit with Strong Inference redo
Kitahl Aug 25, 2026
3ba2c47
Place Route under Strong Inference
Kitahl Aug 25, 2026
7f679ac
Place Prove under Strong Inference
Kitahl Aug 25, 2026
f273a91
Place Discover under Strong Inference
Kitahl Aug 25, 2026
888306c
Place Synthesize under Strong Inference
Kitahl Aug 25, 2026
e387446
Place Verify under Strong Inference
Kitahl Aug 25, 2026
2f32499
Place Measure under Strong Inference
Kitahl Aug 25, 2026
aa0911a
Place Assure under Strong Inference
Kitahl Aug 25, 2026
0aa21e5
Place Preflight under Strong Inference
Kitahl Aug 25, 2026
4b32a13
Place Review under Strong Inference
Kitahl Aug 25, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 10 additions & 8 deletions CITATION.cff
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cff-version: 1.2.0
message: "If you use this research software, please cite the repository and the specific release used."
title: "Evidence-Governed Research Toolkit"
title: "Strong Inference"
type: software
authors:
- family-names: "Kitahl"
Expand All @@ -18,11 +18,13 @@ keywords:
- evaluation
- evidence provenance
- adaptive assistance
- personalized calibration
- transfer assessment
- evidence-centered assessment
- process assurance
- research infrastructure
abstract: >-
A modular research-software toolkit for evidence-governed AI-assisted reasoning,
prior-art discovery, formal reasoning, engineering verification, evaluation,
process assurance, and adaptive complementary assistance with saved user profiles,
structured cross-cutting calibration, and real-work transfer assessment.
Strong Inference is an open research-software suite for evidence-governed
AI-assisted technical work, including orchestration, formal reasoning,
research discovery, method synthesis, engineering verification, evaluation,
process assurance, independent review, decision preflight, and adaptive
complementary assistance. Strong Inference Systems is a working pre-product
company identity and is not represented by this metadata as a legally cleared
corporate or trademark name.
325 changes: 79 additions & 246 deletions README.md

Large diffs are not rendered by default.

228 changes: 91 additions & 137 deletions docs/ARCHITECTURE.md

Large diffs are not rendered by default.

32 changes: 15 additions & 17 deletions docs/MIRROR.md
Original file line number Diff line number Diff line change
@@ -1,35 +1,33 @@
# Mirror — Adaptive Reasoning Complement
# Adapt — Adaptive Reasoning Complement

**Mirror** is the public name for the adaptive complement system historically named **FOIL**.
**Adapt** is the Strong Inference public name for the adaptive-complement system implemented under the stable **FOIL** protocol/runtime namespace.

The rename changes the human-facing concept, not the compatibility contract.
The product rename changes the human-facing concept, not the compatibility contract.

## Disambiguation

This project's **Mirror — Adaptive Reasoning Complement** is not the 2025 research framework **MIRROR: Multi-agent Intra- and Inter-Reflection for Optimized Reasoning in Tool Learning**, and it is not a persona-cloning or self-reflection product. No novelty claim is made for the word "Mirror" itself.
Adapt is a task/user complement module, not a persona-cloning system, a generic self-reflection product, or an additional source of factual authority. The technical identifier `foil` remains the stable implementation namespace.

Here, **Mirror** specifically means the task/user complement mechanism described below. The technical identifier `foil` is retained as a stable disambiguating implementation name.
The previous public label **Mirror — Adaptive Reasoning Complement** is retired from the Strong Inference product surface. It remains here only as migration vocabulary because older documentation and validation receipts used it.

## What Mirror does
## What Adapt does

Mirror exists to make a large toolset easier to use.
Adapt exists to make a large toolset easier to use without turning personalization into a fixed trait model.

For the current task it asks:

1. What capabilities does this task actually require?
2. Which of those capabilities are already well covered by the user/current context?
2. Which capabilities are already well covered by the user/current context?
3. Which load-bearing capability is missing, uncertain, or unsupported?
4. What is the smallest useful complement that fills that gap?
5. Which existing Gem, verifier, search tool, runtime, model, or external capability should provide it?
5. Which existing Strong Inference module, verifier, search tool, runtime, model, or external capability should provide it?
6. Did that help, was it redundant, or did it take over work unnecessarily?

Mirror is **complementary**, not automatically contrarian. It is not a sixth Gem and it does not manufacture evidence. The existing specialist modules still produce claim-native evidence and receipts.
Adapt is **complementary**, not automatically contrarian. It does not manufacture evidence. The specialist modules still produce claim-native evidence and receipts.

A complement may be missing knowledge, a procedure, prior art, evidence, a verifier, a representation change, a tool, execution support, a counterexample search, or a check against a plausible error.

## Why the name fits

The core mechanism is a dynamic comparison between:
## Mechanism

```text
CURRENT TASK REQUIREMENTS
Expand All @@ -41,7 +39,7 @@ MISSING LOAD-BEARING COMPLEMENT
MINIMUM USEFUL ASSISTANCE
```

It "mirrors" the task against what is already covered and supplies what is missing rather than applying the same fixed workflow to everyone.
The FOIL protocol underneath Adapt maintains competing local gap hypotheses, routes the minimum useful complement, separates assisted success from independent performance, and updates persistent evidence only under its admissibility rules.

## Compatibility

Expand All @@ -56,16 +54,16 @@ The following identifiers remain unchanged so existing installations, profiles,
- historical benchmark condition names such as `FOIL`, `FOIL_PROFILE`, and `FOIL_MM`
- existing FOIL-named research, validation, and onboarding files

Those names are now **legacy technical identifiers**, not the public product/concept name.
Those names are **technical/protocol identifiers**, not the Strong Inference public module name.

## Evidence boundary

Mirror may decide which complement to request. That routing decision is not factual warrant.
Adapt may decide which complement to request. That routing decision is not factual warrant.

A proof still requires proof/derivation or an appropriate prover. A software claim still requires execution. A current-fact claim still requires current sources. A benchmark claim still requires measurement. A novelty claim still requires scoped prior-art work.

Assisted success is also kept separate from later independent performance and transfer.

## Canonical technical specification

The compatibility skill contract remains at [`skills/foil/SKILL.md`](../skills/foil/SKILL.md). Runtime ownership is documented in [`ARCHITECTURE.md`](ARCHITECTURE.md).
The compatibility protocol contract remains at [`skills/foil/SKILL.md`](../skills/foil/SKILL.md). Runtime ownership is documented in [`ARCHITECTURE.md`](ARCHITECTURE.md).
147 changes: 76 additions & 71 deletions docs/content-provenance.json
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
"schema": "egrt/showcase-provenance-1",
"claims": [
{
"id": "architecture-modular-control",
"page_section": "Architecture",
"claim": "The toolkit uses a portable Research Orchestrator control plane plus bounded specialist research modules rather than one undifferentiated prompt.",
"id": "strong-inference-modular-control",
"page_section": "Purpose",
"claim": "Strong Inference uses a portable orchestration control plane plus bounded specialist research modules rather than one undifferentiated prompt.",
"sources": [
"docs/ARCHITECTURE.md",
"skills/soul/SKILL.md",
Expand All @@ -16,33 +16,58 @@
]
},
{
"id": "professional-naming-compatibility",
"page_section": "Modules",
"claim": "Professional display names are used for the research portfolio while technical IDs and slash-command aliases are retained for backwards compatibility.",
"sources": ["docs/ARCHITECTURE.md", "GOVERNANCE.md"]
"id": "public-naming-compatibility",
"page_section": "Suite inventory",
"claim": "Strong Inference uses functional public module names while technical IDs and slash-command aliases remain unchanged for compatibility.",
"sources": [
"README.md",
"docs/ARCHITECTURE.md",
"GOVERNANCE.md",
"validation/MASTERMIND_BRAND_PRODUCT_3_LOOP_REPORT_2026-08-25.md"
]
},
{
"id": "working-brand-boundary",
"page_section": "Hero",
"claim": "Strong Inference Systems is presented as a working pre-product identity rather than as a legally cleared corporate, trademark, or domain name.",
"sources": [
"README.md",
"validation/MASTERMIND_BRAND_PRODUCT_3_LOOP_REPORT_2026-08-25.md"
]
},
{
"id": "foil-complement",
"page_section": "FOIL",
"claim": "FOIL models competing explanations for observed performance and supplies task-relevant complementary methods without treating a single error as a stable weakness.",
"sources": ["skills/foil/SKILL.md", "research/FOIL_RESEARCH_BASIS.md"]
"id": "scientific-method-name-boundary",
"page_section": "Purpose",
"claim": "The product name Strong Inference intentionally refers to the established scientific-method concept of competing hypotheses and discriminating experiments; the repository does not claim the phrase as a newly invented scientific concept.",
"sources": [
"README.md",
"validation/MASTERMIND_BRAND_PRODUCT_3_LOOP_REPORT_2026-08-25.md"
]
},
{
"id": "independent-transfer-target",
"page_section": "FOIL",
"claim": "FOIL separates immediate assisted task success from later independent competence and transfer.",
"sources": ["skills/foil/SKILL.md", "research/FOIL_RESEARCH_BASIS.md", "RESEARCH.md"]
"id": "adapt-complement",
"page_section": "Suite inventory",
"claim": "Adapt uses the stable foil technical namespace to model competing explanations for observed performance and supply task-relevant complementary methods without treating a single error as a stable weakness.",
"sources": [
"skills/foil/SKILL.md",
"research/FOIL_RESEARCH_BASIS.md",
"docs/MIRROR.md"
]
},
{
"id": "authority-evidence-split",
"page_section": "Evidence",
"claim": "Human authority governs voluntary goals and actions while evidence/proof determine factual warrant.",
"sources": ["skills/foil/SKILL.md", "skills/soul/SKILL.md", "RESEARCH.md"]
"page_section": "Evidence & release",
"claim": "Human authority governs voluntary goals and actions while evidence and proof determine factual warrant.",
"sources": [
"skills/foil/SKILL.md",
"skills/soul/SKILL.md",
"RESEARCH.md"
]
},
{
"id": "module-count",
"page_section": "Hero",
"claim": "This repository contains ten research-method modules.",
"claim": "Strong Inference contains ten public research-method modules.",
"sources": [
"skills/soul/SKILL.md",
"skills/mathbot/SKILL.md",
Expand All @@ -56,73 +81,53 @@
"skills/foil/SKILL.md"
]
},
{
"id": "foil-structural-validation",
"page_section": "Evidence",
"claim": "The recorded FOIL structural/source/regression validator reports 94 of 94 checks passed.",
"sources": ["validation/FOIL_RESEARCH_INTEGRATION_VALIDATION.json"]
},
{
"id": "foil-contract-coverage",
"page_section": "Evidence",
"claim": "The recorded FOIL behavioral-contract specification artifact reports 18 of 18 cases represented as PASS-SPEC.",
"sources": ["validation/FOIL_RESEARCH_INTEGRATION_BEHAVIORAL_CONTRACT_VALIDATION.json"]
},
{
"id": "validation-boundary",
"page_section": "Evidence",
"page_section": "Evidence & release",
"claim": "Mechanical and specification validation do not establish behavioral efficacy of the complete system.",
"sources": ["RESEARCH.md", "REPRODUCIBILITY.md", "validation/FOIL_RESEARCH_INTEGRATION_3_LOOP_REPORT.md"]
},
{
"id": "portable-process-assurance",
"page_section": "Modules",
"claim": "The public Process Assurance Framework does not require private project hooks or hard-coded local runtime paths and treats missing optional machinery as unavailable.",
"sources": ["skills/infinity-gauntlet/SKILL.md", "validation/SOUL_GAUNTLET_PUBLIC_AUDIT.md"]
},
{
"id": "research-question-open",
"page_section": "Research Dossier",
"claim": "Prospective behavioral efficacy of the complete workflow remains an open research question with planned matched-baseline and ablation studies.",
"sources": ["RESEARCH.md", "ROADMAP.md"]
"sources": [
"RESEARCH.md",
"REPRODUCIBILITY.md",
"validation/FOIL_RESEARCH_INTEGRATION_3_LOOP_REPORT.md"
]
},
{
"id": "research-dossier-output-index",
"page_section": "Research Dossier",
"claim": "The homepage indexes the current research question, implemented architecture, FOIL basis, mechanical/specification receipts, exploratory benchmark pilots, prospective behavioral evaluation, and external reproduction as distinct research objects with explicit states.",
"id": "portable-assure",
"page_section": "Suite inventory",
"claim": "Assure uses the stable infinity-gauntlet technical namespace and does not require private project hooks or hard-coded local runtime paths; missing optional machinery is treated as unavailable.",
"sources": [
"RESEARCH.md",
"ROADMAP.md",
"docs/ARCHITECTURE.md",
"research/FOIL_RESEARCH_BASIS.md",
"validation/FOIL_RESEARCH_INTEGRATION_VALIDATION.json",
"validation/FOIL_RESEARCH_INTEGRATION_BEHAVIORAL_CONTRACT_VALIDATION.json",
"docs/BENCHMARKS.md"
"skills/infinity-gauntlet/SKILL.md",
"validation/SOUL_GAUNTLET_PUBLIC_AUDIT.md"
]
},
{
"id": "research-site-benchmark",
"page_section": "Research Dossier",
"claim": "The research-site benchmark compares public research institutes, research indexes, open-science catalogs, and mature research-software repositories to identify transferable information-architecture mechanisms without treating the set as an objective global ranking.",
"sources": ["docs/RESEARCH_WEBSITE_BENCHMARK_2026-08-22.md"]
"id": "preproduct-license",
"page_section": "Evidence & release",
"claim": "Strong Inference is presented as a free MIT-licensed pre-product research-software preview rather than a hosted commercial service.",
"sources": [
"README.md",
"LICENSE",
"CITATION.cff"
]
},
{
"id": "citation-license",
"page_section": "Release",
"page_section": "Evidence & release",
"claim": "The repository provides machine-readable citation metadata and an MIT open-source license.",
"sources": ["CITATION.cff", "LICENSE"]
},
{
"id": "homepage-trust-center",
"page_section": "Research Software Trust Center",
"claim": "The public homepage exposes direct paths to security, governance, contribution, citation, changelog, and roadmap artifacts.",
"sources": ["SECURITY.md", "GOVERNANCE.md", "CONTRIBUTING.md", "CITATION.cff", "CHANGELOG.md", "ROADMAP.md"]
"sources": [
"CITATION.cff",
"LICENSE"
]
},
{
"id": "homepage-reproducibility-path",
"page_section": "Reproducibility",
"claim": "The public homepage exposes the documented mechanical validation commands and separates their interpretation from behavioral-efficacy claims.",
"sources": ["REPRODUCIBILITY.md", "validation/validate_soul_gauntlet_public.py", "validation/validate_showcase.py"]
"id": "reproducibility-path",
"page_section": "Evidence & release",
"claim": "The public surfaces expose documented mechanical validation commands and separate their interpretation from behavioral-efficacy claims.",
"sources": [
"REPRODUCIBILITY.md",
"validation/validate_soul_gauntlet_public.py",
"validation/validate_showcase.py"
]
}
]
}
Loading