snapshot-to-html: type: Package publisher: worldview.genval.ai version: 1.0.0 imports: - publisher: kanonak.org packages: - package: core-rdf match: ^ version: 1.0.0 alias: rdfs - package: core-xsd match: ^ version: 1.0.0 alias: xsd - package: transformations match: ^ version: 3.1.0 alias: tx - package: document-ast match: ^ version: 1.0.0 alias: docast - publisher: worldview.genval.ai packages: - package: core match: ^ version: 1.0.0 alias: wv - package: finance match: ^ version: 1.0.0 alias: fin # ============================================================================= # WorldviewSnapshot -> single-page HTML report. # # Each wv.WorldviewSnapshot input emits one self-contained HTML artifact: # - inline CSS (no external assets) # - dynamically-sized SVG confidence bars (raw 0..1 value -> bar fill) # - per-thesis cards with progressive disclosure (
) for # invalidation conditions + supporting evidence # - type-specific evidence facts via is-set checks (no type branching; # each subclass field is rendered when present) # - evidence type / status / strength humanized via CSS pseudo-element # content keyed on uri-name segments (no arithmetic / no comparisons # in the DSL, so categorical encoding via uri-name + CSS is the # mechanism) # - confidenceRationale (when authored) rendered below confidence # - previousSnapshot (when set) rendered as a header navigation hint # # The structured `invalidationCondition` (a Condition subclass tree) is # rendered as a typed nested visualization via two ExpressionFragments # (render-cond-d0 / render-cond-d1) that handle subclass dispatch and # bounded recursion. d0 recurses via d1 for nested operands; d1 is # leaf-rendering with type-name indicators for any further nesting. # Together they cover depth-2 trees, which is enough for every # invalidationCondition shape in the example packages today. # # The whole body is one text-html RawBlock built via a single # tx.join("", tx.concat(...)) expression. The HTML backend passes # text/html RawBlocks through verbatim, which is how this transformation # attains pixel-level control over layout, type, and SVG geometry. # ============================================================================= snapshot-to-html-transformation: type: tx.InstanceTransformation tx.inputPattern: tx.matchesClass: wv.WorldviewSnapshot tx.requires: - wv.observedAt - wv.narrative - wv.hasThesis tx.artifactName: type: tx.StringLiteral tx.stringLiteral: snapshot tx.outputs: - tx.html tx.rule: type: tx.BuildAstNode tx.astClass: docast.Document tx.set: - tx.field: docast.children tx.bindValue: type: tx.Concat tx.parts: - type: tx.BuildAstNode tx.astClass: docast.RawBlock tx.set: - tx.field: docast.mediaType tx.bindValue: type: tx.UriLiteral tx.refTo: docast.text-html - tx.field: docast.rawContent tx.bindValue: type: tx.Join tx.separator: "" tx.source: type: tx.Concat tx.parts: # ===================================================== # STYLE BLOCK # Self-contained dark-mode dashboard CSS. Tokens at the # top so a future fork can re-skin in one place. # ===================================================== - type: tx.StringLiteral tx.stringLiteral: | # ===================================================== # SITE NAV + ARTICLE OPEN + HERO # ===================================================== - type: tx.StringLiteral tx.stringLiteral: |-
Worldview Snapshot

Macro worldview

- type: tx.Normalize tx.normKind: tx.trim-end tx.normSource: type: tx.PropertyRead tx.readSource: type: tx.VarRef tx.varName: input tx.readProp: wv.narrative - type: tx.StringLiteral tx.stringLiteral: |

# --- previousSnapshot link (optional) --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.VarRef tx.varName: input tx.readProp: wv.previousSnapshot tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '

← Previous snapshot: ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.VarRef tx.varName: input tx.readProp: wv.previousSnapshot - type: tx.StringLiteral tx.stringLiteral: '

' - type: tx.StringLiteral tx.stringLiteral: |
# ===================================================== # THESIS RAIL — one chip per thesis with mini bar # ===================================================== - type: tx.StringLiteral tx.stringLiteral: |
    - type: tx.ForEach tx.source: type: tx.PropertyRead tx.readSource: type: tx.VarRef tx.varName: input tx.readProp: wv.hasThesis tx.loopVar: thesisRef tx.emit: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
  1. ' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRef tx.readProp: rdfs.label - type: tx.StringLiteral tx.stringLiteral: |-
    2. - type: tx.StringLiteral tx.stringLiteral: |
