15:16:00 RRSAgent has joined #ixml 15:16:00 logging to https://www.w3.org/2022/03/15-ixml-irc 15:16:13 RRSAgent, make logs public 15:16:22 Meeting: ixml Group Teleconference 15:16:38 Date: 15 March 2022 15:16:45 Chair: Steven 15:17:19 Agenda: https://lists.w3.org/Archives/Public/public-ixml/2022Mar/0039 15:18:37 Previous meeting: https://www.w3.org/2022/02/22-ixml-minutes 15:19:13 rrsagent, make minutes 15:19:13 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 15:23:02 Scribe: norm 15:29:47 Tom has joined #ixml 15:32:45 norm has changed the topic to: Review of action items 15:33:06 tovey-walsh has joined #ixml 15:33:25 Norm did his! 15:33:46 Norm made a proposal, but Steven hasn't had a chance to review. 15:33:54 Steven's action on examples is ongoing. 15:34:58 Steven's action on well-formed is ongoing 15:35:11 Is there a pointer to the proposal for error codes? 15:35:19 Steven's action on issue #33 is ongoing. 15:35:30 Norm's action on unused non terminals, #45 is closed. 15:35:56 norm has changed the topic to: Status of implementations 15:36:39 Norm's implementation is much faster. 15:37:16 norm has changed the topic to: Status of testing and test suites 15:37:32 Michael: We had some new tests; I made a PR for some hygiene tests that I'll merge in shortly. 15:37:43 ...Partly redundant because they're examples of different forms of oddities in grammars. 15:38:16 norm has changed the topic to: Review and resolution of issues 15:38:56 Subcluster -- constraints on grammars 15:39:05 https://lists.w3.org/Archives/Public/public-ixml/2021Dec/0072.html 15:39:09 https://lists.w3.org/Archives/Public/public-ixml/2021Dec/0073.html 15:39:13 https://lists.w3.org/Archives/Public/public-ixml/2021Dec/0077.html 15:39:21 Steven: I think we've dealt with the first one. 15:40:39 ...In the as-yet uncommitted changes on my machine. 15:41:09 Michael clarifies that those messages are background reading. The first issue is #43. 15:42:30 Steven concurs with the proposal in Michael's comment on #43 15:42:52 ACTION 20220315-01 Steven to implement proposal in #43 15:42:52 Sorry, but no Tracker is associated with this channel. 15:43:55 Discussion moves on to issue #48, ambiguity in grammars 15:44:13 Steven can live with it. 15:44:34 Tom: I don't like it, wouldn't it be better to require whitespace before the terminating full-stop? 15:44:39 Steven: we could do that. 15:44:49 s/we/We/ 15:44:55 Bethan: That's hard to see. 15:45:31 Tom: We could require them to be on newlines. 15:46:04 Michael: I think of line-oriented syntaxes as a relic of punched cards. 15:46:34 ... So, no, I like that worse. Require whitespace, I like worse, but some whitespace I like more than requiring a newline. 15:46:44 ... I'm still with Norm's proposal to remove full stop. 15:46:56 Steven: So resolved, then. 15:47:13 ACTION 20220315-02 Steven to remove full-stop from namefollowers 15:47:13 Sorry, but no Tracker is associated with this channel. 15:47:32 Moving on to #53 15:47:54 Steven, I have a proposal that I'll publish later. I posted the XML part of that proposal in email earlier today. 15:48:19 https://github.com/invisibleXML/ixml/issues/53 15:48:42 https://lists.w3.org/Archives/Public/public-ixml/2022Mar/0045.html 15:48:58 Michael: It works for me, thanks. 15:49:12 Steven has left #ixml 15:49:24 ACTION 20220315-03 Steven to implement his proposal to resolve #53 15:49:24 Sorry, but no Tracker is associated with this channel. 15:49:25 Steven has joined #ixml 15:49:47 Moving on to #20 15:50:24 Steven: This appears to be a wording issue. 15:50:48 Michael: No, I think there are two substantive questions here. 1. Are processors required or encouraged or allowed to accept grammars in XML form. 15:51:05 ... related but not part of this issue is what constraints there are on that form (separate issue) 15:51:24 Michael parts quote of the issue. 15:51:54 Michael: What is our level of tolerance in a conforming processor for non-conforming grammars. 15:52:22 ... In the past, I think we've said that we have zero tolerance. Extensions are a non-conforming behavior. Fine, but you must have a mode in which those are all rejected. 15:52:59 Norm: I agree, conforming processors must reject non-conforming grammars. 15:53:28 Steven proposes some text from his current editorial draft. 15:53:34 My draft spec says: "A conforming processor must accept grammars in ixml form, and should accept grammars in XML form. A conforming processor must not accept non-conforming grammars. For any conforming grammar and any input: " 15:56:21 Norm: I'm happy with that text. 15:57:10 That resolves issue #20 15:57:30 Moving on to #21 15:58:31 Steven: I didn't like previous wording because it allowed a processor that did nothing to be a conforming processor. 15:58:58 Michael: If, for every conforming grammar and input, I must produce a result, I will never be able to make a conformant implementation. 15:59:35 ... In the past, working groups I've been on have said that the market will discriminate against processors that do nothing. But making the set of conforming processors the empty set doesn't make the term conformance useful. 16:01:06 Bethan: We're saying that conforming processors should fail for grammar-related reasons, but they may fail for technical reasons unrelated to the structure of the grammar or the input. 16:01:37 Steven: How about doing this: adding "within resource limits" to the sentence about conforming grammars and inputs. 16:01:45 Michael: Is it only resource limits? 16:02:26 Tom proposes that we try to be intentionally vague here. 16:02:46 Bethan: how about "all other things being equal..." 16:03:02 Some additional discussion about vagueness. 16:03:44 Michael: I think that what some specs do is essentially say "if you can distinguish between normal operation that leads to a successful result and abnormal endings, then normal operations should lead to a parse or a failure to parse. 16:03:53 ...It's the normal operation that the spec describes. 16:05:16 Norm: I mused earlier about changing the third bullet to "must indicate failure" 16:06:05 Bethan: In a sense, we are including the possibility that it should fail for some reason outside of control. That's an accidental, in the philosophical sense, result. The substance of what the processor does is described in the spec. 16:06:25 Tom: So accidents aren't within the scope of the spec. 16:06:34 Bethan: (scribe lost the response) 16:07:08 Michael: I disagree on the essence of computing. I think you can make a serious case that it is part of the nature of computing that the machines are finite. 16:07:43 ... I like where you're trying to get, but I don't like your starting point. 16:08:08 Steven: Another problem for me is that I don't like conformance clauses that are untestable. 16:08:39 Bethan: How about "within the [technical] capacity of the hardware on which it runs ..." 16:10:17 Norm: I think "within resource limits" is good enough, if we take a broad enough view of "resource limits" 16:10:45 Concrete proposal: For "For any conforming grammar and any input:", read "For any conforming grammar and any input, in normal operation:" 16:10:59 Bethan: Is it likely that we might be talking about failure for a reason that isn't to do with hardware. 16:12:12 ACTION 20220315-04 Steven to implement the proposal to add "normal operation" 16:12:12 Sorry, but no Tracker is associated with this channel. 16:12:43 Moving on to "other issues" 16:13:00 Tom: Could we talk about some boring administrivia. 16:13:48 ...It was difficult to run the meetings without Steven, could we try to fix that. 16:13:58 Steven: Am I the only one who can start the meeting? 16:14:09 Some discussion of problems with IRC and its incantations 16:15:00 Michael: I have a conjecture, there are two forms of the invite command, "/invite user channel" and "/invite user" without the channel. I think the second form relies on the IRC client supplying the name of the channel. 16:15:12 Steven: That's almost certainly the case. 16:16:23 Tom: Good. I think we can start a meeting somewhere else if we need to. 16:17:03 Steven: More administrivia? 16:17:22 Michael: Yes, I would like to discuss Prague and Balisage. Does Prague require speakers to be present? 16:17:25 Consensus is yes. 16:17:34 Steven and Tomos say they'll be in Prague. 16:18:05 Michael: If we want to make a debut, we should have something to debut and we should have a session at the conference. And I'd like to offer a report to Balisage. 16:19:08 Steven: I submitted the tutorial and a paper about my implementation to Prague. For Balisage, I'm going to submit something but not about ixml. 16:20:58 Michael: I will start an outline of a "this is where we are, this is what has changed, etc." draft. Anyone interested in helping, please contact me by email. 16:22:00 Michael: Because extensibility is of quite general interest, I would like to offer a paper together with Tom on our pragma's proposal. 16:22:09 Tom: Presented as a case study. 16:22:57 Steven: Any other business? 16:24:40 rrsagent, make minutes 16:24:40 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:25:18 Present: Bethan, Michael, Norm, Steven, Tomos 16:25:23 Regrets: John 16:25:25 rrsagent, make minutes 16:25:25 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:26:21 I see no action items 16:27:09 RRSAgent has joined #ixml 16:27:09 logging to https://www.w3.org/2022/03/15-ixml-irc 16:27:16 s/ACTION/ACTION: /G 16:27:18 rrsagent, make minutes 16:27:18 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:27:27 It lives! 16:28:17 (assuming that Steven didn't also invite rrsagent back - Steven?: 16:31:00 i/Norm did his!/Topic: Actions 16:31:02 rrsagent, make minutes 16:31:02 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:31:50 i/Norm's implementation is much faster./Topic: Implementations 16:31:52 rrsagent, make minutes 16:31:52 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:32:25 i/Subcluster -- constraints on grammars/Topic: Issues 16:32:27 rrsagent, make minutes 16:32:27 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:33:51 i/Discussion moves on to issue #48, ambiguity/Subtopic: Issue 48 16:33:53 rrsagent, make minutes 16:33:53 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:34:44 i/Subcluster -- constraints on grammars/Subtopic: issue 43 16:34:46 rrsagent, make minutes 16:34:46 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:35:27 i/Moving on to #53/Subtopic: Issue 53 16:35:30 rrsagent, make minutes 16:35:30 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:36:11 i/Moving on to #20/Subtopic: Issue 20 16:36:13 rrsagent, make minutes 16:36:13 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:36:46 i/Moving on to #21/Subtopic: Issue 21 16:36:50 rrsagent, make minutes 16:36:50 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:37:24 i/Moving on to "other issues"/Topic: Administrivia 16:37:27 rrsagent, make minutes 16:37:27 I have made the request to generate https://www.w3.org/2022/03/15-ixml-minutes.html Steven 16:49:52 liam has joined #ixml 16:58:18 liam has joined #ixml 17:22:09 tovey-wa_ has joined #ixml 18:06:54 tovey-walsh has joined #ixml 19:43:13 tovey-walsh has joined #ixml 19:49:36 tovey-wa_ has joined #ixml 19:50:08 tovey-w__ has joined #ixml 19:52:32 tovey-walsh has joined #ixml 21:39:00 tovey-walsh has joined #ixml 23:28:28 tovey-walsh has joined #ixml