You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Commit fa18f81
Browse filesBrowse the repository at this point in the historyBrowse files
fix(requirements): viewWeb promised a control; view.web is an abstract base
The ledger's L4 for view.web said "a rich-content control declares that a value
is edited as formatted web content". It is not a control. Its own registry
description reads "Abstract base for web-rendered views" and the constant naming
it carries the same comment; nothing extends it and no generator dispatches on
it.
The finding worth keeping is that nothing could have caught this. Two shipped
artifacts call it an abstract base while a third — registry-manifest-exclusions,
which I edited in this same program — counts it among "the 13 generic view.*
controls". And STRUCTURALLY it is indistinguishable from a concrete control: no
entry in that provider carries an abstract flag, so a base and a control differ
only in prose. The coverage gate checks that a name derives a registered subtype
and can never check what the requirement SAYS about it — the gap between spelling
and meaning that this whole program is about, found inside the program's own
output.
The entry now describes an abstract base and records the contradiction in notes.
The exclusions comment is corrected to "13 generic view.* entries — 12 controls
plus the web abstract base", which is what the count actually covers.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NynrRND6ZUwGvq3ZUTCfxG
Copy file name to clipboardExpand all lines: fixtures/requirement-harness/csharp/RequirementHarnessTests.cs
+2-2Lines changed: 2 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -308,8 +308,8 @@ public void declare_presentation_viewText() { /* metaobjects.declare.presentatio
308
308
[Fact(Skip="unfilled slot — write an assertion that fails when: A paragraph edited through a one-line control, so the author cannot see what they have written.")]
// Rich content — A rich-content control declares that a value is edited as formatted web content rather than as plain text.
312
-
[Fact(Skip="unfilled slot — write an assertion that fails when: Formatted content edited as plain text, so its markup is shown to the author instead of applied.")]
311
+
// Web-rendered view base — An abstract base groups the views that render in a browser, so what they share is declared once rather than on each of them.
312
+
[Fact(Skip="unfilled slot — write an assertion that fails when: A property common to every browser-rendered view restated on each one, where adding a view means remembering to restate it again.")]
@Disabled("unfilled slot — write an assertion that fails when: A paragraph edited through a one-line control, so the author cannot see what they have written.")
// Rich content — A rich-content control declares that a value is edited as formatted web content rather than as plain text.
385
+
// Web-rendered view base — An abstract base groups the views that render in a browser, so what they share is declared once rather than on each of them.
386
386
@Test
387
-
@Disabled("unfilled slot — write an assertion that fails when: Formatted content edited as plain text, so its markup is shown to the author instead of applied.")
387
+
@Disabled("unfilled slot — write an assertion that fails when: A property common to every browser-rendered view restated on each one, where adding a view means remembering to restate it again.")
Copy file name to clipboardExpand all lines: fixtures/requirement-harness/kotlin/RequirementHarnessTest.kt
+2-2Lines changed: 2 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -382,9 +382,9 @@ class RequirementHarnessTest {
382
382
@Disabled("unfilled slot — write an assertion that fails when: A paragraph edited through a one-line control, so the author cannot see what they have written.")
//Rich content — A rich-content control declares that a value is edited as formatted web content rather than as plain text.
385
+
//Web-rendered view base — An abstract base groups the views that render in a browser, so what they share is declared once rather than on each of them.
386
386
@Test
387
-
@Disabled("unfilled slot — write an assertion that fails when: Formatted content edited as plain text, so its markup is shown to the author instead of applied.")
387
+
@Disabled("unfilled slot — write an assertion that fails when: A property common to every browser-rendered view restated on each one, where adding a view means remembering to restate it again.")
# Rich content — A rich-content control declares that a value is edited as formatted web content rather than as plain text.
381
-
@pytest.mark.skip(reason="unfilled slot — write an assertion that fails when: Formatted content edited as plain text, so its markup is shown to the author instead of applied.")
380
+
# Web-rendered view base — An abstract base groups the views that render in a browser, so what they share is declared once rather than on each of them.
381
+
@pytest.mark.skip(reason="unfilled slot — write an assertion that fails when: A property common to every browser-rendered view restated on each one, where adding a view means remembering to restate it again.")
// unfilled slot — write an assertion that fails when: A paragraph edited through a one-line control, so the author cannot see what they have written.
378
378
});
379
379
380
-
// Rich content — A rich-content control declares that a value is edited as formatted web content rather than as plain text.
380
+
// Web-rendered view base — An abstract base groups the views that render in a browser, so what they share is declared once rather than on each of them.
// unfilled slot — write an assertion that fails when: Formatted content edited as plain text, so its markup is shown to the author instead of applied.
382
+
// unfilled slot — write an assertion that fails when: A property common to every browser-rendered view restated on each one, where adding a view means remembering to restate it again.
383
383
});
384
384
385
385
// Aggregation — An aggregation declares that one object groups others which outlive it.
0 commit comments