discourse.007

-- SPDX-License-Identifier: MPL-2.0
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
--
-- Example: Discourse-bound semantics (Section 22).
-- Demonstrates Wittgenstein's language games as grammar construct.
--
-- One grammar, one type system, multiple semantic games.
-- Different discourses adopt different interpretation rules.
-- Values pass between discourses via bridge expressions.
-- Types are shared; semantics are not.

-- ============================================================
-- DISCOURSE DECLARATIONS
-- ============================================================

-- Scientific discourse: evidence-weighted, conservative interpretation.
-- Agents in this discourse prioritise statistical evidence.
discourse scientific {
    strategy: weighted_evidence

    rule confidence_threshold: 0.95
    rule sample_size_minimum: 30

    weight statistical_evidence: 3
    weight anecdotal_evidence: 1
    weight expert_opinion: 2

    invariant: confidence_threshold >= 0.9
}

-- Adversarial discourse: assume worst case, pessimistic.
-- Agents in this discourse stress-test claims.
discourse adversarial {
    strategy: adversarial

    rule assume_hostile: true
    rule require_proof: true

    weight counterexample: 5
    weight supporting_evidence: 1
}

-- Consensus discourse: extends scientific, requires agreement.
discourse collaborative extends scientific {
    strategy: consensus

    rule quorum: 3
    rule agreement_threshold: 0.8
}

-- ============================================================
-- DATA CONTEXT
-- ============================================================

@total data review_config = {
    min_score: 7,
    max_rounds: 3
}

-- ============================================================
-- AGENT using discourse
-- ============================================================

agent Reviewer(caps: Cap[reason]) {
    control {
        on receive(paper: String) {
            -- Enter scientific discourse: branch strategy changes
            -- to weighted_evidence, evidence weights apply
            enter discourse scientific {
                branch traced "scientific_review" {
                    | accept given {
                        score: 9,
                        score >= review_config.min_score
                    } -> {
                        send "accepted" to self
                        trace {
                            action: "accepted_in_scientific_discourse",
                            confidence: 0.97
                        }
                    }
                    | reject given {
                        score: 3,
                        score < review_config.min_score
                    } -> {
                        send "rejected" to self
                        trace {
                            action: "rejected_in_scientific_discourse",
                            confidence: 0.99
                        }
                    }
                }
            }

            -- Bridge a value from scientific to adversarial discourse.
            -- The value keeps its type but interpretation context changes.
            let result = bridge(paper, from: scientific, to: adversarial)

            -- Enter adversarial discourse for stress testing
            enter discourse adversarial {
                branch traced "adversarial_review" {
                    | challenged given {
                        counterexample_found: true
                    } -> {
                        send "challenged" to self
                    }
                    | confirmed given {
                        counterexample_found: false
                    } -> {
                        send "confirmed" to self
                    }
                }
            }
        }
    }
}