OpenCyber Academy
Doctoral research · Chapter 7 · English
Course code: OCA-207Chapter 07: OCA-207-C007

Chapter 7 — Thesis synthesis and reproducibility archive

Open, free learning for anyone who wants to protect people and technology. No account is required to read this text or its worked answers.

Lesson map

Lesson 07 published. Map, example, EX034.

flowchart TD
  N0["Learning outcomes and connection"]
  N1["7.1 The thesis as an argument"]
  N2["7.2 Monograph or thesis by publication"]
  N3["7.3 Structure of the Cascade Study thesis"]
  N4["7.4 The reproducibility archive"]
  N5["7.5 Synthetic data: invented versus calibrated"]
  N6["7.6 Documenting models, data and studies"]
  N7["7.7 Writing limitations"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7
  N7 --> EX["Worked example"]
  EX --> Q["Exercise EX034"]

Logical drawing

flowchart LR
  N0["Learning outcomes and connection"]
  N1["7.1 The thesis as an argument"]
  N2["7.2 Monograph or thesis by publication"]
  N3["7.3 Structure of the Cascade Study thesis"]
  N4["7.4 The reproducibility archive"]
  N5["7.5 Synthetic data: invented versus calibrated"]
  N6["7.6 Documenting models, data and studies"]
  N7["7.7 Writing limitations"]
  N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7 --> Q["EX034"]
[Learning outcomes and connection]
    |
    v
[7.1 The thesis as an argument]
    |
    v
[7.2 Monograph or thesis by publication]
    |
    v
[7.3 Structure of the Cascade Study thesis]
    |
    v
[7.4 The reproducibility archive]
    |
    v
[7.5 Synthetic data: invented versus calibrated]
    |
    v
[7.6 Documenting models, data and studies]
    |
    v
[7.7 Writing limitations]
    |
    v
[Worked example] --> [Exercise EX034]

Learning outcomes and connection

By the end of this chapter the learner will be able to:

  1. Structure a thesis as an argument in which every claim is linked to evidence, warrant, scope and limitation.
  2. Decide between a monograph and a thesis by publication and integrate either into one coherent argument.
  3. Design a tiered reproducibility archive that releases as much as is lawful and safe, under infrastructure-information protection.
  4. Distinguish invented synthetic data from synthetic data calibrated to real places, and assess residual disclosure risk.
  5. Document models, datasets and simulation studies with recognized structures.
  6. Write a limitations section that informs rather than apologizes.

Chapter 6 produced the narrowed claim. This chapter assembles the thesis around it and builds the archive that lets others check it without exposing the infrastructure it studies.

7.1 The thesis as an argument

A thesis is not a report of everything done; it is an argument for a contribution. A useful scaffold is Toulmin's analysis of arguments (Toulmin, 1958/2003): a claim supported by data (evidence) through a warrant (the reason the evidence supports the claim), with backing for the warrant, a qualifier (how strongly) and rebuttals (conditions under which the claim fails). Applied to infrastructure research:

Lesson table; scroll horizontally to read all columns →

Element Cascade Study example
Claim Time-to-impact ordering reduces weighted critical-service loss relative to critical-flag ordering when orders diverge, maps are accurate and buffers are short.
Data Riverbend and Port Halvard paired simulations; 200-region analysis; map-error and buffer-scaling tests.
Warrant The simulator represents buffer exhaustion and sequential restoration adequately for ranking orderings.
Backing Verification tests; reproduction of baselines; historical validation of water timing; operational validity against expert rankings.
Qualifier In synthetic regions, single scenario class (distribution outages requiring manual sequential restoration), predeclared weights.
Rebuttals Map errors; long buffers; weight sets favouring fan-out; omitted human buffers and travel time; real-world divergence frequency unknown.

Each chapter of the thesis should contribute an identifiable element. A chapter that supplies none is a candidate for an appendix.

7.2 Monograph or thesis by publication

A monograph presents one integrated argument; a thesis by publication collects papers with an integrating introduction and conclusion. Infrastructure theses often mix genres — a model paper, an empirical study of operators, a policy analysis — which suits publication-based theses, but the integrating chapters must do real work: state the overarching claim, show how each paper contributes data or backing, reconcile differences in scope between papers and present limitations across the whole. Regulations about format, co-authorship statements and prior publication differ between institutions; this educational track does not grant degrees and cannot advise on any institution's rules beyond pointing out that they must be checked early.

7.3 Structure of the Cascade Study thesis

  1. Introduction. Problem, gap, contribution types, overarching claim and its scope.
  2. Background. Definitions, interdependency and resilience literature, restoration practice, scheduling theory (Chapters 1–2 of this book).
  3. Method. Mechanism, hypotheses, baselines, protocol, ethics and information protection (Chapter 3).
  4. Verification and baselines. Reproductions, verification tests, elicitation and pilot (Chapter 4).
  5. Main study and validation. Simulations, tabletop, validation, second region (Chapter 5).
  6. Critique and boundaries. Red-team tests, sensitivity, many-region analysis, narrowed claim, dual-use review (Chapter 6).
  7. Discussion. What practitioners and policy-makers can do with the narrowed claim; what remains unknown.
  8. Limitations.
  9. Conclusion.
  10. Appendices. Preregistration and amendments, deviation log, verification test listing, elicitation protocols, tabletop materials, archive manifest.

7.4 The reproducibility archive

7.4.1 Goals and constraints

Reproducibility in this field must satisfy two goals that pull in opposite directions: enabling others to check the work, and not publishing information that helps someone harm infrastructure or identifies people. The FAIR principles — findable, accessible, interoperable, reusable — help here because FAIR does not mean open: data can be findable and its access conditions clearly described while access itself is controlled.

7.4.2 Release tiers

Lesson table; scroll horizontally to read all columns →

Tier Who may access What it holds in the Cascade Study Conditions
T0 Public Anyone Simulator code, tests, synthetic region definitions, seeds, outputs, analysis scripts, tabletop materials without identifiers Licence stated; persistent identifier
T1 Registered Researchers who register and accept terms Aggregated elicitation ranges stripped of partner identity; expanded scenario sets Terms of use prohibit re-identification and targeting
T2 Controlled Approved researchers under an agreement and, where applicable, ethics approval Pseudonymized tabletop transcripts and coded rationales Data-use agreement; secure environment; audit
T3 Withheld Not released; described only Partner-derived feeder–facility relations, real buffer inventories, maps Existence and nature described in the thesis so that examiners know what is missing and why

The archive's manifest lists every file with a cryptographic hash and its tier, so that anyone can verify that the public files are the ones used, and examiners can see what exists at higher tiers.

7.4.3 Practical activity: building a tiered manifest

# Lab 7 - build a tiered reproducibility manifest for a synthetic thesis archive (offline)
import hashlib, json, os, tempfile
files = {
    "code/lab5_mc.py": b"# simulation code\n",
    "data/synthetic_riverbend_params.csv": b"feeder,customers\nF1,9000\nF2,1200\nF3,2500\nF4,6000\n",
    "data/partner_feeder_map.csv": b"feeder,substation,gps\nF2,SUB-7,redacted\n",
    "results/mc_summary.json": b'{"mean_dloss": -46.86}\n',
    "docs/operator_interview_notes.txt": b"P03: we restore by customer count\n",
}
RULES = [  # first matching rule wins; order matters
    ("partner_", "T3-withheld: partner-owned infrastructure detail; describe, do not release"),
    ("interview", "T2-controlled: human-subjects data; release only under approved access agreement"),
    ("synthetic_", "T0-public"),
    ("code/", "T0-public"),
    ("results/", "T0-public"),
]
def tier(path):
    for key, label in RULES:
        if key in path:
            return label
    return "UNCLASSIFIED: stop and review"
with tempfile.TemporaryDirectory() as root:
    manifest = []
    for rel, content in sorted(files.items()):
        p = os.path.join(root, rel)
        os.makedirs(os.path.dirname(p), exist_ok=True)
        with open(p, "wb") as fh:
            fh.write(content)
        manifest.append({"path": rel, "sha256": hashlib.sha256(content).hexdigest()[:16], "tier": tier(rel)})
    print(json.dumps(manifest, indent=1))
    print("public files:", sum(m["tier"].startswith("T0") for m in manifest), "of", len(manifest))

Expected output:

[
 {
  "path": "code/lab5_mc.py",
  "sha256": "e9db014f8aeb90da",
  "tier": "T0-public"
 },
 {
  "path": "data/partner_feeder_map.csv",
  "sha256": "160cefe894e75af9",
  "tier": "T3-withheld: partner-owned infrastructure detail; describe, do not release"
 },
 {
  "path": "data/synthetic_riverbend_params.csv",
  "sha256": "66bd4b5c8f37d273",
  "tier": "T0-public"
 },
 {
  "path": "docs/operator_interview_notes.txt",
  "sha256": "35c6e20265ce92c5",
  "tier": "T2-controlled: human-subjects data; release only under approved access agreement"
 },
 {
  "path": "results/mc_summary.json",
  "sha256": "7bde71d2f02e64ad",
  "tier": "T0-public"
 }
]
public files: 3 of 5

Two design choices deserve attention. First, the rules are ordered and the first match wins: if the "synthetic" rule were placed before the "partner" rule, a file named synthetic_partner_feeders.csv would be published. Order the most restrictive rules first. Second, an unmatched file returns "UNCLASSIFIED: stop and review" rather than a default tier; a release pipeline should fail closed. Real pipelines would also scan file contents (coordinates, asset identifiers, names), not only paths.

7.5 Synthetic data: invented versus calibrated

The regions in this book are invented: their numbers were chosen to teach, and they correspond to no place. A thesis based on a real partner would more likely produce calibrated synthetic data — generated to match statistical properties of real data. Calibration preserves research value and also preserves some disclosure risk: if the real region has a single hospital on a small feeder with a short-buffer water plant, a calibrated synthetic region that preserves those relations may still point to it. Assess residual risk explicitly: Could an informed person match the synthetic configuration to a real one? Would that match reveal anything not already public? Generalizing (ranges instead of values), perturbing, and mixing several real configurations reduce risk; the assessment and the chosen measures belong in the archive documentation.

7.6 Documenting models, data and studies

7.7 Writing limitations

A limitations section is part of the argument: it states the rebuttal conditions and their likely direction. Weak limitations sections list generic caveats ("more research is needed"). Strong ones say, for each limitation, what it is, how it could change the result and in which direction, and what study would resolve it. For the Cascade Study:

Lesson table; scroll horizontally to read all columns →

Limitation Possible effect Direction Resolving study
Human buffers (trucked water, fuel deliveries, load shedding) omitted Model overstates consequence of all orderings and the benefit of reordering Toward smaller benefit Model buffer extension as conditional on telecom and roads; validate against after-action records
Travel time between feeders omitted Orderings that jump between distant feeders cost more than modelled Toward smaller benefit of DEP when critical feeders are dispersed Add a travel-time matrix; re-run
Synthetic regions only Frequency of divergence in real regions unknown Unknown Survey of utilities measuring divergence, under T3 protection
Weights from one panel Verdicts change with weights (EX034) Either Multiple panels; report verdicts per weight set
Tabletop sample of 12 from 3 utilities Adoption evidence weak Toward overstatement of adoptability Larger, stratified study; field pilot during exercises
Cyber scenario class limited to distribution outages requiring manual restoration Does not cover attacks on restoration tools or on priority data Unknown Scenario family including integrity attacks on planning data (motivated by §6.6)

7.8 Worked example: assembling the archive

The candidate's first archive plan placed everything at T2 "to be safe". The committee rejected it: over-restriction prevents verification and is not safe, only unaccountable. The revised plan used the tier table in §7.4.2, published all code and synthetic configurations at T0 with a single regeneration command, placed tabletop transcripts at T2 under the consent terms participants signed, and recorded the T3 partner material in a description that told examiners exactly which analyses depended on it — none of the confirmatory results did, by design, because the study used invented regions for all public claims and used partner data only for elicitation ranges and face validity. That design decision, made in Chapter 1, is what made a largely public archive possible.

7.9 Common errors and limits

Exercises — chapter 7

EX039 — Argument map. Objective: expose the thesis argument. Inputs: the narrowed claim of §6.5. Constraints: use all six Toulmin elements. Steps: (1) map the claim; (2) mark which thesis chapter supplies each element; (3) identify the weakest warrant and the evidence that would strengthen it. Expected evidence: map and paragraph. Rubric: 3 = complete map, weakest warrant correctly identified (model adequacy for real regions, or omitted human buffers) with a specific strengthening study; 2 = one element thin; 1 = claim and data only; 0 = none.

EX040 — Tier assignment. Objective: tier a realistic archive. Inputs: ten artifacts: simulator code; verification tests; Riverbend configuration; elicitation forms with partner names; aggregated elicitation ranges; tabletop audio; coded rationales; consent forms; a partner's restoration procedure; final figures. Constraints: use the four tiers; justify each. Steps: (1) assign each artifact a tier; (2) justify the tier in one line; (3) propose a transformation that would move each restricted item to a more open tier. Expected evidence: table. Rubric: 3 = sensible tiers (code, tests, configurations and figures T0; aggregated ranges T1; coded rationales T2 or T1 if de-identified; audio, consent forms and named elicitation forms T2 or T3; partner procedure T3) with transformations; 2 = one or two misjudged; 1 = uniform tiering; 0 = none.

EX041 — Fail-closed manifest. Objective: improve Lab 7. Inputs: Lab 7. Constraints: offline. Steps: (1) add a file data/synthetic_partner_feeders.csv; (2) show that the current rule order classifies it correctly and explain why; (3) move the synthetic_ rule first, re-run and record the failure; (4) add a content check that refuses public tier for any file containing the string SUB-. Expected evidence: code, outputs, explanation. Rubric: 3 = demonstrates the ordering hazard, the content check works, explanation links to fail-closed design; 2 = partial; 1 = not run; 0 = none.

EX042 — Residual disclosure assessment. Objective: assess calibrated synthetic data. Inputs: a synthetic region calibrated to a real county with one hospital, two water plants and five feeders, preserving which feeder hosts the hospital. Constraints: use the questions in §7.5. Steps: (1) assess the re-identification risk; (2) assess what a match would reveal; (3) propose transformations and evaluate their cost to research value. Expected evidence: one-page assessment. Rubric: 3 = recognizes re-identification through unique structure, proposes mixing or generalization, weighs research value honestly; 2 = assessment shallow; 1 = declares synthetic safe; 0 = none.

EX043 — Model documentation. Objective: document the Lab 5 simulator. Inputs: Lab 5 code. Constraints: follow the model elements in §7.6; at most two pages. Steps: (1) write purpose, entities, processes and scheduling; (2) list inputs and their sources; (3) list the verification tests; (4) list known limitations, including at least three from §7.7. Expected evidence: document. Rubric: 3 = accurate to the code (event-based intervals, restart lag, crew assignment, OR semantics for dependencies), limitations specific; 2 = minor inaccuracies; 1 = generic; 0 = none.

EX044 — Limitations section. Objective: write limitations that inform. Inputs: your own study or the Cascade Study. Constraints: at least five limitations, each with effect, direction and resolving study. Steps: (1) list the limitations; (2) state the effect and direction of each; (3) name the study that would resolve each; (4) rank them by how much they could change the main claim. Expected evidence: table and ranking paragraph. Rubric: 3 = specific, directional, with resolving studies and a justified ranking; 2 = directions missing for some; 1 = generic caveats; 0 = none.

Chapter synthesis

The thesis is an argument: claim, data, warrant, backing, qualifier and rebuttals, each supplied by an identifiable part of the work. Infrastructure research must reconcile reproducibility with protection of the infrastructure studied and of the people involved; tiered archives with hashed manifests do this, and FAIR principles describe access without implying openness. Release tooling should fail closed and check content, not only names. Invented synthetic data carry little disclosure risk; calibrated synthetic data need an explicit residual-risk assessment. Document models, data and computation with recognized structures. Limitations state direction and resolving studies, which turns them into the next research agenda.

Worked answers

EX034 — Weight sensitivity. With all weights set to 1.0 (500 draws, seed 7): Riverbend SILO 15.00, CRITFLAG 1.32, DEP 1.07, ORACLE 0.54; DEP − CRITFLAG −0.25 (95% Monte Carlo interval −0.41 to −0.08). Port Halvard SILO 14.95, CRITFLAG 8.61, DEP 2.49, ORACLE 2.49; DEP − CRITFLAG −6.12 (−6.24 to −6.00). Verdicts: H1 unchanged (supported); H2 in Riverbend changes from rejected to inconclusive under the preregistered rule — the point estimate is a 19% reduction, but the interval's upper end (−0.08) does not lie wholly below the threshold (−0.13); H2 in Port Halvard unchanged (supported); H4 unaffected (customer-hours do not depend on weights). Explanation: with predeclared weights, F3 first protects two heavily weighted services (water 4 and the hospital via water 5), which favours CRITFLAG's order; with equal weights, restoring telecom early matters relatively more and DEP's earliest-time-to-impact rule gains. Conclusion: the Riverbend verdict depends on values; the thesis must report verdicts by weight set.

EX039 — Argument map. Claim, data, warrant, backing, qualifier and rebuttals as in §7.1, with chapters: data (Chapters 5–6), warrant (Chapter 4 verification and Chapter 5 validation), backing (Chapter 4 reproductions and tests), qualifier (Chapter 3 scope plus Chapter 6 conditions), rebuttals (Chapter 6 and Limitations). Weakest warrant: that the model ranks orderings adequately for real regions, since historical validation covers one all-cause event and omits human buffers. Strengthening: validation of buffer timing against several after-action records, with human buffers modelled explicitly.

EX040 — Tier assignment. Simulator code T0; verification tests T0; Riverbend configuration T0 (invented); elicitation forms with partner names T3 (or T2 if partners consent to controlled access) — transform by stripping identities and aggregating to T1; aggregated elicitation ranges T1 (T0 if partners agree and no unique structure remains); tabletop audio T2 — destroy after transcription if consent says so; coded rationales T2, or T1 after de-identification and removal of role-plus-utility combinations; consent forms T2 (administrative, never released); partner restoration procedure T3 — describe its existence and role only; final figures T0.

EX041 — Fail-closed manifest. With the original rule order, data/synthetic_partner_feeders.csv matches partner_ first and is classified T3 (correct). Moving the synthetic_ rule first classifies it as T0-public (wrong) — an ordering hazard. A content check: before assigning T0, read the bytes and refuse T0 if b"SUB-" (or any pattern from a list of asset-identifier formats) occurs, returning "UNCLASSIFIED: stop and review". Lesson: put the most restrictive rules first, fail closed on no match, and check content as well as names.

EX042 — Residual disclosure assessment. Risk: the configuration (one hospital, two water plants, five feeders, hospital on a particular feeder) is a near-unique structural fingerprint of the county; someone with local knowledge could match it. A match would reveal which feeder serves the hospital and the elicited buffers — targeting information. Transformations: mix structures from several counties; generalize to ranges; drop the feeder–hospital link and replace it with a randomized assignment preserving only the statistic of interest (for example, the distribution of divergence). Cost: weaker link to the real case; the thesis must state which results depend on preserved structure.

EX043 — Model documentation. Purpose: rank restoration orderings by weighted critical-service loss and customer-hours in distribution outages requiring manual sequential restoration. Entities: feeders (customers, restoration duration), services (feeder, buffer, weight, optional dependency with on-site buffer), crews. Processes and scheduling: crews take feeders in policy order as soon as free; service outage intervals computed exactly from buffer expiry to restoration plus a one-hour restart lag; dependency intervals start at the supplier's outage start plus on-site buffer and end with the supplier's restoration; intervals clipped to 72 h; dependencies have OR semantics. Inputs: triangular distributions from elicitation; weights from the emergency-management panel. Verification: the invariants and unit tests of EX024. Limitations: no travel time; no human buffer extension; OR semantics only; fixed buffers (no depletion dynamics); single scenario class.

EX044 — Limitations section. A strong answer resembles §7.7, with five or more limitations each given effect, direction and resolving study, and ranks them: (1) human buffers omitted (could reduce all reordering benefits), (2) synthetic regions (frequency of divergence unknown), (3) weights (verdicts change), (4) travel time (reduces DEP benefit where critical feeders are dispersed), (5) tabletop scale (adoption unproven).