Skip to content

Commit 9bedb95

Browse files
hyperpolymathclaude
andcommitted
chore(6a2): update machine-readable governance to Squad Audit v1 state
STATE: phase/done/next/blockers, completion 30%; ECOSYSTEM: VerisimDB + proven-epistemic relationships, upstream-of-listings position; META: authoritative-spec decision record; PLAYBOOK: phantom recipes replaced with real commands, [testing] section added. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
1 parent 8ace8c1 commit 9bedb95

4 files changed

Lines changed: 55 additions & 8 deletions

File tree

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,20 @@
11
# SPDX-License-Identifier: MPL-2.0
22
# ECOSYSTEM.a2ml — Ecosystem position
33
# Converted from ECOSYSTEM.scm on 2026-03-15
4+
# Updated 2026-06-11: Squad Audit v1 (see docs/design/squad-audit-v1.adoc)
45

56
[metadata]
67
project = "flat-mate"
78
ecosystem = "hyperpolymath"
89

910
[position]
1011
type = "component"
12+
market-position = "upstream of listings markets (SpareRoom etc.) — outputs a vetted household + search brief; hosts NO listings, is NOT a SpareRoom competitor"
13+
14+
[relationships]
15+
consumes = "VerisimDB (estate database — sole persistence)"
16+
mirrors = "proven-servers/protocols/proven-epistemic — formally verified Idris2 conceal-lattice reference for the disclosure tiers in packages/shared/src/matching/conceal.js (ADR: proven-servers/docs/decisions/0002-add-proven-epistemic-disclosure-core.md)"
17+
18+
[documents]
19+
# Sibling spec docs live in docs/design/
20+
authoritative-spec = "docs/design/squad-audit-v1.adoc"

.machine_readable/6a2/META.a2ml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,19 @@
11
# SPDX-License-Identifier: MPL-2.0
22
# META.a2ml — Project meta-information
33
# Converted from META.scm on 2026-03-15
4+
# Updated 2026-06-11: Squad Audit v1 (see docs/design/squad-audit-v1.adoc)
45

56
[metadata]
67
project = "flat-mate"
78
author = "Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"
89
license = "MPL-2.0"
910
standard = "RSR 2026"
11+
12+
[architecture-decisions]
13+
# Decided 2026-06-11 (five-lens survey; see the design record for rationale)
14+
authoritative-spec = "docs/design/squad-audit-v1.adoc"
15+
# Where code and the spec disagree, the spec wins until amended.
16+
spec-precedence = "spec wins over code"
17+
layers = "harmony engine / feasibility engine / market mechanisms"
18+
field-governance = "epistemic: every stored field carries {purpose, revealingness, minTier} enforced at read time; no UK GDPR Art. 9 (special-category) fields by schema construction"
19+
# Never promise a "stable matching" — typically nonexistent (Chin-Michelen 2026); banded verdicts only.

.machine_readable/6a2/PLAYBOOK.a2ml

Lines changed: 13 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,21 +3,29 @@
33
#
44
# PLAYBOOK.a2ml — Operational playbook
55
# Runbooks, incident response, deployment procedures.
6+
# Updated 2026-06-11: Squad Audit v1 (see docs/design/squad-audit-v1.adoc)
67

78
[metadata]
89
version = "0.1.0"
9-
last-updated = "2026-03-16"
10+
last-updated = "2026-06-11"
1011

1112
[deployment]
1213
# method = "gitops"
1314
# target = "container"
1415

16+
[testing]
17+
# Engine v2 tests (35 tests): deno test --allow-read packages/shared/src/matching/
18+
# (alias: deno task test)
19+
# Static checks (type-check + lint): deno task check
20+
# Format check: deno task fmt:check
21+
# Note: apps/ (api, web, mobile) have NO tests and are NOT wired to engine v2 (legacy v0).
22+
1523
[incident-response]
16-
# 1. Check .machine_readable/STATE.a2ml for current status
24+
# 1. Check .machine_readable/6a2/STATE.a2ml for current status
1725
# 2. Review recent commits and CI results
18-
# 3. Run just validate to check compliance
26+
# 3. Run just doctor to check the environment, then deno task check
1927

2028
[release-process]
21-
# 1. Update version in STATE.a2ml, META.a2ml
22-
# 2. Run just quality (format, lint, test)
29+
# 1. Update version in deno.json and .machine_readable/6a2/STATE.a2ml
30+
# 2. Run deno task fmt:check && deno task check && deno task test
2331
# 3. Tag and push

.machine_readable/6a2/STATE.a2ml

Lines changed: 22 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,33 @@
11
# SPDX-License-Identifier: MPL-2.0
22
# STATE.a2ml — Project state checkpoint
33
# Converted from STATE.scm on 2026-03-15
4+
# Updated 2026-06-11: Squad Audit v1 (see docs/design/squad-audit-v1.adoc)
45

56
[metadata]
67
project = "flat-mate"
78
version = "0.1.0"
8-
last-updated = "2026-03-15"
9+
last-updated = "2026-06-11"
910
status = "active"
1011

1112
[project-context]
1213
name = "flat-mate"
13-
completion-percentage = 0
14-
phase = "In development"
14+
completion-percentage = 30
15+
phase = "Squad Audit v1 — engine layer landed, product unwired"
16+
focus = "Wire apps (api/web/mobile) to engine v2 at packages/shared/src/matching/"
17+
target = "Jan-May 2027 London second-year wave"
18+
19+
[done]
20+
# 2026-06-11: Design decision record landed — docs/design/squad-audit-v1.adoc (authoritative spec)
21+
# 2026-06-11: Engine v2 landed at packages/shared/src/matching/ — 10 modules + 5 test files,
22+
# 35 tests green, lint/fmt clean (behaviour/tolerance directional scoring, feasibility/harmony
23+
# split scores, banded verdicts, auditGroup, conceal lattice T0/T1/T2 with effectiveTier = min,
24+
# agreement + brief artifact generators, deterministic seeds incl. broken "Bloomsbury Three" fixture)
25+
26+
[next]
27+
# - Wire apps/api, apps/web, apps/mobile to engine v2 (apps are legacy v0, NOT wired, and have NO tests)
28+
# - Legacy v0 (swipe+listings over VerisimDB) quarantine/removal decision pending (owner)
29+
30+
[blockers]
31+
# - Privacy notice, retention schedule, and a verified VerisimDB erasure + subject-access-export
32+
# story are required before launch (per docs/design/squad-audit-v1.adoc, epistemic field governance)
33+
# - Legacy v0 quarantine decision pending

0 commit comments

Comments
 (0)