Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/CODEOWNERS
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@
SECURITY.md @hyperpolymath @JoshuaJewell
.github/workflows/ @hyperpolymath @JoshuaJewell
.machine_readable/ @hyperpolymath @JoshuaJewell
contractiles/ @hyperpolymath @JoshuaJewell
1-formats/contractiles/ @hyperpolymath @JoshuaJewell

# License files
LICENSE @hyperpolymath @JoshuaJewell
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/dyadt-verify.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ jobs:

- name: DYADT conformance vectors
run: |
bash did-you-actually-do-that/spec/conformance/run-conformance.sh
bash 1-formats/sub-specs/did-you-actually-do-that/spec/conformance/run-conformance.sh

- name: Verify this change's own claims (dogfood)
env:
Expand Down
4 changes: 2 additions & 2 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -93,10 +93,10 @@ htmlcov/
.tool-versions

# Rust build artefacts (innervation tools)
inline-annotations/extractor/target/
1-formats/sub-specs/inline-annotations/extractor/target/
k9-coordination-protocol/tools/k9-init/target/
hooks/playbook-to-recipe/target/
inline-annotations/extractor/Cargo.lock
1-formats/sub-specs/inline-annotations/extractor/Cargo.lock
k9-coordination-protocol/tools/k9-init/Cargo.lock
hooks/playbook-to-recipe/Cargo.lock
.verisimdb/ecosystem-ingest/target/
Expand Down
2 changes: 1 addition & 1 deletion .hypatia-baseline.json
Original file line number Diff line number Diff line change
Expand Up @@ -673,7 +673,7 @@
"severity": "medium",
"rule_module": "structural_drift",
"type": "SD022",
"file": "panll-panels/README.adoc",
"file": "1-formats/sub-specs/panll-panels/README.adoc",
"note": "FALSE POSITIVE (hypatia triage 2026-07-21): Explicitly a path in the external PanLL repo (future destination), not this tree. Intentional cross-repo reference."
},
{
Expand Down
4 changes: 2 additions & 2 deletions .machine_readable/INTENT.contractile
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@

; === Sensitive Areas (if in doubt, ask) ===
(ask-before-touching
"contractiles/ — changes here propagate to every repo that has copied the templates"
"1-formats/contractiles/ — changes here propagate to every repo that has copied the templates"
"component-readiness-grades/ — CRG grade semantics are intentionally stable"
"rhodium-standard-repositories/ — RSR requirements affect all 500+ estate repos"
".machine_readable/ — format is specified; do not add files outside the contractile schema"
Expand All @@ -88,7 +88,7 @@
(ecosystem
(belongs-to "standalone — standards is its own top-level repo, not a monorepo subdirectory")
(depended-on-by
("all hyperpolymath repos" "copy contractiles/ templates as compliance baseline")
("all hyperpolymath repos" "copy 1-formats/contractiles/ templates as compliance baseline")
("gitbot-fleet" "reads RSR requirements to automate compliance checks")
("hypatia" "references CRG, RSR, and contractile specs for CI rule definitions")
("rsr-template-repo" "is the materialised form of RSR requirements defined here"))
Expand Down
4 changes: 2 additions & 2 deletions .machine_readable/MUST.contractile
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@
; remain active until the feature is fully removed.
;
; Enforcement:
; K9 validators in contractiles/k9/ machine-check MUST constraints.
; K9 validators in 1-formats/contractiles/k9/ machine-check MUST constraints.
; CI runs these on every PR. Violations block merge.
;
; ── End Definitions ──────────────────────────────────────────────
Expand Down Expand Up @@ -117,7 +117,7 @@
(must "banned_language_file honours documented path_allow_prefixes (bindings/deno, *.d.ts, vitest.config.ts, ...)")))

(enforcement
(k9-validator "contractiles/k9/must-check.k9.ncl")
(k9-validator "1-formats/contractiles/k9/must-check.k9.ncl")
(ci "quality.yml runs must-check on every PR")
)
)
16 changes: 8 additions & 8 deletions .machine_readable/REGISTRY.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -52,8 +52,8 @@ route = "the K9 specification, security analysis and adoption guidance (implemen
id = "contractiles"
name = "Contractiles (Must/Trust/Dust/Intend)"
stream = "foundation"
home = "contractiles/"
canonical_doc = "contractiles/README.adoc"
home = "1-formats/contractiles/"
canonical_doc = "1-formats/contractiles/README.adoc"
source_hash = "sha256:196b51cb7efbe7c9dc775513e45e46d5b88404dd8c0cf50391a466cba3b53a34"
route = "policy-enforcement primitives the K9 layer is built from"

