docs(design): hypothesis map + structural counterfactual (Phase 26 — FOR REVIEW, do not merge yet)#168
Closed
bryanmatthewsimonson wants to merge 1 commit into
Closed
Conversation
…or review) Two design docs for the speculative half of the corpus-analysis review — written for maintainer review, NOT to be built without sign-off (this PR is left unmerged deliberately). - HYPOTHESIS_MAP_DESIGN.md: competing answers to the case question with captured claims attached as supporting/undermining structural evidence, side by side, model never picks, NO score/probability (grep-tested). Promotes synthesis positions; local-derived first (dossier posture); LLM edge-suggestion via the codified gate/ground/filter/human-accept firewall. §6 names the three ways it could cross a red line and the guard for each. - COUNTERFACTUAL_DESIGN.md: the maintainer's 'Monte Carlo' ask reframed to clear the firewall — a STRUCTURAL 'what depends on this claim' over the existing case graph, counts-with-derivation never probabilities (a measurement, not an estimation, per TRUTH_ADJUDICATION §1). Deterministic graph walk, no LLM, no wire kind. §4 refuses the probabilistic version as a separate, constitution-amending decision not taken. - ROADMAP Phase 26 stub: safe wins shipped (T1.1-T1.3), these two design-only pending review. Docs only — no code, no wire. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017SZCGu5qxuF2QCuGyJrNcH
Owner
Author
|
Superseded by #169 (H.0) — the same design docs, post-review, with the approval header and decisions recorded. This copy was explicitly FOR REVIEW / do-not-merge. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Per your decision ("safe wins now, design the rest; leave the design docs as a draft PR for morning review"), this PR is design-only and deliberately unmerged. The two capabilities it specifies touch the epistemic firewall and need your sign-off before any code.
What
Two normative design docs (+ a ROADMAP Phase-26 stub) for the speculative half of the corpus-analysis review. Both are bounded by the constitution: no fused score or probability — structure, not estimation.
docs/HYPOTHESIS_MAP_DESIGN.md— your "propose hypotheses from multiple points of view" ask. Competing answers to the case question, with captured claims (kind-30040) attached as supporting / undermining structural evidence, rendered side-by-side, model never picks a winner, no score/probability (grep-tested, likeCASE_SYNTHESIS §5). Promotes the existing synthesispositions; local-derived first (the dossier posture); LLM edge-suggestion via the codified gate → ground → filter → human-accept firewall. §6 enumerates the three ways it could cross a red line (a fused hypothesis score, a support-count scoreboard, the model picking a side) and the guard for each.docs/COUNTERFACTUAL_DESIGN.md— your "Monte Carlo / if a claim were true or false" ask, reframed to clear the firewall (your decision: structural, counts not probabilities). A deterministic "what depends on this claim" trace over the existing case graph — "removing this claim dissolves 1 contradiction knot · leaves 2 claims with no support · drops proposition P's attestation origins 3→2" — every number a count with its derivation, never a probability. No LLM, no wire kind. §4 refuses the probabilistic version explicitly: that's a separate, constitution-amending decision (the project's answer to Rootclaim-style scoring — six Bayesian analyses spanning 23 orders of magnitude — is a deliberate no), flagged not taken.Each doc ends with open questions for you (wire kind vs local-derived; whether even a neutral per-section count is too scoreboard-like; inline vs dedicated surface for the trace; whether to build the
negatevariant).Context (already shipped, separately)
The safe wins from the same review already merged tonight: brief download (#166), provenance surfacing (#166), cross-article links + vocabulary clarity (#167).
Wire / code
None — docs only.
🤖 Generated with Claude Code
https://claude.ai/code/session_017SZCGu5qxuF2QCuGyJrNcH
Generated by Claude Code