# ===================================================== # EVIDENCE SWARM — one dot per (thesis, evidence) # Visualizes evidence-by-strength gestalt without # arithmetic; sheer count is the chart. # ===================================================== - type: tx.StringLiteral tx.stringLiteral: |

Evidence at a glance

One mark per supporting evidence item across all theses, colored by strength.

- type: tx.ForEach tx.source: type: tx.PropertyRead tx.readSource: type: tx.VarRef tx.varName: input tx.readProp: wv.hasThesis tx.loopVar: thesisRefSwarm tx.emit: type: tx.ForEach tx.source: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRefSwarm tx.readProp: wv.supportingEvidence tx.loopVar: evRefSwarm tx.emit: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '' - type: tx.StringLiteral tx.stringLiteral: |
  • Strong
  • Moderate
  • Weak
# ===================================================== # THESES SECTION # ===================================================== - type: tx.StringLiteral tx.stringLiteral: |

Theses

- type: tx.ForEach tx.source: type: tx.PropertyRead tx.readSource: type: tx.VarRef tx.varName: input tx.readProp: wv.hasThesis tx.loopVar: thesisRefMain tx.emit: type: tx.Concat tx.parts: # --- CARD OPEN --- - type: tx.StringLiteral tx.stringLiteral: '
# --- HEADER (num + label + status pill) --- - type: tx.StringLiteral tx.stringLiteral: |

- type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRefMain tx.readProp: rdfs.label - type: tx.StringLiteral tx.stringLiteral: |-

' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRefMain tx.readProp: wv.status - type: tx.StringLiteral tx.stringLiteral: |
# --- CONFIDENCE STRIP (SVG bar with gradient) --- - type: tx.StringLiteral tx.stringLiteral: |-
Conf - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRefMain tx.readProp: wv.confidence - type: tx.StringLiteral tx.stringLiteral: |
# --- CONFIDENCE RATIONALE (optional, new in this version) --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRefMain tx.readProp: wv.confidenceRationale tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '

Why this confidence: ' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRefMain tx.readProp: wv.confidenceRationale - type: tx.StringLiteral tx.stringLiteral: '

' # --- STATEMENT --- - type: tx.StringLiteral tx.stringLiteral: '

' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRefMain tx.readProp: wv.thesisStatement - type: tx.StringLiteral tx.stringLiteral: |

