Skip to content

experiments: thesis-G interdependency design note (non-canonical spike) - #64

Open
IanMayo wants to merge 4 commits into
mainfrom
claude/thesis-g-pv1ejy
Open

experiments: thesis-G interdependency design note (non-canonical spike)#64
IanMayo wants to merge 4 commits into
mainfrom
claude/thesis-g-pv1ejy

Conversation

@IanMayo

@IanMayo IanMayo commented Jul 18, 2026

Copy link
Copy Markdown
Contributor

Summary

A standalone, non-canonical design note probing concept §6.3 — does thesis G (PMESII interdependency) admit any honest v1 slice, or is it horizon-only? It reasons through what a standalone demonstrator should learn before any code, and records a provisional (non-asserting) verdict on where the honest line falls. Docs only; no code, no schema, no src/ touched.

Slices

Not a SPEC. This is a sandbox spike, deliberately kept out of docs/research/ (it gates no build stage and decides nothing canonical). It probes the concept §6.3 open question and is adjacent to docs/research/horizon-forward-derivation.md.

  • experiments/thesis-g/thesis-g-interdependency.md — the design note
  • experiments/README.md — stamps the whole experiments/ tree non-canonical

Register impact

No new register decision. By construction:

  • No schema class, no npm run gen, no LinkML change (assay-knowledge-model.md:484 keeps PMESII shapes out of core — this note respects that).
  • No import into src/; fixture reads would be one-way and read-only.
  • Any finding feeds back only as a flagged concept §6 candidate for a future batch (register-first, DEC-2). This note asserts nothing.

Provisional verdict (the substance)

Interdependency is honestly computable as attributed reachability / path-surfacing (thesis F generalised from the epistemic trace graph to an ontic PMESII graph), but not as weighted effect prediction (the documented EBO / ONA false-precision failure JFCOM repudiated in 2008). The boundary is magnitude.

Three findings worth a reviewer's eye:

  1. Category distinction — the core's trace graph is epistemic (how we came to believe); a PMESII graph is ontic (how world parts affect each other). Attribution discipline transfers across that gap; magnitude does not.
  2. Meridian already contains the latent graph — cranes→offload→population, causeway→ANVIL resupply, K8→approach→timing are all stated as prose and never typed (the JIPOE Step 3 stated gap, assay-doctrine.html:101). The demonstrator surfaces what's implied; it invents nothing.
  3. The boundary is already held by the core — removing K3 leaves every C3 verdict identical (tests/k3-trace.test.ts, DEC-35 civil-harm-stays-geometric). A weighted panel that made "55k vs 5k" move a verdict would do exactly what the core already declined. Thesis G's honest line is the same line, stated for a whole graph.

How to review

1. Quick check

  • No code changed — typecheck/test unaffected (docs-only; nothing imports the note)
  • No unbanded scalars introduced (the note argues against scalars; reachability is set-membership)
  • No frozen identifiers touched

2. Read the note

  1. experiments/thesis-g/thesis-g-interdependency.md — §1 (the EBO/ONA false-precision framing), §2 (the latent Meridian PMESII graph + the epistemic-vs-ontic distinction), §3 (the honest reachability read), §4 (the labelled trap), §5 (verdict), §6 (honesty invariants), §7 (what the demonstrator would show).
  2. experiments/README.md — the non-pollution rules.

3. Blog article

N/A — no blog article for a sandbox spike (comms cadence is for canonical slices, DEC-30).

Evidence

N/A — no runtime surface; nothing to screenshot. The note is the deliverable.

Honesty checklist

  • No unbanded scalar from an assessed source (the note argues for this discipline)
  • Attribution / trace-to-named-owner is the note's central honest-slice requirement (G3)
  • No silent drops — honest dead ends and stated coverage are named invariants (G4-shaped)
  • G6 N/A (no propagation/glow — docs only)
  • Frozen identifiers unchanged (K*, C*, R*, FE-, P, O-*)
  • Blog embed — N/A (no article)

Test plan

  • No code — typecheck/test scope unchanged; the experiments/ tree is not imported by src/
  • Manual read-through of the note for internal consistency and correct doc citations
  • Discussion: is reachability-vs-magnitude the right cut, or should the spike also probe an intermediate (signed direction, no magnitude)? Parked on the dishonest side for now — open for review.

