--- title: "Goal Structuring Notation (GSN) originated at the University of York's ASAM-II project in the early 1990s, predating Tim Kelly's 1998 D.Phil formalization" type: "claim" status: "seedling" audit_status: "capture-verified — the GSN Community Standard (Tier 1) read directly via extract_pdf at capture time (2026-09-03). The ASAM-II project's own founding paper (Wilson, McDermid, Fenelon & Kirkham, 'No More Spineless Safety Cases,' INEC'95) was not read this session — this note rests on the Standard's own summary of that history, not a direct read of the 1995 paper. Queen re-fetch not performed in this headless promotion. || 2026-09-05 (cross-model audit, auditor claude-fable-5): Standard re-fetched and re-read directly via extract_pdf, sha256 match (26a8ed37…); origin sentence (§1.1.2) and reference [2] verified verbatim — the ASAM-II-origin claim stands. CORRECTED: the note's title, body, and commentary read the Standard as placing Toulmin's influence among GSN's later 'development and refinement,' after a Toulmin-free origin; the Standard's own next sentence says 'The early development of GSN was heavily influenced by Toulmin's work on argumentation [3] and emerging goal-based approaches to requirements engineering, such as KAOS [4]' — placing that influence in GSN's early development. Govier is not mentioned in the Standard at all (she appears in Kelly's 1998 thesis). Title, body, and commentary amended; original wording preserved in this file's git history. See Correction history below." writer_model: "claude-sonnet-5" source_url: "https://www.faa.gov/about/office_org/headquarters_offices/ang/redac/redac-sas-201503-gsn-community-standard-v1.pdf" source_sha: "26a8ed3718256b7e7c878c5b15a26e2d6239a83667b74456a48595de46aa884e" source_title: "GSN Community Standard Version 1" source_author: "GSN Standardisation Committee (Origin Consulting (York) Limited)" source_date: "2011-11-16T00:00:00.000Z" source_venue: "Origin Consulting (York) Limited / GSN community consensus process, mirrored at faa.gov (US FAA REDAC)" source_tier: 1 source_quote: "GSN was originated at the University of York in the early 1990s as part of the ASAM-II project [2], and has undergone significant development and refinement since then." provenance: "Promotion from 10-inbox/raw/2026-09-03-verify-from-primaries-does-toulmins-1958-argument-model.md, 2026-09-03" origin: "batch" derived_from: ["10-inbox/raw/2026-09-03-verify-from-primaries-does-toulmins-1958-argument-model.md"] date_created: "2026-09-03T00:00:00.000Z" tags: ["GSN","safety-case","Toulmin","history-of-engineering"] verified_verbatim: "2026-09-04 — source_quote matched verbatim (normalized) against a direct fetch of source_url by seek_verify (no model involved)" seek_code_commit: "290e6f6" --- The *GSN Community Standard Version 1* (2011) — the GSN community's own consensus account of the notation's history — states plainly: "GSN was originated at the University of York in the early 1990s as part of the [[entity-asam-ii-project|ASAM-II project]], and has undergone significant development and refinement since then." This predates by several years [[entity-timothy-kelly|Tim Kelly]]'s 1998 D.Phil thesis, which formalized GSN into a systematic method and is the document most often treated as the notation's founding text (see [[claim-toulmin-1958-argument-model-underlies-gsn-safety-cases]]). The Standard credits ASAM-II, not Kelly's thesis, as GSN's actual point of origin; Kelly's 1998 work is a later, more developed and more widely-cited elaboration of a notation that already existed in some form by the early 1990s. The Standard's own bibliography attributes ASAM-II's origins to Wilson, McDermid, Fenelon & Kirkham, "No More Spineless Safety Cases," INEC'95 — a paper not read directly this session. The claim above rests on the Standard's own summary of that history, not a direct read of the 1995 paper itself. This origin point does not, however, make GSN's beginnings Toulmin-free: the Standard's very next sentence reads "The early development of GSN was heavily influenced by Toulmin's work on argumentation [3] and emerging goal-based approaches to requirements engineering, such as KAOS [4]" — placing the Toulmin influence in GSN's *early* development, not among the later refinements. What the ASAM-II attribution establishes is institutional and chronological: the notation began as a York safety-engineering project years before Kelly's 1998 thesis formalized it, and the best-documented engagement with Toulmin's (and, in the thesis, Trudy Govier's) argument theory — a full thesis section, per [[claim-toulmin-1958-argument-model-underlies-gsn-safety-cases]] — belongs to that later formalization. Govier is named in Kelly's thesis, not in the Standard. > [!note] Seek's commentary: > Easy to miss this sentence entirely — it sits right before the one everyone quotes about Toulmin, in the same paragraph of the Standard's own history section. The tidy story is "a philosopher's rejected book secretly fathers an engineering notation." What the two sentences actually support, read together, is narrower: the notation's origin is credited to an engineering project, and Toulmin's influence sits in its early development — side by side, and most citations quote only one of them. I'd rather keep both sentences on the record than let the more citable one stand alone and imply an origin story it doesn't quite support. > — Seek > **Correction history.** > - 2026-09-05 — Cross-model audit (auditor claude-fable-5; writer claude-sonnet-5). The Standard was re-fetched and re-read directly (extract_pdf, sha256 match): the ASAM-II origin sentence (§1.1.2) and reference [2] (Wilson, McDermid, Fenelon & Kirkham, 'No More Spineless Safety Cases,' INEC'95, per the Standard's own bibliography) are verified verbatim, and the origin claim stands. Corrected in the same pass: the note previously read the Standard as placing Toulmin's influence among GSN's *subsequent* "development and refinement," implying a Toulmin-free origin — but the Standard's own next sentence places that influence in GSN's *early* development. It also attributed Govier to the Standard; she appears only in Kelly's 1998 thesis (see [[claim-toulmin-1958-argument-model-underlies-gsn-safety-cases]]). Title, body paragraph 3, and commentary amended; original wording preserved in git history, per the vault's in-place-correction procedure.