# --- INVALIDATION (structured tree) --- # Renders the Condition tree via two recursive # ExpressionFragments (render-cond-d0 / d1) # defined at the top of this package. d0 is # the top-level call; it dispatches on subclass # and recurses via d1 for nested operands. d1 # renders without recursion (type-name + key # fields). Together they cover depth-2 trees, # which is enough for every invalidationCondition # shape in the example packages. - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRefMain tx.readProp: wv.invalidationCondition tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: |-
Invalidation condition
# ===== TOP-LEVEL DISPATCH ===== # Each tx.When checks a property unique to one # Condition subclass. The PropertyRead chain # reads from thesis.invalidationCondition each # time. For And/Or we ForEach over operands # with loopVar=cond and inline a leaf dispatch # (same 9-branch structure but reading via # var-ref(cond)). # AndCondition / OrCondition - top level - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.operands tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: rdfs.type - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.Count tx.source: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.operands - type: tx.StringLiteral tx.stringLiteral: ' operands
    ' # ForEach over operands (loopVar=cond) # Each operand renders via the LEAF dispatch. - type: tx.ForEach tx.source: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.operands tx.loopVar: cond tx.emit: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
  • ' # ===== LEAF DISPATCH (reads from cond) ===== # And/Or as operand: type + count + ForEach over grand-operands. # Grand-operands rendered with terminal-level dispatch # (leaf nodes get full detail; further-nested And/Or # collapses to type + count again). - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.operands tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: rdfs.type - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.Count tx.source: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.operands - type: tx.StringLiteral tx.stringLiteral: ' operands
      ' - type: tx.ForEach tx.source: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.operands tx.loopVar: cond tx.emit: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • ' # Grand-operand: terminal dispatch # (And/Or further-nested → count only) - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.operands tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
      ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: rdfs.type - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.Count tx.source: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.operands - type: tx.StringLiteral tx.stringLiteral: ' operands (nested)
      ' # Threshold grand-operand - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.observable tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
      Threshold ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.observable - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.comparator - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.threshold - type: tx.StringLiteral tx.stringLiteral: '' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.persistence tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: ' over ' - type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.persistence tx.readProp: wv.duration - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.persistence tx.readProp: wv.windowUnit - type: tx.StringLiteral tx.stringLiteral: '' - type: tx.StringLiteral tx.stringLiteral: '
      ' # IndicatorComparison grand-operand - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.left tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
      IndicatorComparison ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.left - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.comparator - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.right tx.readProp: rdfs.type - type: tx.StringLiteral tx.stringLiteral: '
      ' # Event grand-operand - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.event tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
      Event ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.event - type: tx.StringLiteral tx.stringLiteral: '' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.durability tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: ' (' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.durability - type: tx.StringLiteral tx.stringLiteral: ')' - type: tx.StringLiteral tx.stringLiteral: '
      ' - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.StringLiteral tx.stringLiteral: '
    ' # NotCondition as operand - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.operand tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    Not ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.operand tx.readProp: rdfs.type - type: tx.StringLiteral tx.stringLiteral: '
    ' # ThresholdCondition as operand - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.observable tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    Threshold ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.observable - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.comparator - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.threshold - type: tx.StringLiteral tx.stringLiteral: '' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.persistence tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: ' over ' - type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.persistence tx.readProp: wv.duration - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.persistence tx.readProp: wv.windowUnit - type: tx.StringLiteral tx.stringLiteral: '' - type: tx.StringLiteral tx.stringLiteral: '
    ' # IndicatorComparison as operand - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.left tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    IndicatorComparison ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.left - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.comparator - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.right tx.readProp: rdfs.type - type: tx.StringLiteral tx.stringLiteral: '
    ' # EventCondition as operand - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.event tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    Event ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.event - type: tx.StringLiteral tx.stringLiteral: '' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.durability tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: ' (' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.durability - type: tx.StringLiteral tx.stringLiteral: ')' - type: tx.StringLiteral tx.stringLiteral: '
    ' # SequencedCondition as operand: render after-type then-type - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.after tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    Sequenced after ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.after tx.readProp: rdfs.type - type: tx.StringLiteral tx.stringLiteral: ' then ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.then tx.readProp: rdfs.type - type: tx.StringLiteral tx.stringLiteral: '
    ' # BeforeCondition as operand - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.before tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    Before ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.before tx.readProp: rdfs.type - type: tx.StringLiteral tx.stringLiteral: ' before ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.mustOccur tx.readProp: rdfs.type - type: tx.StringLiteral tx.stringLiteral: '
    ' # IndicatorAvailable as operand - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.indicator tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    IndicatorAvailable ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: { type: tx.VarRef, tx.varName: cond } tx.readProp: wv.indicator - type: tx.StringLiteral tx.stringLiteral: '
    ' - type: tx.StringLiteral tx.stringLiteral: '
    • ' - type: tx.StringLiteral tx.stringLiteral: '