🤖 Generated with Claude Code

https://claude.ai/code/session_01KTBujZMsBhnq1gpsj4W17G


Generated by Claude Code

Standalone sandbox note probing concept §6.3 — does thesis G (PMESII
interdependency) admit an honest v1 slice, or is it horizon-only?

Provisional verdict: interdependency is honestly computable as attributed
reachability / path-surfacing (thesis F generalised to an ontic graph), but
not as weighted effect prediction (the EBO/ONA false-precision failure). The
boundary is magnitude — the same line the core already holds via DEC-35 and
tests/k3-trace.test.ts.

Non-polluting by construction: experiments/ tree stamped non-canonical; no
schema change, no src/ import, no register assertion. Any finding feeds back
only as a flagged concept §6 candidate (DEC-2).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KTBujZMsBhnq1gpsj4W17G
@github-actions

github-actions Bot commented Jul 18, 2026

Copy link
Copy Markdown
PR Preview Action v1.8.1

QR code for preview link

🚀 View preview at
https://DeepBlueCLtd.github.io/assay/pr-preview/pr-64/

Built to branch gh-pages at 2026-07-18 16:50 UTC.
Preview will be ready when the GitHub Pages deployment is complete.

claude added 3 commits July 18, 2026 13:54
Adds rung 2 (signed direction) as a first-class tier between reachability and
weighted magnitude, and works the proof: per-link signed direction is honest
(ASSAY is already signed-without-magnitude at its core — directional
commitments, the O-3 signed-margin verdict), but sign COMPOSITION splits —
same-direction chains survive only with per-hop owned monotonicity, and net
sign over opposing parallel paths is undefined without weighing (DEC-19),
handled by refusing the net via the O-3 straddle discipline lifted to the graph.

Sharpens the verdict: the honest boundary is not "topology vs magnitude" but
"per-link attributed facts vs any aggregation that weighs paths against each
other" — one principle covering rung 2b (net-sign) and rung 3 (magnitude).
Meridian exhibit: threat_exposure(FE-ANVIL) opposing-path straddle. Demonstrator
becomes three reads with a live straddle detector. Grounds the composition
failure in system-dynamics causal-loop-diagram loop-polarity limits (Sterman).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KTBujZMsBhnq1gpsj4W17G
Self-contained offline HTML (no bundler, no network, no src/ import) rendering
one Meridian-derived PMESII graph three ways over a shared node-link map:

- Reachability (rung 1): forward transitive walk, provenance per edge, honest
  dead ends — no fabricated Social→Political cascade.
- Signed direction (rung 2): asserted ↑/↓ hops with owners; the centrepiece is
  the live straddle detector — "what drives FE-ANVIL exposure?" opposes
  (FALCON suppression ▼ vs ANVIL advance ▲) and the net is refused (the O-3
  discipline lifted to the graph), both paths shown.
- Weighted propagation (rung 3): the labelled EBO/ONA trap — fabricated weights
  and indices under a red FALSE PRECISION banner, per-number annotation of why
  each lies (DEC-19 / JFCOM-2008 / DEC-35). Numbers generated at render time,
  never stored on the graph.

In-page honesty self-check (all pass): no stored scalar magnitude (DEC-19),
every edge attributed (G3), straddle detected + net refused (rung 2b), honest
reachable dead ends. Verified end-to-end in Chromium across all tabs/questions,
zero console errors; preview-*.png are the verification shots. Note §8 + README
updated to point at the built file. No core contamination.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KTBujZMsBhnq1gpsj4W17G
… area

build:site now copies experiments/thesis-g/demonstrator.html into
site/experiments/thesis-g/ and writes a clearly-labelled site/experiments/
landing ("experimental · not canonical", "Not part of ASSAY canon").

Deliberately NOT linked from the Home page — an accepted exception to the
copy-and-link convention, following the dep-graph-mocks (review-only)
precedent. Featuring a horizon-thesis spike on the public face would be the
false-precision pollution the sandbox exists to avoid; this keeps it reachable
in the PR preview at /experiments/ while staying out of the canonical nav.

Verified from the built site/ in Chromium: landing stamp + card link correct,
demonstrator loads, honesty self-check all-pass, straddle refusal fires, zero
console errors. site/ stays git-ignored (generated, CI-published).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KTBujZMsBhnq1gpsj4W17G
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants