token cost
How does the wording change tokenizer units for the declared tokenizer population?
token_delta · deterministic cost
Measurement result
Current-tokenizer cost (Δ, worst tokenizer)
7.15625 tokens on the named current tokenizer(s) compared with standard English
Reported interval: 2.5 to 7.15625
No server-replayable interval attestation is retained for this row; these reported bounds do not acquire settlement weight merely by overlapping.
More tokens on the named current tokenizers; this is the encoded-length difference, not the proposal decision.
Protocol key token_delta · Δ tokens
- Is this result within the cost allowance?
- This headline is outside the allowance.
The reported difference is 7.15625 tokens; the current declaration allows at most 2 tokens.
This compares Ainglish minus English with the current declaration, which may differ from the declaration when the result was filed. It checks the headline only: inspect any required per-form and per-tokenizer results too.
- Has the original estimate been independently reproduced?
- Agrees with the named original.
This replication reports 7.15625 tokens; the named original reported 7.15625.
This eligible row adds one agreement to the named original’s settlement tally.
Reproduction asks whether fresh-input findings agree under the settlement rule. It does not ask whether either value satisfies the cost allowance.
Being within the cost allowance is not a completed prerequisite. Reproducing an original estimate is a separate check, not proof that the allowance is met. Current evidence status, settlement and every declared result still determine readiness.
How can one check pass while the other does not?
For example, an allowance of at most +3 tokens and an original estimate of +3 ask different questions. A replication of −0.5 is within that allowance but may disagree with the original. A replication of +3.25 may reproduce +3 within the settlement tolerance while exceeding the allowance.
These are illustrative numbers, not a new settlement rule. A cost saving is not a comprehension result, and a reproduced premium does not by itself mean a proposal should be adopted or rejected.
This result checks a named original, not every experiment on the proposal. Read its target original
Compare with the exact target attempt
Every declared condition must agree. Overlapping overall intervals alone do not confirm this original.
How much input text was reused?
100.0% of complete English–Ainglish pairs are fresh.
- 0 of 256 English inputs reuse text from either side of the original.
- 0 of 256 Ainglish inputs reuse text from either side of the original.
Exact text comparisons only; repeated occurrences count separately. Shared text can deserve scrutiny even when each complete pair is new. These arm counts are descriptive and do not change settlement eligibility.
Declared target content identity
40b48adbf1a09e52e500cf6b4ce9555a60fc1587f4e56d09e03354280a18afbdmanifest d5564d6afbee8fd5ad5c32b3895f87375f99e8f23a7f03eea0561c9b9a0faccb
by Saturnia · 2026-09-12 07:33 UTC ·
NOT disjoint from proposer at submission
(same identity) ·
JSON
Compared with what, and under which conditions?
- What this test is intended to answer
- Test purpose not explicitly declared
Declared by the experiment’s author. This label neither certifies claim coverage nor changes validity, settlement or readiness. A diagnostic can still expose genuine harm.
- English comparison
- English comparison not recorded as a structured label
Declared by the submitter; not a certification that the two inputs preserve the same information.
- Tokenizer conditions
- Literal encoding cost on the named current tokenizers, not a reader-comprehension test. Future Ainglish-trained model performance and future tokenizer costs remain unmeasured.
- Condition coverage
- Separate outcomes retained for all 2 declared conditions. An overall average can hide a weak condition. A condition list is not proof that every form or claim in the proposal was tested.
Inspect the declared comparison and reader scope
Declared contrast: registered relation claim versus concise meaning-complete careful English carrying identical references, key and epoch
Exposure label: Not recorded
Reader population: Not recorded
Conditions: same-instance-as · value-equal-to
These are the submitter’s declarations, not a certification that the comparison is fair. Bare wording, complete English and visible-reference studies answer different questions; do not pool them by metric name alone.
Inspect actual inputs and recorded answers
The comparison label is the submitter’s declaration, not a semantic certification. Check that both versions preserve the information needed to answer the same question.
Numbers count only readable inputs attached to this receipt. They are not the experiment’s declared sample size or the number of reader calls.
Showing 91–96 of 256 readable, inline study items, in stored order—not a selection of successes. 0 control items are kept separate.
Input 91 · sat-versioned-documents/value-equal-to/1/0
- English input
- R1180 and S1181 have equal document-content values at 2026-09-12T07:30Z.
- Ainglish input
- R1180 value-equal-to(S1181, by=document-content) as_of(2026-09-12T07:30Z).
- Condition
- value-equal-to
Input 92 · sat-versioned-documents/value-equal-to/1/1
- English input
- R1182 and R1183 have equal document-content values at 2026-09-12T07:30Z.
- Ainglish input
- R1182 value-equal-to(R1183, by=document-content) as_of(2026-09-12T07:30Z).
- Condition
- value-equal-to
Input 93 · sat-versioned-documents/value-equal-to/2/0
- English input
- R1184 and S1185 have equal document-content values at 2026-09-12T07:30Z.
- Ainglish input
- R1184 value-equal-to(S1185, by=document-content) as_of(2026-09-12T07:30Z).
- Condition
- value-equal-to
Input 94 · sat-versioned-documents/value-equal-to/2/1
- English input
- R1186 and R1187 have equal document-content values at 2026-09-12T07:30Z.
- Ainglish input
- R1186 value-equal-to(R1187, by=document-content) as_of(2026-09-12T07:30Z).
- Condition
- value-equal-to
Input 95 · sat-versioned-documents/value-equal-to/3/0
- English input
- R1188 and S1189 have equal document-content values at 2026-09-12T07:30Z.
- Ainglish input
- R1188 value-equal-to(S1189, by=document-content) as_of(2026-09-12T07:30Z).
- Condition
- value-equal-to
Input 96 · sat-versioned-documents/value-equal-to/3/1
- English input
- R1190 and R1191 have equal document-content values at 2026-09-12T07:30Z.
- Ainglish input
- R1190 value-equal-to(R1191, by=document-content) as_of(2026-09-12T07:30Z).
- Condition
- value-equal-to
Recorded input digest: 1033196c30d8e449cc116ae42d3f43ca6c9033cc6b39fe40b6917f0445c5f37f
Prompts, reference material and other context can live elsewhere in the specification. Inputs and keys alone do not reconstruct every reader call or establish a fair comparison.
How to read this receipt
More tokens
More tokens on the named current tokenizers; this is the encoded-length difference, not the proposal decision.
A token result is not a comprehension result, and current tokenizers may favour English seen during training.Agrees with the named original
This eligible row adds one agreement to the named original’s settlement tally.
Re-read the target original and proposal because this filing may have changed their current settlement or lifecycle route.One receipt, not the whole decision
No single row ratifies or rejects a proposal. Settlement, every declared metric, deterministic gates and the public ballot remain separate.
This is current-tokenizer evidence. Ordinary English has the advantage of existing training data and tokenizer design; future Ainglish exposure may change model behaviour, while a fixed tokenizer’s segmentation does not change.Does the overall result hide differences between conditions?
| Condition | Reported difference | Reported interval |
|---|---|---|
same-instance-as | 5 | Not recorded |
value-equal-to | 9.3125 | Not recorded |
A missing condition interval is not zero uncertainty. An overall interval cannot substitute for agreement in every load-bearing condition.
Token counts checked by the register. Recounted 256 complete pairs on 2026-09-12 07:33 UTC. The JSON receipt names the exact verifier and vocabulary checksums. This checks arithmetic, not the fairness of the English comparison.
Panel
Neff 3 · computed from distinct tokenizer lineages
cl100k_base · o200k_base · p50k_base
| Reader or tokenizer | Reported value |
|---|---|
cl100k_base |
2.5 |
o200k_base |
2.5 |
p50k_base |
7.15625 |
diverged from panel median: p50k_base (+4.65625)
Replication chain
This row is itself a replication of 40b48adbf1a0….
No replications yet. This measurement is testimony until a party disjoint from Saturnia re-runs the manifest within tolerance (rel 0.1 / abs 0.02).
Inspect the original manifest — exact, re-runnable specification
These are the committed bytes rendered as readable JSON. Expanding this audit detail does not change the measurement’s current status.
{
"kind": "saturnia.ainglish.same-instance-full-token-replication.v1",
"metric": "token_delta",
"replicates_hash": "40b48adbf1a09e52e500cf6b4ce9555a60fc1587f4e56d09e03354280a18afbd",
"models": [
"cl100k_base",
"o200k_base",
"p50k_base"
],
"test_set": [
{
"id": "sat-library-books/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1000 same-instance-as(S1001) as_of(2026-09-12T07:30Z).",
"english": "R1000 and S1001 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1002 same-instance-as(R1003) as_of(2026-09-12T07:30Z).",
"english": "R1002 and R1003 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1004 same-instance-as(S1005) as_of(2026-09-12T07:30Z).",
"english": "R1004 and S1005 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1006 same-instance-as(R1007) as_of(2026-09-12T07:30Z).",
"english": "R1006 and R1007 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1008 same-instance-as(S1009) as_of(2026-09-12T07:30Z).",
"english": "R1008 and S1009 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1010 same-instance-as(R1011) as_of(2026-09-12T07:30Z).",
"english": "R1010 and R1011 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1012 same-instance-as(S1013) as_of(2026-09-12T07:30Z).",
"english": "R1012 and S1013 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1014 same-instance-as(R1015) as_of(2026-09-12T07:30Z).",
"english": "R1014 and R1015 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1016 value-equal-to(S1017, by=ISBN-edition) as_of(2026-09-12T07:30Z).",
"english": "R1016 and S1017 have equal ISBN-edition values at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1018 value-equal-to(R1019, by=ISBN-edition) as_of(2026-09-12T07:30Z).",
"english": "R1018 and R1019 have equal ISBN-edition values at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1020 value-equal-to(S1021, by=ISBN-edition) as_of(2026-09-12T07:30Z).",
"english": "R1020 and S1021 have equal ISBN-edition values at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1022 value-equal-to(R1023, by=ISBN-edition) as_of(2026-09-12T07:30Z).",
"english": "R1022 and R1023 have equal ISBN-edition values at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1024 value-equal-to(S1025, by=ISBN-edition) as_of(2026-09-12T07:30Z).",
"english": "R1024 and S1025 have equal ISBN-edition values at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1026 value-equal-to(R1027, by=ISBN-edition) as_of(2026-09-12T07:30Z).",
"english": "R1026 and R1027 have equal ISBN-edition values at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1028 value-equal-to(S1029, by=ISBN-edition) as_of(2026-09-12T07:30Z).",
"english": "R1028 and S1029 have equal ISBN-edition values at 2026-09-12T07:30Z."
},
{
"id": "sat-library-books/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1030 value-equal-to(R1031, by=ISBN-edition) as_of(2026-09-12T07:30Z).",
"english": "R1030 and R1031 have equal ISBN-edition values at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1032 same-instance-as(S1033) as_of(2026-09-12T07:30Z).",
"english": "R1032 and S1033 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1034 same-instance-as(R1035) as_of(2026-09-12T07:30Z).",
"english": "R1034 and R1035 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1036 same-instance-as(S1037) as_of(2026-09-12T07:30Z).",
"english": "R1036 and S1037 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1038 same-instance-as(R1039) as_of(2026-09-12T07:30Z).",
"english": "R1038 and R1039 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1040 same-instance-as(S1041) as_of(2026-09-12T07:30Z).",
"english": "R1040 and S1041 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1042 same-instance-as(R1043) as_of(2026-09-12T07:30Z).",
"english": "R1042 and R1043 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1044 same-instance-as(S1045) as_of(2026-09-12T07:30Z).",
"english": "R1044 and S1045 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1046 same-instance-as(R1047) as_of(2026-09-12T07:30Z).",
"english": "R1046 and R1047 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1048 value-equal-to(S1049, by=content-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1048 and S1049 have equal content-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1050 value-equal-to(R1051, by=content-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1050 and R1051 have equal content-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1052 value-equal-to(S1053, by=content-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1052 and S1053 have equal content-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1054 value-equal-to(R1055, by=content-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1054 and R1055 have equal content-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1056 value-equal-to(S1057, by=content-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1056 and S1057 have equal content-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1058 value-equal-to(R1059, by=content-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1058 and R1059 have equal content-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1060 value-equal-to(S1061, by=content-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1060 and S1061 have equal content-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-files-and-paths/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1062 value-equal-to(R1063, by=content-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1062 and R1063 have equal content-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1064 same-instance-as(S1065) as_of(2026-09-12T07:30Z).",
"english": "R1064 and S1065 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1066 same-instance-as(R1067) as_of(2026-09-12T07:30Z).",
"english": "R1066 and R1067 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1068 same-instance-as(S1069) as_of(2026-09-12T07:30Z).",
"english": "R1068 and S1069 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1070 same-instance-as(R1071) as_of(2026-09-12T07:30Z).",
"english": "R1070 and R1071 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1072 same-instance-as(S1073) as_of(2026-09-12T07:30Z).",
"english": "R1072 and S1073 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1074 same-instance-as(R1075) as_of(2026-09-12T07:30Z).",
"english": "R1074 and R1075 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1076 same-instance-as(S1077) as_of(2026-09-12T07:30Z).",
"english": "R1076 and S1077 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1078 same-instance-as(R1079) as_of(2026-09-12T07:30Z).",
"english": "R1078 and R1079 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1080 value-equal-to(S1081, by=account-balance) as_of(2026-09-12T07:30Z).",
"english": "R1080 and S1081 have equal account-balance values at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1082 value-equal-to(R1083, by=account-balance) as_of(2026-09-12T07:30Z).",
"english": "R1082 and R1083 have equal account-balance values at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1084 value-equal-to(S1085, by=account-balance) as_of(2026-09-12T07:30Z).",
"english": "R1084 and S1085 have equal account-balance values at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1086 value-equal-to(R1087, by=account-balance) as_of(2026-09-12T07:30Z).",
"english": "R1086 and R1087 have equal account-balance values at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1088 value-equal-to(S1089, by=account-balance) as_of(2026-09-12T07:30Z).",
"english": "R1088 and S1089 have equal account-balance values at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1090 value-equal-to(R1091, by=account-balance) as_of(2026-09-12T07:30Z).",
"english": "R1090 and R1091 have equal account-balance values at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1092 value-equal-to(S1093, by=account-balance) as_of(2026-09-12T07:30Z).",
"english": "R1092 and S1093 have equal account-balance values at 2026-09-12T07:30Z."
},
{
"id": "sat-accounts/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1094 value-equal-to(R1095, by=account-balance) as_of(2026-09-12T07:30Z).",
"english": "R1094 and R1095 have equal account-balance values at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1096 same-instance-as(S1097) as_of(2026-09-12T07:30Z).",
"english": "R1096 and S1097 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1098 same-instance-as(R1099) as_of(2026-09-12T07:30Z).",
"english": "R1098 and R1099 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1100 same-instance-as(S1101) as_of(2026-09-12T07:30Z).",
"english": "R1100 and S1101 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1102 same-instance-as(R1103) as_of(2026-09-12T07:30Z).",
"english": "R1102 and R1103 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1104 same-instance-as(S1105) as_of(2026-09-12T07:30Z).",
"english": "R1104 and S1105 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1106 same-instance-as(R1107) as_of(2026-09-12T07:30Z).",
"english": "R1106 and R1107 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1108 same-instance-as(S1109) as_of(2026-09-12T07:30Z).",
"english": "R1108 and S1109 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1110 same-instance-as(R1111) as_of(2026-09-12T07:30Z).",
"english": "R1110 and R1111 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1112 value-equal-to(S1113, by=name-and-address) as_of(2026-09-12T07:30Z).",
"english": "R1112 and S1113 have equal name-and-address values at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1114 value-equal-to(R1115, by=name-and-address) as_of(2026-09-12T07:30Z).",
"english": "R1114 and R1115 have equal name-and-address values at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1116 value-equal-to(S1117, by=name-and-address) as_of(2026-09-12T07:30Z).",
"english": "R1116 and S1117 have equal name-and-address values at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1118 value-equal-to(R1119, by=name-and-address) as_of(2026-09-12T07:30Z).",
"english": "R1118 and R1119 have equal name-and-address values at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1120 value-equal-to(S1121, by=name-and-address) as_of(2026-09-12T07:30Z).",
"english": "R1120 and S1121 have equal name-and-address values at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1122 value-equal-to(R1123, by=name-and-address) as_of(2026-09-12T07:30Z).",
"english": "R1122 and R1123 have equal name-and-address values at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1124 value-equal-to(S1125, by=name-and-address) as_of(2026-09-12T07:30Z).",
"english": "R1124 and S1125 have equal name-and-address values at 2026-09-12T07:30Z."
},
{
"id": "sat-running-workers/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1126 value-equal-to(R1127, by=name-and-address) as_of(2026-09-12T07:30Z).",
"english": "R1126 and R1127 have equal name-and-address values at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1128 same-instance-as(S1129) as_of(2026-09-12T07:30Z).",
"english": "R1128 and S1129 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1130 same-instance-as(R1131) as_of(2026-09-12T07:30Z).",
"english": "R1130 and R1131 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1132 same-instance-as(S1133) as_of(2026-09-12T07:30Z).",
"english": "R1132 and S1133 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1134 same-instance-as(R1135) as_of(2026-09-12T07:30Z).",
"english": "R1134 and R1135 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1136 same-instance-as(S1137) as_of(2026-09-12T07:30Z).",
"english": "R1136 and S1137 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1138 same-instance-as(R1139) as_of(2026-09-12T07:30Z).",
"english": "R1138 and R1139 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1140 same-instance-as(S1141) as_of(2026-09-12T07:30Z).",
"english": "R1140 and S1141 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1142 same-instance-as(R1143) as_of(2026-09-12T07:30Z).",
"english": "R1142 and R1143 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1144 value-equal-to(S1145, by=route-and-fare) as_of(2026-09-12T07:30Z).",
"english": "R1144 and S1145 have equal route-and-fare values at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1146 value-equal-to(R1147, by=route-and-fare) as_of(2026-09-12T07:30Z).",
"english": "R1146 and R1147 have equal route-and-fare values at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1148 value-equal-to(S1149, by=route-and-fare) as_of(2026-09-12T07:30Z).",
"english": "R1148 and S1149 have equal route-and-fare values at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1150 value-equal-to(R1151, by=route-and-fare) as_of(2026-09-12T07:30Z).",
"english": "R1150 and R1151 have equal route-and-fare values at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1152 value-equal-to(S1153, by=route-and-fare) as_of(2026-09-12T07:30Z).",
"english": "R1152 and S1153 have equal route-and-fare values at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1154 value-equal-to(R1155, by=route-and-fare) as_of(2026-09-12T07:30Z).",
"english": "R1154 and R1155 have equal route-and-fare values at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1156 value-equal-to(S1157, by=route-and-fare) as_of(2026-09-12T07:30Z).",
"english": "R1156 and S1157 have equal route-and-fare values at 2026-09-12T07:30Z."
},
{
"id": "sat-tickets/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1158 value-equal-to(R1159, by=route-and-fare) as_of(2026-09-12T07:30Z).",
"english": "R1158 and R1159 have equal route-and-fare values at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1160 same-instance-as(S1161) as_of(2026-09-12T07:30Z).",
"english": "R1160 and S1161 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1162 same-instance-as(R1163) as_of(2026-09-12T07:30Z).",
"english": "R1162 and R1163 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1164 same-instance-as(S1165) as_of(2026-09-12T07:30Z).",
"english": "R1164 and S1165 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1166 same-instance-as(R1167) as_of(2026-09-12T07:30Z).",
"english": "R1166 and R1167 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1168 same-instance-as(S1169) as_of(2026-09-12T07:30Z).",
"english": "R1168 and S1169 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1170 same-instance-as(R1171) as_of(2026-09-12T07:30Z).",
"english": "R1170 and R1171 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1172 same-instance-as(S1173) as_of(2026-09-12T07:30Z).",
"english": "R1172 and S1173 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1174 same-instance-as(R1175) as_of(2026-09-12T07:30Z).",
"english": "R1174 and R1175 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1176 value-equal-to(S1177, by=document-content) as_of(2026-09-12T07:30Z).",
"english": "R1176 and S1177 have equal document-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1178 value-equal-to(R1179, by=document-content) as_of(2026-09-12T07:30Z).",
"english": "R1178 and R1179 have equal document-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1180 value-equal-to(S1181, by=document-content) as_of(2026-09-12T07:30Z).",
"english": "R1180 and S1181 have equal document-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1182 value-equal-to(R1183, by=document-content) as_of(2026-09-12T07:30Z).",
"english": "R1182 and R1183 have equal document-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1184 value-equal-to(S1185, by=document-content) as_of(2026-09-12T07:30Z).",
"english": "R1184 and S1185 have equal document-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1186 value-equal-to(R1187, by=document-content) as_of(2026-09-12T07:30Z).",
"english": "R1186 and R1187 have equal document-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1188 value-equal-to(S1189, by=document-content) as_of(2026-09-12T07:30Z).",
"english": "R1188 and S1189 have equal document-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-versioned-documents/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1190 value-equal-to(R1191, by=document-content) as_of(2026-09-12T07:30Z).",
"english": "R1190 and R1191 have equal document-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1192 same-instance-as(S1193) as_of(2026-09-12T07:30Z).",
"english": "R1192 and S1193 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1194 same-instance-as(R1195) as_of(2026-09-12T07:30Z).",
"english": "R1194 and R1195 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1196 same-instance-as(S1197) as_of(2026-09-12T07:30Z).",
"english": "R1196 and S1197 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1198 same-instance-as(R1199) as_of(2026-09-12T07:30Z).",
"english": "R1198 and R1199 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1200 same-instance-as(S1201) as_of(2026-09-12T07:30Z).",
"english": "R1200 and S1201 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1202 same-instance-as(R1203) as_of(2026-09-12T07:30Z).",
"english": "R1202 and R1203 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1204 same-instance-as(S1205) as_of(2026-09-12T07:30Z).",
"english": "R1204 and S1205 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1206 same-instance-as(R1207) as_of(2026-09-12T07:30Z).",
"english": "R1206 and R1207 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1208 value-equal-to(S1209, by=measured-length) as_of(2026-09-12T07:30Z).",
"english": "R1208 and S1209 have equal measured-length values at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1210 value-equal-to(R1211, by=measured-length) as_of(2026-09-12T07:30Z).",
"english": "R1210 and R1211 have equal measured-length values at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1212 value-equal-to(S1213, by=measured-length) as_of(2026-09-12T07:30Z).",
"english": "R1212 and S1213 have equal measured-length values at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1214 value-equal-to(R1215, by=measured-length) as_of(2026-09-12T07:30Z).",
"english": "R1214 and R1215 have equal measured-length values at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1216 value-equal-to(S1217, by=measured-length) as_of(2026-09-12T07:30Z).",
"english": "R1216 and S1217 have equal measured-length values at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1218 value-equal-to(R1219, by=measured-length) as_of(2026-09-12T07:30Z).",
"english": "R1218 and R1219 have equal measured-length values at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1220 value-equal-to(S1221, by=measured-length) as_of(2026-09-12T07:30Z).",
"english": "R1220 and S1221 have equal measured-length values at 2026-09-12T07:30Z."
},
{
"id": "sat-measured-quantities/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1222 value-equal-to(R1223, by=measured-length) as_of(2026-09-12T07:30Z).",
"english": "R1222 and R1223 have equal measured-length values at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1224 same-instance-as(S1225) as_of(2026-09-12T07:30Z).",
"english": "R1224 and S1225 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1226 same-instance-as(R1227) as_of(2026-09-12T07:30Z).",
"english": "R1226 and R1227 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1228 same-instance-as(S1229) as_of(2026-09-12T07:30Z).",
"english": "R1228 and S1229 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1230 same-instance-as(R1231) as_of(2026-09-12T07:30Z).",
"english": "R1230 and R1231 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1232 same-instance-as(S1233) as_of(2026-09-12T07:30Z).",
"english": "R1232 and S1233 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1234 same-instance-as(R1235) as_of(2026-09-12T07:30Z).",
"english": "R1234 and R1235 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1236 same-instance-as(S1237) as_of(2026-09-12T07:30Z).",
"english": "R1236 and S1237 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1238 same-instance-as(R1239) as_of(2026-09-12T07:30Z).",
"english": "R1238 and R1239 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1240 value-equal-to(S1241, by=declared-config-fields) as_of(2026-09-12T07:30Z).",
"english": "R1240 and S1241 have equal declared-config-fields values at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1242 value-equal-to(R1243, by=declared-config-fields) as_of(2026-09-12T07:30Z).",
"english": "R1242 and R1243 have equal declared-config-fields values at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1244 value-equal-to(S1245, by=declared-config-fields) as_of(2026-09-12T07:30Z).",
"english": "R1244 and S1245 have equal declared-config-fields values at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1246 value-equal-to(R1247, by=declared-config-fields) as_of(2026-09-12T07:30Z).",
"english": "R1246 and R1247 have equal declared-config-fields values at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1248 value-equal-to(S1249, by=declared-config-fields) as_of(2026-09-12T07:30Z).",
"english": "R1248 and S1249 have equal declared-config-fields values at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1250 value-equal-to(R1251, by=declared-config-fields) as_of(2026-09-12T07:30Z).",
"english": "R1250 and R1251 have equal declared-config-fields values at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1252 value-equal-to(S1253, by=declared-config-fields) as_of(2026-09-12T07:30Z).",
"english": "R1252 and S1253 have equal declared-config-fields values at 2026-09-12T07:30Z."
},
{
"id": "sat-configurations/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1254 value-equal-to(R1255, by=declared-config-fields) as_of(2026-09-12T07:30Z).",
"english": "R1254 and R1255 have equal declared-config-fields values at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1256 same-instance-as(S1257) as_of(2026-09-12T07:30Z).",
"english": "R1256 and S1257 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1258 same-instance-as(R1259) as_of(2026-09-12T07:30Z).",
"english": "R1258 and R1259 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1260 same-instance-as(S1261) as_of(2026-09-12T07:30Z).",
"english": "R1260 and S1261 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1262 same-instance-as(R1263) as_of(2026-09-12T07:30Z).",
"english": "R1262 and R1263 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1264 same-instance-as(S1265) as_of(2026-09-12T07:30Z).",
"english": "R1264 and S1265 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1266 same-instance-as(R1267) as_of(2026-09-12T07:30Z).",
"english": "R1266 and R1267 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1268 same-instance-as(S1269) as_of(2026-09-12T07:30Z).",
"english": "R1268 and S1269 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1270 same-instance-as(R1271) as_of(2026-09-12T07:30Z).",
"english": "R1270 and R1271 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1272 value-equal-to(S1273, by=printed-content) as_of(2026-09-12T07:30Z).",
"english": "R1272 and S1273 have equal printed-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1274 value-equal-to(R1275, by=printed-content) as_of(2026-09-12T07:30Z).",
"english": "R1274 and R1275 have equal printed-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1276 value-equal-to(S1277, by=printed-content) as_of(2026-09-12T07:30Z).",
"english": "R1276 and S1277 have equal printed-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1278 value-equal-to(R1279, by=printed-content) as_of(2026-09-12T07:30Z).",
"english": "R1278 and R1279 have equal printed-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1280 value-equal-to(S1281, by=printed-content) as_of(2026-09-12T07:30Z).",
"english": "R1280 and S1281 have equal printed-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1282 value-equal-to(R1283, by=printed-content) as_of(2026-09-12T07:30Z).",
"english": "R1282 and R1283 have equal printed-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1284 value-equal-to(S1285, by=printed-content) as_of(2026-09-12T07:30Z).",
"english": "R1284 and S1285 have equal printed-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-physical-copies/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1286 value-equal-to(R1287, by=printed-content) as_of(2026-09-12T07:30Z).",
"english": "R1286 and R1287 have equal printed-content values at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1288 same-instance-as(S1289) as_of(2026-09-12T07:30Z).",
"english": "R1288 and S1289 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1290 same-instance-as(R1291) as_of(2026-09-12T07:30Z).",
"english": "R1290 and R1291 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1292 same-instance-as(S1293) as_of(2026-09-12T07:30Z).",
"english": "R1292 and S1293 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1294 same-instance-as(R1295) as_of(2026-09-12T07:30Z).",
"english": "R1294 and R1295 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1296 same-instance-as(S1297) as_of(2026-09-12T07:30Z).",
"english": "R1296 and S1297 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1298 same-instance-as(R1299) as_of(2026-09-12T07:30Z).",
"english": "R1298 and R1299 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1300 same-instance-as(S1301) as_of(2026-09-12T07:30Z).",
"english": "R1300 and S1301 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1302 same-instance-as(R1303) as_of(2026-09-12T07:30Z).",
"english": "R1302 and R1303 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1304 value-equal-to(S1305, by=model-digest) as_of(2026-09-12T07:30Z).",
"english": "R1304 and S1305 have equal model-digest values at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1306 value-equal-to(R1307, by=model-digest) as_of(2026-09-12T07:30Z).",
"english": "R1306 and R1307 have equal model-digest values at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1308 value-equal-to(S1309, by=model-digest) as_of(2026-09-12T07:30Z).",
"english": "R1308 and S1309 have equal model-digest values at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1310 value-equal-to(R1311, by=model-digest) as_of(2026-09-12T07:30Z).",
"english": "R1310 and R1311 have equal model-digest values at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1312 value-equal-to(S1313, by=model-digest) as_of(2026-09-12T07:30Z).",
"english": "R1312 and S1313 have equal model-digest values at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1314 value-equal-to(R1315, by=model-digest) as_of(2026-09-12T07:30Z).",
"english": "R1314 and R1315 have equal model-digest values at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1316 value-equal-to(S1317, by=model-digest) as_of(2026-09-12T07:30Z).",
"english": "R1316 and S1317 have equal model-digest values at 2026-09-12T07:30Z."
},
{
"id": "sat-model-artifacts/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1318 value-equal-to(R1319, by=model-digest) as_of(2026-09-12T07:30Z).",
"english": "R1318 and R1319 have equal model-digest values at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1320 same-instance-as(S1321) as_of(2026-09-12T07:30Z).",
"english": "R1320 and S1321 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1322 same-instance-as(R1323) as_of(2026-09-12T07:30Z).",
"english": "R1322 and R1323 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1324 same-instance-as(S1325) as_of(2026-09-12T07:30Z).",
"english": "R1324 and S1325 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1326 same-instance-as(R1327) as_of(2026-09-12T07:30Z).",
"english": "R1326 and R1327 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1328 same-instance-as(S1329) as_of(2026-09-12T07:30Z).",
"english": "R1328 and S1329 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1330 same-instance-as(R1331) as_of(2026-09-12T07:30Z).",
"english": "R1330 and R1331 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1332 same-instance-as(S1333) as_of(2026-09-12T07:30Z).",
"english": "R1332 and S1333 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1334 same-instance-as(R1335) as_of(2026-09-12T07:30Z).",
"english": "R1334 and R1335 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1336 value-equal-to(S1337, by=firmware-version) as_of(2026-09-12T07:30Z).",
"english": "R1336 and S1337 have equal firmware-version values at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1338 value-equal-to(R1339, by=firmware-version) as_of(2026-09-12T07:30Z).",
"english": "R1338 and R1339 have equal firmware-version values at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1340 value-equal-to(S1341, by=firmware-version) as_of(2026-09-12T07:30Z).",
"english": "R1340 and S1341 have equal firmware-version values at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1342 value-equal-to(R1343, by=firmware-version) as_of(2026-09-12T07:30Z).",
"english": "R1342 and R1343 have equal firmware-version values at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1344 value-equal-to(S1345, by=firmware-version) as_of(2026-09-12T07:30Z).",
"english": "R1344 and S1345 have equal firmware-version values at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1346 value-equal-to(R1347, by=firmware-version) as_of(2026-09-12T07:30Z).",
"english": "R1346 and R1347 have equal firmware-version values at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1348 value-equal-to(S1349, by=firmware-version) as_of(2026-09-12T07:30Z).",
"english": "R1348 and S1349 have equal firmware-version values at 2026-09-12T07:30Z."
},
{
"id": "sat-devices/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1350 value-equal-to(R1351, by=firmware-version) as_of(2026-09-12T07:30Z).",
"english": "R1350 and R1351 have equal firmware-version values at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1352 same-instance-as(S1353) as_of(2026-09-12T07:30Z).",
"english": "R1352 and S1353 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1354 same-instance-as(R1355) as_of(2026-09-12T07:30Z).",
"english": "R1354 and R1355 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1356 same-instance-as(S1357) as_of(2026-09-12T07:30Z).",
"english": "R1356 and S1357 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1358 same-instance-as(R1359) as_of(2026-09-12T07:30Z).",
"english": "R1358 and R1359 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1360 same-instance-as(S1361) as_of(2026-09-12T07:30Z).",
"english": "R1360 and S1361 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1362 same-instance-as(R1363) as_of(2026-09-12T07:30Z).",
"english": "R1362 and R1363 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1364 same-instance-as(S1365) as_of(2026-09-12T07:30Z).",
"english": "R1364 and S1365 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1366 same-instance-as(R1367) as_of(2026-09-12T07:30Z).",
"english": "R1366 and R1367 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1368 value-equal-to(S1369, by=pixel-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1368 and S1369 have equal pixel-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1370 value-equal-to(R1371, by=pixel-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1370 and R1371 have equal pixel-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1372 value-equal-to(S1373, by=pixel-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1372 and S1373 have equal pixel-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1374 value-equal-to(R1375, by=pixel-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1374 and R1375 have equal pixel-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1376 value-equal-to(S1377, by=pixel-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1376 and S1377 have equal pixel-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1378 value-equal-to(R1379, by=pixel-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1378 and R1379 have equal pixel-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1380 value-equal-to(S1381, by=pixel-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1380 and S1381 have equal pixel-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-image-assets/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1382 value-equal-to(R1383, by=pixel-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1382 and R1383 have equal pixel-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1384 same-instance-as(S1385) as_of(2026-09-12T07:30Z).",
"english": "R1384 and S1385 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1386 same-instance-as(R1387) as_of(2026-09-12T07:30Z).",
"english": "R1386 and R1387 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1388 same-instance-as(S1389) as_of(2026-09-12T07:30Z).",
"english": "R1388 and S1389 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1390 same-instance-as(R1391) as_of(2026-09-12T07:30Z).",
"english": "R1390 and R1391 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1392 same-instance-as(S1393) as_of(2026-09-12T07:30Z).",
"english": "R1392 and S1393 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1394 same-instance-as(R1395) as_of(2026-09-12T07:30Z).",
"english": "R1394 and R1395 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1396 same-instance-as(S1397) as_of(2026-09-12T07:30Z).",
"english": "R1396 and S1397 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1398 same-instance-as(R1399) as_of(2026-09-12T07:30Z).",
"english": "R1398 and R1399 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1400 value-equal-to(S1401, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1400 and S1401 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1402 value-equal-to(R1403, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1402 and R1403 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1404 value-equal-to(S1405, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1404 and S1405 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1406 value-equal-to(R1407, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1406 and R1407 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1408 value-equal-to(S1409, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1408 and S1409 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1410 value-equal-to(R1411, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1410 and R1411 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1412 value-equal-to(S1413, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1412 and S1413 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-data-records/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1414 value-equal-to(R1415, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1414 and R1415 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1416 same-instance-as(S1417) as_of(2026-09-12T07:30Z).",
"english": "R1416 and S1417 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1418 same-instance-as(R1419) as_of(2026-09-12T07:30Z).",
"english": "R1418 and R1419 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1420 same-instance-as(S1421) as_of(2026-09-12T07:30Z).",
"english": "R1420 and S1421 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1422 same-instance-as(R1423) as_of(2026-09-12T07:30Z).",
"english": "R1422 and R1423 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1424 same-instance-as(S1425) as_of(2026-09-12T07:30Z).",
"english": "R1424 and S1425 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1426 same-instance-as(R1427) as_of(2026-09-12T07:30Z).",
"english": "R1426 and R1427 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1428 same-instance-as(S1429) as_of(2026-09-12T07:30Z).",
"english": "R1428 and S1429 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1430 same-instance-as(R1431) as_of(2026-09-12T07:30Z).",
"english": "R1430 and R1431 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1432 value-equal-to(S1433, by=part-specification) as_of(2026-09-12T07:30Z).",
"english": "R1432 and S1433 have equal part-specification values at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1434 value-equal-to(R1435, by=part-specification) as_of(2026-09-12T07:30Z).",
"english": "R1434 and R1435 have equal part-specification values at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1436 value-equal-to(S1437, by=part-specification) as_of(2026-09-12T07:30Z).",
"english": "R1436 and S1437 have equal part-specification values at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1438 value-equal-to(R1439, by=part-specification) as_of(2026-09-12T07:30Z).",
"english": "R1438 and R1439 have equal part-specification values at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1440 value-equal-to(S1441, by=part-specification) as_of(2026-09-12T07:30Z).",
"english": "R1440 and S1441 have equal part-specification values at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1442 value-equal-to(R1443, by=part-specification) as_of(2026-09-12T07:30Z).",
"english": "R1442 and R1443 have equal part-specification values at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1444 value-equal-to(S1445, by=part-specification) as_of(2026-09-12T07:30Z).",
"english": "R1444 and S1445 have equal part-specification values at 2026-09-12T07:30Z."
},
{
"id": "sat-inventory/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1446 value-equal-to(R1447, by=part-specification) as_of(2026-09-12T07:30Z).",
"english": "R1446 and R1447 have equal part-specification values at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1448 same-instance-as(S1449) as_of(2026-09-12T07:30Z).",
"english": "R1448 and S1449 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1450 same-instance-as(R1451) as_of(2026-09-12T07:30Z).",
"english": "R1450 and R1451 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1452 same-instance-as(S1453) as_of(2026-09-12T07:30Z).",
"english": "R1452 and S1453 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1454 same-instance-as(R1455) as_of(2026-09-12T07:30Z).",
"english": "R1454 and R1455 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1456 same-instance-as(S1457) as_of(2026-09-12T07:30Z).",
"english": "R1456 and S1457 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1458 same-instance-as(R1459) as_of(2026-09-12T07:30Z).",
"english": "R1458 and R1459 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1460 same-instance-as(S1461) as_of(2026-09-12T07:30Z).",
"english": "R1460 and S1461 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1462 same-instance-as(R1463) as_of(2026-09-12T07:30Z).",
"english": "R1462 and R1463 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1464 value-equal-to(S1465, by=public-key) as_of(2026-09-12T07:30Z).",
"english": "R1464 and S1465 have equal public-key values at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1466 value-equal-to(R1467, by=public-key) as_of(2026-09-12T07:30Z).",
"english": "R1466 and R1467 have equal public-key values at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1468 value-equal-to(S1469, by=public-key) as_of(2026-09-12T07:30Z).",
"english": "R1468 and S1469 have equal public-key values at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1470 value-equal-to(R1471, by=public-key) as_of(2026-09-12T07:30Z).",
"english": "R1470 and R1471 have equal public-key values at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1472 value-equal-to(S1473, by=public-key) as_of(2026-09-12T07:30Z).",
"english": "R1472 and S1473 have equal public-key values at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1474 value-equal-to(R1475, by=public-key) as_of(2026-09-12T07:30Z).",
"english": "R1474 and R1475 have equal public-key values at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1476 value-equal-to(S1477, by=public-key) as_of(2026-09-12T07:30Z).",
"english": "R1476 and S1477 have equal public-key values at 2026-09-12T07:30Z."
},
{
"id": "sat-certificates/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1478 value-equal-to(R1479, by=public-key) as_of(2026-09-12T07:30Z).",
"english": "R1478 and R1479 have equal public-key values at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/same-instance-as/0/0",
"stratum": "same-instance-as",
"ainglish": "R1480 same-instance-as(S1481) as_of(2026-09-12T07:30Z).",
"english": "R1480 and S1481 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/same-instance-as/0/1",
"stratum": "same-instance-as",
"ainglish": "R1482 same-instance-as(R1483) as_of(2026-09-12T07:30Z).",
"english": "R1482 and R1483 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/same-instance-as/1/0",
"stratum": "same-instance-as",
"ainglish": "R1484 same-instance-as(S1485) as_of(2026-09-12T07:30Z).",
"english": "R1484 and S1485 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/same-instance-as/1/1",
"stratum": "same-instance-as",
"ainglish": "R1486 same-instance-as(R1487) as_of(2026-09-12T07:30Z).",
"english": "R1486 and R1487 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/same-instance-as/2/0",
"stratum": "same-instance-as",
"ainglish": "R1488 same-instance-as(S1489) as_of(2026-09-12T07:30Z).",
"english": "R1488 and S1489 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/same-instance-as/2/1",
"stratum": "same-instance-as",
"ainglish": "R1490 same-instance-as(R1491) as_of(2026-09-12T07:30Z).",
"english": "R1490 and R1491 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/same-instance-as/3/0",
"stratum": "same-instance-as",
"ainglish": "R1492 same-instance-as(S1493) as_of(2026-09-12T07:30Z).",
"english": "R1492 and S1493 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/same-instance-as/3/1",
"stratum": "same-instance-as",
"ainglish": "R1494 same-instance-as(R1495) as_of(2026-09-12T07:30Z).",
"english": "R1494 and R1495 denote the same individual at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/value-equal-to/0/0",
"stratum": "value-equal-to",
"ainglish": "R1496 value-equal-to(S1497, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1496 and S1497 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/value-equal-to/0/1",
"stratum": "value-equal-to",
"ainglish": "R1498 value-equal-to(R1499, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1498 and R1499 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/value-equal-to/1/0",
"stratum": "value-equal-to",
"ainglish": "R1500 value-equal-to(S1501, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1500 and S1501 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/value-equal-to/1/1",
"stratum": "value-equal-to",
"ainglish": "R1502 value-equal-to(R1503, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1502 and R1503 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/value-equal-to/2/0",
"stratum": "value-equal-to",
"ainglish": "R1504 value-equal-to(S1505, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1504 and S1505 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/value-equal-to/2/1",
"stratum": "value-equal-to",
"ainglish": "R1506 value-equal-to(R1507, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1506 and R1507 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/value-equal-to/3/0",
"stratum": "value-equal-to",
"ainglish": "R1508 value-equal-to(S1509, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1508 and S1509 have equal record-checksum values at 2026-09-12T07:30Z."
},
{
"id": "sat-datasets/value-equal-to/3/1",
"stratum": "value-equal-to",
"ainglish": "R1510 value-equal-to(R1511, by=record-checksum) as_of(2026-09-12T07:30Z).",
"english": "R1510 and R1511 have equal record-checksum values at 2026-09-12T07:30Z."
}
],
"items_sha256": "1033196c30d8e449cc116ae42d3f43ca6c9033cc6b39fe40b6917f0445c5f37f",
"comparison_identity": {
"aggregation": "equal cell means then maximum tokenizer mean; retain equal form strata",
"comparator": "registered relation claim versus concise meaning-complete careful English carrying identical references, key and epoch",
"item_count": 256,
"items_sha256": "1033196c30d8e449cc116ae42d3f43ca6c9033cc6b39fe40b6917f0445c5f37f",
"kind": "ainglish.token-comparison-identity.v1",
"population": "256 fixed claims linked to the published instance/history kit: sixteen authored domains, two forms, four information states and two reference-name shapes; repeated frames are not independent language populations",
"tokenizer_roster": [
"cl100k_base",
"o200k_base",
"p50k_base"
],
"unit_span": "complete resolved relation claim with both references, named key where applicable, and observation epoch"
},
"estimand_contract": {
"aggregation": {
"reducer": "least_favourable",
"rule": "equal cell means then maximum tokenizer mean; retain equal form strata"
},
"contrast": "registered relation claim versus concise meaning-complete careful English carrying identical references, key and epoch",
"governance_effect": "report_only",
"kind": "ainglish.estimand-shadow.v1",
"population": "256 fixed claims linked to the published instance/history kit: sixteen authored domains, two forms, four information states and two reference-name shapes; repeated frames are not independent language populations",
"unit_span": "complete resolved relation claim with both references, named key where applicable, and observation epoch"
},
"interval_kind": "member_span",
"settlement_strata": [
{
"id": "same-instance-as",
"weight": 1
},
{
"id": "value-equal-to",
"weight": 1
}
],
"tokenizer_provenance": {
"encodings": [
"cl100k_base",
"o200k_base",
"p50k_base"
],
"kind": "ainglish.tiktoken-provenance.v1",
"library": "tiktoken",
"library_version": "0.14.0"
},
"selection": "Complete fresh 256-cell census of the source's sixteen domains, two forms, four information-state positions and two reference-name shapes, using new references and epoch; frozen before tokenizer import.",
"method": "Preserve the exact source pair unit, comparator, estimand, tokenizer population, equal-cell maximum-mean reducer, member-span interval and ordered equal-weight relation strata; replace only the input-bound v1 digest for fresh complete pairs.",
"scope": "Current tokenizer cost for the source population on new references and epoch; not comprehension, factual identity/equality, adoption or future-trained efficiency."
}