Expand Down Expand Up @@ -223,17 +223,17 @@ route = "continuity / verify / handover protocols"
id = "did-you-actually-do-that"
name = "DYADT — Did-You-Actually-Do-That"
stream = "governance"
home = "did-you-actually-do-that/"
canonical_doc = "did-you-actually-do-that/README.adoc"
home = "1-formats/sub-specs/did-you-actually-do-that/"
canonical_doc = "1-formats/sub-specs/did-you-actually-do-that/README.adoc"
source_hash = "sha256:453bf00d0dfac71576b5e7b4068fb8987abc3337d4bc3bf75c081e0332ae1dff"
route = "post-action agent-claim verification (Tier 4 accountability)"

[[spec]]
id = "ensaid-config"
name = "ENSAID Config"
stream = "governance"
home = "ensaid-config/"
canonical_doc = "ensaid-config/README.adoc"
home = "1-formats/sub-specs/ensaid-config/"
canonical_doc = "1-formats/sub-specs/ensaid-config/README.adoc"
source_hash = "sha256:c56e9784c957b9bd29704d41cbf7d88b1495789e0ad1c628de42abe900d319ef"
route = "the ensaid configuration standard"

Expand Down Expand Up @@ -277,8 +277,8 @@ route = "the dogfooding rules that scan THIS repo (incl. drift detection)"
id = "a2ml-templates"
name = "A2ML Templates"
stream = "integration"
home = "a2ml-templates/"
canonical_doc = "a2ml-templates/STATE.a2ml.v2.spec.adoc"
home = "1-formats/templates/"
canonical_doc = "1-formats/templates/STATE.a2ml.v2.spec.adoc"
source_hash = "sha256:16fc9e6b38b1bf06a3fdc1069127af42985562381f3ef126d0dcd0370f774783"
route = "copy-in templates for the 7 A2ML files"

Expand Down
2 changes: 1 addition & 1 deletion .machine_readable/descriptiles/PLAYBOOK.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ last-updated = "2026-04-11"
[docs-format]
# Estate docs are .adoc-canonical, no duplicate formats. Sole exception: the
# Glama README.md carve-out (gated on glama.json). See
# contractiles/CANONICAL-TEMPLATES.adoc "Documentation carve-out — Glama README.md".
# 1-formats/contractiles/CANONICAL-TEMPLATES.adoc "Documentation carve-out — Glama README.md".

[maintenance-operations]
# Baseline audit: just maint-audit
Expand Down
2 changes: 1 addition & 1 deletion .machine_readable/licensing-policy.toml
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,7 @@ sentinel = ["PLMP-1.0-or-later", "PMLP-1.0-or-later"]
classification = "unsubstituted scaffold placeholder (process bug) — NOT licence debt"
remediation = "re-run contractiles scaffold substitution; NEVER hand-edit as licence work"
family = "PMPL-1.0-or-later-or-later (doubled suffix) is the same scaffold-substituter family"
tripwire = "contractiles/must/Mustfile (groups with REPLACE-WITH-*)"
tripwire = "1-formats/contractiles/must/Mustfile (groups with REPLACE-WITH-*)"

