Skip to content

Commit 6eed328

Browse files
committed
test(semantics): ratchet inventory after deduplication
Signed-off-by: huangruiteng <14976749+huangruiteng@users.noreply.github.com>
1 parent 385c432 commit 6eed328

2 files changed

Lines changed: 7 additions & 7 deletions

File tree

‎examples/semantic-vocabulary-drift-smoke.py‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -27,10 +27,10 @@
2727
INVENTORY_SCHEMA_VERSION,
2828
SourceFile,
2929
build_inventory,
30-
render_inventory,
3130
collect_string_constants,
3231
load_sources,
3332
python_facts,
33+
render_inventory as render_inventory,
3434
string_constant_definitions,
3535
typescript_facts,
3636
)
@@ -232,16 +232,16 @@
232232
TWIN_ROOT_ANCHOR = "loopx/control_plane"
233233
TWIN_BUDGET_ANCHOR = 43
234234
BUDGET_ANCHOR = {
235-
"same_runtime_forks": 18,
236-
"same_runtime_fork_definitions": 41,
235+
"same_runtime_forks": 17,
236+
"same_runtime_fork_definitions": 39,
237237
"conflicting_values": 16,
238238
"conflicting_definitions": 55,
239239
"schema_version_same_runtime_forks": 7,
240240
"multi_value_twins": 13,
241241
"multi_value_forks": 2,
242242
"multi_value_forks_semantic": 1,
243243
"multi_value_fork_definitions": 6,
244-
"same_runtime_forks_semantic": 11,
244+
"same_runtime_forks_semantic": 10,
245245
"conflicting_values_semantic": 0,
246246
}
247247
# Budgets for the legacy should-run decision fields, anchored the same way so a

‎loopx/semantics/vocabulary_v0.json‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1124,15 +1124,15 @@
11241124
},
11251125
"inventory_ratchets": {
11261126
"meaning": "Counts read from the generated inventory. A same-runtime fork is one constant name with one value defined in two or more modules of the same runtime; a conflicting value is one name with different values. Both the number of affected names and the number of definitions are budgets, so a third spelling of an already-conflicting name is still a regression.",
1127-
"same_runtime_forks": 18,
1128-
"same_runtime_fork_definitions": 41,
1127+
"same_runtime_forks": 17,
1128+
"same_runtime_fork_definitions": 39,
11291129
"conflicting_values": 16,
11301130
"conflicting_definitions": 55,
11311131
"schema_version_same_runtime_forks": 7,
11321132
"multi_value_twins": 13,
11331133
"multi_value_forks": 2,
11341134
"multi_value_fork_definitions": 6,
1135-
"same_runtime_forks_semantic": 11,
1135+
"same_runtime_forks_semantic": 10,
11361136
"conflicting_values_semantic": 0,
11371137
"multi_value_meaning": "Enums, named closed sets, Literal aliases, and TypeScript as-const arrays are vocabulary exactly as a NAME = \"value\" constant is, so they get the same collision rule. One name defined in two modules with identical values is a twin; with different values it is a fork. The semantic multi-value-fork budget excludes only names declared in scope_declarations.",
11381138
"multi_value_forks_note": "The 4 counted forks include SOURCE_SURFACES, whose four definitions are four CLI commands each listing its own data sources; that is bounded-context reuse of one name, not drift. It stays in the budget until M0.5 adds a scope field (RFC Section 5) and must not be removed by renaming.",

0 commit comments

Comments
 (0)