issues Search Results · language:Dune language:JavaScript language:JavaScript language:JavaScript language:HTML
Filter by
25.5M results
Goal
Visualize everything.
Pages Executive Overview
- Overall Safety Score
- Overall Risk Score
- Top Issues Language Dashboard
- Safety by language Jailbreak Dashboard
- Attack trends Hallucination ...
Plum165
O rácio de contraste entre a cor do texto de tamanho grande (maior ou igual que 18 pontos ou maior ou igual que 14
pontos negrito) e a cor do fundo é superior a 3:1. – ver requisito 6.2 na lista 10 aspetos ...
chk 10 web
NOK
R 6.2
rutemoura
Part of #734. Depends on #734 → H1–H8 (uses every pattern). The long-tail accretion.
Goal
Systematically sweep all 73 slices, harvesting their formalizable prose into logic: axioms via the H1 mechanism, ...
cross-cutting
enhancement
foundational
logic
quality
paudley
Part of #734. Depends on #734 → H3.
Goal
Eliminate the prose + SHACL + logic triplication. P17 lists SHACL among the generated projections of logic: — so
constraints currently hand-authored in shapes/ ...
cross-cutting
enhancement
logic
quality
Part of #734. Depends on #734 → H1, H2. Owns the flag over-typing half of the governance stance.
Goal
Turn the ontology s intentional non-assertions into machine-enforced boundaries — so the maximal-formalization ...
foundational
logic
quality
Part of #734. Depends on #734 → H1, H4.
Goal
Author logic: rules that derive new facts across slices (not just constrain).
Targets
- StandpointTenure → generates StandpointClaim (every tenure surfaces ...
cross-cutting
foundational
logic
Part of #734. Depends on #734 → H1; coordinates Holons #704 where mereology overlaps.
Goal
Formalize the prose definitions that are genuinely logical (defined classes / rules), in the deception + standpoint ...
deception
foundational
logic
Part of #734. Depends on #734 → H1.
Goal
Assert in logic: the property characteristics currently stated only in prose. Many combinations are illegal in OWL 2 DL
(template: logic:properPartOf is already ...
foundational
logic
Part of #734. Depends on #734 → H1. Extends the foundation.rs disciplines (#665).
Goal
Generalize the existing RelComp discipline (a concrete Relator mediates ≥2 distinct relata) from the 5 hardcoded ...
enhancement
foundational
logic
Part of #734. Depends on #734 → H1. Highest leverage — catches mistyping across the whole ontology.
Current gap
1 disjoint triple at the gmeow: level (PhysicalObject ⊥ Agent, InformationObject), zero ...
foundational
logic
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.