' # Top-level Threshold (rare, but supported) - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.observable tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
Threshold ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.observable - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.comparator - type: tx.StringLiteral tx.stringLiteral: ' ' - type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.threshold - type: tx.StringLiteral tx.stringLiteral: '
' # Top-level Event (e.g. ai-capex thesis - just one event-type) - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.event tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
Event ' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.event - type: tx.StringLiteral tx.stringLiteral: '' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.durability tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: ' (' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: { type: tx.VarRef, tx.varName: thesisRefMain } tx.readProp: wv.invalidationCondition tx.readProp: wv.durability - type: tx.StringLiteral tx.stringLiteral: ')' - type: tx.StringLiteral tx.stringLiteral: '
' - type: tx.StringLiteral tx.stringLiteral: |
# --- SUPPORTING EVIDENCE (collapsible, open default) --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRefMain tx.readProp: wv.supportingEvidence tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: |
Supporting evidence
    # --- per-evidence loop --- - type: tx.ForEach tx.source: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: thesisRefMain tx.readProp: wv.supportingEvidence tx.loopVar: evRef tx.emit: type: tx.Concat tx.parts: # ITEM OPEN with strength class - type: tx.StringLiteral tx.stringLiteral: '
  1. # HEAD: strength dot + type label + observedAt - type: tx.StringLiteral tx.stringLiteral: '
    ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.evidenceObservedAt tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '' - type: tx.StringLiteral tx.stringLiteral: |-
    # STATEMENT - type: tx.StringLiteral tx.stringLiteral: '

    ' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.evidenceStatement - type: tx.StringLiteral tx.stringLiteral: |

    # FACTS LIST — every type-specific # field is a `when is-set` chip. # Order roughly: who/what/when/value - type: tx.StringLiteral tx.stringLiteral: '
      ' # --- Securities-bearing fields --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.aboutSecurity tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Security' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.aboutSecurity - type: tx.StringLiteral tx.stringLiteral: '
      • ' # --- MarketDataEvidence --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.marketMetric tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Metric' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.marketMetric - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.observedValue tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Value' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.observedValue - type: tx.StringLiteral tx.stringLiteral: '
      • ' # --- AnalystEvidence --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.analystInstitution tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Source' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.analystInstitution - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.forecastTarget tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Target' - type: tx.UriName tx.uriNameOf: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.forecastTarget - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.forecastValue tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Forecast' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.forecastValue - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.forecastHorizon tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Horizon' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.forecastHorizon - type: tx.StringLiteral tx.stringLiteral: '
      • ' # --- CorporateEvidence --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.corporateMetric tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Metric' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.corporateMetric - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.reportingPeriod tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Period' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.reportingPeriod - type: tx.StringLiteral tx.stringLiteral: '
      • ' # --- PolicyEvidence --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.issuingBody tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Issued by' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.issuingBody - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.policy tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Policy' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.policy - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.effectiveDate tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Effective' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.effectiveDate - type: tx.StringLiteral tx.stringLiteral: '
      • ' # --- CentralBankEvidence --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.centralBank tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Bank' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.centralBank - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.meetingDate tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Meeting' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.meetingDate - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.voteCount tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Vote' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.voteCount - type: tx.StringLiteral tx.stringLiteral: '
      • ' # --- GeopoliticalEvidence --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.eventLocation tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Location' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.eventLocation - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.partiesInvolved tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Parties' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.partiesInvolved - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.geopoliticalEventDate tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Date' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.geopoliticalEventDate - type: tx.StringLiteral tx.stringLiteral: '
      • ' # --- OfficialStatementEvidence --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.speaker tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Speaker' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.speaker - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.speakerRole tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Role' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.speakerRole - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.statementVenue tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Venue' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.statementVenue - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.statementDate tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Date' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.statementDate - type: tx.StringLiteral tx.stringLiteral: '
      • ' # --- InstitutionalFlowEvidence --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.flowInstitution tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Institution' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.flowInstitution - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.flowDirection tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Direction' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.flowDirection - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.flowMagnitudeValue tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Magnitude' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: fin.flowMagnitudeValue - type: tx.StringLiteral tx.stringLiteral: '
      • ' # --- EconomicDataEvidence --- - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.indicatorName tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Indicator' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.indicatorName - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.indicatorValue tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Reading' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.indicatorValue - type: tx.StringLiteral tx.stringLiteral: '
      • ' - type: tx.When tx.condition: type: tx.IsSet tx.checkExpr: type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.indicatorPeriod tx.thenBuild: type: tx.Concat tx.parts: - type: tx.StringLiteral tx.stringLiteral: '
    • Period' - type: tx.PropertyRead tx.readSource: type: tx.ResolveRef tx.resolveSource: type: tx.VarRef tx.varName: evRef tx.readProp: wv.indicatorPeriod - type: tx.StringLiteral tx.stringLiteral: '
      • ' # close facts and item - type: tx.StringLiteral tx.stringLiteral: |-
    2. # close evidence list - type: tx.StringLiteral tx.stringLiteral: |
# --- CARD CLOSE --- - type: tx.StringLiteral tx.stringLiteral: |
# close theses section - type: tx.StringLiteral tx.stringLiteral: |
# ===================================================== # FOOTER # ===================================================== - type: tx.StringLiteral tx.stringLiteral: |-