specification
DSLO_v0.6_Semantic_Substrate_Specification.pdfDSLO v0.7 → v0.8 Continuity Metadata Block Release Alignment: MODE_A_PUBLIC_SAFE Substrate Depth: SURFACE_ONLY
Scientific Orientation Point
DSLO v0.8 Scientific Overview DOI: 10.5281/zenodo.22181245
Orientation Class: Overview_DSLO (Root Manifold)
Continuity Rule: v0.7 → v0.8 (Registry v0.8 DOI)
Core v0.8 Scientific Surfaces
Geometry v0.8 — 10.5281/zenodo.21970123
Domain v0.8 — 10.5281/zenodo.22179299
Formatting v0.8 — 10.5281/zenodo.22179509
Registry v0.8 — 10.5281/zenodo.22181076
Machine… See the full description on the dataset page: https://huggingface.co/datasets/DSLO/DSLO_v0.6_Semantic_Substrate_Specification.pdf.DSLO-v0.7-Semantic-Substrate-SpecificationEcosystem Tag: DSLO_ECOSYSTEM_TAG_V07
Glossary: https://www.tnopsi.com/dslo-glossary
DSLO v0.7 → v0.8 Continuity Metadata Block
Release Alignment: MODE_A_PUBLIC_SAFE
Substrate Depth: SURFACE_ONLY
Scientific Orientation Point
DSLO v0.8 Scientific Overview DOI: 10.5281/zenodo.22181245
Orientation Class: Overview_DSLO (Root Manifold)
Continuity Rule: v0.7 → v0.8 (Registry v0.8 DOI)
Core v0.8 Scientific Surfaces
Geometry v0.8 — 10.5281/zenodo.21970123
Domain v0.8 — 10.5281/zenodo.22179299… See the full description on the dataset page: https://huggingface.co/datasets/DSLO/DSLO-v0.7-Semantic-Substrate-Specification.xml-standards-specificationsspecification-synthesisvulnerability-specifications
VulInstruct: Specification-Guided Vulnerability Detection 🔒
📄 Paper |
🤗 Dataset |
💻 GitHub
Introduction
This repository contains the Specification Knowledge Base introduced in the paper VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications.
VulInstruct is a specification-guided approach that systematically extracts security specifications—expectations about how code should behave to remain safe—from… See the full description on the dataset page: https://huggingface.co/datasets/hzhu721/vulnerability-specifications.DSLO-v0.8-Semantic-Substrate-Specification
DSLO v0.8 — Federated Geometry Expansion
Version: 0.8Discipline: Deterministic Semantic Layered Orchestration (DSLO)Release Type: Geometry‑Only, Substrate‑Derived, Lawful ExtensionAncestry: DSLO v0.7 (substrate + manifold suite)
Overview
DSLO v0.8 is the federated geometry expansion of the DSLO discipline.It inherits its substrate, manifold architecture, and legality constraints from DSLO v0.7, which established:
the unified substrate manifold
the agency… See the full description on the dataset page: https://huggingface.co/datasets/DSLO/DSLO-v0.8-Semantic-Substrate-Specification.