http://wiki.erights.org/mediawiki/index.php?title=Auditor_tagging&feed=atom&action=historyAuditor tagging - Revision history2024-03-19T12:36:53ZRevision history for this page on the wikiMediaWiki 1.15.5-7http://wiki.erights.org/mediawiki/index.php?title=Auditor_tagging&diff=1647&oldid=prevMarkm: /* Proposals */2008-03-14T03:40:32Z<p><span class="autocomment">Proposals</span></p>
<p><b>New page</b></p><div>It is possible for an [[auditor]] to tag an object with arbitrary data, by encoding it in a pattern of approvals by additional auditors (see code below).<br />
<br />
Since this is possible, and could be useful, it should be made possible to do so without inefficient gimmicks.<br />
<br />
def makeStamp() { return def stamp { to audit(_) { return true } } }<br />
def bits := accum [] for i in 0..!4 { _.with(makeStamp()) }<br />
def encodingAuditor {<br />
to audit(a :Audition) :boolean {<br />
def toEncode := (a.getSource().getOName() \<br />
.getOptName().last() - '0') % (2**bits.size())<br />
for i => bit in bits {<br />
if ((toEncode & (1 << i)) > 0) {<br />
a.ask(bit)<br />
}<br />
}<br />
return true<br />
}<br />
to retrieve(specimen :any) :int {<br />
var result := 0<br />
for i => bit in bits {<br />
if (__auditedBy(bit, specimen)) {<br />
result |= (1 << i)<br />
}<br />
}<br />
return result<br />
}<br />
}<br />
<br />
? def x7 implements encodingAuditor {}<br />
# value: <x7><br />
<br />
? encodingAuditor.retrieve(x7)<br />
# value: 7<br />
<br />
==Proposals==<br />
<br />
* Change the return value of [[Auditor#audit/1]] and [[Miranda auditedBy|__auditedBy]] to be 'optTag :[[Data]]' instead of 'approved :[[boolean]]'. [http://www.eros-os.org/pipermail/e-lang/2008-March/012550.html] --[[User:Kevin Reid|Kevin Reid]] 10:10, 9 March 2008 (CDT)<br />
<br />
* Distinguishing between null and other Data is a bit unclean, since null is also valid Data. Instead, how about if the annotation is either null or a FinalSlot containing Data. --[[User:Markm|markm]] 22:40, 13 March 2008 (CDT)<br />
<br />
==Discussion==<br />
<br />
* [http://www.eros-os.org/pipermail/e-lang/2008-March/012550.html Initial report].<br />
<br />
[[Category:Unresolved design issues]]</div>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Auditor_tagging&diff=3537&oldid=prevMarkm: /* Proposals */2008-03-14T03:40:09Z<p><span class="autocomment">Proposals</span></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 03:40, 14 March 2008</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 38:</td>
<td colspan="2" class="diff-lineno">Line 38:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* Distinguishing between null and other Data is a bit unclean, since null is also valid Data. Instead, how about if the annotation is either null or a FinalSlot containing Data.</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* Distinguishing between null and other Data is a bit unclean, since null is also valid Data. Instead, how about if the annotation is either null or a FinalSlot containing Data.</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>--[[User:<del class="diffchange diffchange-inline">67.127.191.99</del>|<del class="diffchange diffchange-inline">67.127.191.99</del>]] 22:<del class="diffchange diffchange-inline">38</del>, 13 March 2008 (CDT)</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>--[[User:<ins class="diffchange diffchange-inline">Markm</ins>|<ins class="diffchange diffchange-inline">markm</ins>]] 22:<ins class="diffchange diffchange-inline">40</ins>, 13 March 2008 (CDT)</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==Discussion==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==Discussion==</div></td></tr>
<!-- diff generator: internal 2024-03-19 12:36:53 -->
</table>Markmhttp://wiki.erights.org/mediawiki/index.php?title=Auditor_tagging&diff=3536&oldid=prev67.127.191.99: /* Proposals */2008-03-14T03:38:57Z<p><span class="autocomment">Proposals</span></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 03:38, 14 March 2008</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 36:</td>
<td colspan="2" class="diff-lineno">Line 36:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* Change the return value of [[Auditor#audit/1]] and [[Miranda auditedBy|__auditedBy]] to be 'optTag :[[Data]]' instead of 'approved :[[boolean]]'. [http://www.eros-os.org/pipermail/e-lang/2008-March/012550.html] --[[User:Kevin Reid|Kevin Reid]] 10:10, 9 March 2008 (CDT)</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* Change the return value of [[Auditor#audit/1]] and [[Miranda auditedBy|__auditedBy]] to be 'optTag :[[Data]]' instead of 'approved :[[boolean]]'. [http://www.eros-os.org/pipermail/e-lang/2008-March/012550.html] --[[User:Kevin Reid|Kevin Reid]] 10:10, 9 March 2008 (CDT)</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">* Distinguishing between null and other Data is a bit unclean, since null is also valid Data. Instead, how about if the annotation is either null or a FinalSlot containing Data.</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">--[[User:67.127.191.99|67.127.191.99]] 22:38, 13 March 2008 (CDT)</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==Discussion==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==Discussion==</div></td></tr>
<!-- diff generator: internal 2024-03-19 12:36:53 -->
</table>67.127.191.99http://wiki.erights.org/mediawiki/index.php?title=Auditor_tagging&diff=3535&oldid=prevKevin Reid at 15:10, 9 March 20082008-03-09T15:10:45Z<p></p>
<table style="background-color: white; color:black;">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">←Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 15:10, 9 March 2008</td>
</tr>
<tr><td colspan="2" class="diff-lineno">Line 36:</td>
<td colspan="2" class="diff-lineno">Line 36:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* Change the return value of [[Auditor#audit/1]] and [[Miranda auditedBy|__auditedBy]] to be 'optTag :[[Data]]' instead of 'approved :[[boolean]]'. [http://www.eros-os.org/pipermail/e-lang/2008-March/012550.html] --[[User:Kevin Reid|Kevin Reid]] 10:10, 9 March 2008 (CDT)</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>* Change the return value of [[Auditor#audit/1]] and [[Miranda auditedBy|__auditedBy]] to be 'optTag :[[Data]]' instead of 'approved :[[boolean]]'. [http://www.eros-os.org/pipermail/e-lang/2008-March/012550.html] --[[User:Kevin Reid|Kevin Reid]] 10:10, 9 March 2008 (CDT)</div></td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">* Distinguishing between null and other Data is a bit unclean, since null is also valid Data. Instead, how about if the annotation is either null or a FinalSlot containing Data. --[[User:Markm|markm]] 22:40, 13 March 2008 (CDT)</del></div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==Discussion==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>==Discussion==</div></td></tr>
<!-- diff generator: internal 2024-03-19 12:36:53 -->
</table>Kevin Reid