# Vercy AI instruction - YAML 1.2 (JSON-compatible) { "vercy": "1.0-draft", "publication": { "status": "published", "adjudicationStatus": "reviewable-draft", "publishableCanonical": false, "generatedAt": "2026-10-06T21:03:49Z", "synthesisSha256": "0f02bf61aff58d6b5a081735065e432b3ae9c89f5f8e6cc2b2b9ce3c3e05d565", "providerMode": "single-provider-waiver", "providers": [ "Codex" ], "waivedProviders": [ "Claude", "Grok" ] }, "metaModel": { "id": "WM-KNW-019", "registryId": "vr.wm-knw-019", "name": "Mathematical / Computational Model", "version": "0.1.0", "previousVersions": [], "entryKind": "entity", "family": "World Models", "category": "Information and virtual systems", "industry": [ "Cross-industry" ], "domain": [ "INF.KNW.MATH" ], "tags": [ "mathematical", "computational", "model", "inf.knw.math" ], "status": "published" }, "canonicalUrl": "https://ver.cy/models/wm-knw-019-mathematical-computational-model/", "sourceUrl": "https://github.com/ver-cy/world-models/tree/feat/mega-model-registry/research/runs/wm-knw-019", "model": { "registry_id": "vr.wm-knw-019", "model_id": "WM-KNW-019", "name": "Mathematical / Computational Model", "entry_kind": "entity", "purpose": "Describe one formal model, its assumptions, parameterization and qualified evidence for use.", "scope_statement": "A persistent formal knowledge object with immutable revisions, optional representations and model-scoped evidence assertions. It can be abstract, empirical, analytical or computational; a run, implementation or trained artifact is separately mastered.", "in_scope": [ "Formal equations, rules, objectives, constraints, symbols and assumptions", "Parameter-set bindings, applicability limits and credibility evidence references", "Model-specific submodel coupling, representation mapping and revision impact" ], "out_of_scope": [ "Software implementation, deployment, solver execution and simulation run lifecycle", "Dataset stewardship, experiment execution, training and inference lifecycle", "Generic ontology management and universal proof or conformance engines", "Operational authorization or automated safety-critical decisions; dangerous applications remain policy-level only" ], "boundary_notes": [ { "neighbor": "WM-KNW-001", "distinction": "Registry parent Model / Ontology is conceptual alignment only until a reviewed revision binding establishes specialization; generic vocabulary lifecycle is not copied.", "source_refs": [ "SRC-002", "SRC-007" ] }, { "neighbor": "WM-DAT-001", "distinction": "Calibration, evaluation and output datasets retain separate masters; store only revision-pinned references and model-specific roles.", "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "neighbor": "WM-SFT-001", "distinction": "Software implementation products retain release, deployment and execution ownership; this dossier records the formal-revision binding.", "source_refs": [ "SRC-004", "SRC-007" ] }, { "neighbor": "WM-ACT-022", "distinction": "Experiment Run owns calibration and verification execution, attempts and deviations; only model-scoped evidence references are local.", "source_refs": [ "SRC-005", "SRC-007" ] }, { "neighbor": "WM-VRT-003", "distinction": "Simulation owns computational run state and results; the formal model owns its equations and declared conditions.", "source_refs": [ "SRC-004", "SRC-005" ] }, { "neighbor": "WM-VRT-012", "distinction": "Simulation Scenario owns scenario-specific inputs and environmental setup; model applicability is a separate claim.", "source_refs": [ "SRC-001", "SRC-005" ] }, { "neighbor": "WM-AI-007", "distinction": "Candidate binding for trained artifact registration when a hybrid model uses learned components. Training and inference lifecycles remain external; registry pin requires review.", "source_refs": [ "SRC-004", "SRC-007" ] }, { "neighbor": "Purely abstract models and hybrid learned components", "distinction": "Empirical validation can be inapplicable with rationale; proofs and consistency claims remain scoped. Learned and analytical components can coexist, so exclusion is by separately mastered artifact and activity, not a false mathematical dichotomy.", "source_refs": [ "SRC-002", "SRC-004", "SRC-007" ] } ] }, "sources": [ { "id": "SRC-001", "title": "NASA-STD-7009B: Standard for Models and Simulations", "organization": "NASA", "url": "https://standards.nasa.gov/sites/default/files/standards/NASA/B/1/NASA-STD-7009B-Final-3-5-2024.pdf", "version_or_date": "Revision B, approved 2024-03-05", "source_type": "standard", "primary_source": true, "authority_tier": 1, "accessed_at": "2026-10-06T21:01:30Z", "relevance": "Sections 4.2-4.3 support assumptions, permitted uses, credibility evidence and uncertainty. Agency requirements are scoped examples, not universal mandates." }, { "id": "SRC-002", "title": "MathML 3.0 Second Edition, Chapter 4: Content Markup", "organization": "W3C", "url": "https://www.w3.org/TR/MathML3/chapter4.html", "version_or_date": "Second Edition, 2014-04-10", "source_type": "standard", "primary_source": true, "authority_tier": 1, "accessed_at": "2026-10-06T21:01:30Z", "relevance": "Sections 4.1-4.2 distinguish expression meaning, variable binding and symbol dictionaries from presentation. Selected edition is not asserted latest." }, { "id": "SRC-003", "title": "CellML 2.0: Normative Specification", "organization": "CellML Project", "url": "https://www.cellml.org/cellml/2.0", "version_or_date": "CellML 2.0 normative web specification; retrieved 2026-10-06", "source_type": "standard", "primary_source": true, "authority_tier": 1, "accessed_at": "2026-10-06T21:01:30Z", "relevance": "Sections 2-3 describe variables, unit definitions, components, imports and mathematical interpretation. Used as a domain-specific exchange alignment." }, { "id": "SRC-004", "title": "Functional Mock-up Interface Specification", "organization": "Modelica Association", "url": "https://fmi-standard.org/docs/3.0.2/", "version_or_date": "Version 3.0.2, 2024-11-27", "source_type": "standard", "primary_source": true, "authority_tier": 1, "accessed_at": "2026-10-06T21:01:30Z", "relevance": "Sections 1.2 and 2 distinguish model exchange, co-simulation and scheduled execution and describe typed model variables. No implementation conformity inferred." }, { "id": "SRC-005", "title": "Simulation Experiment Description Markup Language: Level 1 Version 5", "organization": "SED-ML Editorial Board", "url": "https://sed-ml.org/documents/sed-ml-L1V5.pdf", "version_or_date": "Level 1 Version 5, 2024-01-03", "source_type": "standard", "primary_source": true, "authority_tier": 1, "accessed_at": "2026-10-06T21:01:30Z", "relevance": "Overview and technical specification distinguish model references, modifications, simulations, tasks and reported outputs; supports external experiment binding." }, { "id": "SRC-006", "title": "SBML Level 3 Version 2 specification release page", "organization": "SBML Editorial Board", "url": "https://sbml.org/documents/specifications/level-3/version-2/", "version_or_date": "Core Release 2, 2019-03-29; release page retrieved 2026-10-06", "source_type": "first-party-doc", "primary_source": true, "authority_tier": 1, "accessed_at": "2026-10-06T21:01:30Z", "relevance": "Release identification and package table support explicit core/package/version declarations only. Full normative core was not retrieved; no detailed core semantics are inferred." }, { "id": "SRC-007", "title": "PROV-O: The PROV Ontology", "organization": "W3C", "url": "https://www.w3.org/TR/prov-o/", "version_or_date": "Recommendation, 2013-04-30", "source_type": "ontology", "primary_source": true, "authority_tier": 1, "accessed_at": "2026-10-06T21:01:30Z", "relevance": "Sections 3.1-3.3 and revision relations support separating conceptual entities, activities, attribution and derivation. Provenance does not certify truth." }, { "id": "SRC-008", "title": "RFC 3339: Date and Time on the Internet: Timestamps", "organization": "IETF", "url": "https://www.rfc-editor.org/rfc/rfc3339", "version_or_date": "July 2002; page notes update by RFC 9557", "source_type": "standard", "primary_source": true, "authority_tier": 1, "accessed_at": "2026-10-06T21:01:30Z", "relevance": "Sections 4-5 support recording instants with offsets; simulated time coordinates and durations are different quantities." } ], "structure": { "bundles": [ { "id": "identity-purpose-bundle", "name": "Identity and purpose", "description": "Identify the formal object and its intended question.", "rationale": "Proposed local concern grouping derived from the cited distinctions; not a normative structure mandated by an external standard.", "source_refs": [ "SRC-001", "SRC-002", "SRC-003", "SRC-007" ], "layers": [ { "id": "identity-layer", "name": "Model identity", "description": "Identify a formal knowledge object across revisions, copies and encodings. A name, file hash or timestamp alone does not establish model identity.", "source_refs": [ "SRC-007", "SRC-003" ], "findings": [ { "id": "identity-finding", "name": "Logical model and immutable revision", "description": "Identify a formal knowledge object across revisions, copies and encodings. A name, file hash or timestamp alone does not establish model identity.", "source_refs": [ "SRC-007", "SRC-003" ], "questions": [ { "id": "identity-q01", "text": "Which authoritative identifier and namespace identify this logical model?", "kind": "identity", "answer_data": [ "identity-model-id", "identity-master-namespace" ] }, { "id": "identity-q02", "text": "Which immutable revision is under review and which earlier revision does it supersede?", "kind": "lifecycle", "answer_data": [ "identity-revision-id", "identity-predecessor-ref", "identity-revision-state" ] }, { "id": "identity-q03", "text": "Which derivation evidence distinguishes an alias, a copied representation and a newly forked model?", "kind": "provenance", "answer_data": [ "identity-derivation-ref", "identity-alias-evidence", "identity-fork-rationale" ] } ], "data_elements": [ { "id": "identity-model-id", "name": "Model id", "description": "Candidate answer for logical model and immutable revision: model id. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-007", "SRC-003" ] }, { "id": "identity-master-namespace", "name": "Master namespace", "description": "Candidate answer for logical model and immutable revision: master namespace. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-007", "SRC-003" ] }, { "id": "identity-revision-id", "name": "Revision id", "description": "Candidate answer for logical model and immutable revision: revision id. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-007", "SRC-003" ] }, { "id": "identity-predecessor-ref", "name": "Predecessor ref", "description": "Candidate answer for logical model and immutable revision: predecessor ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-007", "SRC-003" ] }, { "id": "identity-revision-state", "name": "Revision state", "description": "Candidate answer for logical model and immutable revision: revision state. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-007", "SRC-003" ] }, { "id": "identity-derivation-ref", "name": "Derivation ref", "description": "Candidate answer for logical model and immutable revision: derivation ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-007", "SRC-003" ] }, { "id": "identity-alias-evidence", "name": "Alias evidence", "description": "Candidate answer for logical model and immutable revision: alias evidence. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-007", "SRC-003" ] }, { "id": "identity-fork-rationale", "name": "Fork rationale", "description": "Candidate answer for logical model and immutable revision: fork rationale. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-007", "SRC-003" ] } ], "artifacts": [ { "id": "identity-artifact", "name": "Logical model and immutable revision record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-007", "SRC-003" ] } ], "inline_only_rationale": null } ] }, { "id": "intent-layer", "name": "Purpose and referent", "description": "Describe what the model represents or formalizes and the question it serves. Abstract mathematical structures need not claim an empirical referent or prediction capability.", "source_refs": [ "SRC-001", "SRC-002" ], "findings": [ { "id": "intent-finding", "name": "Question and intended use", "description": "Describe what the model represents or formalizes and the question it serves. Abstract mathematical structures need not claim an empirical referent or prediction capability.", "source_refs": [ "SRC-001", "SRC-002" ], "questions": [ { "id": "intent-q01", "text": "What question and referent or abstract structure does this model address?", "kind": "definition", "answer_data": [ "intent-purpose", "intent-referent-ref", "intent-abstraction-description" ] }, { "id": "intent-q02", "text": "Which mathematical families and deterministic, stochastic, static or dynamic characteristics apply?", "kind": "classification", "answer_data": [ "intent-family-codes", "intent-behavior-class", "intent-classification-rationale" ] }, { "id": "intent-q03", "text": "Who may accept this revision for a specified use and what decision evidence is required?", "kind": "authority", "answer_data": [ "intent-acceptance-authority-ref", "intent-use-context-ref", "intent-acceptance-criteria-ref" ] } ], "data_elements": [ { "id": "intent-purpose", "name": "Purpose", "description": "Candidate answer for question and intended use: purpose. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "intent-referent-ref", "name": "Referent ref", "description": "Candidate answer for question and intended use: referent ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "intent-abstraction-description", "name": "Abstraction description", "description": "Candidate answer for question and intended use: abstraction description. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "intent-family-codes", "name": "Family codes", "description": "Candidate answer for question and intended use: family codes. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "intent-behavior-class", "name": "Behavior class", "description": "Candidate answer for question and intended use: behavior class. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "intent-classification-rationale", "name": "Classification rationale", "description": "Candidate answer for question and intended use: classification rationale. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "intent-acceptance-authority-ref", "name": "Acceptance authority ref", "description": "Candidate answer for question and intended use: acceptance authority ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "intent-use-context-ref", "name": "Use context ref", "description": "Candidate answer for question and intended use: use context ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "intent-acceptance-criteria-ref", "name": "Acceptance criteria ref", "description": "Candidate answer for question and intended use: acceptance criteria ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] } ], "artifacts": [ { "id": "intent-artifact", "name": "Question and intended use record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-001", "SRC-002" ] } ], "inline_only_rationale": null } ] } ] }, { "id": "formal-definition-bundle", "name": "Formal definition", "description": "Express mathematical meaning and declared symbols.", "rationale": "Proposed local concern grouping derived from the cited distinctions; not a normative structure mandated by an external standard.", "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ], "layers": [ { "id": "expressions-layer", "name": "Formal statements", "description": "Keep expressions, quantified variables, definitions and constraints interpretable independently of typography. Declare incomplete formalization without presenting it as executable mathematics.", "source_refs": [ "SRC-002", "SRC-003" ], "findings": [ { "id": "expressions-finding", "name": "Equations, rules and constraints", "description": "Keep expressions, quantified variables, definitions and constraints interpretable independently of typography. Declare incomplete formalization without presenting it as executable mathematics.", "source_refs": [ "SRC-002", "SRC-003" ], "questions": [ { "id": "expressions-q01", "text": "Which equations, transition rules, constraints or objectives constitute the formal statement?", "kind": "definition", "answer_data": [ "expressions-statement-artifact-ref", "expressions-formalism", "expressions-statement-completeness" ] }, { "id": "expressions-q02", "text": "Which variable scopes, domains, quantifiers and operator definitions determine the expression meaning?", "kind": "constraint", "answer_data": [ "expressions-binding-scopes", "expressions-value-domains", "expressions-operator-dictionary-refs" ] }, { "id": "expressions-q03", "text": "Which consistency, existence, uniqueness or feasibility claims have evidence and which remain unproved?", "kind": "validation", "answer_data": [ "expressions-claim-ref", "expressions-proof-or-analysis-ref", "expressions-unresolved-claims" ] } ], "data_elements": [ { "id": "expressions-statement-artifact-ref", "name": "Statement artifact ref", "description": "Candidate answer for equations, rules and constraints: statement artifact ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003" ] }, { "id": "expressions-formalism", "name": "Formalism", "description": "Candidate answer for equations, rules and constraints: formalism. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003" ] }, { "id": "expressions-statement-completeness", "name": "Statement completeness", "description": "Candidate answer for equations, rules and constraints: statement completeness. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003" ] }, { "id": "expressions-binding-scopes", "name": "Binding scopes", "description": "Candidate answer for equations, rules and constraints: binding scopes. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003" ] }, { "id": "expressions-value-domains", "name": "Value domains", "description": "Candidate answer for equations, rules and constraints: value domains. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003" ] }, { "id": "expressions-operator-dictionary-refs", "name": "Operator dictionary refs", "description": "Candidate answer for equations, rules and constraints: operator dictionary refs. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..n", "required": false, "source_refs": [ "SRC-002", "SRC-003" ] }, { "id": "expressions-claim-ref", "name": "Claim ref", "description": "Candidate answer for equations, rules and constraints: claim ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003" ] }, { "id": "expressions-proof-or-analysis-ref", "name": "Proof or analysis ref", "description": "Candidate answer for equations, rules and constraints: proof or analysis ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003" ] }, { "id": "expressions-unresolved-claims", "name": "Unresolved claims", "description": "Candidate answer for equations, rules and constraints: unresolved claims. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003" ] } ], "artifacts": [ { "id": "expressions-artifact", "name": "Equations, rules and constraints record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-002", "SRC-003" ] } ], "inline_only_rationale": null } ] }, { "id": "symbols-layer", "name": "Variables and units", "description": "Distinguish inputs, outputs, state variables, parameters and constants. Unit and coordinate declarations describe represented quantities, not physical properties of the knowledge object.", "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ], "findings": [ { "id": "symbols-finding", "name": "Symbol and quantity declarations", "description": "Distinguish inputs, outputs, state variables, parameters and constants. Unit and coordinate declarations describe represented quantities, not physical properties of the knowledge object.", "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ], "questions": [ { "id": "symbols-q01", "text": "Which symbols serve as inputs, outputs, state variables, parameters or constants?", "kind": "composition", "answer_data": [ "symbols-symbol-table", "symbols-symbol-role", "symbols-definition-ref" ] }, { "id": "symbols-q02", "text": "Which value types, shapes, units, scaling conventions and admissible ranges apply to each symbol?", "kind": "measurement", "answer_data": [ "symbols-value-type", "symbols-shape", "symbols-unit-ref", "symbols-scale", "symbols-admissible-range" ] }, { "id": "symbols-q03", "text": "Which coordinate frame, orientation and transformations apply where the model represents spatial quantities?", "kind": "spatial", "answer_data": [ "symbols-frame-ref", "symbols-orientation", "symbols-transform-ref", "symbols-spatial-applicability" ] } ], "data_elements": [ { "id": "symbols-symbol-table", "name": "Symbol table", "description": "Candidate answer for symbol and quantity declarations: symbol table. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-symbol-role", "name": "Symbol role", "description": "Candidate answer for symbol and quantity declarations: symbol role. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-definition-ref", "name": "Definition ref", "description": "Candidate answer for symbol and quantity declarations: definition ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-value-type", "name": "Value type", "description": "Candidate answer for symbol and quantity declarations: value type. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-shape", "name": "Shape", "description": "Candidate answer for symbol and quantity declarations: shape. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-unit-ref", "name": "Unit ref", "description": "Candidate answer for symbol and quantity declarations: unit ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-scale", "name": "Scale", "description": "Candidate answer for symbol and quantity declarations: scale. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-admissible-range", "name": "Admissible range", "description": "Candidate answer for symbol and quantity declarations: admissible range. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-frame-ref", "name": "Frame ref", "description": "Candidate answer for symbol and quantity declarations: frame ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-orientation", "name": "Orientation", "description": "Candidate answer for symbol and quantity declarations: orientation. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-transform-ref", "name": "Transform ref", "description": "Candidate answer for symbol and quantity declarations: transform ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] }, { "id": "symbols-spatial-applicability", "name": "Spatial applicability", "description": "Candidate answer for symbol and quantity declarations: spatial applicability. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] } ], "artifacts": [ { "id": "symbols-artifact", "name": "Symbol and quantity declarations record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-002", "SRC-003", "SRC-004" ] } ], "inline_only_rationale": null } ] } ] }, { "id": "applicability-bundle", "name": "Assumptions and domain", "description": "Expose conditions and limits of interpretation.", "rationale": "Proposed local concern grouping derived from the cited distinctions; not a normative structure mandated by an external standard.", "source_refs": [ "SRC-001", "SRC-002", "SRC-003", "SRC-008" ], "layers": [ { "id": "assumptions-layer", "name": "Abstraction conditions", "description": "Make simplifications, omitted interactions and logical premises inspectable. Unknowns are not automatically assumptions accepted by the use authority.", "source_refs": [ "SRC-001", "SRC-002" ], "findings": [ { "id": "assumptions-finding", "name": "Assumptions and exclusions", "description": "Make simplifications, omitted interactions and logical premises inspectable. Unknowns are not automatically assumptions accepted by the use authority.", "source_refs": [ "SRC-001", "SRC-002" ], "questions": [ { "id": "assumptions-q01", "text": "Which simplifying assumptions or formal premises are necessary for this formulation?", "kind": "constraint", "answer_data": [ "assumptions-assumption-id", "assumptions-assumption-statement", "assumptions-premise-ref" ] }, { "id": "assumptions-q02", "text": "What evidence or rationale supports each assumption and what contrary evidence is recorded?", "kind": "evidence", "answer_data": [ "assumptions-support-ref", "assumptions-counterevidence-ref", "assumptions-assumption-status" ] }, { "id": "assumptions-q03", "text": "Which conclusions must be reconsidered if an assumption fails?", "kind": "exception", "answer_data": [ "assumptions-affected-claim-refs", "assumptions-failure-condition", "assumptions-review-action" ] } ], "data_elements": [ { "id": "assumptions-assumption-id", "name": "Assumption id", "description": "Candidate answer for assumptions and exclusions: assumption id. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "assumptions-assumption-statement", "name": "Assumption statement", "description": "Candidate answer for assumptions and exclusions: assumption statement. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "assumptions-premise-ref", "name": "Premise ref", "description": "Candidate answer for assumptions and exclusions: premise ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "assumptions-support-ref", "name": "Support ref", "description": "Candidate answer for assumptions and exclusions: support ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "assumptions-counterevidence-ref", "name": "Counterevidence ref", "description": "Candidate answer for assumptions and exclusions: counterevidence ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "assumptions-assumption-status", "name": "Assumption status", "description": "Candidate answer for assumptions and exclusions: assumption status. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "assumptions-affected-claim-refs", "name": "Affected claim refs", "description": "Candidate answer for assumptions and exclusions: affected claim refs. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..n", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "assumptions-failure-condition", "name": "Failure condition", "description": "Candidate answer for assumptions and exclusions: failure condition. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] }, { "id": "assumptions-review-action", "name": "Review action", "description": "Candidate answer for assumptions and exclusions: review action. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002" ] } ], "artifacts": [ { "id": "assumptions-artifact", "name": "Assumptions and exclusions record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-001", "SRC-002" ] } ], "inline_only_rationale": null } ] }, { "id": "domain-layer", "name": "Applicability envelope", "description": "Record conditions for interpretation and permissible use separately from the domain actually tested. Mathematical time coordinates are not wall-clock timestamps.", "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ], "findings": [ { "id": "domain-finding", "name": "Domain and boundary conditions", "description": "Record conditions for interpretation and permissible use separately from the domain actually tested. Mathematical time coordinates are not wall-clock timestamps.", "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ], "questions": [ { "id": "domain-q01", "text": "Which initial, boundary, admissibility or environmental conditions delimit the stated problem?", "kind": "constraint", "answer_data": [ "domain-initial-condition-set", "domain-boundary-condition-set", "domain-environment-ref" ] }, { "id": "domain-q02", "text": "Which time coordinate, origin, unit and horizon apply, or why is the model atemporal?", "kind": "temporal", "answer_data": [ "domain-time-coordinate", "domain-time-unit", "domain-horizon", "domain-atemporal-rationale" ] }, { "id": "domain-q03", "text": "Where does the proposed use exceed the supported domain and which scoped exception or refusal is recorded?", "kind": "decision", "answer_data": [ "domain-proposed-use-ref", "domain-supported-domain-ref", "domain-extrapolation-gap", "domain-exception-ref" ] } ], "data_elements": [ { "id": "domain-initial-condition-set", "name": "Initial condition set", "description": "Candidate answer for domain and boundary conditions: initial condition set. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] }, { "id": "domain-boundary-condition-set", "name": "Boundary condition set", "description": "Candidate answer for domain and boundary conditions: boundary condition set. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] }, { "id": "domain-environment-ref", "name": "Environment ref", "description": "Candidate answer for domain and boundary conditions: environment ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] }, { "id": "domain-time-coordinate", "name": "Time coordinate", "description": "Candidate answer for domain and boundary conditions: time coordinate. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] }, { "id": "domain-time-unit", "name": "Time unit", "description": "Candidate answer for domain and boundary conditions: time unit. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] }, { "id": "domain-horizon", "name": "Horizon", "description": "Candidate answer for domain and boundary conditions: horizon. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] }, { "id": "domain-atemporal-rationale", "name": "Atemporal rationale", "description": "Candidate answer for domain and boundary conditions: atemporal rationale. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] }, { "id": "domain-proposed-use-ref", "name": "Proposed use ref", "description": "Candidate answer for domain and boundary conditions: proposed use ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] }, { "id": "domain-supported-domain-ref", "name": "Supported domain ref", "description": "Candidate answer for domain and boundary conditions: supported domain ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] }, { "id": "domain-extrapolation-gap", "name": "Extrapolation gap", "description": "Candidate answer for domain and boundary conditions: extrapolation gap. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] }, { "id": "domain-exception-ref", "name": "Exception ref", "description": "Candidate answer for domain and boundary conditions: exception ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] } ], "artifacts": [ { "id": "domain-artifact", "name": "Domain and boundary conditions record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-001", "SRC-003", "SRC-008" ] } ], "inline_only_rationale": null } ] } ] }, { "id": "parameterization-bundle", "name": "Parameterization and calibration", "description": "Bind values and fitting evidence without running a fit.", "rationale": "Proposed local concern grouping derived from the cited distinctions; not a normative structure mandated by an external standard.", "source_refs": [ "SRC-001", "SRC-003", "SRC-005", "SRC-007" ], "layers": [ { "id": "parameters-layer", "name": "Parameter sets", "description": "Bind an identified parameter set to the model revision. Preserve measured, fitted, assumed and derived origins and distinguish unknown values from zero.", "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ], "findings": [ { "id": "parameters-finding", "name": "Values and parameter provenance", "description": "Bind an identified parameter set to the model revision. Preserve measured, fitted, assumed and derived origins and distinguish unknown values from zero.", "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ], "questions": [ { "id": "parameters-q01", "text": "Which parameter values, units and ranges belong to this named parameter set?", "kind": "measurement", "answer_data": [ "parameters-parameter-set-id", "parameters-model-revision-ref", "parameters-parameter-values" ] }, { "id": "parameters-q02", "text": "For each parameter, which measurement, calibration, assumption or derivation supplied its value?", "kind": "provenance", "answer_data": [ "parameters-parameter-origin", "parameters-source-ref", "parameters-derivation-ref" ] }, { "id": "parameters-q03", "text": "Which uncertainties, dependencies or missing values qualify the parameter set?", "kind": "quality", "answer_data": [ "parameters-uncertainty-description", "parameters-dependence-ref", "parameters-missing-value-reason" ] } ], "data_elements": [ { "id": "parameters-parameter-set-id", "name": "Parameter set id", "description": "Candidate answer for values and parameter provenance: parameter set id. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] }, { "id": "parameters-model-revision-ref", "name": "Model revision ref", "description": "Candidate answer for values and parameter provenance: model revision ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] }, { "id": "parameters-parameter-values", "name": "Parameter values", "description": "Candidate answer for values and parameter provenance: parameter values. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] }, { "id": "parameters-parameter-origin", "name": "Parameter origin", "description": "Candidate answer for values and parameter provenance: parameter origin. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] }, { "id": "parameters-source-ref", "name": "Source ref", "description": "Candidate answer for values and parameter provenance: source ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] }, { "id": "parameters-derivation-ref", "name": "Derivation ref", "description": "Candidate answer for values and parameter provenance: derivation ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] }, { "id": "parameters-uncertainty-description", "name": "Uncertainty description", "description": "Candidate answer for values and parameter provenance: uncertainty description. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] }, { "id": "parameters-dependence-ref", "name": "Dependence ref", "description": "Candidate answer for values and parameter provenance: dependence ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] }, { "id": "parameters-missing-value-reason", "name": "Missing value reason", "description": "Candidate answer for values and parameter provenance: missing value reason. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] } ], "artifacts": [ { "id": "parameters-artifact", "name": "Values and parameter provenance record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] } ], "inline_only_rationale": null } ] }, { "id": "calibration-layer", "name": "Calibration binding", "description": "Reference calibration activities and datasets without owning their execution. Data reuse and parameter identifiability are explicit evidence questions; a fitted value is not a validation result.", "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ], "findings": [ { "id": "calibration-finding", "name": "Fitting evidence and separation", "description": "Reference calibration activities and datasets without owning their execution. Data reuse and parameter identifiability are explicit evidence questions; a fitted value is not a validation result.", "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ], "questions": [ { "id": "calibration-q01", "text": "Which external calibration activity, objective and constraints produced this parameter set?", "kind": "process", "answer_data": [ "calibration-calibration-run-ref", "calibration-objective-ref", "calibration-fit-constraints" ] }, { "id": "calibration-q02", "text": "Which data partitions were used for fitting and which were reserved for evaluation?", "kind": "relationship", "answer_data": [ "calibration-calibration-data-ref", "calibration-evaluation-data-ref", "calibration-overlap-declaration" ] }, { "id": "calibration-q03", "text": "What evidence supports parameter identifiability or records multiple equivalent fits?", "kind": "quality", "answer_data": [ "calibration-identifiability-evidence-ref", "calibration-alternative-fit-refs", "calibration-fit-limitations" ] } ], "data_elements": [ { "id": "calibration-calibration-run-ref", "name": "Calibration run ref", "description": "Candidate answer for fitting evidence and separation: calibration run ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "calibration-objective-ref", "name": "Objective ref", "description": "Candidate answer for fitting evidence and separation: objective ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "calibration-fit-constraints", "name": "Fit constraints", "description": "Candidate answer for fitting evidence and separation: fit constraints. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "calibration-calibration-data-ref", "name": "Calibration data ref", "description": "Candidate answer for fitting evidence and separation: calibration data ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "calibration-evaluation-data-ref", "name": "Evaluation data ref", "description": "Candidate answer for fitting evidence and separation: evaluation data ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "calibration-overlap-declaration", "name": "Overlap declaration", "description": "Candidate answer for fitting evidence and separation: overlap declaration. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "calibration-identifiability-evidence-ref", "name": "Identifiability evidence ref", "description": "Candidate answer for fitting evidence and separation: identifiability evidence ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "calibration-alternative-fit-refs", "name": "Alternative fit refs", "description": "Candidate answer for fitting evidence and separation: alternative fit refs. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..n", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "calibration-fit-limitations", "name": "Fit limitations", "description": "Candidate answer for fitting evidence and separation: fit limitations. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] } ], "artifacts": [ { "id": "calibration-artifact", "name": "Fitting evidence and separation record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] } ], "inline_only_rationale": null } ] } ] }, { "id": "realization-bundle", "name": "Implementation and reproduction", "description": "Connect external realizations and runs to a fixed formal revision.", "rationale": "Proposed local concern grouping derived from the cited distinctions; not a normative structure mandated by an external standard.", "source_refs": [ "SRC-004", "SRC-005", "SRC-007", "SRC-008" ], "layers": [ { "id": "implementation-layer", "name": "Implementation binding", "description": "Bind a formal revision to optional implementations and numerical-method profiles. A model may be purely analytical; importing a runnable artifact does not authorize execution.", "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ], "findings": [ { "id": "implementation-finding", "name": "Representation and solver references", "description": "Bind a formal revision to optional implementations and numerical-method profiles. A model may be purely analytical; importing a runnable artifact does not authorize execution.", "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ], "questions": [ { "id": "implementation-q01", "text": "Which software release or analytical method implements this formal revision?", "kind": "relationship", "answer_data": [ "implementation-implementation-ref", "implementation-release-pin", "implementation-method-ref", "implementation-implementation-status" ] }, { "id": "implementation-q02", "text": "Which discretization, tolerance, precision and event-handling choices qualify the implementation binding?", "kind": "constraint", "answer_data": [ "implementation-numerical-profile-ref", "implementation-discretization-ref", "implementation-tolerance", "implementation-precision", "implementation-event-policy-ref" ] }, { "id": "implementation-q03", "text": "Which implementation artifacts require an external execution authority and isolation policy?", "kind": "security", "answer_data": [ "implementation-executable-artifact-ref", "implementation-execution-policy-ref", "implementation-authorization-ref" ] } ], "data_elements": [ { "id": "implementation-implementation-ref", "name": "Implementation ref", "description": "Candidate answer for representation and solver references: implementation ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-release-pin", "name": "Release pin", "description": "Candidate answer for representation and solver references: release pin. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-method-ref", "name": "Method ref", "description": "Candidate answer for representation and solver references: method ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-implementation-status", "name": "Implementation status", "description": "Candidate answer for representation and solver references: implementation status. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-numerical-profile-ref", "name": "Numerical profile ref", "description": "Candidate answer for representation and solver references: numerical profile ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-discretization-ref", "name": "Discretization ref", "description": "Candidate answer for representation and solver references: discretization ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-tolerance", "name": "Tolerance", "description": "Candidate answer for representation and solver references: tolerance. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-precision", "name": "Precision", "description": "Candidate answer for representation and solver references: precision. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-event-policy-ref", "name": "Event policy ref", "description": "Candidate answer for representation and solver references: event policy ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-executable-artifact-ref", "name": "Executable artifact ref", "description": "Candidate answer for representation and solver references: executable artifact ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-execution-policy-ref", "name": "Execution policy ref", "description": "Candidate answer for representation and solver references: execution policy ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] }, { "id": "implementation-authorization-ref", "name": "Authorization ref", "description": "Candidate answer for representation and solver references: authorization ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] } ], "artifacts": [ { "id": "implementation-artifact", "name": "Representation and solver references record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-004", "SRC-005", "SRC-007" ] } ], "inline_only_rationale": null } ] }, { "id": "reproduction-layer", "name": "Run evidence binding", "description": "Keep experiment and simulation runs externally mastered. Local bindings identify model revision, inputs, configuration and reported reproduction evidence, including unsuccessful attempts.", "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ], "findings": [ { "id": "reproduction-finding", "name": "Reproduction claim and result lineage", "description": "Keep experiment and simulation runs externally mastered. Local bindings identify model revision, inputs, configuration and reported reproduction evidence, including unsuccessful attempts.", "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ], "questions": [ { "id": "reproduction-q01", "text": "Which external run binds the exact model revision, inputs, parameter set and environment?", "kind": "provenance", "answer_data": [ "reproduction-run-ref", "reproduction-revision-ref", "reproduction-input-refs", "reproduction-parameter-set-ref", "reproduction-environment-ref" ] }, { "id": "reproduction-q02", "text": "What reproduction criterion and observed attempt outcome support a reproducibility claim?", "kind": "validation", "answer_data": [ "reproduction-reproduction-criterion", "reproduction-attempt-ref", "reproduction-outcome", "reproduction-difference-report-ref" ] }, { "id": "reproduction-q03", "text": "How are wall-clock execution and observation instants distinguished from simulated time and randomization settings?", "kind": "temporal", "answer_data": [ "reproduction-execution-instants", "reproduction-observation-instant", "reproduction-simulation-time-ref", "reproduction-generator-version", "reproduction-seed-or-state-ref" ] } ], "data_elements": [ { "id": "reproduction-run-ref", "name": "Run ref", "description": "Candidate answer for reproduction claim and result lineage: run ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-revision-ref", "name": "Revision ref", "description": "Candidate answer for reproduction claim and result lineage: revision ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-input-refs", "name": "Input refs", "description": "Candidate answer for reproduction claim and result lineage: input refs. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..n", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-parameter-set-ref", "name": "Parameter set ref", "description": "Candidate answer for reproduction claim and result lineage: parameter set ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-environment-ref", "name": "Environment ref", "description": "Candidate answer for reproduction claim and result lineage: environment ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-reproduction-criterion", "name": "Reproduction criterion", "description": "Candidate answer for reproduction claim and result lineage: reproduction criterion. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-attempt-ref", "name": "Attempt ref", "description": "Candidate answer for reproduction claim and result lineage: attempt ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-outcome", "name": "Outcome", "description": "Candidate answer for reproduction claim and result lineage: outcome. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-difference-report-ref", "name": "Difference report ref", "description": "Candidate answer for reproduction claim and result lineage: difference report ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-execution-instants", "name": "Execution instants", "description": "Candidate answer for reproduction claim and result lineage: execution instants. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-observation-instant", "name": "Observation instant", "description": "Candidate answer for reproduction claim and result lineage: observation instant. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-simulation-time-ref", "name": "Simulation time ref", "description": "Candidate answer for reproduction claim and result lineage: simulation time ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-generator-version", "name": "Generator version", "description": "Candidate answer for reproduction claim and result lineage: generator version. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] }, { "id": "reproduction-seed-or-state-ref", "name": "Seed or state ref", "description": "Candidate answer for reproduction claim and result lineage: seed or state ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] } ], "artifacts": [ { "id": "reproduction-artifact", "name": "Reproduction claim and result lineage record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-005", "SRC-007", "SRC-008" ] } ], "inline_only_rationale": null } ] } ] }, { "id": "assurance-bundle", "name": "Verification and credibility", "description": "Distinguish checks, evidence and use-specific acceptance.", "rationale": "Proposed local concern grouping derived from the cited distinctions; not a normative structure mandated by an external standard.", "source_refs": [ "SRC-001", "SRC-002", "SRC-004", "SRC-005", "SRC-007" ], "layers": [ { "id": "verification-layer", "name": "Verification evidence", "description": "Index scoped evidence about formal consistency, implementation fidelity and solution error. These claims do not establish empirical fitness for a new use.", "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ], "findings": [ { "id": "verification-finding", "name": "Formal and implementation checks", "description": "Index scoped evidence about formal consistency, implementation fidelity and solution error. These claims do not establish empirical fitness for a new use.", "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ], "questions": [ { "id": "verification-q01", "text": "Which formal, code or solution verification claim is supported for this revision and binding?", "kind": "validation", "answer_data": [ "verification-verification-kind", "verification-claim-scope", "verification-revision-and-binding-ref" ] }, { "id": "verification-q02", "text": "Which analytical comparisons, invariant checks or numerical refinement studies support that claim?", "kind": "evidence", "answer_data": [ "verification-verification-report-ref", "verification-criterion", "verification-observed-discrepancy" ] }, { "id": "verification-q03", "text": "Which failed, untested or numerically unstable cases restrict the verification claim?", "kind": "exception", "answer_data": [ "verification-failed-case-refs", "verification-untested-region", "verification-numerical-limitation" ] } ], "data_elements": [ { "id": "verification-verification-kind", "name": "Verification kind", "description": "Candidate answer for formal and implementation checks: verification kind. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ] }, { "id": "verification-claim-scope", "name": "Claim scope", "description": "Candidate answer for formal and implementation checks: claim scope. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ] }, { "id": "verification-revision-and-binding-ref", "name": "Revision and binding ref", "description": "Candidate answer for formal and implementation checks: revision and binding ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ] }, { "id": "verification-verification-report-ref", "name": "Verification report ref", "description": "Candidate answer for formal and implementation checks: verification report ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ] }, { "id": "verification-criterion", "name": "Criterion", "description": "Candidate answer for formal and implementation checks: criterion. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ] }, { "id": "verification-observed-discrepancy", "name": "Observed discrepancy", "description": "Candidate answer for formal and implementation checks: observed discrepancy. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ] }, { "id": "verification-failed-case-refs", "name": "Failed case refs", "description": "Candidate answer for formal and implementation checks: failed case refs. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..n", "required": false, "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ] }, { "id": "verification-untested-region", "name": "Untested region", "description": "Candidate answer for formal and implementation checks: untested region. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ] }, { "id": "verification-numerical-limitation", "name": "Numerical limitation", "description": "Candidate answer for formal and implementation checks: numerical limitation. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ] } ], "artifacts": [ { "id": "verification-artifact", "name": "Formal and implementation checks record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-001", "SRC-002", "SRC-004" ] } ], "inline_only_rationale": null } ] }, { "id": "credibility-layer", "name": "Use-specific credibility", "description": "Record a qualified assessment against a stated question and evidence base. Empirical validation may be inapplicable to a purely abstract model; formal claims still require their own evidence.", "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ], "findings": [ { "id": "credibility-finding", "name": "Validation, uncertainty and sensitivity", "description": "Record a qualified assessment against a stated question and evidence base. Empirical validation may be inapplicable to a purely abstract model; formal claims still require their own evidence.", "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ], "questions": [ { "id": "credibility-q01", "text": "Which use-specific criterion and independent referent evidence support or contradict empirical validation, or explain its inapplicability?", "kind": "validation", "answer_data": [ "credibility-context-of-use-ref", "credibility-criterion", "credibility-referent-evidence-ref", "credibility-independence-statement", "credibility-applicability-rationale" ] }, { "id": "credibility-q02", "text": "Which uncertainty and sensitivity studies delimit the robustness of the claimed conclusions?", "kind": "quality", "answer_data": [ "credibility-uncertainty-study-ref", "credibility-sensitivity-study-ref", "credibility-dependence-assumptions", "credibility-robustness-limits" ] }, { "id": "credibility-q03", "text": "What qualified acceptance, rejection or unresolved assessment was issued for which revision and use?", "kind": "decision", "answer_data": [ "credibility-assessment-id", "credibility-assessor-ref", "credibility-revision-ref", "credibility-use-ref", "credibility-disposition", "credibility-limitations" ] } ], "data_elements": [ { "id": "credibility-context-of-use-ref", "name": "Context of use ref", "description": "Candidate answer for validation, uncertainty and sensitivity: context of use ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-criterion", "name": "Criterion", "description": "Candidate answer for validation, uncertainty and sensitivity: criterion. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-referent-evidence-ref", "name": "Referent evidence ref", "description": "Candidate answer for validation, uncertainty and sensitivity: referent evidence ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-independence-statement", "name": "Independence statement", "description": "Candidate answer for validation, uncertainty and sensitivity: independence statement. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-applicability-rationale", "name": "Applicability rationale", "description": "Candidate answer for validation, uncertainty and sensitivity: applicability rationale. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-uncertainty-study-ref", "name": "Uncertainty study ref", "description": "Candidate answer for validation, uncertainty and sensitivity: uncertainty study ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-sensitivity-study-ref", "name": "Sensitivity study ref", "description": "Candidate answer for validation, uncertainty and sensitivity: sensitivity study ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-dependence-assumptions", "name": "Dependence assumptions", "description": "Candidate answer for validation, uncertainty and sensitivity: dependence assumptions. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-robustness-limits", "name": "Robustness limits", "description": "Candidate answer for validation, uncertainty and sensitivity: robustness limits. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-assessment-id", "name": "Assessment id", "description": "Candidate answer for validation, uncertainty and sensitivity: assessment id. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-assessor-ref", "name": "Assessor ref", "description": "Candidate answer for validation, uncertainty and sensitivity: assessor ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-revision-ref", "name": "Revision ref", "description": "Candidate answer for validation, uncertainty and sensitivity: revision ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-use-ref", "name": "Use ref", "description": "Candidate answer for validation, uncertainty and sensitivity: use ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-disposition", "name": "Disposition", "description": "Candidate answer for validation, uncertainty and sensitivity: disposition. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "id": "credibility-limitations", "name": "Limitations", "description": "Candidate answer for validation, uncertainty and sensitivity: limitations. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] } ], "artifacts": [ { "id": "credibility-artifact", "name": "Validation, uncertainty and sensitivity record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] } ], "inline_only_rationale": null } ] } ] }, { "id": "exchange-governance-bundle", "name": "Exchange and stewardship", "description": "Control representations, coupling, rights and semantic change.", "rationale": "Proposed local concern grouping derived from the cited distinctions; not a normative structure mandated by an external standard.", "source_refs": [ "SRC-001", "SRC-002", "SRC-003", "SRC-004", "SRC-006", "SRC-007", "SRC-008" ], "layers": [ { "id": "exchange-layer", "name": "Exchange and composition", "description": "Keep the formal model format-neutral. An encoding or coupled subsystem requires explicit profile, symbol mapping and loss declarations; compatibility and scientific adequacy are separate.", "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ], "findings": [ { "id": "exchange-finding", "name": "Pinned mappings and coupling contracts", "description": "Keep the formal model format-neutral. An encoding or coupled subsystem requires explicit profile, symbol mapping and loss declarations; compatibility and scientific adequacy are separate.", "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ], "questions": [ { "id": "exchange-q01", "text": "Which exact exchange version, profile and optional packages describe this representation?", "kind": "interoperability", "answer_data": [ "exchange-format-ref", "exchange-version-pin", "exchange-profile-ref", "exchange-package-refs" ] }, { "id": "exchange-q02", "text": "Which referenced submodels and mapped variables form the local coupling definition?", "kind": "composition", "answer_data": [ "exchange-submodel-revision-refs", "exchange-port-map", "exchange-unit-conversion", "exchange-coupling-assumptions" ] }, { "id": "exchange-q03", "text": "Which mapping tests or loss declarations support the claimed round-trip and coupling compatibility?", "kind": "validation", "answer_data": [ "exchange-mapping-test-ref", "exchange-loss-declaration", "exchange-unsupported-feature-list" ] } ], "data_elements": [ { "id": "exchange-format-ref", "name": "Format ref", "description": "Candidate answer for pinned mappings and coupling contracts: format ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "exchange-version-pin", "name": "Version pin", "description": "Candidate answer for pinned mappings and coupling contracts: version pin. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "exchange-profile-ref", "name": "Profile ref", "description": "Candidate answer for pinned mappings and coupling contracts: profile ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "exchange-package-refs", "name": "Package refs", "description": "Candidate answer for pinned mappings and coupling contracts: package refs. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..n", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "exchange-submodel-revision-refs", "name": "Submodel revision refs", "description": "Candidate answer for pinned mappings and coupling contracts: submodel revision refs. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..n", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "exchange-port-map", "name": "Port map", "description": "Candidate answer for pinned mappings and coupling contracts: port map. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "exchange-unit-conversion", "name": "Unit conversion", "description": "Candidate answer for pinned mappings and coupling contracts: unit conversion. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "exchange-coupling-assumptions", "name": "Coupling assumptions", "description": "Candidate answer for pinned mappings and coupling contracts: coupling assumptions. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "exchange-mapping-test-ref", "name": "Mapping test ref", "description": "Candidate answer for pinned mappings and coupling contracts: mapping test ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "exchange-loss-declaration", "name": "Loss declaration", "description": "Candidate answer for pinned mappings and coupling contracts: loss declaration. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "exchange-unsupported-feature-list", "name": "Unsupported feature list", "description": "Candidate answer for pinned mappings and coupling contracts: unsupported feature list. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] } ], "artifacts": [ { "id": "exchange-artifact", "name": "Pinned mappings and coupling contracts record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] } ], "inline_only_rationale": null } ] }, { "id": "stewardship-layer", "name": "Stewardship and change", "description": "Apply adopting-Dimension governance to the model dossier and local assertions. Semantic changes trigger review of affected uses; local retirement does not retire referenced software, data or runs.", "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ], "findings": [ { "id": "stewardship-finding", "name": "Rights, review and retirement", "description": "Apply adopting-Dimension governance to the model dossier and local assertions. Semantic changes trigger review of affected uses; local retirement does not retire referenced software, data or runs.", "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ], "questions": [ { "id": "stewardship-q01", "text": "Which role is the steward and which rights or access restrictions govern each model artifact?", "kind": "ownership", "answer_data": [ "stewardship-steward-ref", "stewardship-rights-ref", "stewardship-access-scope", "stewardship-restriction-reason" ] }, { "id": "stewardship-q02", "text": "Which semantic change, defect or supersession requires reassessment of affected use claims?", "kind": "lifecycle", "answer_data": [ "stewardship-change-ref", "stewardship-affected-use-refs", "stewardship-defect-ref", "stewardship-reassessment-state" ] }, { "id": "stewardship-q03", "text": "What retention, hold and disposition rules govern this dossier and its restricted evidence references?", "kind": "retention", "answer_data": [ "stewardship-retention-policy-ref", "stewardship-hold-ref", "stewardship-disposition-authority", "stewardship-tombstone-ref" ] } ], "data_elements": [ { "id": "stewardship-steward-ref", "name": "Steward ref", "description": "Candidate answer for rights, review and retirement: steward ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-rights-ref", "name": "Rights ref", "description": "Candidate answer for rights, review and retirement: rights ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-access-scope", "name": "Access scope", "description": "Candidate answer for rights, review and retirement: access scope. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-restriction-reason", "name": "Restriction reason", "description": "Candidate answer for rights, review and retirement: restriction reason. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-change-ref", "name": "Change ref", "description": "Candidate answer for rights, review and retirement: change ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-affected-use-refs", "name": "Affected use refs", "description": "Candidate answer for rights, review and retirement: affected use refs. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..n", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-defect-ref", "name": "Defect ref", "description": "Candidate answer for rights, review and retirement: defect ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-reassessment-state", "name": "Reassessment state", "description": "Candidate answer for rights, review and retirement: reassessment state. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-retention-policy-ref", "name": "Retention policy ref", "description": "Candidate answer for rights, review and retirement: retention policy ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-hold-ref", "name": "Hold ref", "description": "Candidate answer for rights, review and retirement: hold ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-disposition-authority", "name": "Disposition authority", "description": "Candidate answer for rights, review and retirement: disposition authority. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "object", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] }, { "id": "stewardship-tombstone-ref", "name": "Tombstone ref", "description": "Candidate answer for rights, review and retirement: tombstone ref. Preserve source, status and revision scope; nested schema remains a profile task.", "value_kind": "reference", "cardinality": "0..1", "required": false, "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] } ], "artifacts": [ { "id": "stewardship-artifact", "name": "Rights, review and retirement record", "description": "Versioned local dossier view or referenced evidence index; independently mastered source payloads remain external.", "media_or_form": [ "Structured record", "Human-readable review view" ], "serial": true, "identity_strategy": "Authoritative master-system ID with namespace and revision; otherwise governed IRI, then Dimension-assigned UUID. A digest checks bytes and a date records time; neither replaces logical identity.", "source_refs": [ "SRC-001", "SRC-007", "SRC-008" ] } ], "inline_only_rationale": null } ] } ] } ] }, "functions": [ { "id": "register-formal-revision", "name": "Register formal revision", "description": "Proposed local operation, unimplemented. Create a local immutable formulation revision with explicit unknowns.", "inputs": [ "master identity", "formal statements", "expected predecessor" ], "outputs": [ "registered revision or rejection" ], "preconditions": [ "Authorized local role and purpose", "Expected revision and idempotency key", "Resolvable permitted evidence or an explicit pending state" ], "effects": [ "Record local revision and derivation; do not publish or execute it." ], "source_refs": [ "SRC-002", "SRC-003", "SRC-007" ] }, { "id": "bind-parameter-set", "name": "Bind parameter set", "description": "Proposed local operation, unimplemented. Attach a separately identified parameter set and its origin declarations.", "inputs": [ "model revision", "parameter values and units", "origin evidence" ], "outputs": [ "binding record or mismatch refusal" ], "preconditions": [ "Authorized local role and purpose", "Expected revision and idempotency key", "Resolvable permitted evidence or an explicit pending state" ], "effects": [ "Append local binding; do not fit parameters or alter datasets." ], "source_refs": [ "SRC-001", "SRC-003", "SRC-007" ] }, { "id": "record-applicability-assessment", "name": "Record applicability assessment", "description": "Proposed local operation, unimplemented. Store a qualified comparison supplied by a responsible reviewer.", "inputs": [ "use context", "domain evidence", "reviewer assessment" ], "outputs": [ "scoped assessment with gaps or refusal" ], "preconditions": [ "Authorized local role and purpose", "Expected revision and idempotency key", "Resolvable permitted evidence or an explicit pending state" ], "effects": [ "Record supported, unsupported or unknown status; grant no operational authority." ], "source_refs": [ "SRC-001", "SRC-007" ] }, { "id": "link-run-evidence", "name": "Link run evidence", "description": "Proposed local operation, unimplemented. Index an externally mastered run and reproduction claim.", "inputs": [ "run reference", "revision and configuration pins", "evidence access scope" ], "outputs": [ "lineage binding or unresolved-reference report" ], "preconditions": [ "Authorized local role and purpose", "Expected revision and idempotency key", "Resolvable permitted evidence or an explicit pending state" ], "effects": [ "Preserve attempt outcome and restrictions; start no run." ], "source_refs": [ "SRC-005", "SRC-007" ] }, { "id": "record-credibility-claim", "name": "Record credibility claim", "description": "Proposed local operation, unimplemented. Store verification, validation or uncertainty evidence with explicit scope.", "inputs": [ "claim kind", "evidence references", "criterion", "reviewer and disposition" ], "outputs": [ "qualified claim or rejection" ], "preconditions": [ "Authorized local role and purpose", "Expected revision and idempotency key", "Resolvable permitted evidence or an explicit pending state" ], "effects": [ "Append local claim, including contrary evidence; issue no scientific or regulatory certification." ], "source_refs": [ "SRC-001", "SRC-007" ] }, { "id": "record-exchange-mapping", "name": "Record exchange mapping", "description": "Proposed local operation, unimplemented. Register proposed symbol, unit and submodel mappings with declared losses.", "inputs": [ "source revision", "target profile and version", "mapping evidence" ], "outputs": [ "mapping record and open gaps" ], "preconditions": [ "Authorized local role and purpose", "Expected revision and idempotency key", "Resolvable permitted evidence or an explicit pending state" ], "effects": [ "Save the mapping assertion; neither transform nor execute third-party payloads." ], "source_refs": [ "SRC-002", "SRC-003", "SRC-004", "SRC-006" ] }, { "id": "supersede-model-revision", "name": "Supersede model revision", "description": "Proposed local operation, unimplemented. Record an authorized semantic revision and affected-use review obligations.", "inputs": [ "old and new revision", "change evidence", "authority and affected bindings" ], "outputs": [ "supersession record or concurrency refusal" ], "preconditions": [ "Authorized local role and purpose", "Expected revision and idempotency key", "Resolvable permitted evidence or an explicit pending state" ], "effects": [ "Retain permitted history and mark evidence review-needed without cascading changes to external masters." ], "source_refs": [ "SRC-001", "SRC-007" ] } ], "composition": [ { "target": "WM-KNW-001", "relation": "ALIGN", "purpose": "Registry parent Model / Ontology is conceptual alignment only until a reviewed revision binding establishes specialization; generic vocabulary lifecycle is not copied.", "required": false, "source_refs": [ "SRC-002", "SRC-007" ] }, { "target": "WM-DAT-001", "relation": "REFERENCE", "purpose": "Calibration, evaluation and output datasets retain separate masters; store only revision-pinned references and model-specific roles.", "required": false, "source_refs": [ "SRC-001", "SRC-005", "SRC-007" ] }, { "target": "WM-SFT-001", "relation": "REFERENCE", "purpose": "Software implementation products retain release, deployment and execution ownership; this dossier records the formal-revision binding.", "required": false, "source_refs": [ "SRC-004", "SRC-007" ] }, { "target": "WM-ACT-022", "relation": "REFERENCE", "purpose": "Experiment Run owns calibration and verification execution, attempts and deviations; only model-scoped evidence references are local.", "required": false, "source_refs": [ "SRC-005", "SRC-007" ] }, { "target": "WM-VRT-003", "relation": "REFERENCE", "purpose": "Simulation owns computational run state and results; the formal model owns its equations and declared conditions.", "required": false, "source_refs": [ "SRC-004", "SRC-005" ] }, { "target": "WM-VRT-012", "relation": "REFERENCE", "purpose": "Simulation Scenario owns scenario-specific inputs and environmental setup; model applicability is a separate claim.", "required": false, "source_refs": [ "SRC-001", "SRC-005" ] }, { "target": "WM-AI-007", "relation": "REFERENCE", "purpose": "Candidate binding for trained artifact registration when a hybrid model uses learned components. Training and inference lifecycles remain external; registry pin requires review.", "required": false, "source_refs": [ "SRC-004", "SRC-007" ] }, { "target": "MathML 3.0 Second Edition", "relation": "ALIGN", "purpose": "Optional content-expression projection; presentation markup alone is insufficient to establish semantic equivalence.", "required": false, "source_refs": [ "SRC-002" ] }, { "target": "CellML 2.0", "relation": "ALIGN", "purpose": "Optional variables, units and component projection; unsupported formalisms require a declared gap.", "required": false, "source_refs": [ "SRC-003" ] }, { "target": "FMI 3.0.2", "relation": "ALIGN", "purpose": "Optional implementation exchange binding with explicit interface type; no automatic solver or execution permission.", "required": false, "source_refs": [ "SRC-004" ] }, { "target": "SED-ML Level 1 Version 5", "relation": "ALIGN", "purpose": "Reference simulation experiment descriptions without treating tasks as the formal model.", "required": false, "source_refs": [ "SRC-005" ] }, { "target": "SBML Level 3 Version 2 Core Release 2", "relation": "ALIGN", "purpose": "Candidate biological exchange profile with explicit package declarations. Detailed normative and conformance review is deferred.", "required": false, "source_refs": [ "SRC-006" ] }, { "target": "PROV-O 2013", "relation": "ALIGN", "purpose": "Proposed attribution and derivation mapping, not a trust or scientific validity certificate.", "required": false, "source_refs": [ "SRC-007" ] } ], "serviceLayers": { "dimension": { "owner_package_requirements": [ "Role-based accountable model steward and review authority with delegation evidence", "Master identity namespace, revision policy and supported mathematical profile", "Access, rights, retention and evidence-handling policy with external execution boundaries" ], "namespace_guidance": "Use a governed namespace and opaque logical identifiers; maintain independent revision and representation IDs. Do not make a name or timestamp the sole identity.", "registry_links": [ "vr.wm-knw-019", "WM-KNW-001 is a candidate conceptual parent; all neighbor runtime bindings require pinned reviewed revisions" ] }, "canon_and_patch": { "canonicalization_rules": [ "Preserve expression scope, operator semantics, units, coordinate frames and uncertainty qualifiers; changing notation is not proof of equivalence.", "Keep assertions, observations, predictions and unknowns distinct. A parameter override is recorded against a named set and revision." ], "patch_rules": [ "Apply expected-revision and idempotency checks with actor, reason and source; create immutable semantic revisions and explicit supersession links.", "A change in equations, assumptions, domains, parameter interpretation or coupling triggers review of affected evidence." ], "compatibility_rules": [ "Pin exchange profiles, mappings and target revisions; reject silent losses of mathematical meaning or use limitations. Same bytes do not establish semantic equivalence." ] }, "artifact_rules": { "identity_priority": [ "Authoritative master-system identifier with namespace and revision", "Governed persistent IRI with verified identity scope", "Dimension-assigned UUID or ULID with reconciliation state" ], "timestamp_rule": "Record event and observation or ingestion instants separately using RFC 3339 with seconds and an explicit offset or Z. Preserve precision and unknown instants. Simulated time is a coordinate with its own unit and origin, not an RFC 3339 instant by default.", "serial_naming_rule": "Opaque model key, artifact type and immutable revision or sequence; never use a date alone as identity.", "integrity_rule": "Record digest algorithm and bytes for retained representations, source and transformation provenance. Hash equality supports integrity only, not truth, equivalence, authorization or reproducibility." }, "policies": [ "Reviewable draft under the single-provider waiver; independent external review is outstanding.", "Sources inform proposed local design. Sector-specific standards and exchange profiles are alignments, not universal conformance mandates.", "No model claim authorizes execution, deployment, external writes or consequential use. Obtain the applicable execution and acceptance authority separately.", "Minimize sensitive data; reference restricted calibration evidence through authorized views. Preserve limitations and negative findings in every permitted export.", "Do not silently tune parameters to a desired result. Dangerous use cases are represented only through policy and authorization constraints." ], "crud": { "read": [ "Resolve authorized model revision and disclose only permitted artifact views with evidence and uncertainty qualifiers." ], "create": [ "Require steward, master namespace, purpose and revision provenance; mark incomplete formulations and unreviewed claims explicitly." ], "update": [ "Append supported local revisions and claims after authority and concurrency checks; request reassessment when mathematical meaning or use conditions change." ], "delete": [ "The adopting Dimension executes retention and disposition for this model dossier, subject to rights, holds and authorized erasure. Retain a minimal non-sensitive tombstone where policy permits.", "Local retirement or deletion does not delete referenced datasets, software, experiments or trained artifacts; those masters apply their own disposition policies." ] }, "roles": [ { "name": "Model steward", "responsibilities": [ "Maintains identity, revisions and evidence completeness" ] }, { "name": "Formulation author", "responsibilities": [ "Records mathematics, parameters, assumptions and limitations" ] }, { "name": "Domain reviewer", "responsibilities": [ "Assesses formal or empirical claims for the stated use and reports unresolved gaps" ] }, { "name": "Use acceptance authority", "responsibilities": [ "Accepts or rejects a named revision for a specific consequential use under an external policy" ] }, { "name": "Records and access custodian", "responsibilities": [ "Controls rights, restricted views, retention and disposition" ] } ], "access": { "default_rule": "Deny mutation and restricted evidence disclosure without role, purpose and scope authorization; public metadata does not grant execution or source-data rights.", "scopes": [ "bundle", "layer", "finding", "artifact" ], "exceptions": [ "A time-limited exception requires approving role, purpose, scope and expiry; no blanket bypass of external evidence rights." ], "audit_requirements": [ "Send access, export and mutation events to the adopting audit service with actor, purpose, revision, scope and result; this model does not own audit-trail execution." ] }, "agents_bootstrap": { "filename": "AGENTS.md", "required_fields": [ "Name", "Type", "Specification URL", "Storage type URL", "Interface URL", "Processes URL" ], "read_order": [ "AGENTS.md and adopting-Dimension authority/access policies", "spec.yaml, research holds and selected model revision", "Pinned source evidence, mathematical profile and authorized neighbor bindings" ] } }, "coverage": { "claim": "Source-grounded proposed dossier for one persistent formal mathematical or computational model. Formulation, assumptions, parameters, external realization bindings and use-scoped evidence are covered. A separate frozen local no-tools self-audit found no critical conflicts. This remains a noncanonical reviewable draft with source, specialist-profile, executable-conformance and independent-review holds.", "confidence": "medium", "checklist": [ { "dimension": "identity", "status": "covered", "notes": "Logical object, revision and representation identities distinguished." }, { "dimension": "lifecycle", "status": "covered", "notes": "Revision, supersession and reassessment are local; external run lifecycles excluded." }, { "dimension": "relationships", "status": "covered", "notes": "Explicit candidate links with pinned bindings required." }, { "dimension": "temporal", "status": "covered", "notes": "Simulation coordinates separated from record and observation instants." }, { "dimension": "provenance", "status": "covered", "notes": "Parameter origins, derivations, evidence and run references." }, { "dimension": "ownership", "status": "covered", "notes": "Role-based stewardship and acceptance authority; no company owners." }, { "dimension": "validation", "status": "covered", "notes": "Formal, implementation and empirical claims separated by scope." }, { "dimension": "access", "status": "covered", "notes": "Restricted evidence and local mutation controls." }, { "dimension": "retention and deletion", "status": "covered", "notes": "Dimension policy governs local disposition without cascading deletes." }, { "dimension": "interoperability", "status": "gap", "notes": "Conceptual alignments recorded; executable mappings and conformance tests absent." }, { "dimension": "physical properties", "status": "not-applicable", "notes": "The root has no intrinsic physical mass or size; represented quantities have units and frames." }, { "dimension": "nonphysical properties", "status": "covered", "notes": "Formalism, variable type, dimensionality, assumptions and use limits are modeled." }, { "dimension": "recognition and capability", "status": "covered", "notes": "Recognize equations/rules plus scope and provenance; no guarantee of prediction, solvability or reproducibility." }, { "dimension": "hazards and failure modes", "status": "covered", "notes": "Extrapolation, numerical instability, data leakage, silent tuning and false certainty are challenged." }, { "dimension": "specialist coverage", "status": "gap", "notes": "Proof systems, agent-based models, stochastic processes and domain profiles require deeper specialist review." } ], "known_omissions": [ "Independent external review is absent; the planned local no-tools audit cannot replace it.", "Direct HTTP checks are not attempted under the owner-reported sandbox block; response statuses and body hashes are unmeasured.", "Full SBML normative core, current-version status, errata, licensing and detailed conformance remain unverified.", "Candidate answer elements are not executable nested instance schemas. No proof checker, numerical solver, simulator or format converter is implemented.", "Adoption requires specialist mathematical, statistical, domain and use-risk profiles, including stochastic and hybrid behavior and data-dependence analysis." ], "conflicts": [], "regional_assumptions": [ "NASA practices are scoped agency examples. No jurisdictional acceptance, medical or regulatory compliance is claimed.", "CellML and SBML are selected domain-specific projections, not universal mathematical representations." ], "adversarial_checks": [ "A displayed equation or content hash is not proof of semantic equivalence.", "Successful calibration or execution is not independent validation.", "A purely abstract model must not invent observational validation or physical properties.", "Hybrid learned components do not dissolve external training, inference or artifact ownership.", "Referencing an executable payload grants no permission to run it." ] }, "researchAdjudication": { "providerMode": "single-provider-waiver", "activeProviders": [ "codex" ], "waivedProviders": [ "claude", "grok" ], "providerPolicy": { "contract_version": "1.0.0", "mode": "single-provider-waiver", "effective_at": "2026-09-06T00:00:00Z", "scope": "Canonical single-stream subject-model research after the six-workstream consolidation", "active_providers": [ "codex" ], "waived_providers": [ { "provider": "claude", "authorized_by": "repository owner", "authorized_at": "2026-09-06T00:00:00Z", "reason": "Claude produced no result on prior 1800-second and 900-second attempts and again timed out on bounded 600-second Sonnet and 300-second Haiku passes. The owner prioritized completion over provider availability." }, { "provider": "grok", "authorized_by": "repository owner", "authorized_at": "2026-09-06T00:00:00Z", "reason": "The repository owner authorized completion without Grok when Grok is unavailable, slow or schema-invalid. Grok may still be attempted as a bounded supplemental reviewer, but its failure never blocks a valid Claude plus no-tools result." } ], "review_rule": "Codex may complete source-grounded fallback research after bounded Claude and Grok attempts fail. It requires a separate no-tools adversarial audit and remains reviewable-draft with a visible absence-of-external-review hold.", "supplemental_provider_attempts": [ { "provider": "claude", "required": false, "maximum_attempts": 1, "failure_policy": "record-and-continue", "admission_rule": "Use only a locally schema-valid result whose sources and boundaries survive adjudication." }, { "provider": "grok", "required": false, "maximum_attempts": 1, "failure_policy": "record-and-continue", "admission_rule": "Use only a locally schema-valid result whose sources and boundaries survive adjudication." } ] }, "boundaryDecision": { "entry_kind": "entity", "status": "accepted", "rationale": "The root has persistent formal knowledge-object identity with immutable revisions and separately mastered representations, implementations and runs. Describing a mathematical pattern does not make the dossier a pattern root. The registry standalone-mm value describes the record plane; the parent is retained as candidate alignment only." }, "decisions": [ { "concept": "Persistent formal object", "disposition": "accepted", "rationale": "Logical model, revision, encoding and represented referent remain distinct. Entity is appropriate for this dossier without claiming it is a physical object or runtime event." }, { "concept": "Registry parent and legacy", "disposition": "qualified", "rationale": "No legacy alias, registered legacy specification or relation-ledger rows exist. The generic Model / Ontology parent is a candidate alignment rather than unverified inheritance." }, { "concept": "Formal meaning and proof", "disposition": "accepted with limitations", "rationale": "Expression scope and operator definitions are explicit questions. A display encoding is not a proof; unresolved consistency, existence, uniqueness and feasibility claims remain representable." }, { "concept": "Abstract and hybrid cases", "disposition": "accepted", "rationale": "Purely abstract models can justify empirical-validation inapplicability while retaining evidence duties for formal claims. Learned components can coexist with formal mathematics without absorbing training or inference ownership." }, { "concept": "Properties and time", "disposition": "qualified", "rationale": "The root has mathematical and contextual properties, while units and coordinate frames describe represented quantities. Simulated time is explicitly distinct from RFC 3339 recording instants." }, { "concept": "Calibration and parameter origin", "disposition": "separated", "rationale": "Measured, fitted, assumed, derived and unknown values are distinguished. Calibration activities and data partitions are referenced, and fitting success cannot substitute for validation." }, { "concept": "Implementation and reproduction", "disposition": "separated", "rationale": "Analytical models need not have software. A package may include runnable code, but bindings do not transfer execution authority. Reproduction claims require an observed attempt and criterion, not just a seed or manifest." }, { "concept": "Credibility and consequential acceptance", "disposition": "limited", "rationale": "Verification, empirical validation, uncertainty evidence and use acceptance retain separate scope. A successful run or scoped acceptance cannot certify general scientific adequacy or authorize another use." }, { "concept": "Exchange and submodel ownership", "disposition": "qualified", "rationale": "Local coupling declarations and variable mappings reference fixed submodel revisions. Exchange alignments are optional, versioned and loss-aware; no format conformity or target lifecycle ownership is inferred." }, { "concept": "Local functions and service rules", "disposition": "accepted as proposed only", "rationale": "All seven functions maintain local dossier assertions with role and revision checks. External execution, audit enforcement and referenced-master disposition remain outside this root; retained history is subject to access and retention policy." }, { "concept": "Source support and transport", "disposition": "limited", "rationale": "Selected primary content was reviewed through web retrieval. SBML support is restricted to its release page. Direct HTTP was unattempted under the reported sandbox restriction, so no response status or body hash is verified." }, { "concept": "Candidate schemas and specialist profiles", "disposition": "deferred", "rationale": "Optional candidate fields, conceptual alignments and evidence questions form a research dossier, not executable instance schemas, proof tools, solvers or conformance implementations. Adoption requires specialist profiles and fixtures." }, { "concept": "Independent review", "disposition": "waived and held", "rationale": "Claude and Grok were skipped with zero attempts by owner instruction. The frozen no-tools phase is a local Codex self-audit and must not be described as independent external review or provider agreement." } ], "publicationHolds": [ "Independent external review is absent under the owner-authorized single-provider waiver. Claude and Grok were skipped with zero attempts. The separate frozen local Codex self-audit is not an independent second-provider review.", "Source verification remains incomplete. Direct HTTP checks were not attempted under the owner-reported sandbox restriction: all eight statuses and body hashes are unmeasured, with zero measured HTTP 200 responses. Selected web evidence is documented in source-review.md. Full SBML core text, current versions, errata and licensing require further review; coordinator check_sources.py is prepared.", "Specialist mathematical, statistical, stochastic, hybrid and application-domain profiles and qualified use-risk acceptance are required before operational adoption. No scientific adequacy, safety or regulatory approval is conferred by this dossier.", "Nested instance schemas, reviewed neighbor revision pins, same-model coupling bindings, executable mappings and adversarial conformance fixtures remain incomplete. No proof engine, solver, simulator, converter or reproducibility certification is implemented.", "Independent external review was explicitly waived by the repository owner; this codex-only result remains a reviewable draft." ], "deferredResearch": [ "Verify source transport outside the sandbox and assess exact versions, errata, rights and the complete SBML normative specification before claiming detailed alignment.", "Develop specialist profiles, nested schemas and counterexample fixtures for abstract, stochastic, hybrid, ill-conditioned and data-overlap cases, plus pinned mappings and submodel bindings.", "Restore independent external review before any canonical or publishable-draft promotion." ] }, "statistics": { "sources": 8, "bundles": 7, "layers": 14, "findings": 14, "questions": 42, "artifacts": 14, "functions": 7 } }