[guard]
location = "rsr-template-repo/.github/workflows/spdx-policy-guard.yml"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ Migration {
what-applied: [
"Added .machine_readable/contractiles/bust/ (Bustfile.a2ml + bust.ncl) where missing",
"Moved .machine_readable/contractiles/k9/ to .machine_readable/svc/k9/ where present",
"Removed duplicate k9 in contractiles/ when svc/k9/ already existed"
"Removed duplicate k9 in 1-formats/contractiles/ when svc/k9/ already existed"
]

scope-totals {
Expand Down Expand Up @@ -44,7 +44,7 @@ Migration {

next-waves: [
"wave-3: remaining ~100 canonical-home repos not yet attempted",
"home-consolidation: 287 root-home contractiles/ → .machine_readable/contractiles/",
"home-consolidation: 287 root-home 1-formats/contractiles/ → .machine_readable/contractiles/",
"stale-hook sweep: 150 repos need pre-commit hook updated to 6-verb set",
"diverged-repos: 11 repos need manual ff-reconciliation before layout sweep retries them"
]
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@ text = "The migration scripts SHOULD emit non-zero exit codes and clear diagnost
system = "none"
status = "pass"
evidence = "state-scm-to-v2.jl documents and implements distinct exit codes (0 ok, 2 parse/usage error, 3 not a (state ...) form) per its header comment and main()/convert() logic; state-migrate-v1-to-v2.sh uses `set -eu` and exits 1 with a message when the v1 file is missing (line 16)."
check = "sh a2ml-templates/state-migrate-v1-to-v2.sh /nonexistent-repo-path >/dev/null 2>&1; test $? -eq 1 && grep -q \"exit(2)\" a2ml-templates/state-scm-to-v2.jl && grep -q \"exit(3)\" a2ml-templates/state-scm-to-v2.jl"
check = "sh 1-formats/templates/state-migrate-v1-to-v2.sh /nonexistent-repo-path >/dev/null 2>&1; test $? -eq 1 && grep -q \"exit(2)\" 1-formats/templates/state-scm-to-v2.jl && grep -q \"exit(3)\" 1-formats/templates/state-scm-to-v2.jl"
effects = "Callers (CI or a future k9-init tool) can branch on exit code to decide whether to retry, prompt a human, or abort; without this, migration failures could pass silently and produce corrupt STATE.a2ml files downstream."

[[could]]
Expand Down
4 changes: 2 additions & 2 deletions .machine_readable/scorecards/agentic-a2ml.scorecard.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -84,9 +84,9 @@ effects = "No downstream impact today; this is a stretch goal beyond the project
[[could]]
id = "C2"
text = "Contractile templates (Mustfile/Dustfile) COULD be filled in with agentic-a2ml-specific invariants and rollback handlers rather than left as generic copy-in templates."
system = "none — contractiles/must/Mustfile and contractiles/dust/Dustfile reference generic placeholder paths (config/service.yaml, policy/policy.ncl, logs/decisions.json) that do not exist in this repo"
system = "none — 1-formats/contractiles/must/Mustfile and 1-formats/contractiles/dust/Dustfile reference generic placeholder paths (config/service.yaml, policy/policy.ncl, logs/decisions.json) that do not exist in this repo"
status = "aspirational"
effects = "Minor: these are explicitly documented in contractiles/README.adoc as a template set meant to be copied and customised per-repo, so their generic state is expected, but as shipped they provide zero enforceable invariant for agentic-a2ml itself."
effects = "Minor: these are explicitly documented in 1-formats/contractiles/README.adoc as a template set meant to be copied and customised per-repo, so their generic state is expected, but as shipped they provide zero enforceable invariant for agentic-a2ml itself."

[[could]]
id = "C3"
Expand Down
4 changes: 2 additions & 2 deletions .machine_readable/scorecards/anchor-a2ml.scorecard.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -60,10 +60,10 @@ effects = "No validator enforces presence of an 'expires' field or checks expiry

[[should]]
id = "S3"
text = "The repository SHOULD supply the 'contractiles' operational/trust/recovery framework wired into this repo's own layout (per contractiles/README.adoc's fill-in instructions) rather than leaving it as an unfilled generic template."
text = "The repository SHOULD supply the 'contractiles' operational/trust/recovery framework wired into this repo's own layout (per 1-formats/contractiles/README.adoc's fill-in instructions) rather than leaving it as an unfilled generic template."
system = "/home/user/standards/audit-contractiles.sh (checks for .machine_readable/contractiles/{must,trust,dust,bust,adjust,intend})"
status = "fail"
effects = "Running audit-contractiles.sh against this repo reports '❌ No contractiles directory' and '❌ K9 missing' because contractiles/ lives at repo root (contractiles/must/Mustfile, contractiles/dust/Dustfile) rather than under .machine_readable/contractiles/, and only 'must' and 'dust' are present (trust/bust/adjust/intend absent, and Trustfile.hs/Intentfile mentioned in contractiles/README.adoc do not exist on disk). Any monorepo-wide contractile audit will flag this spec as non-compliant; downstream tooling relying on the audit script's monorepo-standard path will not find this repo's contractile files at all."
effects = "Running audit-contractiles.sh against this repo reports '❌ No contractiles directory' and '❌ K9 missing' because 1-formats/contractiles/ lives at repo root (1-formats/contractiles/must/Mustfile, 1-formats/contractiles/dust/Dustfile) rather than under .machine_readable/contractiles/, and only 'must' and 'dust' are present (trust/bust/adjust/intend absent, and Trustfile.hs/Intentfile mentioned in 1-formats/contractiles/README.adoc do not exist on disk). Any monorepo-wide contractile audit will flag this spec as non-compliant; downstream tooling relying on the audit script's monorepo-standard path will not find this repo's contractile files at all."

[[should]]
id = "S4"
Expand Down
Loading
Loading