GO Vault

MAP_WalkthroughSite_AxiomLogic

2 min read

Walkthrough Site ? Axiom Logic Map

This map treats the walkthrough-site content as the primary logic articulation layer (typed dependencies + ?feeds into?).

  • Source root: C:\Users\lowes\OneDrive\Desktop\Folders\theophysics_walkthrough_site\site\content\01_AXIOMS
  • Nodes exported: O:\Theophysics_Master\TMSUB\GO FOLDER\Axiom\10_Maps\WalkthroughSite_AxiomNodes.csv
  • Edges exported: O:\Theophysics_Master\TMSUB\GO FOLDER\Axiom\10_Maps\WalkthroughSite_AxiomEdges.csv

Counts

  • Nodes: 161
  • Edges: 214
  • Unique types: 5
  • Missing edge targets (targets referenced but not present as nodes here): 34

Types

  • Axiom: 139
  • BC: 16
  • Claim: 4
  • Boundary Condition: 1
  • Definition: 1

How to use this for logic

  1. Prefer the walkthrough note?s YAML depends_on and feeds_into for graph structure.
  2. Use the note body for: Formal Statement, Defeat Conditions, Defense Grid, Logical Flow, and domain mappings.
  3. If an edge points to a missing target, the target likely lives outside this folder; treat it as an unresolved link until found.

Missing Targets (sample)

  • BC7.1 feeds_into T8.1 (raw: T8.1-Sign-Conservation)
  • BC7.1 feeds_into T9.1 (raw: T9.1-Grace-Necessity)
  • D2.1 feeds_into E2.1 (raw: E2.1-Master-Equation)
  • G0.1 depends_on P0.1 (raw: P0.1)
  • GI depends_on P0.3 (raw: P0.3)
  • HB.2 depends_on L5 (raw: L5)
  • HB.3 depends_on T4 (raw: T4)
  • HB.4 depends_on O1.3 (raw: O1.3)
  • HC.4 depends_on O3.2 (raw: O3.2)
  • HF.3 depends_on T4 (raw: T4)
  • HF.9 depends_on R3 (raw: R3)
  • HP.2 depends_on R1 (raw: R1)
  • HP.3 depends_on R4 (raw: R4)
  • HP.4 depends_on T4 (raw: T4)
  • HS.2 depends_on O4.2 (raw: O4.2)
  • HS.5 depends_on O1.3 (raw: O1.3)
  • Mχ.1 depends_on O1.2 (raw: O1.2)
  • M0.2 depends_on O3.3 (raw: O3.3)
  • M0.4 depends_on O3.1 (raw: O3.1)
  • M0.4 depends_on O3.2 (raw: O3.2)
  • ME.2 depends_on O1.3 (raw: O1.3)
  • MG.1 depends_on O1.2 (raw: O1.2)
  • MG.3 depends_on O1.2 (raw: O1.2)
  • MS.2 depends_on O1.2 (raw: O1.2)
  • R1.1 depends_on O2.2 (raw: O2.2)
  • R1.4 depends_on L5 (raw: L5)
  • R3.4 depends_on O2.2 (raw: O2.2)
  • R4.4 depends_on O1.3 (raw: O1.3)
  • R5.1 depends_on O2.2 (raw: O2.2)
  • SA.1 depends_on O2.2 (raw: O2.2)
  • SD.11 depends_on O4.2 (raw: O4.2)
  • SD.5 depends_on T1 (raw: T1)
  • SD.9 depends_on O3.2 (raw: O3.2)
  • SP.1 depends_on T4 (raw: T4)

Graph View