Research framework · metrology origin
Deterministic structural verification and governing-state assurance for specification-controlled technical information.
SIF is a research framework that separates variable generation or transformation from external decision authority. It evaluates governed entities, declared relations and states against an applicable governing specification and records evidence for each bounded decision.
SIF 1.0 / SIF 2.0
SIF Governance
Research problem
A generated or transformed result may remain fluent, readable or technically plausible while changing information that the governing specification treats as non-negotiable.
When a governing source, evidence item, configuration, relation or authority state changes, a previously admissible decision may need to be reconsidered.
Two assurance branches
Does the result satisfy what is currently governed?
SIF 1.0 and SIF 2.0 inspect declared structural invariants after generation or transformation. SIF Inspector is the operational reference implementation of this branch.
Does what currently governs still have valid support?
SIF Governance evaluates changes in governing sources, evidence, relations, configurations and authority, and derives bounded downstream consequences while preserving unresolved states.
Origin
SIF originated in metrology, where controlled terminology, traceability, versioned authority and exact preservation of values, units and formulas make structural errors measurable.
Metrology remains the primary evidence domain for SIF 1.0, SIF 2.0, SIF Inspector and the core development of SIF Governance. Later studies test which parts of the architecture transfer beyond that setting and where specification or representation boundaries appear.
Scope
SIF is not limited to checking individual terms or fields. Depending on the application, the governing specification may also control relations between entities, logical operators, dependencies, source support, authority, states and decision limits.
Decision model
Evidence snapshot
Evidence is shown with its configuration and boundary. The results below do not form an aggregate SIF score.
Anchor Identity Precision (AIP) 1.000; wrong-exact survival 0; no observed negative false positives.
Frozen unseen SIF 2.0 evaluation set, under the declared anchor-identity precision metric.
This result describes the declared frozen denominator only. It is not a population accuracy estimate or a claim of general translation correctness.
73 / 73Tested carrier instances preserved with protected transport; 48 / 73 without protected transport.
Frozen Formula Stress configuration.
Literal carrier preservation under the tested workflow; not mathematical-equivalence checking or arbitrary recovery of formulas already lost before inspection.
Declared SIF control architecture unchanged; curated nuclear and radiation-safety specification and trauma- and stress-related psychiatry specification.
Architecture reuse does not guarantee domain-specification sufficiency.
24 / 24 cases356 / 356 assertionsPassed the predefined contract; false lifecycle activation was 0; fresh-unpack reproduction was exact in 24 / 24 cases.
Frozen real-metrology held-out evaluation.
One bounded metrology case does not establish universal Governance transfer or production certification.
Scientific boundary
SIF does not establish overall translation quality, universal correctness, completeness of an undeclared specification, hidden dependencies, certification or operational fitness.
A positive result applies only to the checks that were applicable under the declared specification.
Research progression
Each stage was motivated by what the previous stage could not establish. Negative and boundary results are retained as part of the evidence chain rather than removed from the narrative.
Research instruments
External live instrument
An operational reference implementation of SIF 2.0 for bounded second-pass structural inspection of English-to-Ukrainian metrology translation.
The Inspector exposes the applicable checks, decision and evidence rather than returning only a revised text.
Live locator · pending confirmation
Public research demonstrator
A public research evidence demonstrator for governing-state assurance: source-derived obligations, bounded impact and non-impact, explicit OPEN states, source-supported consequences and deterministic replay.
Research outputs
The SIF programme includes published and archived work on invariant-preserving technical translation, corpus ordering, tunable representation regimes, structural admissibility, transfer studies and specification assurance.